http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54458
--- Comment #1 from Francesco Zappa Nardelli <francesco.zappa.nardelli at gmail dot com> 2012-09-02 15:42:45 UTC --- $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/home/yquem/moscova/zappa/source/gcc-svn-bin/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: ../gcc-svn/configure --prefix=/home/yquem/moscova/zappa/source/gcc-svn-bin/ Thread model: posix gcc version 4.8.0 20120627 (experimental) (GCC) [a recent but not the latest svn trunk] $ cat input.c int a, b, c, d; void func_34 () { lbl_424: if (c ? 0 : 0 % 0) for (; a; a--) lbl_130: { } else if (d) for (;;) { } if (b) goto lbl_130; goto lbl_424; } void main () { } $ gcc -O3 input.c input.c: In function 'func_34': input.c:5:17: warning: division by zero [-Wdiv-by-zero] if (c ? 0 : 0 % 0) ^ input.c:3:1: internal compiler error: in get_loop_body, at cfgloop.c:830 func_34 () { ^ Please submit a full bug report.