diff options
Diffstat (limited to 'lib/Checker/CallInliner.cpp')
-rw-r--r-- | lib/Checker/CallInliner.cpp | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/lib/Checker/CallInliner.cpp b/lib/Checker/CallInliner.cpp index e3c5e6036a..150102c5ef 100644 --- a/lib/Checker/CallInliner.cpp +++ b/lib/Checker/CallInliner.cpp @@ -60,20 +60,10 @@ void CallInliner::EvalEndPath(GREndPathNodeBuilder &B, void *tag, ExplodedNode *Pred = B.getPredecessor(); const StackFrameContext *LocCtx = - cast<StackFrameContext>(Pred->getLocationContext()); + cast<StackFrameContext>(Pred->getLocationContext()); // Check if this is the top level stack frame. if (!LocCtx->getParent()) - return; - - const StackFrameContext *ParentSF = - cast<StackFrameContext>(LocCtx->getParent()); - - SymbolReaper SymReaper(*ParentSF->getLiveVariables(), Eng.getSymbolManager(), - ParentSF); - const Stmt *CE = LocCtx->getCallSite(); - // FIXME: move this logic to GRExprEngine::ProcessCallExit(). - state = Eng.getStateManager().RemoveDeadBindings(state, const_cast<Stmt*>(CE), - SymReaper); + return; B.GenerateCallExitNode(state); } |