Searched refs:dstGenericPrevisit (Results 1 – 1 of 1) sorted by relevance
146 ExplodedNodeSet dstGenericPrevisit; in VisitObjCMessage() local147 getCheckerManager().runCheckersForPreCall(dstGenericPrevisit, dstPrevisit, in VisitObjCMessage()152 StmtNodeBuilder Bldr(dstGenericPrevisit, dstEval, *currBldrCtx); in VisitObjCMessage()154 for (ExplodedNodeSet::iterator DI = dstGenericPrevisit.begin(), in VisitObjCMessage()155 DE = dstGenericPrevisit.end(); DI != DE; ++DI) { in VisitObjCMessage()