[Bug c/52091] New: ICE: verify_gimple failed

[regehr at cs dot utah.edu]

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

             Bug #: 52091
           Summary: ICE: verify_gimple failed
    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
              Host: x86_64-unknown-linux-gnu
            Target: x86_64-unknown-linux-gnu
             Build: x86_64-unknown-linux-gnu


[regehr@gamow tmp]$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r183824-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-r183824-install
--program-prefix=r183824- --enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20120202 (experimental) (GCC) 

[regehr@gamow tmp]$ current-gcc -Ofast -c small.c

small.c: In function 'fn52':
small.c:15:6: error: invalid operands in binary operation
vect_var_.33_31 = {pretmp.21_21, -1, -1, -1} & vect_cst_.34_29;

small.c:15:6: 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@gamow tmp]$ cat small.c

int fn39 (unsigned short p1)
{
  return p1;
}

int b,c,d,f;
unsigned h;

void fn58 (void)
{ 
  for (c = 0;;)
    return;
}

void fn52 (void)
{
  for (f = 4; f; f--)
    {
      h &= fn39 (d);
      for (b = 0; b <= 1; b++)
    {
      fn58 ();
      d &= 1;
    }
    }
}