#include <stdlib.h>
#include "check_debug.h"

struct foo {
	int x, y, z;
	int count;
	char msg[0];
};

struct bar {
	int x, y, z;
	int count;
	char msg[1];
};

struct outer1 {
	int x, y, z;
	struct foo foo;
};

struct outer2 {
	int x, y, z;
	struct bar bar;
};

int test(void)
{
	struct foo *p;
	struct bar *q;
	struct outer1 *a;
	struct outer2 *b;

	p = malloc(sizeof(*p) + 100);
	__smatch_buf_size(p->msg);

	q = malloc(sizeof(*q) + 100);
	__smatch_buf_size(q->msg);

	a = malloc(sizeof(*a) + 100);
	__smatch_buf_size(a->foo);

	b = malloc(sizeof(*b) + 100);
	__smatch_buf_size(b->bar);
}

/*
 * check-name: smatch buf size #8
 * check-command: smatch -I.. sm_buf_size8.c
 *
 * check-output-start
sm_buf_size8.c:34 test() buf size: 'p->msg' 100 elements, 100 bytes
sm_buf_size8.c:37 test() buf size: 'q->msg' 101 elements, 101 bytes
sm_buf_size8.c:40 test() buf size: 'a->foo' 0 elements, 116 bytes
sm_buf_size8.c:43 test() buf size: 'b->bar' 0 elements, 120 bytes
 * check-output-end
 */