aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2009-10-27[multiple changes]Arnaud Charlet1-1/+1
2009-10-27[multiple changes]Arnaud Charlet1-1/+8
2009-07-27[multiple changes]Arnaud Charlet1-2/+1
2009-07-23checks.adb (Apply_Arithmetic_Overflow_Check): Add comments cross-referencing ...Robert Dewar1-0/+7
2009-07-20[multiple changes]Arnaud Charlet1-1/+2
2009-07-13checks.adb (Selected_Range_Checks): Do not consider that a non-static integer...Eric Botcazou1-28/+65
2009-07-11checks.adb (Apply_Address_Clause_Check): Remove Size_Warning_Output local var...Eric Botcazou1-83/+25
2009-07-10exp_util.adb: Minor code reorganization (use N_Short_Circuit)Robert Dewar1-17/+40
2009-07-09[multiple changes]Arnaud Charlet1-6/+5
2009-07-09[multiple changes]Arnaud Charlet1-0/+4
2009-07-07checks.adb (Generate_Range_Check): Replace type conversions with unchecked co...Gary Dismukes1-3/+9
2009-06-19[multiple changes]Arnaud Charlet1-5/+10
2009-06-19[multiple changes]Arnaud Charlet1-1/+1
2009-06-19[multiple changes]Arnaud Charlet1-5/+17
2009-04-15[multiple changes]Arnaud Charlet1-0/+5
2009-04-092009-04-09 Robert Dewar <dewar@adacore.com>Robert Dewar1-1/+11
2009-04-09sem_aggr.adb, [...]: Reorganize einfo/sem_aux, moving routines from einfo to ...Robert Dewar1-0/+1
2009-04-08[multiple changes]Arnaud Charlet1-1/+8
2009-04-08[multiple changes]Arnaud Charlet1-1/+2
2009-04-07checks.adb: Remove Assume_Valid parameter from In_Subrange_Of callsRobert Dewar1-14/+6
2009-04-07checks.adb (Determine_Range): Add Assume_Valid parameterRobert Dewar1-37/+64
2008-09-14a-crbtgk.adb, [...]: Fix typos in comments.Ralf Wildenhues1-2/+2
2008-08-22checks.adb (Determine_Range): Deal with values that might be invalidArnaud Charlet1-3/+2
2008-08-222008-08-22 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-7/+28
2008-08-05checks.adb: Minor reformattingRobert Dewar1-1/+1
2008-08-04sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support for N_For...Javier Miranda1-9/+15
2008-08-01checks.adb (Apply_Float_Conversion_Check): If the expression to be converted ...Ed Schonberg1-1/+26
2008-07-31checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.Gary Dismukes1-2/+6
2008-05-20checks.adb (Apply_Arithmetic_Overflow_Check): Avoid intermediate overflow if ...Robert Dewar1-102/+211
2008-04-14vms_data.ads: Fix typo in constant.Ralf Wildenhues1-1/+1
2008-04-08a-tags.adb (Register_Interface_Offset): New subprogram.Javier Miranda1-21/+42
2008-03-26checks.adb (Ensure_Valid): Capture valid status if possible (eliminate checks)Robert Dewar1-2/+8
2008-03-249drpc.adb, [...]: Fix comment typos.Ralf Wildenhues1-1/+1
2007-12-19atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate the res...Bob Duff1-9/+5
2007-12-13checks.adb: Fix optimization problem with short-circuited formRobert Dewar1-10/+30
2007-10-15s-taprop-solaris.adb, [...]: Minor reformatting.Robert Dewar1-10/+8
2007-09-26checks.adb, [...]: Improve warnings for address overlays.Robert Dewar1-0/+2
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-4/+3
2007-08-31checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.Hristian Kirtchev1-3/+95
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