http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51242
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-26 11:26:16 UTC --- The warning noticed by Jon seems a latent issue unrelated to bitfields and due to the fact to for scoped enums, the underlying type, if not explicitly specified is if fixed to int type. Thus, in finish_enum_value_list, fixed_underlying_type_p is true and the code "restricting" ENUM_UNDERLYING_TYPE for the benefit of diagnostics doesn't run. It seems that it should run anyway, when the underlying type is fixed but implicitly so.