From cca95c35a944a994de1daee2462c1b3663b3efd2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 24 Sep 2010 09:04:51 +0000
Subject: Inconsistent treatment of "lone" zero-width bit fields (i.e. not
 preceded by another bit field).

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1516 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/bitfields7.c | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/regression/bitfields7.c

(limited to 'test/regression/bitfields7.c')

diff --git a/test/regression/bitfields7.c b/test/regression/bitfields7.c
new file mode 100644
index 00000000..33e20a12
--- /dev/null
+++ b/test/regression/bitfields7.c
@@ -0,0 +1,20 @@
+#include <stdio.h>
+
+struct S0 {
+  signed f0 : 12;
+  unsigned f1 : 28;
+};
+
+struct S5 {
+  struct S0  f1;
+  unsigned : 0;
+  signed f2 : 26;
+};
+
+struct S5 g_22 = {{0,0},1};
+
+int main(int argc, char* argv[])
+{
+   printf("g_22.f2 = %d\n", g_22.f2);
+   return 0;
+}
-- 
cgit