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 /cparser/Unblock.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 'cparser/Unblock.ml')
-rw-r--r-- | cparser/Unblock.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml index ad4b5497..c6646b5c 100644 --- a/cparser/Unblock.ml +++ b/cparser/Unblock.ml @@ -255,6 +255,7 @@ let new_scope_id () = let process_decl loc env ctx (sto, id, ty, optinit) k = let ty' = remove_const env ty in local_variables := (sto, id, ty', None) :: !local_variables; + debug_var_decl ctx id; (* TODO: register the fact that id is declared in scope ctx *) match optinit with | None -> |