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