From 7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 7 Sep 2015 11:13:44 +0200 Subject: Set structure declaration field to None. In the case of a structure definition we do not need to set the structure declaration field set to false. --- debug/CtoDwarf.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'debug') diff --git a/debug/CtoDwarf.ml b/debug/CtoDwarf.ml index c5f1142c..dca33f38 100644 --- a/debug/CtoDwarf.ml +++ b/debug/CtoDwarf.ml @@ -391,7 +391,7 @@ let struct_to_dwarf (n,at,m) env gloc = let tag =DW_TAG_structure_type { structure_file_loc = Some gloc; structure_byte_size = info.ci_sizeof; - structure_declaration = Some false; + structure_declaration = None; structure_name = if n.name <> "" then Some n.name else None; } in let id = get_composite_type n.stamp in @@ -446,7 +446,7 @@ let struct_to_dwarf (n,at,m) env gloc = tag = tag; children = children; id = id;} in - sou::e + e@[sou] (* Translate a union definition to its corresponding dwarf representation *) let union_to_dwarf (n,at,m) env gloc = @@ -454,7 +454,7 @@ let union_to_dwarf (n,at,m) env gloc = let tag = DW_TAG_union_type { union_file_loc = Some gloc; union_byte_size = info.ci_sizeof; - union_declaration = Some false; + union_declaration = None; union_name = if n.name <> "" then Some n.name else None; } in let id = get_composite_type n.stamp in @@ -476,7 +476,7 @@ let union_to_dwarf (n,at,m) env gloc = tag = tag; children = children; id = id;} in - sou::e + e@[sou] (* Translate global declarations to there dwarf representation *) let globdecl_to_dwarf env (typs,decls) decl = -- cgit