Lines Matching refs:Tombstone
83 // Set this as a tombstone.
94 const void *const *Tombstone = nullptr;
97 // Return a tombstone if we've seen one so far, or the empty bucket if
100 return Tombstone ? Tombstone : Array+Bucket;
106 // If this is a tombstone, remember it. If Ptr ends up not in the set, we
108 if (Array[Bucket] == getTombstoneMarker() && !Tombstone)
109 Tombstone = Array+Bucket; // Remember the first tombstone found.
111 // It's a hash collision or a tombstone. Reprobe.
