aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-06-28Daily bump.GCC Administrator1-0/+69
2023-06-27ada: Fix build of GNAT toolsEric Botcazou1-3/+6
2023-06-27ada: Fix bad interaction between inlining and thunk generationEric Botcazou1-3/+6
2023-06-27ada: Make the identification of case expressions more robustEric Botcazou1-5/+3
2023-06-27ada: Fix double finalization of case expression in concatenationEric Botcazou4-72/+23
2023-06-27ada: Fix incorrect handling of iterator specifications in recent changeEric Botcazou1-7/+11
2023-06-27ada: Correct the contract of Ada.Text_IO.Get_LineClaire Dross1-9/+13
2023-06-27ada: Fix too late finalization and secondary stack release in iterator loopsEric Botcazou2-31/+14
2023-06-27ada: Plug small loophole in the handling of private views in instancesEric Botcazou1-7/+39
2023-06-27ada: Plug another loophole in the handling of private views in instancesEric Botcazou1-0/+17
2023-06-27ada: Update printing container aggregates for debuggingViljar Indus1-2/+4
2023-06-27ada: Fix expanding container aggregatesViljar Indus1-0/+1
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
generated by cgit v1.1 at 2025-08-10 05:32:40 +0000