https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107822
--- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Richard Biener from comment #4) > I don't see us realistically fixing this for GCC 13, so postponing to GCC 14 > and downgrading from P1 to P2. > I am currently developing a phi analyzer for ranges which provides better initial range for phi cycles. It attempts to locate a an initial value and an update statement which are the sole impact of a PHI group and anaylze their impact on the range. It should catch cases like this in the next release. It is a self contained class, and would be simple to backport to any ranger version of GCC when complete and tested.