| 120 | } |
| 121 | |
| 122 | void PopHeader() { |
| 123 | DCHECK(!empty()); |
| 124 | const Header* h = _header_queue.top(); |
| 125 | const size_t entry_size = HeaderSize(*h); |
| 126 | DCHECK_LE(entry_size, _size); |
| 127 | const uint64_t id = _add_times - _header_queue.size(); |
| 128 | if (_need_indexes) { |
| 129 | RemoveHeaderFromIndexes(*h, id); |
| 130 | } |
| 131 | _size -= entry_size; |
| 132 | _header_queue.pop(); |
| 133 | } |
| 134 | |
| 135 | void RemoveHeaderFromIndexes(const Header& h, uint64_t expected_id) { |
| 136 | if (!h.value.empty()) { |
no test coverage detected