blob: 8f44d4c2c2771c89432003726ef01c6327f8601f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#define __packed __attribute__((packed))
typedef __UINT32_TYPE__ u32;
struct s {
u32 a:5;
u32 f:30;
u32 z:5;
} __packed;
_Static_assert(sizeof(struct s) == 5);
static int ld(struct s *s)
{
return s->f;
}
/*
* check-name: packed-bitfield5
* check-description: is check_access() OK with 'overlapping' packed bitfields?
* check-known-to-fail
*/
|