new smatch
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 */ |
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 */
|