From: Ted Kremenek Date: Wed, 27 Aug 2008 01:27:52 +0000 (+0000) Subject: Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=45b8789258b282769b03cbeb68e9f5b0308f067b;p=clang 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 --- 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& getVector(void* P) { return *reinterpret_cast*>(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(N) & Mask) == 0x0);