[Bug ipa/111613] [12 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 #18 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Sam James <sja...@gcc.gnu.org>:

https://gcc.gnu.org/g:65b67169fb1c641a11973988bd439e255d62131a

commit r12-10771-g65b67169fb1c641a11973988bd439e255d62131a
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)