gcc/testsuite/gnat.dg/lto10.adb

   1 -- { dg-do run }
   2 -- { dg-options "-flto" { target lto } }
   3
   4 with Lto10_Pkg; use Lto10_Pkg;
   5
   6 procedure Lto10 is
   7    A : Integer := Minus_One;
   8    Pos : Position;
   9 begin
  10    Pos := Pix.Pos;
  11    if A /= Minus_One then
  12       raise Program_Error;
  13    end if;
  14 end;