[Bug middle-end/56443] New: internal compiler error: verify_gimple failed at -O[1-2] -ftree-vectorize

["silver24k at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

             Bug #: 56443
           Summary: internal compiler error: verify_gimple failed at
                    -O[1-2] -ftree-vectorize
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: silver24k@gmail.com


The following codes ICE at -O[1-2] -ftree-vectorize

typedef int myint __attribute__ ((__aligned__(16)));

int a1[1024] __attribute__((__aligned__(16)));  
int a2[1024] __attribute__((__aligned__(16)));  

void test (int n, myint * __restrict__ p1, myint * __restrict__ p2) {
  while (n--)
    *p1++ = *p2++ + 1;
}

int main (void) {
  test (1024, a1, a2);

  return 0;
}

MBP:~me$ g++-mp-4.8 -c -Wall -O1 -ftree-vectorize ice.cpp  
ice.cpp: In function 'void test(int, myint*, myint*)':
ice.cpp:6:6: error: type mismatch in binary expression
 void test (int n, myint * __restrict__ p1, myint * __restrict__ p2) {
      ^
vector(4) unsigned int

vector(4) unsigned int

vector(4) int

vect_var_.18_58 = vect_var_.17_56 + vect_cst_.19_57;

ice.cpp:6:6: internal compiler error: verify_gimple failed

ice.cpp:6:6: internal compiler error: Abort trap: 6
g++-mp-4.8: internal compiler error: Abort trap: 6 (program cc1plus)
Abort trap: 6


MBP:~me$ g++-mp-4.8 -v
Using built-in specs.
COLLECT_GCC=g++-mp-4.8
COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin12/4.8.0/lto-wrapper
Target: x86_64-apple-darwin12
Configured with: ../gcc-4.8-20130217/configure --prefix=/opt/local
--build=x86_64-apple-darwin12
--enable-languages=c,c++,objc,obj-c++,fortran,java
--libdir=/opt/local/lib/gcc48 --includedir=/opt/local/include/gcc48
--infodir=/opt/local/share/info --mandir=/opt/local/share/man
--datarootdir=/opt/local/share/gcc-4.8 --with-local-prefix=/opt/local
--with-system-zlib --disable-nls --program-suffix=-mp-4.8
--with-gxx-include-dir=/opt/local/include/gcc48/c++/ --with-gmp=/opt/local
--with-mpfr=/opt/local --with-mpc=/opt/local --with-ppl=/opt/local
--with-cloog=/opt/local --enable-cloog-backend=isl
--disable-cloog-version-check --enable-stage1-checking --disable-multilib
--enable-lto --enable-libstdcxx-time --with-as=/opt/local/bin/as
--with-ld=/opt/local/bin/ld --with-ar=/opt/local/bin/ar
--with-bugurl=https://trac.macports.org/newticket --with-pkgversion='MacPorts
gcc48 4.8-20130217_0'
Thread model: posix
gcc version 4.8.0 20130217 (experimental) (MacPorts gcc48 4.8-20130217_0)