gcc/testsuite/gnat.dg/lto16_pkg.adb

   1 with Ada.Calendar; use Ada.Calendar;
   2
   3 package body Lto16_Pkg is
   4
   5   function F return Float is
   6     F1 : Float := Float (Seconds (Clock));
   7     F2 : Float := Float (Seconds (Clock));
   8     F  : Float;
   9   begin
  10     if F1 > F2 then
  11       F := (F2 - F1) / 2.0;
  12     else
  13       F := (F1 - F2) / 2.0;
  14     end if;
  15     return F;
  16   end;
  17
  18 end Lto16_Pkg;