1 #include "check_debug.h"
2 
3 void *a, *b;
options_write(void)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  */
18