summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/lto10.adb
blob: 647ed0063e7b417fbd7e19f44c020a15d8e8124e (plain)
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;