Public Git Hosting - official-gcc.git/search

2022-05-17	Eric Botcazou	[Ada] Fix bogus visibility error with partially parameterize...	commit \| commitdiff \| tree
2022-05-17	Etienne Servais	[Ada] Take full view of private type	commit \| commitdiff \| tree
2022-05-17	Arnaud Charlet	[Ada] Allow 'Reduce with -gnat2022	commit \| commitdiff \| tree
2022-05-17	Ghjuvan Lacambre	[Ada] Don't create calls to Abort_Undefer when not...	commit \| commitdiff \| tree
2022-05-17	Marc Poulhiès	[Ada] Typo fix in finalization comment	commit \| commitdiff \| tree
2022-05-17	Etienne Servais	[Ada] Initialize Compiler_State to avoid Constraint_Error	commit \| commitdiff \| tree
2022-05-17	Eric Botcazou	[Ada] Deal with derived record types in Has_Compatible_Repre...	commit \| commitdiff \| tree
2022-05-17	Eric Botcazou	[Ada] Streamline implementation of Has_Compatible_Representation	commit \| commitdiff \| tree
2022-05-17	Etienne Servais	[Ada] Remove superfluous call to Original_Node	commit \| commitdiff \| tree
2022-05-17	Javier Miranda	[Ada] Crash freezing declaration that will raise constraint...	commit \| commitdiff \| tree
2022-05-17	Javier Miranda	[Ada] Spurious error on subprogram with class-wide...	commit \| commitdiff \| tree
2022-05-17	Eric Botcazou	[Ada] Use Actions field of freeze nodes for subprograms	commit \| commitdiff \| tree
2022-05-17	Javier Miranda	[Ada] Implement calls to abstract subprograms in class...	commit \| commitdiff \| tree
2022-05-17	Piotr Trojanek	[Ada] Fix documentation of using attribute Loop_Entry...	commit \| commitdiff \| tree
2022-05-17	Etienne Servais	[Ada] Check token to be "access", reject it if not	commit \| commitdiff \| tree
2022-05-17	Piotr Trojanek	[Ada] Enable current value propagation within pragma...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix fallout of change in equality for untagged...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Fix expansion of attribute Loop_Entry wrt value...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove useless code related to current value...	commit \| commitdiff \| tree
2022-05-16	Justin Squirek	[Ada] Type invariant or postcondition may cause uninitialize...	commit \| commitdiff \| tree
2022-05-16	Etienne Servais	[Ada] Freeze target type on qualified expression expansion	commit \| commitdiff \| tree
2022-05-16	Yannick Moy	[Ada] Fix proof of double arithmetic units	commit \| commitdiff \| tree
2022-05-16	Ghjuvan Lacambre	[Ada] Don't crash on ghost packages when emitting CUDA...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] GNAT.Debug_Pools: Improve documentation of the...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] sigaction result not properly checked in __gnat_instal...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] Fix thinko in QNX's implementation of __gnat_install_h...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] Add <stdlib.h> #include in cstreams.c	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] replace call to bzero in terminals.c by call...	commit \| commitdiff \| tree
2022-05-16	Gary Dismukes	[Ada] Revise Storage_Model_Support operations to do...	commit \| commitdiff \| tree
2022-05-16	Etienne Servais	[Ada] Handle case-expression inside if-expression in...	commit \| commitdiff \| tree
2022-05-16	Yannick Moy	[Ada] Update comment justifying non-inlining for proof...	commit \| commitdiff \| tree
2022-05-16	Marc Poulhiès	[Ada] Fix iterated element association loop var escaping...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on iterated array aggregate	commit \| commitdiff \| tree
2022-05-16	Javier Miranda	[Ada] Accept calls to abstract subprograms in class...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on mix of controlled and protected...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on predicate aspect with iterator	commit \| commitdiff \| tree
2022-05-16	Steve Baird	[Ada] Implement component finalization ordering rules...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix implementation issues with equality for untagged...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated detection of user-defined equality	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Improve building of untagged equality	commit \| commitdiff \| tree
2022-05-16	Olivier Hainque	[Ada] Map gnatlib-shared to gnatlib-shared-dual for...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Couple of small consistency tweaks	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix spurious error on limited view with incomplete...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Pick volatile refinement property of a subtype...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Clarify code for detecting volatile refinement...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated code for detecting enabled...	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Fix incorrect call to inherited function with...	commit \| commitdiff \| tree
2022-05-13	Gary Dismukes	[Ada] Storage_Model_Object fails to return object entity	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Compiler crash on -gnata -O2	commit \| commitdiff \| tree
2022-05-13	Arnaud Charlet	[Ada] Only use alternate stack when needed	commit \| commitdiff \| tree
2022-05-13	Alexandre Oliva	[Ada] Extend hardcfr testing (documentation)	commit \| commitdiff \| tree
2022-05-13	Ghjuvan Lacambre	[Ada] CUDA: use binder to generate kernel-registration...	commit \| commitdiff \| tree
2022-05-13	Marc Poulhiès	[Ada] Fix iterated component association for array...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Simplify helper units for formal hashed sets...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Adapt body of formal sets and maps for SPARK	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Remove dependency on tampering checks and controlled...	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Ada ABI change when building with assertions	commit \| commitdiff \| tree
2022-05-13	Johannes Kanig	[Ada] Take into account GNSA_ROOT env var for prefix	commit \| commitdiff \| tree
2022-05-13	Steve Baird	[Ada] Implement late initialization rules for type...	commit \| commitdiff \| tree
2022-05-13	Ed Schonberg	[Ada] Handle IN iterator for class-wide derived object...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Facilitate proof of Overwrite in bounded strings...	commit \| commitdiff \| tree
2022-05-13	Etienne Servais	[Ada] Fix code example on representation clause	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Do not overwrite limited view of result type	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Wrong address for class-wide interface access...	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Crash in task body reference to discriminant	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Improve expected type error messages	commit \| commitdiff \| tree
2022-05-13	Alexandre Oliva	[Ada] Document control flow redundancy	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Fix compiler crash on FOR iteration scheme over...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Conversion...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Deallocation...	commit \| commitdiff \| tree
2022-05-13	Marc Poulhiès	[Ada] Fix the Ada 2022 iterated component association...	commit \| commitdiff \| tree
2022-05-13	Etienne Servais	[Ada] Fix typo on "that"	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Spurious access error in function returning type...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Accept effectively volatile components in actuals	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove redundant guard in checks for volatile...	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Ineffective use type clause warnings cause compile...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Skip postponed validation checks with compilation...	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Fix URL in doc	commit \| commitdiff \| tree
2022-05-12	Bob Duff	[Ada] Restore double quotes in debug printouts	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Reuse collective subtype for comparison operators...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Remove unreferenced Is_Selector_Name routine	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix warning about generic subprograms withed...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix warning about generic subprograms withed...	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Remove useless pragma Warnings Off from runtime...	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Do not issue a warning on a postcondition of...	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Remove front-end SJLJ processing	commit \| commitdiff \| tree
2022-05-12	Bob Duff	[Ada] Make debug printouts more robust	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Add ghost code to facilitate proof with SPARK	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Remove use of use-clauses in loaded runtime units	commit \| commitdiff \| tree
2022-05-12	Etienne Servais	[Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Remove redundant guard against Any_String	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Accept raise expressions as operands of boolean...	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Plug loophole in Possible_Type_For_Conditional_Expression	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Adapt CodePeer analysis of GNAT to changes in...	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Revamp analysis of conditional expressions	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Proof of 'Image support for signed integers	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Rewrite Sem_Ch4.Find_Boolean_Types	commit \| commitdiff \| tree
2022-05-12	Alexandre Oliva	[Ada] Introduce hardbool Machine_Attribute for Ada	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix scope of block in expanded protected entry...	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom