aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-07-18ada: Fix expanding container aggregates with Iterator specificationViljar Indus1-2/+5
2023-07-18ada: Improve error message for ambiguous subprogram callEric Botcazou3-8/+21
2023-07-18ada: Constraint_Error caused by interface conversionJavier Miranda1-90/+4
2023-07-18ada: Tweak CPU affinity handling on LinuxRonan Desplanques1-31/+7
2023-07-18ada: Fix internal error on aggregates of self-referencing typesEric Botcazou3-13/+18
2023-07-18ada: Fix assertion failure introduced by latest changeEric Botcazou1-4/+5
2023-07-18ada: Expose expected_throw attributeAlexandre Oliva6-5/+146
2023-07-18ada: Refactor s-pack* units to remove multiple returnsVasiliy Fofanov120-4248/+4071
2023-07-18ada: Allow warnings with explain codeYannick Moy1-2/+4
2023-07-18ada: Fix Valid_Scalars attribute applied to types from limited withEric Botcazou2-2/+9
2023-07-12Daily bump.GCC Administrator1-0/+11
2023-07-11ada: Avoid renaming_decl in case of constrained arrayBob Duff1-1/+15
2023-07-11ada: Fix wrong resolution for hidden discriminant in predicateEric Botcazou1-7/+42
2023-07-11Daily bump.GCC Administrator1-0/+49
2023-07-10ada: Follow-up fix for compilation issue with recent MinGW-w64 versionsEric Botcazou1-0/+3
2023-07-10ada: Add typedefs to snames.h-tmplTom Tromey1-2/+6
2023-07-10ada: Simplify assertion to remove CodePeer messageYannick Moy1-3/+1
2023-07-10ada: Documentation for mixed declarations and statementsBob Duff3-45/+91
2023-07-10ada: hardcfr: optionally disable in leaf functionsAlexandre Oliva2-0/+10
2023-07-10ada: hardcfr: mark throw-expected functionsAlexandre Oliva2-16/+18
2023-07-10ada: Adapt proof of System.Arith_Double to remove CVC4Yannick Moy1-9/+75
2023-07-10ada: Add leafy mode for zero-call-used-regsAlexandre Oliva2-1/+13
2023-07-07Daily bump.GCC Administrator1-0/+91
2023-07-06ada: Add specification source files of runtime unitsClaire Dross1-0/+3
2023-07-06ada: Refactor the proof of the Value and Image runtime unitsClaire Dross38-729/+835
2023-07-06ada: Evaluate static expressions in Range attributesViljar Indus1-3/+13
2023-07-06ada: Refer to non-Ada binding limitations in user guideViljar Indus2-31/+37
2023-07-06ada: Reuse code in Is_Fully_Initialized_TypeViljar Indus1-1/+1
2023-07-06ada: Avoid crash in Find_Optional_Prim_OpViljar Indus1-0/+5
2023-07-06ada: Improve error message on violation of SPARK_Mode rulesYannick Moy2-1/+4
2023-07-06ada: Finalization not performed for component of protected typeSteve Baird2-1/+16
2023-07-05Daily bump.GCC Administrator1-0/+36
2023-07-04ada: Do not unnecessarily use component-wise loop for slice assignmentEric Botcazou3-27/+31
2023-07-04ada: Small adjustments to new procedure Expand_Unchecked_Union_EqualityEric Botcazou3-16/+14
2023-07-04ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rmViljar Indus3-377/+415
2023-07-04ada: Fix list of inherited subprograms in query for GNATproveYannick Moy2-0/+35
2023-07-04Daily bump.GCC Administrator1-0/+38
2023-07-03ada: Fix renaming of predefined equality operator for unchecked union typesEric Botcazou6-427/+390
2023-07-03ada: Fix discrepancy in expansion of untagged record equalityEric Botcazou1-25/+16
2023-07-03ada: Fix small inaccuracy in implementation of B.3.3(20/2)Eric Botcazou1-21/+14
2023-06-30Daily bump.GCC Administrator1-0/+4
2023-06-29A couple of va_gc_atomic tweaksRichard Sandiford1-11/+0
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
generated by cgit v1.1 at 2025-09-27 02:34:00 +0000