aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.ads
AgeCommit message (Expand)AuthorFilesLines
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
2009-04-20sem_attr.adb (Eval_Attribute, [...]): Catch more cases where this attribute c...Robert Dewar1-6/+18
2009-04-07checks.adb: Remove Assume_Valid parameter from In_Subrange_Of callsRobert Dewar1-31/+27
2009-04-07checks.adb (Determine_Range): Add Assume_Valid parameterRobert Dewar1-10/+16
2008-08-222008-08-22 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-9/+17
2008-08-20sem_eval.ads: Minor comment fix.Bob Duff1-1/+1
2008-04-13sem_ch10.adb, [...]: Fix comment typos.Ralf Wildenhues1-6/+6
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-5/+4
2005-12-09[multiple changes]Arnaud Charlet1-205/+197
2005-11-15a-secain.adb, [...]: Minor reformattingRobert Dewar1-1/+1
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2005-03-15re PR ada/19900 (ACATS c391002 c432002 ICE categorize_ctor_elements_1)Robert Dewar1-11/+11
2005-02-10usage.adb: Add line for switch -gnat05 (allow Ada 2005 extensions) Slight fix...Arnaud Charlet1-2/+1
2004-06-25revert: [multiple changes]Arnaud Charlet1-1/+1
2004-01-19[multiple changes]Arnaud Charlet1-1/+2
generated by cgit v1.1 at 2024-09-29 00:59:41 +0000