https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[6/7 Regression] x ^ y not |[6/7 Regression] x ^ y not |folded to 0 if x == y |folded to 0 if x == y by | |DOM --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- I have a fix that makes this folded at -O2 by VRP. At -O1 we only have DOM which was optimizing this in GCC 5.