1 #include "check_debug.h"
2 
3 int checker(void);
4 
5 int x;
6 int i;
func(void)7 void func(void)
8 {
9 	int ar[10];
10 
11 	if (i < 0)
12 		return;
13 	if(i == 0)
14 		x = 11;
15 	else
16 		x = 1;
17 
18 	while(i--) {
19 		__smatch_value("x");
20 		ar[x] = 1;
21 	}
22 }
23 /*
24  * check-name: smatch loops #3
25  * check-command: smatch -I.. sm_loops3.c
26  *
27  * check-output-start
28 sm_loops3.c:19 func() x = 1
29  * check-output-end
30  */
31