https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98026
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |85316
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This is because symbolic range handling sometimes throws away the symbolic
equivalence I think. OTOH we have equivalences for this (but they are not
always used, and with ranger all but the symbolic cases can be handled with
multi-entry ranges)
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
