Searched refs:DefEffect (Results 1 – 1 of 1) sorted by relevance
934 ArgEffect DefEffect = in updateSummaryForCall() local942 if (Translated != DefEffect) in updateSummaryForCall()960 S = getPersistentSummary(RE, RecEffect, DefEffect); in updateSummaryForCall()