Searched refs:DefEffect (Results 1 – 1 of 1) sorted by relevance
548 ArgEffect DefEffect = in updateSummaryForCall() local557 if (Translated.getKind() != DefEffect.getKind()) in updateSummaryForCall()578 S = getPersistentSummary(RE, ScratchArgs, RecEffect, DefEffect); in updateSummaryForCall()