From 2b1c0aa69adafac185dd6c4e460d83517bcc8884 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 8 Jul 2015 10:16:53 +0200
Subject: Fix issue with bit fields of type _Bool

cparser/Bitfields.ml: when assigning to a bit field of type _Bool, the
  right-hand side must be normalized to 0 or 1 via a cast to _Bool.
test/regression/bitfields{1,9}.c: add corresponding test cases.
---
 test/regression/Results/bitfields9 |  6 +++---
 test/regression/bitfields1.c       |  4 ++--
 test/regression/bitfields9.c       | 14 +++++++-------
 3 files changed, 12 insertions(+), 12 deletions(-)

(limited to 'test')

diff --git a/test/regression/Results/bitfields9 b/test/regression/Results/bitfields9
index ca74f1f4..a1d0e9fd 100644
--- a/test/regression/Results/bitfields9
+++ b/test/regression/Results/bitfields9
@@ -1,10 +1,10 @@
 glob_s = { a = -12, b = 1 }
-glob_t = { c = 123, d = 0, e = -45 }
+glob_t = { c = 123, d = 1, e = -45 }
 loc_s = { a = 11, b = 2 }
 loc_t = { c = 11, d = 1, e = 2 }
 compound_s = { a = 2, b = 3 }
-compound_t = { c = 2, d = 0, e = -11 }
+compound_t = { c = 2, d = 1, e = -11 }
 loc_s = { a = 7, b = 2 }
 loc_t = { c = 7, d = 1, e = 50 }
 compound_s = { a = -14, b = 3 }
-compound_t = { c = 50, d = 0, e = -7 }
+compound_t = { c = 50, d = 1, e = -7 }
diff --git a/test/regression/bitfields1.c b/test/regression/bitfields1.c
index c6022dd1..5f6dfdd1 100644
--- a/test/regression/bitfields1.c
+++ b/test/regression/bitfields1.c
@@ -7,7 +7,7 @@ struct s {
 
 struct t {
   unsigned int c: 16;
-  unsigned int d: 1;
+  _Bool d: 1;
   short e: 8;
 };
 
@@ -29,7 +29,7 @@ int main()
   y.c = 12345;
   y.d = 0;
   y.e = 89;
-  res = f(&x, &y, 1);
+  res = f(&x, &y, 2);
 
   printf("x = {a = %d, b = %d }\n", x.a, x.b);
   printf("y = {c = %d, d = %d, e = %d }\n", y.c, y.d, y.e);
diff --git a/test/regression/bitfields9.c b/test/regression/bitfields9.c
index b33c4064..be87057b 100644
--- a/test/regression/bitfields9.c
+++ b/test/regression/bitfields9.c
@@ -9,7 +9,7 @@ struct s {
 
 struct t {
   unsigned int c: 16;
-  unsigned int d: 1;
+  _Bool d: 1;
   short e: 8;
 };
 
@@ -25,25 +25,25 @@ void print_t(char * msg, struct t p)
 
 /* Global initialization */
 struct s glob_s = { -12, 1 };
-struct t glob_t = { 123, 0, -45 };
+struct t glob_t = { 123, 2, -45 };
 
 /* Local initialization */
-void f(int x, int y)
+void f(int x, int y, int z)
 {
   struct s loc_s = { x, y };
-  struct t loc_t = { x, 1, y };
+  struct t loc_t = { x, z, y };
   print_s("loc_s", loc_s);
   print_t("loc_t", loc_t);
   print_s("compound_s", (struct s) { y, x });
-  print_t("compound_t", (struct t) { y, 0, -x });
+  print_t("compound_t", (struct t) { y, ~z, -x });
 }
 
 int main()
 {
   print_s("glob_s", glob_s);
   print_t("glob_t", glob_t);
-  f(11, 2);
-  f(7, 50);
+  f(11, 2, 3);
+  f(7, 50, 2);
   return 0;
 }
 
-- 
cgit