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