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