Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct

a node, not the state of the predecessor.

llvm-svn: 49823
This commit is contained in:
Ted Kremenek 2008-04-16 22:30:40 +00:00
parent c1279f5e4b
commit 86051690ea
1 changed files with 1 additions and 1 deletions

View File

@ -448,7 +448,7 @@ ExplodedNodeImpl* GREndPathNodeBuilderImpl::generateNodeImpl(void* State) {
bool IsNew;
ExplodedNodeImpl* Node =
Eng.G->getNodeImpl(BlockEntrance(&B), Pred->State, &IsNew);
Eng.G->getNodeImpl(BlockEntrance(&B), State, &IsNew);
Node->addPredecessor(Pred);