https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121370

--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<[email protected]>:

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

commit r13-10149-ge17d8040e0f4035507b8d1c767325416df32e6b8
Author: Richard Biener <[email protected]>
Date:   Tue Aug 5 08:59:18 2025 +0200

    tree-optimization/121370 - avoid UB in building a CHREC

    When there is obvious UB involved in the process of re-associating
    a series of IV increments to build up a CHREC, fail.  This catches
    a few degenerate cases where SCEV introduces UB with its inherent
    re-associating of IV increments.

            PR tree-optimization/121370
            * tree-scalar-evolution.cc (scev_dfs::add_to_evolution_1):
            Avoid UB integer overflow in accumulating CHREC_RIGHT.

            * gcc.dg/torture/pr121370.c: New testcase.

    (cherry picked from commit afafae097232e700bb7a74a453a048b83ebefccd)
  • [Bug tree-optimization/121370] ... cvs-commit at gcc dot gnu.org via Gcc-bugs

Reply via email to