diff options
Diffstat (limited to 'gcc/alloc-pool.c')
| -rw-r--r-- | gcc/alloc-pool.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/alloc-pool.c b/gcc/alloc-pool.c index fb40577..0a58f37 100644 --- a/gcc/alloc-pool.c +++ b/gcc/alloc-pool.c @@ -292,11 +292,11 @@ pool_free (alloc_pool pool, void *ptr) gcc_assert (ptr); #ifdef ENABLE_CHECKING - memset (ptr, 0xaf, pool->elt_size - offsetof (allocation_object, u.data)); - /* Check whether the PTR was allocated from POOL. */ gcc_assert (pool->id == ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr)->id); + memset (ptr, 0xaf, pool->elt_size - offsetof (allocation_object, u.data)); + /* Mark the element to be free. */ ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr)->id = 0; #else |