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() x = s32min-0
  65 sm_range3.c:10 func() x = 1-s32max
  66 sm_range3.c:13 func() x = 13-s32max
  67 sm_range3.c:15 func() x = s32min-12
  68 sm_range3.c:18 func() x = s32min-23
  69 sm_range3.c:20 func() x = 24-s32max
  70 sm_range3.c:23 func() x = 34-s32max
  71 sm_range3.c:25 func() x = s32min-33
  72 sm_range3.c:28 func() x = 45-s32max
  73 sm_range3.c:30 func() x = s32min-44
  74 sm_range3.c:33 func() x = s32min-56
  75 sm_range3.c:35 func() x = 57-s32max
  76 sm_range3.c:38 func() x = 68-s32max
  77 sm_range3.c:40 func() x = s32min-67
  78 sm_range3.c:43 func() x = s32min-77
  79 sm_range3.c:45 func() x = 78-s32max
  80 sm_range3.c:48 func() x = 89
  81 sm_range3.c:50 func() x = s32min-88,90-s32max
  82 sm_range3.c:53 func() x = s32min-99,101-s32max
  83 sm_range3.c:55 func() x = 100
  84  * check-output-end
  85  */