[PATCH] D114887: [Analyzer][solver] Simplification: Do a fixpoint iteration before the eq class merge
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
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.
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the cfe-commits