Add overloaded versions of DataflowSolver::runOnBlock to simplify
invocation of the solver.
UninitializedValues checker now uses CFG::runOnAllBlocks to query the
computed dataflow values (tighter code).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42107 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/DataflowSolver.h b/Analysis/DataflowSolver.h
index 724b4a4..d3d4d9f 100644
--- a/Analysis/DataflowSolver.h
+++ b/Analysis/DataflowSolver.h
@@ -90,6 +90,15 @@
ProcessBlock(B,AnalysisDirTag());
}
+ void runOnBlock(const CFGBlock& B) { runOnBlock(&B); }
+ void runOnBlock(CFG::iterator &I) { runOnBlock(*I); }
+ void runOnBlock(CFG::const_iterator &I) { runOnBlock(*I); }
+
+ void runOnAllBlocks(const CFG& cfg) {
+ for (CFG::const_iterator I=cfg.begin(), E=cfg.end(); I!=E; ++I)
+ runOnBlock(I);
+ }
+
//===--------------------------------------------------------------------===//
// Internal solver logic.
//===--------------------------------------------------------------------===//