Searched refs:RecEffect (Results 1 – 1 of 1) sorted by relevance
593 ArgEffect RecEffect = getStopTrackingHardEquivalent(S->getReceiverEffect()); in updateSummaryForNonZeroCallbackArg() local621 return getPersistentSummary(RE, ScratchArgs, RecEffect, DefEffect); in updateSummaryForNonZeroCallbackArg()