[Bug tree-optimization/125025] [13/14/15/16 Regression] ICE at -O1 -fsanitize=undefined during GIMPLE pass: profile_estimate

[cvs-commit at gcc dot gnu.org]

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
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:cfe5827cb0217028ca993aec0b3d916c1f514d64

commit r16-8882-gcfe5827cb0217028ca993aec0b3d916c1f514d64
Author: Richard Biener <rguenther@suse.de>
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)