While bootstrapping trunk from 20091201 on amd64. Crash doesn't happen with GCC 4.4.1-ubuntu8.
The ICE occurs when -ftree-loop-distribution is combined with -O2 -ftree-loop-linear. The commandline below reproduces the issue as well, but can be reduced to the forementioned options as well. gcc -c -g -fkeep-inline-functions -DIN_GCC -W -Wall -Wwrite-strings -Wcast-qual -Wstrict-prototypes -Wmissing-prototypes -Wmissing-format-attribute -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -Wold-style-definition -Wc++-compat -fno-common -DHAVE_CONFIG_H -I. -I. -I../../gcc-trunk/gcc -I../../gcc-trunk/gcc/. -I../../gcc-trunk/gcc/../include -I../../gcc-trunk/gcc/../libcpp/include -I../../gcc-trunk/gcc/../libdecnumber -I../../gcc-trunk/gcc/../libdecnumber/bid -I../libdecnumber -DCLOOG_PPL_BACKEND -I/usr/include/libelf -O2 -floop-interchange -floop-strip-mine -floop-block -findirect-inlining -ftree-switch-conversion -fvect-cost-model -fgcse-sm -fgcse-las -fgcse-after-reload -fsee -ftree-loop-linear -ftree-loop-distribution -ftree-loop-im -ftree-loop-ivcanon -fivopts -fvpt -funroll-loops -funswitch-loops ../../gcc-trunk/gcc/sbitmap.c -o sbitmap.o ../../gcc-trunk/gcc/reload1.c: In function ‘delete_output_reload’: ../../gcc-trunk/gcc/reload1.c:8440:1: error: type mismatch in binary expression long unsigned int <unnamed-signed:64> long unsigned int D.75724_180 = D.75723_179 - D.75718_194; ../../gcc-trunk/gcc/reload1.c:8440:1: error: type mismatch in binary expression long unsigned int <unnamed-signed:64> long unsigned int D.75733_135 = D.75732_154 - D.75727_163; ../../gcc-trunk/gcc/reload1.c:8440:1: internal compiler error: verify_stmts failed -- Summary: regression: ICE when bootstrapping trunk with -O2 - ftree-loop-distribution Product: gcc Version: 4.5.0 Status: UNCONFIRMED Severity: major Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: matt at use dot net GCC build triplet: x86_64-unknown-linux-gnu GCC host triplet: x86_64-unknown-linux-gnu GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42283