1 #include "check_debug.h"
   2 
   3 int a, b;
   4 static int options_write(void)
   5 {
   6         if (a == b)
   7                 return;
   8 
   9         if (a < 10)
  10                 return;
  11         if (b > 10)
  12                 return;
  13         __smatch_compare(a, b);
  14 }
  15 
  16 
  17 /*
  18  * check-name: smatch compare #18
  19  * check-command: smatch -I.. sm_compare18.c
  20  *
  21  * check-output-start
  22 sm_compare18.c:13 options_write() a > b
  23  * check-output-end
  24  */