871b3ab29e
First step towards compiler verification of _bfd_error_handler arguments, and better verification of translated messages. bfd/ * bfd.c (_bfd_doprnt, _bfd_doprnt_scan): Handle %pA and %pB in place of %A and %B. * aout-adobe.c: Update all messages using %A and %B. * aout-cris.c: Likewise. * aoutx.h: Likewise. * archive.c: Likewise. * binary.c: Likewise. * cache.c: Likewise. * coff-alpha.c: Likewise. * coff-arm.c: Likewise. * coff-i860.c: Likewise. * coff-mcore.c: Likewise. * coff-ppc.c: Likewise. * coff-rs6000.c: Likewise. * coff-sh.c: Likewise. * coff-tic4x.c: Likewise. * coff-tic54x.c: Likewise. * coff-tic80.c: Likewise. * coff64-rs6000.c: Likewise. * coffcode.h: Likewise. * coffgen.c: Likewise. * cofflink.c: Likewise. * coffswap.h: Likewise. * compress.c: Likewise. * cpu-arm.c: Likewise. * ecoff.c: Likewise. * elf-attrs.c: Likewise. * elf-eh-frame.c: Likewise. * elf-ifunc.c: Likewise. * elf-m10300.c: Likewise. * elf-properties.c: Likewise. * elf-s390-common.c: Likewise. * elf.c: Likewise. * elf32-arc.c: Likewise. * elf32-arm.c: Likewise. * elf32-avr.c: Likewise. * elf32-bfin.c: Likewise. * elf32-cr16.c: Likewise. * elf32-cr16c.c: Likewise. * elf32-cris.c: Likewise. * elf32-crx.c: Likewise. * elf32-d10v.c: Likewise. * elf32-d30v.c: Likewise. * elf32-epiphany.c: Likewise. * elf32-fr30.c: Likewise. * elf32-frv.c: Likewise. * elf32-gen.c: Likewise. * elf32-hppa.c: Likewise. * elf32-i370.c: Likewise. * elf32-i386.c: Likewise. * elf32-i960.c: Likewise. * elf32-ip2k.c: Likewise. * elf32-iq2000.c: Likewise. * elf32-lm32.c: Likewise. * elf32-m32c.c: Likewise. * elf32-m32r.c: Likewise. * elf32-m68hc11.c: Likewise. * elf32-m68hc12.c: Likewise. * elf32-m68hc1x.c: Likewise. * elf32-m68k.c: Likewise. * elf32-mcore.c: Likewise. * elf32-mep.c: Likewise. * elf32-metag.c: Likewise. * elf32-microblaze.c: Likewise. * elf32-moxie.c: Likewise. * elf32-msp430.c: Likewise. * elf32-mt.c: Likewise. * elf32-nds32.c: Likewise. * elf32-nios2.c: Likewise. * elf32-or1k.c: Likewise. * elf32-pj.c: Likewise. * elf32-ppc.c: Likewise. * elf32-rl78.c: Likewise. * elf32-rx.c: Likewise. * elf32-s390.c: Likewise. * elf32-score.c: Likewise. * elf32-score7.c: Likewise. * elf32-sh-symbian.c: Likewise. * elf32-sh.c: Likewise. * elf32-sh64.c: Likewise. * elf32-sparc.c: Likewise. * elf32-spu.c: Likewise. * elf32-tic6x.c: Likewise. * elf32-tilepro.c: Likewise. * elf32-v850.c: Likewise. * elf32-vax.c: Likewise. * elf32-visium.c: Likewise. * elf32-wasm32.c: Likewise. * elf32-xgate.c: Likewise. * elf32-xtensa.c: Likewise. * elf64-alpha.c: Likewise. * elf64-gen.c: Likewise. * elf64-hppa.c: Likewise. * elf64-ia64-vms.c: Likewise. * elf64-mmix.c: Likewise. * elf64-ppc.c: Likewise. * elf64-s390.c: Likewise. * elf64-sh64.c: Likewise. * elf64-sparc.c: Likewise. * elf64-x86-64.c: Likewise. * elfcode.h: Likewise. * elfcore.h: Likewise. * elflink.c: Likewise. * elfnn-aarch64.c: Likewise. * elfnn-ia64.c: Likewise. * elfnn-riscv.c: Likewise. * elfxx-mips.c: Likewise. * elfxx-sparc.c: Likewise. * elfxx-tilegx.c: Likewise. * elfxx-x86.c: Likewise. * hpux-core.c: Likewise. * ieee.c: Likewise. * ihex.c: Likewise. * libbfd.c: Likewise. * linker.c: Likewise. * mach-o.c: Likewise. * merge.c: Likewise. * mmo.c: Likewise. * oasys.c: Likewise. * pdp11.c: Likewise. * pe-mips.c: Likewise. * peXXigen.c: Likewise. * peicode.h: Likewise. * reloc.c: Likewise. * rs6000-core.c: Likewise. * srec.c: Likewise. * stabs.c: Likewise. * vms-alpha.c: Likewise. * xcofflink.c: Likewise. ld/ * ldmisc.c (vfinfo): Handle %pA and %pB in place of %A and %B. * ldcref.c: Update all messages using %A and %B. * ldexp.c: Likewise. * ldlang.c: Likewise. * ldmain.c: Likewise. * ldmisc.c: Likewise. * pe-dll.c: Likewise. * plugin.c: Likewise. * emultempl/beos.em: Likewise. * emultempl/cr16elf.em: Likewise. * emultempl/elf32.em: Likewise. * emultempl/m68kcoff.em: Likewise. * emultempl/m68kelf.em: Likewise. * emultempl/mmo.em: Likewise. * emultempl/nds32elf.em: Likewise. * emultempl/pe.em: Likewise. * emultempl/pep.em: Likewise. * emultempl/spuelf.em: Likewise. * emultempl/sunos.em: Likewise. * emultempl/xtensaelf.em: Likewise.
318 lines
9.5 KiB
C
318 lines
9.5 KiB
C
/* IBM S/390-specific support for ELF 32 and 64 bit functions
|
|
Copyright (C) 2000-2018 Free Software Foundation, Inc.
|
|
Contributed by Andreas Krebbel.
|
|
|
|
This file is part of BFD, the Binary File Descriptor library.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA
|
|
02110-1301, USA. */
|
|
|
|
|
|
/* Return TRUE if H is an IFUNC symbol. Simply checking for the
|
|
symbol type might not be enough since it might get changed to
|
|
STT_FUNC for pointer equality reasons. */
|
|
static inline bfd_boolean
|
|
s390_is_ifunc_symbol_p (struct elf_link_hash_entry *h)
|
|
{
|
|
struct elf_s390_link_hash_entry *eh = (struct elf_s390_link_hash_entry*)h;
|
|
return h->type == STT_GNU_IFUNC || eh->ifunc_resolver_address != 0;
|
|
}
|
|
|
|
/* Create sections needed by STT_GNU_IFUNC symbol. */
|
|
|
|
static bfd_boolean
|
|
s390_elf_create_ifunc_sections (bfd *abfd, struct bfd_link_info *info)
|
|
{
|
|
flagword flags;
|
|
asection *s;
|
|
const struct elf_backend_data *bed = get_elf_backend_data (abfd);
|
|
struct elf_link_hash_table *htab = elf_hash_table (info);
|
|
|
|
if (htab->iplt != NULL)
|
|
return TRUE;
|
|
|
|
flags = bed->dynamic_sec_flags;
|
|
|
|
if (bfd_link_pic (info))
|
|
{
|
|
s = bfd_make_section_with_flags (abfd, ".rela.ifunc",
|
|
flags | SEC_READONLY);
|
|
if (s == NULL
|
|
|| ! bfd_set_section_alignment (abfd, s,
|
|
bed->s->log_file_align))
|
|
return FALSE;
|
|
htab->irelifunc = s;
|
|
}
|
|
|
|
/* Create .iplt, .rel[a].iplt, and .igot.plt. */
|
|
s = bfd_make_section_with_flags (abfd, ".iplt",
|
|
flags | SEC_CODE | SEC_READONLY);
|
|
if (s == NULL
|
|
|| ! bfd_set_section_alignment (abfd, s, bed->plt_alignment))
|
|
return FALSE;
|
|
htab->iplt = s;
|
|
|
|
s = bfd_make_section_with_flags (abfd, ".rela.iplt", flags | SEC_READONLY);
|
|
if (s == NULL
|
|
|| ! bfd_set_section_alignment (abfd, s,
|
|
bed->s->log_file_align))
|
|
return FALSE;
|
|
htab->irelplt = s;
|
|
|
|
s = bfd_make_section_with_flags (abfd, ".igot.plt", flags);
|
|
if (s == NULL
|
|
|| !bfd_set_section_alignment (abfd, s,
|
|
bed->s->log_file_align))
|
|
return FALSE;
|
|
htab->igotplt = s;
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
|
|
/* Allocate space in .plt, .got and associated reloc sections for
|
|
dynamic relocs against a STT_GNU_IFUNC symbol definition. */
|
|
|
|
static bfd_boolean
|
|
s390_elf_allocate_ifunc_dyn_relocs (struct bfd_link_info *info,
|
|
struct elf_link_hash_entry *h)
|
|
{
|
|
struct elf_dyn_relocs *p;
|
|
struct elf_link_hash_table *htab;
|
|
struct elf_s390_link_hash_entry *eh = (struct elf_s390_link_hash_entry*)h;
|
|
struct elf_dyn_relocs **head = &eh->dyn_relocs;
|
|
|
|
htab = elf_hash_table (info);
|
|
eh->ifunc_resolver_address = h->root.u.def.value;
|
|
eh->ifunc_resolver_section = h->root.u.def.section;
|
|
|
|
/* Support garbage collection against STT_GNU_IFUNC symbols. */
|
|
if (h->plt.refcount <= 0 && h->got.refcount <= 0)
|
|
{
|
|
/* When building shared library, we need to handle the case
|
|
where it is marked with regular reference, but not non-GOT
|
|
reference. It may happen if we didn't see STT_GNU_IFUNC
|
|
symbol at the time when checking relocations. */
|
|
if (bfd_link_pic (info)
|
|
&& !h->non_got_ref
|
|
&& h->ref_regular)
|
|
for (p = *head; p != NULL; p = p->next)
|
|
if (p->count)
|
|
{
|
|
h->non_got_ref = 1;
|
|
goto keep;
|
|
}
|
|
|
|
h->got = htab->init_got_offset;
|
|
h->plt = htab->init_plt_offset;
|
|
*head = NULL;
|
|
return TRUE;
|
|
}
|
|
|
|
/* Return and discard space for dynamic relocations against it if
|
|
it is never referenced in a non-shared object. */
|
|
if (!h->ref_regular)
|
|
{
|
|
if (h->plt.refcount > 0
|
|
|| h->got.refcount > 0)
|
|
abort ();
|
|
h->got = htab->init_got_offset;
|
|
h->plt = htab->init_plt_offset;
|
|
*head = NULL;
|
|
return TRUE;
|
|
}
|
|
|
|
keep:
|
|
/* Without checking h->plt.refcount here we allocate a PLT slot.
|
|
When setting plt.refcount in check_relocs it might not have been
|
|
known that this will be an IFUNC symol. */
|
|
h->plt.offset = htab->iplt->size;
|
|
h->needs_plt = 1;
|
|
htab->iplt->size += PLT_ENTRY_SIZE;
|
|
htab->igotplt->size += GOT_ENTRY_SIZE;
|
|
htab->irelplt->size += RELA_ENTRY_SIZE;
|
|
htab->irelplt->reloc_count++;
|
|
|
|
/* In order to make pointer equality work with IFUNC symbols defined
|
|
in a non-PIE executable and referenced in a shared lib, we turn
|
|
the symbol into a STT_FUNC symbol and make the symbol value to
|
|
point to the IPLT slot. That way the referencing shared lib will
|
|
always get the PLT slot address when resolving the respective
|
|
R_390_GLOB_DAT/R_390_64 relocs on that symbol. */
|
|
if (bfd_link_pde (info)
|
|
&& h->def_regular
|
|
&& h->ref_dynamic)
|
|
{
|
|
h->root.u.def.section = htab->iplt;
|
|
h->root.u.def.value = h->plt.offset;
|
|
h->size = PLT_ENTRY_SIZE;
|
|
h->type = STT_FUNC;
|
|
}
|
|
|
|
if (!bfd_link_pic (info))
|
|
*head = NULL;
|
|
|
|
/* Finally, allocate space. */
|
|
p = *head;
|
|
if (p != NULL)
|
|
{
|
|
bfd_size_type count = 0;
|
|
do
|
|
{
|
|
count += p->count;
|
|
p = p->next;
|
|
}
|
|
while (p != NULL);
|
|
htab->irelifunc->size += count * RELA_ENTRY_SIZE;
|
|
}
|
|
|
|
/* Decide whether the got.iplt slot can be used. This has to be
|
|
avoided if the values in the GOT slots could differ for pointer
|
|
equality reasons. */
|
|
if (h->got.refcount <= 0
|
|
|| (bfd_link_pic (info)
|
|
&& (h->dynindx == -1 || h->forced_local))
|
|
|| bfd_link_pie (info)
|
|
|| htab->sgot == NULL)
|
|
{
|
|
/* Use .got.iplt. */
|
|
h->got.offset = (bfd_vma) -1;
|
|
}
|
|
else
|
|
{
|
|
h->got.offset = htab->sgot->size;
|
|
htab->sgot->size += GOT_ENTRY_SIZE;
|
|
if (bfd_link_pic (info))
|
|
htab->srelgot->size += RELA_ENTRY_SIZE;
|
|
}
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
static bfd_boolean
|
|
elf_s390_allocate_local_syminfo (bfd *abfd, Elf_Internal_Shdr *symtab_hdr)
|
|
{
|
|
bfd_size_type size;
|
|
|
|
size = symtab_hdr->sh_info;
|
|
size *= (sizeof (bfd_signed_vma) /* local got */
|
|
+ sizeof (struct plt_entry) /* local plt */
|
|
+ sizeof(char)); /* local tls type */
|
|
elf_local_got_refcounts (abfd) = ((bfd_signed_vma *)
|
|
bfd_zalloc (abfd, size));
|
|
if (elf_local_got_refcounts (abfd) == NULL)
|
|
return FALSE;
|
|
elf_s390_local_plt (abfd)
|
|
= (struct plt_entry*)(elf_local_got_refcounts (abfd)
|
|
+ symtab_hdr->sh_info);
|
|
elf_s390_local_got_tls_type (abfd)
|
|
= (char *) (elf_s390_local_plt (abfd) + symtab_hdr->sh_info);
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
/* Pick ELFOSABI_GNU if IFUNC symbols are used. */
|
|
|
|
static bfd_boolean
|
|
elf_s390_add_symbol_hook (bfd *abfd,
|
|
struct bfd_link_info *info,
|
|
Elf_Internal_Sym *sym,
|
|
const char **namep ATTRIBUTE_UNUSED,
|
|
flagword *flagsp ATTRIBUTE_UNUSED,
|
|
asection **secp ATTRIBUTE_UNUSED,
|
|
bfd_vma *valp ATTRIBUTE_UNUSED)
|
|
{
|
|
if (ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC
|
|
&& (abfd->flags & DYNAMIC) == 0
|
|
&& bfd_get_flavour (info->output_bfd) == bfd_target_elf_flavour)
|
|
elf_tdata (info->output_bfd)->has_gnu_symbols |= elf_gnu_symbol_ifunc;
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
/* Whether to sort relocs output by ld -r or ld --emit-relocs, by
|
|
r_offset. Don't do so for code sections. We want to keep ordering
|
|
of GDCALL / PLT32DBL for TLS optimizations as is. On the other
|
|
hand, elf-eh-frame.c processing requires .eh_frame relocs to be
|
|
sorted. */
|
|
|
|
static bfd_boolean
|
|
elf_s390_elf_sort_relocs_p (asection *sec)
|
|
{
|
|
return (sec->flags & SEC_CODE) == 0;
|
|
}
|
|
|
|
/* Merge object attributes from IBFD into OBFD. Raise an error if
|
|
there are conflicting attributes. */
|
|
static bfd_boolean
|
|
elf_s390_merge_obj_attributes (bfd *ibfd, struct bfd_link_info *info)
|
|
{
|
|
bfd *obfd = info->output_bfd;
|
|
obj_attribute *in_attr, *in_attrs;
|
|
obj_attribute *out_attr, *out_attrs;
|
|
|
|
if (!elf_known_obj_attributes_proc (obfd)[0].i)
|
|
{
|
|
/* This is the first object. Copy the attributes. */
|
|
_bfd_elf_copy_obj_attributes (ibfd, obfd);
|
|
|
|
/* Use the Tag_null value to indicate the attributes have been
|
|
initialized. */
|
|
elf_known_obj_attributes_proc (obfd)[0].i = 1;
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
in_attrs = elf_known_obj_attributes (ibfd)[OBJ_ATTR_GNU];
|
|
out_attrs = elf_known_obj_attributes (obfd)[OBJ_ATTR_GNU];
|
|
|
|
/* Check for conflicting Tag_GNU_S390_ABI_Vector attributes and
|
|
merge non-conflicting ones. */
|
|
in_attr = &in_attrs[Tag_GNU_S390_ABI_Vector];
|
|
out_attr = &out_attrs[Tag_GNU_S390_ABI_Vector];
|
|
|
|
if (in_attr->i > 2)
|
|
_bfd_error_handler
|
|
/* xgettext:c-format */
|
|
(_("Warning: %pB uses unknown vector ABI %d"), ibfd,
|
|
in_attr->i);
|
|
else if (out_attr->i > 2)
|
|
_bfd_error_handler
|
|
/* xgettext:c-format */
|
|
(_("Warning: %pB uses unknown vector ABI %d"), obfd,
|
|
out_attr->i);
|
|
else if (in_attr->i != out_attr->i)
|
|
{
|
|
out_attr->type = ATTR_TYPE_FLAG_INT_VAL;
|
|
|
|
if (in_attr->i && out_attr->i)
|
|
{
|
|
const char abi_str[3][9] = { "none", "software", "hardware" };
|
|
|
|
_bfd_error_handler
|
|
/* xgettext:c-format */
|
|
(_("Warning: %pB uses vector %s ABI, %pB uses %s ABI"),
|
|
ibfd, abi_str[in_attr->i], obfd, abi_str[out_attr->i]);
|
|
}
|
|
if (in_attr->i > out_attr->i)
|
|
out_attr->i = in_attr->i;
|
|
}
|
|
|
|
/* Merge Tag_compatibility attributes and any common GNU ones. */
|
|
_bfd_elf_merge_object_attributes (ibfd, info);
|
|
|
|
return TRUE;
|
|
}
|