From: Bob Duff <duff@adacore.com>
Date: Thu, 4 Jul 2019 08:06:25 +0000 (+0000)
Subject: [Ada] Do not create a master unless Tasking_Allowed
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b27f2c40019569ba7c4d7e38edb3e2ebcd0593c6;p=gcc.git

[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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2925c845081..f11f78b7822 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 a82c2bca23d..ec862661120 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);