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