[PATCH] D124758: [analyzer] Implement assume in terms of assumeDual

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

Although there is a visible slowdown, the new run-times seem promising. My guess is that it is usually not more than 1-2%.

F22955239: image.png <https://reviews.llvm.org/F22955239>

Full report: F22955251: stats.html <https://reviews.llvm.org/F22955251>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124758