diff options
Diffstat (limited to 'validation/packed-deref0.c')
| -rw-r--r-- | validation/packed-deref0.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/validation/packed-deref0.c b/validation/packed-deref0.c new file mode 100644 index 00000000..865ad68a --- /dev/null +++ b/validation/packed-deref0.c @@ -0,0 +1,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 + */ |