gcc/testsuite/gnat.dg/discr47.adb

-- { dg-do run }
-- { dg-options "-O -gnatws" }

procedure Discr47 is

  type Rec (D : Boolean := False) is record
    case D is
      when True => null;
      when False => C : Character;
    end case;
  end record;

  R : Rec;

begin
  if R'Size /= 16 then
    raise Program_Error;
  end if;
end;