Lines Matching refs:Tombstone
96 // Set this as a tombstone.
108 const void *const *Tombstone = 0;
115 // Return a tombstone if we've seen one so far, or the empty bucket if
118 return Tombstone ? Tombstone : Array+Bucket;
120 // If this is a tombstone, remember it. If Ptr ends up not in the set, we
122 if (Array[Bucket] == getTombstoneMarker() && !Tombstone)
123 Tombstone = Array+Bucket; // Remember the first tombstone found.
125 // It's a hash collision or a tombstone. Reprobe.
