[Bug tree-optimization/113186] [13/14 Regression] `(a^c) & (a^!c)` is not optimized to 0 for bool

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113186

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note for `~a != b` (for boolean size) we should just convert that into: `a ==
b` .

And then we would have the form for both C++ and C at -O1 in forwprop1 .