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/df-scan.c | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'gcc/df-scan.c') diff --git a/gcc/df-scan.c b/gcc/df-scan.c index 902afda..3534429 100644 --- a/gcc/df-scan.c +++ b/gcc/df-scan.c @@ -1554,7 +1554,7 @@ df_reorganize_refs_by_reg_by_reg (struct df_ref_info *ref_info, DF_REF_ID (ref) = offset++; count++; ref = DF_REF_NEXT_REG (ref); - gcc_assert (offset < ref_info->refs_size); + gcc_checking_assert (offset < ref_info->refs_size); } } if (include_uses) @@ -1566,7 +1566,7 @@ df_reorganize_refs_by_reg_by_reg (struct df_ref_info *ref_info, DF_REF_ID (ref) = offset++; count++; ref = DF_REF_NEXT_REG (ref); - gcc_assert (offset < ref_info->refs_size); + gcc_checking_assert (offset < ref_info->refs_size); } } if (include_eq_uses) @@ -1578,7 +1578,7 @@ df_reorganize_refs_by_reg_by_reg (struct df_ref_info *ref_info, DF_REF_ID (ref) = offset++; count++; ref = DF_REF_NEXT_REG (ref); - gcc_assert (offset < ref_info->refs_size); + gcc_checking_assert (offset < ref_info->refs_size); } } ref_info->count[regno] = count; @@ -2593,8 +2593,8 @@ df_install_ref (df_ref this_ref, df->hard_regs_live_count[regno]++; } - gcc_assert (DF_REF_NEXT_REG (this_ref) == NULL - && DF_REF_PREV_REG (this_ref) == NULL); + gcc_checking_assert (DF_REF_NEXT_REG (this_ref) == NULL + && DF_REF_PREV_REG (this_ref) == NULL); DF_REF_NEXT_REG (this_ref) = head; @@ -2789,19 +2789,19 @@ df_ref_create_structure (enum df_ref_class cl, { case DF_REF_BASE: this_ref = (df_ref) pool_alloc (problem_data->ref_base_pool); - gcc_assert (loc == NULL); + gcc_checking_assert (loc == NULL); break; case DF_REF_ARTIFICIAL: this_ref = (df_ref) pool_alloc (problem_data->ref_artificial_pool); this_ref->artificial_ref.bb = bb; - gcc_assert (loc == NULL); + gcc_checking_assert (loc == NULL); break; case DF_REF_REGULAR: this_ref = (df_ref) pool_alloc (problem_data->ref_regular_pool); this_ref->regular_ref.loc = loc; - gcc_assert (loc); + gcc_checking_assert (loc); break; case DF_REF_EXTRACT: @@ -2810,7 +2810,7 @@ df_ref_create_structure (enum df_ref_class cl, DF_REF_EXTRACT_OFFSET (this_ref) = offset; DF_REF_EXTRACT_MODE (this_ref) = mode; this_ref->regular_ref.loc = loc; - gcc_assert (loc); + gcc_checking_assert (loc); break; } @@ -2880,7 +2880,7 @@ df_ref_record (enum df_ref_class cl, { unsigned int regno; - gcc_assert (REG_P (reg) || GET_CODE (reg) == SUBREG); + gcc_checking_assert (REG_P (reg) || GET_CODE (reg) == SUBREG); regno = REGNO (GET_CODE (reg) == SUBREG ? SUBREG_REG (reg) : reg); if (regno < FIRST_PSEUDO_REGISTER) -- cgit v1.1