| 1135 | void scratch_pop(size_t bytes_to_remove) { scratch_ -= bytes_to_remove; } |
| 1136 | |
| 1137 | void swap(vector_downward &other) { |
| 1138 | using std::swap; |
| 1139 | swap(allocator_, other.allocator_); |
| 1140 | swap(own_allocator_, other.own_allocator_); |
| 1141 | swap(initial_size_, other.initial_size_); |
| 1142 | swap(buffer_minalign_, other.buffer_minalign_); |
| 1143 | swap(reserved_, other.reserved_); |
| 1144 | swap(buf_, other.buf_); |
| 1145 | swap(cur_, other.cur_); |
| 1146 | swap(scratch_, other.scratch_); |
| 1147 | } |
| 1148 | |
| 1149 | void swap_allocator(vector_downward &other) { |
| 1150 | using std::swap; |
no outgoing calls
no test coverage detected