[Bug c++/111019] [12/13 Regression] Optimizer incorrectly assumes variable is not changed while change happens through another pointer

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13/14 Regression]       |[12/13 Regression]
                   |Optimizer incorrectly       |Optimizer incorrectly
                   |assumes variable is not     |assumes variable is not
                   |changed while change        |changed while change
                   |happens through another     |happens through another
                   |pointer                     |pointer
      Known to work|                            |14.0

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.  The change picks to the GCC 12 branch just fine, can you
maybe validate the change on the complete testcase?