[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 2925c84508102e701f6a0a3ac16fa9f915dd5b69..f11f78b78225bcc7fae4ea24a32e3409c2523fb7 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 a82c2bca23d165b3defab0b276af527f82c7e59a..ec8626611208879a7151cca7107b1f324bcfb5d8 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);