Searched refs:EffectiveDomain (Results 1 – 1 of 1) sorted by relevance
141 auto EffectiveDomain = in removeEmptyDomainStmts() local143 return EffectiveDomain.is_empty(); in removeEmptyDomainStmts()