aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads')
-rw-r--r--gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads11
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads b/gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads
new file mode 100644
index 000000000..297ea0c58
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads
@@ -0,0 +1,11 @@
+package Lto15 is
+
+ type Arr is array (Positive range <>) of Integer;
+
+ type R(Size : Positive) is record
+ Data : Arr (1 .. Size);
+ end record;
+
+ function Proc (Data : Arr) return R;
+
+end Lto15;