validation/sm_loops3.c

   1 #include "check_debug.h"
   2
   3 int checker(void);
   4
   5 int x;
   6 int i;
   7 void func(void)
   8 {
   9         int ar[10];
  10
  11         if (i < 0)
  12                 return;
  13         if(i == 0)
  14                 x = 11;
  15         else
  16                 x = 1;
  17
  18         while(i--) {
  19                 __smatch_value("x");
  20                 ar[x] = 1;
  21         }
  22 }
  23 /*
  24  * check-name: smatch loops #3
  25  * check-command: smatch -I.. sm_loops3.c
  26  *
  27  * check-output-start
  28 sm_loops3.c +19 func(12) x = 1
  29  * check-output-end
  30  */