diff options
Diffstat (limited to 'gcc/alloc-pool.c')
| -rw-r--r-- | gcc/alloc-pool.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/alloc-pool.c b/gcc/alloc-pool.c index 9a58808..bedcf1f 100644 --- a/gcc/alloc-pool.c +++ b/gcc/alloc-pool.c @@ -247,7 +247,9 @@ void * pool_alloc (alloc_pool pool) { alloc_pool_list header; - VALGRIND_DISCARD (int size); +#ifdef ENABLE_VALGRIND_CHECKING + int size; +#endif if (GATHER_STATISTICS) { @@ -260,7 +262,9 @@ pool_alloc (alloc_pool pool) } gcc_checking_assert (pool); - VALGRIND_DISCARD (size = pool->elt_size - offsetof (allocation_object, u.data)); +#ifdef ENABLE_VALGRIND_CHECKING + size = pool->elt_size - offsetof (allocation_object, u.data); +#endif /* If there are no more free elements, make some more!. */ if (!pool->returned_free_list) |