gcc/testsuite/gnat.dg/specs/pack9.ads

   1 -- { dg-do compile }
   2
   3 package Pack9 is
   4
   5   subtype Zero is Natural range 0 .. 0;
   6
   7   type Rec (D : Boolean) is record
   8     case D is
   9        when True => Z : Zero;
  10        when False => null;
  11     end case;
  12   end record;
  13   pragma Pack (Rec);
  14
  15 end Pack9;