[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Dec 28 13:52:00 PST 2023
DonatNagyE wrote:
I'd like to abstain from deciding this question.
Personally I don't like the idea that we add yet another hack that'll remain in the codebase forever and slows down all other development efforts in this area (as contributors who want to understand this logic will need to study some extra logic); but if a more experienced reviewer (e.g @Xazax-hun or @martong) accepts this PR, the I won't oppose it.
https://github.com/llvm/llvm-project/pull/71284
More information about the cfe-commits
mailing list