From 5bae1932a336a86372580f95a41bb82f50dc2b52 Mon Sep 17 00:00:00 2001
From: Shiwei Weng <arbipher@gmail.com>
Date: Wed, 25 Aug 2021 13:36:19 -0400
Subject: [PATCH] Cleanup.

---
 clang/include/clang/Sema/AvailableWhereFactsAnalysis.h | 9 +--------
 clang/lib/Sema/AvailableWhereFactsAnalysis.cpp         | 7 -------
 2 files changed, 1 insertion(+), 15 deletions(-)

diff --git a/clang/include/clang/Sema/AvailableWhereFactsAnalysis.h b/clang/include/clang/Sema/AvailableWhereFactsAnalysis.h
index ee159baea5ef..5ae89d78c11a 100644
--- a/clang/include/clang/Sema/AvailableWhereFactsAnalysis.h
+++ b/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);
diff --git a/clang/lib/Sema/AvailableWhereFactsAnalysis.cpp b/clang/lib/Sema/AvailableWhereFactsAnalysis.cpp
index 55e16ade79fe..c31ca961a311 100644
--- a/clang/lib/Sema/AvailableWhereFactsAnalysis.cpp
+++ b/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");