1 #include "check_debug.h"
2 
func(void)3 void func(void)
4 {
5 	int a[4];
6 	char b[4];
7 	char *c = (char *)a;
8 	int *d = (int *)b;
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 #1
18  * check-command: smatch -I.. sm_buf_size1.c
19  *
20  * check-output-start
21 sm_buf_size1.c:10 func() buf size: 'a' 4 elements, 16 bytes
22 sm_buf_size1.c:11 func() buf size: 'b' 4 elements, 4 bytes
23 sm_buf_size1.c:12 func() buf size: 'c' 16 elements, 16 bytes
24 sm_buf_size1.c:13 func() buf size: 'd' 1 elements, 4 bytes
25  * check-output-end
26  */
27