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