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

Tue Jul 14 03:42:49 PDT 2020

vsavchenko added a comment.

>> Maybe spend a few minutes remeasuring `libsoundio` more carefully, just in case?
> 
> Sure, will do!

It turns out that **libsoundio** has a problem similar to **re2** and varies a lot in terms of the analysis time (probably we can even try to figure out some reasons behind it sometime in the future).
Here is the chart comparing 50 runs before and after:
F12337181: libsoundio50.png <https://reviews.llvm.org/F12337181>

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83286