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