Add extern_protected_data and set it for x86
authorH.J. Lu <hjl.tools@gmail.com>
Thu, 5 Mar 2015 14:34:39 +0000 (06:34 -0800)
committerH.J. Lu <hjl.tools@gmail.com>
Thu, 5 Mar 2015 14:34:53 +0000 (06:34 -0800)
With copy relocation, address of protected data defined in the shared
library may be external.  This patch adds extern_protected_data and
changes _bfd_elf_symbol_refs_local_p to return false for protected data
if extern_protected_data is true.

bfd/

PR ld/pr15228
PR ld/pr17709
* elf-bfd.h (elf_backend_data): Add extern_protected_data.
* elf32-i386.c (elf_backend_extern_protected_data): New.
Defined to 1.
* elf64-x86-64.c (elf_backend_extern_protected_data): Likewise.
* elflink.c (_bfd_elf_adjust_dynamic_copy): Don't error on
copy relocs against protected symbols if extern_protected_data
is true.
(_bfd_elf_symbol_refs_local_p): Don't return true on protected
non-function symbols if extern_protected_data is true.
* elfxx-target.h (elf_backend_extern_protected_data): New.
Default to 0.
(elfNN_bed): Initialize extern_protected_data with
elf_backend_extern_protected_data.

ld/testsuite/

PR ld/pr15228
PR ld/pr17709
* ld-i386/i386.exp (i386tests): Add a test for PR ld/17709.
* ld-i386/pr17709-nacl.rd: New file.
* ld-i386/pr17709.rd: Likewise.
* ld-i386/pr17709a.s: Likewise.
* ld-i386/pr17709b.s: Likewise.
* ld-i386/protected3.d: Updated.
* ld-i386/protected3.s: Likewise.
* ld-x86-64/pr17709-nacl.rd: New file.
* ld-x86-64/pr17709.rd: Likewise.
* ld-x86-64/pr17709a.s: Likewise.
* ld-x86-64/pr17709b.s: Likewise.
* ld-x86-64/protected3.d: Updated.
* ld-x86-64/protected3.s: Likewise.
* ld-x86-64/x86-64.exp (x86_64tests): Add a test for PR ld/17709.

21 files changed:
bfd/ChangeLog
bfd/elf-bfd.h
bfd/elf32-i386.c
bfd/elf64-x86-64.c
bfd/elflink.c
bfd/elfxx-target.h
ld/testsuite/ChangeLog
ld/testsuite/ld-i386/i386.exp
ld/testsuite/ld-i386/pr17709-nacl.rd [new file with mode: 0644]
ld/testsuite/ld-i386/pr17709.rd [new file with mode: 0644]
ld/testsuite/ld-i386/pr17709a.s [new file with mode: 0644]
ld/testsuite/ld-i386/pr17709b.s [new file with mode: 0644]
ld/testsuite/ld-i386/protected3.d
ld/testsuite/ld-i386/protected3.s
ld/testsuite/ld-x86-64/pr17709-nacl.rd [new file with mode: 0644]
ld/testsuite/ld-x86-64/pr17709.rd [new file with mode: 0644]
ld/testsuite/ld-x86-64/pr17709a.s [new file with mode: 0644]
ld/testsuite/ld-x86-64/pr17709b.s [new file with mode: 0644]
ld/testsuite/ld-x86-64/protected3.d
ld/testsuite/ld-x86-64/protected3.s
ld/testsuite/ld-x86-64/x86-64.exp

index 3f8cc863ea76711c8d4ec5f03c80da7a28063550..f29dec51560273202a7af44b89fefdcc762e3fd0 100644 (file)
@@ -1,3 +1,21 @@
+2015-03-05  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR ld/pr15228
+       PR ld/pr17709
+       * elf-bfd.h (elf_backend_data): Add extern_protected_data.
+       * elf32-i386.c (elf_backend_extern_protected_data): New.
+       Defined to 1.
+       * elf64-x86-64.c (elf_backend_extern_protected_data): Likewise.
+       * elflink.c (_bfd_elf_adjust_dynamic_copy): Don't error on
+       copy relocs against protected symbols if extern_protected_data
+       is true.
+       (_bfd_elf_symbol_refs_local_p): Don't return true on protected
+       non-function symbols if extern_protected_data is true.
+       * elfxx-target.h (elf_backend_extern_protected_data): New.
+       Default to 0.
+       (elfNN_bed): Initialize extern_protected_data with
+       elf_backend_extern_protected_data.
+
 2015-03-05  Nick Clifton  <nickc@redhat.com>
 
        PR binutils/18025
