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