sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect specfications…

sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect specfications from original type declaration to declaration of...

2014-10-17  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect
	specfications from original type declaration to declaration of
	implicit base, because original node is rewritten as a subtype
	declaration on which type aspects do not belong.

From-SVN: r216373

gcc/ada/ChangeLog

+2014-10-17  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate aspect
+	specfications from original type declaration to declaration of
+	implicit base, because original node is rewritten as a subtype
+	declaration on which type aspects do not belong.
+
 2014-10-17  Hristian Kirtchev  <kirtchev@adacore.com>
 
 	* sem_ch3.adb (Propagate_Default_Init_Cond_Attributes): A derived type

gcc/ada/sem_ch3.adb

@@ -6364,6 +6364,11 @@ package body Sem_Ch3 is
 
          Analyze (N);
 
+         --  Propagate the aspects from the original type declaration to the
+         --  declaration of the implicit base.
+
+         Move_Aspects (From => Original_Node (N), To => Type_Decl);
+
          --  Apply a range check. Since this range expression doesn't have an
          --  Etype, we have to specifically pass the Source_Typ parameter. Is
          --  this right???