Lines Matching defs:DstPreCall

720   ExplodedNodeSet DstPreCall;
721   getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized,
729     StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
731     for (ExplodedNode *N : DstPreCall)
735     for (ExplodedNode *N : DstPreCall)
857   ExplodedNodeSet DstPreCall;
858   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,
862   StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx);
863   for (ExplodedNode *N : DstPreCall)
882   ExplodedNodeSet DstPreCall;
883   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred,
887   StmtNodeBuilder CallBldr(DstPreCall, DstPostCall, *currBldrCtx);
888   for (ExplodedNode *I : DstPreCall) {
1081   ExplodedNodeSet DstPreCall;
1082   getCheckerManager().runCheckersForPreCall(DstPreCall, Pred, *Call, *this);
1086     StmtNodeBuilder Bldr(DstPreCall, DstPostCall, *currBldrCtx);
1087     for (ExplodedNode *I : DstPreCall) {
1091     DstPostCall = DstPreCall;