[PATCH] D124674: [analyzer] Indicate if a parent state is infeasible

Tue May 3 04:01:36 PDT 2022

martong added a comment.

In D124674#3482765 <https://reviews.llvm.org/D124674#3482765>, @steakhal wrote:

> Finally, we have this!

Thanks for the review.

> Can we have this https://godbolt.org/z/oferc6P5Y in addition to the one you proposed?
> I find it more readable.

Sure, I find it also more readable. I will update soon.

> What performance hit will we suffer from this change?
> Please do a differential analysis.

I am doing that with the dependent patch https://reviews.llvm.org/D124758

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124674