335   static bool isConflicting(const Knowledge &Existing,  in isConflicting()  argument
339     assert(!Existing.Unused.is_null());  in isConflicting()
343     if (!Existing.Occupied.is_null() && !Proposed.Unused.is_null()) {  in isConflicting()
344       auto ExistingUniverse = Existing.Occupied.unite(Existing.Unused);  in isConflicting()
378     auto ExistingUnusedAnyVal = makeUnknownForDomain(Existing.Unused);  in isConflicting()
379     auto ExistingValues = Existing.Known.unite(ExistingUnusedAnyVal);  in isConflicting()
391             Existing.Known.intersect_domain(Conflicting);  in isConflicting()
432         Existing.Written.intersect_domain(ProposedFixedDefs);  in isConflicting()
460         convertZoneToTimepoints(Existing.Unused, true, false);  in isConflicting()
462         convertZoneToTimepoints(Existing.Known, isl::dim::in, true, false);  in isConflicting()
489     auto ExistingWrittenDomain = Existing.Written.domain();  in isConflicting()
491         Existing.Written.domain().intersect(Proposed.Written.domain());  in isConflicting()
492     auto ExistingKnownWritten = filterKnownValInst(Existing.Written);  in isConflicting()
501             Existing.Written.intersect_domain(Conflicting);  in isConflicting()
1520   Knowledge Existing(std::move(ExistingOccupied), std::move(ExistingUnused),  in isConflicting()  local
1525   return Knowledge::isConflicting(Existing, Proposed, OS, Indent);  in isConflicting()