This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug rtl-optimization/24626] [4.1/4.2 Regression] internal compiler error: verify_flow_info failed



------- 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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]