[reg...@gamow tmp276]$ current-gcc -c -O2 small.c small.c: In function 'int32func': small.c:15:6: internal compiler error: in extract_range_from_assert, at tree-vrp.c:1423 Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions.
[reg...@gamow tmp276]$ cat small.c int safe (int); static unsigned foo (unsigned ui1, unsigned ui2) { return ui1 + ui2; } int g_22; int *volatile g_23 = &g_22; int **g_282[8][10][1]; int *g_330 = &g_22; volatile unsigned g_348; int g_397; void int32func (const unsigned char p_10) { if (foo (~ (p_10 | (*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1]) == (*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1])), 1)) { } else if (*g_330 >= safe (*g_23 ^ (**g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10] [g_348 % 1])) & **g_282[8][10][1], 1) { } } [reg...@gamow tmp276]$ current-gcc -v Using built-in specs. COLLECT_GCC=current-gcc COLLECT_LTO_WRAPPER=/tmp/z/compiler-install/gcc-r157205-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: ../configure --with-libelf=/usr/local --enable-lto --prefix=/home/regehr/z/compiler-install/gcc-r157205-install --program-prefix=r157205- --enable-languages=c,c++ Thread model: posix gcc version 4.5.0 20100303 (experimental) (GCC) -- Summary: ICE in extract_range_from_assert, at tree-vrp.c:1423 Product: gcc Version: 4.5.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: regehr at cs dot utah dot edu 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=43255