| 50 | } |
| 51 | |
| 52 | void* Realloc(void* old_ptr, size_t old_size, size_t new_size) { |
| 53 | (void)(old_size); |
| 54 | if (new_size == 0) { |
| 55 | Free(old_ptr); |
| 56 | return nullptr; |
| 57 | } |
| 58 | void* new_ptr = std::realloc(old_ptr, new_size); |
| 59 | return new_ptr; |
| 60 | } |
| 61 | |
| 62 | static void Free(void* ptr) { std::free(ptr); } |
| 63 |