]> granicus.if.org Git - clang/commitdiff
Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.
authorTed Kremenek <kremenek@apple.com>
Wed, 27 Aug 2008 01:27:52 +0000 (01:27 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 27 Aug 2008 01:27:52 +0000 (01:27 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55402 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/ExplodedGraph.h
lib/Analysis/ExplodedGraph.cpp

index 71043f0ef67eb7d7d6af32877a4a6d1dbf37a1a7..c85d1e9107a8ddc274440012cde0d43ebc0a0ce1 100644 (file)
@@ -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:
   
index 95904cd3878fea4f9948ea803bc6b2ffc34c2c8e..0835944250fdfcd489ad536c27462a59e5c3190e 100644 (file)
@@ -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);