validation/sm_range3.c

   1 #include "check_debug.h"
   2
   3 int x;
   4 void func(void)
   5 {
   6
   7         if (x < 1)
   8                 __smatch_value("x");
   9         else
  10                 __smatch_value("x");
  11
  12         if (12 < x)
  13                 __smatch_value("x");
  14         else
  15                 __smatch_value("x");
  16
  17         if (x <= 23)
  18                 __smatch_value("x");
  19         else
  20                 __smatch_value("x");
  21
  22         if (34 <= x)
  23                 __smatch_value("x");
  24         else
  25                 __smatch_value("x");
  26
  27         if (x >= 45)
  28                 __smatch_value("x");
  29         else
  30                 __smatch_value("x");
  31
  32         if (56 >= x)
  33                 __smatch_value("x");
  34         else
  35                 __smatch_value("x");
  36
  37         if (x > 67)
  38                 __smatch_value("x");
  39         else
  40                 __smatch_value("x");
  41
  42         if (78 > x)
  43                 __smatch_value("x");
  44         else
  45                 __smatch_value("x");
  46
  47         if (89 == x)
  48                 __smatch_value("x");
  49         else
  50                 __smatch_value("x");
  51
  52         if (100 != x)
  53                 __smatch_value("x");
  54         else
  55                 __smatch_value("x");
  56
  57         return;
  58 }
  59 /*
  60  * check-name: smatch range comparison
  61  * check-command: smatch -I.. sm_range3.c
  62  *
  63  * check-output-start
  64 sm_range3.c +8 func(4) x = min-0
  65 sm_range3.c +10 func(6) x = 1-max
  66 sm_range3.c +13 func(9) x = 13-max
  67 sm_range3.c +15 func(11) x = min-12
  68 sm_range3.c +18 func(14) x = min-23
  69 sm_range3.c +20 func(16) x = 24-max
  70 sm_range3.c +23 func(19) x = 34-max
  71 sm_range3.c +25 func(21) x = min-33
  72 sm_range3.c +28 func(24) x = 45-max
  73 sm_range3.c +30 func(26) x = min-44
  74 sm_range3.c +33 func(29) x = min-56
  75 sm_range3.c +35 func(31) x = 57-max
  76 sm_range3.c +38 func(34) x = 68-max
  77 sm_range3.c +40 func(36) x = min-67
  78 sm_range3.c +43 func(39) x = min-77
  79 sm_range3.c +45 func(41) x = 78-max
  80 sm_range3.c +48 func(44) x = 89
  81 sm_range3.c +50 func(46) x = min-88,90-max
  82 sm_range3.c +53 func(49) x = min-99,101-max
  83 sm_range3.c +55 func(51) x = 100
  84  * check-output-end
  85  */