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/GRCoreEngine.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/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index 17ef1d48f5..cbc1cf2621 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -674,14 +674,14 @@ void GRCallEnterNodeBuilder::GenerateNode(const GRState *state, Eng.WList->Enqueue(Node); } -void GRCallExitNodeBuilder::GenerateNode() { +void GRCallExitNodeBuilder::GenerateNode(const GRState *state) { // Get the callee's location context. const StackFrameContext *LocCtx = cast<StackFrameContext>(Pred->getLocationContext()); PostStmt Loc(LocCtx->getCallSite(), LocCtx->getParent()); bool isNew; - ExplodedNode *Node = Eng.G->getNode(Loc, Pred->getState(), &isNew); + ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew); Node->addPredecessor(const_cast<ExplodedNode*>(Pred), *Eng.G); if (isNew) Eng.WList->Enqueue(Node, *const_cast<CFGBlock*>(LocCtx->getCallSiteBlock()), |