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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
