Searched refs:ProposedWritten (Results 1 – 1 of 1) sorted by relevance
97 isl::union_map ProposedWritten) { in checkIsConflictingNonsymmetricCommon() argument110 if (ProposedWritten) in checkIsConflictingNonsymmetricCommon()111 Universe = Universe.unite(ProposedWritten.domain()); in checkIsConflictingNonsymmetricCommon()138 ProposedKnown, ProposedWritten); in checkIsConflictingNonsymmetricCommon()146 ProposedWritten)); in checkIsConflictingNonsymmetricCommon()150 ProposedWritten)); in checkIsConflictingNonsymmetricCommon()153 ProposedKnown, ProposedWritten)); in checkIsConflictingNonsymmetricCommon()172 auto ProposedWritten = parseMapOrNull(Ctx.get(), Proposed.WrittenStr); in checkIsConflictingNonsymmetricKnown() local176 ProposedOccupiedAndKnown, ProposedUnused, ProposedWritten); in checkIsConflictingNonsymmetricKnown()191 auto ProposedWritten = parseSetOrNull(Ctx.get(), Proposed.WrittenStr); in checkIsConflictingNonsymmetric() local[all …]