aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2011-08-02[multiple changes]Arnaud Charlet1-4/+4
2011-08-02sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ...Yannick Moy1-4/+4
2011-08-02sem_res.adb: Protect calls to Matching_Static_Array_Bounds which might be cos...Yannick Moy1-4/+20
2011-08-02sem_aggr.adb (Resolve_Array_Aggregate): when copying the expression in an ass...Ed Schonberg1-2/+3
2011-08-02einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ...Yannick Moy1-14/+25
2011-08-02sem_aggr.adb, [...]: cleanup of SPARK modeYannick Moy1-33/+33
2011-08-02[multiple changes]Arnaud Charlet1-6/+6
2011-08-02[multiple changes]Arnaud Charlet1-1/+39
2011-08-02[multiple changes]Arnaud Charlet1-16/+17
2011-08-02[multiple changes]Arnaud Charlet1-13/+21
2011-08-02[multiple changes]Arnaud Charlet1-2/+3
2011-08-02[multiple changes]Arnaud Charlet1-0/+16
2011-08-02[multiple changes]Arnaud Charlet1-4/+6
2011-08-02[multiple changes]Arnaud Charlet1-3/+2
2011-08-02par-ch6.adb: Correct obsolete name in commentsYannick Moy1-16/+70
2011-08-02exp_util.adb (Safe_Prefixed_Reference): Do not consider safe an in-mode param...Javier Miranda1-2/+2
2011-08-02sem_ch3.adb, [...]: Minor reformatting.Robert Dewar1-0/+1
2011-08-02[multiple changes]Arnaud Charlet1-0/+6
2011-08-02[multiple changes]Arnaud Charlet1-30/+64
2011-08-02sem_res.adb: Minor reformatting.Robert Dewar1-178/+174
2011-08-02[multiple changes]Arnaud Charlet1-69/+73
2011-08-02Minor reformatting.Arnaud Charlet1-2/+2
2011-08-02errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues...Yannick Moy1-56/+44
2011-08-02[multiple changes]Arnaud Charlet1-3/+7
2011-08-02sem_ch8.adb: Minor code reorganization, comment updates.Robert Dewar1-76/+13
2011-08-02[multiple changes]Arnaud Charlet1-41/+162
2011-08-02[multiple changes]Arnaud Charlet1-0/+51
2011-08-01sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq...Robert Dewar1-0/+33
2011-08-01[multiple changes]Arnaud Charlet1-0/+1
2010-12-20Fix typos in gcc/ada.Ralf Wildenhues1-2/+2
2010-10-26[multiple changes]Arnaud Charlet1-1/+5
2010-10-26sem_res.adb, xsinfo.adb: Minor reformatting.Robert Dewar1-2/+2
2010-10-26[multiple changes]Arnaud Charlet1-4/+6
2010-10-26[multiple changes]Arnaud Charlet1-20/+32
2010-10-26[multiple changes]Arnaud Charlet1-6/+0
2010-10-25[multiple changes]Arnaud Charlet1-8/+15
2010-10-22sem_case.adb, [...] (Bad_Predicated_Subtype_Use): Change order of parameters.Robert Dewar1-1/+1
2010-10-22[multiple changes]Arnaud Charlet1-1/+10
2010-10-21sem_res.adb, [...]: Minor reformatting.Thomas Quinot1-2/+2
2010-10-21einfo.ads, einfo.adb: Add handling of predicates.Robert Dewar1-0/+13
2010-10-21a-cgaaso.ads, [...]: Minor reformattingRobert Dewar1-1/+1
2010-10-21[multiple changes]Arnaud Charlet1-3/+3
2010-10-19[multiple changes]Arnaud Charlet1-0/+16
2010-10-19[multiple changes]Arnaud Charlet1-4/+16
2010-10-19[multiple changes]Arnaud Charlet1-27/+27
2010-10-18[multiple changes]Arnaud Charlet1-1/+8
2010-10-18[multiple changes]Arnaud Charlet1-0/+4
2010-10-18[multiple changes]Arnaud Charlet1-7/+8
2010-10-18einfo.ads, einfo.adb: New attribute PPC_Wrapper for entries and entry families.Ed Schonberg1-0/+23
2010-10-11[multiple changes]Arnaud Charlet1-8/+18