diff options
author | H.J. Lu <hjl.tools@gmail.com> | 2015-10-26 16:32:34 -0700 |
---|---|---|
committer | H.J. Lu <hjl.tools@gmail.com> | 2015-10-26 16:32:55 -0700 |
commit | 7b7e7f1da28585cfa49cbced50dbbd75a143cd20 (patch) | |
tree | 92bc4519ea2dc65f76bd4d2d8280c3857ef55d42 /bfd | |
parent | 0fde2c536bc483baa4baa2990ebebfb3a7c00415 (diff) | |
download | gdb-7b7e7f1da28585cfa49cbced50dbbd75a143cd20.zip gdb-7b7e7f1da28585cfa49cbced50dbbd75a143cd20.tar.gz gdb-7b7e7f1da28585cfa49cbced50dbbd75a143cd20.tar.bz2 |
Check symbol defined by assignment in linker script
Symbol symbol defined by an assignment in a linker script has type
bfd_link_hash_new. elf_i386_convert_load and elf_x86_64_convert_load
should check bfd_link_hash_new to see if a symbol is defined by a linker
script.
bfd/
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.
ld/testsuite/
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.
Diffstat (limited to 'bfd')
-rw-r--r-- | bfd/ChangeLog | 10 | ||||
-rw-r--r-- | bfd/bfd-in2.h | 4 | ||||
-rw-r--r-- | bfd/elf32-i386.c | 7 | ||||
-rw-r--r-- | bfd/elf64-x86-64.c | 22 | ||||
-rw-r--r-- | bfd/linker.c | 89 |
5 files changed, 30 insertions, 102 deletions
diff --git a/bfd/ChangeLog b/bfd/ChangeLog index c838043..29c974d 100644 --- a/bfd/ChangeLog +++ b/bfd/ChangeLog @@ -1,5 +1,15 @@ 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 * elf32-i386.c (elf_i386_convert_load): Call bfd_link_get_defined_symbol to check if a symbol is defined. diff --git a/bfd/bfd-in2.h b/bfd/bfd-in2.h index 57d31f2..9345e88 100644 --- a/bfd/bfd-in2.h +++ b/bfd/bfd-in2.h @@ -7515,10 +7515,6 @@ struct bfd_elf_version_tree * bfd_find_version_for_sym 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); diff --git a/bfd/elf32-i386.c b/bfd/elf32-i386.c index 9717062..fca7663 100644 --- a/bfd/elf32-i386.c +++ b/bfd/elf32-i386.c @@ -2976,8 +2976,11 @@ convert_branch: 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: diff --git a/bfd/elf64-x86-64.c b/bfd/elf64-x86-64.c index 9778f2f..deaee91 100644 --- a/bfd/elf64-x86-64.c +++ b/bfd/elf64-x86-64.c @@ -3116,8 +3116,6 @@ elf_x86_64_convert_load (bfd *abfd, asection *sec, } else { - bfd_boolean defined; - indx = r_symndx - symtab_hdr->sh_info; h = elf_sym_hashes (abfd)[indx]; BFD_ASSERT (h != NULL); @@ -3126,17 +3124,26 @@ elf_x86_64_convert_load (bfd *abfd, asection *sec, || 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; } @@ -3213,6 +3220,7 @@ elf_x86_64_convert_load (bfd *abfd, asection *sec, continue; } +convert: if (opcode == 0xff) { /* We have "call/jmp *foo@GOTPCREL(%rip)". */ diff --git a/bfd/linker.c b/bfd/linker.c index f2290e0..86a7a19 100644 --- a/bfd/linker.c +++ b/bfd/linker.c @@ -3303,92 +3303,3 @@ bfd_hide_sym_by_version (struct bfd_elf_version_tree *verdefs, 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; -} |