Robert Schiele rschiele@gmail.com wrote on 11.12.2012 12:12:45:
Before I build the cross compiler for ARM target I do a bootstrap process of an i686 compiler on the same code base to use that one building the cross compiler to reduce the chance of seeing subtle problems late in the game. This process unveiled a x86 bootstrap regression with some of your changes on the Linaro 4.7 branch.
[snip]
This is the introduction of optimize_unreachable in gcc/tree-ssa-ccp.c.
[snip]
../../gcc/gcc/sel-sched.c: In function 'void sel_sched_region_2(int)': ../../gcc/gcc/sel-sched.c:7472:1: error: mismatching comparison operand
types
struct rtx_def * bool if (insn_1716 == 0)
../../gcc/gcc/sel-sched.c:7472:1: internal compiler error: verify_gimple failed Please submit a full bug report, with preprocessed source if appropriate. See http://gcc.gnu.org/bugs.html for instructions.
Note, that the --disable-checking is essential to reproduce. As soon as you do --enable-checking the bootstrap completes successfully. I would assume that you then still have the bug in the compiler but it is just subtle enough not to be triggered then.
This does look exactly like: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54684
which was indeed a bug in optimize_unreachable, fixed by Richard Biener: http://gcc.gnu.org/ml/gcc-patches/2012-09/msg01634.html
Can you verify whether this patch fixes your problem? We'll have to backport the fix to Linaro GCC as well.
Also, if you don't mind, could you open a Launchpad bug to track this issue? Thanks!
Mit freundlichen Gruessen / Best Regards
Ulrich Weigand
-- Dr. Ulrich Weigand | Phone: +49-7031/16-3727 STSM, GNU compiler and toolchain for Linux on System z and Cell/B.E. IBM Deutschland Research & Development GmbH Vorsitzende des Aufsichtsrats: Martina Koederitz | Geschäftsführung: Dirk Wittkopp Sitz der Gesellschaft: Böblingen | Registergericht: Amtsgericht Stuttgart, HRB 243294