#include <stdio.h>
#include <string.h>
#include "check_debug.h"

void *kmalloc(int size, int mask);

struct foo {
        int x, y, z;
        int buf[0];
};

int main(void)
{
        struct foo *p;

        p = kmalloc(sizeof(*p) + 100, 0);
        if (!p)
                return -12;
        __smatch_buf_size(p->buf);

        return 0;
}


/*
 * check-name: smatch: overflow check #5
 * check-command: smatch -p=kernel -I.. sm_array_overflow5.c
 *
 * check-output-start
sm_array_overflow5.c:19 main() buf size: 'p->buf' 25 elements, 100 bytes
 * check-output-end
 */