[Bug middle-end/119472] Pointers to distinct live objects compare equal

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
So is there a _real_ testcase where, apart from strictly non-conformance, not
coalescing a and b is meaningful?