reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
241 if (!Occupied && !Unused && !Known && !Written) 244 assert(Occupied || Unused); 249 if (!Occupied || !Unused) 252 assert(Occupied.is_disjoint(Unused)); 253 auto Universe = Occupied.unite(Unused); 274 bool isUsable() const { return (Occupied || Unused) && Known && Written; } 283 if (Unused) 284 OS.indent(Indent) << "Unused: " << Unused << "\n"; 297 assert(Unused && That.Occupied); 299 !That.Unused && 305 Unused = Unused.subtract(That.Occupied); 305 Unused = Unused.subtract(That.Occupied); 334 assert(Existing.Unused); 338 if (Existing.Occupied && Proposed.Unused) { 339 auto ExistingUniverse = Existing.Occupied.unite(Existing.Unused); 340 auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused); 373 auto ExistingUnusedAnyVal = makeUnknownForDomain(Existing.Unused); 455 convertZoneToTimepoints(Existing.Unused, true, false);