diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-15 12:20:57 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-15 12:20:57 +0100 |
| commit | 6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11 (patch) | |
| tree | 5595a8860f6db26ccc015546362b7c3820836099 /debug/DwarfAbbrvPrinter.ml | |
| parent | 089a9c8d0eb0b44a12d4008739b7c1cbc9dccd14 (diff) | |
| download | compcert-6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11.tar.gz compcert-6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11.zip | |
Started implementation of printing the dwarf entries.
Diffstat (limited to 'debug/DwarfAbbrvPrinter.ml')
| -rw-r--r-- | debug/DwarfAbbrvPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debug/DwarfAbbrvPrinter.ml b/debug/DwarfAbbrvPrinter.ml index 4a3ae5b1..214484b6 100644 --- a/debug/DwarfAbbrvPrinter.ml +++ b/debug/DwarfAbbrvPrinter.ml @@ -57,6 +57,8 @@ module type DWARF_ABBRV_DEFS = module DwarfAbbrvPrinter(Defs:DWARF_ABBRV_DEFS) : sig val print_debug_abbrv: out_channel -> dw_entry -> unit + val get_abbrv: dw_entry -> bool -> int + val get_abbrv_start_addr: unit -> int end = (struct @@ -307,4 +309,6 @@ module DwarfAbbrvPrinter(Defs:DWARF_ABBRV_DEFS) : compute_abbrv entry; print_abbrv oc + let get_abbrv_start_addr = Defs.get_abbrv_start_addr + end) |