Lines Matching refs:DstPreCall
717 ExplodedNodeSet DstPreCall; in handleConstructor() local
718 getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized, in handleConstructor()
726 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor()
728 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end(); in handleConstructor()
733 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end(); in handleConstructor()
854 ExplodedNodeSet DstPreCall; in VisitCXXDestructor() local
855 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, in VisitCXXDestructor()
859 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx); in VisitCXXDestructor()
860 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end(); in VisitCXXDestructor()
880 ExplodedNodeSet DstPreCall; in VisitCXXNewAllocatorCall() local
881 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, in VisitCXXNewAllocatorCall()
885 StmtNodeBuilder CallBldr(DstPreCall, DstPostCall, *currBldrCtx); in VisitCXXNewAllocatorCall()
886 for (ExplodedNode *I : DstPreCall) { in VisitCXXNewAllocatorCall()
1074 ExplodedNodeSet DstPreCall; in VisitCXXDeleteExpr() local
1075 getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, *Call, *this); in VisitCXXDeleteExpr()
1079 StmtNodeBuilder Bldr(DstPreCall, DstPostCall, *currBldrCtx); in VisitCXXDeleteExpr()
1080 for (ExplodedNode *I : DstPreCall) { in VisitCXXDeleteExpr()
1084 DstPostCall = DstPreCall; in VisitCXXDeleteExpr()