https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125025
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:cfe5827cb0217028ca993aec0b3d916c1f514d64 commit r16-8882-gcfe5827cb0217028ca993aec0b3d916c1f514d64 Author: Richard Biener <[email protected]> Date: Mon Apr 27 09:00:40 2026 +0200 tree-optimization/125025 - ICE with niter analysis and UBSAN The following avoids trying to compute the absolute step by negating a signed step, instead, as done in one other place already, first convert to unsigned and then negate. PR tree-optimization/125025 * tree-ssa-loop-niter.cc (number_of_iterations_ne): Avoid negation of most negative signed integer. (number_of_iterations_lt): Likewise. * gcc.dg/torture/pr125025.c: New testcase. (cherry picked from commit 6d218b0ffbd54ca438e904fccad86d226f26bb91)
