[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

[rguenth at gcc dot gnu.org]

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.