https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110753
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
(In reply to Aldy Hernandez from comment #3)
> MASK 0xfffffffffffffffc VALUE 0x0 (low 2 bits are known to be 1, everything
> else is unknown).
FWIW, the above implies the low 2 bits are known to be 0, not 1. Not that it
matters, as I just fixed this PR in trunk :).
