aboutsummaryrefslogtreecommitdiffstats
path: root/debug
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2014-11-17 13:33:17 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2014-11-17 13:33:17 +0100
commit19e69e76b4608ab86819deb301409824400425a1 (patch)
tree73f8f90c0ea27d3fba68bfc89a42b93f6fe0363e /debug
parent5725e8d4ffcc9bde14b0c46fcaba83a9d84c7ddb (diff)
downloadcompcert-kvx-19e69e76b4608ab86819deb301409824400425a1.tar.gz
compcert-kvx-19e69e76b4608ab86819deb301409824400425a1.zip
Removed compile error and added dummy function for the printing of entries.
Diffstat (limited to 'debug')
-rw-r--r--debug/DwarfPrinter.ml12
-rw-r--r--debug/DwarfUtil.ml5
2 files changed, 9 insertions, 8 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml
index 0c5fc96f..3e804532 100644
--- a/debug/DwarfPrinter.ml
+++ b/debug/DwarfPrinter.ml
@@ -54,6 +54,7 @@ module type DWARF_DEFS =
val bound_ref_type_abbr: int
(* Functions for the printing of the debug information *)
val info_section_start: out_channel -> unit
+ val print_entry: out_channel -> dw_entry -> int -> unit
val info_section_end: out_channel -> unit
end
@@ -309,8 +310,13 @@ module DwarfPrinter(Defs:DWARF_DEFS) :
let print_debug oc entry =
compute_abbrv entry;
print_abbrv oc;
- info_section_start oc;
-
- info_section_end oc
+ Defs.info_section_start oc;
+ entry_iter_sib (fun sib entry ->
+ let has_sib = match sib with
+ | None -> false
+ | Some _ -> true in
+ let abbrv = get_abbrv entry has_sib in
+ Defs.print_entry oc entry abbrv) entry;
+ Defs.info_section_end oc
end)
diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml
index 5bdba147..79516e65 100644
--- a/debug/DwarfUtil.ml
+++ b/debug/DwarfUtil.ml
@@ -44,11 +44,6 @@ let add_children entry child =
{entry with children = child::entry.children;}
-(* Iter over the tree in prefix order *)
-let rec entry_iter f entry =
- f entry.tag;
- List.iter (entry_iter f) entry.children
-
let list_iter_with_next f list =
let rec aux = (function
| [] -> ()