[Bug tree-optimization/56366] New: ICE: verify_gimple failed (incompatible types in PHI argument)

[antoine.balestrat at gmail dot com]

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

             Bug #: 56366
           Summary: ICE: verify_gimple failed (incompatible types in PHI
                    argument)
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: antoine.balest...@gmail.com


Using GCC 4.8.0 as of 20130216 :

$ cat incomp.c
int a, *c, d;
unsigned short b;
short e;

void f(void)
{
    for(;; d++)
    {
        for(a = -9; a < 63; a++)
            for(d = 0; d < 9; d++)
                b -= --e;

        a = b & *c;
    }
}

$ xgcc -O2 -ftree-vectorize -w incomp.c
incomp.c: In function ‘f’:
incomp.c:5:6: error: incompatible types in PHI argument 1
 void f(void)
      ^
vector(8) unsigned short

vector(8) short int

vect_vec_iv_.25_58 = PHI <vect_vec_iv_.25_59(6), vect_vec_iv_.23_56(4)>

incomp.c:5:6: internal compiler error: verify_gimple failed
0x91e30f verify_gimple_in_cfg(function*)
    ../../srcdir/gcc/tree-cfg.c:4727
0x84cb08 execute_function_todo
    ../../srcdir/gcc/passes.c:1966
0x84d50d execute_todo
    ../../srcdir/gcc/passes.c:1999
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.