Free a previously allocated chunk of memory. Freeing the zero pointer has no effect. Raises std::runtime_error in case of error.

Synopsis

Declared in <support/lockedpool.h>

void
free(void* ptr);

Parameters

Name

Description

ptr

Pointer to the chunk previously returned by alloc.

Created with MrDocs