First step to implemente address ranges for the gnu backend.

In contrast to the dcc, the gcc uses address ranges to express
non-contiguous range of addresses. As a first step we set the
start and end addresses for the different address ranges for
the compilation unit by using the start and end addresses of
functions.
Bug 17392.

1 files changed, 1 insertions, 7 deletions

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 3bffe59b..151326bb 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -901,21 +901,15 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
       fprintf oc "	.%s\n" (if !Clflags.option_mthumb then "thumb" else "arm");
       if !Clflags.option_g then begin
         section oc Section_text;
-        let low_pc = new_label () in
-        Debug.add_compilation_section_start Section_text low_pc;
-        fprintf oc "%a:\n" elf_label low_pc;
         fprintf oc "	.cfi_sections	.debug_frame\n"
       end
 
 
     let print_epilogue oc =
       if !Clflags.option_g then begin
-        let high_pc = new_label () in
-        Debug.add_compilation_section_end Section_text high_pc;
         Debug.compute_gnu_file_enum (fun f -> ignore (print_file oc f));
         section oc Section_text;
-        fprintf oc "%a:\n" elf_label high_pc
-        end
+      end
 
 
     let default_falignment = 4