do not do post checks. Because at this point we just enter the call.

llvm-svn: 119480
This commit is contained in:
Zhongxing Xu 2010-11-17 07:31:08 +00:00
parent 39720111e0
commit 35d023164c
1 changed files with 0 additions and 4 deletions

View File

@ -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,