[ELF] Don't consider SHF_ALLOC ".debug*" sections debug sections
authorFangrui Song <i@maskray.me>
Thu, 12 Nov 2020 17:59:43 +0000 (09:59 -0800)
committerFangrui Song <i@maskray.me>
Thu, 12 Nov 2020 17:59:43 +0000 (09:59 -0800)
Fixes PR48071

* The Rust compiler produces SHF_ALLOC `.debug_gdb_scripts` (which normally does not have the flag)
* `.debug_gdb_scripts` sections are removed from `inputSections` due to --strip-debug/--strip-all
* When processing --gc-sections, pieces of a SHF_MERGE section can be marked live separately

`=>` segfault when marking liveness of a `.debug_gdb_scripts` which is not split into pieces (because it is not in `inputSections`)

This patch circumvents the problem by not treating SHF_ALLOC ".debug*" as debug sections (to prevent --strip-debug's stripping)
(which is still useful on its own).

Reviewed By: grimar

Differential Revision: https://reviews.llvm.org/D91291

lld/ELF/InputSection.h
lld/test/ELF/gc-sections-strip-debug.s [new file with mode: 0644]

index a8771ba..5b91c1c 100644 (file)
@@ -397,7 +397,8 @@ static_assert(sizeof(InputSection) <= 184, "InputSection is too big");
 #endif
 
 inline bool isDebugSection(const InputSectionBase &sec) {
-  return sec.name.startswith(".debug") || sec.name.startswith(".zdebug");
+  return (sec.flags & llvm::ELF::SHF_ALLOC) == 0 &&
+         (sec.name.startswith(".debug") || sec.name.startswith(".zdebug"));
 }
 
 // The list of all input sections.
diff --git a/lld/test/ELF/gc-sections-strip-debug.s b/lld/test/ELF/gc-sections-strip-debug.s
new file mode 100644 (file)
index 0000000..e7a5fc0
--- /dev/null
@@ -0,0 +1,17 @@
+# REQUIRES: x86
+## Test that we don't strip SHF_ALLOC .debug* or crash (PR48071
+## mark liveness of a merge section which has not been split).
+
+# RUN: llvm-mc -filetype=obj -triple=x86_64 %s -o %t.o
+# RUN: ld.lld %t.o --gc-sections --strip-debug -o %t
+# RUN: llvm-readelf -S %t | FileCheck %s
+
+# CHECK: .debug_gdb_scripts
+
+.globl _start
+_start:
+  leaq .L.str(%rip), %rax
+
+.section .debug_gdb_scripts,"aMS",@progbits,1
+.L.str:
+  .asciz "Rust uses SHF_ALLOC .debug_gdb_scripts"