[Bug tree-optimization/108821] [11/12 Regression] LIM reissuing a violatile store when it cannot/should not

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

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

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

commit r12-9261-gdbbbaed64f39aae57f5f167174121c1be9d18282
Author: Richard Biener <rguent...@suse.de>
Date:   Fri Feb 17 12:36:44 2023 +0100

    tree-optimization/108821 - store motion and volatiles

    The following fixes store motion to not re-issue volatile stores
    to preserve TBAA behavior since that will result in the number
    of volatile accesses changing.

            PR tree-optimization/108821
            * tree-ssa-loop-im.cc (sm_seq_valid_bb): We can also not
            move volatile accesses.

            * gcc.dg/tree-ssa/ssa-lim-24.c: New testcase.

    (cherry picked from commit 4c4f0f7acd6b96ee744ef598cbea5c7046a33654)