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