summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h6
-rw-r--r--clang/lib/Analysis/ExplodedGraph.cpp6
2 files changed, 7 insertions, 5 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h
index 71043f0ef67..c85d1e9107a 100644
--- a/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h
+++ b/clang/include/clang/Analysis/PathSensitive/ExplodedGraph.h
@@ -110,11 +110,7 @@ protected:
/// addPredeccessor - Adds a predecessor to the current node, and
/// in tandem add this node as a successor of the other node.
- void addPredecessor(ExplodedNodeImpl* V) {
- assert (!V->isSink());
- Preds.addNode(V);
- V->Succs.addNode(this);
- }
+ void addPredecessor(ExplodedNodeImpl* V);
public:
diff --git a/clang/lib/Analysis/ExplodedGraph.cpp b/clang/lib/Analysis/ExplodedGraph.cpp
index 95904cd3878..0835944250f 100644
--- a/clang/lib/Analysis/ExplodedGraph.cpp
+++ b/clang/lib/Analysis/ExplodedGraph.cpp
@@ -27,6 +27,12 @@ static inline std::vector<ExplodedNodeImpl*>& getVector(void* P) {
return *reinterpret_cast<std::vector<ExplodedNodeImpl*>*>(P);
}
+void ExplodedNodeImpl::addPredecessor(ExplodedNodeImpl* V) {
+ assert (!V->isSink());
+ Preds.addNode(V);
+ V->Succs.addNode(this);
+}
+
void ExplodedNodeImpl::NodeGroup::addNode(ExplodedNodeImpl* N) {
assert ((reinterpret_cast<uintptr_t>(N) & Mask) == 0x0);
OpenPOWER on IntegriCloud