1 #include "check_debug.h"
   2 
   3 int a, b;
   4 
   5 int frob(int size)
   6 {
   7         if (a <= 0 || a > 10)
   8                 return;
   9         if (a % 4) {
  10                 __smatch_implied(a);
  11         } else {
  12                 __smatch_implied(a);
  13         }
  14 
  15         if (b <= 0 || b > 100)
  16                 return;
  17         if (b % 4) {
  18                 __smatch_implied(b);
  19         } else {
  20                 __smatch_implied(b);
  21         }
  22 
  23 
  24 
  25         return 0;
  26 }
  27 
  28 /*
  29  * check-name: smatch mod condition
  30  * check-command: smatch -I.. sm_mod.c
  31  *
  32  * check-output-start
  33 sm_mod.c:10 frob() implied: a = '1-10'
  34 sm_mod.c:12 frob() implied: a = '4,8'
  35 sm_mod.c:18 frob() implied: b = '1-99'
  36 sm_mod.c:20 frob() implied: b = '4-100'
  37  * check-output-end
  38  */