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