sem_ch3.adb (Analyze_Object_Declaration): If expression is an aggregate with static wrong size...

	* sem_ch3.adb (Analyze_Object_Declaration): If expression is an
	aggregate with static wrong size, attach generated Raise node to
	declaration.

From-SVN: r47685

gcc/ada/ChangeLog

+2001-12-05  Ed Schonberg <schonber@gnat.com>
+
+	* sem_ch3.adb (Analyze_Object_Declaration): If expression is an 
+	aggregate with static wrong size, attach generated Raise node to 
+	declaration.
+
 2001-12-05  Robert Dewar <dewar@gnat.com>
 
 	* sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. 

gcc/ada/sem_ch3.adb

@@ -1604,6 +1604,11 @@ package body Sem_Ch3 is
          if not Is_Constrained (T) then
             null;
 
+         elsif Nkind (E) = N_Raise_Constraint_Error then
+            --  Aggregate is statically illegal. Place back in declaration.
+            Set_Expression (N, E);
+            Set_No_Initialization (N, False);
+
          elsif T = Etype (E) then
             null;