1 static void foo(void) 2 { 3 int *b; 4 for (;;) 5 *b++ = 0; 6 } 7 8 /* 9 * check-name: undef01 10 * check-command: sparse -Wmaybe-uninitialized $file 11 * check-known-to-fail 12 * 13 * check-error-start 14 crazy04.c:3:13: warning: variable 'b' may be uninitialized 15 * check-error-end 16 */