From 9ecede34667433bc3cacf47fb75e03a79607223b Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 7 Sep 2015 15:31:00 +0200 Subject: Various changes in the debug printer. The debug printer now uses udata for member sizes since structs can have a size larger than 255 bytes. Also functions that are inlined no longer have an high and low pc in their abbreviation entry. --- debug/CtoDwarf.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'debug/CtoDwarf.ml') diff --git a/debug/CtoDwarf.ml b/debug/CtoDwarf.ml index dca33f38..c2085eb0 100644 --- a/debug/CtoDwarf.ml +++ b/debug/CtoDwarf.ml @@ -305,15 +305,12 @@ let typedef_to_dwarf gloc (name,t) = (* Translate a global var to its corresponding dwarf representation *) let glob_var_to_dwarf (s,n,t,_) gloc = let i,t = type_to_dwarf t in - let at_decl = (match s with - | Storage_extern -> true - | _ -> false) in let ext = (match s with | Storage_static -> false | _ -> true) in let decl = { variable_file_loc = (Some gloc); - variable_declaration = Some at_decl; + variable_declaration = None; variable_external = Some ext; variable_location = None; variable_name = n.name; @@ -372,7 +369,7 @@ let enum_to_dwarf (n,at,e) gloc = let enum = { enumeration_file_loc = Some gloc; enumeration_byte_size = bs; - enumeration_declaration = Some false; + enumeration_declaration = None; enumeration_name = if n.name <> "" then Some n.name else None; } in let id = get_composite_type n.stamp in -- cgit