Searched refs:dstPrevisit (Results 1 – 2 of 2) sorted by relevance
213 ExplodedNodeSet dstPrevisit; in VisitObjCMessage() local214 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred, in VisitObjCMessage()217 getCheckerManager().runCheckersForPreCall(dstGenericPrevisit, dstPrevisit, in VisitObjCMessage()
1204 ExplodedNodeSet dstPrevisit; in Visit() local1205 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, C, *this); in Visit()1209 for (ExplodedNodeSet::iterator i = dstPrevisit.begin(), in Visit()1210 e = dstPrevisit.end(); i != e ; ++i) { in Visit()