diff options
Diffstat (limited to 'gcc/profile.c')
| -rw-r--r-- | gcc/profile.c | 28 |
1 files changed, 10 insertions, 18 deletions
diff --git a/gcc/profile.c b/gcc/profile.c index 25d14713408..6065558abe9 100644 --- a/gcc/profile.c +++ b/gcc/profile.c @@ -150,8 +150,7 @@ instrument_edges (struct edge_list *el) if (!inf->ignore && !inf->on_tree) { - if (e->flags & EDGE_ABNORMAL) - abort (); + gcc_assert (!(e->flags & EDGE_ABNORMAL)); if (dump_file) fprintf (dump_file, "Edge %d to %d instrumented%s\n", e->src->index, e->dest->index, @@ -197,7 +196,7 @@ instrument_values (histogram_values values) break; default: - abort (); + gcc_unreachable (); } if (!coverage_counter_alloc (t, hist->n_counters)) continue; @@ -221,7 +220,7 @@ instrument_values (histogram_values values) break; default: - abort (); + gcc_unreachable (); } } VEC_free (histogram_value, values); @@ -430,8 +429,7 @@ compute_branch_probabilities (void) /* Calculate count for remaining edge by conservation. */ total = bb->count - total; - if (! e) - abort (); + gcc_assert (e); EDGE_INFO (e)->count_valid = 1; e->count = total; bi->succ_count--; @@ -458,8 +456,7 @@ compute_branch_probabilities (void) /* Calculate count for remaining edge by conservation. */ total = bb->count - total + e->count; - if (! e) - abort (); + gcc_assert (e); EDGE_INFO (e)->count_valid = 1; e->count = total; bi->pred_count--; @@ -481,8 +478,7 @@ compute_branch_probabilities (void) succ and pred count of zero. */ FOR_EACH_BB (bb) { - if (BB_INFO (bb)->succ_count || BB_INFO (bb)->pred_count) - abort (); + gcc_assert (!BB_INFO (bb)->succ_count && !BB_INFO (bb)->pred_count); } /* For every edge, calculate its branch probability and add a reg_note @@ -1116,8 +1112,7 @@ branch_prob (void) n_instrumented = instrument_edges (el); - if (n_instrumented != num_instrumented) - abort (); + gcc_assert (n_instrumented == num_instrumented); if (flag_profile_values) instrument_values (values); @@ -1177,8 +1172,7 @@ union_groups (basic_block bb1, basic_block bb2) /* ??? I don't have a place for the rank field. OK. Lets go w/o it, this code is unlikely going to be performance problem anyway. */ - if (bb1g == bb2g) - abort (); + gcc_assert (bb1g != bb2g); bb1g->aux = bb2g; } @@ -1322,9 +1316,8 @@ end_branch_prob (void) void tree_register_profile_hooks (void) { + gcc_assert (ir_type ()); profile_hooks = &tree_profile_hooks; - if (!ir_type ()) - abort (); } /* Set up hooks to enable RTL-based profiling. */ @@ -1332,7 +1325,6 @@ tree_register_profile_hooks (void) void rtl_register_profile_hooks (void) { + gcc_assert (!ir_type ()); profile_hooks = &rtl_profile_hooks; - if (ir_type ()) - abort (); } |