diff options
| author | Jan Hubicka <jh@suse.cz> | 2010-06-13 16:50:26 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2010-06-13 14:50:26 +0000 |
| commit | 7a40b8b1219358fed159dbfe516ad795252f062c (patch) | |
| tree | aa39f92fe9688daf10109d15793c2c6e0bf4814a /gcc/var-tracking.c | |
| parent | 0f398cb4885e76e6f43310eaf9765d7f6b87e9ea (diff) | |
| download | gcc-7a40b8b1219358fed159dbfe516ad795252f062c.zip gcc-7a40b8b1219358fed159dbfe516ad795252f062c.tar.gz gcc-7a40b8b1219358fed159dbfe516ad795252f062c.tar.bz2 | |
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
Diffstat (limited to 'gcc/var-tracking.c')
| -rw-r--r-- | gcc/var-tracking.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 5740558..8786a7d 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -1167,7 +1167,7 @@ variable_htab_free (void *elem) variable var = (variable) elem; location_chain node, next; - gcc_assert (var->refcount > 0); + gcc_checking_assert (var->refcount > 0); var->refcount--; if (var->refcount > 0) @@ -1370,7 +1370,7 @@ shared_hash_copy (shared_hash vars) static void shared_hash_destroy (shared_hash vars) { - gcc_assert (vars->refcount > 0); + gcc_checking_assert (vars->refcount > 0); if (--vars->refcount == 0) { htab_delete (vars->htab); @@ -3066,7 +3066,7 @@ canonicalize_values_mark (void **slot, void *data) if (!dv_is_value_p (dv)) return 1; - gcc_assert (var->n_var_parts == 1); + gcc_checking_assert (var->n_var_parts == 1); val = dv_as_value (dv); @@ -3109,7 +3109,7 @@ canonicalize_values_star (void **slot, void *data) if (!dv_onepart_p (dv)) return 1; - gcc_assert (var->n_var_parts == 1); + gcc_checking_assert (var->n_var_parts == 1); if (dv_is_value_p (dv)) { @@ -3299,8 +3299,8 @@ canonicalize_values_star (void **slot, void *data) /* Variable may have been unshared. */ var = (variable)*slot; - gcc_assert (var->n_var_parts && var->var_part[0].loc_chain->loc == cval - && var->var_part[0].loc_chain->next == NULL); + gcc_checking_assert (var->n_var_parts && var->var_part[0].loc_chain->loc == cval + && var->var_part[0].loc_chain->next == NULL); if (VALUE_RECURSED_INTO (cval)) goto restart_with_cval; @@ -3389,14 +3389,14 @@ variable_merge_over_cur (variable s1var, struct dfset_merge *dsm) /* If the incoming onepart variable has an empty location list, then the intersection will be just as empty. For other variables, it's always union. */ - gcc_assert (s1var->n_var_parts - && s1var->var_part[0].loc_chain); + gcc_checking_assert (s1var->n_var_parts + && s1var->var_part[0].loc_chain); if (!onepart) return variable_union (s1var, dst); - gcc_assert (s1var->n_var_parts == 1 - && s1var->var_part[0].offset == 0); + gcc_checking_assert (s1var->n_var_parts == 1 + && s1var->var_part[0].offset == 0); dvhash = dv_htab_hash (dv); if (dv_is_value_p (dv)) |