x86: Treat relocation against IFUNC symbol as FUNC
authorH.J. Lu <hjl.tools@gmail.com>
Thu, 8 Mar 2018 14:36:40 +0000 (06:36 -0800)
committerH.J. Lu <hjl.tools@gmail.com>
Thu, 8 Mar 2018 14:36:52 +0000 (06:36 -0800)
When resolving a relocation against IFUNC symbol in a SHT_NOTE section
without SHF_ALLOC, we treat it as relocation against FUNC symbol since
it needs the address of IFUNC symbol, not the address returned by IFUNC
function.

bfd/

PR ld/22929
* elf32-i386.c (elf_i386_relocate_section): Treat relocation
against IFUNC symbol in SHT_NOTE section without SHF_ALLOC as
relocation against FUNC symbol.
* elf64-x86-64.c (elf_x86_64_relocate_section): Likewise.

ld/

PR ld/22929
* testsuite/ld-i386/i386.exp: Run PR ld/22929 test.
* testsuite/ld-x86-64/x86-64.exp: Likewise.
* testsuite/ld-i386/pr22929.d: New file.
* testsuite/ld-i386/pr22929.s: Likewise.
* testsuite/ld-x86-64/pr22929.d: Likewise.
* testsuite/ld-x86-64/pr22929.s: Likewise.

bfd/ChangeLog
bfd/elf32-i386.c
bfd/elf64-x86-64.c
ld/ChangeLog
ld/testsuite/ld-i386/i386.exp
ld/testsuite/ld-i386/pr22929.d [new file with mode: 0644]
ld/testsuite/ld-i386/pr22929.s [new file with mode: 0644]
ld/testsuite/ld-x86-64/pr22929.d [new file with mode: 0644]
ld/testsuite/ld-x86-64/pr22929.s [new file with mode: 0644]
ld/testsuite/ld-x86-64/x86-64.exp

index c0ad7eba3827898b1ac765698c24ac68ff371061..74af690bbaf9944f7b5d0d319ac6e2ecaecbb096 100644 (file)
@@ -1,3 +1,11 @@
+2018-03-08  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR ld/22929
+       * elf32-i386.c (elf_i386_relocate_section): Treat relocation
+       against IFUNC symbol in SHT_NOTE section without SHF_ALLOC as
+       relocation against FUNC symbol.
+       * elf64-x86-64.c (elf_x86_64_relocate_section): Likewise.
+
 2018-03-07  Renlin Li  <renlin.li@arm.com>
 
        PR ld/20402
index 61a14097b060ef5f508980d2bc6242db3d2b2db4..557084647cbbcbf35891f0b3601b6e56e284f5dc 100644 (file)
@@ -2221,6 +2221,10 @@ elf_i386_relocate_section (bfd *output_bfd,
 
          if ((input_section->flags & SEC_ALLOC) == 0)
            {
+             /* If this is a SHT_NOTE section without SHF_ALLOC, treat
+                STT_GNU_IFUNC symbol as STT_FUNC.  */
+             if (elf_section_type (input_section) == SHT_NOTE)
+               goto skip_ifunc;
              /* Dynamic relocs are not propagated for SEC_DEBUGGING
                 sections because such sections are not SEC_ALLOC and
                 thus ld.so will not process them.  */
@@ -2440,6 +2444,7 @@ do_ifunc_pointer:
            }
        }
 
+skip_ifunc:
       resolved_to_zero = (eh != NULL
                          && UNDEFINED_WEAK_RESOLVED_TO_ZERO (info, eh));
 
index 7016964aceb38c439c222a447e0db3c00e3996f7..a964316e44f778bfaea2ad6f89ca483a08833cae 100644 (file)
@@ -2503,6 +2503,10 @@ elf_x86_64_relocate_section (bfd *output_bfd,
 
          if ((input_section->flags & SEC_ALLOC) == 0)
            {
+             /* If this is a SHT_NOTE section without SHF_ALLOC, treat
+                STT_GNU_IFUNC symbol as STT_FUNC.  */
+             if (elf_section_type (input_section) == SHT_NOTE)
+               goto skip_ifunc;
              /* Dynamic relocs are not propagated for SEC_DEBUGGING
                 sections because such sections are not SEC_ALLOC and
                 thus ld.so will not process them.  */
@@ -2726,6 +2730,7 @@ do_ifunc_pointer:
            }
        }
 
+skip_ifunc:
       resolved_to_zero = (eh != NULL
                          && UNDEFINED_WEAK_RESOLVED_TO_ZERO (info, eh));
 
