https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95001
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The on-demand VRP (or if it can do non-zero bits too, even better), ought to handle this kind of things, but it isn't something we can store in the SSA_NAMEs unless we create the ASSERT_EXPRs (which means during VRP only).
