Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of reading a small unsigned bitfield

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1496 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 18 insertions, 0 deletions

diff --git a/test/regression/bitfields6.c b/test/regression/bitfields6.c
new file mode 100644
index 0000000..3c2dcbe
--- /dev/null
+++ b/test/regression/bitfields6.c
@@ -0,0 +1,18 @@
+#include <stdio.h>
+
+struct S0 {
+   unsigned f : 10;
+};
+
+struct S1 {
+   unsigned f : 32;
+};
+
+int main(void)
+{
+    struct S0 l = {1};
+    struct S1 m = {1};
+    printf("g = %d\n", (-1 >= l.f));
+    printf("h = %d\n", (-1 >= m.f));
+    return 0;
+}