Searched refs:dstPostvisit (Results 1 – 1 of 1) sorted by relevance
254 ExplodedNodeSet dstPostvisit; in VisitObjCMessage() local255 getCheckerManager().runCheckersForPostCall(dstPostvisit, dstEval, in VisitObjCMessage()260 getCheckerManager().runCheckersForPostObjCMessage(Dst, dstPostvisit, in VisitObjCMessage()