Lines Matching refs:DstPostCall
782 ExplodedNodeSet DstPostCall; in handleConstructor() local
783 getCheckerManager().runCheckersForPostCall(DstPostCall, in handleConstructor()
786 getCheckerManager().runCheckersForPostStmt(destNodes, DstPostCall, E, *this); in handleConstructor()
884 ExplodedNodeSet DstPostCall; in VisitCXXNewAllocatorCall() local
885 StmtNodeBuilder CallBldr(DstPreCall, DstPostCall, *currBldrCtx); in VisitCXXNewAllocatorCall()
895 StmtNodeBuilder ValueBldr(DstPostCall, DstPostValue, *currBldrCtx); in VisitCXXNewAllocatorCall()
896 for (ExplodedNode *I : DstPostCall) { in VisitCXXNewAllocatorCall()
1076 ExplodedNodeSet DstPostCall; in VisitCXXDeleteExpr() local
1079 StmtNodeBuilder Bldr(DstPreCall, DstPostCall, *currBldrCtx); in VisitCXXDeleteExpr()
1084 DstPostCall = DstPreCall; in VisitCXXDeleteExpr()
1086 getCheckerManager().runCheckersForPostCall(Dst, DstPostCall, *Call, *this); in VisitCXXDeleteExpr()