aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.ads
AgeCommit message (Expand)AuthorFilesLines
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
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-9/+58
2003-04-241aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch1-1/+0
2002-10-23Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode1-1/+1
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2001-10-02New Language: AdaRichard Kenner1-0/+377