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()
1745 ExplodedNodeSet dstPrevisit; in Visit() local1746 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, MTE, *this); in Visit()1748 for (const auto i : dstPrevisit) in Visit()