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