diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
commit | 89bd87cab8e6216b1f87389f93424468710e5f21 (patch) | |
tree | c8bbc0695328f48073ad7a9f5ed040e4928b8b1f /debug/DwarfPrinter.ml | |
parent | f1e56a6c69acfd233bbe99bc3ab28409116eb5db (diff) | |
download | compcert-kvx-89bd87cab8e6216b1f87389f93424468710e5f21.tar.gz compcert-kvx-89bd87cab8e6216b1f87389f93424468710e5f21.zip |
Do not print anonymous member names in debug info
Anonymous members no longer are printed in the debug information.
Fix 20798
Diffstat (limited to 'debug/DwarfPrinter.ml')
-rw-r--r-- | debug/DwarfPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml index b81507a8..13e7765d 100644 --- a/debug/DwarfPrinter.ml +++ b/debug/DwarfPrinter.ml @@ -159,7 +159,7 @@ module DwarfPrinter(Target: DWARF_TARGET): add_attr_some e.member_bit_offset (add_abbr_entry (0xc,"DW_AT_bit_offset",DW_FORM_data1)); add_attr_some e.member_bit_size (add_abbr_entry (0xd,"DW_AT_bit_size",DW_FORM_data1)); add_attr_some e.member_declaration add_declaration; - add_name buf e.member_name; + add_name_opt buf e.member_name; add_type buf; (match e.member_data_member_location with | None -> () @@ -472,7 +472,7 @@ module DwarfPrinter(Target: DWARF_TARGET): print_opt_value oc "DW_AT_bit_offset" mb.member_bit_offset print_byte; print_opt_value oc "DW_AT_bit_size" mb.member_bit_size print_byte; print_opt_value oc "DW_AT_declaration" mb.member_declaration print_flag; - print_string oc "DW_AT_name" mb.member_name; + print_opt_value oc "DW_AT_name" mb.member_name print_string; print_ref oc "DW_AT_type" mb.member_type; print_opt_value oc "DW_AT_data_member_location" mb.member_data_member_location print_data_location |