[PATCH] D106823: [analyzer][solver] Iterate to a fixpoint during symbol simplification with constants

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

There are no runtime or peak memory usage growth with this patch (actually, the runtime decreases with a few %).
I am attaching the measurements results of the latest Diff.F20089096: stats.html <https://reviews.llvm.org/F20089096>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106823