diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 16:49:52 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 16:49:52 +0200 |
commit | f553e7bc12de8a7d47f51cc5ea0c3d2a22de487e (patch) | |
tree | 59d55631d2c1913cb618b2b073968fcf83a2a2fc /gcc/ada/exp_ch4.adb | |
parent | 78277376769b518b84f67ccc852af06d1842bad3 (diff) | |
download | gcc-f553e7bc12de8a7d47f51cc5ea0c3d2a22de487e.zip gcc-f553e7bc12de8a7d47f51cc5ea0c3d2a22de487e.tar.gz gcc-f553e7bc12de8a7d47f51cc5ea0c3d2a22de487e.tar.bz2 |
[multiple changes]
2011-08-03 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch13.adb: Add with and use clauses for Restrict and Rident.
(Expand_N_Free_Statement): Add a guard to protect against run-times
which do not support controlled types.
* exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Add a guard to protect
against run-times which do not support controlled types.
* exp_ch4.adb (Complete_Controlled_Allocation): Add a guard to protect
against run-times which do not support controlled types.
* exp_ch7.adb (Build_Finalization_Collection): Add a guard to protect
against run-times which do not support controlled types.
* exp_util.adb (Needs_Finalization): Code reformatting. Add a guard to
protect against run-times which do not support controlled types.
2011-08-03 Eric Botcazou <ebotcazou@adacore.com>
* exp_intr.adb: Put back with and use clauses for Exp_Ch11.
(Expand_Unc_Deallocation): Expand the AT_END handler at the very end.
From-SVN: r177280
Diffstat (limited to 'gcc/ada/exp_ch4.adb')
-rw-r--r-- | gcc/ada/exp_ch4.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index fb7f3b0..58516cd 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -427,9 +427,15 @@ package body Exp_Ch4 is -- Start of processing for Complete_Controlled_Allocation begin + -- Certain run-time configurations and targets do not provide support + -- for controlled types. + + if Restriction_Active (No_Finalization) then + return; + -- Do nothing if the access type may never allocate an object - if No_Pool_Assigned (Ptr_Typ) then + elsif No_Pool_Assigned (Ptr_Typ) then return; -- Access-to-controlled types are not supported on .NET/JVM |