diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-23 16:49:13 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-23 16:49:13 +0200 |
commit | b448fbba97c1008599610d0c9bc834881b9dc219 (patch) | |
tree | f244430d915c0818c8ae66c1235316fdac1d683d /debug/Debug.mli | |
parent | 806102dd5492a39b33c2ebb88d6646237ba7f9e6 (diff) | |
download | compcert-b448fbba97c1008599610d0c9bc834881b9dc219.tar.gz compcert-b448fbba97c1008599610d0c9bc834881b9dc219.zip |
Added support for printing local variables and fixed issue with .text
Local variables are now added with bogus lexical scopes to reflect
the actually lexical scopes. Also this commit fixes assembler problems
of the das when a user section with the name ".text" is defined.
Diffstat (limited to 'debug/Debug.mli')
-rw-r--r-- | debug/Debug.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index a7d40382..1fabb943 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -29,5 +29,5 @@ val all_files_iter: (string -> unit) -> unit val insert_local_declaration: storage -> ident -> typ -> location -> unit val atom_local_variable: ident -> atom -> unit val enter_scope: int -> int -> int -> unit -val enter_function_scope: ident -> int -> unit +val enter_function_scope: int -> int -> unit val add_lvar_scope: int -> ident -> int -> unit |