static void foo(void)
{
        int b[] = { 8 };
        int c;
        for (;;)
                b[c] = b[0];
}

/*
 * check-name: bug-crash16
 */