[Bug tree-optimization/95761] New: [11 regression] ICE during GIMPLE pass: slp verify_ssa failed

[dimhen at gmail dot com]

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

            Bug ID: 95761
           Summary: [11 regression] ICE during GIMPLE pass: slp verify_ssa
                    failed
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com
  Target Milestone: ---

r11-1451 PASS
r11-1512 FAIL

`gcc -O2' PASS

$ gcc -O3 -c x_1.i
x_1.i: In function 'k':
x_1.i:10:6: error: definition in block 3 follows the use
   10 | void k() {
      |      ^
for SSA_NAME: vect__2.17_23 in statement:
vect__124.21_25 = vect_cst__58 + vect__2.17_23;
during GIMPLE pass: slp
x_1.i:10:6: internal compiler error: verify_ssa failed
0x123ff3d verify_ssa(bool, bool)
        /home/dimhen/src/gcc_current/gcc/tree-ssa.c:1208
0xf37d25 execute_function_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:1992
0xf38a5c do_per_function
        /home/dimhen/src/gcc_current/gcc/passes.c:1640
0xf38a5c execute_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:2039
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ cat x_1.i
typedef int a[10];
typedef struct {
  a b;
  a c;
  a d;
  a e;
} f;
f g;
int *j;
void k() {
  for (;;) {
    a l;
    j[0] = g.b[0];
    int *h = g.d;
    int i = 0;
    for (; i < 10; i++)
      h[i] = l[0] - g.e[0];
    h = g.e;
    i = 0;
    for (; i < 10; i++)
      h[i] = l[1] + g.e[i];
  }
}

Sorry for hyper-reduction