https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113210
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- is executed at most (short unsigned int) (a.0_1 + 255) + 1 <= 256 ? 0 : ~(short unsigned int) (a.0_1 + 255) (bounded by 65279) + 1 times in loop 1. Though that is the same niter as in GCC 13 ... The code which seems to be causing this was introduced at r14-2281-g0682a32c026f1e .