gcc/testsuite/gnat.dg/lto16.adb

   1 -- { dg-do link }
   2 -- { dg-options "-O -flto" { target lto } }
   3
   4 with Lto16_Pkg; use Lto16_Pkg;
   5 with Text_IO; use Text_IO;
   6
   7 procedure Lto16 is
   8 begin
   9   if F = 0.0 then
  10     Put_Line ("zero");
  11   else
  12     Put_Line ("non-zero");
  13   end if;
  14 exception
  15   when others => Put_Line ("exception");
  16 end;