diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
| commit | 2ebf8bfda476966209d681470ebe6301fb10db0a (patch) | |
| tree | 15bc824d8c92a5d089852a3a21648cba7af242eb /debug/DwarfPrinter.ml | |
| parent | 275d7f4091609ae30093a4a83a20a74997229f9c (diff) | |
| download | compcert-2ebf8bfda476966209d681470ebe6301fb10db0a.tar.gz compcert-2ebf8bfda476966209d681470ebe6301fb10db0a.zip | |
Added missing functions for printing the structs and unions. Still missing printing of packed structs.
Diffstat (limited to 'debug/DwarfPrinter.ml')
| -rw-r--r-- | debug/DwarfPrinter.ml | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml index 9ed70089..1cda1334 100644 --- a/debug/DwarfPrinter.ml +++ b/debug/DwarfPrinter.ml @@ -151,8 +151,8 @@ module DwarfPrinter(Target: DWARF_TARGET)(DwarfAbbrevs:DWARF_ABBREVS): prologue 0x4; add_attr_some e.enumeration_file_loc add_file_loc; add_byte_size buf; - add_name buf; - add_attr_some e.enumeration_declaration add_declaration + add_attr_some e.enumeration_declaration add_declaration; + add_name buf | DW_TAG_enumerator e -> prologue 0x28; add_attr_some e.enumerator_file_loc add_file_loc; @@ -191,7 +191,7 @@ module DwarfPrinter(Target: DWARF_TARGET)(DwarfAbbrevs:DWARF_ABBREVS): | DW_TAG_structure_type e -> prologue 0x13; add_attr_some e.structure_file_loc add_file_loc; - add_byte_size buf; + add_attr_some e.structure_byte_size add_byte_size; add_attr_some e.structure_declaration add_declaration; add_name buf | DW_TAG_subprogram e -> @@ -221,7 +221,8 @@ module DwarfPrinter(Target: DWARF_TARGET)(DwarfAbbrevs:DWARF_ABBREVS): | DW_TAG_union_type e -> prologue 0x17; add_attr_some e.union_file_loc add_file_loc; - add_byte_size buf; + add_attr_some e.union_byte_size add_byte_size; + add_attr_some e.union_declaration add_declaration; add_name buf | DW_TAG_unspecified_parameter e -> prologue 0x18; @@ -415,7 +416,7 @@ module DwarfPrinter(Target: DWARF_TARGET)(DwarfAbbrevs:DWARF_ABBREVS): let print_structure oc st = print_file_loc oc st.structure_file_loc; - print_uleb128 oc st.structure_byte_size; + print_opt_value oc st.structure_byte_size print_uleb128; print_opt_value oc st.structure_declaration print_flag; print_string oc st.structure_name @@ -443,10 +444,10 @@ module DwarfPrinter(Target: DWARF_TARGET)(DwarfAbbrevs:DWARF_ABBREVS): print_string oc td.typedef_name; print_ref oc td.typedef_type - let print_union_type oc ut = print_file_loc oc ut.union_file_loc; - print_uleb128 oc ut.union_byte_size; + print_opt_value oc ut.union_byte_size print_uleb128; + print_opt_value oc ut.union_declaration print_flag; print_string oc ut.union_name let print_unspecified_parameter oc up = |