1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon func(void)3*1f5207b7SJohn Levonvoid 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