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

1 files changed, 20 insertions, 0 deletions

diff --git a/test/regression/bitfields7.c b/test/regression/bitfields7.c
new file mode 100644
index 0000000..33e20a1
--- /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;
+}