Incorporates |range| into visited elements. If the |range| is contiguous with the last range, extend the last range, otherwise add |range| separately to the list.
| 202 | // with the last range, extend the last range, otherwise add |range| separately |
| 203 | // to the list. |
| 204 | void RecordPostListVisit(const ElementRange& range) { |
| 205 | if (!visited_elements.empty() && range.start == visited_elements.back().end) { |
| 206 | visited_elements.back().end = range.end; |
| 207 | return; |
| 208 | } |
| 209 | visited_elements.push_back(range); |
| 210 | } |
| 211 | |
| 212 | Status last_status; |
| 213 | TypedBufferBuilder<int16_t> rep_levels; |
no test coverage detected