summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/loop_optimization7_pkg.ads
blob: 0eaefa1b0f32c8904379cb9ae5bd1bb8fee239da (plain)
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;