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