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