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