gcc-4.9/gcc/testsuite/gnat.dg/lto15.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do compile }
-- { dg-options "-O -flto -g" }
-- { dg-require-effective-target lto }

package body Lto15 is

   function Proc (Data : Arr) return R is
   begin
      return (Data'Length, Data);
   end;

end Lto15;