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


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

-- { dg-do run }
-- { dg-options "-flto" { target lto } }

with Lto10_Pkg; use Lto10_Pkg;

procedure Lto10 is
   A : Integer := Minus_One;
   Pos : Position;
begin
   Pos := Pix.Pos;
   if A /= Minus_One then
      raise Program_Error;
   end if;
end;