aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2019-07-04 08:06:25 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2019-07-04 08:06:25 +0000
commitb27f2c40019569ba7c4d7e38edb3e2ebcd0593c6 (patch)
tree4b592d30aa79eaf653a8d6e146d705b84ae20d66
parentdd4d8a71980487ddb4ac6c1ad0a1b8fb6c143592 (diff)
downloadgcc-b27f2c40019569ba7c4d7e38edb3e2ebcd0593c6.zip
gcc-b27f2c40019569ba7c4d7e38edb3e2ebcd0593c6.tar.gz
gcc-b27f2c40019569ba7c4d7e38edb3e2ebcd0593c6.tar.bz2
[Ada] Do not create a master unless Tasking_Allowed
2019-07-04 Bob Duff <duff@adacore.com> gcc/ada/ * sem_ch3.adb (Access_Definition): Do not create a master unless Tasking_Allowed. Otherwise, this fails on restricted runtimes. From-SVN: r273060
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/sem_ch3.adb1
2 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2925c84..f11f78b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-04 Bob Duff <duff@adacore.com>
+
+ * sem_ch3.adb (Access_Definition): Do not create a master unless
+ Tasking_Allowed. Otherwise, this fails on restricted runtimes.
+
2019-07-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Propagate_DIC_Attributes): Do not propagate the
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index a82c2bc..ec86266 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -935,6 +935,7 @@ package body Sem_Ch3 is
then
if Is_Limited_Record (Desig_Type)
and then Is_Class_Wide_Type (Desig_Type)
+ and then Tasking_Allowed
then
Build_Class_Wide_Master (Anon_Type);