Ensure that debug information is retained for ARMv8-M security functions.
authorSrinath Parvathaneni <srinath.parvathaneni@arm.com>
Tue, 2 Jul 2019 11:43:59 +0000 (12:43 +0100)
committerNick Clifton <nickc@redhat.com>
Tue, 2 Jul 2019 11:43:59 +0000 (12:43 +0100)
Consider a file containing only Armv8-M secure entry functions.
This file is compiled and linked with "-march=armv8-m.main -mfloat-abi=hard
-mfpu=fpv5-sp-d16 -mcmse -static --specs=rdimon.specs
-Wl,--section-start,.gnu.sgstubs=0x190000 -ffunction-sections
-fdata-sections
-Wl,--gc-sections -g" options to generate an executable.

The executable generated does not contain any debug information of these
secure entry functions even though it contains secure entry functions in
the .text section.  This patch fixes this problem.

bfd/ChangeLog
bfd/elf32-arm.c
ld/ChangeLog
ld/testsuite/ld-arm/arm-elf.exp
ld/testsuite/ld-arm/cmse_main.s [new file with mode: 0644]
ld/testsuite/ld-arm/cmse_main_sec_debug.d [new file with mode: 0644]
ld/testsuite/ld-arm/cmse_sec_debug.s [new file with mode: 0644]

index 6c19987843a19698d71f22ed41a0ce962bf8b829..2d300759f69b5db90fa68cb2071d539e34b8fbb6 100644 (file)
@@ -1,3 +1,9 @@
+2019-07-02  Srinath Parvathaneni  <srinath.parvathaneni@arm.com>
+
+       * elf32-arm.c (elf32_arm_gc_mark_extra_sections): Mark debug
+       sections when .text section contain secure entry functions
+       is marked.
+
 2019-07-01  Nick Clifton  <nickc@redhat.com>
 
        PR 23839
index bcace92421c5f2a7196c8e28ed09ae2b9b10b4b4..fc7a41c8d23daa869d645a11f7d7dac2754da4f2 100644 (file)
@@ -15903,6 +15903,8 @@ elf32_arm_gc_mark_extra_sections (struct bfd_link_info *info,
   struct elf_link_hash_entry **sym_hashes;
   struct elf32_arm_link_hash_entry *cmse_hash;
   bfd_boolean again, is_v8m, first_bfd_browse = TRUE;
+  bfd_boolean debug_sec_need_to_be_marked = FALSE;
+  asection *isec;
 
   _bfd_elf_gc_mark_extra_sections (info, gc_mark_hook);
 
@@ -15964,8 +15966,25 @@ elf32_arm_gc_mark_extra_sections (struct bfd_link_info *info,
                      if (!cmse_sec->gc_mark
                          && !_bfd_elf_gc_mark (info, cmse_sec, gc_mark_hook))
                        return FALSE;
+                     /* The debug sections related to these secure entry
+                        functions are marked on enabling below flag.  */
+                     debug_sec_need_to_be_marked = TRUE;
                    }
                }
+
+             if (debug_sec_need_to_be_marked)
+               {
+                 /* Looping over all the sections of the object file containing
+                    Armv8-M secure entry functions and marking all the debug
+                    sections.  */
+                 for (isec = sub->sections; isec != NULL; isec = isec->next)
+                   {
+                     /* If not a debug sections, skip it.  */
+                     if (!isec->gc_mark && (isec->flags & SEC_DEBUGGING))
+                       isec->gc_mark = 1 ;
+                   }
+                 debug_sec_need_to_be_marked = FALSE;
+               }
            }
        }
       first_bfd_browse = FALSE;
index d23ae59a35d6a4d620293e526c0a5a3b65dfab76..0f0619626d109a220652090d48a71a754f256e3e 100644 (file)
@@ -1,3 +1,10 @@
+2019-07-02  Srinath Parvathaneni  <srinath.parvathaneni@arm.com>
+
+       * testsuite/ld-arm/arm-elf.exp: Add tests.
+       * testsuite/ld-arm/cmse_main.s: New test.
+       * testsuite/ld-arm/cmse_main_sec_debug.d: Likewise.
+       * testsuite/ld-arm/cmse_sec_debug.s: Likewise.
+
 2019-07-01  Nick Clifton  <nickc@redhat.com>
 
        PR 23839
