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

Wed Dec 1 14:03:08 PST 2021

martong added a comment.

In D114887#3165397 <https://reviews.llvm.org/D114887#3165397>, @steakhal wrote:

> Also, please provide the coverage of the new test case (only excercising the new test case not the whole test file) I really want to make sure that it will cover the loop as it supposed to.
>
> Oh, I just now see that there is no test. Now I'm really courious.

There is a test case in D103317 <https://reviews.llvm.org/D103317> (with the so many `b`s) which covers the loop. That patch is the dependent patch of the reverted patch.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114887