| 1060 | void scratch_pop(size_t bytes_to_remove) { scratch_ -= bytes_to_remove; } |
| 1061 | |
| 1062 | void swap(vector_downward &other) { |
| 1063 | using std::swap; |
| 1064 | swap(allocator_, other.allocator_); |
| 1065 | swap(own_allocator_, other.own_allocator_); |
| 1066 | swap(initial_size_, other.initial_size_); |
| 1067 | swap(buffer_minalign_, other.buffer_minalign_); |
| 1068 | swap(reserved_, other.reserved_); |
| 1069 | swap(buf_, other.buf_); |
| 1070 | swap(cur_, other.cur_); |
| 1071 | swap(scratch_, other.scratch_); |
| 1072 | } |
| 1073 | |
| 1074 | void swap_allocator(vector_downward &other) { |
| 1075 | using std::swap; |
no outgoing calls
no test coverage detected