From 9873f9ee01c6ccca88fd461d318e107ff303fe88 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 12 Oct 2015 18:39:31 +0200 Subject: 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 --- debug/Dwarfgen.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'debug/Dwarfgen.ml') 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) = -- cgit