validation/sm_compare4.c

   1 #include "check_debug.h"
   2
   3 int some_func();
   4
   5 int a, b, c, d;
   6
   7 void func (void)
   8 {
   9         d = some_func();
  10
  11         if (a + 3 > 100)
  12                 return;
  13         __smatch_implied(a);
  14         if (3 + b > 100)
  15                 return;
  16         __smatch_implied(b);
  17         if (c - 3 > 100)
  18                 return;
  19         __smatch_implied(c);
  20         if (3 - d > 100)
  21                 return;
  22         __smatch_implied(d);
  23 }
  24
  25 /*
  26  * check-name: Smatch compare #4
  27  * check-command: smatch -I.. sm_compare4.c
  28  *
  29  * check-output-start
  30 sm_compare4.c:13 func() implied: a = 's32min-97'
  31 sm_compare4.c:16 func() implied: b = 's32min-97'
  32 sm_compare4.c:19 func() implied: c = 's32min-103'
  33 sm_compare4.c:22 func() implied: d = 's32min-s32max'
  34  * check-output-end
  35  */