index 156eec7a6629ff369ac9e99e390f9a365452b8ea..13c32e097a386cbc873eb8766c688ea3eb4263d4 100644 (file)
@@ -1359,6 +1359,10 @@ struct elf_backend_data
      in length rather than sec->size in length, if sec->rawsize is
      non-zero and smaller than sec->size.  */
   unsigned caches_rawsize : 1;
+
+  /* Address of protected data defined in the shared library may be
+     external, i.e., due to copy relocation.   */
+  unsigned extern_protected_data : 1;
 };
 
 /* Information about reloc sections associated with a bfd_elf_section_data
index 3f16fc1013b97a861c7699f9fb68d9757c8bbf50..52f4d3343c6315ec0c8a32047ca1344cbc577d5f 100644 (file)
@@ -5292,6 +5292,7 @@ elf_i386_add_symbol_hook (bfd * abfd,
 #define elf_backend_want_plt_sym       0
 #define elf_backend_got_header_size    12
 #define elf_backend_plt_alignment      4
+#define elf_backend_extern_protected_data 1
 
 /* Support RELA for objdump of prelink objects.  */
 #define elf_info_to_howto                    elf_i386_info_to_howto_rel
index a4974cee52cd9136b24525e252d377f5689b33f8..74d1d0668f1e3610574e7a57ac0a2636c9c1b6cd 100644 (file)
@@ -5868,6 +5868,7 @@ static const struct bfd_elf_special_section
 #define elf_backend_got_header_size        (GOT_ENTRY_SIZE*3)
 #define elf_backend_rela_normal                    1
 #define elf_backend_plt_alignment           4
+#define elf_backend_extern_protected_data   1
 
 #define elf_info_to_howto                  elf_x86_64_info_to_howto
 
