http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58431
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- -fdisable-tree-phicprop2 lets it pass (the dumps appear identical before and after this pass, but with verbose dumps we see some memory PHIs disappear) -fdisable-tree-cddce2 also lets it pass, with larger differences in the dumps.