Home | History | Annotate | Download | only in Core

Lines Matching defs:Dst

27                                           ExplodedNodeSet &Dst) {
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
58 ExplodedNodeSet Dst;
71 evalBind(Dst, CallExpr, Pred, ThisVal, V, true);
74 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end();
360 ExplodedNodeSet &Dst) {
396 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated,
402 ExplodedNodeSet &Dst) {
421 getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated,
427 ExplodedNodeSet &Dst) {
486 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
525 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
532 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
533 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
540 ExplodedNodeSet &Dst) {
543 Dst.Add(Pred);
553 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
558 ExplodedNodeSet &Dst) {
559 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
574 ExplodedNodeSet &Dst) {
622 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, LE, *this);