aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2014-02-25[multiple changes]Arnaud Charlet1-15/+25
2014-02-20einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.Robert Dewar1-7/+7
2014-02-06exp_util.ads, [...]: Minor reformatting and code clean ups.Robert Dewar1-1/+1
2014-02-06[multiple changes]Arnaud Charlet1-19/+25
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-21/+21
2014-01-29checks.adb: minor clarification.Ed Schonberg1-2/+3
2014-01-29[multiple changes]Arnaud Charlet1-3/+12
2014-01-24[multiple changes]Arnaud Charlet1-16/+20
2014-01-22[multiple changes]Arnaud Charlet1-0/+4
2014-01-21[multiple changes]Arnaud Charlet1-69/+53
2014-01-21[multiple changes]Arnaud Charlet1-3/+3
2014-01-20[multiple changes]Arnaud Charlet1-1/+1
2014-01-20[multiple changes]Arnaud Charlet1-16/+32
2014-01-20gnat_rm.texi (Allow_Integer_Address): Remove note about not allowed if addres...Robert Dewar1-13/+0
2014-01-20[multiple changes]Arnaud Charlet1-0/+13
2014-01-20[multiple changes]Arnaud Charlet1-2/+4
2014-01-20[multiple changes]Arnaud Charlet1-0/+12
2014-01-20sem_aggr.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-01-20exp_spark.adb (Expand_SPARK_Call): Remove procedure.Yannick Moy1-11/+11
2013-10-17exp_util.adb (Get_Current_Value_Condition, [...]): Handle the case of express...Thomas Quinot1-0/+7
2013-10-15[multiple changes]Arnaud Charlet1-6/+35
2013-10-14exp_attr.adb (Expand_N_Attribute_Reference): Add error entry for Library_Leve...Robert Dewar1-3/+14
2013-07-05[multiple changes]Arnaud Charlet1-26/+99
2013-04-25[multiple changes]Arnaud Charlet1-2/+2
2013-04-25[multiple changes]Arnaud Charlet1-23/+4
2013-04-24[multiple changes]Arnaud Charlet1-14/+18
2013-04-24[multiple changes]Arnaud Charlet1-0/+9
2013-04-24[multiple changes]Arnaud Charlet1-0/+13
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
generated by cgit v1.1 at 2024-10-06 11:42:24 +0000