reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
241 if (!Occupied && !Unused && !Known && !Written) 246 assert(Written); 256 assert(!Written.domain().is_subset(Universe).is_false()); 274 bool isUsable() const { return (Occupied || Unused) && Known && Written; } 288 OS.indent(Indent) << "Written : " << Written << '\n'; 307 Written = Written.unite(That.Written); 307 Written = Written.unite(That.Written); 307 Written = Written.unite(That.Written); 427 Existing.Written.intersect_domain(ProposedFixedDefs); 459 auto ProposedWrittenDomain = Proposed.Written.domain(); 460 auto KnownIdentical = ExistingKnownDefs.intersect(Proposed.Written); 469 Proposed.Written.intersect_domain(Conflicting); 484 auto ExistingWrittenDomain = Existing.Written.domain(); 486 Existing.Written.domain().intersect(Proposed.Written.domain()); 486 Existing.Written.domain().intersect(Proposed.Written.domain()); 487 auto ExistingKnownWritten = filterKnownValInst(Existing.Written); 488 auto ProposedKnownWritten = filterKnownValInst(Proposed.Written); 496 Existing.Written.intersect_domain(Conflicting); 498 Proposed.Written.intersect_domain(Conflicting);