From 79b9d8dfdda36e7c778b8f24f894caf900cdcd57 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 29 Dec 2016 20:33:02 +0100
Subject: Allow multiple nameless bit field fields.

---
 cparser/Elab.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'cparser')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 845fc210..1bfc2d11 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -849,10 +849,12 @@ and elab_struct_or_union_info keep_ty kind loc env members attrs =
              union.ci_members@rest
            | _ -> rest in
          duplicate acc rest
-       end else begin
+       end else if fld.fld_name <> "" then begin
          if List.exists ((=) fld.fld_name) acc then
            error loc "duplicate member '%s'" fld.fld_name;
-         duplicate (fld.fld_name::acc) rest end in
+         duplicate (fld.fld_name::acc) rest
+       end else
+         duplicate acc rest in
   duplicate [] m;
   (* Check for incomplete types *)
   let rec check_incomplete = function
-- 
cgit