1 static void foo(int *buf)
   2 {
   3         int a = 1;
   4         int *b;
   5         do {
   6                 if (a)
   7                         b = buf;
   8                 if (a)
   9                         *buf = 0;
  10         } while (!(a = !a));
  11 }
  12 
  13 /*
  14  * check-name: infinite loop 03
  15  * check-command: sparse -Wno-decl $file
  16  */