Searched refs:dstArgumentCleanup (Results 1 – 1 of 1) sorted by relevance
592 ExplodedNodeSet dstArgumentCleanup; in evalCall() local594 finishArgumentConstruction(dstArgumentCleanup, I, Call); in evalCall()597 getCheckerManager().runCheckersForPostCall(dstPostCall, dstArgumentCleanup, in evalCall()