gcc/testsuite/gnat.dg/discr9.ads

   1 package Discr9 is
   2
   3    type IArr is Array (Natural range <>) of Integer;
   4    type CArr is Array (Natural range <>) of Character;
   5
   6    type Var_R (D1 : Boolean; D2 : Boolean) is record
   7       case D1 is
   8          when True =>
   9             L : IArr (1..4);
  10             M1, M2 : CArr (1..16);
  11          when False =>
  12             null;
  13       end case;
  14    end record;
  15
  16    type R (D1 : Boolean; D2 : Boolean) is record
  17       Field : Var_R (D1, D2);
  18    end record;
  19
  20    procedure Proc (From : in R; To : out R);
  21
  22 end Discr9;