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