http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58570
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > No. You only assume an alias if _both_ fields are bit fields. > But in my example only one "a" is a volatile bit field the other > is a normal member "b". Then they won't be affected by the bug, see my explanation to Richard.