diff options
| -rw-r--r-- | clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h | 8 | ||||
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/CoreEngine.cpp | 33 |
2 files changed, 0 insertions, 41 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h index 4f1a60e6755..2528aa1b316 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h @@ -80,14 +80,6 @@ public: void setBlockCounter(BlockCounter C) { CurrentCounter = C; } BlockCounter getBlockCounter() const { return CurrentCounter; } - class Visitor { - public: - Visitor() {} - virtual ~Visitor(); - virtual bool visit(const WorkListUnit &U) = 0; - }; - virtual bool visitItemsInWorkList(Visitor &V) = 0; - static WorkList *makeDFS(); static WorkList *makeBFS(); static WorkList *makeBFSBlockDFSContents(); diff --git a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp index 39235745007..2fdd310fa31 100644 --- a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -37,8 +37,6 @@ STATISTIC(NumPathsExplored, // Worklist classes for exploration of reachable states. //===----------------------------------------------------------------------===// -WorkList::Visitor::~Visitor() {} - namespace { class DFS : public WorkList { SmallVector<WorkListUnit,20> Stack; @@ -57,15 +55,6 @@ public: Stack.pop_back(); // This technically "invalidates" U, but we are fine. return U; } - - bool visitItemsInWorkList(Visitor &V) override { - for (SmallVectorImpl<WorkListUnit>::iterator - I = Stack.begin(), E = Stack.end(); I != E; ++I) { - if (V.visit(*I)) - return true; - } - return false; - } }; class BFS : public WorkList { @@ -85,14 +74,6 @@ public: return U; } - bool visitItemsInWorkList(Visitor &V) override { - for (std::deque<WorkListUnit>::iterator - I = Queue.begin(), E = Queue.end(); I != E; ++I) { - if (V.visit(*I)) - return true; - } - return false; - } }; } // end anonymous namespace @@ -135,20 +116,6 @@ namespace { Queue.pop_front(); return U; } - bool visitItemsInWorkList(Visitor &V) override { - for (SmallVectorImpl<WorkListUnit>::iterator - I = Stack.begin(), E = Stack.end(); I != E; ++I) { - if (V.visit(*I)) - return true; - } - for (std::deque<WorkListUnit>::iterator - I = Queue.begin(), E = Queue.end(); I != E; ++I) { - if (V.visit(*I)) - return true; - } - return false; - } - }; } // end anonymous namespace |
