From 711cea9fc37e777487abc815730aacde2b00aef3 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 28 Jun 2016 17:04:56 +0200 Subject: Activate advanced debug information for arm, ia32. The configuration advanced debug is removed and now full debug information is also generated for ia32 and arm. Bug 17609 --- backend/PrintAsm.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'backend') diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 96aa080e..8e43a050 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -30,7 +30,7 @@ module Printer(Target:TARGET) = s,e let print_debug_label oc l = - if !Clflags.option_g && Configuration.advanced_debug then + if !Clflags.option_g then fprintf oc "%a:\n" Target.label l else () @@ -49,7 +49,7 @@ module Printer(Target:TARGET) = if not (C2C.atom_is_static name) then fprintf oc " .globl %a\n" Target.symbol name; Target.print_optional_fun_info oc; - let s,e = if !Clflags.option_g && Configuration.advanced_debug then + let s,e = if !Clflags.option_g then get_fun_addr name text else -1,-1 in @@ -126,7 +126,7 @@ let print_program oc p = Target.print_prologue oc; List.iter (Printer.print_globdef oc) p.prog_defs; Target.print_epilogue oc; - if !Clflags.option_g && Configuration.advanced_debug then + if !Clflags.option_g then begin let atom_to_s s = let s = C2C.atom_sections s in -- cgit