diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
| commit | 0ffd562ae1941e37471ac0c2b8f93bed1de26441 (patch) | |
| tree | 2ac8382fa3a37568f32d27dbc3291c8cd97f13e2 /debug | |
| parent | f0a5038b4e4220300637d3e9e918d9ec31623108 (diff) | |
| download | compcert-kvx-0ffd562ae1941e37471ac0c2b8f93bed1de26441.tar.gz compcert-kvx-0ffd562ae1941e37471ac0c2b8f93bed1de26441.zip | |
Filled in the rest of the funciton needed for thte debug info under arm.
The name_of_section function no returns the correct name for the
debug sections, the prologue and epilogue directives are added and
the labels for the live ranges are introduced in the Asmexpand pass.
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/DwarfPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml index 2a54fa6a..1bd54470 100644 --- a/debug/DwarfPrinter.ml +++ b/debug/DwarfPrinter.ml @@ -627,7 +627,7 @@ module DwarfPrinter(Target: DWARF_TARGET): print_abbrev oc; section oc Section_debug_loc; print_location_list oc loc; - fprintf oc " .section .debug_line,\"\",@progbits\n"; + section oc (Section_debug_line ""); print_label oc line_start (* Print the debug info and abbrev section *) |