| 55 | } |
| 56 | |
| 57 | void CleanupBefore(const T* regionBegin) { |
| 58 | // We leave elements preceding regionBegin in its page, we just don't want to store 100% garbage pages. |
| 59 | while (!V.empty() && !(&V.front().front() <= regionBegin && regionBegin <= &V.front().back())) { |
| 60 | V.pop_front(); |
| 61 | } |
| 62 | } |
| 63 | |
| 64 | void Clear() { |
| 65 | V.resize(1); |
no test coverage detected