aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.ads
AgeCommit message (Expand)AuthorFilesLines
2010-12-20Fix typos in gcc/ada.Ralf Wildenhues1-1/+1
2010-10-21einfo.ads, einfo.adb: Add handling of predicates.Robert Dewar1-5/+10
2009-04-20[multiple changes]Arnaud Charlet1-2/+4
2009-04-17[multiple changes]Arnaud Charlet1-3/+3
2009-04-08[multiple changes]Arnaud Charlet1-5/+5
2009-04-07checks.adb (Determine_Range): Add Assume_Valid parameterRobert Dewar1-5/+9
2008-08-05checks.ads: Minor comment fixBob Duff1-1/+1
2008-07-31checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.Gary Dismukes1-1/+5
2008-04-08a-tags.adb (Register_Interface_Offset): New subprogram.Javier Miranda1-2/+2
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-4/+3
2007-08-14inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases...Robert Dewar1-18/+42
2007-06-06checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in which the...Javier Miranda1-6/+27
2007-04-06checks.ads, checks.adb (Selected_Range_Checks): No range check is required fo...Thomas Quinot1-1/+7
2006-10-31treepr.adb: Use new subtype N_Membership_TestRobert Dewar1-14/+21
2005-11-15a-secain.adb, [...]: Minor reformattingRobert Dewar1-2/+2
2005-09-05Minor reformatting.Arnaud Charlet1-108/+109
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2004-06-07[multiple changes]Arnaud Charlet1-1/+1
2004-03-29[multiple changes]Arnaud Charlet1-1/+4
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-23/+132
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-28* checks.ads:Matthew Gingell1-0/+5
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2001-12-12s-stalib.adb: Add more comments on with statements being neededGeert Bosch1-1/+8
2001-10-02New Language: AdaRichard Kenner1-0/+526
generated by cgit v1.1 at 2024-11-02 16:37:13 +0000