diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-17 07:31:08 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-17 07:31:08 +0000 |
| commit | 8d6e89ee6176cc231c3fdc6bbbd06afc41b4bc1d (patch) | |
| tree | 61140abc28eb389bfd2b9800c915d2b8c94a00eb /lib/Checker/GRCXXExprEngine.cpp | |
| parent | b0607279cb98bbf2bbfe0db170aed39ef91e86a2 (diff) | |
do not do post checks. Because at this point we just enter the call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119480 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCXXExprEngine.cpp')
| -rw-r--r-- | lib/Checker/GRCXXExprEngine.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Checker/GRCXXExprEngine.cpp b/lib/Checker/GRCXXExprEngine.cpp index 1954c2d5d9..50f2cb51c0 100644 --- a/lib/Checker/GRCXXExprEngine.cpp +++ b/lib/Checker/GRCXXExprEngine.cpp @@ -192,10 +192,6 @@ void GRExprEngine::VisitCXXMemberCallExpr(const CXXMemberCallExpr *MCE, state = state->bindLoc(loc::MemRegionVal(ThisR),state->getSVal(ObjArgExpr)); SetupThis.Add(Builder->generateNode(Loc, state, *I)); } - - // Perform post-visit. - CheckerVisit(MCE, Dst, /* FIXME: don't forget to update later */ SetupThis, - PostVisitStmtCallback); } void GRExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, |