Modified DataFlowValues and DataflowSolver to associate dataflow value

with CFG *edges* instead of blocks.  This will fascilitate dataflow
analyses that are sensitive to block terminators, and also simplifies
some reasoning.

Updated UninitializedValues to comply to this new interface.

llvm-svn: 42099

1 files changed, 0 insertions, 4 deletions

diff --git a/clang/Analysis/UninitializedValues.cpp b/clang/Analysis/UninitializedValues.cpp
index c5b13a4074a..c472b3a8465 100644
--- a/clang/Analysis/UninitializedValues.cpp
+++ b/clang/Analysis/UninitializedValues.cpp
@@ -73,10 +73,6 @@ void UninitializedValues::InitializeValues(const CFG& cfg) {
   for (CFG::const_iterator I=cfg.begin(), E=cfg.end(); I!=E; ++I)
     for (CFGBlock::const_iterator BI=I->begin(), BE=I->end(); BI!=BE; ++BI)
       R.BlockStmt_Visit(*BI);
-  
-  // Initialize the values of the last block.
-//  UninitializedValues::ValTy& V = getBlockDataMap()[&cfg.getEntry()];
-//  V.resetValues(getAnalysisData());
 }
 
 //===----------------------------------------------------------------------===//