commit 86051690ea627a223836c491e89aa6ddb75b9ab8
author Ted Kremenek <kremenek@apple.com> Wed Apr 16 22:30:40 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Apr 16 22:30:40 2008 +0000
tree 29a4a83cf0ad5220d01b1879b99e7c85e5685f0f
parent c1279f5e4b158bddb07c416620890e21e76111c9

Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct
a node, not the state of the predecessor.

llvm-svn: 49823

clang/lib/Analysis/GRCoreEngine.cpp

diff --git a/clang/lib/Analysis/GRCoreEngine.cpp b/clang/lib/Analysis/GRCoreEngine.cpp
index 42c8927..ffb2fd2 100644
--- a/clang/lib/Analysis/GRCoreEngine.cpp
+++ b/clang/lib/Analysis/GRCoreEngine.cpp
@@ -448,7 +448,7 @@
   bool IsNew;
   
   ExplodedNodeImpl* Node =
-    Eng.G->getNodeImpl(BlockEntrance(&B), Pred->State, &IsNew);
+    Eng.G->getNodeImpl(BlockEntrance(&B), State, &IsNew);
   
 
   Node->addPredecessor(Pred);