diff options
Diffstat (limited to 'gcc/cfg.c')
| -rw-r--r-- | gcc/cfg.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/cfg.c b/gcc/cfg.c index 85d922eae85..432cea5a1b4 100644 --- a/gcc/cfg.c +++ b/gcc/cfg.c @@ -895,8 +895,7 @@ update_bb_profile_for_threading (basic_block bb, int edge_frequency, c->probability *= scale / 65536; } - if (bb != taken_edge->src) - abort (); + gcc_assert (bb == taken_edge->src); taken_edge->count -= count; if (taken_edge->count < 0) taken_edge->count = 0; |
