2018-03-23 Eric Botcazou <[email protected]>

	PR debug/85020
	* gnat.dg/lto22.adb: New test.
	* gnat.dg/lto22_pkg1.ad[sb]: New helper.
	* gnat.dg/lto22_pkg2.ads: Likewise.


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

Author: rguenth

gcc/testsuite/ChangeLog

@@ -1,3 +1,10 @@
+2018-03-23  Eric Botcazou  <[email protected]>
+
+	PR debug/85020
+	* gnat.dg/lto22.adb: New test.
+	* gnat.dg/lto22_pkg1.ad[sb]: New helper.
+	* gnat.dg/lto22_pkg2.ads: Likewise.
+
 2018-03-23  Jakub Jelinek  <[email protected]>
 
 	PR c/80778

gcc/testsuite/gnat.dg/lto22.adb

@@ -0,0 +1,9 @@
+-- { dg-do run }
+-- { dg-options "-g -flto" { target lto } }
+
+with Lto22_Pkg1;
+
+procedure Lto22 is  
+begin
+  null;
+end;

gcc/testsuite/gnat.dg/lto22_pkg1.ads

@@ -0,0 +1,7 @@
+with Lto22_Pkg2; use Lto22_Pkg2;
+
+package Lto22_Pkg1 is  
+
+   Public_1 : Rec := F;
+
+end Lto22_Pkg1;

gcc/testsuite/gnat.dg/lto22_pkg2.adb

@@ -0,0 +1,9 @@
+package body Lto22_Pkg2 is  
+
+   function F return Rec is
+      Var_1 : Rec;
+   begin
+      return Var_1;
+   end;
+
+end Lto22_Pkg2;

gcc/testsuite/gnat.dg/lto22_pkg2.ads

@@ -0,0 +1,15 @@
+package Lto22_Pkg2 is  
+
+   subtype Index_Type is Integer range 1 .. 20;
+
+   type Rec (<>) is private;           
+
+   function F return Rec;
+
+private
+
+   type Rec (D : Index_Type := 2) is record     
+      S : String (1 .. D) := "Hi";
+   end record;
+
+end Lto22_Pkg2;