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 .