From 0ffd562ae1941e37471ac0c2b8f93bed1de26441 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 9 Oct 2015 11:06:24 +0200 Subject: 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. --- debug/DwarfPrinter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug') 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 *) -- cgit