[cfe-commits] r49823 - /cfe/trunk/lib/Analysis/GRCoreEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Apr 16 17:30:40 2008
New Revision: 49823

URL: http://llvm.org/viewvc/llvm-project?rev=49823&view=rev
Log:
Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct
a node, not the state of the predecessor.

Modified:
    cfe/trunk/lib/Analysis/GRCoreEngine.cpp

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

==============================================================================
--- cfe/trunk/lib/Analysis/GRCoreEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRCoreEngine.cpp Wed Apr 16 17:30:40 2008
@@ -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);