Searched refs:dstPostCall (Results 1 – 1 of 1) sorted by relevance
702 ExplodedNodeSet dstPostCall; in evalCall() local703 getCheckerManager().runCheckersForPostCall(dstPostCall, dstArgumentCleanup, in evalCall()713 for (ExplodedNode *I : dstPostCall) { in evalCall()