[Bug tree-optimization/125857] [17 regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: in value_of_expr, at tree-vrp.cc:996 since r17-1602

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #16 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>:

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

commit r17-1710-gb632956cd4154b3102a36675e0ee7375c9d8bb81
Author: Andrew Pinski <andrew.pin...@oss.qualcomm.com>
Date:   Thu Jun 18 14:16:04 2026 -0700

    ipa: Don't record return value ranges for pranges with non ipa-invariant
[PR125857]

    Now that pranges can have invariants in it, we need to make sure the
    return value range does not record non-ipa invariants; otherwise we
    might prop the address of a local variable from one function to
    another.

    Bootstrapped and tested on x86_64-linux-gnu.

            PR tree-optimization/125857

    gcc/ChangeLog:

            * ipa-prop.cc (ipa_record_return_value_range_1): Don't record
            pranges which have non ipa-invariants in it.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr125857-1.c: New test.

    Signed-off-by: Andrew Pinski <andrew.pin...@oss.qualcomm.com>