aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-06-21Daily bump.GCC Administrator1-0/+220
2023-06-20ada: Minor tweaksEric Botcazou1-8/+6
2023-06-20ada: Fix crash on inlining in GNATproveYannick Moy1-0/+9
2023-06-20ada: Further fixes to handling of private views in instancesEric Botcazou9-237/+219
2023-06-20ada: Remove outdated commentRonan Desplanques1-4/+0
2023-06-20ada: Fix couple of issues in documentation of overflow checkingEric Botcazou2-46/+7
2023-06-20ada: Do not issue warning on postcondition in some casesYannick Moy1-0/+32
2023-06-20ada: Add the ability to add error codes to error messagesYannick Moy9-21/+134
2023-06-20ada: Fix for attribute Range in Exceptional_CasesPiotr Trojanek1-1/+2
2023-06-20ada: Document partition-wide Ada signal handlersJose Ruiz2-305/+414
2023-06-20ada: Fix for quantified expressions in Exceptional_CasesPiotr Trojanek1-1/+1
2023-06-20ada: Fix bug in predicate checks with address clausesBob Duff2-8/+10
2023-06-20ada: Fix fallout of fix to handling of private views in instancesEric Botcazou2-2/+4
2023-06-20ada: Add CHERI intrinsic bindings and helper functions.Daniel King2-0/+545
2023-06-20ada: Small fixes to handling of private views in instancesEric Botcazou4-91/+92
2023-06-20ada: Fix internal error on aggregate within container aggregateEric Botcazou1-7/+9
2023-06-20ada: Fix -fdiagnostics-format=json not printing all messagesGhjuvan Lacambre1-9/+12
2023-06-20ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64Eric Botcazou6-2/+40
2023-06-20ada: Update annotations in runtime for proofYannick Moy3-1/+15
2023-06-20ada: Fix type derivation of subtype of derived typeMarc Poulhiès1-3/+33
2023-06-20ada: Pass Error_Node to calls to Error_Msg in lib-load.adbGhjuvan Lacambre1-8/+23
2023-06-20ada: Remove references to Might_Not_Return and Always_ReturnClaire Dross36-461/+395
2023-06-20ada: Spurious error on package instantiationJavier Miranda1-101/+146
2023-06-20ada: Fix edge case in Ada.Calendar.Formatting.Time_OfRonan Desplanques1-28/+3
2023-06-16Daily bump.GCC Administrator1-0/+174
2023-06-15configure: Implement --enable-host-pieMarek Polacek2-7/+9
2023-06-15ada: Remove unused filesMarc Poulhiès6-28/+0
2023-06-15ada: Fix wrong code for ACATS cd1c03i on Morello targetEric Botcazou1-2/+6
2023-06-15ada: Fix wrong finalization for double subtype of bounded vectorEric Botcazou1-4/+10
2023-06-15ada: Make minor improvements to user's guideRonan Desplanques3-37/+36
2023-06-15ada: Reject Loop_Entry inside prefix of Loop_EntryYannick Moy1-3/+18
2023-06-15ada: Fix too small secondary stack allocation for returned conversionEric Botcazou2-30/+63
2023-06-15ada: Fix internal error on loop iterator filter with -gnatVaEric Botcazou3-4/+13
2023-06-15ada: Revert latest change to Find_Hook_ContextEric Botcazou1-10/+0
2023-06-15ada: Fix too small secondary stack allocation for returned aggregateEric Botcazou1-3/+14
2023-06-15ada: Remove dead code in Expand_Iterator_Loop_Over_ContainerEric Botcazou1-13/+4
2023-06-15ada: Add escape hatch to configurable run-timeRonan Desplanques2-0/+12
2023-06-15ada: Fix missing finalization for aggregates nested in conditional expressionsEric Botcazou2-1/+23
2023-06-15ada: Adjust QNX Ada priorities to match QNX system prioritiesJohannes Kliemann2-9/+7
2023-06-15ada: Adjust comments in targparm.adsRonan Desplanques1-20/+5
2023-06-15ada: Accept aspect Always_Terminates on packagesPiotr Trojanek2-2/+21
2023-06-15ada: Accept aspect Always_Terminates on entriesPiotr Trojanek1-0/+5
2023-06-15ada: Reject aspect Always_Terminates on functions and generic functionsPiotr Trojanek1-0/+13
2023-06-15ada: Fix missing error on function call returning incomplete viewEric Botcazou1-0/+6
2023-06-15ada: Fix minor issues in commentsRonan Desplanques1-3/+2
2023-06-15ada: Remove Ttypes.Max_Unaligned_FieldEric Botcazou6-28/+2
2023-06-15ada: Fix inverted implementation of RM 8.4(10) clause for operatorsEric Botcazou1-1/+1
2023-06-15ada: Accept aspect Always_Terminates without expressionPiotr Trojanek3-51/+53
2023-06-15ada: Crash on C++ constructor of private typeJavier Miranda1-2/+18
2023-06-15ada: Remove obsolete references for Build_Transient_Object_StatementsEric Botcazou1-3/+3
generated by cgit v1.1 at 2024-11-03 10:15:43 +0000