diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-08 15:08:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-08 15:08:03 +0200 |
| commit | 40f07b4b4115a45be68ff6032418fa17893785f2 (patch) | |
| tree | 8371dc9ed8ece70c4cf74806eae0eace83decc59 /gcc/ada/exp_ch7.adb | |
| parent | af31bffbb0630674cfc3cacb2fb21aa6bfd1fb26 (diff) | |
| download | gcc-40f07b4b4115a45be68ff6032418fa17893785f2.zip gcc-40f07b4b4115a45be68ff6032418fa17893785f2.tar.gz gcc-40f07b4b4115a45be68ff6032418fa17893785f2.tar.bz2 | |
[multiple changes]
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.
From-SVN: r165175
Diffstat (limited to 'gcc/ada/exp_ch7.adb')
| -rw-r--r-- | gcc/ada/exp_ch7.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index c299dc1..2b7d901 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -392,7 +392,7 @@ package body Exp_Ch7 is Typ => Typ, Stmts => Make_Deep_Array_Body (Initialize_Case, Typ))); - if not Is_Inherently_Limited_Type (Typ) then + if not Is_Immutably_Limited_Type (Typ) then Set_TSS (Typ, Make_Deep_Proc ( Prim => Adjust_Case, @@ -502,7 +502,7 @@ package body Exp_Ch7 is Typ => Typ, Stmts => Make_Deep_Record_Body (Initialize_Case, Typ))); - if not Is_Inherently_Limited_Type (Typ) then + if not Is_Immutably_Limited_Type (Typ) then Set_TSS (Typ, Make_Deep_Proc ( Prim => Adjust_Case, @@ -2725,7 +2725,7 @@ package body Exp_Ch7 is Res : constant List_Id := New_List; begin - if Is_Inherently_Limited_Type (Typ) then + if Is_Immutably_Limited_Type (Typ) then Controller_Typ := RTE (RE_Limited_Record_Controller); else Controller_Typ := RTE (RE_Record_Controller); |