index ec1e4dfbe06f9a2ab96fd023b7a04895d510713e..6ee649901d39d4942285053fe0a3714f4a514cec 100644 (file)
@@ -2671,7 +2671,9 @@ _bfd_elf_adjust_dynamic_copy (struct bfd_link_info *info,
   /* Increment the size of DYNBSS to make room for the symbol.  */
   dynbss->size += h->size;
 
-  if (h->protected_def)
+  /* No error if extern_protected_data is true.  */
+  if (h->protected_def
+      && !get_elf_backend_data (dynbss->owner)->extern_protected_data)
     {
       info->callbacks->einfo
        (_("%P: copy reloc against protected `%T' is invalid\n"),
@@ -2835,8 +2837,9 @@ _bfd_elf_symbol_refs_local_p (struct elf_link_hash_entry *h,
 
   bed = get_elf_backend_data (hash_table->dynobj);
 
-  /* STV_PROTECTED non-function symbols are local.  */
-  if (!bed->is_function_type (h->type))
+  /* If extern_protected_data is false, STV_PROTECTED non-function
+     symbols are local.  */
+  if (!bed->extern_protected_data && !bed->is_function_type (h->type))
     return TRUE;
 
   /* Function pointer equality tests may require that STV_PROTECTED
index 211c0a153b83632a2608d64304fc6c21e7d6d77d..9760db461ad413efdd582489a448c5347e34bd6f 100644 (file)
 #ifndef elf_backend_caches_rawsize
 #define elf_backend_caches_rawsize 0
 #endif
+#ifndef elf_backend_extern_protected_data
+#define elf_backend_extern_protected_data 0
+#endif
 #ifndef elf_backend_stack_align
 #define elf_backend_stack_align 16
 #endif
@@ -801,7 +804,8 @@ static struct elf_backend_data elfNN_bed =
   elf_backend_want_dynbss,
   elf_backend_want_p_paddr_set_to_zero,
   elf_backend_default_execstack,
-  elf_backend_caches_rawsize
+  elf_backend_caches_rawsize,
+  elf_backend_extern_protected_data
 };
 
 /* Forward declaration for use when initialising alternative_target field.  */
index acd6d81291410b26cad2e5c5c3908447fd3b7a43..b7defad8cb24949ae820eefa4a85befe3a3c58f4 100644 (file)
@@ -1,3 +1,22 @@
+2015-03-05  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR ld/pr15228
+       PR ld/pr17709
+       * ld-i386/i386.exp (i386tests): Add a test for PR ld/17709.
+       * ld-i386/pr17709-nacl.rd: New file.
+       * ld-i386/pr17709.rd: Likewise.
+       * ld-i386/pr17709a.s: Likewise.
+       * ld-i386/pr17709b.s: Likewise.
+       * ld-i386/protected3.d: Updated.
+       * ld-i386/protected3.s: Likewise.
+       * ld-x86-64/pr17709-nacl.rd: New file.
+       * ld-x86-64/pr17709.rd: Likewise.
+       * ld-x86-64/pr17709a.s: Likewise.
+       * ld-x86-64/pr17709b.s: Likewise.
+       * ld-x86-64/protected3.d: Updated.
+       * ld-x86-64/protected3.s: Likewise.
+       * ld-x86-64/x86-64.exp (x86_64tests): Add a test for PR ld/17709.
+
 2015-03-04  Richard Sandiford  <richard.sandiford@arm.com>
 
        PR gas/17843
index 4fc2359879977c8ba8d4a5ffb99afbd276e719d4..3fdd39ca20ba93a91673505acd5b4c9c2676d13a 100644 (file)
@@ -191,6 +191,10 @@ set i386tests {
      "--32" {pr17306b.s} {} ""}
     {"PR ld/17306 (2)" "-melf_i386 -shared -Bsymbolic --just-symbols=tmpdir/pr17306b.o" ""
      "--32" {pr17306a.s} {} "libpr17306.so"}
+    {"PR ld/17709 (1)" "-melf_i386 -shared" ""
+     "--32" {pr17709a.s} {} "libpr17709.so"}
+    {"PR ld/17709 (2)" "-melf_i386 tmpdir/libpr17709.so" ""
+     "--32" {pr17709b.s} {{readelf -r pr17709.rd}} "pr17709"}
 }
 
 # So as to avoid rewriting every last test case here in a nacl variant,
diff --git a/ld/testsuite/ld-i386/pr17709-nacl.rd b/ld/testsuite/ld-i386/pr17709-nacl.rd
new file mode 100644 (file)
index 0000000..ac9d174
--- /dev/null
@@ -0,0 +1,4 @@
+
+Relocation section '.rel\..*' at offset .* contains 1 entries:
+ Offset     Info    Type            Sym\.Value  Sym\. Name
+[0-9a-f ]+R_386_COPY +[0-9a-f]+ +foo
diff --git a/ld/testsuite/ld-i386/pr17709.rd b/ld/testsuite/ld-i386/pr17709.rd
new file mode 100644 (file)
index 0000000..ac9d174
--- /dev/null
@@ -0,0 +1,4 @@
+
+Relocation section '.rel\..*' at offset .* contains 1 entries:
+ Offset     Info    Type            Sym\.Value  Sym\. Name
+[0-9a-f ]+R_386_COPY +[0-9a-f]+ +foo
diff --git a/ld/testsuite/ld-i386/pr17709a.s b/ld/testsuite/ld-i386/pr17709a.s
new file mode 100644 (file)
index 0000000..8750f5e
--- /dev/null
@@ -0,0 +1,8 @@
+       .protected      foo
+.globl foo
+       .data
+       .align 4
+       .type   foo, @object
+       .size   foo, 4
+foo:
+       .long   1
diff --git a/ld/testsuite/ld-i386/pr17709b.s b/ld/testsuite/ld-i386/pr17709b.s
new file mode 100644 (file)
index 0000000..c57f404
--- /dev/null
@@ -0,0 +1,5 @@
+       .text
+       .globl  _start
+       .type   _start, @function
+_start:
+       movl    foo, %eax
index aafa2d81b350c259be120a7f6bfd466489857e64..47ab4e1a9e9a7234981320b39041520be8fc730e 100644 (file)
@@ -8,6 +8,7 @@
 Disassembly of section .text:
 
 0+[a-f0-9]+ <bar>:
-[      ]*[a-f0-9]+:    8b 81 [a-f0-9][a-f0-9] [a-f0-9][a-f0-9] 00 00           mov    0x[a-f0-9]+\(%ecx\),%eax
+[      ]*[a-f0-9]+:    8b 81 [a-f0-9][a-f0-9] [a-f0-9][a-f0-9] ff ff           mov    -0x[a-f0-9]+\(%ecx\),%eax
+[      ]*[a-f0-9]+:    8b 00                   mov    \(%eax\),%eax
 [      ]*[a-f0-9]+:    c3                      ret    
 #pass
index 7a605a2929a9e3256157b494eabb42de6157ac26..4dd21154d90074cfab07b4b38a26faa6dfa8f37a 100644 (file)
@@ -10,6 +10,7 @@ foo:
 .globl bar
        .type   bar, @function
 bar:
-       movl    foo@GOTOFF(%ecx), %eax
+       movl    foo@GOT(%ecx), %eax
+       movl    (%eax), %eax
        ret
        .size   bar, .-bar
diff --git a/ld/testsuite/ld-x86-64/pr17709-nacl.rd b/ld/testsuite/ld-x86-64/pr17709-nacl.rd
new file mode 100644 (file)
index 0000000..f1baa38
--- /dev/null
@@ -0,0 +1,4 @@
+
+Relocation section '.rela\..*' at offset .* contains 1 entries:
+ +Offset +Info +Type +Symbol's Value +Symbol's Name \+ Addend
+[0-9a-f ]+R_X86_64_COPY+[0-9a-f ]+ +foo \+ 0
diff --git a/ld/testsuite/ld-x86-64/pr17709.rd b/ld/testsuite/ld-x86-64/pr17709.rd
new file mode 100644 (file)
index 0000000..f1baa38
--- /dev/null
@@ -0,0 +1,4 @@
+
+Relocation section '.rela\..*' at offset .* contains 1 entries:
+ +Offset +Info +Type +Symbol's Value +Symbol's Name \+ Addend
+[0-9a-f ]+R_X86_64_COPY+[0-9a-f ]+ +foo \+ 0
diff --git a/ld/testsuite/ld-x86-64/pr17709a.s b/ld/testsuite/ld-x86-64/pr17709a.s
new file mode 100644 (file)
index 0000000..8750f5e
--- /dev/null
@@ -0,0 +1,8 @@
+       .protected      foo
+.globl foo
+       .data
+       .align 4
+       .type   foo, @object
+       .size   foo, 4
+foo:
+       .long   1
diff --git a/ld/testsuite/ld-x86-64/pr17709b.s b/ld/testsuite/ld-x86-64/pr17709b.s
new file mode 100644 (file)
index 0000000..c57f404
--- /dev/null
@@ -0,0 +1,5 @@
+       .text
+       .globl  _start
+       .type   _start, @function
+_start:
+       movl    foo, %eax
index 22a36ac4c8f404b8db69331d7411c769226949b8..d8f09daa749527dcde1f1f3619a131be623b64f2 100644 (file)
@@ -8,6 +8,7 @@
 Disassembly of section .text:
 
 0+[a-f0-9]+ <bar>:
-[      ]*[a-f0-9]+:    8b 05 ([0-9a-f]{2} ){4} *       mov    0x[a-f0-9]+\(%rip\),%eax        # [a-f0-9]+ <foo>
+[      ]*[a-f0-9]+:    48 8b 05 ([0-9a-f]{2} ){4} *    mov    0x[a-f0-9]+\(%rip\),%rax        # [a-f0-9]+ <_DYNAMIC\+0x[a-f0-9]+>
+[      ]*[a-f0-9]+:    8b 00                   mov    \(%rax\),%eax
 [      ]*[a-f0-9]+:    c3                      retq *
 #pass
index e4af6e7fb342e77aec9266aa5e10ae8de9663001..75380501746a9ab96f99971eddbdf21b3c70d8e2 100644 (file)
@@ -10,6 +10,7 @@ foo:
 .globl bar
        .type   bar, @function
 bar:
-       movl    foo(%rip), %eax
+       movq    foo@GOTPCREL(%rip), %rax
+       movl    (%rax), %eax
        ret
        .size   bar, .-bar
index 9bb08bdbce1d0d4a3b6a5fea68a0210517f68d0c..43427be5d7814eba5b70aa960e469dfc7c6eb0bf 100644 (file)
@@ -144,6 +144,10 @@ set x86_64tests {
      "--64" {pr17306b.s} {} ""}
     {"PR ld/17306 (2)" "-melf_x86_64 -shared -Bsymbolic --just-symbols=tmpdir/pr17306b.o" ""
      "--64" {pr17306a.s} {} "libpr17306.so"}
+    {"PR ld/17709 (1)" "-melf_x86_64 -shared" ""
+     "--64" {pr17709a.s} {} "libpr17709.so"}
+    {"PR ld/17709 (2)" "-melf_x86_64 tmpdir/libpr17709.so" ""
+     "--64" {pr17709b.s} {{readelf -rW pr17709.rd}} "pr17709"}
 }
 
 # So as to avoid rewriting every last test case here in a nacl variant,