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()
1179 ExplodedNodeSet dstPrevisit; in Visit() local1180 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, C, *this); in Visit()1184 for (ExplodedNodeSet::iterator i = dstPrevisit.begin(), in Visit()1185 e = dstPrevisit.end(); i != e ; ++i) { in Visit()