[Ada] Raise expressions and unconstrained components

gcc/ada/

	* sem_ch3.adb (Analyze_Component_Declaration): Do not special
	case raise expressions.

gcc/testsuite/

	* gnat.dg/limited4.adb: Disable illegal code.

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 03280e5244e8ef774cca663069e1487d3f026636..c6687b51c3bb2f716c88520c0db04a9fb54fd1f9 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -2083,21 +2083,10 @@ package body Sem_Ch3 is
          end if;
       end if;
 
-      --  Avoid reporting spurious errors if the component is initialized with
-      --  a raise expression (which is legal in any expression context)
-
-      if Present (E)
-        and then
-          (Nkind (E) = N_Raise_Expression
-             or else (Nkind (E) = N_Qualified_Expression
-                        and then Nkind (Expression (E)) = N_Raise_Expression))
-      then
-         null;
-
       --  The parent type may be a private view with unknown discriminants,
       --  and thus unconstrained. Regular components must be constrained.
 
-      elsif not Is_Definite_Subtype (T)
+      if not Is_Definite_Subtype (T)
         and then Chars (Id) /= Name_uParent
       then
          if Is_Class_Wide_Type (T) then

diff --git a/gcc/testsuite/gnat.dg/limited4.adb b/gcc/testsuite/gnat.dg/limited4.adb
index 1a8ec97f91c85b9649e569be967b8d9cb369a548..2a22a2c1b3fe6bef002882ac610c2adc287860ca 100644 (file)
--- a/gcc/testsuite/gnat.dg/limited4.adb
+++ b/gcc/testsuite/gnat.dg/limited4.adb
@@ -22,11 +22,12 @@ procedure Limited4 is
     Obj2 : Lim_Tagged'Class := Lim_Tagged'Class'(raise TBD_Error);
 
     --  b) initialization expression of a CW component_declaration
-
-    type Rec is record
-       Comp01 : Lim_Tagged'Class := (raise TBD_Error);
-       Comp02 : Lim_Tagged'Class := Lim_Tagged'Class'((raise TBD_Error));
-    end record;
+    --  ... is illegal: cannot have unconstrained components.
+    --
+    --  type Rec is record
+    --     Comp01 : Lim_Tagged'Class := (raise TBD_Error);
+    --     Comp02 : Lim_Tagged'Class := Lim_Tagged'Class'((raise TBD_Error));
+    --  end record;
 
     --  c) the expression of a record_component_association
 
@@ -55,4 +56,4 @@ procedure Limited4 is
 begin
     Check := Do_Test1 (raise TBD_Error);
     Check := Do_Test2;
-end;
\ No newline at end of file
+end;