1 #include "check_debug.h"
2
test(void)3 int test(void)
4 {
5 int a[] = { [1] = 2 };
6 int b[] = { 1, 2, 3 };
7 int c[] = { 0, [0] = 1, 2, 3};
8 int d[] = { 0, [3] = 4, 5};
9
10 __smatch_buf_size(a);
11 __smatch_buf_size(b);
12 __smatch_buf_size(c);
13 __smatch_buf_size(d);
14 }
15
16 /*
17 * check-name: smatch buf size #7
18 * check-command: smatch -I.. sm_buf_size7.c
19 *
20 * check-output-start
21 sm_buf_size7.c:10 test() buf size: 'a' 2 elements, 8 bytes
22 sm_buf_size7.c:11 test() buf size: 'b' 3 elements, 12 bytes
23 sm_buf_size7.c:12 test() buf size: 'c' 3 elements, 12 bytes
24 sm_buf_size7.c:13 test() buf size: 'd' 5 elements, 20 bytes
25 * check-output-end
26 */
27