validation/sm_math1.c

   1 #include "check_debug.h"
   2
   3 int something();
   4
   5 void func(void)
   6 {
   7         int x = 3;
   8         int y = 42;
   9         int z = 7;
  10
  11         x--;
  12         y -= 100;
  13         __smatch_value("y");
  14         while (something()) {
  15                 y++;
  16                 __smatch_value("y");
  17         }
  18         z += something();
  19         __smatch_value("z");
  20         __smatch_value("x");
  21 label_I1:
  22         x--;
  23         __smatch_value("x");
  24         goto label_I1;
  25 }
  26 /*
  27  * check-name: smatch math test #1
  28  * check-command: smatch -I.. sm_math1.c
  29  *
  30  * check-output-start
  31 sm_math1.c +13 func(8) y = (-58)
  32 sm_math1.c +16 func(11) y = (-57)-max
  33 sm_math1.c +19 func(14) z = 7-max
  34 sm_math1.c +20 func(15) x = 2
  35 sm_math1.c +23 func(18) x = min-1
  36  * check-output-end
  37  */