gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization7_pkg.ads


1
2
3
4
5
6
7
8
9
10

package Loop_Optimization7_Pkg is
  pragma Pure;

  type Rec is record
    F : Float;
  end record;

  function Conv (Trig : Rec) return Rec;

end Loop_Optimization7_Pkg;