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