[Bug c++/111019] [12/13/14 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

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #8)
> So really caused by r9-4993-g1c852d1d7096a8 plus all the followups that went
> into this code.  One triggering fact is that operand_equal_p
> of MEM[(struct Target *)_26].D.43475.next with itself is false ...

Ah, because one has BASE/CLIQUE and one does not.