diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-25 07:36:34 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-25 07:36:34 +0000 |
commit | 9a9f627f3bc0b0eb948a8b95806383afd72c374e (patch) | |
tree | 7adfba2d7f9a254d405362203fc11feabfd60e7d /lib/Checker/CallInliner.cpp | |
parent | 23a370f9455698e5501101aea7ad8a884a8d4556 (diff) |
Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97129 91177308-0d34-0410-b5e6-96231b3b80d8
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); } |