> I expect it still has an effect due to the same reason as the > DECL_OFFSET_ALIGN thing - memory reference expansion doesn't gather > information from the full reference but tries to re-cover it from > the pieces returned from get_inner_reference. So I guess we need > to fix that first.
The situation is a bit different though, because the main (and single?) case for which TYPE_ALIGN_OK had been necessary in the middle-end was made obsolete by a gigi change at some point. And indeed extensive testing of Bernd's patch on a strict-alignment platform didn't reveal any issue. So no objection to the patch on principle by me. -- Eric Botcazou