https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111951
--- Comment #1 from CTC <19373742 at buaa dot edu.cn> --- A reduced testcase: int a; int b() {return 0;} void c(int d) { int e; for (;;) { if (a) return; if (d) a = e = 0; for (; e != 27; e++) b() && (d = 1); } } int main() {} error: PHI node with wrong VUSE on edge from BB 27 3 | void c(int d) { | ^ .MEM_35 = PHI <.MEM_12(27)> expected .MEM_46 during GIMPLE pass: vect testcase.i:3:6: internal compiler error: verify_ssa failed 0x12c3371 verify_ssa(bool, bool) ../.././gcc/tree-ssa.cc:1203 0xf2c625 execute_function_todo ../.././gcc/passes.cc:2095 0xf2ca8e execute_todo ../.././gcc/passes.cc:2142 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.