1 extern void use(char);
   2 
   3 static void foo(char *b)
   4 {
   5         while (b) {
   6                 if (b++)
   7                         continue;
   8                 ++b;
   9                 use(*b);
  10                 &b;
  11         }
  12 }
  13 
  14 /*
  15  * check-name: internal infinite loop (4)
  16  * check-command: sparse $file
  17  * check-timeout:
  18  */