summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/aggr19_pkg.ads
blob: 4f98a4d30d87f938a7b50dbc8910589aac1c3e9c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
package Aggr19_Pkg is

  type Rec1 (D : Boolean := False) is record
    case D is
      when False => null;
      when True => Pos : Integer;
    end case;
  end record;

  type Rec2 is record
    L : Rec1;
  end record;

  type Rec3 is tagged null record;

  type Enum is (One, Two, Three);

  type Rec4 (Kind : Enum := One) is record
    Node : Rec2;
    case Kind is
      when One => R : Rec3;
      when Others => I : Integer;
    end case;
  end record;

  type Rec5 is record
    Ent : Rec4;
  end record;

  procedure Proc (Pool : in out Rec5);

end Aggr19_Pkg;