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