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
This commit is contained in:
Eric Botcazou 2017-05-02 09:08:28 +00:00 committed by Arnaud Charlet
parent d6fd1f07ac
commit f934fd02a0
2 changed files with 6 additions and 3 deletions

View File

@ -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.

View File

@ -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;