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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

Data 👍

Maybe spend a few minutes remeasuring `libsoundio` more carefully, just in case? Also i really wish we had per-TU data of that kind, to see if any particular TUs have regressed significantly.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83286