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 Regression] internal compiler error: verify_flow_info failed



------- Comment #16 from pinskia at gcc dot gnu dot org  2005-11-19 03:06 -------
(In reply to comment #12)
> Hmm:
> what changed is:
>        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))
> So the verify is what was changed.  Looking some more.
Actually I don't see why this change was done, it looks wrong as if you have
only a fallthru edge, and you have a conditional jump, that edge better be also
the jump label too.

David or Richard, could you test the revert of this part of the patch, it
should fix the testcase.


-- 


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]