[PATCH] D128060: [clang][dataflow] Extend flow condition in the body of a for loop

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 accepted this revision.
gribozavr2 added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp:3577-3580
+                ASSERT_THAT(Results, ElementsAre(Pair("if_branch_1", _),
+                                                 Pair("if_branch_0", _)));
+                const Environment &Env0 = Results[1].second.Env;
+                const Environment &Env1 = Results[0].second.Env;
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128060