shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

[ELF,test] Combine merge section out-of-bounds tests into merge-piece-oob.s (#188688)

Browse Source
This commit is contained in:
Fangrui Song 2026-03-25 23:06:34 -07:00 committed by GitHub
parent dfab4fbb81
commit 36aef4ba81
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 39 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
lld/test/ELF/merge-piece-oob.s Normal file
View File

@ -0,0 +1,39 @@
# REQUIRES: x86
## Test out-of-bounds section symbol offsets in SHF_MERGE sections.
# RUN: llvm-mc %s -o %t.o -filetype=obj -triple=x86_64
# RUN: not ld.lld %t.o -o /dev/null -shared 2>&1 | FileCheck %s -DPREFIX=error --implicit-check-not=error:
# RUN: ld.lld %t.o -o /dev/null -shared --noinhibit-exec 2>&1 | FileCheck %s -DPREFIX=warning --implicit-check-not=warning:
# CHECK: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
# CHECK-NEXT: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
# CHECK-NEXT: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
# CHECK-NEXT: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
## .rodata.str1.1 is "abc\0" (4 bytes).
# CHECK-NEXT: [[PREFIX]]: {{.*}}:(.rodata.str1.1): offset is outside the section
## .data.retain references .foo-1 as well.
# CHECK-NEXT: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
.globl _start
_start:
.data
.quad .foo + 8
.quad .foo + 9
.quad .foo + 0x100000000
.quad .foo - 1
.quad .rodata.str1.1 + 3
.quad .rodata.str1.1 + 4
.quad a0 - 1
.quad a0 + 9
.section .data.retain,"awR"
.quad .foo - 1
.section .foo,"aM",@progbits,8
a0:
.quad 0
.section .rodata.str1.1,"aMS",@progbits,1
.asciz "abc"

9
lld/test/ELF/relocation-before-merge-start.s
View File

@ -1,9 +0,0 @@
// REQUIRES: x86
// RUN: llvm-mc %s -o %t.o -filetype=obj -triple=x86_64-pc-linux
// RUN: not ld.lld %t.o -o /dev/null -shared 2>&1 | FileCheck %s --implicit-check-not=error:
// CHECK: error: {{.*}}:(.foo): offset is outside the section
.data
.quad .foo - 1
.section .foo,"aM",@progbits,4
.quad 0

17
lld/test/ELF/relocation-past-merge-end.s
View File

@ -1,17 +0,0 @@
// REQUIRES: x86
// RUN: llvm-mc %s -o %t.o -filetype=obj -triple=x86_64
// RUN: not ld.lld %t.o -o /dev/null -shared 2>&1 | FileCheck %s -DPREFIX=error --implicit-check-not=error:
// RUN: ld.lld %t.o -o /dev/null -shared --noinhibit-exec 2>&1 | FileCheck %s -DPREFIX=warning --implicit-check-not=warning:
// CHECK: [[PREFIX]]: {{.*}}:(.foo): offset is outside the section
// CHECK-NEXT: [[PREFIX]]: {{.*}}:(.rodata.str1.1): offset is outside the section
.data
.quad .foo + 10
.quad .rodata.str1.1 + 4
.section .foo,"aM",@progbits,4
.quad 0
.section .rodata.str1.1,"aMS",@progbits,1
.asciz "abc"