aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-05-26ada: Enhance Is_Null_Range and Not_Null_Range predicatesEric Botcazou1-6/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-01-11[Ada] Balance parentheses in comments about allocatorsPiotr Trojanek1-1/+1
2022-01-11[Ada] Deconstruct a VMS utility routine which is only used by GNATprovePiotr Trojanek1-9/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou1-0/+8
2021-10-20[Ada] Small cleanup in Eval_Integer_LiteralEric Botcazou1-4/+3
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Remove double initialization of interpretation tablesPiotr Trojanek1-2/+1
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-0/+5
2020-11-27[Ada] Restore access type instead of mode out parameterPiotr Trojanek1-5/+5
2020-11-27[Ada] Change parameter from access type to mode outPiotr Trojanek1-5/+5
2020-07-16[Ada] Small cleanup in interface with GCC back-endEric Botcazou1-2/+0
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+8
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-0/+6
2020-06-15[Ada] Rewrite Sem_Eval.Predicates_Match predicateEric Botcazou1-4/+4
2020-06-08[Ada] Implement predicate checks on qualified expressions (AI12-0100)Gary Dismukes1-7/+10
2020-06-05[Ada] Fix incorrect initialization for array of non-standard enumeration typeEric Botcazou1-1/+3
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-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-25/+16
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-1/+11
2016-04-18[multiple changes]Arnaud Charlet1-0/+5
2016-04-18[multiple changes]Arnaud Charlet1-115/+100
2015-02-20[multiple changes]Arnaud Charlet1-2/+2
2014-08-01[multiple changes]Arnaud Charlet1-14/+14
2014-08-01[multiple changes]Arnaud Charlet1-1/+6
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-29sem_aggr.adb, [...]: General cleanup of static predicate handling.Robert Dewar1-2/+2
2014-07-29sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...Robert Dewar1-32/+74
2014-07-18[multiple changes]Arnaud Charlet1-3/+4
2014-07-18[multiple changes]Arnaud Charlet1-2/+2
2014-07-18[multiple changes]Arnaud Charlet1-4/+6
2014-05-21[multiple changes]Arnaud Charlet1-12/+18
2014-02-242014-02-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-6/+14
2014-02-20[multiple changes]Arnaud Charlet1-0/+6
2014-02-19sem_eval.ads, [...] (Subtypes_Statically_Match): Return False if Esize values...Robert Dewar1-1/+3
2014-01-22[multiple changes]Arnaud Charlet1-1/+1
2014-01-21[multiple changes]Arnaud Charlet1-28/+20
2014-01-21[multiple changes]Arnaud Charlet1-14/+59
2013-04-11[multiple changes]Arnaud Charlet1-12/+12
2012-10-02par_sco.adb, [...]: Change name Conditional_Expression to If_Expression.Robert Dewar1-2/+2
2012-10-02[multiple changes]Arnaud Charlet1-1/+1
2012-10-01[multiple changes]Arnaud Charlet1-0/+5
2012-08-06[multiple changes]Arnaud Charlet1-4/+7
2012-03-15[multiple changes]Arnaud Charlet1-2/+10
2010-06-18checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c...Robert Dewar1-1/+2
generated by cgit v1.1 at 2024-11-06 02:46:22 +0000