validation/crazy02-not-so.c

   1 int foo(int *ptr, int i)
   2 {
   3         int *p;
   4
   5         switch (i - i) {                // will be optimized to 0
   6         case 0:
   7                 return 0;
   8         case 1:                         // will be optimized away
   9                 p = ptr;
  10                 do {                    // will be an unreachable loop
  11                         *p++ = 123;
  12                 } while (--i);
  13                 break;
  14         }
  15
  16         return 1;
  17 }
  18
  19 /*
  20  * check-name: crazy02-not-so.c
  21  * check-command: sparse -Wno-decl $file
  22  */