diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-12-14 22:15:06 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-12-14 22:15:06 +0000 |
commit | 814c416636780d2d3a76bdc1a9e0a301d2251888 (patch) | |
tree | 77e9e9faa47541c3feae459a5245a9d6c5d84b93 /clang/lib/Analysis/GRExprEngine.cpp | |
parent | 590d18f10315cb75b00eb10d8f6bebecb382336d (diff) | |
download | bcm5719-llvm-814c416636780d2d3a76bdc1a9e0a301d2251888.tar.gz bcm5719-llvm-814c416636780d2d3a76bdc1a9e0a301d2251888.zip |
Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference
llvm-svn: 91348
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
-rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 4e88f18d0c0..033d105a935 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -394,8 +394,9 @@ void GRExprEngine::ProcessStmt(Stmt* S, GRStmtNodeBuilder& builder) { Builder->setAuditor(BatchAuditor.get()); // Create the cleaned state. - SymbolReaper SymReaper(Builder->getBasePredecessor()->getLiveVariables(), - SymMgr); + const ExplodedNode *BasePred = Builder->getBasePredecessor(); + SymbolReaper SymReaper(BasePred->getLiveVariables(), SymMgr, + BasePred->getLocationContext()->getCurrentStackFrame()); CleanedState = AMgr.shouldPurgeDead() ? StateMgr.RemoveDeadBindings(EntryNode->getState(), CurrentStmt, SymReaper) : EntryNode->getState(); |