[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172)

This patch adds support for the use of raise expressions in more
limited contexts (as described in the Ada Isssue AI12-0172).

2019-09-17  Javier Miranda  <miranda@adacore.com>

gcc/ada/

	* exp_ch3.adb (Build_Record_Init_Proc): Do not generate code to
	adjust the tag component when the record is initialized with a
	raise expression.
	* sem_aggr.adb (Valid_Limited_Ancestor): Return True for
	N_Raise_Expression nodes.
	(Valid_Ancestor_Type): Return True for raise expressions.
	* sem_ch3.adb (Analyze_Component_Declaration): Do not report an
	error when a component is initialized with a raise expression.
	* sem_ch4.adb (Analyze_Qualified_Expression): Do not report an
	error when the aggregate has a raise expression.

gcc/testsuite/

	* gnat.dg/limited4.adb: New testcase.

From-SVN: r275776

2 files changed, 62 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b701f9e..30c75df 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-09-17  Javier Miranda  <miranda@adacore.com>
+
+	* gnat.dg/limited4.adb: New testcase.
+
 2019-09-17  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/pack25.adb: New testcase.
diff --git a/gcc/testsuite/gnat.dg/limited4.adb b/gcc/testsuite/gnat.dg/limited4.adb
new file mode 100644
index 0000000..1a8ec97
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/limited4.adb
@@ -0,0 +1,58 @@
+--  { dg-do compile }
+procedure Limited4 is
+    TBD_Error : exception;
+
+    type Lim_Rec is limited record
+        A : Integer;
+        B : Boolean;
+    end record;
+
+    type Lim_Tagged is tagged limited record
+        R : Lim_Rec;
+        N : Natural;
+    end record;
+
+    type Lim_Ext is new Lim_Tagged with record
+       G : Natural;
+    end record;
+
+    --  a) initialization expression of a CW object_declaration
+
+    Obj1 : Lim_Tagged'Class := (raise TBD_Error);
+    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;
+
+    --  c) the expression of a record_component_association
+
+    Obj : Lim_Tagged := (R => raise TBD_Error, N => 4);
+
+    --  d) the expression for an ancestor_part of an extension_aggregate
+
+    Ext1 : Lim_Ext := ((raise TBD_Error) with G => 0);
+    Ext2 : Lim_Ext := (Lim_Tagged'(raise TBD_Error) with G => 0);
+
+    --  e) default_expression or actual parameter for a formal object of
+    --     mode in
+
+    function Do_Test1 (Obj : Lim_Tagged) return Boolean is
+    begin
+       return True;
+    end;
+
+    function Do_Test2
+      (Obj : Lim_Tagged := (raise TBD_Error)) return Boolean is
+    begin
+       return True;
+    end;
+
+    Check : Boolean;
+begin
+    Check := Do_Test1 (raise TBD_Error);
+    Check := Do_Test2;
+end;
\ No newline at end of file