[PATCH] D149640: [clang][dataflow] Change PruneTriviallyFalseEdges for building CFG

[Kinuko Yasuda via Phabricator via cfe-commits]

kinu added a comment.

In D149640#4311889 <https://reviews.llvm.org/D149640#4311889>, @gribozavr2 wrote:

> Is it testable? For example, can we show that we don't compute the program state for the program point "p" here:

I added a simple test, how does it look?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149640