aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2013-04-23sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr...Ed Schonberg1-1/+1
2013-04-12[multiple changes]Arnaud Charlet1-1/+1
2013-04-12[multiple changes]Arnaud Charlet1-3/+3
2013-04-12[multiple changes]Arnaud Charlet1-0/+11
2013-04-11check.ads, [...] (Install_Null_Excluding_Check): No check in interface thunks...Javier Miranda1-0/+7
2013-04-11[multiple changes]Arnaud Charlet1-1/+3
2013-04-11[multiple changes]Arnaud Charlet1-7/+12
2013-02-06[multiple changes]Arnaud Charlet1-6/+6
2013-02-06[multiple changes]Arnaud Charlet1-4/+14
2013-01-04[multiple changes]Arnaud Charlet1-9/+32
2013-01-04[multiple changes]Arnaud Charlet1-0/+17
2013-01-03[multiple changes]Arnaud Charlet1-4/+10
2013-01-02checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.Robert Dewar1-28/+42
2013-01-02[multiple changes]Arnaud Charlet1-25/+26
2012-12-05[multiple changes]Arnaud Charlet1-2/+4
2012-12-05gnat_rm.texi: Update overflow description.Robert Dewar1-31/+31
2012-11-06checks.ads, [...]: Minor changes throughout for new overflow checking.Robert Dewar1-139/+176
2012-10-29[multiple changes]Arnaud Charlet1-4/+5
2012-10-05[multiple changes]Arnaud Charlet1-134/+69
2012-10-05checks.adb, [...]: Minor reformatting.Robert Dewar1-4/+3
2012-10-05[multiple changes]Arnaud Charlet1-68/+66
2012-10-04checks.adb (Minimize_Eliminate_Overflow_Checks): Dont reanalyze if/case expre...Robert Dewar1-35/+57
2012-10-03[multiple changes]Arnaud Charlet1-6/+10
2012-10-03[multiple changes]Arnaud Charlet1-6/+5
2012-10-03[multiple changes]Arnaud Charlet1-6/+6
2012-10-02[multiple changes]Arnaud Charlet1-44/+166
2012-10-02par_sco.adb, [...]: Change name Conditional_Expression to If_Expression.Robert Dewar1-15/+15
2012-10-02checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed): New name for Apply...Robert Dewar1-32/+232
2012-10-02exp_ch7.adb, [...]: Minor reformatting.Robert Dewar1-18/+18
2012-10-02[multiple changes]Arnaud Charlet1-2/+6
2012-10-02[multiple changes]Arnaud Charlet1-44/+159
2012-10-02[multiple changes]Arnaud Charlet1-18/+57
2012-10-01[multiple changes]Arnaud Charlet1-0/+17
2012-10-01[multiple changes]Arnaud Charlet1-47/+329
2012-10-01[multiple changes]Arnaud Charlet1-31/+121
2012-10-01checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Handle case of a...Robert Dewar1-0/+6
2012-10-01checks.adb: Improve warning message.Ed Schonberg1-3/+12
2012-10-01[multiple changes]Arnaud Charlet1-2/+2
2012-10-01[multiple changes]Arnaud Charlet1-23/+53
2012-10-01[multiple changes]Arnaud Charlet1-22/+662
2012-10-01[multiple changes]Arnaud Charlet1-0/+7
2012-10-01a-catizo.adb, [...]: Minor reformatting.Arnaud Charlet1-27/+22
2012-10-01[multiple changes]Arnaud Charlet1-0/+7
2012-10-01[multiple changes]Arnaud Charlet1-1/+6
2012-10-01[multiple changes]Arnaud Charlet1-8/+33
2012-10-01[multiple changes]Arnaud Charlet1-273/+149
2012-10-01[multiple changes]Arnaud Charlet1-15/+12
2012-10-01[multiple changes]Arnaud Charlet1-7/+13
2012-10-01[multiple changes]Arnaud Charlet1-0/+347
2012-08-06[multiple changes]Arnaud Charlet1-16/+19