Searched refs:dstPrevisit (Results 1 – 2 of 2) sorted by relevance
143 ExplodedNodeSet dstPrevisit; in VisitObjCMessage() local144 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred, in VisitObjCMessage()147 getCheckerManager().runCheckersForPreCall(dstGenericPrevisit, dstPrevisit, in VisitObjCMessage()
1174 ExplodedNodeSet dstPrevisit; in Visit() local1175 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, C, *this); in Visit()1179 for (ExplodedNodeSet::iterator i = dstPrevisit.begin(), in Visit()1180 e = dstPrevisit.end(); i != e ; ++i) { in Visit()