https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66375
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- Bootstrapped / tested on x86_64-unknown-linux-gnu with no regressions... testing a more complete fix (applying this to all cases in follow_ssa_edge_binary) now.