aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-08-27 01:27:52 +0000
committerTed Kremenek <kremenek@apple.com>2008-08-27 01:27:52 +0000
commit45b8789258b282769b03cbeb68e9f5b0308f067b (patch)
tree8f8a0a3ed9232d8ca6c7aa3792c891d0fbbf9196
parent86e2f40071ca8c29284a3294fe2f20a01ec88971 (diff)
Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55402 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/ExplodedGraph.h6
-rw-r--r--lib/Analysis/ExplodedGraph.cpp6
2 files changed, 7 insertions, 5 deletions
diff --git a/include/clang/Analysis/PathSensitive/ExplodedGraph.h b/include/clang/Analysis/PathSensitive/ExplodedGraph.h
index 71043f0ef6..c85d1e9107 100644
--- a/include/clang/Analysis/PathSensitive/ExplodedGraph.h
+++ b/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/lib/Analysis/ExplodedGraph.cpp b/lib/Analysis/ExplodedGraph.cpp
index 95904cd387..0835944250 100644
--- a/lib/Analysis/ExplodedGraph.cpp
+++ b/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);