http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47409
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-30 11:43:38 UTC --- Or the FE should expand the structure assignment in that case to some other stmts based on what the right semantics is (using loops for larger objects etc.) and only keep aggregate assignments in the IL for non-volatile (neither object itself, nor any of the fields) assignments.