Home | History | Annotate | Download | only in Core

Lines Matching refs:dstPreVisit

455   ExplodedNodeSet dstPreVisit;
456   getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this);
459   StmtNodeBuilder B(dstPreVisit, dstEvaluated, *currBldrCtx);
460   for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end();