1 #include "check_debug.h"
3 void initialize(void *p
);
16 __smatch_implied(aaa
[0]);
17 __smatch_implied(aaa
[5]);
19 __smatch_implied(aaa
[5]);
22 __smatch_implied(aaa
[y
]);
24 __smatch_implied(aaa
[y
]);
30 * check-name: smatch chunk #2
31 * check-command: smatch -I.. sm_chunk2.c
34 sm_chunk2.c:16 main() implied: aaa[0] = '42'
35 sm_chunk2.c:17 main() implied: aaa[5] = '0-3'
36 sm_chunk2.c:19 main() implied: aaa[5] = '0-u32max'
37 sm_chunk2.c:22 main() implied: aaa[y] = '0-4'
38 sm_chunk2.c:24 main() implied: aaa[y] = '0-u32max'