1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/cfg.c b/gcc/cfg.c
index 85d922e..432cea5 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;