xref: /llvm-project/lld/test/ELF/relro-init-fini-script.s (revision 2539b4ae4765b14cd7774e801ba12f0a200ef734)
1// REQUIRES: x86
2// RUN: llvm-mc -filetype=obj -triple=x86_64-none-elf %s -o %t.o
3// RUN: echo "SECTIONS { \
4// RUN:  .dynamic 0x10000 : { *(.dynamic) } \
5// RUN:  .preinit_array : { PROVIDE_HIDDEN (__preinit_array_start = .); \
6// RUN:                  KEEP (*(.preinit_array)) } \
7// RUN:  .init_array : { PROVIDE_HIDDEN (__init_array_start = .); \
8// RUN:                  KEEP (*(.init_array)) } \
9// RUN:  .fini_array : { PROVIDE_HIDDEN (__fini_array_start = .); \
10// RUN:                  KEEP (*(.fini_array)) } \
11// RUN:  .data.rel.ro : { *(.data.rel.ro) } \
12// RUN:  .data : { *(.data) } } " > %t.script
13// RUN: ld.lld %t.o -o %t.so --shared --script=%t.script
14// RUN: llvm-readelf -S %t.so | FileCheck %s
15// RUN: llvm-readobj --segments %t.so | FileCheck %s --check-prefix=PHDR
16
17/// Check that an empty .init_array, .fini_array or .preinit_array that is
18/// kept due to symbol references, is still counted as RELRO. The _array
19/// sections are zero size. The RELRO extent is [.dynamic, .data.rel.ro)
20
21// CHECK:      .dynamic       DYNAMIC         0000000000010000 002000 000110
22// CHECK-NEXT: .preinit_array PROGBITS        {{0+}}[[# %x,ADDR:]]
23// CHECK-NEXT: .init_array    PROGBITS        {{0+}}[[# ADDR]]
24// CHECK-NEXT: .fini_array    PROGBITS        {{0+}}[[# ADDR]]
25// CHECK-NEXT: .data.rel.ro   PROGBITS        0000000000010110 002110 000008
26
27// PHDR:      Type: PT_GNU_RELRO
28// PHDR-NEXT: Offset: 0x2000
29// PHDR-NEXT: VirtualAddress: 0x10000
30// PHDR-NEXT: PhysicalAddress: 0x10000
31// PHDR-NEXT: FileSize: 280
32 .section .data.rel.ro, "aw", %progbits
33 .global foo
34 .quad foo
35
36 .data
37 .quad __init_array_start
38 .quad __fini_array_start
39 .quad __preinit_array_start
40