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

https://gcc.gnu.org/g:6d218b0ffbd54ca438e904fccad86d226f26bb91

commit r17-99-g6d218b0ffbd54ca438e904fccad86d226f26bb91
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.