Lines Matching refs:dstPrevisit
702 ExplodedNodeSet dstPrevisit;703 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, C, *this);707 for (ExplodedNodeSet::iterator i = dstPrevisit.begin(),708 e = dstPrevisit.end(); i != e ; ++i) {