* gcc-interface/trans.c (unchecked_conversion_nop): Handle function

	calls.  Return true for conversion from a record subtype to its type.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158412 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 50 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/specs/discr_private.ads b/gcc/testsuite/gnat.dg/specs/discr_private.ads
new file mode 100644
index 00000000000..0ddfbd137ff
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/discr_private.ads
@@ -0,0 +1,50 @@
+-- { dg-do compile }
+-- { dg-options "-gnatws" }
+
+package Discr_Private is
+
+   package Dec is
+      type T_DECIMAL (Prec : Integer := 1) is private;
+   private
+      type T_DECIMAL (Prec : Integer := 1) is record
+         case Prec is
+            when  1 .. 2 => Value : Integer;
+            when others => null;
+         end case;
+      end record;
+   end;
+
+   type Value_T is record
+      Bits  : Dec.T_DECIMAL(1);
+   end record;
+   for Value_T'size use 88;
+
+   type Value_Entry_T is record
+      Index : Integer;
+      Value : Value_T;
+   end record;
+
+   type Value_Mode is (QI, HI, SI, DI, XI);
+   for Value_Mode'size use 8;
+
+   type Valid_Modes_T is array (Value_Mode) of Boolean;
+
+   type Register_T is record
+      Ventry : Value_Entry_T;
+      Vmodes : Valid_Modes_T;
+   end record;
+
+   type Regid_T is (Latch, Acc);
+   for Regid_T use (Latch => 0, Acc => 2);
+   for Regid_T'Size use 8;
+
+   type Regarray_T is array (Regid_T) of Register_T;
+
+   type Machine_T (Up : Boolean := True) is record
+      case Up is
+         when True  => Regs : Regarray_T;
+         when False => null;
+       end case;
+   end record;
+
+end Discr_Private;