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