[Bug tree-optimization/45991] New: [4.6 Regression] ICE: verify_stmts failed: Invalid address operand in in TARGET_MEM_REF. with -fstrict-overflow

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: verify_stmts failed: Invalid
                    address operand in in TARGET_MEM_REF. with
                    -fstrict-overflow
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

Command line:
$ gcc -O -fstrict-overflow pr45991.c

Compiler output:
$ gcc -O -fstrict-overflow pr45991.c 
pr45991.c: In function 'foo':
pr45991.c:8:6: error: Invalid address operand in in TARGET_MEM_REF.
# VUSE <.MEM_25>
b_10 = MEM[symbol: A[20], index: ivtmp.9_20, offset: 0B];

pr45991.c:8:6: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r165354 - crash
r163636 - OK
4.5 r163761 - OK