[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

[via cfe-commits]

DonatNagyE wrote:

Hmm, I would prefer a cleaner, more "theoretical" improvement of the equivalence class handling instead of this "add yet another patch that covers many, but not all cases" approach.

I'm not opposed to landing this PR in llvm-18 (we have it, and it improves the user experience), but I wouldn't like to have it in llvm-19 and later.

https://github.com/llvm/llvm-project/pull/71284