Searched refs:dstPostvisit (Results 1 – 1 of 1) sorted by relevance
276 ExplodedNodeSet dstPostvisit; in VisitObjCMessage() local277 getCheckerManager().runCheckersForPostCall(dstPostvisit, dstArgCleanup, in VisitObjCMessage()282 getCheckerManager().runCheckersForPostObjCMessage(Dst, dstPostvisit, in VisitObjCMessage()