From 55fa31e474c0f039330d6325ab33bbd86522d084 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 29 Aug 2016 10:18:24 +0200
Subject: Added check for duplicated members. Bug 19665

---
 cparser/Elab.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 0c35638b..1039a91d 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -801,6 +801,11 @@ and elab_field_group keep_ty env (Field_group (spec, fieldlist, loc)) =
 and elab_struct_or_union_info keep_ty kind loc env members attrs =
   let (m, env') = mmap (elab_field_group keep_ty) env members in
   let m = List.flatten m in
+  ignore (List.fold_left (fun acc fld ->
+    let n = fld.fld_name in
+    if List.exists ((=) n) acc then
+      error loc "duplicate memeber '%s'" n;
+    n::acc) [] m);
   (* Check for incomplete types *)
   let rec check_incomplete = function
   | [] -> ()
-- 
cgit