aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)Author
2022-05-17[Ada] Restore defensive guard in checks for volatile actualsPiotr Trojanek
2022-05-17[Ada] Subprogram renaming fails to hide homographGary Dismukes
2022-05-17[Ada] CUDA: remove code performing kernel registrationGhjuvan Lacambre
2022-05-17[Ada] Enhance the warning on C enum with size clause for size /= 32Etienne Servais
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy
2022-05-17[Ada] Provide allocation subtype for allocators of a Designated_Storage_Model...Gary Dismukes
2022-05-17[Ada] Cleanups related to front-end SJLJBob Duff
2022-05-17[Ada] GNAT.Binary_Search is not internalDmitriy Anisimkov
2022-05-17[Ada] Fix insertion of declaration inside quantified expressionYannick Moy
2022-05-17[Ada] Fix Forced sign flag in formatted stringMarc Poulhiès
2022-05-17[Ada] Fix small glitch in Expand_N_Full_Type_DeclarationEric Botcazou
2022-05-17[Ada] Requires_Cleanup_Actions and N_Protected_BodyBob Duff
2022-05-17[Ada] Output.w always writes to stderrBob Duff
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov
2022-05-17[Ada] Fix bogus visibility error with partially parameterized formal packageEric Botcazou
2022-05-17[Ada] Take full view of private typeEtienne Servais
2022-05-17[Ada] Allow 'Reduce with -gnat2022Arnaud Charlet
2022-05-17[Ada] Don't create calls to Abort_Undefer when not Abort_AllowedGhjuvan Lacambre
2022-05-17[Ada] Typo fix in finalization commentMarc Poulhiès
2022-05-17[Ada] Initialize Compiler_State to avoid Constraint_ErrorEtienne Servais
2022-05-17[Ada] Deal with derived record types in Has_Compatible_RepresentationEric Botcazou
2022-05-17[Ada] Streamline implementation of Has_Compatible_RepresentationEric Botcazou
2022-05-17[Ada] Remove superfluous call to Original_NodeEtienne Servais
2022-05-17[Ada] Crash freezing declaration that will raise constraint errorJavier Miranda
2022-05-17[Ada] Spurious error on subprogram with class-wide preconditionsJavier Miranda
2022-05-17[Ada] Use Actions field of freeze nodes for subprogramsEric Botcazou
2022-05-17[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditionsJavier Miranda
2022-05-17[Ada] Fix documentation of using attribute Loop_Entry in pragmasPiotr Trojanek
2022-05-17[Ada] Check token to be "access", reject it if notEtienne Servais
2022-05-17[Ada] Enable current value propagation within pragma expressionsPiotr Trojanek
2022-05-17Daily bump.GCC Administrator
2022-05-16[Ada] Fix fallout of change in equality for untagged record typesEric Botcazou
2022-05-16[Ada] Fix expansion of attribute Loop_Entry wrt value propagationPiotr Trojanek
2022-05-16[Ada] Remove useless code related to current value propagationPiotr Trojanek
2022-05-16[Ada] Type invariant or postcondition may cause uninitialized memory readsJustin Squirek
2022-05-16[Ada] Freeze target type on qualified expression expansionEtienne Servais
2022-05-16[Ada] Fix proof of double arithmetic unitsYannick Moy
2022-05-16[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI filesGhjuvan Lacambre
2022-05-16[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameterJoel Brobecker
2022-05-16[Ada] sigaction result not properly checked in __gnat_install_handler (QNX)Joel Brobecker
2022-05-16[Ada] Fix thinko in QNX's implementation of __gnat_install_handlerJoel Brobecker
2022-05-16[Ada] Add <stdlib.h> #include in cstreams.cJoel Brobecker
2022-05-16[Ada] replace call to bzero in terminals.c by call to memsetJoel Brobecker
2022-05-16[Ada] Revise Storage_Model_Support operations to do checks and take objects a...Gary Dismukes
2022-05-16[Ada] Handle case-expression inside if-expression in -gnato2Etienne Servais
2022-05-16[Ada] Update comment justifying non-inlining for proof inside genericsYannick Moy
2022-05-16[Ada] Fix iterated element association loop var escaping loop scopeMarc Poulhiès
2022-05-16[Ada] Fix internal error on iterated array aggregateEric Botcazou
2022-05-16[Ada] Accept calls to abstract subprograms in class-wide pre/post-conditionsJavier Miranda
2022-05-16[Ada] Fix internal error on mix of controlled and protected typesEric Botcazou