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