Lines Matching defs:DstPostCall

784   ExplodedNodeSet DstPostCall;
785   getCheckerManager().runCheckersForPostCall(DstPostCall,
788   getCheckerManager().runCheckersForPostStmt(destNodes, DstPostCall, E, *this);
886   ExplodedNodeSet DstPostCall;
887   StmtNodeBuilder CallBldr(DstPreCall, DstPostCall, *currBldrCtx);
892   // If the call is inlined, DstPostCall will be empty and we bail out now.
897   StmtNodeBuilder ValueBldr(DstPostCall, DstPostValue, *currBldrCtx);
898   for (ExplodedNode *I : DstPostCall) {
1083   ExplodedNodeSet DstPostCall;
1086     StmtNodeBuilder Bldr(DstPreCall, DstPostCall, *currBldrCtx);
1091     DstPostCall = DstPreCall;
1093   getCheckerManager().runCheckersForPostCall(Dst, DstPostCall, *Call, *this);