gcc/testsuite/gnat.dg/lto16.adb

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