1#include "check_debug.h"
2
3int frob();
4
5int xxx;
6static 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
28sm_compare17.c:20 options_write() a < xxx
29 * check-output-end
30 */
31