From 7a40b8b1219358fed159dbfe516ad795252f062c Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Sun, 13 Jun 2010 16:50:26 +0200 Subject: bitmap.c (bitmap_and, [...]): Turn internal datastructure checks into checking asserts. * bitmap.c (bitmap_and, bitmap_and_into, bitmap_and_compl, bitmap_and_compl_into, bitmap_compl_and_into, bitmap_ior, bitmap_ior_into, bitmap_xor, bitmap_xor_into, bitmap_ior_and_compl, bitmap_ior_and_compl): Turn internal datastructure checks into checking asserts. * rtlanal.c (find_reg_note): Use gcc_checking_assert. * tree-ssa-sccvn.c (VN_INFO): Likewise. * df-scan.c (df_reorganize_refs_by_reg_by_reg, df_install_ref, df_ref_create_structure): Likewise. * alloc-pool.c (create_alloc_pool, empty_alloc_pool, pool_alloc, pool_free): Use gcc_checking_assert. * alias.c (get_alias_set): Likewise. * var-tracking.c (variable_htab_free, shared_hash_copy, canonicalize_values_mark, variable_merge_over_cur): Likewise. * lto-streamer.c (bp_unpack_value): Likewise. From-SVN: r160681 --- gcc/alloc-pool.c | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'gcc/alloc-pool.c') diff --git a/gcc/alloc-pool.c b/gcc/alloc-pool.c index 6eecef5..ade1753 100644 --- a/gcc/alloc-pool.c +++ b/gcc/alloc-pool.c @@ -137,7 +137,7 @@ create_alloc_pool (const char *name, size_t size, size_t num) struct alloc_pool_descriptor *desc; #endif - gcc_assert (name); + gcc_checking_assert (name); /* Make size large enough to store the list header. */ if (size < sizeof (alloc_pool_list)) @@ -152,7 +152,7 @@ create_alloc_pool (const char *name, size_t size, size_t num) #endif /* Um, we can't really allocate 0 elements per block. */ - gcc_assert (num); + gcc_checking_assert (num); /* Allocate memory for the pool structure. */ pool = XNEW (struct alloc_pool_def); @@ -201,7 +201,7 @@ empty_alloc_pool (alloc_pool pool) struct alloc_pool_descriptor *desc = alloc_pool_descriptor (pool->name); #endif - gcc_assert (pool); + gcc_checking_assert (pool); /* Free each block allocated to the pool. */ for (block = pool->block_list; block != NULL; block = next_block) @@ -260,7 +260,7 @@ pool_alloc (alloc_pool pool) desc->peak = desc->current; #endif - gcc_assert (pool); + gcc_checking_assert (pool); /* If there are no more free elements, make some more!. */ if (!pool->returned_free_list) @@ -328,19 +328,19 @@ pool_free (alloc_pool pool, void *ptr) struct alloc_pool_descriptor *desc = alloc_pool_descriptor (pool->name); #endif - gcc_assert (ptr); #ifdef ENABLE_CHECKING - /* Check whether the PTR was allocated from POOL. */ - gcc_assert (pool->id == ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr)->id); + gcc_assert (ptr + /* Check if we free more than we allocated, which is Bad (TM). */ + && pool->elts_free < pool->elts_allocated + /* Check whether the PTR was allocated from POOL. */ + && 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 - /* Check if we free more than we allocated, which is Bad (TM). */ - gcc_assert (pool->elts_free < pool->elts_allocated); #endif header = (alloc_pool_list) ptr; -- cgit v1.1