validation/mem2reg/undef01.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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