diff options
Diffstat (limited to 'validation/packed-bitfield4.c')
| -rw-r--r-- | validation/packed-bitfield4.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/validation/packed-bitfield4.c b/validation/packed-bitfield4.c new file mode 100644 index 00000000..0342b241 --- /dev/null +++ b/validation/packed-bitfield4.c @@ -0,0 +1,19 @@ +#define __packed __attribute__((packed)) + +typedef __UINT32_TYPE__ u32; + +struct s { + u32 f:24; +} __packed; +_Static_assert(sizeof(struct s) == 3); + +static int ld(struct s *s) +{ + return s->f; +} + +/* + * check-name: packed-bitfield4 + * check-description: Is check_access() OK with short packed bitfields? + * check-known-to-fail + */ |