index a65b824637dd0ef7ba9d840a50fdbf2d376c49dc..f37bdab684552385ca5ca15c878af2c0354ab557 100644 (file)
@@ -1,3 +1,13 @@
+2018-03-08  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR ld/22929
+       * testsuite/ld-i386/i386.exp: Run PR ld/22929 test.
+       * testsuite/ld-x86-64/x86-64.exp: Likewise.
+       * testsuite/ld-i386/pr22929.d: New file.
+       * testsuite/ld-i386/pr22929.s: Likewise.
+       * testsuite/ld-x86-64/pr22929.d: Likewise.
+       * testsuite/ld-x86-64/pr22929.s: Likewise.
+
 2018-03-07  Max Filippov  <jcmvbkbc@gmail.com>
 
        * emulparams/elf32xtensa.sh (COMMONPAGESIZE): Define.
index 240850a02c6d0393e00079e424250a724f4796fd..243c0a57a1111816b2e9ebf1bad1561a641f0086 100644 (file)
@@ -459,6 +459,7 @@ run_dump_test "pr22115-1c"
 run_dump_test "pr22115-1d"
 run_dump_test "pr22135"
 run_dump_test "pr22782"
+run_dump_test "pr22929"
 
 if { !([istarget "i?86-*-linux*"]
        || [istarget "i?86-*-gnu*"]
diff --git a/ld/testsuite/ld-i386/pr22929.d b/ld/testsuite/ld-i386/pr22929.d
new file mode 100644 (file)
index 0000000..099880e
--- /dev/null
@@ -0,0 +1,11 @@
+#as: --32
+#ld: -melf_i386 -shared
+#readelf: -r --wide -s
+
+There are no relocations in this file.
+#...
+Symbol table '.symtab' contains [0-9]+ entries:
+   Num:    Value  Size Type    Bind   Vis      Ndx Name
+#...
+[ \t]+[a-f0-9]+: [a-f0-9]+ +1 IFUNC +GLOBAL DEFAULT +[a-f0-9]+ +foo
+#...
diff --git a/ld/testsuite/ld-i386/pr22929.s b/ld/testsuite/ld-i386/pr22929.s
new file mode 100644 (file)
index 0000000..3fa3dc9
--- /dev/null
@@ -0,0 +1,21 @@
+       .text
+       .globl  foo
+       .type foo, %gnu_indirect_function
+foo:
+       ret
+       .size   foo, .-foo
+       .pushsection .gnu.build.attributes, "", %note
+       .dc.l 6         # size of name
+       .dc.l 16        # descsz = sizeof (addresses)
+       .dc.l 0x101     # type = FUNC
+       .dc.b 0x47, 0x41, 0x2a, 0x2, 0, 0       # name (numeric: -fstack-protector status)
+       .dc.b 0, 0      # Padding
+       .dc.a foo
+       .dc.a foo_end   # description (symbol name)
+       .popsection
+
+foo_end:
+       .section        .rodata.cst4,"aM",@progbits,4
+       .align 4
+.LC0:
+       .long   1065353216
diff --git a/ld/testsuite/ld-x86-64/pr22929.d b/ld/testsuite/ld-x86-64/pr22929.d
new file mode 100644 (file)
index 0000000..537b396
--- /dev/null
@@ -0,0 +1,11 @@
+#as: --64
+#ld: -melf_x86_64 -shared
+#readelf: -r --wide -s
+
+There are no relocations in this file.
+#...
+Symbol table '.symtab' contains [0-9]+ entries:
+   Num:    Value          Size Type    Bind   Vis      Ndx Name
+#...
+[ \t]+[a-f0-9]+: [a-f0-9]+ +1 IFUNC +GLOBAL DEFAULT +[a-f0-9]+ +foo
+#...
diff --git a/ld/testsuite/ld-x86-64/pr22929.s b/ld/testsuite/ld-x86-64/pr22929.s
new file mode 100644 (file)
index 0000000..3fa3dc9
--- /dev/null
@@ -0,0 +1,21 @@
+       .text
+       .globl  foo
+       .type foo, %gnu_indirect_function
+foo:
+       ret
+       .size   foo, .-foo
+       .pushsection .gnu.build.attributes, "", %note
+       .dc.l 6         # size of name
+       .dc.l 16        # descsz = sizeof (addresses)
+       .dc.l 0x101     # type = FUNC
+       .dc.b 0x47, 0x41, 0x2a, 0x2, 0, 0       # name (numeric: -fstack-protector status)
+       .dc.b 0, 0      # Padding
+       .dc.a foo
+       .dc.a foo_end   # description (symbol name)
+       .popsection
+
+foo_end:
+       .section        .rodata.cst4,"aM",@progbits,4
+       .align 4
+.LC0:
+       .long   1065353216
index 02aa38a75ad54aaf2f29e88c620bf00518b17913..5a069470575729f2b8e565926561bda26ebf4a26 100644 (file)
@@ -605,6 +605,7 @@ run_dump_test "pr20253-5a"
 run_dump_test "pr20253-5b"
 run_dump_test "tlsdesc2"
 run_dump_test "pr22048"
+run_dump_test "pr22929"
 
 proc undefined_weak {cflags ldflags} {
     set testname "Undefined weak symbol"