From 69f5f494c9e2ee410f6d2a35171ec2ba714f80d7 Mon Sep 17 00:00:00 2001
From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 23 Mar 2018 11:23:54 +0000
Subject: [PATCH] 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>

	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
---
 gcc/testsuite/ChangeLog              |  7 +++++++
 gcc/testsuite/gnat.dg/lto22.adb      |  9 +++++++++
 gcc/testsuite/gnat.dg/lto22_pkg1.ads |  7 +++++++
 gcc/testsuite/gnat.dg/lto22_pkg2.adb |  9 +++++++++
 gcc/testsuite/gnat.dg/lto22_pkg2.ads | 15 +++++++++++++++
 5 files changed, 47 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/lto22.adb
 create mode 100644 gcc/testsuite/gnat.dg/lto22_pkg1.ads
 create mode 100644 gcc/testsuite/gnat.dg/lto22_pkg2.adb
 create mode 100644 gcc/testsuite/gnat.dg/lto22_pkg2.ads

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2e6651a2f51..81c93b4c802 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
+
+	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  <jakub@redhat.com>
 
 	PR c/80778
diff --git a/gcc/testsuite/gnat.dg/lto22.adb b/gcc/testsuite/gnat.dg/lto22.adb
new file mode 100644
index 00000000000..6478b78bb76
--- /dev/null
+++ b/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;
diff --git a/gcc/testsuite/gnat.dg/lto22_pkg1.ads b/gcc/testsuite/gnat.dg/lto22_pkg1.ads
new file mode 100644
index 00000000000..c0b24b42a40
--- /dev/null
+++ b/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;
diff --git a/gcc/testsuite/gnat.dg/lto22_pkg2.adb b/gcc/testsuite/gnat.dg/lto22_pkg2.adb
new file mode 100644
index 00000000000..e84cce843ea
--- /dev/null
+++ b/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;
diff --git a/gcc/testsuite/gnat.dg/lto22_pkg2.ads b/gcc/testsuite/gnat.dg/lto22_pkg2.ads
new file mode 100644
index 00000000000..f3a20f8c2fa
--- /dev/null
+++ b/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;
-- 
2.11.4.GIT