aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/CallInliner.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-02-25 07:36:34 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-02-25 07:36:34 +0000
commit9a9f627f3bc0b0eb948a8b95806383afd72c374e (patch)
tree7adfba2d7f9a254d405362203fc11feabfd60e7d /lib/Checker/CallInliner.cpp
parent23a370f9455698e5501101aea7ad8a884a8d4556 (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.cpp14
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);
}