summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_eval.ads
Commit message (Expand)AuthorAgeFilesLines
* [multiple changes]Arnaud Charlet2015-02-201-2/+2
* [multiple changes]Arnaud Charlet2014-08-011-14/+14
* [multiple changes]Arnaud Charlet2014-08-011-1/+6
* [multiple changes]Arnaud Charlet2014-07-301-1/+1
* sem_aggr.adb, [...]: General cleanup of static predicate handling.Robert Dewar2014-07-291-2/+2
* sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...Robert Dewar2014-07-291-32/+74
* [multiple changes]Arnaud Charlet2014-07-181-3/+4
* [multiple changes]Arnaud Charlet2014-07-181-2/+2
* [multiple changes]Arnaud Charlet2014-07-181-4/+6
* [multiple changes]Arnaud Charlet2014-05-211-12/+18
* 2014-02-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet2014-02-241-6/+14
* [multiple changes]Arnaud Charlet2014-02-201-0/+6
* sem_eval.ads, [...] (Subtypes_Statically_Match): Return False if Esize values...Robert Dewar2014-02-191-1/+3
* [multiple changes]Arnaud Charlet2014-01-221-1/+1
* [multiple changes]Arnaud Charlet2014-01-211-28/+20
* [multiple changes]Arnaud Charlet2014-01-211-14/+59
* [multiple changes]Arnaud Charlet2013-04-111-12/+12
* par_sco.adb, [...]: Change name Conditional_Expression to If_Expression.Robert Dewar2012-10-021-2/+2
* [multiple changes]Arnaud Charlet2012-10-021-1/+1
* [multiple changes]Arnaud Charlet2012-10-011-0/+5
* [multiple changes]Arnaud Charlet2012-08-061-4/+7
* [multiple changes]Arnaud Charlet2012-03-151-2/+10
* checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c...Robert Dewar2010-06-181-1/+2
* sem_attr.adb (Eval_Attribute, [...]): Catch more cases where this attribute c...Robert Dewar2009-04-201-6/+18
* checks.adb: Remove Assume_Valid parameter from In_Subrange_Of callsRobert Dewar2009-04-071-31/+27
* checks.adb (Determine_Range): Add Assume_Valid parameterRobert Dewar2009-04-071-10/+16
* 2008-08-22 Robert Dewar <dewar@adacore.com>Arnaud Charlet2008-08-221-9/+17
* sem_eval.ads: Minor comment fix.Bob Duff2008-08-201-1/+1
* sem_ch10.adb, [...]: Fix comment typos.Ralf Wildenhues2008-04-131-6/+6
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-5/+4
* [multiple changes]Arnaud Charlet2005-12-091-205/+197
* a-secain.adb, [...]: Minor reformattingRobert Dewar2005-11-151-1/+1
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* re PR ada/19900 (ACATS c391002 c432002 ICE categorize_ctor_elements_1)Robert Dewar2005-03-151-11/+11
* usage.adb: Add line for switch -gnat05 (allow Ada 2005 extensions) Slight fix...Arnaud Charlet2005-02-101-2/+1
* revert: [multiple changes]Arnaud Charlet2004-06-251-1/+1
* [multiple changes]Arnaud Charlet2004-01-191-1/+2
* 3psoccon.ads, [...]: Files added.Arnaud Charlet2003-10-211-9/+58
* 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch2003-04-241-1/+0
* Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode2002-10-231-1/+1
* Delete all lines containing "$Revision:".Geoffrey Keating2002-03-141-1/+0
* New Language: AdaRichard Kenner2001-10-021-0/+377