aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.ads
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-08-21[Ada] Enumeration types with non-standard representationJavier Miranda1-8/+10
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-05-02[multiple changes]Arnaud Charlet1-3/+7
2017-05-02Minor reformatting.Arnaud Charlet1-1/+1
2017-05-02[multiple changes]Arnaud Charlet1-1/+7
2017-04-27[multiple changes]Arnaud Charlet1-1/+7
2017-01-06exp_ch5.adb (Get_Default_Iterator): For a derived type...Ed Schonberg1-4/+9
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2015-11-12sem_ch13.adb (Analyze_Attribute_Definition_Clause): For a variable, if this i...Eric Botcazou1-1/+1
2015-05-12sem_ch9.adb, [...]: Minor reformatting.Robert Dewar1-5/+5
2015-01-06[multiple changes]Arnaud Charlet1-1/+1
2014-10-23[multiple changes]Arnaud Charlet1-2/+4
2014-10-23[multiple changes]Arnaud Charlet1-8/+32
2014-08-04[multiple changes]Arnaud Charlet1-4/+13
2014-07-31[multiple changes]Arnaud Charlet1-1/+3
2014-07-30[multiple changes]Arnaud Charlet1-1/+3
2014-07-30[multiple changes]Arnaud Charlet1-0/+13
2014-07-30[multiple changes]Arnaud Charlet1-3/+3
2014-07-29[multiple changes]Arnaud Charlet1-2/+1
2014-07-29sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...Robert Dewar1-6/+13
2014-07-17back_end.adb: Minor reformatting and comment additions.Robert Dewar1-0/+1
2014-07-16[multiple changes]Arnaud Charlet1-0/+1
2014-06-13[multiple changes]Arnaud Charlet1-1/+49
2013-04-24[multiple changes]Arnaud Charlet1-1/+2
2013-01-03[multiple changes]Arnaud Charlet1-2/+5
2012-12-05[multiple changes]Arnaud Charlet1-0/+2
2012-12-05gnat_rm.texi: Update overflow description.Robert Dewar1-1/+1
2012-11-06checks.ads, [...]: Minor changes throughout for new overflow checking.Robert Dewar1-22/+23
2012-10-05checks.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2012-10-05[multiple changes]Arnaud Charlet1-8/+8
2012-10-02[multiple changes]Arnaud Charlet1-1/+1
2012-10-02par_sco.adb, [...]: Change name Conditional_Expression to If_Expression.Robert Dewar1-1/+1
2012-10-02checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed): New name for Apply...Robert Dewar1-7/+8
2012-10-02[multiple changes]Arnaud Charlet1-3/+9
2012-10-02[multiple changes]Arnaud Charlet1-3/+14
2012-10-01[multiple changes]Arnaud Charlet1-6/+7
2012-10-01[multiple changes]Arnaud Charlet1-9/+114
2012-10-01[multiple changes]Arnaud Charlet1-13/+3
2012-10-01[multiple changes]Arnaud Charlet1-12/+12
2012-10-01[multiple changes]Arnaud Charlet1-1/+16
2011-10-24[multiple changes]Arnaud Charlet1-14/+15
2010-12-20Fix typos in gcc/ada.Ralf Wildenhues1-1/+1
2010-10-21einfo.ads, einfo.adb: Add handling of predicates.Robert Dewar1-5/+10
2009-04-20[multiple changes]Arnaud Charlet1-2/+4
2009-04-17[multiple changes]Arnaud Charlet1-3/+3
2009-04-08[multiple changes]Arnaud Charlet1-5/+5
2009-04-07checks.adb (Determine_Range): Add Assume_Valid parameterRobert Dewar1-5/+9
2008-08-05checks.ads: Minor comment fixBob Duff1-1/+1
2008-07-31checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.Gary Dismukes1-1/+5