#include "check_debug.h"

void *malloc(int size);

int function(void)
{
	int *p;
	int array[1000];

	p = malloc(4000);

	__smatch_buf_size(p);
	__smatch_buf_size(&p[0]);
	__smatch_buf_size(array);
	__smatch_buf_size(&array);
	__smatch_buf_size(&array[0]);

	return 0;
}
/*
 * check-name: smatch buf size #6
 * check-command: smatch --spammy -I.. sm_buf_size6.c
 *
 * check-output-start
sm_buf_size6.c:12 function() buf size: 'p' 1000 elements, 4000 bytes
sm_buf_size6.c:13 function() buf size: '&p[0]' 1000 elements, 4000 bytes
sm_buf_size6.c:14 function() buf size: 'array' 1000 elements, 4000 bytes
sm_buf_size6.c:15 function() buf size: '&array' 1000 elements, 4000 bytes
sm_buf_size6.c:16 function() buf size: '&array[0]' 1000 elements, 4000 bytes
 * check-output-end
 */