Searched refs:dstPrevisit (Results 1 – 2 of 2) sorted by relevance
230 ExplodedNodeSet dstPrevisit; in VisitObjCMessage() local231 getCheckerManager().runCheckersForPreObjCMessage(dstPrevisit, Pred, in VisitObjCMessage()234 getCheckerManager().runCheckersForPreCall(dstGenericPrevisit, dstPrevisit, in VisitObjCMessage()
2254 ExplodedNodeSet dstPrevisit; in Visit() local2255 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, MTE, *this); in Visit()2257 for (const auto i : dstPrevisit) in Visit()