[Bug tree-optimization/125025] [13 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 #9 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:4a43159f3c4d05c14d2e252ea654e4dd49c954d0

commit r13-10369-g4a43159f3c4d05c14d2e252ea654e4dd49c954d0
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)