[Bug c/48136] New: verify_gimple failed at -O0

[regehr at cs dot utah.edu]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48136

           Summary: verify_gimple failed at -O0
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: reg...@cs.utah.edu


regehr@home:~/volatile/bugs/tmp003$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/mnt/z/z/compiler-install/gcc-r170969-install/libexec/gcc/i686-pc-linux-gnu/4.7.0/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/mnt/z/z/compiler-install/gcc-r170969-install
--program-prefix=r170969- --enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20110314 (experimental) (GCC) 

regehr@home:~/volatile/bugs/tmp003$ current-gcc -O0 small.c

small.c: In function ‘func_16’:
small.c:12:15: error: type mismatch in comparison expression
int
unsigned int
int
D.1965 = D.1963 == D.1964;

small.c:12:15: 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@home:~/volatile/bugs/tmp003$ cat small.c


static short foo(short si1, short si2 ) {
  return si1 + si2;
}

static int bar(int si1, short si2 ) {
  return si1 + si2;
}

short g_2[1][9] = {
};

unsigned char func_16(unsigned p_17, const int p_18) 
{
 lbl_51:  
  {
  lbl_350:          
    {
      ((5U ^ p_18) == (bar(0, 1) ^ 1)) > foo(1, 0)  ;
    }
  }
  return 0;
}