https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67690
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- It's tail-merging. Eventually we can fix this in replace_block_by by walking over all defs in bb2 calling reset_flow_sensitive_info.