xref: /third_party/ltp/tools/sparse/sparse-src/validation/vla-sizeof.c

unsigned long vla_sizeof0(int size)
{
	int a[size];
	return sizeof(a);
}

unsigned long vla_sizeof1(int size)
{
	struct s {
		int a[size];
	};
	return sizeof(struct s);
}

unsigned long vla_sizeof2(int size)
{
	struct s {
		int a[size];
	} *p;
	return sizeof(*p);
}

void* vla_inc(int size, void *base)
{
	struct s {
		int a[size];
	} *p = base;

	++p;
	return p;
}

/*
 * check-name: vla-sizeof.c
 *
 * check-known-to-fail
 */