aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-07ada: Reject non-statically compatible extended return statementJavier Miranda1-2/+2
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Cleanup more "not Present"Piotr Trojanek1-1/+1
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-5/+12
2023-05-26ada: Enhance Is_Null_Range and Not_Null_Range predicatesEric Botcazou1-3/+5
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff1-1/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-4/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-0/+1
2022-11-04ada: Static intrinsic functions are a core language extension.Steve Baird1-2/+3
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-1/+1
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-1/+0
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-0/+1
2022-07-05[Ada] Remove exception propagation during bootstrapArnaud Charlet1-2/+2
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-10/+8
2022-05-19[Ada] Support Ada 2022 null array aggregatesEd Schonberg1-3/+12
2022-05-10[Ada] Fix oversight for case expression in Eval_Integer_LiteralEric Botcazou1-1/+1
2022-01-11[Ada] Deconstruct a VMS utility routine which is only used by GNATprovePiotr Trojanek1-84/+0
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] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+1
2022-01-06[Ada] Move messages on division by zero to the right operandPiotr Trojanek1-1/+5
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-7/+5
2021-10-20[Ada] Fix problematic conversion of real literal in static contextEric Botcazou1-12/+23
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou1-14/+24
2021-10-20[Ada] Small cleanup in Eval_Integer_LiteralEric Botcazou1-15/+12
2021-09-23[Ada] Cleanup and efficiency improvementsBob Duff1-1/+2
2021-09-21[Ada] Remove if_expressionBob Duff1-6/+14
2021-09-21[Ada] Fix ignored dynamic predicates specified through "predicate" aspectGhjuvan Lacambre1-0/+2
2021-09-20[Ada] Present and No functions for type UintBob Duff1-2/+2
2021-07-07[Ada] Stronger assertion about flag for checking static expressionsPiotr Trojanek1-4/+3
2021-06-18[Ada] Update comments related to TBDArnaud Charlet1-1/+1
2021-06-15[Ada] Add support for folding more and/or expressionsArnaud Charlet1-44/+102
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-15/+15
2021-05-07[Ada] Minor reformattingsBob Duff1-36/+36
2021-05-07[Ada] Variable-sized node typesBob Duff1-5/+9
2021-05-07[Ada] Computation of Shift_Left and large signed valuesArnaud Charlet1-17/+19
2021-05-06[Ada] Make Is_OK_Static_Subtype use Is_Static_SubtypeGhjuvan Lacambre1-12/+11
2021-05-06[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_ErrorPiotr Trojanek1-2/+0
2021-05-05[Ada] Remove redundant explicit calls to UI_From_Int in comparisonsPiotr Trojanek1-1/+1
2021-05-05[Ada] Set constraint error on real division just like on integer divisionPiotr Trojanek1-0/+1
2021-05-03[Ada] Reuse Is_Universal_Numeric_Type where possiblePiotr Trojanek1-5/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-1/+3
2021-04-29[Ada] Fix evaluation of expressions in inlined codeYannick Moy1-17/+44
2021-04-28[Ada] Fix recent optimization in evaluation of selected component for GNATproveArnaud Charlet1-1/+3
2021-04-28[Ada] Simplify folding of selected components with qualified prefixesPiotr Trojanek1-5/+1
2021-04-28[Ada] Incorrect discriminant check on call to access to subprogramArnaud Charlet1-1/+35
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-0/+69
generated by cgit v1.1 at 2024-08-28 02:04:29 +0000