aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.adb
AgeCommit message (Expand)AuthorFilesLines
2021-09-13Merged current trunk to branch.Thomas Koenig1-155/+274
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
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-1/+89
2020-06-15[Ada] Rewrite Sem_Eval.Predicates_Match predicateEric Botcazou1-24/+26
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-7/+7
2020-06-09[Ada] Missing check on private overriding of dispatching primitiveJavier Miranda1-1/+24
2020-06-09[Ada] AI1-0201 Relational operators of static string types are now staticArnaud Charlet1-15/+37
2020-06-08[Ada] Fix handling of 'Enum_Rep and renamingsArnaud Charlet1-2/+6
2020-06-08[Ada] Implement predicate checks on qualified expressions (AI12-0100)Gary Dismukes1-10/+30
2020-06-05[Ada] Fix incorrect initialization for array of non-standard enumeration typeEric Botcazou1-3/+18
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-18[Ada] Document the introduction of the Object_Size attribute in Ada 2020Eric Botcazou1-3/+2
2019-09-18[Ada] Don't fail a front-end assertion if errors have already been detectedSteve Baird1-1/+2
2019-08-20[Ada] Minor reformattingsGary Dismukes1-7/+7
2019-08-20[Ada] Fix a folding issue with System'To_AddressBob Duff1-3/+11
2019-08-13[Ada] Fix spurious instantiation error on private record typeEric Botcazou1-11/+1
2019-08-12[Ada] Inconsistent compile time Constraint_Error warningJustin Squirek1-7/+25
2019-07-11[Ada] Avoid spurious warning on assertions with Loop_EntryYannick Moy1-10/+39
2019-07-09[Ada] Crash on 'Img attributeJustin Squirek1-1/+9
2019-07-08[Ada] Do not erase precise type on fixed-point real literalYannick Moy1-0/+4
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] System'To_Address not always staticBob Duff1-46/+38
2018-07-31[Ada] Spurious warning on iteration over range of 64-bit modular typeEd Schonberg1-0/+6
2018-07-31[Ada] Minor reformattingsHristian Kirtchev1-1/+1
2018-07-17[Ada] Preserve original CE reason in more casesArnaud Charlet1-3/+10
generated by cgit v1.1 at 2025-09-27 04:10:11 +0000