1 void foo(void) 2 { 3 int a = 1; 4 while ((a = !a)) 5 ; 6 } 7 8 /* 9 * check-name: infinite loop 02 10 * check-command: sparse -Wno-decl $file 11 * check-timeout: 12 */ 13