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