summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
diff options
context:
space:
mode:
authorGeorge Karpenkov <ekarpenkov@apple.com>2018-01-29 21:44:49 +0000
committerGeorge Karpenkov <ekarpenkov@apple.com>2018-01-29 21:44:49 +0000
commit21428afae8054f4a84fd9f887e157905bba48ed3 (patch)
tree77a7572eab12de4e00f14d2bfdbfabf36b96dda1 /clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
parent994e889022b299eb12bfddeebf3f3da38944cdcd (diff)
downloadbcm5719-llvm-21428afae8054f4a84fd9f887e157905bba48ed3.tar.gz
bcm5719-llvm-21428afae8054f4a84fd9f887e157905bba48ed3.zip
[analyzer] [NFC] Remove unused method visitItemsInWorkList
Differential Revision: https://reviews.llvm.org/D42562 llvm-svn: 323696
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CoreEngine.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/CoreEngine.cpp33
1 files changed, 0 insertions, 33 deletions
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
OpenPOWER on IntegriCloud