validation/sm_loops2.c

   1 #include "check_debug.h"
   2
   3 int checker(void);
   4
   5 int x;
   6 int y;
   7 void func(void)
   8 {
   9         while (x--)
  10                 __smatch_value("x");
  11         __smatch_value("x");
  12         for (x = 0; x < y; x++) {
  13                 if (checker())
  14                         break;
  15         }
  16         __smatch_value("x");
  17         while (x--)
  18                 __smatch_value("x");
  19         __smatch_value("x");
  20         x = 10;
  21         while (x--)
  22                 __smatch_value("x");
  23         __smatch_value("x");
  24         x = 10;
  25         while (--x)
  26                 __smatch_value("x");
  27         __smatch_value("x");
  28 }
  29 /*
  30  * check-name: smatch loops #1
  31  * check-command: smatch -I.. sm_loops2.c
  32  *
  33  * check-output-start
  34 sm_loops2.c +10 func(3) x = unknown
  35 sm_loops2.c +11 func(4) x = unknown
  36 sm_loops2.c +16 func(9) x = 0-max
  37 sm_loops2.c +18 func(11) x = 0-max
  38 sm_loops2.c +19 func(12) x = (-1)
  39 sm_loops2.c +22 func(15) x = 0-9
  40 sm_loops2.c +23 func(16) x = (-1)
  41 sm_loops2.c +26 func(19) x = 1-9
  42 sm_loops2.c +27 func(20) x = 0
  43  * check-output-end
  44  */