gcc/testsuite/gnat.dg/discr47.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O -gnatws" }
   3
   4 procedure Discr47 is
   5
   6   type Rec (D : Boolean := False) is record
   7     case D is
   8       when True => null;
   9       when False => C : Character;
  10     end case;
  11   end record;
  12
  13   R : Rec;
  14
  15 begin
  16   if R'Size /= 16 then
  17     raise Program_Error;
  18   end if;
  19 end;