1static void foo(int *buf)
2{
3	int a = 1;
4	int *b;
5	do {
6		if (a)
7			b = buf;
8		if (a)
9			*buf = 0;
10	} while (!(a = !a));
11}
12
13/*
14 * check-name: infinite loop 03
15 * check-command: sparse -Wno-decl $file
16 * check-timeout:
17 */
18