DEMO

[grimar]

Summary

DEMO. not for commit.

ELF/LinkerScript.cpp

for (BaseCommand *Base : Sec->SectionCommands) {
     // It calculates and assigns the offsets for each section and also
     // updates the output section size.
     for (InputSection *Sec : cast<InputSectionDescription>(Base)->Sections)
       output(Sec);
   }
 }
 
 static bool isDiscardable(OutputSection &Sec) {
+  if (Sec.Name == "/DISCARD/")
+    return true;
+
   // We do not remove empty sections that are explicitly
   // assigned to any segment.
   if (!Sec.Phdrs.empty())
     return false;
 
   // We do not want to remove OutputSections with expressions that reference
   // symbols even if the OutputSection is empty. We want to ensure that the
   // expressions can be evaluated and report an error if they cannot.

test/ELF/linkerscript/discard-phdr.s

+# REQUIRES: x86
+# RUN: llvm-mc -filetype=obj -triple=x86_64-unknown-linux %s -o %t.o
+# RUN: echo "PHDRS { \
+# RUN:   exec PT_LOAD FLAGS(0x4 | 0x1); \
+# RUN:   data PT_LOAD FLAGS(0x4 | 0x2); \
+# RUN: } \
+# RUN: SECTIONS { \
+# RUN:  .text : { *(.text) } :exec \
+# RUN:  .data : { *(.data) } :data \
+# RUN:  .foo : { *(.foo) } \
+# RUN:  .bar : { *(.bar) } \
+# RUN:  .baz : { *(.baz) } \
+# RUN:  /DISCARD/ : { *(.comment) } :NONE \
+# RUN: }" > %t.script
+# RUN: ld.lld -o %t --script %t.script %t.o
+# RUN: llvm-readelf -S -l %t | FileCheck %s
+
+## Check that /DISCARD/ does not interfere with the assignment of segments to
+## sections.
+
+# CHECK: Section Headers
+# CHECK: .data
+# CHECK-NEXT: .foo
+# CHECK-NEXT: .bar
+# CHECK-NEXT: .baz
+
+# CHECK: Segment Sections
+# CHECK-NEXT: .text
+# CHECK-NEXT: .data .foo .bar .baz
+
+.section .text,"ax"
+ ret
+
+.section .data,"aw"
+ .byte 0
+
+.section .foo,"aw"
+ .byte 0
+
+.section .bar,"a"
+ .byte 0
+
+.section .baz,"aw"
+ .byte 0