aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.ads
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] Improved checking for invalid index values when accessing array elementsSteve Baird1-4/+21
2021-07-08[Ada] Transient scope cleanupBob Duff1-1/+1
2021-07-07[Ada] Optimize away certain elaboration checksBob Duff1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-1/+0
2020-11-27[Ada] Optimize generation of checks for fixed-point typesEric Botcazou1-0/+15
2020-07-07[Ada] Move generation of range checks for entry families to expanderEric Botcazou1-10/+10
2020-06-19[Ada] Minor remove extra whitespace in check suppression functionsPiotr Trojanek1-17/+17
2020-06-19[Ada] Small cleanup in Apply_Range_Check implementationEric Botcazou1-9/+13
2020-06-17[Ada] Do not generate useless length check for array initializationEric Botcazou1-0/+9
2020-06-08[Ada] Remove the Has_Dynamic_Range_Check flagEric Botcazou1-14/+7
2020-06-05[Ada] Rename parameter of routines in ChecksEric Botcazou1-9/+3
2020-06-04[Ada] Update the documentation in checks.ads about range checksEric Botcazou1-25/+17
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-09-18[Ada] Fix spurious alignment warning on simple address clauseEric Botcazou1-2/+5
2019-08-20[Ada] Minor reformattingsGary Dismukes1-1/+1
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