1*1f5207b7SJohn Levon #include "check_debug.h"
2*1f5207b7SJohn Levon 
3*1f5207b7SJohn Levon void initialize(void *p);
4*1f5207b7SJohn Levon 
main(int x)5*1f5207b7SJohn Levon int main(int x)
6*1f5207b7SJohn Levon {
7*1f5207b7SJohn Levon 	unsigned int aaa[10];
8*1f5207b7SJohn Levon 	int y, z;
9*1f5207b7SJohn Levon 
10*1f5207b7SJohn Levon 	initialize(&aaa);
11*1f5207b7SJohn Levon 	initialize(&y);
12*1f5207b7SJohn Levon 	initialize(&z);
13*1f5207b7SJohn Levon 
14*1f5207b7SJohn Levon 	if (aaa[5] > 3)
15*1f5207b7SJohn Levon 		return 0;
16*1f5207b7SJohn Levon 	aaa[0] = 42;
17*1f5207b7SJohn Levon 	__smatch_implied(aaa[0]);
18*1f5207b7SJohn Levon 	__smatch_implied(aaa[5]);
19*1f5207b7SJohn Levon 	aaa[y] = 10;
20*1f5207b7SJohn Levon 	__smatch_implied(aaa[5]);
21*1f5207b7SJohn Levon 	if (aaa[z] > 4)
22*1f5207b7SJohn Levon 		return 0;
23*1f5207b7SJohn Levon 	__smatch_implied(aaa[z]);
24*1f5207b7SJohn Levon 	z = 3;
25*1f5207b7SJohn Levon 	__smatch_implied(aaa[z]);
26*1f5207b7SJohn Levon 
27*1f5207b7SJohn Levon 	return 0;
28*1f5207b7SJohn Levon }
29*1f5207b7SJohn Levon 
30*1f5207b7SJohn Levon /*
31*1f5207b7SJohn Levon  * check-name: smatch chunk #2
32*1f5207b7SJohn Levon  * check-command: smatch -I.. sm_chunk2.c
33*1f5207b7SJohn Levon  *
34*1f5207b7SJohn Levon  * check-output-start
35*1f5207b7SJohn Levon sm_chunk2.c:17 main() implied: aaa[0] = '42'
36*1f5207b7SJohn Levon sm_chunk2.c:18 main() implied: aaa[5] = '0-3'
37*1f5207b7SJohn Levon sm_chunk2.c:20 main() implied: aaa[5] = '0-u32max'
38*1f5207b7SJohn Levon sm_chunk2.c:23 main() implied: aaa[z] = '0-4'
39*1f5207b7SJohn Levon sm_chunk2.c:25 main() implied: aaa[z] = '0-u32max'
40*1f5207b7SJohn Levon  * check-output-end
41*1f5207b7SJohn Levon  */
42