1 static void foo(void) 2 { 3 int b[] = { 8 }; 4 int c; 5 for (;;) 6 b[c] = b[0]; 7 } 8 9 /* 10 * check-name: bug-crash16 11 */ 12