http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51247
Bug #: 51247 Summary: ICE in set_value_range, at tree-vrp.c:417 Classification: Unclassified Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassig...@gcc.gnu.org ReportedBy: reg...@cs.utah.edu CC: cheny...@cs.utah.edu [regehr@gamow tmp066]$ current-gcc -v Using built-in specs. COLLECT_GCC=current-gcc COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r181530-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.7.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-r181530-install --program-prefix=r181530- --enable-languages=c,c++ Thread model: posix gcc version 4.7.0 20111120 (experimental) (GCC) [regehr@gamow tmp066]$ current-gcc -c -w -O2 small.c small.c: In function 'func_93': small.c:9:1: internal compiler error: in set_value_range, at tree-vrp.c:417 Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. [regehr@gamow tmp066]$ cat small.c struct S0 { int f1:1; }; int g_155; int g_229; int g_360; struct S0 func_93 (int p_94, int p_95, int p_96) { struct S0 l_272 = { }; for (; g_155;) if (0) { } else l_272.f1 = 1; for (;;) { unsigned l_663 = 94967295; if (g_229++, g_360 = p_94 || (l_272.f1 &= l_663)) { } } }