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