[PATCH] D105436: [analyzer][solver] Use all sources of constraints

[Artem Dergachev via Phabricator via cfe-commits]

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

such passes
@
much LLVM

> Performance measurements also show the we are within the same margins.

Great! I'd expect massive constraint solver improvements to actually make performance //better// because they cut infeasible paths. This one's probably not that massive but it's still amazing.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D105436