diff options
Diffstat (limited to 'gcc/alloc-pool.h')
| -rw-r--r-- | gcc/alloc-pool.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/alloc-pool.h b/gcc/alloc-pool.h index 772d9a0..1fc3c57 100644 --- a/gcc/alloc-pool.h +++ b/gcc/alloc-pool.h @@ -59,6 +59,7 @@ typedef struct alloc_pool_def extern alloc_pool create_alloc_pool (const char *, size_t, size_t); extern void free_alloc_pool (alloc_pool); +extern void empty_alloc_pool (alloc_pool); extern void free_alloc_pool_if_empty (alloc_pool *); extern void *pool_alloc (alloc_pool); extern void pool_free (alloc_pool, void *); |