https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125602
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:435ff0c5dff136eef427872991398ee09739fa3b commit r17-1369-g435ff0c5dff136eef427872991398ee09739fa3b Author: Richard Biener <[email protected]> Date: Fri Jun 5 09:56:09 2026 +0200 tree-optimization/125602 - avoid negating the most negative signed value The following rewrites another case in niter analysis where we might end up using fold to negate the most negative signed value and expect that to be an INTEGER_CST. Like elsewhere we should swap negation and conversion to niter_type with the speciality that the affected path creates an assumption check in the original type. But for its construction we can avoid the negation. PR tree-optimization/125602 * tree-ssa-loop-niter.cc (number_of_iterations_until_wrap): Avoid double negation for assumption condition. Compute negated step in niter_type. * gcc.dg/torture/pr125602.c: New testcase.
