aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-12-17[Ada] Move folding of unchecked conversions from expansion to evaluationPiotr Trojanek1-1/+55
2020-12-14[Ada] Fix compile time evaluation of shift intrinsicsArnaud Charlet1-1/+1
2020-12-14[Ada] Remove double initialization of the known value cachePiotr Trojanek1-1/+1
2020-11-27[Ada] Wrong compile time evaluation of Shift_RightArnaud Charlet1-6/+23
2020-11-27[Ada] Restore access type instead of mode out parameterPiotr Trojanek1-15/+15
2020-11-27[Ada] Restore general case for folding comparison of static stringsPiotr Trojanek1-60/+58
2020-11-27[Ada] Change parameter from access type to mode outPiotr Trojanek1-15/+15
2020-11-26[Ada] Avoid potentially repeated calls to Prefix in Eval_SlicePiotr Trojanek1-2/+3
2020-11-26[Ada] Warn on slices of the form A (subtype) for all objectsPiotr Trojanek1-1/+1
2020-11-25[Ada] Spurious error on instance with predicated actualEd Schonberg1-4/+14
2020-11-25[Ada] Crash on right shift operator for signed integersJustin Squirek1-6/+16
2020-11-24[Ada] AI12-0394 Named Numbers and User-Defined Numeric LiteralsArnaud Charlet1-1/+1
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-1/+1
2020-10-16[Ada] Legal actual type with inherited discriminants rejected in instantiationGary Dismukes1-2/+59
2020-10-15[Ada] Get finalization right when a function returns a function callSteve Baird1-3/+5
2020-10-15[Ada] Add support for compile time evaluation of Shift_Right_ArithmeticArnaud Charlet1-10/+74
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-29/+25
2020-07-15[Ada] Extend static functionsArnaud Charlet1-62/+208
2020-07-08[Ada] Static expression function problems with -gnatc and -gnatd.F (SPARK mode)Gary Dismukes1-0/+8
2020-07-06[Ada] Crash when an exception handler is executed with -gnatdkPiotr Trojanek1-5/+12
2020-06-18[Ada] Cleanups in code related to static expressionsPiotr Trojanek1-9/+10
2020-06-18[Ada] Avoid forced loading of System.Priority in CodePeer modePiotr Trojanek1-1/+1
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+94
2020-06-16[Ada] Reuse Is_Object where possiblePiotr Trojanek1-1/+1
generated by cgit v1.1 at 2025-02-09 07:26:34 +0000