gcc/testsuite/gnat.dg/discr5.adb

   1 -- { dg-do compile }
   2
   3 procedure Discr5 is
   4
   5    type Enum is (Ten, Twenty);
   6    for Enum use (10, 20);
   7    type Arr is array (Enum range <>) of Integer;
   8    type Rec (Discr: Enum := Ten) is record
   9       case Discr is
  10          when others =>
  11             A: Arr (Ten .. Discr);
  12       end case;
  13    end record;
  14
  15 begin
  16    null;
  17 end;