[Bug tree-optimization/78035] Inconsistency between address comparison and alias analysis

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
To ignore the memory disambiguation side and "fix" the address comparison side
only we could introduce a "points-to-interposable" flag and bail out whenever
we see that comparing two pointers using points-to.