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