http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56341
--- Comment #10 from Sandra Loosemore <sandra at codesourcery dot com> --- I'm working on a new patch that addresses the first problem, the failure in test(). I think the second failure is not in test1() at all, and has nothing to do with -fstrict-volatile-bitfields. Looks to me like problem is that the expression "&x1->t1" is returning an unaligned pointer due to the packed attribute on struct test2. It should probably not be allowed to take the address of a packed struct field, at least on targets that require strict alignment. Hmmmm, that bug is already filed as PR 41809. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41809
