https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- And for the comparison against constant(s), there is a question whether those don't need to be adjusted (or punted if they have bits that can't be ever set). I mean say that (something >> 4) != someconst and someconst having some bits in between precision(something)-4 and precision(something)-1 (and guess that is dependent on whether it is arithmetic or logical right shift). Alex, could you please have a look?
