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