https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79054
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Btw, reassoc has code to do this but it runs too late (after VRP1). With all early opts we have running it earlier might be an option (for GCC 8).