https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107986
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note the old VRP was able to at least tell that qa was [0, +INF] by means of
iterating and saturating to +INF after too many iterations. SCEV isn't of
help here. Since we've lost the last lattice-based (iterating) VRP pass now
what's the plan for cases like this?
