diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-24 08:53:20 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-24 08:53:20 +0000 |
commit | 19b78d9e3dbbc27bbcbdd8c3017a00fe88849ecd (patch) | |
tree | 313c72a34a82e178a70c3e47e395c0ae564cb99a /lib/Checker/GRCXXExprEngine.cpp | |
parent | 5281b8ed0e395603e5ff15ecc01ee0d0dff2e0fd (diff) |
Use StackFrameContext directly in CallEnter program point. Then we don't need
to remake the stackframe everytime in GRExprEngine::ProcessCallEnter().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120087 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCXXExprEngine.cpp')
-rw-r--r-- | lib/Checker/GRCXXExprEngine.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Checker/GRCXXExprEngine.cpp b/lib/Checker/GRCXXExprEngine.cpp index ecc1490ce6..e9939af1eb 100644 --- a/lib/Checker/GRCXXExprEngine.cpp +++ b/lib/Checker/GRCXXExprEngine.cpp @@ -130,7 +130,7 @@ void GRExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *E, const CXXThisRegion *ThisR =getCXXThisRegion(E->getConstructor()->getParent(), SFC); - CallEnter Loc(E, SFC->getAnalysisContext(), Pred->getLocationContext()); + CallEnter Loc(E, SFC, Pred->getLocationContext()); for (ExplodedNodeSet::iterator NI = ArgsEvaluated.begin(), NE = ArgsEvaluated.end(); NI != NE; ++NI) { const GRState *state = GetState(*NI); @@ -158,7 +158,7 @@ void GRExprEngine::VisitCXXDestructor(const CXXDestructorDecl *DD, const CXXThisRegion *ThisR = getCXXThisRegion(DD->getParent(), SFC); - CallEnter PP(S, SFC->getAnalysisContext(), Pred->getLocationContext()); + CallEnter PP(S, SFC, Pred->getLocationContext()); const GRState *state = Pred->getState(); state = state->bindLoc(loc::MemRegionVal(ThisR), loc::MemRegionVal(Dest)); @@ -243,7 +243,7 @@ void GRExprEngine::EvalMethodCall(const CallExpr *MCE, const CXXMethodDecl *MD, Builder->getBlock(), Builder->getIndex()); const CXXThisRegion *ThisR = getCXXThisRegion(MD->getParent(), SFC); - CallEnter Loc(MCE, SFC->getAnalysisContext(), Pred->getLocationContext()); + CallEnter Loc(MCE, SFC, Pred->getLocationContext()); for (ExplodedNodeSet::iterator I = PreVisitChecks.begin(), E = PreVisitChecks.end(); I != E; ++I) { // Set up 'this' region. |