commit d004c418b69ce11473bf5cc74db46e16272ee63d
author Ted Kremenek <kremenek@apple.com> Fri Apr 18 16:30:14 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Apr 18 16:30:14 2008 +0000
tree bc18f585262579a458128f641f43c90620346cf3
parent b06817e914e2fad55fb19abfecc1fae83e0da62b

Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache.

llvm-svn: 49907

clang/lib/Analysis/CFRefCount.cpp

diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp
index 1c2f20a..1618f04 100644
--- a/clang/lib/Analysis/CFRefCount.cpp
+++ b/clang/lib/Analysis/CFRefCount.cpp
@@ -1065,6 +1065,10 @@
   }
       
   ExplodedNode<ValueState>* N = Builder.MakeNode(St);  
+  
+  if (!N)
+    return;
+  
   std::vector<SymbolID>*& LeaksAtNode = Leaks[N];
   assert (!LeaksAtNode);
   LeaksAtNode = new std::vector<SymbolID>();

clang/lib/Analysis/GRCoreEngine.cpp

diff --git a/clang/lib/Analysis/GRCoreEngine.cpp b/clang/lib/Analysis/GRCoreEngine.cpp
index ffb2fd2..7ad7f73 100644
--- a/clang/lib/Analysis/GRCoreEngine.cpp
+++ b/clang/lib/Analysis/GRCoreEngine.cpp
@@ -456,7 +456,8 @@
   if (IsNew) {
     Node->markAsSink();
     Eng.G->addEndOfPath(Node);
+    return Node;
   }
   
-  return Node;
+  return NULL;
 }