https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86707
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-07-30
Blocks| |85316
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. This requires conditional bit set/unset propagation. CCP handles
this unconditional only and since it is a SSA propagator things cannot be
easily improved there. EVRP could handle this but it doesn't track set
bits.
We might have a duplicate bugreport for this.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
