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.ml | |
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.ml')
-rw-r--r-- | debug/Debug.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Debug.ml b/debug/Debug.ml index eb616dab..c2b48618 100644 --- a/debug/Debug.ml +++ b/debug/Debug.ml @@ -33,7 +33,7 @@ type implem = mutable insert_local_declaration: storage -> ident -> typ -> location -> unit; mutable atom_local_variable: ident -> atom -> unit; mutable enter_scope: int -> int -> int -> unit; - mutable enter_function_scope: ident -> int -> unit; + mutable enter_function_scope: int -> int -> unit; mutable add_lvar_scope: int -> ident -> int -> unit; } |