diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-08 13:08:03 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-08 13:08:03 +0000 |
| commit | 172f8d3a276e64512999788222f5e17094f08052 (patch) | |
| tree | 8371dc9ed8ece70c4cf74806eae0eace83decc59 /gcc/ada/sem_aux.ads | |
| parent | 9e555810ce3a72772cc223a42d293f349d5f2ef1 (diff) | |
| download | gcc-172f8d3a276e64512999788222f5e17094f08052.tar.gz | |
2010-10-08 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Check_Duplicate_Pragma): Check for entity match
* gcc-interface/Make-lang.in: Update dependencies.
* einfo.ads: Minor reformatting.
2010-10-08 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb, sem_ch3.adb, exp_ch7.adb, exp_util.adb, sem_aux.adb,
sem_aux.ads, exp_ch4.adb, exp_ch6.adb, sem_ch6.adb, exp_aggr.adb,
exp_ch3.adb: Change Is_Inherently_Limited_Type to
Is_Immutably_Limited_Type to accord with new RM terminology.
* sem_aux.adb (Is_Immutably_Limited_Type): A type that is a descendant
of a formal limited private type is not immutably limited in a generic
body.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165175 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rwxr-xr-x | gcc/ada/sem_aux.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 490f8e3d5d4..133788ea07d 100755 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -165,7 +165,7 @@ package Sem_Aux is -- discriminant values or a class wide type or subtype and returns True if -- so. False for other type entities, or any entities that are not types. - function Is_Inherently_Limited_Type (Ent : Entity_Id) return Boolean; + function Is_Immutably_Limited_Type (Ent : Entity_Id) return Boolean; -- Ent is any entity. True for a type that is "inherently" limited (i.e. -- cannot become nonlimited). From the Ada 2005 RM-7.5(8.1/2), "a type with -- a part that is of a task, protected, or explicitly limited record type". |