foo(int * buf)1 static 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