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