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/DwarfPrinter.ml | |
| 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 'debug/DwarfPrinter.ml')
0 files changed, 0 insertions, 0 deletions