validation/packed-deref0.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#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
 * check-known-to-fail
 */