#include "check_debug.h"

void func(void)
{
        int a[4];
        char b[4];
        char *c = (char *)a;
        int *d = (int *)b;

        __smatch_buf_size(a);
        __smatch_buf_size(b);
        __smatch_buf_size(c);
        __smatch_buf_size(d);
}

/*
 * check-name: smatch buf size #1
 * check-command: smatch -I.. sm_buf_size1.c
 *
 * check-output-start
sm_buf_size1.c:10 func() buf size: 'a' 4 elements, 16 bytes
sm_buf_size1.c:11 func() buf size: 'b' 4 elements, 4 bytes
sm_buf_size1.c:12 func() buf size: 'c' 16 elements, 16 bytes
sm_buf_size1.c:13 func() buf size: 'd' 1 elements, 4 bytes
 * check-output-end
 */