https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114589
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #9 from Andrew Macleod <amacleod at redhat dot com> ---
(In reply to Richard Biener from comment #8)
> The missed sinking is now fixed for GCC 15, VRP is still confused by what
> IVOPTs does so without -fno-ivopts the loop remains.
WHy is it VRP that should figure out that the loop doesn't iterate? That seems
very much a loop analysis thing... VRP makes no attempt to do loop analysis.
