gcc/testsuite/gnat.dg/aggr19_pkg.ads

   1 package Aggr19_Pkg is
   2
   3   type Rec1 (D : Boolean := False) is record
   4     case D is
   5       when False => null;
   6       when True => Pos : Integer;
   7     end case;
   8   end record;
   9
  10   type Rec2 is record
  11     L : Rec1;
  12   end record;
  13
  14   type Rec3 is tagged null record;
  15
  16   type Enum is (One, Two, Three);
  17
  18   type Rec4 (Kind : Enum := One) is record
  19     Node : Rec2;
  20     case Kind is
  21       when One => R : Rec3;
  22       when Others => I : Integer;
  23     end case;
  24   end record;
  25
  26   type Rec5 is record
  27     Ent : Rec4;
  28   end record;
  29
  30   procedure Proc (Pool : in out Rec5);
  31
  32 end Aggr19_Pkg;