------- Comment #39 from steven at gcc dot gnu dot org 2006-01-13 23:39 -------
We should do the following:
Index: cfgloopmanip.c
===================================================================
--- cfgloopmanip.c (revision 108361)
+++ cfgloopmanip.c (working copy)
@@ -1419,7 +1419,7 @@ lv_adjust_loop_entry_edge (basic_block f
lv_add_condition_to_bb (first_head, second_head, new_head,
cond_expr);
- e1 = make_edge (new_head, first_head, EDGE_TRUE_VALUE);
+ e1 = make_edge (new_head, first_head, ir_type () ? EDGE_TRUE_VALUE : 0);
set_immediate_dominator (CDI_DOMINATORS, first_head, new_head);
set_immediate_dominator (CDI_DOMINATORS, second_head, new_head);
Index: cfgrtl.c
===================================================================
--- cfgrtl.c (revision 108361)
+++ cfgrtl.c (working copy)
@@ -2046,7 +2046,7 @@ rtl_verify_flow_info_1 (void)
err = 1;
}
if (n_branch != 1 && any_condjump_p (BB_END (bb))
- && JUMP_LABEL (BB_END (bb)) == BB_HEAD (fallthru->dest))
+ && JUMP_LABEL (BB_END (bb)) != BB_HEAD (fallthru->dest))
{
error ("wrong amount of branch edges after conditional jump %i",
bb->index);
err = 1;
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24626
