sem_ch3.adb (Build_Derived_Private_Type): If the parent type has discriminants...

2017-05-02  Eric Botcazou  <ebotcazou@adacore.com>

	* sem_ch3.adb (Build_Derived_Private_Type): If the parent type
	has discriminants, do not override the Stored_Constraint list of
	the full view of the derived type with that of the derived type.

From-SVN: r247481

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 77477d4d4177eed036874b4827800d86e63a37ef..30cd0b1b767f732e654bb42284b1bf93733e703b 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch3.adb (Build_Derived_Private_Type): If the parent type
+       has discriminants, do not override the Stored_Constraint list of
+       the full view of the derived type with that of the derived type.
+
 2017-05-02  Bob Duff  <duff@adacore.com>
 
        * sem_attr.adb (Attribute_Enum_Rep): Disallow T'Enum_Rep.

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b15ee3d49beb2271daaf20c4a865548dac620ccd..73c2f51f80103192a5edf4c68f4cccf513311adb 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -7797,9 +7797,6 @@ package body Sem_Ch3 is
                Set_Last_Entity (Der_Base, Last_Discr);
                Set_First_Entity (Derived_Type, First_Entity (Der_Base));
                Set_Last_Entity  (Derived_Type, Last_Entity  (Der_Base));
-
-               Set_Stored_Constraint
-                 (Full_Der, Stored_Constraint (Derived_Type));
             end;
          end if;