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 | 5eb1044ec1dad83abb70abf654acf69344557ed2 (patch) | |
| tree | 1dd77e251bcaf37a9347439e73389a2c4782e044 /lib/Analysis/GRCoreEngine.cpp | |
| parent | 61d46159af2a740207de8dc024211d531ae290d9 (diff) | |
Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct
a node, not the state of the predecessor.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49823 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRCoreEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/GRCoreEngine.cpp b/lib/Analysis/GRCoreEngine.cpp index 42c89270f9..ffb2fd2feb 100644 --- a/lib/Analysis/GRCoreEngine.cpp +++ b/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); |