OSDN Git Service

fix PR tag
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gnat.dg / opt18_pkg.ads
1 package Opt18_Pkg is
2
3    pragma Pure;
4
5    type Limit_Type is record
6       Low  : Float;
7       High : Float;
8    end record;
9
10    function First_Order_Trig return Float;
11
12   type Trig_Pair_Type is
13    record
14       Sin : Float;
15       Cos : Float;
16    end record;
17
18    function Atan2 (Trig : in Trig_Pair_Type) return Float;
19
20    function Unchecked_Trig_Pair (Sin, Cos : in Float) return Trig_Pair_Type;
21
22    function Double_Trig (Trig : in Trig_Pair_Type) return Trig_Pair_Type;
23
24    function Sqrt (X : Float) return Float;
25
26 end Opt18_Pkg;