http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54971
--- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-29 15:19:53 UTC --- I think it has something like that, but it only is effective if there is any scalarization and the intermediate copies are turned into dead code this way. I still think we should write aggregates only accessed whole (and not address taken) into SSA form ;)