aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.adb
AgeCommit message (Expand)AuthorFilesLines
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
2018-07-17[Ada] Minor reformattingHristian Kirtchev1-1/+1
2018-07-16[Ada] Minor reformattingHristian Kirtchev1-18/+19
2018-07-16[Ada] Spurious possible contraint error warning with No_Exception_PropagationJustin Squirek1-2/+9
2018-07-16[Ada] Fix spelling for compile-time-knownGary Dismukes1-18/+18
2018-07-16[Ada] Illegal deferred constant causes stack overflowHristian Kirtchev1-12/+29
2018-05-30[Ada] Minor reformattingHristian Kirtchev1-0/+1
2018-05-30[Ada] Ignore out of range values for System.Priority in CodePeer modeArnaud Charlet1-4/+14
2018-05-21[Ada] Clarify code for accessing full view of a typePiotr Trojanek1-8/+10
2018-05-21[Ada] Crash on incorrect frontend inlining in GNATprove modeYannick Moy1-0/+7
2018-01-11[Ada] Allow uses of range utility routines on private typesPiotr Trojanek1-19/+48
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-0/+6
2017-09-08sem_ch3.adb, [...]: Remove references to Frontend_Layout_On_Target and remain...Arnaud Charlet1-2/+3
generated by cgit v1.1 at 2025-03-25 14:24:15 +0000