[Bug c/37931] New: ice: verify_gimple failed

[regehr at cs dot utah dot edu]

regehr@john-home:~/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.

regehr@john-home:~/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);
}

regehr@john-home:~/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