diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 18:39:31 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 18:39:31 +0200 |
| commit | 9873f9ee01c6ccca88fd461d318e107ff303fe88 (patch) | |
| tree | b478b52548ebc1bfbe4b479cebe2dc32d372d0cb /debug/Dwarfgen.ml | |
| parent | 906873ee165cbaabf36ca51792eb5a498a12bd72 (diff) | |
| download | compcert-kvx-9873f9ee01c6ccca88fd461d318e107ff303fe88.tar.gz compcert-kvx-9873f9ee01c6ccca88fd461d318e107ff303fe88.zip | |
Use a more descriptive type for diab debug entries.
Instead of using a tuple we now use a record with descriptive names
for the different entries.
Bug 17392
Diffstat (limited to 'debug/Dwarfgen.ml')
| -rw-r--r-- | debug/Dwarfgen.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index eff80110..8048ea43 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -463,7 +463,14 @@ let gen_diab_debug_info sec_name var_section : debug_entries = } in let cp = new_entry (next_id ()) (DW_TAG_compile_unit cp) in let cp = add_children cp ((gen_types (diab_file_loc s) ty) @ defs) in - (s,debug_start,line_start,cp,(Some low_pc,locs))::acc) defs [] in + let entry = { + section_name = s; + start_label = debug_start; + line_label = line_start; + entry = cp; + locs = Some low_pc,locs; + } in + entry::acc) defs [] in Diab entries let gnu_file_loc (f,l) = |