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