https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106570
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=107880 --- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I suspect if we optimize: _1 = ~c_6(D); _2 = _1 & s_7(D); to: c < s; VRP will just work now. (that would be PR 107880 ).