gcc/testsuite/gnat.dg/loop_optimization10_pkg.ads

   1 package Loop_Optimization10_Pkg is
   2
   3    pragma Pure (Loop_Optimization10_Pkg);
   4
   5    type Limit_Type is record
   6       Low  : Float;
   7       High : Float;
   8    end record;
   9
  10    function F (Low, High : in Float) return Limit_Type;
  11
  12 end Loop_Optimization10_Pkg;