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() y = (-58)
  32 sm_math1.c:16 func() y = (-57)-s32max
  33 sm_math1.c:19 func() z = s32min-s32max
  34 sm_math1.c:20 func() x = 2
  35 sm_math1.c:23 func() x = s32min-1
  36  * check-output-end
  37  */