1*1f5207b7SJohn Levon #include "check_debug.h"
2*1f5207b7SJohn Levon 
3*1f5207b7SJohn Levon int frob();
4*1f5207b7SJohn Levon 
5*1f5207b7SJohn Levon int xxx;
options_write(void)6*1f5207b7SJohn Levon static int options_write(void)
7*1f5207b7SJohn Levon {
8*1f5207b7SJohn Levon 	int a = -1;
9*1f5207b7SJohn Levon 	int found = 0;
10*1f5207b7SJohn Levon 
11*1f5207b7SJohn Levon 	if (xxx < 0)
12*1f5207b7SJohn Levon 		return;
13*1f5207b7SJohn Levon 	while (frob()) {
14*1f5207b7SJohn Levon 		if (++a == xxx) {
15*1f5207b7SJohn Levon 			found = 1;
16*1f5207b7SJohn Levon 			break;
17*1f5207b7SJohn Levon 		}
18*1f5207b7SJohn Levon 	}
19*1f5207b7SJohn Levon 	if (!found)
20*1f5207b7SJohn Levon 		__smatch_compare(a, xxx);
21*1f5207b7SJohn Levon }
22*1f5207b7SJohn Levon 
23*1f5207b7SJohn Levon /*
24*1f5207b7SJohn Levon  * check-name: smatch compare #17
25*1f5207b7SJohn Levon  * check-command: smatch -I.. sm_compare17.c
26*1f5207b7SJohn Levon  *
27*1f5207b7SJohn Levon  * check-output-start
28*1f5207b7SJohn Levon sm_compare17.c:20 options_write() a < xxx
29*1f5207b7SJohn Levon  * check-output-end
30*1f5207b7SJohn Levon  */
31