gcc/testsuite/gnat.dg/opt55.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package Opt55 is

   type Date is record
      D : Float;
   end record;

   type Rec1 (Kind : Boolean := False) is record
      case Kind is
         when True => N : Natural;
         when False => null;
      end case;
   end record;

   type Rec2 (D : Positive) is record
      R  : Rec1;
      D1 : Date;
      D2 : Date;
   end record;

   function F (C : Rec2; B : Boolean) return Date;

end Opt55;