[Bug middle-end/48953] New: [4.7 Regression] ICE: verify_gimple failed: type mismatch in array reference with -flto and struct with vararray

[zsojka at seznam dot cz]

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

           Summary: [4.7 Regression] ICE: verify_gimple failed: type
                    mismatch in array reference with -flto and struct with
                    vararray
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Compiler output:
$ gcc -O -flto -fno-tree-dce testcase.c 
In file included from :0:0:
testcase.c: In function 'main':
testcase.c:11:5: error: type mismatch in array reference
struct S

struct S

# .MEM_11 = VDEF <.MEM_10>
MEM[(struct S[2] *)s.1_7][0]{lb: 0 sz: 12}.value = 0;

testcase.c:11:5: 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.
lto-wrapper: /mnt/svn/gcc-trunk/binary-latest/bin/gcc returned 1 exit status
collect2: lto-wrapper returned 1 exit status

Tested revisions:
r173586 - crash
4.6 r173059 - OK (yes,rtl,df checking)