aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2007-08-14inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases...Robert Dewar1-80/+173
2007-06-06checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in which the...Javier Miranda1-305/+122
2007-04-06checks.ads, checks.adb (Selected_Range_Checks): No range check is required fo...Thomas Quinot1-385/+382
2006-10-31treepr.adb: Use new subtype N_Membership_TestRobert Dewar1-202/+587
2006-02-15checks.adb (Build_Discriminant_Checks): If the expression being checks is an ...Ed Schonberg1-77/+115
2005-11-15re PR ada/18434 (Ada: cannot build gnattools on Tru64 UNIX V5.1B)Robert Dewar1-15/+35
2005-09-05checks.adb (Check_Needed): New procedure...Robert Dewar1-190/+228
2005-07-04checks.adb (Null_Exclusion_Static_Checks): In the case of N_Object_Declaratio...Gary Dismukes1-7/+11
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2005-06-16checks.adb (Install_Null_Excluding_Check): Do not generate checks for an attr...Ed Schonberg1-7/+49
2005-03-18checks.adb (Apply_Array_Size_Check): Completely remove this for GCC 3, since ...Robert Dewar1-122/+95
2005-03-15checks.adb (Get_E_First_Or_Last): When the expression being retrieved is an N...Thomas Quinot1-1/+11
2005-02-10g-zstspl.ads: New file.Robert Dewar1-10/+28
2005-01-03checks.adb (Apply_Alignment_Check): Generate a warning if an object address i...Arnaud Charlet1-17/+31
2004-10-27checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled...Ed Schonberg1-5/+18
2004-10-04exp_ch3.adb (Needs_Simple_Initialization): Modular packed arrays no longer ne...Robert Dewar1-3/+7
2004-09-13[multiple changes]Arnaud Charlet1-0/+1
2004-09-01[multiple changes]Arnaud Charlet1-5/+12
2004-08-09[multiple changes]Arnaud Charlet1-7/+26
2004-07-06[multiple changes]Arnaud Charlet1-4/+4
2004-06-28[multiple changes]Arnaud Charlet1-7/+0
2004-06-25revert: [multiple changes]Arnaud Charlet1-88/+145
2004-06-07[multiple changes]Arnaud Charlet1-10/+10
2004-05-14[multiple changes]Arnaud Charlet1-2/+1
2004-04-29[multiple changes]Arnaud Charlet1-0/+10
2004-04-19[multiple changes]Arnaud Charlet1-114/+364
2004-04-01[multiple changes]Arnaud Charlet1-52/+26
2004-03-29[multiple changes]Arnaud Charlet1-14/+208
2004-02-02[multiple changes]Arnaud Charlet1-2/+3
2004-01-05[multiple changes]Arnaud Charlet1-2/+5
2003-12-17[multiple changes]Arnaud Charlet1-1/+4
2003-11-14[multiple changes]Arnaud Charlet1-0/+20
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-222/+1672
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/+98
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2002-03-0841intnam.ads, [...]: Merge in ACT changes.Geert Bosch1-38/+66
2001-12-17ali.adb: Type reference does not reset current file.Geert Bosch1-13/+40
2001-12-11einfo.ads: Minor reformattingGeert Bosch1-0/+74
2001-12-11checks.adb (Insert_Valid_Check): Apply validity check to expression of conver...Geert Bosch1-19/+28
2001-12-05checks.adb (Determine_Range): Increase cache size for checks.Robert Dewar1-2/+2
2001-10-11einfo.adb (Write_Field19_Name): Body_Entity is also defined for a generic pac...Ed Schonberg1-4/+24
2001-10-02New Language: AdaRichard Kenner1-0/+4093