[PATCH] D131614: [clang][dataflow] Extend transfer functions for other `CFGElement`s
Dmitri Gribenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Aug 16 08:16:39 PDT 2022
gribozavr2 accepted this revision.
gribozavr2 added inline comments.
This revision is now accepted and ready to land.
================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h:144
llvm::Optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>>
-runDataflowAnalysis(
+runDataflowAnalysisOnCFG(
const ControlFlowContext &CFCtx, AnalysisT &Analysis,
----------------
================
Comment at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:167
+
+ // Contains the CFG which the analysis is run over.
+ const ControlFlowContext &CFCtx;
----------------
================
Comment at: clang/unittests/Analysis/FlowSensitive/TestingSupport.h:81
+//
+// `AnalysisT` contains a type `Lattice`.
template <typename AnalysisT>
----------------
Please use triple slash for doc comments.
================
Comment at: clang/unittests/Analysis/FlowSensitive/TestingSupport.h:83
template <typename AnalysisT>
-llvm::Error checkDataflow(
+llvm::Error checkDataflowOnCFG(
llvm::StringRef Code,
----------------
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D131614/new/
https://reviews.llvm.org/D131614
More information about the cfe-commits
mailing list