[Bug ipa/111613] [12/13 Regression] Bit field stores can be incorrectly optimized away when -fstore-merging is in effect since r12-5383-g22c242342e38eb

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

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

--- Comment #15 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Sam James <sja...@gcc.gnu.org>:

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

commit r13-9107-gfefa09cb6a1afe0c16186bfc9c80f91e2d5aa5ba
Author: Jan Hubicka <hubi...@ucw.cz>
Date:   Mon Jul 22 19:00:39 2024 +0200

    Fix modref's iteraction with store merging

    Hi,
    this patch fixes wrong code in case store-merging introduces load of
function
    parameter that was previously write-only (which happens for bitfields).
    Without this, the whole store-merged area is consdered to be killed.

            PR ipa/111613

    gcc/ChangeLog:

            * ipa-modref.cc (analyze_parms): Do not preserve EAF_NO_DIRECT_READ
and
            EAF_NO_INDIRECT_READ from past flags.

    gcc/testsuite/ChangeLog:

            * gcc.c-torture/pr111613.c: New test.

    (cherry picked from commit 14074773350ffed7efdebbc553adf0f23b572e87)