index 7d3217f87a26303f776d2390cdab9a426ef3d3e9..72036785270a0ce79f314772737b57969b894fc9 100644 (file)
@@ -787,6 +787,12 @@ set armeabitests_nonacl {
      {cmse-implib.s}
      {{ld cmse-new-wrong-implib.out}}
      "cmse-new-wrong-implib"}
+    {"Secure gateway veneers:cmse functions debug information missing"
+      "--section-start .gnu.sgstubs=0x190000 --gc-sections -e0" ""
+      "-march=armv8-m.main -mthumb"
+      {cmse_main.s cmse_sec_debug.s}
+      {{objdump --dwarf=info cmse_main_sec_debug.d}}
+      "cmse_main_sec_debug"}
 
     {"R_ARM_THM_JUMP19 Relocation veneers: Short"
      "--section-start destsect=0x000108002 --section-start .text=0x8000" ""
diff --git a/ld/testsuite/ld-arm/cmse_main.s b/ld/testsuite/ld-arm/cmse_main.s
new file mode 100644 (file)
index 0000000..5047c02
--- /dev/null
@@ -0,0 +1,21 @@
+       .arch armv8-m.main
+       .file   "cmse_main.c"
+       .text
+.Ltext0:
+       .cfi_sections   .debug_frame
+       .section        .text.main,"ax",%progbits
+       .align  1
+       .global main
+       .arch armv8-m.main
+       .syntax unified
+       .thumb
+       .thumb_func
+       .fpu fpv5-sp-d16
+       .type   main, %function
+main:
+.LFB0:
+       .file 1 "cmse_main.c"
+       .loc 1 2 1
+       .cfi_startproc
+       .cfi_endproc
+.LFE0:
diff --git a/ld/testsuite/ld-arm/cmse_main_sec_debug.d b/ld/testsuite/ld-arm/cmse_main_sec_debug.d
new file mode 100644 (file)
index 0000000..61280b7
--- /dev/null
@@ -0,0 +1,29 @@
+
+tmpdir/cmse_main_sec_debug:     .*
+
+Contents of the \.debug_info section:
+
+  Compilation Unit @ offset 0x0:
+   Length:        0x34 \(32-bit\)
+   Version:       4
+   Abbrev Offset: 0x0
+   Pointer Size:  4
+ <0><b>: Abbrev Number: 1 \(DW_TAG_compile_unit\)
+    <c>   DW_AT_producer    : \(indirect string, offset: 0x6\): GNU C17 10.0.0 20190617
+    <10>   DW_AT_language    : 12      \(ANSI C99\)
+    <11>   DW_AT_name        : \(indirect string, offset: 0x0\): sec.c
+    <15>   DW_AT_comp_dir    : \(indirect string, offset: 0x2b\): Blinky
+    <19>   DW_AT_ranges      : 0x0
+    <1d>   DW_AT_low_pc      : 0x0
+    <21>   DW_AT_stmt_list   : 0x0
+ <1><25>: Abbrev Number: 2 \(DW_TAG_subprogram\)
+    <26>   DW_AT_external    : 1
+    <26>   DW_AT_name        : \(indirect string, offset: 0x1e\): SecureLED_On
+    <2a>   DW_AT_decl_file   : 1
+    <2b>   DW_AT_decl_line   : 2
+    <2c>   DW_AT_decl_column : 1
+    <2d>   DW_AT_low_pc      : 0x8000
+    <31>   DW_AT_high_pc     : 0xc
+    <35>   DW_AT_frame_base  : 1 byte block: 9c        \(DW_OP_call_frame_cfa\)
+    <37>   DW_AT_GNU_all_call_sites: 1
+ <1><37>: Abbrev Number: 0
diff --git a/ld/testsuite/ld-arm/cmse_sec_debug.s b/ld/testsuite/ld-arm/cmse_sec_debug.s
new file mode 100644 (file)
index 0000000..0ca949e
--- /dev/null
@@ -0,0 +1,142 @@
+       .arch armv8-m.main
+       .file   "sec.c"
+       .text
+.Ltext0:
+       .cfi_sections   .debug_frame
+       .section        .text.SecureLED_On,"ax",%progbits
+       .align  1
+       .global SecureLED_On
+       .global __acle_se_SecureLED_On
+       .arch armv8-m.main
+       .syntax unified
+       .thumb
+       .thumb_func
+       .fpu fpv5-sp-d16
+       .type   __acle_se_SecureLED_On, %function
+       .syntax unified
+       .thumb
+       .thumb_func
+       .fpu fpv5-sp-d16
+       .type   SecureLED_On, %function
+SecureLED_On:
+__acle_se_SecureLED_On:
+.LFB0:
+       .file 1 "sec.c"
+       .loc 1 3 1
+       .cfi_startproc
+       push    {r7}
+       .cfi_def_cfa_offset 4
+       .cfi_offset 7, -4
+       add     r7, sp, #0
+       .cfi_def_cfa_register 7
+       .loc 1 4 1
+       mov     sp, r7
+       .cfi_def_cfa_register 13
+       ldr     r7, [sp], #4
+       .cfi_restore 7
+       .cfi_def_cfa_offset 0
+       bxns    lr
+       .cfi_endproc
+.LFE0:
+       .size   SecureLED_On, .-SecureLED_On
+       .text
+.Letext0:
+       .section        .debug_info,"",%progbits
+.Ldebug_info0:
+       .4byte  0x34
+       .2byte  0x4
+       .4byte  .Ldebug_abbrev0
+       .byte   0x4
+       .uleb128 0x1
+       .4byte  .LASF0
+       .byte   0xc
+       .4byte  .LASF1
+       .4byte  .LASF2
+       .4byte  .Ldebug_ranges0+0
+       .4byte  0
+       .4byte  .Ldebug_line0
+       .uleb128 0x2
+       .4byte  .LASF3
+       .byte   0x1
+       .byte   0x2
+       .byte   0x1
+       .4byte  .LFB0
+       .4byte  .LFE0-.LFB0
+       .uleb128 0x1
+       .byte   0x9c
+       .byte   0
+       .section        .debug_abbrev,"",%progbits
+.Ldebug_abbrev0:
+       .uleb128 0x1
+       .uleb128 0x11
+       .byte   0x1
+       .uleb128 0x25
+       .uleb128 0xe
+       .uleb128 0x13
+       .uleb128 0xb
+       .uleb128 0x3
+       .uleb128 0xe
+       .uleb128 0x1b
+       .uleb128 0xe
+       .uleb128 0x55
+       .uleb128 0x17
+       .uleb128 0x11
+       .uleb128 0x1
+       .uleb128 0x10
+       .uleb128 0x17
+       .byte   0
+       .byte   0
+       .uleb128 0x2
+       .uleb128 0x2e
+       .byte   0
+       .uleb128 0x3f
+       .uleb128 0x19
+       .uleb128 0x3
+       .uleb128 0xe
+       .uleb128 0x3a
+       .uleb128 0xb
+       .uleb128 0x3b
+       .uleb128 0xb
+       .uleb128 0x39
+       .uleb128 0xb
+       .uleb128 0x11
+       .uleb128 0x1
+       .uleb128 0x12
+       .uleb128 0x6
+       .uleb128 0x40
+       .uleb128 0x18
+       .uleb128 0x2117
+       .uleb128 0x19
+       .byte   0
+       .byte   0
+       .byte   0
+       .section        .debug_aranges,"",%progbits
+       .4byte  0x1c
+       .2byte  0x2
+       .4byte  .Ldebug_info0
+       .byte   0x4
+       .byte   0
+       .2byte  0
+       .2byte  0
+       .4byte  .LFB0
+       .4byte  .LFE0-.LFB0
+       .4byte  0
+       .4byte  0
+       .section        .debug_ranges,"",%progbits
+.Ldebug_ranges0:
+       .4byte  .LFB0
+       .4byte  .LFE0
+       .4byte  0
+       .4byte  0
+       .section        .debug_line,"",%progbits
+.Ldebug_line0:
+       .section        .debug_str,"MS",%progbits,1
+.LASF1:
+       .ascii  "sec.c\000"
+.LASF0:
+       .ascii  "GNU C17 10.0.0 20190617\000"
+.LASF3:
+       .ascii  "SecureLED_On\000"
+.LASF2:
+       .ascii  "Blinky\000"
+       .ident  "GCC: (GNU) 10.0.0 20190617 (experimental)"