[Bug tree-optimization/95761] [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

--- Comment #5 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
r11-1553 PASS original testcase for me.
And FAIL similar test with the same stack.

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

gcc -O3 -fpreprocessed -c x_2.i 
x_2.i: In function 'k':
x_2.i:8:6: error: definition in block 2 follows the use
    8 | void k() {
      |      ^
for SSA_NAME: vect_cst__14 in statement:
vect__31.16_9 = vect_cst__14 - vect__127.14_155;
during GIMPLE pass: slp
x_2.i:8:6: internal compiler error: verify_ssa failed
0x12407cd verify_ssa(bool, bool)
        /home/dimhen/src/gcc_current/gcc/tree-ssa.c:1208
0xf385b5 execute_function_todo
        /home/dimhen/src/gcc_current/gcc/passes.c:1992
0xf392ec do_per_function
        /home/dimhen/src/gcc_current/gcc/passes.c:1640
0xf392ec 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.


test from PR95770 FAIL too for me