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

Tue May 2 03:59:08 PDT 2023

mboehme added a comment.

In D149640#4311963 <https://reviews.llvm.org/D149640#4311963>, @kinu wrote:

> 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?

Do we even need to add a new test for this?

This change breaks the existing test `TransferTest.VarDeclInDoWhile`, which tests essentially the same scenario, so it's probably sufficient to just update that test?

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149640