[PATCH] D114887: [Analyzer][solver] Simplification: Do a fixpoint iteration before the eq class merge

[Mikael Holmén via Phabricator via cfe-commits]

uabelho added a comment.
Herald added a project: All.

Hello,

I wrote an issue about a crash with this patch:
 https://github.com/llvm/llvm-project/issues/55546


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114887