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