[Bug tree-optimization/93052] Wrong optimizations for pointers: `p == q ? p : q` -> `q`

[ch3root at openwall dot com]

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

--- Comment #5 from Alexander Cherepanov <ch3root at openwall dot com> ---
1. It should be noted that the idea of problems arising from `p == q ? p : q`
is from Chung-Kil Hur via bug 65752, comment 15.

2. clang bug -- https://bugs.llvm.org/show_bug.cgi?id=44374.