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

[pinskia at gcc dot gnu dot org]

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