diff options
Diffstat (limited to 'gcc/alloc-pool.h')
| -rw-r--r-- | gcc/alloc-pool.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/alloc-pool.h b/gcc/alloc-pool.h index 48d017217a9..6364fbcf1ae 100644 --- a/gcc/alloc-pool.h +++ b/gcc/alloc-pool.h @@ -32,7 +32,7 @@ typedef struct alloc_pool_list_def typedef struct alloc_pool_def { - char *name; + const char *name; #ifdef ENABLE_CHECKING ALLOC_POOL_ID_TYPE id; #endif @@ -51,4 +51,5 @@ extern alloc_pool create_alloc_pool (const char *, size_t, size_t); extern void free_alloc_pool (alloc_pool); extern void *pool_alloc (alloc_pool); extern void pool_free (alloc_pool, void *); +extern void dump_alloc_pool_statistics (void); #endif |