foo(int * buf)11f5207b7SJohn Levon static void foo(int *buf)
21f5207b7SJohn Levon {
31f5207b7SJohn Levon 	int a = 1;
41f5207b7SJohn Levon 	int *b;
51f5207b7SJohn Levon 	do {
61f5207b7SJohn Levon 		if (a)
71f5207b7SJohn Levon 			b = buf;
81f5207b7SJohn Levon 		if (a)
91f5207b7SJohn Levon 			*buf = 0;
101f5207b7SJohn Levon 	} while (!(a = !a));
111f5207b7SJohn Levon }
121f5207b7SJohn Levon 
131f5207b7SJohn Levon /*
141f5207b7SJohn Levon  * check-name: infinite loop 03
151f5207b7SJohn Levon  * check-command: sparse -Wno-decl $file
16*c85f09ccSJohn Levon  * check-timeout:
171f5207b7SJohn Levon  */
18