aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch9.adb
AgeCommit message (Expand)AuthorFilesLines
2013-01-02errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if...Robert Dewar1-16/+16
2012-11-06[multiple changes]Arnaud Charlet1-1/+3
2012-11-06[multiple changes]Arnaud Charlet1-13/+38
2012-11-06sem_ch9.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2012-11-06[multiple changes]Arnaud Charlet1-0/+14
2012-10-04[multiple changes]Arnaud Charlet1-3/+5
2012-10-01[multiple changes]Arnaud Charlet1-0/+12
2012-08-06re PR ada/54125 (s-atopri.adb:40:10: "Support_Atomic_Primitives" is undefined...Vincent Pucci1-34/+12
2012-08-06[multiple changes]Arnaud Charlet1-3/+3
2012-08-06[multiple changes]Arnaud Charlet1-38/+49
2012-07-30[multiple changes]Arnaud Charlet1-3/+10
2012-07-30par_sco.adb, [...]: Minor reformatting.Robert Dewar1-13/+13
2012-07-30sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit dereferences...Vincent Pucci1-4/+7
2012-07-23[multiple changes]Arnaud Charlet1-51/+224
2012-07-12[multiple changes]Arnaud Charlet1-5/+3
2012-07-12[multiple changes]Arnaud Charlet1-16/+22
2012-07-12[multiple changes]Arnaud Charlet1-0/+3
2012-07-09[multiple changes]Arnaud Charlet1-1/+62
2012-07-09[multiple changes]Arnaud Charlet1-16/+15
2012-07-09[multiple changes]Arnaud Charlet1-174/+206
2012-07-09[multiple changes]Arnaud Charlet1-2/+5
2012-06-14[multiple changes]Arnaud Charlet1-30/+107
2012-06-12[multiple changes]Arnaud Charlet1-4/+87
2012-05-15[multiple changes]Arnaud Charlet1-2/+2
2012-05-15exp_ch9.adb, [...]: Minor reformatting.Robert Dewar1-12/+10
2012-05-15[multiple changes]Arnaud Charlet1-4/+371
2012-01-23[multiple changes]Arnaud Charlet1-4/+15
2011-12-02[multiple changes]Arnaud Charlet1-2/+2
2011-11-23[multiple changes]Arnaud Charlet1-0/+6
2011-11-23[multiple changes]Arnaud Charlet1-2/+19
2011-11-23[multiple changes]Arnaud Charlet1-0/+54
2011-10-13[multiple changes]Arnaud Charlet1-11/+12
2011-10-13[multiple changes]Arnaud Charlet1-6/+12
2011-09-06[multiple changes]Arnaud Charlet1-1/+1
2011-09-05exp_ch6.adb (Build_In_Place_Formal): If extra formals are not present, create...Ed Schonberg1-3/+11
2011-08-31[multiple changes]Arnaud Charlet1-3/+0
2011-08-30[multiple changes]Arnaud Charlet1-11/+3
2011-08-30[multiple changes]Arnaud Charlet1-4/+17
2011-08-30[multiple changes]Arnaud Charlet1-0/+2
2011-08-30[multiple changes]Arnaud Charlet1-0/+1
2011-08-04gnat_rm.texi: Document new pragma and aspect.Yannick Moy1-0/+1
2011-08-04[multiple changes]Arnaud Charlet1-26/+0
2011-08-04[multiple changes]Arnaud Charlet1-26/+26
2011-08-04[multiple changes]Arnaud Charlet1-26/+26
2011-08-02[multiple changes]Arnaud Charlet1-26/+26
2011-08-02sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ...Yannick Moy1-26/+26
2011-08-02einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ...Yannick Moy1-0/+26
2011-08-02sem_aggr.adb, [...]: cleanup of SPARK modeYannick Moy1-13/+13
2011-08-02errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues...Yannick Moy1-101/+18
2011-08-02sem_ch12.adb, [...]: New calling sequence for Analyze_Aspect_SpecificationsRobert Dewar1-6/+19