[Bug tree-optimization/82672] New: [8 Regression][GRAPHITE] ICE in verify_gimple_in_cfg

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82672

            Bug ID: 82672
           Summary: [8 Regression][GRAPHITE] ICE in verify_gimple_in_cfg
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Starting from r253705 we ICE on:

$ gfortran
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90   -O2
-floop-nest-optimize
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:33:0:

 end

Error: invalid address operand in MEM_REF
MEM[(character(kind=4) *)&MEM[(void *)&s4 + 28B]];

/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:33:0:
Error: invalid first operand of MEM_REF
&MEM[(void *)&s4 + 28B]
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:24:0:

   s4 = 4_"foo bar"

note: in statement
# .MEM_122 = VDEF <.MEM_71>
MEM[(character(kind=4) *)&MEM[(void *)&s4 + 28B]] = 32;
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:33:0:

 end

Error: invalid address operand in MEM_REF
MEM[(character(kind=4) *)&MEM[(void *)&s4 + 32B]];

/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:33:0:
Error: invalid first operand of MEM_REF
&MEM[(void *)&s4 + 32B]
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:26:0:

   s4 = 4_"\x00\x96"

note: in statement
# .MEM_131 = VDEF <.MEM_75>
MEM[(character(kind=4) *)&MEM[(void *)&s4 + 32B]] = 32;
during GIMPLE pass: graphite
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/widechar_1.f90:33:0:

 end

internal compiler error: verify_gimple failed
0xc5db4d verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.c:5395
0xb30036 execute_function_todo
        ../../gcc/passes.c:1994
0xb310b2 execute_todo
        ../../gcc/passes.c:2048