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