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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

In D83286#2149912 <https://reviews.llvm.org/D83286#2149912>, @vsavchenko wrote:

> @xazax.hun You were interested in performance ⏫
>
> These results here compare this patch together with D82445 <https://reviews.llvm.org/D82445> against **master**.


This is really great news, thanks!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83286