diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 18:19:37 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 18:19:37 +0200 |
| commit | c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93 (patch) | |
| tree | c9dacff414156d4d527ac40078cbdc51f160c8d0 /debug/Debug.mli | |
| parent | 98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0 (diff) | |
| download | compcert-kvx-c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93.tar.gz compcert-kvx-c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93.zip | |
First version with computation of dwarf info from debug info.
Introduced a new dwarf generation from the information collected in
the DebugInformation and removed the old CtODwarf translation.
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index ae32af5b..e712874c 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -12,6 +12,7 @@ open C open Camlcoq +open DwarfTypes val init: unit -> unit @@ -23,3 +24,5 @@ val set_member_offset: ident -> string -> int -> unit val set_bitfield_offset: ident -> string -> int -> string -> int -> unit val insert_global_declaration: Env.t -> globdecl -> unit val add_fun_addr: atom -> (int * int) -> unit +val generate_debug_info: unit -> dw_entry option +val all_files_iter: (string -> unit) -> unit |