https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71437
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu.org
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Yes, VRP doesn't thread a jump because of improved iteration order (and
improved ranges). And due to the fact that we can't register multiple ranges
from a single assert expression (both the trivial symbolic one and one using
ranges from the operands).
