[PATCH] D133698: [clang][dataflow] Implement transferBranch

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

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


================
Comment at: clang/unittests/Analysis/FlowSensitive/TransferBranchTest.cpp:73
+                                       .getName())}),
+          /*VerifyResults=*/Match),
+      llvm::Succeeded());
----------------
nit: maybe just rename the parameter to `VerifyResults` (and then no need for the comment)?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133698