diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 12:59:10 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 12:59:10 +0200 |
commit | c32e15e23759d354c1491a69767093e374f52754 (patch) | |
tree | d661c371fab8b4c684bfd4b34a2b53f6e54a6686 /debug/DwarfTypes.mli | |
parent | b946cdfc8e33468a813cd8b2e41aa3442b51f04f (diff) | |
download | compcert-c32e15e23759d354c1491a69767093e374f52754.tar.gz compcert-c32e15e23759d354c1491a69767093e374f52754.zip |
Do not search for high and low pc of inlined functions.
Diffstat (limited to 'debug/DwarfTypes.mli')
-rw-r--r-- | debug/DwarfTypes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index e32f6fab..e3d08e57 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -268,5 +268,5 @@ module type DWARF_TARGET= val get_end_addr: unit -> int val get_stmt_list_addr: unit -> int val name_of_section: section_name -> string - val get_fun_addr: string -> int * int + val get_fun_addr: string -> (int * int) option end |