gcc-4.8.3/gcc/testsuite/gnat.dg/lto15.ads


1
2
3
4
5
6
7
8
9
10
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;