https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87176
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- The issue here is similar to that of PR87132 - this time we get at memory state from the previous iteration by means of a virtual PHI that was value-numbered to its backedge value.