https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83073
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #4 from Andrew Macleod <amacleod at redhat dot com> ---
I added a patch to 83072 in which multi-range will now recognize there is no
[0,0] in x|1.
When we add bitmask tracking to ranger, it is in the work queue to track both
must-be-zero and must-be-one bits, and integrate that knowledge with range
queries.
(so if (x == 20) would be known false after x = x | 1)
Any additional input on what kind of other information could be attached here
to this PR.
