From 79e741920446582bd0e09f3e2b9f899c258efa56 Mon Sep 17 00:00:00 2001 From: Renlin Li Date: Wed, 13 Dec 2017 12:11:25 +0000 Subject: [BFD][AARCH64]Disallow R_AARCH64_ABS32(LP64) & R_AARCH64_ABS16 in const section of shared object. R_AARCH64_ABS64, R_AARCH64_ABS32 and R_AARCH64_ABS16 are data relocations supported in AArch64 elf ABI. R_AARCH64_ABS64 under LP64 is allowed in shared object and a dynamic relocation entry will be generated. This allows the dynamic linker to do further symbol resolution. R_AARCH64_ABS32 likewise is allowed in shared object, however under ILP32 abi. The original behavior for R_AARCH64_ABS32 under LP64 is that, it's allowed in shared object and silently resolved at static linking time. No dynamic relocation entry is generate for it. R_AARCH64_ABS16 is allowed in shared object under both L64 and ILP32. It's resolved at static linking time as well. Under LP64, the address should be 64-bit. R_AARCH64_ABS32 relocation indicates an address that is only sized 32 bits which is meaningless in LP64 shared object. It's useful to error out. I have checked glibc dynamic linker code, R_AARCH64_ABS16 is not supported at all. So R_AARCH64_ABS16 should be reject in shared object completely. In this patch, R_AARCH64_ABS32 is rejected under LP64 in constant section of shared object. R_AARCH64_ABS16 is rejected in constant section of shared object in both ABI. This will sometimes provide useful information for buggy code. --- ld/ChangeLog | 10 ++++++++++ ld/testsuite/ld-aarch64/aarch64-elf.exp | 2 ++ ld/testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d | 4 ++++ ld/testsuite/ld-aarch64/emit-relocs-258.s | 6 ++++++ ld/testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d | 4 ++++ ld/testsuite/ld-aarch64/emit-relocs-259.s | 6 ++++++ ld/testsuite/ld-aarch64/gc-relocs-257.s | 8 +++++--- 7 files changed, 37 insertions(+), 3 deletions(-) create mode 100644 ld/testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d create mode 100644 ld/testsuite/ld-aarch64/emit-relocs-258.s create mode 100644 ld/testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d create mode 100644 ld/testsuite/ld-aarch64/emit-relocs-259.s (limited to 'ld') diff --git a/ld/ChangeLog b/ld/ChangeLog index db025ee7b69..d0b80d1898d 100644 --- a/ld/ChangeLog +++ b/ld/ChangeLog @@ -1,3 +1,13 @@ +2017-12-13 Renlin Li + + * testsuite/ld-aarch64/aarch64-elf.exp: Run new test cases. + * testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d: New. + * testsuite/ld-aarch64/emit-relocs-258.s: New. + * testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d: New. + * testsuite/ld-aarch64/emit-relocs-259.s: New. + * testsuite/ld-aarch64/gc-relocs-257.s: Put R_AARCH64_ABS32, + R_AARCH64_ABS16 data into data section. + 2017-12-07 Alan Modra PR 22465 diff --git a/ld/testsuite/ld-aarch64/aarch64-elf.exp b/ld/testsuite/ld-aarch64/aarch64-elf.exp index b9c9885cb42..fffc60e1b92 100644 --- a/ld/testsuite/ld-aarch64/aarch64-elf.exp +++ b/ld/testsuite/ld-aarch64/aarch64-elf.exp @@ -103,6 +103,8 @@ run_dump_test_lp64 "emit-relocs-257" run_dump_test_lp64 "emit-relocs-257-be" # 258 is tested in 257 # 259 is tested in 257 +run_dump_test_lp64 "emit-relocs-258-dyn-bad" +run_dump_test_lp64 "emit-relocs-259-dyn-bad" run_dump_test_lp64 "emit-relocs-260" run_dump_test_lp64 "emit-relocs-260-be" # 261 is tested by 260 diff --git a/ld/testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d b/ld/testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d new file mode 100644 index 00000000000..4de6e55d0bd --- /dev/null +++ b/ld/testsuite/ld-aarch64/emit-relocs-258-dyn-bad.d @@ -0,0 +1,4 @@ +#name: LP64 R_AARCH64_ABS32 shared library test +#source: emit-relocs-258.s +#ld: -shared +#error: .*: relocation R_AARCH64_ABS32 against `dummy' can not be used when making a shared object diff --git a/ld/testsuite/ld-aarch64/emit-relocs-258.s b/ld/testsuite/ld-aarch64/emit-relocs-258.s new file mode 100644 index 00000000000..f7247762431 --- /dev/null +++ b/ld/testsuite/ld-aarch64/emit-relocs-258.s @@ -0,0 +1,6 @@ +.text + + ldr x0, .L1 + +.L1: + .word dummy diff --git a/ld/testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d b/ld/testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d new file mode 100644 index 00000000000..f133e8991ea --- /dev/null +++ b/ld/testsuite/ld-aarch64/emit-relocs-259-dyn-bad.d @@ -0,0 +1,4 @@ +#name: R_AARCH64_ABS16 shared library test +#source: emit-relocs-259.s +#ld: -shared +#error: .*: relocation R_AARCH64_ABS16 against `dummy' can not be used when making a shared object diff --git a/ld/testsuite/ld-aarch64/emit-relocs-259.s b/ld/testsuite/ld-aarch64/emit-relocs-259.s new file mode 100644 index 00000000000..7e1ba3ceb40 --- /dev/null +++ b/ld/testsuite/ld-aarch64/emit-relocs-259.s @@ -0,0 +1,6 @@ +.text + + ldr x0, .L1 + +.L1: + .hword dummy diff --git a/ld/testsuite/ld-aarch64/gc-relocs-257.s b/ld/testsuite/ld-aarch64/gc-relocs-257.s index dcc9db1b2d1..f57f9c66697 100644 --- a/ld/testsuite/ld-aarch64/gc-relocs-257.s +++ b/ld/testsuite/ld-aarch64/gc-relocs-257.s @@ -1,8 +1,10 @@ .text - .word tempy + and x0, x0, x0 + and x0, x0, #0x1 .xword tempy2 + + .data + .word tempy .hword tempy3 .hword tempy3+8 - and x0, x0, x0 - and x0, x0, #0x1 -- cgit v1.2.1