[Bug rtl-optimization/57763] [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info failed, error: EDGE_CROSSING missing across section boundary

ubizjak at gmail dot com gcc-bugzilla@gcc.gnu.org
Thu Jan 16 12:25:00 GMT 2014


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

--- Comment #19 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Jakub Jelinek from comment #18)

> Attached is an attempt to fix this just by setting JUMP_LABEL on the
> indirect jump, then computed_jump_p predicate will be false and the various
> places in RTL optimizers will be told where it jumps to.  Not 100% how
> adding the JUMP_LABEL plays with e.g. LABEL_NUSES, should it increment it or
> not, or do only LABEL_REFs count for that?  In any case, the patch fixes the
> bug in the cross compiler, can't test it on Alpha though, perhaps could test
> say on ppc64 and s390x which also don't define HAS_LONG_UNCOND_BRANCH to
> non-zero.  But, our testsuite coverage for -freorder-blocks-and-partition is
> very limited anyway.

I have started bootstrap on Alpha.


More information about the Gcc-bugs mailing list