Detaches the scratch arena
| 62 | |
| 63 | // Detaches the scratch arena |
| 64 | void ScratchArenaManager::detach(ScratchArena* arena) |
| 65 | { |
| 66 | // We don't free/trim the heap yet because it's expensive. It can be done by calling trim(). |
| 67 | allocs[arena->name].arenas.erase(arena); |
| 68 | } |
| 69 | |
| 70 | // ----------------------------------------------------------------------------------------------- |
| 71 | // ScratchArena |