[PATCH] D114619: [Analyzer][solver] Do not remove the simplified symbol from the eq class

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

In D114619#3155363 <https://reviews.llvm.org/D114619#3155363>, @steakhal wrote:

> I see. Simplification is always good. Let's measure and compare the runtime characteristics before moving forward.

Here they are. Seems like the runtime and memory consumption are pretty much the same.

F20788018: no_removemember.png <https://reviews.llvm.org/F20788018>

F20788026: stats.html <https://reviews.llvm.org/F20788026>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114619