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