static void foo(void)
{
        int *b;
        for (;;)
                *b++ = 0;
}

/*
 * check-name: undef01
 * check-command: sparse -Wmaybe-uninitialized $file
 * check-known-to-fail
 *
 * check-error-start
crazy04.c:3:13: warning: variable 'b' may be uninitialized
 * check-error-end
 */