https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55157
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #14 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
(In reply to Aldy Hernandez from comment #11)
> Created attachment 53827 [details]
> revised patch in testing
(In reply to Aldy Hernandez from comment #4)
> We have a variety of ways of fixing this:
> 1. Improve the range-op entry for MULT_EXPR.
> 2. Handle nonzero bits in the relational operators.
> 3. Reflect the nonzero bits in the actual range for trivial masks.
I'm going to close this PR as fixed, though I'd still like to do #3 as
discussed if we can accept a performance degradation, or come up with a more
efficient way of doing so. Either way, that is irrelevant to the PR per se.
Fixed in trunk.
