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

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Oct 25 08:48:18 PDT 2022


martong added inline comments.


================
Comment at: clang/unittests/Analysis/FlowSensitive/TransferBranchTest.cpp:9-11
+//  This file defines a simplistic version of Sign Analysis as an example
+//  of a forward, monotonic dataflow analysis. The analysis tracks all
+//  variables in the scope, but lacks escape analysis.
----------------
I should update this comment as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133698



More information about the cfe-commits mailing list