[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 2925c84..f11f78b 100644 (file)
--- 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 (file)
--- 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);