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

["dave at hiauly1 dot hia dot nrc dot ca" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #17 from dave at hiauly1 dot hia dot nrc dot ca  2005-11-19 03:41 -------
Subject: Re:  [4.1 Regression] internal compiler error: verify_flow_info failed

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

I tried both short testcases and they assembled without problem at -O2
with and without -fno-strict-aliasing -fPIC.  Full build and check in
progress.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24626