diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 13:54:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 13:54:29 +0000 |
| commit | d7e97115a5389da330e4092483544dd043428bcb (patch) | |
| tree | 0b88e4eff12d32b76d44fc67466e570f14688c6b /gcc/ada/exp_ch3.adb | |
| parent | d208a3b495cb50fea2d730314eba4e5fdfbf18b9 (diff) | |
| download | gcc-d7e97115a5389da330e4092483544dd043428bcb.tar.gz | |
2013-10-17 Ed Schonberg <schonberg@adacore.com>
* sem_aux.ads, sem_aux.adb (Is_Immutably_Limited_Type): Make
predicate compatible with Ada 2012 definition
(Is_Limited_View): New name for previous version of
Is_Immutably_Limited_Type. Predicate is true for an untagged
record type with a limited component.
* exp_ch7.adb, exp_ch6.adb, exp_ch4.adb, exp_ch3.adb, exp_aggr.adb,
sem_util.adb, sem_res.adb, sem_prag.adb, sem_attr.adb, sem_ch8.adb,
sem_ch6.adb, sem_ch3.adb, exp_util.adb: Use Is_Limited_View
* freeze.adb Use Is_Immutably_Limited_Type to check the legality
of references to the current instance, Is_Limited_View otherwise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203762 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch3.adb')
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index e7d0cb0ac21..f1ab0c5e765 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -1893,7 +1893,7 @@ package body Exp_Ch3 is if Needs_Finalization (Typ) and then not (Nkind_In (Kind, N_Aggregate, N_Extension_Aggregate)) - and then not Is_Immutably_Limited_Type (Typ) + and then not Is_Limited_View (Typ) then Append_To (Res, Make_Adjust_Call @@ -5310,7 +5310,7 @@ package body Exp_Ch3 is -- creating the object (via allocator) and initializing it. if Is_Return_Object (Def_Id) - and then Is_Immutably_Limited_Type (Typ) + and then Is_Limited_View (Typ) then null; @@ -5578,7 +5578,7 @@ package body Exp_Ch3 is -- renaming declaration. if Needs_Finalization (Typ) - and then not Is_Immutably_Limited_Type (Typ) + and then not Is_Limited_View (Typ) and then not Rewrite_As_Renaming then Insert_Action_After (Init_After, |