summaryrefslogtreecommitdiff
path: root/gcc/ada/restrict.ads
Commit message (Expand)AuthorAgeFilesLines
* frontend.adb (Frontend): Capture restrictions from config filesRobert Dewar2011-11-211-20/+65
* sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet2011-11-211-0/+7
* [multiple changes]Arnaud Charlet2011-09-191-2/+16
* [multiple changes]Arnaud Charlet2011-08-291-1/+1
* exp_ch7.ads, [...]: Minor reformatting.Robert Dewar2011-08-051-0/+5
* sem_aggr.adb, [...]: Minor reformattingRobert Dewar2011-08-031-7/+7
* [multiple changes]Arnaud Charlet2011-08-031-2/+2
* [multiple changes]Arnaud Charlet2011-08-021-3/+3
* [multiple changes]Arnaud Charlet2011-08-021-7/+11
* [multiple changes]Arnaud Charlet2011-08-021-0/+31
* sem_aggr.adb, [...]: cleanup of SPARK modeYannick Moy2011-08-021-2/+2
* [multiple changes]Arnaud Charlet2011-08-021-8/+20
* par-ch6.adb: Correct obsolete name in commentsYannick Moy2011-08-021-0/+4
* [multiple changes]Arnaud Charlet2011-08-021-4/+4
* [multiple changes]Arnaud Charlet2011-08-021-0/+6
* sem_ch13.adb, [...]: Minor reformatting.Robert Dewar2010-09-091-1/+13
* nlists.ads, nlists.adb (In_Same_List): New function.Robert Dewar2010-09-091-0/+6
* a-chahan.ads: Add comments on handling of obsolescent entries.Robert Dewar2010-08-101-1/+10
* restrict.adb: Improved messages for restriction warningsRobert Dewar2008-08-041-14/+24
* restrict.ads: Add missing restrictions, and properly label all GNAT defined onesRobert Dewar2008-05-281-3/+6
* opt.ads (Treat_Restrictions_As_Warnings): New switchRobert Dewar2008-05-201-7/+10
* gnat_ugn.texi: Fix typos.Ralf Wildenhues2008-04-101-2/+2
* exp_ch11.adb (Expand_At_End_Handler): Set From_At_End flag on raise stmt.Robert Dewar2008-03-261-0/+4
* restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowed): New procedure to b...Bob Duff2007-12-131-0/+7
* types.ads, [...]: Minor reformatting.Robert Dewar2007-09-121-0/+5
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-4/+3
* restrict.ads, [...] (No_Exception_Handlers_Set): Only return true if configur...Arnaud Charlet2007-06-061-2/+7
* restrict.ads, [...] (Restriction_Active): Now returns False if only a restric...Arnaud Charlet2006-10-311-4/+6
* restrict.ads (No_Dispatching_Calls): New GNAT restriction.Javier Miranda2006-02-151-1/+2
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* s-atacco.ads, [...]: Protect use of 'Constrained by warnings on/off...Arnaud Charlet2005-01-031-0/+39
* exp_ch4.adb (Expand_N_Selected_Component): If the component is the discrimina...Arnaud Charlet2004-11-191-1/+0
* [multiple changes]Arnaud Charlet2004-06-141-17/+19
* [multiple changes]Arnaud Charlet2004-05-171-0/+6
* [multiple changes]Arnaud Charlet2004-05-031-2/+2
* [multiple changes]Arnaud Charlet2004-02-041-22/+22
* [multiple changes]Arnaud Charlet2004-02-021-127/+70
* 3psoccon.ads, [...]: Files added.Arnaud Charlet2003-10-211-37/+51
* 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
* 41intnam.ads, [...]: Merge in ACT changes.Geert Bosch2002-03-081-5/+46
* New Language: AdaRichard Kenner2001-10-021-0/+253