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