diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 11:13:44 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 11:13:44 +0200 |
commit | 7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d (patch) | |
tree | 28f5a07db8e6e77327d3131680470902b15c8172 | |
parent | a168d6a141e77a5fa98017b23ab2aadc5748fe94 (diff) | |
download | compcert-7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d.tar.gz compcert-7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d.zip |
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.
-rw-r--r-- | debug/CtoDwarf.ml | 8 |
1 files changed, 4 insertions, 4 deletions
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 = |