Searched refs:tombstones_dumped (Results 1 – 1 of 1) sorted by relevance
1397 const bool tombstones_dumped = AddDumps(ds.tombstone_data_.begin(), ds.tombstone_data_.end(), in dumpstate() local1399 if (!tombstones_dumped) { in dumpstate()