Lines Matching refs:Dst
161 ExplodedNodeSet &Dst) {
167 Dst.Add(Pred);
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
322 // CEENode -> Dst -> WorkList
335 ExplodedNodeSet Dst;
337 getCheckerManager().runCheckersForPostObjCMessage(Dst, DstPostCall, *Msg,
341 getCheckerManager().runCheckersForPostStmt(Dst, DstPostCall, CE,
344 Dst.insert(DstPostCall);
348 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end();
503 // the created nodes in 'Dst'.
510 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
531 getCheckerManager().runCheckersForPostCall(Dst, dstCallEvaluated,
992 ExplodedNodeSet &Dst) {
997 StmtNodeBuilder B(dstPreVisit, Dst, *currBldrCtx);