diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 15:31:00 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 15:31:00 +0200 |
| commit | 9ecede34667433bc3cacf47fb75e03a79607223b (patch) | |
| tree | a3d90ee918a6003d15edd7333a54078193de606a /debug/CtoDwarf.ml | |
| parent | 7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d (diff) | |
| download | compcert-9ecede34667433bc3cacf47fb75e03a79607223b.tar.gz compcert-9ecede34667433bc3cacf47fb75e03a79607223b.zip | |
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.
Diffstat (limited to 'debug/CtoDwarf.ml')
| -rw-r--r-- | debug/CtoDwarf.ml | 7 |
1 files changed, 2 insertions, 5 deletions
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 |