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/Dwarfgen.ml | |
| parent | f1e56a6c69acfd233bbe99bc3ab28409116eb5db (diff) | |
| download | compcert-89bd87cab8e6216b1f87389f93424468710e5f21.tar.gz compcert-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/Dwarfgen.ml')
| -rw-r--r-- | debug/Dwarfgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 30e44e52..ee568042 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -232,7 +232,7 @@ module Dwarfgenaux (Target: TARGET) = | None -> None | Some s -> Some (DataLocBlock (DW_OP_plus_uconst s))); member_declaration = None; - member_name = string_entry mem.cfd_name; + member_name = if mem.cfd_anon then None else Some (string_entry mem.cfd_name); member_type = mem.cfd_typ; } in new_entry (next_id ()) (DW_TAG_member mem) |