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 /cfrontend | |
parent | c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93 (diff) | |
download | compcert-31aceeb1be64d529432f35bbea16ebafc3a21df0.tar.gz compcert-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 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 4ed1ded3..b7012ef9 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -1054,6 +1054,7 @@ let convertFundef loc env fd = if init <> None then unsupported "initialized local variable"; let id' = intern_string id.name in + Debug.atom_local_variable id id'; (id', convertTyp env ty)) fd.fd_locals in let body' = convertStmt loc env fd.fd_body in |