From 89bd87cab8e6216b1f87389f93424468710e5f21 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 24 Jan 2017 13:04:51 +0100
Subject: Do not print anonymous member names in debug info

Anonymous members no longer are printed in the debug information.
Fix 20798
---
 debug/Dwarfgen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug/Dwarfgen.ml')

diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml
index 30e44e52..ee568042 100644
--- a/debug/Dwarfgen.ml
+++ b/debug/Dwarfgen.ml
@@ -232,7 +232,7 @@ module Dwarfgenaux (Target: TARGET) =
         | None -> None
         | Some s -> Some (DataLocBlock (DW_OP_plus_uconst s)));
         member_declaration = None;
-        member_name = string_entry mem.cfd_name;
+        member_name = if mem.cfd_anon then None else Some (string_entry mem.cfd_name);
         member_type = mem.cfd_typ;
       } in
       new_entry (next_id ()) (DW_TAG_member mem)
-- 
cgit