https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81403
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- /* x & C -> x if we know that x & ~C == 0. */ Not clear where it is getting the bogus range/nonzero information from, I thought we had fixed all the places reusing SSA_NAMEs with stale information.