http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55388
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-11-22 18:26:05 UTC --- In fact the miscompilation is already eliminated by replacing the call to adjust_address with adjust_bitfield_address in store_bit_field. Not clear what I was thinking when I left this one out...