[cfe-commits] r55402 - in /cfe/trunk: include/clang/Analysis/PathSensitive/ExplodedGraph.h lib/Analysis/ExplodedGraph.cpp

Ted Kremenek kremenek at apple.com
Tue Aug 26 20:27:52 CDT 2008


Author: kremenek
Date: Tue Aug 26 20:27:52 2008
New Revision: 55402

URL: http://llvm.org/viewvc/llvm-project?rev=55402&view=rev
Log:
Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/ExplodedGraph.h
    cfe/trunk/lib/Analysis/ExplodedGraph.cpp

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/ExplodedGraph.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/ExplodedGraph.h?rev=55402&r1=55401&r2=55402&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/ExplodedGraph.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/ExplodedGraph.h Tue Aug 26 20:27:52 2008
@@ -110,11 +110,7 @@
   
   /// 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:
   

Modified: cfe/trunk/lib/Analysis/ExplodedGraph.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/ExplodedGraph.cpp?rev=55402&r1=55401&r2=55402&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/ExplodedGraph.cpp (original)
+++ cfe/trunk/lib/Analysis/ExplodedGraph.cpp Tue Aug 26 20:27:52 2008
@@ -27,6 +27,12 @@
   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);




More information about the cfe-commits mailing list