[PATCH] D128183: [clang][dataflow] Extend flow condition in the body of a do/while loop
Stanislav Gatev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 20 09:18:34 PDT 2022
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
More information about the cfe-commits
mailing list