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