@@ -820,14 +820,10 @@ scop_detection::merge_sese
/* For now we just want to bail out when exit does not post-dominate
entry.
TODO: We might just add a basic_block at the exit to make exit
post-dominate entry (the entire region). */
- if (!dominated_by_p (CDI_POST_DOMINATORS, get_entry_bb (combined),
- get_exit_bb (combined))
- || !dominated_by_p (CDI_DOMINATORS, get_exit_bb (combined),
- get_entry_bb (combined)))
- {
- DEBUG_PRINT (dp << "[scop-detection-fail] cannot merge "
- "seses.\n");
- return invalid_sese;
- }
+ gcc_assert (dominated_by_p (CDI_POST_DOMINATORS,
+ get_entry_bb (combined),
+ get_exit_bb (combined)));
+ gcc_assert (dominated_by_p (CDI_DOMINATORS,
+ get_exit_bb (combined),
+ get_entry_bb (combined)));