aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/packed-bitfield2.c
diff options
Diffstat (limited to 'validation/packed-bitfield2.c')
-rw-r--r--validation/packed-bitfield2.c16
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/packed-bitfield2.c b/validation/packed-bitfield2.c
new file mode 100644
index 00000000..4587ebec
--- /dev/null
+++ b/validation/packed-bitfield2.c
@@ -0,0 +1,16 @@
+struct bf2 {
+ unsigned p1:2;
+ unsigned i1:32;
+ unsigned p2:2;
+ unsigned s9:9;
+ unsigned s9:9;
+ unsigned s9:9;
+ unsigned b1:1;
+} __attribute__((packed));
+
+_Static_assert(sizeof(struct bf2) == 8);
+
+/*
+ * check-name: packed-bitfield2
+ * check-known-to-fail
+ */