summaryrefslogtreecommitdiff
path: root/gcc/ada/checks.ads
Commit message (Expand)AuthorAgeFilesLines
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-4/+3
* inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases...Robert Dewar2007-08-141-18/+42
* checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in which the...Javier Miranda2007-06-061-6/+27
* checks.ads, checks.adb (Selected_Range_Checks): No range check is required fo...Thomas Quinot2007-04-061-1/+7
* treepr.adb: Use new subtype N_Membership_TestRobert Dewar2006-10-311-14/+21
* a-secain.adb, [...]: Minor reformattingRobert Dewar2005-11-151-2/+2
* Minor reformatting.Arnaud Charlet2005-09-051-108/+109
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* [multiple changes]Arnaud Charlet2004-06-071-1/+1
* [multiple changes]Arnaud Charlet2004-03-291-1/+4
* 3psoccon.ads, [...]: Files added.Arnaud Charlet2003-10-211-23/+132
* 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
* * checks.ads:Matthew Gingell2002-03-281-0/+5
* Delete all lines containing "$Revision:".Geoffrey Keating2002-03-141-1/+0
* s-stalib.adb: Add more comments on with statements being neededGeert Bosch2001-12-121-1/+8
* New Language: AdaRichard Kenner2001-10-021-0/+526