[Bug c/51070] New: ICE verify_gimple failed

[regehr at cs dot utah.edu]

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

             Bug #: 51070
           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


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


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


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


small.c: In function 'func_9':
small.c:24:1: error: invalid PHI argument
.MEM_3
small.c:24:1: error: incompatible types in PHI argument 0
int

void

g_95_I_lsm.15_29 = PHI <.MEM_3(5)>

small.c:24:1: 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 tmp057]$ cat small.c


int
func_4 (int si1, int si2)
{
  return si1;
}

int
func_14 (int left, int right)
{
  return 1;
}

int
func_37 (int left, int right)
{
  return left;
}

int g_92[];
int g_95[];
int g_224;
int g_352[];
int
func_9 ()
{
  for (; g_224; g_224 += 1)
    {
      g_95[0] = func_4 (func_37 (g_92[g_224], 0), 0);
      g_92[g_224] = 0, g_352[g_224] = func_14 (0, 0);
    }
  return 0;
}