https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71802
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Note it is CFG cleanup triggering the loop removal through merging two BBs and propagating out the PHIs in the second. I have a patch fixing the missed block merging in that round of CFG cleanup.
