diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-20 15:36:42 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-20 15:36:42 +0200 |
| commit | a34b64ee2e7a535ebc0fc731243ab520c4ba430f (patch) | |
| tree | 21404821c5554252ceafb95d8b9573b218664eab /debug/Debug.mli | |
| parent | 31aceeb1be64d529432f35bbea16ebafc3a21df0 (diff) | |
| download | compcert-kvx-a34b64ee2e7a535ebc0fc731243ab520c4ba430f.tar.gz compcert-kvx-a34b64ee2e7a535ebc0fc731243ab520c4ba430f.zip | |
New version of adding scopes etc.
Instead of reimplementing the whole scope handling in the debug information
use the existing functionality and fill the scopes explicitly in the functions.
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index 69894ba7..087f073f 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -26,5 +26,7 @@ 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 -val insert_local_declaration: storage -> ident -> typ -> location -> unit +val insert_local_declaration: int -> storage -> ident -> typ -> location -> unit val atom_local_variable: ident -> atom -> unit +val enter_scope: int -> int -> unit +val enter_function_scope: ident -> int -> unit |