Lines Matching defs:Dst

32                                           ExplodedNodeSet &Dst) {
33   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
67   ExplodedNodeSet Dst;
79   evalBind(Dst, CallExpr, Pred, ThisVal, V, true);
82   for (ExplodedNode *N : Dst) {
793                                        ExplodedNodeSet &Dst) {
794   handleConstructor(CE, Pred, Dst);
799     ExplodedNodeSet &Dst) {
800   handleConstructor(CE, Pred, Dst);
808                                     ExplodedNodeSet &Dst,
826     NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
842       NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
866   getCheckerManager().runCheckersForPostCall(Dst, DstInvalidated,
872                                           ExplodedNodeSet &Dst) {
938     getCheckerManager().runCheckersForNewAllocator(*Call, Dst, I, *this);
943                                    ExplodedNodeSet &Dst) {
1002   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1068       evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
1075                                     ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1093   getCheckerManager().runCheckersForPostCall(Dst, DstPostCall, *Call, *this);
1097                                    ExplodedNodeSet &Dst) {
1100     Dst.Add(Pred);
1110   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1115                                     ExplodedNodeSet &Dst) {
1116   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1131                                  ExplodedNodeSet &Dst) {
1201   getCheckerManager().runCheckersForPostStmt(Dst, Tmp, LE, *this);