aboutsummaryrefslogtreecommitdiffstats
path: root/debug/Dwarfgen.ml
Commit message (Collapse)AuthorAgeFilesLines
...
* Record the scope structure during unblocking.Bernhard Schommer2015-09-221-18/+99
| | | | | | Instead of creating separate annotations for the local variables we call the Debug.add_lvar_scope and we construct a mapping from function id + scope id to scope information.
* Started implementing the scope for the Debug Informations.Bernhard Schommer2015-09-181-2/+14
| | | | | | 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.
* First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-0/+247
Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation.