[Bug middle-end/47653] New: [4.6 Regression] gcc.c-torture/execute/930614-2.c FAILs with -fstack-check=generic -fgraphite-identity

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: [4.6 Regression] gcc.c-torture/execute/930614-2.c
                    FAILs with -fstack-check=generic -fgraphite-identity
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: spop@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23280
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23280
reduced testcase

Output:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-169929-lto-fortran-checking-yes-rtl-df/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-169929-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-169929-lto-fortran-checking-yes-rtl-df/
--with-cloog --with-ppl --with-cloog-include=/usr/include/cloog-ppl/
Thread model: posix
gcc version 4.6.0 20110208 (experimental) (GCC) 

$ gcc -O -fstack-check=generic -ftree-pre -fgraphite-identity testcase.c
$ ./a.out 
Segmentation fault

Program received signal SIGSEGV, Segmentation fault.
0x0000000000400552 in main () at testcase.c:7
7             x[i][j] = 0;
(gdb) disassemble
   0x0000000000400549 <+101>:   lea    (%rcx,%rax,1),%edx
   0x000000000040054c <+104>:   movslq %edx,%rdx
   0x000000000040054f <+107>:   add    %rsi,%rdx
=> 0x0000000000400552 <+110>:   movl   $0x0,(%r8,%rdx,4)
   0x000000000040055a <+118>:   add    $0x1,%rax
   0x000000000040055e <+122>:   lea    -0x1(%rax),%rdx
   0x0000000000400562 <+126>:   cmp    %rdi,%rdx
   0x0000000000400565 <+129>:   jl     0x400549 <main+101>

Tested revisions:
r169929 - fail
4.5.2 - OK