extern void use(char);

static void foo(char *b)
{
        while (b) {
                if (b++)
                        continue;
                ++b;
                use(*b);
                &b;
        }
}

/*
 * check-name: internal infinite loop (4)
 * check-command: sparse $file
 * check-timeout:
 */