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