[Bug ipa/114207] [12/13/14/15 Regression] modref gets confused by vectorized code `-O3 -fno-tree-forwprop` since r12-5439

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Jan Hubicka
<hubicka@gcc.gnu.org>:

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

commit r14-10488-gf2e98084792821c3849074867d5b007c49028854
Author: Jan Hubicka <hubicka@ucw.cz>
Date:   Mon Jul 22 18:05:26 2024 +0200

    Fix accounting of offsets in unadjusted_ptr_and_unit_offset

    unadjusted_ptr_and_unit_offset accidentally throws away the offset computed
by
    get_addr_base_and_unit_offset. Instead of passing extra_offset it passes
offset.

            PR ipa/114207

    gcc/ChangeLog:

            * ipa-prop.cc (unadjusted_ptr_and_unit_offset): Fix accounting of
offsets in ADDR_EXPR.

    gcc/testsuite/ChangeLog:

            * gcc.c-torture/execute/pr114207.c: New test.

    (cherry picked from commit 391f46f10b0586c074014de82efe76787739bb0c)