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