[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 #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Jan Hubicka
<hubi...@gcc.gnu.org>:

https://gcc.gnu.org/g:9ddd5f88e60972147dff74b48658e2b12040d468

commit r14-10495-g9ddd5f88e60972147dff74b48658e2b12040d468
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)