+2015-10-26 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR ld/19175
+ * elf32-i386.c (elf_i386_convert_load): Check bfd_link_hash_new
+ instead of calling bfd_link_get_defined_symbol.
+ * elf64-x86-64.c (elf_x86_64_convert_load): Likewise. Skip
+ relocation overflow for bfd_link_hash_new.
+ * linker.c (bfd_link_get_defined_symbol): Removed.
+ * bfd-in2.h: Regenerated.
+
2015-10-26 H.J. Lu <hongjiu.lu@intel.com>
PR ld/19171
bfd_boolean bfd_hide_sym_by_version
(struct bfd_elf_version_tree *verdefs, const char *sym_name);
-bfd_boolean bfd_link_get_defined_symbol
- (struct bfd_link_info *info, struct bfd_link_hash_entry *h,
- asection **sec, bfd_vma *value);
-
/* Extracted from simple.c. */
bfd_byte *bfd_simple_get_relocated_section_contents
(bfd *abfd, asection *sec, bfd_byte *outbuf, asymbol **symbol_table);
if (h == htab->elf.hdynamic)
continue;
- if (bfd_link_get_defined_symbol (link_info, &h->root, NULL,
- NULL)
+ /* bfd_link_hash_new is set by an assignment in a linker
+ script in bfd_elf_record_link_assignment. */
+ if ((h->root.type == bfd_link_hash_defined
+ || h->root.type == bfd_link_hash_defweak
+ || h->root.type == bfd_link_hash_new)
&& SYMBOL_REFERENCES_LOCAL (link_info, h))
{
convert_load:
}
else
{
- bfd_boolean defined;
-
indx = r_symndx - symtab_hdr->sh_info;
h = elf_sym_hashes (abfd)[indx];
BFD_ASSERT (h != NULL);
|| h->root.type == bfd_link_hash_warning)
h = (struct elf_link_hash_entry *) h->root.u.i.link;
- defined = bfd_link_get_defined_symbol (link_info, &h->root,
- &tsec, &toff);
-
/* STT_GNU_IFUNC must keep GOTPCREL relocations. We also
avoid optimizing GOTPCREL relocations againt _DYNAMIC
since ld.so may use its link-time address. */
- if (defined
+ if ((h->root.type == bfd_link_hash_defined
+ || h->root.type == bfd_link_hash_defweak
+ || h->root.type == bfd_link_hash_new)
&& h->type != STT_GNU_IFUNC
&& h != htab->elf.hdynamic
&& SYMBOL_REFERENCES_LOCAL (link_info, h))
- symtype = h->type;
+ {
+ /* bfd_link_hash_new is set by an assignment in a linker
+ script in bfd_elf_record_link_assignment. FIXME: If
+ we ever get a linker error due relocation overflow, we
+ will skip this optimization. */
+ if (h->root.type == bfd_link_hash_new)
+ goto convert;
+ tsec = h->root.u.def.section;
+ toff = h->root.u.def.value;
+ symtype = h->type;
+ }
else
continue;
}
continue;
}
+convert:
if (opcode == 0xff)
{
/* We have "call/jmp *foo@GOTPCREL(%rip)". */
bfd_find_version_for_sym (verdefs, sym_name, &hidden);
return hidden;
}
-
-/*
-FUNCTION
- bfd_link_get_defined_symbol
-
-SYNOPSIS
- bfd_boolean bfd_link_get_defined_symbol
- (struct bfd_link_info *info, struct bfd_link_hash_entry *h,
- asection **sec, bfd_vma *value);
-
-DESCRIPTION
- Return TRUE, store symbol section and value in @var{*sec} and
- @var{*value} if symbol @var{h} is defined during a final link.
-*/
-
-bfd_boolean
-bfd_link_get_defined_symbol (struct bfd_link_info *info,
- struct bfd_link_hash_entry *h,
- asection **sec, bfd_vma *value)
-{
- if (h->type == bfd_link_hash_defined
- || h->type == bfd_link_hash_defweak)
- {
- if (sec)
- *sec = h->u.def.section;
- if (value)
- *value = h->u.def.value;
- return TRUE;
- }
-
- if (h->type == bfd_link_hash_new
- || h->type == bfd_link_hash_undefined
- || h->type == bfd_link_hash_undefweak)
- {
- /* Check yet undefined reference to __start_XXX or __stop_XXX
- symbols. The linker will later define such symbols for output
- sections that have a name representable as a C identifier. */
- const char *sec_name;
- if (strncmp (h->root.string, "__start_", 8) == 0)
- sec_name = h->root.string + 8;
- else if (strncmp (h->root.string, "__stop_", 7) == 0)
- sec_name = h->root.string + 7;
- else
- sec_name = NULL;
-
- if (sec_name != NULL && *sec_name != '\0')
- {
- bfd *i;
-
- for (i = info->input_bfds; i != NULL; i = i->link.next)
- {
- asection *s = bfd_get_section_by_name (i, sec_name);
- if (s != NULL)
- {
- asection *asect;
- bfd_vma size;
-
- if (sec)
- *sec = s;
-
- if (!value)
- return TRUE;
- if (sec_name == (h->root.string + 8))
- {
- /* Set __start_XXX symbol value. */
- *value = 0;
- return TRUE;
- }
-
- /* Get the size of the output XXX section for
- __stop_XXX symbol value. */
- size = 0;
- for (asect = s->output_section->map_head.s;
- asect != NULL;
- asect = asect->map_head.s)
- {
- size = align_power (size, asect->alignment_power);
- size += asect->size;
- }
-
- *value = size;
- return TRUE;
- }
- }
- }
- }
-
- return FALSE;
-}
+2015-10-26 H.J. Lu <hongjiu.lu@intel.com>
+
+ PR ld/19175
+ * ld-i386/i386.exp: Run pr19175.
+ * ld-x86-64/x86-64.exp: Likewise.
+ * ld-i386/pr19175.d: New file.
+ * ld-i386/pr19175.s: Likewise.
+ * ld-i386/pr19175.t: Likewise.
+ * ld-x86-64/pr19175.d: Likewise.
+ * ld-x86-64/pr19175.s: Likewise.
+ * ld-x86-64/pr19175.t: Likewise.
+
2015-10-26 H.J. Lu <hongjiu.lu@intel.com>
PR ld/19171
run_dump_test "load5a"
run_dump_test "load5b"
run_dump_test "load6"
+run_dump_test "pr19175"
if { !([istarget "i?86-*-linux*"]
|| [istarget "i?86-*-gnu*"]
--- /dev/null
+#source: pr19175.s
+#as: --32
+#ld: -Bsymbolic -shared -melf_i386 -T pr19175.t
+#objdump: -dw
+
+.*: +file format .*
+
+
+Disassembly of section .text:
+
+#...
+[ ]*[a-f0-9]+: 8d 81 ([0-9a-f]{2} ){4} * lea -0x[a-f0-9]+\(%ecx\),%eax
+#pass
--- /dev/null
+ .globl _start
+ .type _start, @function
+_start:
+ movl _text@GOT(%ecx), %eax
+ .size _start, .-_start
--- /dev/null
+EXTERN(_start)
+ENTRY(_start)
+
+SECTIONS
+{
+ .text :
+ {
+ _text = .;
+ *(.text*)
+ }
+}
--- /dev/null
+#source: pr19175.s
+#as: --64
+#ld: -Bsymbolic -shared -melf_x86_64 -T pr19175.t
+#objdump: -dw
+
+.*: +file format .*
+
+
+Disassembly of section .text:
+
+#...
+[ ]*[a-f0-9]+: 48 8d 05 ([0-9a-f]{2} ){4} * lea -0x[a-f0-9]+\(%rip\),%rax # [a-f0-9]+ <_start>
+#pass
--- /dev/null
+ .globl _start
+ .type _start, @function
+_start:
+ movq _text@GOTPCREL(%rip), %rax
+ .size _start, .-_start
--- /dev/null
+EXTERN(_start)
+ENTRY(_start)
+
+SECTIONS
+{
+ .text :
+ {
+ _text = .;
+ *(.text*)
+ }
+}
run_dump_test "pr19013"
run_dump_test "pr19013-x32"
run_dump_test "pr19013-nacl"
+run_dump_test "pr19175"
# Add $PLT_CFLAGS if PLT is expected.
global PLT_CFLAGS