validation/packed-deref0.c

#define	__packed	__attribute__((packed))

typedef struct {
	__INT8_TYPE__	a;
	__INT16_TYPE__	b;
	__INT32_TYPE__	c;
} __packed obj_t;

_Static_assert(sizeof(obj_t) == 7, "sizeof packed struct");

static void foo(obj_t *ptr, int val)
{
	ptr->c = val;
}

static void bar(obj_t o)
{
	foo(&o, 0);
}

/*
 * check-name: packed-deref0
 */