gcc/testsuite/gnat.dg/discr35.ads

   1 package Discr35 is
   2
   3   type Rec1 is tagged null record;
   4
   5   type Enum is (One, Two);
   6
   7   type Rec2 (D : Enum := One) is
   8   record
   9     case D is
  10       when One => null;
  11       when Two => R : Rec1;
  12     end case;
  13   end record;
  14
  15    Null_Rec2 : Constant Rec2;
  16
  17    procedure Proc1;
  18
  19    procedure Proc2;
  20
  21 private
  22
  23    Null_Rec2 : Constant Rec2 := (D => One);
  24
  25 end Discr35;