aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch3.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2013-07-08 09:48:51 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2013-07-08 09:48:51 +0200
commita35017dc7c9a53c40a1ee4bf1db269228e0faebf (patch)
tree0aabec0f495ba5b64ebfecc82e6f9436970717de /gcc/ada/exp_ch3.adb
parent9e40f163c2948dd7550cbda5de582e84623e767b (diff)
downloadgcc-a35017dc7c9a53c40a1ee4bf1db269228e0faebf.zip
gcc-a35017dc7c9a53c40a1ee4bf1db269228e0faebf.tar.gz
gcc-a35017dc7c9a53c40a1ee4bf1db269228e0faebf.tar.bz2
[multiple changes]
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Freeze_Type): Generate a subpools-related accessibility check only on profiles that include the corresponding library unit. 2013-07-08 Gary Dismukes <dismukes@adacore.com> * sem_ch8.adb: Minor typo fixes. From-SVN: r200757
Diffstat (limited to 'gcc/ada/exp_ch3.adb')
-rw-r--r--gcc/ada/exp_ch3.adb8
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 160b92d..df1935c 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -7284,11 +7284,17 @@ package body Exp_Ch3 is
-- When compiling in Ada 2012 mode, ensure that the accessibility
-- level of the subpool access type is not deeper than that of the
-- pool_with_subpools. This check is not performed on .NET/JVM
- -- since those targets do not support pools.
+ -- since these targets do not support pools. The check is omitted
+ -- on profiles that lack package System.Storage_Pools.Subpools.
elsif Ada_Version >= Ada_2012
and then Present (Associated_Storage_Pool (Def_Id))
and then VM_Target = No_VM
+
+ -- ??? Temporary workaround until restriction No_Storage_Pools
+ -- is implemented.
+
+ and then RTE_Available (RE_Root_Storage_Pool_With_Subpools)
then
declare
Loc : constant Source_Ptr := Sloc (Def_Id);