Lines Matching refs:Dst
27 ExplodedNodeSet &Dst) {
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
72 ExplodedNodeSet Dst;
85 evalBind(Dst, CallExpr, Pred, ThisVal, V, true);
88 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end();
251 ExplodedNodeSet &Dst) {
285 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated,
290 ExplodedNodeSet &Dst) {
346 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
387 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
394 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
395 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
402 ExplodedNodeSet &Dst) {
405 Dst.Add(Pred);
415 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
420 ExplodedNodeSet &Dst) {
421 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);