diff options
Diffstat (limited to 'gcc/tree-into-ssa.c')
| -rw-r--r-- | gcc/tree-into-ssa.c | 19 |
1 files changed, 4 insertions, 15 deletions
diff --git a/gcc/tree-into-ssa.c b/gcc/tree-into-ssa.c index 735d71f..bbec1b2 100644 --- a/gcc/tree-into-ssa.c +++ b/gcc/tree-into-ssa.c @@ -649,7 +649,6 @@ rewrite_initialize_block_local_data (struct dom_walk_data *walk_data ATTRIBUTE_U basic_block bb ATTRIBUTE_UNUSED, bool recycled ATTRIBUTE_UNUSED) { -#ifdef ENABLE_CHECKING struct rewrite_block_data *bd = (struct rewrite_block_data *)VARRAY_TOP_GENERIC_PTR (walk_data->block_data_stack); @@ -657,9 +656,7 @@ rewrite_initialize_block_local_data (struct dom_walk_data *walk_data ATTRIBUTE_U not cleared, then we are re-using a previously allocated entry. In that case, we can also re-use the underlying virtual arrays. Just make sure we clear them before using them! */ - if (recycled && bd->block_defs && VARRAY_ACTIVE_SIZE (bd->block_defs) > 0) - abort (); -#endif + gcc_assert (!recycled || !bd->block_defs || !(VARRAY_ACTIVE_SIZE (bd->block_defs) > 0)); } @@ -1064,12 +1061,9 @@ rewrite_stmt (struct dom_walk_data *walk_data, fprintf (dump_file, "\n"); } -#if defined ENABLE_CHECKING /* We have just scanned the code for operands. No statement should be modified. */ - if (ann->modified) - abort (); -#endif + gcc_assert (!ann->modified); /* Step 1. Rewrite USES and VUSES in the statement. */ FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter, SSA_OP_ALL_USES) @@ -1114,12 +1108,9 @@ ssa_rewrite_stmt (struct dom_walk_data *walk_data, fprintf (dump_file, "\n"); } -#if defined ENABLE_CHECKING /* We have just scanned the code for operands. No statement should be modified. */ - if (ann->modified) - abort (); -#endif + gcc_assert (!ann->modified); /* Step 1. Rewrite USES and VUSES in the statement. */ FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter, SSA_OP_ALL_USES) @@ -1421,9 +1412,7 @@ rewrite_into_ssa (bool all) else { /* Initialize the array of variables to rename. */ - - if (vars_to_rename == NULL) - abort (); + gcc_assert (vars_to_rename); if (bitmap_first_set_bit (vars_to_rename) < 0) { |