sgatev marked an inline comment as done. sgatev added inline comments.
================ Comment at: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp:3700 + EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( + AfterLoopEnv.makeNot(AfterLoopFooVal))); + }); ---------------- gribozavr2 wrote: > Can we infer that after the loop bar is false? Yes! Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D128183/new/ https://reviews.llvm.org/D128183 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
