Searched refs:DefEffect (Results 1 – 1 of 1) sorted by relevance
586 ArgEffect DefEffect = getStopTrackingHardEquivalent(S->getDefaultArgEffect()); in updateSummaryForNonZeroCallbackArg() local594 if (Translated.getKind() != DefEffect.getKind()) in updateSummaryForNonZeroCallbackArg()613 return getPersistentSummary(RE, ScratchArgs, RecEffect, DefEffect); in updateSummaryForNonZeroCallbackArg()