mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-15 04:31:49 +08:00
e54cb31aa3
Fix a commit 861fb55ab5
("Defer allocation of R_MIPS_REL32 GOT
slots"), <https://sourceware.org/ml/binutils/2008-08/msg00096.html>,
regression and a more recent:
FAIL: ld-unique/pr21529
new LD test case failure, observed with all the relevant MIPS targets
whenever the linker is invoked with one or more ELF inputs and the
output format set to `binary'.
The culprit is a segmentation fault caused in `mips_before_allocation'
by a null pointer dereference, where an attempt is made to access the
ELF file header's `e_flags' member, for the purpose of determining
whether to produce a PLT and copy relocations, without first checking
that the output BFD is ELF. The `e_flags' member is stored in BFD's
private data pointed to by `tdep', which in the case of the `binary' BFD
is null, causing the segmentation fault. With other non-ELF BFDs such
as SREC `tdep' is not null and consequently no crash may happen and in
that case random data will be interpreted as it was `e_flags'.
Disable the access to `e_flags' then and all the associated checks and
consequently never produce a PLT and copy relocations if output is not a
MIPS ELF BFD, matching `_bfd_mips_elf_merge_private_bfd_data' that does
not process `e_flags' in that case either and therefore does not let us
decide here anyway if all the input objects included in the link are
suitable for use with a PLT and copy relocations.
ld/
* emultempl/mipself.em (mips_before_allocation): Avoid ELF
processing if not MIPS ELF.
* testsuite/ld-mips-elf/binary.d: New test.
* testsuite/ld-mips-elf/binary.ld: New test linker script.
* testsuite/ld-mips-elf/binary.s: New test source.
* testsuite/ld-mips-elf/mips-elf.exp: Run the new test.
311 lines
8.5 KiB
Plaintext
311 lines
8.5 KiB
Plaintext
# This shell script emits a C file. -*- C -*-
|
|
# Copyright (C) 2004-2017 Free Software Foundation, Inc.
|
|
#
|
|
# This file is part of the GNU Binutils.
|
|
#
|
|
# 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.
|
|
|
|
fragment <<EOF
|
|
|
|
#include "ldctor.h"
|
|
#include "elf/mips.h"
|
|
#include "elfxx-mips.h"
|
|
|
|
#define is_mips_elf(bfd) \
|
|
(bfd_get_flavour (bfd) == bfd_target_elf_flavour \
|
|
&& elf_tdata (bfd) != NULL \
|
|
&& elf_object_id (bfd) == MIPS_ELF_DATA)
|
|
|
|
/* Fake input file for stubs. */
|
|
static lang_input_statement_type *stub_file;
|
|
static bfd *stub_bfd;
|
|
|
|
static bfd_boolean insn32;
|
|
static bfd_boolean ignore_branch_isa;
|
|
|
|
static void
|
|
mips_after_parse (void)
|
|
{
|
|
/* .gnu.hash and the MIPS ABI require .dynsym to be sorted in different
|
|
ways. .gnu.hash needs symbols to be grouped by hash code whereas the
|
|
MIPS ABI requires a mapping between the GOT and the symbol table. */
|
|
if (link_info.emit_gnu_hash)
|
|
{
|
|
einfo ("%X%P: .gnu.hash is incompatible with the MIPS ABI\n");
|
|
link_info.emit_hash = TRUE;
|
|
link_info.emit_gnu_hash = FALSE;
|
|
}
|
|
gld${EMULATION_NAME}_after_parse ();
|
|
}
|
|
|
|
struct hook_stub_info
|
|
{
|
|
lang_statement_list_type add;
|
|
asection *input_section;
|
|
};
|
|
|
|
/* Traverse the linker tree to find the spot where the stub goes. */
|
|
|
|
static bfd_boolean
|
|
hook_in_stub (struct hook_stub_info *info, lang_statement_union_type **lp)
|
|
{
|
|
lang_statement_union_type *l;
|
|
bfd_boolean ret;
|
|
|
|
for (; (l = *lp) != NULL; lp = &l->header.next)
|
|
{
|
|
switch (l->header.type)
|
|
{
|
|
case lang_constructors_statement_enum:
|
|
ret = hook_in_stub (info, &constructor_list.head);
|
|
if (ret)
|
|
return ret;
|
|
break;
|
|
|
|
case lang_output_section_statement_enum:
|
|
ret = hook_in_stub (info,
|
|
&l->output_section_statement.children.head);
|
|
if (ret)
|
|
return ret;
|
|
break;
|
|
|
|
case lang_wild_statement_enum:
|
|
ret = hook_in_stub (info, &l->wild_statement.children.head);
|
|
if (ret)
|
|
return ret;
|
|
break;
|
|
|
|
case lang_group_statement_enum:
|
|
ret = hook_in_stub (info, &l->group_statement.children.head);
|
|
if (ret)
|
|
return ret;
|
|
break;
|
|
|
|
case lang_input_section_enum:
|
|
if (info->input_section == NULL
|
|
|| l->input_section.section == info->input_section)
|
|
{
|
|
/* We've found our section. Insert the stub immediately
|
|
before its associated input section. */
|
|
*lp = info->add.head;
|
|
*(info->add.tail) = l;
|
|
return TRUE;
|
|
}
|
|
break;
|
|
|
|
case lang_data_statement_enum:
|
|
case lang_reloc_statement_enum:
|
|
case lang_object_symbols_statement_enum:
|
|
case lang_output_statement_enum:
|
|
case lang_target_statement_enum:
|
|
case lang_input_statement_enum:
|
|
case lang_assignment_statement_enum:
|
|
case lang_padding_statement_enum:
|
|
case lang_address_statement_enum:
|
|
case lang_fill_statement_enum:
|
|
break;
|
|
|
|
default:
|
|
FAIL ();
|
|
break;
|
|
}
|
|
}
|
|
return FALSE;
|
|
}
|
|
|
|
/* Create a new stub section called STUB_SEC_NAME and arrange for it to
|
|
be linked in OUTPUT_SECTION. The section should go at the beginning of
|
|
OUTPUT_SECTION if INPUT_SECTION is null, otherwise it must go immediately
|
|
before INPUT_SECTION. */
|
|
|
|
static asection *
|
|
mips_add_stub_section (const char *stub_sec_name, asection *input_section,
|
|
asection *output_section)
|
|
{
|
|
asection *stub_sec;
|
|
flagword flags;
|
|
lang_output_section_statement_type *os;
|
|
struct hook_stub_info info;
|
|
|
|
/* PR 12845: If the input section has been garbage collected it will
|
|
not have its output section set to *ABS*. */
|
|
if (bfd_is_abs_section (output_section))
|
|
return NULL;
|
|
|
|
/* Create the stub file, if we haven't already. */
|
|
if (stub_file == NULL)
|
|
{
|
|
stub_file = lang_add_input_file ("linker stubs",
|
|
lang_input_file_is_fake_enum,
|
|
NULL);
|
|
stub_bfd = bfd_create ("linker stubs", link_info.output_bfd);
|
|
if (stub_bfd == NULL
|
|
|| !bfd_set_arch_mach (stub_bfd,
|
|
bfd_get_arch (link_info.output_bfd),
|
|
bfd_get_mach (link_info.output_bfd)))
|
|
{
|
|
einfo ("%F%P: can not create BFD %E\n");
|
|
return NULL;
|
|
}
|
|
stub_bfd->flags |= BFD_LINKER_CREATED;
|
|
stub_file->the_bfd = stub_bfd;
|
|
ldlang_add_file (stub_file);
|
|
}
|
|
|
|
/* Create the section. */
|
|
stub_sec = bfd_make_section_anyway (stub_bfd, stub_sec_name);
|
|
if (stub_sec == NULL)
|
|
goto err_ret;
|
|
|
|
/* Set the flags. */
|
|
flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
|
|
| SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_KEEP);
|
|
if (!bfd_set_section_flags (stub_bfd, stub_sec, flags))
|
|
goto err_ret;
|
|
|
|
os = lang_output_section_get (output_section);
|
|
|
|
/* Initialize a statement list that contains only the new statement. */
|
|
lang_list_init (&info.add);
|
|
lang_add_section (&info.add, stub_sec, NULL, os);
|
|
if (info.add.head == NULL)
|
|
goto err_ret;
|
|
|
|
/* Insert the new statement in the appropriate place. */
|
|
info.input_section = input_section;
|
|
if (hook_in_stub (&info, &os->children.head))
|
|
return stub_sec;
|
|
|
|
err_ret:
|
|
einfo ("%X%P: can not make stub section: %E\n");
|
|
return NULL;
|
|
}
|
|
|
|
/* This is called before the input files are opened. */
|
|
|
|
static void
|
|
mips_create_output_section_statements (void)
|
|
{
|
|
struct elf_link_hash_table *htab;
|
|
|
|
htab = elf_hash_table (&link_info);
|
|
if (is_elf_hash_table (htab) && is_mips_elf (link_info.output_bfd))
|
|
_bfd_mips_elf_linker_flags (&link_info, insn32, ignore_branch_isa);
|
|
|
|
if (is_mips_elf (link_info.output_bfd))
|
|
_bfd_mips_elf_init_stubs (&link_info, mips_add_stub_section);
|
|
}
|
|
|
|
/* This is called after we have merged the private data of the input bfds. */
|
|
|
|
static void
|
|
mips_before_allocation (void)
|
|
{
|
|
if (is_mips_elf (link_info.output_bfd))
|
|
{
|
|
flagword flags;
|
|
|
|
flags = elf_elfheader (link_info.output_bfd)->e_flags;
|
|
if (!bfd_link_pic (&link_info)
|
|
&& !link_info.nocopyreloc
|
|
&& (flags & (EF_MIPS_PIC | EF_MIPS_CPIC)) == EF_MIPS_CPIC)
|
|
_bfd_mips_elf_use_plts_and_copy_relocs (&link_info);
|
|
}
|
|
|
|
gld${EMULATION_NAME}_before_allocation ();
|
|
}
|
|
|
|
/* Avoid processing the fake stub_file in vercheck, stat_needed and
|
|
check_needed routines. */
|
|
|
|
static void (*real_func) (lang_input_statement_type *);
|
|
|
|
static void mips_for_each_input_file_wrapper (lang_input_statement_type *l)
|
|
{
|
|
if (l != stub_file)
|
|
(*real_func) (l);
|
|
}
|
|
|
|
static void
|
|
mips_lang_for_each_input_file (void (*func) (lang_input_statement_type *))
|
|
{
|
|
real_func = func;
|
|
lang_for_each_input_file (&mips_for_each_input_file_wrapper);
|
|
}
|
|
|
|
#define lang_for_each_input_file mips_lang_for_each_input_file
|
|
|
|
EOF
|
|
|
|
# Define some shell vars to insert bits of code into the standard elf
|
|
# parse_args and list_options functions.
|
|
#
|
|
PARSE_AND_LIST_PROLOGUE='
|
|
enum
|
|
{
|
|
OPTION_INSN32 = 301,
|
|
OPTION_NO_INSN32,
|
|
OPTION_IGNORE_BRANCH_ISA,
|
|
OPTION_NO_IGNORE_BRANCH_ISA
|
|
};
|
|
'
|
|
|
|
PARSE_AND_LIST_LONGOPTS='
|
|
{ "insn32", no_argument, NULL, OPTION_INSN32 },
|
|
{ "no-insn32", no_argument, NULL, OPTION_NO_INSN32 },
|
|
{ "ignore-branch-isa", no_argument, NULL, OPTION_IGNORE_BRANCH_ISA },
|
|
{ "no-ignore-branch-isa", no_argument, NULL, OPTION_NO_IGNORE_BRANCH_ISA },
|
|
'
|
|
|
|
PARSE_AND_LIST_OPTIONS='
|
|
fprintf (file, _("\
|
|
--insn32 Only generate 32-bit microMIPS instructions\n"
|
|
));
|
|
fprintf (file, _("\
|
|
--no-insn32 Generate all microMIPS instructions\n"
|
|
));
|
|
fprintf (file, _("\
|
|
--ignore-branch-isa Accept invalid branch relocations requiring\n\
|
|
an ISA mode switch\n"
|
|
));
|
|
fprintf (file, _("\
|
|
--no-ignore-branch-isa Reject invalid branch relocations requiring\n\
|
|
an ISA mode switch\n"
|
|
));
|
|
'
|
|
|
|
PARSE_AND_LIST_ARGS_CASES='
|
|
case OPTION_INSN32:
|
|
insn32 = TRUE;
|
|
break;
|
|
|
|
case OPTION_NO_INSN32:
|
|
insn32 = FALSE;
|
|
break;
|
|
|
|
case OPTION_IGNORE_BRANCH_ISA:
|
|
ignore_branch_isa = TRUE;
|
|
break;
|
|
|
|
case OPTION_NO_IGNORE_BRANCH_ISA:
|
|
ignore_branch_isa = FALSE;
|
|
break;
|
|
'
|
|
|
|
LDEMUL_AFTER_PARSE=mips_after_parse
|
|
LDEMUL_BEFORE_ALLOCATION=mips_before_allocation
|
|
LDEMUL_CREATE_OUTPUT_SECTION_STATEMENTS=mips_create_output_section_statements
|