Free a previously allocated chunk of memory. Freeing the zero pointer has no effect. Raises std::runtime_error in case of error.
Declared in <support/lockedpool.h>
void
free(void* ptr);| Name | Description |
|---|---|
| ptr | Pointer to the chunk previously returned by alloc. |