Searched refs:IdenticalOrUnused (Results 1 – 1 of 1) sorted by relevance
462 auto IdenticalOrUnused = in isConflicting() local464 if (!ProposedWrittenDomain.is_subset(IdenticalOrUnused)) { in isConflicting()466 auto Conflicting = ProposedWrittenDomain.subtract(IdenticalOrUnused); in isConflicting()