| 145 | std::set<char*> buffer_list; |
| 146 | |
| 147 | void free_buffer(char* m) |
| 148 | { |
| 149 | auto const i = buffer_list.find(m); |
| 150 | TEST_CHECK(i != buffer_list.end()); |
| 151 | |
| 152 | buffer_list.erase(i); |
| 153 | std::free(m); |
| 154 | } |
| 155 | |
| 156 | char* allocate_buffer(int size) |
| 157 | { |
no test coverage detected