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