--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gnat.dg/lto24_pkg1.ads	Mon May 25 07:50:57 2020 +0900
@@ -0,0 +1,17 @@
+with Lto24_Pkg2;
+
+package Lto24_Pkg1 is
+
+  Max_Elem : constant Natural := Lto24_Pkg2.Get;
+
+  type Arr is array (Natural range <>) of Boolean;
+
+  type Rec (B : Boolean) is record
+     I : Integer;
+     case B is
+       when True => A : Arr (1 .. Max_Elem);
+       when False => Empty : Boolean;
+     end case;
+  end record;
+
+end Lto24_Pkg1;