From 2bfa77d9eb3940b9b46865f7ebe760365164d312 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 2 Oct 2015 16:24:01 +0200 Subject: First try of debug information for gcc. --- debug/Debug.mli | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'debug/Debug.mli') diff --git a/debug/Debug.mli b/debug/Debug.mli index e9b566a5..98a13b30 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -43,11 +43,13 @@ type implem = mutable function_end: atom -> positive -> unit; mutable add_label: atom -> positive -> int -> unit; mutable atom_parameter: ident -> ident -> atom -> unit; - mutable add_compilation_section_start: string -> (int * int * int * string) -> unit; + mutable add_compilation_section_start: string -> int -> unit; + mutable add_compilation_section_end: string -> int -> unit; mutable compute_file_enum: (string -> int) -> (string-> int) -> (unit -> unit) -> unit; mutable exists_section: string -> bool; mutable remove_unused: ident -> unit; mutable variable_printed: string -> unit; + mutable add_diab_info: string -> (int * int * string) -> unit; } val implem: implem @@ -75,8 +77,10 @@ val function_end: atom -> positive -> unit val add_label: atom -> positive -> int -> unit val generate_debug_info: (atom -> string) -> string -> debug_entries option val atom_parameter: ident -> ident -> atom -> unit -val add_compilation_section_start: string -> (int * int * int * string) -> unit +val add_compilation_section_start: string -> int -> unit +val add_compilation_section_end: string -> int -> unit val compute_file_enum: (string -> int) -> (string-> int) -> (unit -> unit) -> unit val exists_section: string -> bool val remove_unused: ident -> unit val variable_printed: string -> unit +val add_diab_info: string -> (int * int * string) -> unit -- cgit