https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55157
--- Comment #12 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Created attachment 53831 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53831&action=edit solution improving MULT_EXPR range-ops Another solution is just improving the MULT_EXPR range-op entry. This has no penalty anywhere. Though, I still feel we should reflect nonzero masks in the range independently of this :-/. Either way, we can solve the PR.
