[EMAIL PROTECTED]:~/volatile/tmp52$ current-gcc -O0 small.c small.c: In function func_1: small.c:5: error: type mismatch in binary expression unsigned int
unsigned int int D.1241 = D.1240 & l_288; small.c:5: error: type mismatch in binary expression unsigned int unsigned int int D.1242 = D.1241 | 1; small.c:5: 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. [EMAIL PROTECTED]:~/volatile/tmp52$ cat small.c unsigned int div_rhs (int rhs) { return 0; } int func_1 (void) { int g_268 = 0; int l_288 = 0; int l_266 = 0; return (l_288 | l_266 == l_266) & (div_rhs (1) | 1); } [EMAIL PROTECTED]:~/volatile/tmp52$ current-gcc -v Using built-in specs. Target: i686-pc-linux-gnu Configured with: ../configure --program-prefix=current- --enable-languages=c,c++ --prefix=/home/regehr Thread model: posix gcc version 4.4.0 20081027 (experimental) (GCC) -- Summary: ice: verify_gimple failed Product: gcc Version: 4.4.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: i686-pc-linux-gnu GCC host triplet: i686-pc-linux-gnu GCC target triplet: i686-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37931