diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-18 16:42:05 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-18 16:42:05 +0200 |
| commit | 31aceeb1be64d529432f35bbea16ebafc3a21df0 (patch) | |
| tree | acb6e197e6960405b450c9c9842fdf37e18a5b40 /debug/Debug.mli | |
| parent | c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93 (diff) | |
| download | compcert-kvx-31aceeb1be64d529432f35bbea16ebafc3a21df0.tar.gz compcert-kvx-31aceeb1be64d529432f35bbea16ebafc3a21df0.zip | |
Started implementing the scope for the Debug Informations.
Scopes will be handled by a stack of all open scopes. This stack
then can also be used to generate the debug directives to track the
scopes through the rest of the passes.
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index e712874c..69894ba7 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -26,3 +26,5 @@ 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 atom_local_variable: ident -> atom -> unit |