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

[silver24k at gmail dot com]

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: unassig...@gcc.gnu.org

        ReportedBy: silver...@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)