aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_util.adb
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Remove unreferenced CCG-specific routine Insert_DeclarationPiotr Trojanek1-37/+0
2022-01-11[Ada] Avoid redundant checks for empty listsPiotr Trojanek1-6/+2
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Remove extra space before THEN keywordsPiotr Trojanek1-1/+1
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-8/+6
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-1/+2
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-1/+0
2021-11-09[Ada] Hang on compilation of unit with type extension in bodyJustin Squirek1-0/+8
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-3/+3
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-0/+1
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-1/+2
2021-10-11[Ada] Valid postconditions incorrectly rejected.Steve Baird1-2/+12
2021-10-11[Ada] Rewrite extended names in derived class-wide expressionsPiotr Trojanek1-1/+1
2021-10-11[Ada] Fix crash on array component with Default_ValuePiotr Trojanek1-3/+1
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-0/+26
2021-10-05[Ada] Rewrite operator entity in derived class-wide expressionsPiotr Trojanek1-1/+1
2021-10-04[Ada] Fix resolution of Declare_Expressions involving transient scopesEd Schonberg1-0/+5
2021-10-01[Ada] Assert_Failure on derived type with inherited Default_Initial_ConditionGary Dismukes1-44/+3
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-102/+81
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-2/+2
2021-09-22[Ada] Fix obsolete comments/name referring to girder discriminantsYannick Moy1-4/+4
2021-09-21[Ada] Set related expression for external DISCR symbols in Build_TemporaryDaniel Mercier1-0/+11
2021-09-21[Ada] Add assertions to UintpBob Duff1-0/+3
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-8/+7
2021-09-20[Ada] Present and No functions for type UintBob Duff1-3/+3
2021-09-20[Ada] Spurious link error with child unit and different Assertion modes.Ed Schonberg1-2/+20
2021-07-08[Ada] Remove Unknown_ functionsBob Duff1-2/+2
2021-07-07[Ada] Transient scope cleanupBob Duff1-3/+1
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-2/+4
2021-06-21[Ada] Compiler crash on sliding of fixed-lower-bound object in Loop_InvariantGary Dismukes1-4/+9
2021-06-18[Ada] Error issued on string literal assigned to fixed-lower-bound arrayGary Dismukes1-2/+6
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-0/+181
2021-06-17[Ada] Crash on a nested aggregate containing controlled objectsArnaud Charlet1-0/+3
2021-06-17[Ada] Look at Others_Discrete_Choices for N_Others_ChoiceRichard Kenner1-1/+8
2021-06-15[Ada] Avoid unhelpful dead code warningsSteve Baird1-17/+22
2021-06-15[Ada] Enable removal of side-effects in component declarationsPiotr Trojanek1-1/+2
2021-06-15[Ada] Fix bug in if_expressions introduced by var-size nodes changesBob Duff1-6/+3
2021-06-15[Ada] Add support for folding more and/or expressionsArnaud Charlet1-2/+12
2021-05-07[Ada] Minor reformattingsBob Duff1-42/+42
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-11/+11
2021-05-07[Ada] Variable-sized node typesBob Duff1-11/+27
2021-05-07[Ada] Crash on imported object with deep initialization and No_AbortsEd Schonberg1-0/+20
2021-05-07[Ada] Spurious error on protected call in inherited postconditionEd Schonberg1-0/+1
2021-05-06[Ada] Fix typosArnaud Charlet1-1/+2
2021-05-05[Ada] Remove commented codeGhjuvan Lacambre1-20/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-2/+2
2021-04-29[Ada] SPARK needs DIC expressions within partial DIC procedures for abstract ...Gary Dismukes1-1/+1