test/branchstate.c

   1 void
   2 foo(void)
   3 {
   4   size_t                      n;
   5   char                        *p;
   6
   7   for (p = ""; (p != (char*) 0 ) && (*p); )
   8     {
   9       switch (*p)
  10         {
  11         case '9':
  12           for (n = 0; n < 3; ++n) ;
  13           p += n;
  14         }
  15     }
  16 }
  17
  18 /*
  19         % lclint -nof -boolops -branchstate foo11.c
  20 */