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  */