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