Cleanup.

clang/include/clang/Sema/AvailableWhereFactsAnalysis.h

@@ -197,10 +197,6 @@ namespace clang {
       // Edge-wise (stored at its starting block).
       AbstractFactListTy GenAllSucc, OutAllSucc;
 
-      // // Statement-wise
-      // StmtFactsMapTy StmtGen;
-      // StmtKillVarSetTy StmtKill;
-
       // A mapping from a statement to its previous statement in a block.
       StmtMapTy PrevStmtMap;
       // The last statement of the block. This is nullptr if the block is empty.
@@ -227,12 +223,11 @@ namespace clang {
     AbstractFactListTy FactsCreated;
 
     // Stateful accumulated fact sets in a block.
-    // This is for called from the outside for continuous statementts in a fixed block.
+    // This is for GetStmtIn/GetStmtOut, which are called per statement in a block sequentially.
     AbstractFactListTy AccuGen;
     KillVarSetTy AccuKill;
     const CFGBlock *AccuBlock;
     ElevatedCFGBlock *AccuEB;
-    // const CFGBlock::const_iterator *AccuStmtIt;
 
   public:
     // Top is a special bounds expression that denotes the super set of all
@@ -246,8 +241,6 @@ namespace clang {
 
     ~AvailableWhereFactsAnalysis();
 
-    void GetFacts(const CFGBlock *Block, AbstractFactListTy &Facts);
-
     // Run the dataflow analysis.
     // @param[in] FD is the current function.
     void Analyze(FunctionDecl *FD, StmtSetTy NestedStmts);

clang/lib/Sema/AvailableWhereFactsAnalysis.cpp

@@ -35,13 +35,6 @@ AvailableWhereFactsAnalysis::~AvailableWhereFactsAnalysis() {
   }
 }
 
-void AvailableWhereFactsAnalysis::GetFacts(const CFGBlock *B, AbstractFactListTy &Facts) {
-  if (AFUtil.SkipBlock(B))
-    return;
-
-  Facts = BlockMap[B]->OutAllSucc;
-}
-
 void AvailableWhereFactsAnalysis::Analyze(FunctionDecl *FD,
                                           StmtSetTy NestedStmts) {
   assert(Cfg && "expected CFG to exist");