gcc/testsuite/gnat.dg/discr29.ads

   1 package Discr29 is
   2
   3    type Rec1 is record
   4       I1 : Integer;
   5       I2 : Integer;
   6       I3 : Integer;
   7    end record;
   8
   9    type Rec2 is tagged record
  10       I1 : Integer;
  11       I2 : Integer;
  12    end record;
  13
  14    type Rec3 (D : Boolean) is record
  15       case D is
  16          when True =>  A : Rec1;
  17          when False => B : Rec2;
  18       end case;
  19    end record;
  20
  21    procedure Proc (R : out Rec3);
  22
  23    Tmp : Rec2;
  24
  25 end Discr29;