diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-16 22:30:40 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-16 22:30:40 +0000 |
| commit | 86051690ea627a223836c491e89aa6ddb75b9ab8 (patch) | |
| tree | 29a4a83cf0ad5220d01b1879b99e7c85e5685f0f /clang/lib/Analysis | |
| parent | c1279f5e4b158bddb07c416620890e21e76111c9 (diff) | |
| download | bcm5719-llvm-86051690ea627a223836c491e89aa6ddb75b9ab8.tar.gz bcm5719-llvm-86051690ea627a223836c491e89aa6ddb75b9ab8.zip | |
Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct
a node, not the state of the predecessor.
llvm-svn: 49823
Diffstat (limited to 'clang/lib/Analysis')
| -rw-r--r-- | clang/lib/Analysis/GRCoreEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/Analysis/GRCoreEngine.cpp b/clang/lib/Analysis/GRCoreEngine.cpp index 42c89270f90..ffb2fd2feba 100644 --- a/clang/lib/Analysis/GRCoreEngine.cpp +++ b/clang/lib/Analysis/GRCoreEngine.cpp @@ -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); |
