aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2014-06-11[multiple changes]Arnaud Charlet1-4/+4
2014-06-11[multiple changes]Arnaud Charlet1-3/+3
2014-05-21layout.adb: Minor reformatting.Robert Dewar1-6/+39
2014-05-21[multiple changes]Arnaud Charlet1-3/+1
2014-05-21freeze.adb (Freeze_Record_Type): Update the use of Is_SPARK_Volatile.Hristian Kirtchev1-10/+22
2014-05-21sem_ch13.adb: Minor reformatting.Robert Dewar1-1/+1
2014-05-21[multiple changes]Arnaud Charlet1-0/+9
2014-05-21[multiple changes]Arnaud Charlet1-1/+1
2014-05-21[multiple changes]Arnaud Charlet1-2/+4
2014-05-21[multiple changes]Arnaud Charlet1-36/+62
2014-05-21[multiple changes]Arnaud Charlet1-0/+10
2014-02-25rtsfind.adb (Is_RTE): Protect against entity with no scope field (previously ...Robert Dewar1-7/+47
2014-02-25[multiple changes]Arnaud Charlet1-0/+46
2014-02-25gnat_rm.texi: First set of documentation additions for predefined RM units.Robert Dewar1-2/+0
2014-02-25[multiple changes]Arnaud Charlet1-2/+3
2014-02-252014-02-25 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+61
2014-02-24sem_prag.adb (Analyze_Global_Item): Move the check concerning the use of vola...Hristian Kirtchev1-84/+148
2014-02-20[multiple changes]Arnaud Charlet1-132/+0
2014-02-20[multiple changes]Arnaud Charlet1-0/+39
2014-02-20[multiple changes]Arnaud Charlet1-0/+24
2014-02-20einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.Robert Dewar1-4/+4
2014-02-19[multiple changes]Arnaud Charlet1-1/+1
2014-02-19[multiple changes]Arnaud Charlet1-0/+74
2014-02-19par-ch9.adb, [...]: Minor reformatting.Robert Dewar1-30/+33
2014-02-19style.adb (Missing_Overriding): Warning does not apply in language versions p...Ed Schonberg1-0/+208
2014-02-18[multiple changes]Arnaud Charlet1-5/+44
2014-02-06sem_attr.adb (Analyze_Attribute, case Max): Check for improper comparison of ...Robert Dewar1-0/+16
2014-02-06[multiple changes]Arnaud Charlet1-0/+26
2014-02-06[multiple changes]Arnaud Charlet1-11/+14
2014-01-31[multiple changes]Arnaud Charlet1-15/+13
2014-01-29[multiple changes]Arnaud Charlet1-1/+6
2014-01-29sem_util.adb (Find_Placement_In_State_Space): Assume that the default placeme...Hristian Kirtchev1-1/+2
2014-01-29[multiple changes]Arnaud Charlet1-1/+1
2014-01-29sem_util.ads, [...] (In_Pragma_Expression): New function.Robert Dewar1-0/+19
2014-01-29sem_prag.adb (Check_Missing_Part_Of): List all values of State_Space_Kind for...Hristian Kirtchev1-5/+3
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-5/+5
2014-01-292014-01-29 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-35/+171
2014-01-27[multiple changes]Arnaud Charlet1-58/+63
2014-01-27[multiple changes]Arnaud Charlet1-1/+13
2014-01-27[multiple changes]Arnaud Charlet1-7/+61
2014-01-27gnat_ugn.texi: Add Short_Enums to documentation of -gnatet/-gnateT.Robert Dewar1-0/+19
2014-01-24[multiple changes]Arnaud Charlet1-1/+7
2014-01-24sem_util.adb, [...]: Correct false positive warnings.Robert Dewar1-1/+6
2014-01-24[multiple changes]Arnaud Charlet1-5/+33
2014-01-24[multiple changes]Arnaud Charlet1-0/+6
2014-01-23[multiple changes]Arnaud Charlet1-1/+7
2014-01-23[multiple changes]Arnaud Charlet1-42/+43
2014-01-23[multiple changes]Arnaud Charlet1-0/+42
2014-01-23[multiple changes]Arnaud Charlet1-8/+24
2014-01-21[multiple changes]Arnaud Charlet1-4/+201
generated by cgit v1.1 at 2025-08-07 16:05:56 +0000