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