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/UninitializedValues.cpp b/Analysis/UninitializedValues.cpp
index 56897e6..09f195e 100644
--- a/Analysis/UninitializedValues.cpp
+++ b/Analysis/UninitializedValues.cpp
@@ -238,7 +238,6 @@
Dst.DeclBV |= Src.DeclBV;
Dst.ExprBV |= Src.ExprBV;
-
}
};
} // end anonymous namespace
@@ -250,7 +249,6 @@
UninitializedValues_ValueTypes::ObserverTy::~ObserverTy() {}
namespace {
-
class UninitializedValuesChecker : public UninitializedValues::ObserverTy {
ASTContext &Ctx;
Diagnostic &Diags;
@@ -270,11 +268,9 @@
Diags.Report(DR->getSourceRange().Begin(), diag::warn_uninit_val);
}
};
-
} // end anonymous namespace
namespace clang {
-
void CheckUninitializedValues(CFG& cfg, ASTContext &Ctx, Diagnostic &Diags) {
typedef DataflowSolver<UninitializedValues,TransferFuncs,Merge> Solver;
@@ -287,9 +283,6 @@
// Scan for DeclRefExprs that use uninitialized values.
UninitializedValuesChecker Observer(Ctx,Diags);
U.getAnalysisData().Observer = &Observer;
-
- for (CFG::iterator I=cfg.begin(), E=cfg.end(); I!=E; ++I)
- S.runOnBlock(&*I);
+ S.runOnAllBlocks(cfg);
}
-
-}
+} // end namespace clang