diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/lto15.ads | 11 |
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; |