decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a type with a freeze node.

	* gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely
	elaborate the full view of a type with a freeze node.
	* gcc-interface/trans.c (process_type): Add explicit predicate.

From-SVN: r199336

3 files changed, 41 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 38985d6..f60cfe1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-26  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/incomplete3.ad[sb]: New test.
+
 2013-05-25  Richard Sandiford  <rdsandiford@googlemail.com>
 
 	PR target/53916
diff --git a/gcc/testsuite/gnat.dg/incomplete3.adb b/gcc/testsuite/gnat.dg/incomplete3.adb
new file mode 100644
index 0000000..6db500f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/incomplete3.adb
@@ -0,0 +1,15 @@
+-- { dg-do compile }
+
+package body Incomplete3 is
+
+   function Get_Tracer (This : access Output_T'Class) return Tracer_T'class is
+   begin
+      return Tracer_T'Class (Tracer_T'(Output => This));
+   end ;
+
+   function Get_Output (This : in Tracer_T) return access Output_T'Class is
+   begin
+      return This.Output;
+   end;
+
+end Incomplete3;
diff --git a/gcc/testsuite/gnat.dg/incomplete3.ads b/gcc/testsuite/gnat.dg/incomplete3.ads
new file mode 100644
index 0000000..6f89374
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/incomplete3.ads
@@ -0,0 +1,22 @@
+package Incomplete3 is
+
+   type Output_T;
+   type Output_T is abstract tagged private;
+
+   type Tracer_T is tagged private;
+
+   function Get_Tracer (This : access Output_T'Class) return Tracer_T'class;
+
+   function Get_Output (This : in Tracer_T) return access Output_T'Class;
+
+private
+
+   type Output_T is abstract tagged record
+      B : Boolean := True;
+   end record;
+
+   type Tracer_T is tagged record
+      Output : access Output_T'Class := null;
+   end record;
+
+end Incomplete3;