1static 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