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