aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2010-10-26[multiple changes]Arnaud Charlet1-4/+4
2010-10-22[multiple changes]Arnaud Charlet1-0/+9
2010-10-22Make-lang.in: Remove ttypef.adsGeert Bosch1-2/+2
2010-10-22checks.adb (Apply_Predicate_Check): Remove attempt at optimization when subty...Robert Dewar1-3/+1
2010-10-21einfo.ads, einfo.adb: Add handling of predicates.Robert Dewar1-1/+20
2010-10-19[multiple changes]Arnaud Charlet1-1/+1
2010-10-11par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type).Bob Duff1-3/+3
2010-10-05[multiple changes]Arnaud Charlet1-1/+1
2010-10-05[multiple changes]Arnaud Charlet1-3/+3
2010-10-04[multiple changes]Arnaud Charlet1-9/+0
2010-09-10[multiple changes]Arnaud Charlet1-3/+3
2010-09-10[multiple changes]Arnaud Charlet1-0/+11
2010-09-09impunit.adb: Add entry for a-izteio.Robert Dewar1-0/+9
2010-09-09[multiple changes]Arnaud Charlet1-4/+9
2010-06-23[multiple changes]Arnaud Charlet1-22/+20
2010-06-23[multiple changes]Arnaud Charlet1-0/+8
2010-06-21[multiple changes]Arnaud Charlet1-0/+1
2010-06-21checks.adb: Add comments.Thomas Quinot1-1/+6
2010-06-21[multiple changes]Arnaud Charlet1-119/+42
2010-06-21[multiple changes]Arnaud Charlet1-1/+1
2010-06-18par-ch9.adb, [...]: Update comments.Arnaud Charlet1-2/+2
2010-06-18checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c...Robert Dewar1-5/+17
2010-06-17checks.adb, [...]: Minor code reorganization.Robert Dewar1-9/+3
2010-06-14[multiple changes]Arnaud Charlet1-2/+2
2010-06-14sem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call...Ed Schonberg1-2/+22
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
generated by cgit v1.1 at 2024-11-03 03:07:24 +0000