[Bug ipa/111613] [12/13/14/15 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]

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

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

https://gcc.gnu.org/g:14074773350ffed7efdebbc553adf0f23b572e87

commit r15-2205-g14074773350ffed7efdebbc553adf0f23b572e87
Author: Jan Hubicka <hubicka@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.