diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-20 15:36:42 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-20 15:36:42 +0200 |
| commit | a34b64ee2e7a535ebc0fc731243ab520c4ba430f (patch) | |
| tree | 21404821c5554252ceafb95d8b9573b218664eab /debug/DwarfPrinter.ml | |
| parent | 31aceeb1be64d529432f35bbea16ebafc3a21df0 (diff) | |
| download | compcert-kvx-a34b64ee2e7a535ebc0fc731243ab520c4ba430f.tar.gz compcert-kvx-a34b64ee2e7a535ebc0fc731243ab520c4ba430f.zip | |
New version of adding scopes etc.
Instead of reimplementing the whole scope handling in the debug information
use the existing functionality and fill the scopes explicitly in the functions.
Diffstat (limited to 'debug/DwarfPrinter.ml')
0 files changed, 0 insertions, 0 deletions