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