[PATCH] D83286: [analyzer][solver] Track symbol disequalities

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a comment.

@xazax.hun You were interested in performance ⏫

These results here compare this patch together with D82445 <https://reviews.llvm.org/D82445> against **master**.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83286/new/

https://reviews.llvm.org/D83286