mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-11-27 03:51:15 +08:00
af92590521
In commitb86d3af60f
and0ab0435fe6
I fixed SIGBUS errors found by oss-fuzz now that --with-mmap defaults to enabled. It turns out there are further problems with the aout mmap code: aout_read_minisymbols returns the external symbol array, which is later freed by nm.c. If the array is mmaped you can't free it. Now this could be fixed by making aout minisymbols an array of pointers, but I figure there's not much point in expending effort on that. So delete the aout mmap support along with bfdwin.c and get_section_contents_in_window.
4708 lines
130 KiB
C
4708 lines
130 KiB
C
/* BFD back-end for PDP-11 a.out binaries.
|
||
Copyright (C) 2001-2024 Free Software Foundation, Inc.
|
||
|
||
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. */
|
||
|
||
|
||
/* BFD backend for PDP-11, running 2.11BSD in particular.
|
||
|
||
This file was hacked up by looking hard at the existing vaxnetbsd
|
||
back end and the header files in 2.11BSD. The symbol table format
|
||
of 2.11BSD has been extended to accommodate .stab symbols. See
|
||
struct pdp11_external_nlist below for details.
|
||
|
||
TODO
|
||
* support for V7 file formats
|
||
* support for overlay object files (see 2.11 a.out(5))
|
||
* support for old and very old archives
|
||
(see 2.11 ar(5), historical section)
|
||
|
||
Search for TODO to find other areas needing more work. */
|
||
|
||
#define BYTES_IN_WORD 2
|
||
#define BYTES_IN_LONG 4
|
||
#define ARCH_SIZE 16
|
||
#undef TARGET_IS_BIG_ENDIAN_P
|
||
|
||
#define TARGET_PAGE_SIZE 8192
|
||
#define SEGMENT__SIZE TARGET_PAGE_SIZE
|
||
|
||
#define DEFAULT_ARCH bfd_arch_pdp11
|
||
#define DEFAULT_MID M_PDP11
|
||
|
||
/* Do not "beautify" the CONCAT* macro args. Traditional C will not
|
||
remove whitespace added here, and thus will fail to concatenate
|
||
the tokens. */
|
||
#define MY(OP) CONCAT2 (pdp11_aout_,OP)
|
||
|
||
/* This needs to start with a.out so GDB knows it is an a.out variant. */
|
||
#define TARGETNAME "a.out-pdp11"
|
||
|
||
/* This is the normal load address for executables. */
|
||
#define TEXT_START_ADDR 0
|
||
|
||
/* The header is not included in the text segment. */
|
||
#define N_HEADER_IN_TEXT(x) 0
|
||
|
||
/* There is no flags field. */
|
||
#define N_FLAGS(execp) 0
|
||
|
||
#define N_SET_FLAGS(execp, flags) do { } while (0)
|
||
#define N_BADMAG(x) (N_MAGIC(x) != OMAGIC \
|
||
&& N_MAGIC(x) != NMAGIC \
|
||
&& N_MAGIC(x) != IMAGIC \
|
||
&& N_MAGIC(x) != ZMAGIC)
|
||
|
||
#include "sysdep.h"
|
||
#include <limits.h>
|
||
#include "bfd.h"
|
||
|
||
#define external_exec pdp11_external_exec
|
||
struct pdp11_external_exec
|
||
{
|
||
bfd_byte e_info[2]; /* Magic number. */
|
||
bfd_byte e_text[2]; /* Length of text section in bytes. */
|
||
bfd_byte e_data[2]; /* Length of data section in bytes. */
|
||
bfd_byte e_bss[2]; /* Length of bss area in bytes. */
|
||
bfd_byte e_syms[2]; /* Length of symbol table in bytes. */
|
||
bfd_byte e_entry[2]; /* Start address. */
|
||
bfd_byte e_unused[2]; /* Not used. */
|
||
bfd_byte e_flag[2]; /* Relocation info stripped. */
|
||
bfd_byte e_relocatable; /* Ugly hack. */
|
||
};
|
||
|
||
#define EXEC_BYTES_SIZE (8 * 2)
|
||
|
||
#define A_MAGIC1 OMAGIC
|
||
#define OMAGIC 0407 /* ...object file or impure executable. */
|
||
#define A_MAGIC2 NMAGIC
|
||
#define NMAGIC 0410 /* Pure executable. */
|
||
#define ZMAGIC 0413 /* Demand-paged executable. */
|
||
#define IMAGIC 0411 /* Separated I&D. */
|
||
#define A_MAGIC3 IMAGIC
|
||
#define A_MAGIC4 0405 /* Overlay. */
|
||
#define A_MAGIC5 0430 /* Auto-overlay (nonseparate). */
|
||
#define A_MAGIC6 0431 /* Auto-overlay (separate). */
|
||
#define QMAGIC 0
|
||
#define BMAGIC 0
|
||
|
||
#define A_FLAG_RELOC_STRIPPED 0x0001
|
||
|
||
/* The following struct defines the format of an entry in the object file
|
||
symbol table. In the original 2.11BSD struct the index into the string
|
||
table is stored as a long, but the PDP11 C convention for storing a long in
|
||
memory placed the most significant word first even though the bytes within a
|
||
word are stored least significant first. So here the string table index is
|
||
considered to be just 16 bits and the first two bytes of the struct were
|
||
previously named e_unused. To extend the symbol table format to accommodate
|
||
.stab symbols, the e_unused bytes are renamed e_desc to store the desc field
|
||
of the .stab symbol. The GDP Project's STABS document says that the "other"
|
||
field is almost always unused and can be set to zero; the only nonzero cases
|
||
identified were for stabs in their own sections, which does not apply for
|
||
pdp11 a.out format, and for a special case of GNU Modula2 which is not
|
||
supported for the PDP11. */
|
||
#define external_nlist pdp11_external_nlist
|
||
struct pdp11_external_nlist
|
||
{
|
||
bfd_byte e_desc[2]; /* The desc field for .stab symbols, else 0. */
|
||
bfd_byte e_strx[2]; /* Index into string table of name. */
|
||
bfd_byte e_type[1]; /* Type of symbol. */
|
||
bfd_byte e_ovly[1]; /* Overlay number. */
|
||
bfd_byte e_value[2]; /* Value of symbol. */
|
||
};
|
||
|
||
#define EXTERNAL_NLIST_SIZE 8
|
||
|
||
#define N_TXTOFF(x) (EXEC_BYTES_SIZE)
|
||
#define N_DATOFF(x) (N_TXTOFF(x) + (x)->a_text)
|
||
#define N_TRELOFF(x) (N_DATOFF(x) + (x)->a_data)
|
||
#define N_DRELOFF(x) (N_TRELOFF(x) + (x)->a_trsize)
|
||
#define N_SYMOFF(x) (N_DRELOFF(x) + (x)->a_drsize)
|
||
#define N_STROFF(x) (N_SYMOFF(x) + (x)->a_syms)
|
||
|
||
#define WRITE_HEADERS(abfd, execp) pdp11_aout_write_headers (abfd, execp)
|
||
|
||
#include "libbfd.h"
|
||
#include "libaout.h"
|
||
|
||
#define SWAP_MAGIC(ext) bfd_getl16 (ext)
|
||
|
||
#define MY_entry_is_text_address 1
|
||
|
||
#define MY_write_object_contents MY(write_object_contents)
|
||
static bool MY(write_object_contents) (bfd *);
|
||
#define MY_text_includes_header 1
|
||
|
||
#define MY_BFD_TARGET
|
||
|
||
#include "aout-target.h"
|
||
|
||
/* Start of modified aoutx.h. */
|
||
#define KEEPIT udata.i
|
||
|
||
#include <string.h> /* For strchr and friends. */
|
||
#include "bfd.h"
|
||
#include "sysdep.h"
|
||
#include "safe-ctype.h"
|
||
#include "bfdlink.h"
|
||
|
||
#include "libaout.h"
|
||
#include "aout/aout64.h"
|
||
#include "aout/stab_gnu.h"
|
||
#include "aout/ar.h"
|
||
|
||
/* The symbol type numbers for the 16-bit a.out format from 2.11BSD differ from
|
||
those defined in aout64.h so we must redefine them here. N_EXT changes from
|
||
0x01 to 0x20 which creates a conflict with some .stab values, in particular
|
||
between undefined externals (N_UNDF+N_EXT) vs. global variables (N_GYSM) and
|
||
between external bss symbols (N_BSS+N_EXT) vs. function names (N_FUN). We
|
||
disambiguate those conflicts with a hack in is_stab() to look for the ':' in
|
||
the global variable or function name string. */
|
||
#undef N_TYPE
|
||
#undef N_UNDF
|
||
#undef N_ABS
|
||
#undef N_TEXT
|
||
#undef N_DATA
|
||
#undef N_BSS
|
||
#undef N_REG
|
||
#undef N_FN
|
||
#undef N_EXT
|
||
#undef N_STAB
|
||
#define N_TYPE 0x1f /* Type mask. */
|
||
#define N_UNDF 0x00 /* Undefined. */
|
||
#define N_ABS 0x01 /* Absolute. */
|
||
#define N_TEXT 0x02 /* Text segment. */
|
||
#define N_DATA 0x03 /* Data segment. */
|
||
#define N_BSS 0x04 /* Bss segment. */
|
||
#define N_REG 0x14 /* Register symbol. */
|
||
#define N_FN 0x1f /* File name. */
|
||
#define N_EXT 0x20 /* External flag. */
|
||
/* Type numbers from .stab entries that could conflict:
|
||
N_GSYM 0x20 Global variable [conflict with external undef]
|
||
N_FNAME 0x22 Function name (for BSD Fortran) [ignored]
|
||
N_FUN 0x24 Function name [conflict with external BSS]
|
||
N_NOMAP 0x34 No DST map for sym. [ext. reg. doesn't exist]
|
||
*/
|
||
|
||
#define RELOC_SIZE 2
|
||
|
||
#define RELFLG 0x0001 /* PC-relative flag. */
|
||
#define RTYPE 0x000e /* Type mask. */
|
||
#define RIDXMASK 0xfff0 /* Index mask. */
|
||
|
||
#define RABS 0x00 /* Absolute. */
|
||
#define RTEXT 0x02 /* Text. */
|
||
#define RDATA 0x04 /* Data. */
|
||
#define RBSS 0x06 /* Bss. */
|
||
#define REXT 0x08 /* External. */
|
||
|
||
#define RINDEX(x) (((x) & 0xfff0) >> 4)
|
||
|
||
#ifndef MY_final_link_relocate
|
||
#define MY_final_link_relocate _bfd_final_link_relocate
|
||
#endif
|
||
|
||
#ifndef MY_relocate_contents
|
||
#define MY_relocate_contents _bfd_relocate_contents
|
||
#endif
|
||
|
||
/* A hash table used for header files with N_BINCL entries. */
|
||
|
||
struct aout_link_includes_table
|
||
{
|
||
struct bfd_hash_table root;
|
||
};
|
||
|
||
/* A linked list of totals that we have found for a particular header
|
||
file. */
|
||
|
||
struct aout_link_includes_totals
|
||
{
|
||
struct aout_link_includes_totals *next;
|
||
bfd_vma total;
|
||
};
|
||
|
||
/* An entry in the header file hash table. */
|
||
|
||
struct aout_link_includes_entry
|
||
{
|
||
struct bfd_hash_entry root;
|
||
/* List of totals we have found for this file. */
|
||
struct aout_link_includes_totals *totals;
|
||
};
|
||
|
||
/* During the final link step we need to pass around a bunch of
|
||
information, so we do it in an instance of this structure. */
|
||
|
||
struct aout_final_link_info
|
||
{
|
||
/* General link information. */
|
||
struct bfd_link_info *info;
|
||
/* Output bfd. */
|
||
bfd *output_bfd;
|
||
/* Reloc file positions. */
|
||
file_ptr treloff, dreloff;
|
||
/* File position of symbols. */
|
||
file_ptr symoff;
|
||
/* String table. */
|
||
struct bfd_strtab_hash *strtab;
|
||
/* Header file hash table. */
|
||
struct aout_link_includes_table includes;
|
||
/* A buffer large enough to hold the contents of any section. */
|
||
bfd_byte *contents;
|
||
/* A buffer large enough to hold the relocs of any section. */
|
||
void * relocs;
|
||
/* A buffer large enough to hold the symbol map of any input BFD. */
|
||
int *symbol_map;
|
||
/* A buffer large enough to hold output symbols of any input BFD. */
|
||
struct external_nlist *output_syms;
|
||
};
|
||
|
||
/* Copy of the link_info.separate_code boolean to select the output format with
|
||
separate instruction and data spaces selected by --imagic */
|
||
static bool separate_i_d = false;
|
||
|
||
reloc_howto_type howto_table_pdp11[] =
|
||
{
|
||
/* type rs size bsz pcrel bitpos ovrf sf name part_inpl readmask setmask pcdone */
|
||
HOWTO( 0, 0, 2, 16, false, 0, complain_overflow_dont,0,"16", true, 0x0000ffff,0x0000ffff, false),
|
||
HOWTO( 1, 0, 2, 16, true, 0, complain_overflow_dont,0,"DISP16", true, 0x0000ffff,0x0000ffff, false),
|
||
HOWTO( 2, 0, 4, 32, false, 0, complain_overflow_dont,0,"32", true, 0x0000ffff,0x0000ffff, false),
|
||
};
|
||
|
||
#define TABLE_SIZE(TABLE) (sizeof(TABLE)/sizeof(TABLE[0]))
|
||
|
||
|
||
static bool aout_link_check_archive_element (bfd *, struct bfd_link_info *,
|
||
struct bfd_link_hash_entry *,
|
||
const char *, bool *);
|
||
static bool aout_link_add_object_symbols (bfd *, struct bfd_link_info *);
|
||
static bool aout_link_add_symbols (bfd *, struct bfd_link_info *);
|
||
static bool aout_link_write_symbols (struct aout_final_link_info *, bfd *);
|
||
|
||
|
||
reloc_howto_type *
|
||
NAME (aout, reloc_type_lookup) (bfd * abfd ATTRIBUTE_UNUSED,
|
||
bfd_reloc_code_real_type code)
|
||
{
|
||
switch (code)
|
||
{
|
||
case BFD_RELOC_16:
|
||
return &howto_table_pdp11[0];
|
||
case BFD_RELOC_16_PCREL:
|
||
return &howto_table_pdp11[1];
|
||
case BFD_RELOC_32:
|
||
return &howto_table_pdp11[2];
|
||
default:
|
||
return NULL;
|
||
}
|
||
}
|
||
|
||
reloc_howto_type *
|
||
NAME (aout, reloc_name_lookup) (bfd *abfd ATTRIBUTE_UNUSED,
|
||
const char *r_name)
|
||
{
|
||
unsigned int i;
|
||
|
||
for (i = 0;
|
||
i < sizeof (howto_table_pdp11) / sizeof (howto_table_pdp11[0]);
|
||
i++)
|
||
if (howto_table_pdp11[i].name != NULL
|
||
&& strcasecmp (howto_table_pdp11[i].name, r_name) == 0)
|
||
return &howto_table_pdp11[i];
|
||
|
||
return NULL;
|
||
}
|
||
|
||
/* Disambiguate conflicts between normal symbol types and .stab symbol types
|
||
(undefined externals N_UNDF+N_EXT vs. global variables N_GYSM and external
|
||
bss symbols N_BSS+N_EXT vs. function names N_FUN) with a hack to look for
|
||
the ':' in the global variable or function name string. */
|
||
|
||
static int
|
||
is_stab (int type, const char *name)
|
||
{
|
||
if (type == N_GSYM || type == N_FUN)
|
||
return strchr (name, ':') != NULL;
|
||
return type > N_FUN;
|
||
}
|
||
|
||
static int
|
||
pdp11_aout_write_headers (bfd *abfd, struct internal_exec *execp)
|
||
{
|
||
struct external_exec exec_bytes;
|
||
|
||
if (adata(abfd).magic == undecided_magic)
|
||
NAME (aout, adjust_sizes_and_vmas) (abfd);
|
||
|
||
execp->a_syms = bfd_get_symcount (abfd) * EXTERNAL_NLIST_SIZE;
|
||
execp->a_entry = bfd_get_start_address (abfd);
|
||
|
||
if (obj_textsec (abfd)->reloc_count > 0
|
||
|| obj_datasec (abfd)->reloc_count > 0)
|
||
{
|
||
execp->a_trsize = execp->a_text;
|
||
execp->a_drsize = execp->a_data;
|
||
}
|
||
else
|
||
{
|
||
execp->a_trsize = 0;
|
||
execp->a_drsize = 0;
|
||
}
|
||
|
||
if (!NAME (aout, swap_exec_header_out) (abfd, execp, & exec_bytes))
|
||
return false;
|
||
|
||
if (bfd_seek (abfd, 0, SEEK_SET) != 0)
|
||
return false;
|
||
|
||
if (bfd_write (&exec_bytes, EXEC_BYTES_SIZE, abfd) != EXEC_BYTES_SIZE)
|
||
return false;
|
||
|
||
/* Now write out reloc info, followed by syms and strings. */
|
||
if (bfd_get_outsymbols (abfd) != NULL
|
||
&& bfd_get_symcount (abfd) != 0)
|
||
{
|
||
if (bfd_seek (abfd, N_SYMOFF (execp), SEEK_SET) != 0)
|
||
return false;
|
||
|
||
if (! NAME (aout, write_syms) (abfd))
|
||
return false;
|
||
}
|
||
|
||
if (obj_textsec (abfd)->reloc_count > 0
|
||
|| obj_datasec (abfd)->reloc_count > 0)
|
||
{
|
||
if (bfd_seek (abfd, N_TRELOFF (execp), SEEK_SET) != 0
|
||
|| !NAME (aout, squirt_out_relocs) (abfd, obj_textsec (abfd))
|
||
|| bfd_seek (abfd, N_DRELOFF (execp), SEEK_SET) != 0
|
||
|| !NAME (aout, squirt_out_relocs) (abfd, obj_datasec (abfd)))
|
||
return false;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Write an object file.
|
||
Section contents have already been written. We write the
|
||
file header, symbols, and relocation. */
|
||
|
||
static bool
|
||
MY(write_object_contents) (bfd *abfd)
|
||
{
|
||
struct internal_exec *execp = exec_hdr (abfd);
|
||
|
||
/* We must make certain that the magic number has been set. This
|
||
will normally have been done by set_section_contents, but only if
|
||
there actually are some section contents. */
|
||
if (! abfd->output_has_begun)
|
||
NAME (aout, adjust_sizes_and_vmas) (abfd);
|
||
|
||
obj_reloc_entry_size (abfd) = RELOC_SIZE;
|
||
|
||
return WRITE_HEADERS (abfd, execp);
|
||
}
|
||
|
||
/* Swap the information in an executable header @var{raw_bytes} taken
|
||
from a raw byte stream memory image into the internal exec header
|
||
structure "execp". */
|
||
|
||
#ifndef NAME_swap_exec_header_in
|
||
void
|
||
NAME (aout, swap_exec_header_in) (bfd *abfd,
|
||
struct external_exec *bytes,
|
||
struct internal_exec *execp)
|
||
{
|
||
/* The internal_exec structure has some fields that are unused in this
|
||
configuration (IE for i960), so ensure that all such uninitialized
|
||
fields are zero'd out. There are places where two of these structs
|
||
are memcmp'd, and thus the contents do matter. */
|
||
memset ((void *) execp, 0, sizeof (struct internal_exec));
|
||
/* Now fill in fields in the execp, from the bytes in the raw data. */
|
||
execp->a_info = GET_MAGIC (abfd, bytes->e_info);
|
||
execp->a_text = GET_WORD (abfd, bytes->e_text);
|
||
execp->a_data = GET_WORD (abfd, bytes->e_data);
|
||
execp->a_bss = GET_WORD (abfd, bytes->e_bss);
|
||
execp->a_syms = GET_WORD (abfd, bytes->e_syms);
|
||
execp->a_entry = GET_WORD (abfd, bytes->e_entry);
|
||
|
||
if (GET_WORD (abfd, bytes->e_flag) & A_FLAG_RELOC_STRIPPED)
|
||
{
|
||
execp->a_trsize = 0;
|
||
execp->a_drsize = 0;
|
||
}
|
||
else
|
||
{
|
||
execp->a_trsize = execp->a_text;
|
||
execp->a_drsize = execp->a_data;
|
||
}
|
||
}
|
||
#define NAME_swap_exec_header_in NAME (aout, swap_exec_header_in)
|
||
#endif
|
||
|
||
/* Swap the information in an internal exec header structure
|
||
"execp" into the buffer "bytes" ready for writing to disk. */
|
||
bool
|
||
NAME (aout, swap_exec_header_out) (bfd *abfd,
|
||
struct internal_exec *execp,
|
||
struct external_exec *bytes)
|
||
{
|
||
const char *err = NULL;
|
||
uint64_t val;
|
||
#define MAXVAL(x) ((UINT64_C (1) << (8 * sizeof (x) - 1) << 1) - 1)
|
||
if ((val = execp->a_text) > MAXVAL (bytes->e_text))
|
||
err = "e_text";
|
||
else if ((val = execp->a_data) > MAXVAL (bytes->e_data))
|
||
err = "e_data";
|
||
else if ((val = execp->a_bss) > MAXVAL (bytes->e_bss))
|
||
err = "e_bss";
|
||
else if ((val = execp->a_syms) > MAXVAL (bytes->e_syms))
|
||
err = "e_syms";
|
||
else if ((val = execp->a_entry) > MAXVAL (bytes->e_entry))
|
||
err = "e_entry";
|
||
#undef MAXVAL
|
||
if (err)
|
||
{
|
||
_bfd_error_handler (_("%pB: %#" PRIx64 " overflows header %s field"),
|
||
abfd, val, err);
|
||
bfd_set_error (bfd_error_file_too_big);
|
||
return false;
|
||
}
|
||
|
||
/* Now fill in fields in the raw data, from the fields in the exec struct. */
|
||
PUT_MAGIC (abfd, execp->a_info, bytes->e_info);
|
||
PUT_WORD (abfd, execp->a_text, bytes->e_text);
|
||
PUT_WORD (abfd, execp->a_data, bytes->e_data);
|
||
PUT_WORD (abfd, execp->a_bss, bytes->e_bss);
|
||
PUT_WORD (abfd, execp->a_syms, bytes->e_syms);
|
||
PUT_WORD (abfd, execp->a_entry, bytes->e_entry);
|
||
PUT_WORD (abfd, 0, bytes->e_unused);
|
||
|
||
if ((execp->a_trsize == 0 || execp->a_text == 0)
|
||
&& (execp->a_drsize == 0 || execp->a_data == 0))
|
||
PUT_WORD (abfd, A_FLAG_RELOC_STRIPPED, bytes->e_flag);
|
||
else if (execp->a_trsize == execp->a_text
|
||
&& execp->a_drsize == execp->a_data)
|
||
PUT_WORD (abfd, 0, bytes->e_flag);
|
||
else
|
||
{
|
||
/* TODO: print a proper warning message. */
|
||
fprintf (stderr, "BFD:%s:%d: internal error\n", __FILE__, __LINE__);
|
||
PUT_WORD (abfd, 0, bytes->e_flag);
|
||
}
|
||
return true;
|
||
}
|
||
|
||
/* Make all the section for an a.out file. */
|
||
|
||
bool
|
||
NAME (aout, make_sections) (bfd *abfd)
|
||
{
|
||
if (obj_textsec (abfd) == NULL && bfd_make_section (abfd, ".text") == NULL)
|
||
return false;
|
||
if (obj_datasec (abfd) == NULL && bfd_make_section (abfd, ".data") == NULL)
|
||
return false;
|
||
if (obj_bsssec (abfd) == NULL && bfd_make_section (abfd, ".bss") == NULL)
|
||
return false;
|
||
return true;
|
||
}
|
||
|
||
/* Some a.out variant thinks that the file open in ABFD
|
||
checking is an a.out file. Do some more checking, and set up
|
||
for access if it really is. Call back to the calling
|
||
environment's "finish up" function just before returning, to
|
||
handle any last-minute setup. */
|
||
|
||
bfd_cleanup
|
||
NAME (aout, some_aout_object_p) (bfd *abfd,
|
||
struct internal_exec *execp,
|
||
bfd_cleanup (*callback_to_real_object_p) (bfd *))
|
||
{
|
||
struct aout_data_struct *rawptr, *oldrawptr;
|
||
bfd_cleanup result;
|
||
size_t amt = sizeof (*rawptr);
|
||
|
||
rawptr = bfd_zalloc (abfd, amt);
|
||
if (rawptr == NULL)
|
||
return NULL;
|
||
|
||
oldrawptr = abfd->tdata.aout_data;
|
||
abfd->tdata.aout_data = rawptr;
|
||
|
||
/* Copy the contents of the old tdata struct. */
|
||
if (oldrawptr != NULL)
|
||
*abfd->tdata.aout_data = *oldrawptr;
|
||
|
||
abfd->tdata.aout_data->a.hdr = &rawptr->e;
|
||
/* Copy in the internal_exec struct. */
|
||
*(abfd->tdata.aout_data->a.hdr) = *execp;
|
||
execp = abfd->tdata.aout_data->a.hdr;
|
||
|
||
/* Set the file flags. */
|
||
abfd->flags = BFD_NO_FLAGS;
|
||
if (execp->a_drsize || execp->a_trsize)
|
||
abfd->flags |= HAS_RELOC;
|
||
/* Setting of EXEC_P has been deferred to the bottom of this function. */
|
||
if (execp->a_syms)
|
||
abfd->flags |= HAS_LINENO | HAS_DEBUG | HAS_SYMS | HAS_LOCALS;
|
||
if (N_DYNAMIC (execp))
|
||
abfd->flags |= DYNAMIC;
|
||
|
||
if (N_MAGIC (execp) == ZMAGIC)
|
||
{
|
||
abfd->flags |= D_PAGED | WP_TEXT;
|
||
adata (abfd).magic = z_magic;
|
||
}
|
||
else if (N_MAGIC (execp) == NMAGIC)
|
||
{
|
||
abfd->flags |= WP_TEXT;
|
||
adata (abfd).magic = n_magic;
|
||
}
|
||
else if (N_MAGIC (execp) == OMAGIC)
|
||
adata (abfd).magic = o_magic;
|
||
else if (N_MAGIC (execp) == IMAGIC)
|
||
adata (abfd).magic = i_magic;
|
||
else
|
||
{
|
||
/* Should have been checked with N_BADMAG before this routine
|
||
was called. */
|
||
abort ();
|
||
}
|
||
|
||
abfd->start_address = execp->a_entry;
|
||
|
||
abfd->symcount = execp->a_syms / sizeof (struct external_nlist);
|
||
|
||
/* The default relocation entry size is that of traditional V7 Unix. */
|
||
obj_reloc_entry_size (abfd) = RELOC_SIZE;
|
||
|
||
/* The default symbol entry size is that of traditional Unix. */
|
||
obj_symbol_entry_size (abfd) = EXTERNAL_NLIST_SIZE;
|
||
|
||
if (! NAME (aout, make_sections) (abfd))
|
||
goto error_ret;
|
||
|
||
obj_datasec (abfd)->size = execp->a_data;
|
||
obj_bsssec (abfd)->size = execp->a_bss;
|
||
|
||
obj_textsec (abfd)->flags =
|
||
(execp->a_trsize != 0
|
||
? (SEC_ALLOC | SEC_LOAD | SEC_CODE | SEC_HAS_CONTENTS | SEC_RELOC)
|
||
: (SEC_ALLOC | SEC_LOAD | SEC_CODE | SEC_HAS_CONTENTS));
|
||
obj_datasec (abfd)->flags =
|
||
(execp->a_drsize != 0
|
||
? (SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_HAS_CONTENTS | SEC_RELOC)
|
||
: (SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_HAS_CONTENTS));
|
||
obj_bsssec (abfd)->flags = SEC_ALLOC;
|
||
|
||
#ifdef THIS_IS_ONLY_DOCUMENTATION
|
||
/* The common code can't fill in these things because they depend
|
||
on either the start address of the text segment, the rounding
|
||
up of virtual addresses between segments, or the starting file
|
||
position of the text segment -- all of which varies among different
|
||
versions of a.out. */
|
||
|
||
/* Call back to the format-dependent code to fill in the rest of the
|
||
fields and do any further cleanup. Things that should be filled
|
||
in by the callback: */
|
||
struct exec *execp = exec_hdr (abfd);
|
||
|
||
obj_textsec (abfd)->size = N_TXTSIZE (execp);
|
||
/* Data and bss are already filled in since they're so standard. */
|
||
|
||
/* The virtual memory addresses of the sections. */
|
||
obj_textsec (abfd)->vma = N_TXTADDR (execp);
|
||
obj_datasec (abfd)->vma = N_DATADDR (execp);
|
||
obj_bsssec (abfd)->vma = N_BSSADDR (execp);
|
||
|
||
/* The file offsets of the sections. */
|
||
obj_textsec (abfd)->filepos = N_TXTOFF (execp);
|
||
obj_datasec (abfd)->filepos = N_DATOFF (execp);
|
||
|
||
/* The file offsets of the relocation info. */
|
||
obj_textsec (abfd)->rel_filepos = N_TRELOFF (execp);
|
||
obj_datasec (abfd)->rel_filepos = N_DRELOFF (execp);
|
||
|
||
/* The file offsets of the string table and symbol table. */
|
||
obj_str_filepos (abfd) = N_STROFF (execp);
|
||
obj_sym_filepos (abfd) = N_SYMOFF (execp);
|
||
|
||
/* Determine the architecture and machine type of the object file. */
|
||
abfd->obj_arch = bfd_arch_obscure;
|
||
|
||
adata (abfd)->page_size = TARGET_PAGE_SIZE;
|
||
adata (abfd)->segment_size = SEGMENT_SIZE;
|
||
adata (abfd)->exec_bytes_size = EXEC_BYTES_SIZE;
|
||
|
||
return _bfd_no_cleanup;
|
||
|
||
/* The architecture is encoded in various ways in various a.out variants,
|
||
or is not encoded at all in some of them. The relocation size depends
|
||
on the architecture and the a.out variant. Finally, the return value
|
||
is the bfd_target vector in use. If an error occurs, return zero and
|
||
set bfd_error to the appropriate error code.
|
||
|
||
Formats such as b.out, which have additional fields in the a.out
|
||
header, should cope with them in this callback as well. */
|
||
#endif /* DOCUMENTATION */
|
||
|
||
result = (*callback_to_real_object_p) (abfd);
|
||
|
||
/* Now that the segment addresses have been worked out, take a better
|
||
guess at whether the file is executable. If the entry point
|
||
is within the text segment, assume it is. (This makes files
|
||
executable even if their entry point address is 0, as long as
|
||
their text starts at zero.).
|
||
|
||
This test had to be changed to deal with systems where the text segment
|
||
runs at a different location than the default. The problem is that the
|
||
entry address can appear to be outside the text segment, thus causing an
|
||
erroneous conclusion that the file isn't executable.
|
||
|
||
To fix this, we now accept any non-zero entry point as an indication of
|
||
executability. This will work most of the time, since only the linker
|
||
sets the entry point, and that is likely to be non-zero for most systems. */
|
||
|
||
if (execp->a_entry != 0
|
||
|| (execp->a_entry >= obj_textsec (abfd)->vma
|
||
&& execp->a_entry < (obj_textsec (abfd)->vma
|
||
+ obj_textsec (abfd)->size)
|
||
&& execp->a_trsize == 0
|
||
&& execp->a_drsize == 0))
|
||
abfd->flags |= EXEC_P;
|
||
#ifdef STAT_FOR_EXEC
|
||
else
|
||
{
|
||
struct stat stat_buf;
|
||
|
||
/* The original heuristic doesn't work in some important cases.
|
||
The a.out file has no information about the text start
|
||
address. For files (like kernels) linked to non-standard
|
||
addresses (ld -Ttext nnn) the entry point may not be between
|
||
the default text start (obj_textsec(abfd)->vma) and
|
||
(obj_textsec(abfd)->vma) + text size. This is not just a mach
|
||
issue. Many kernels are loaded at non standard addresses. */
|
||
if (abfd->iostream != NULL
|
||
&& (abfd->flags & BFD_IN_MEMORY) == 0
|
||
&& (fstat (fileno ((FILE *) (abfd->iostream)), &stat_buf) == 0)
|
||
&& ((stat_buf.st_mode & 0111) != 0))
|
||
abfd->flags |= EXEC_P;
|
||
}
|
||
#endif /* STAT_FOR_EXEC */
|
||
|
||
if (result)
|
||
return result;
|
||
|
||
error_ret:
|
||
bfd_release (abfd, rawptr);
|
||
abfd->tdata.aout_data = oldrawptr;
|
||
return NULL;
|
||
}
|
||
|
||
/* Initialize ABFD for use with a.out files. */
|
||
|
||
bool
|
||
NAME (aout, mkobject) (bfd *abfd)
|
||
{
|
||
struct aout_data_struct *rawptr;
|
||
size_t amt = sizeof (struct aout_data_struct);
|
||
|
||
bfd_set_error (bfd_error_system_call);
|
||
|
||
/* Use an intermediate variable for clarity. */
|
||
rawptr = bfd_zalloc (abfd, amt);
|
||
|
||
if (rawptr == NULL)
|
||
return false;
|
||
|
||
abfd->tdata.aout_data = rawptr;
|
||
exec_hdr (abfd) = &(rawptr->e);
|
||
|
||
obj_textsec (abfd) = NULL;
|
||
obj_datasec (abfd) = NULL;
|
||
obj_bsssec (abfd) = NULL;
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Keep track of machine architecture and machine type for
|
||
a.out's. Return the <<machine_type>> for a particular
|
||
architecture and machine, or <<M_UNKNOWN>> if that exact architecture
|
||
and machine can't be represented in a.out format.
|
||
|
||
If the architecture is understood, machine type 0 (default)
|
||
is always understood. */
|
||
|
||
enum machine_type
|
||
NAME (aout, machine_type) (enum bfd_architecture arch,
|
||
unsigned long machine,
|
||
bool *unknown)
|
||
{
|
||
enum machine_type arch_flags;
|
||
|
||
arch_flags = M_UNKNOWN;
|
||
*unknown = true;
|
||
|
||
switch (arch)
|
||
{
|
||
case bfd_arch_sparc:
|
||
if (machine == 0
|
||
|| machine == bfd_mach_sparc
|
||
|| machine == bfd_mach_sparc_sparclite
|
||
|| machine == bfd_mach_sparc_v9)
|
||
arch_flags = M_SPARC;
|
||
else if (machine == bfd_mach_sparc_sparclet)
|
||
arch_flags = M_SPARCLET;
|
||
break;
|
||
|
||
case bfd_arch_i386:
|
||
if (machine == 0
|
||
|| machine == bfd_mach_i386_i386
|
||
|| machine == bfd_mach_i386_i386_intel_syntax)
|
||
arch_flags = M_386;
|
||
break;
|
||
|
||
case bfd_arch_arm:
|
||
if (machine == 0) arch_flags = M_ARM;
|
||
break;
|
||
|
||
case bfd_arch_mips:
|
||
switch (machine)
|
||
{
|
||
case 0:
|
||
case 2000:
|
||
case bfd_mach_mips3000:
|
||
arch_flags = M_MIPS1;
|
||
break;
|
||
case bfd_mach_mips4000: /* MIPS3 */
|
||
case bfd_mach_mips4400:
|
||
case bfd_mach_mips8000: /* MIPS4 */
|
||
case bfd_mach_mips6000: /* Real MIPS2: */
|
||
arch_flags = M_MIPS2;
|
||
break;
|
||
default:
|
||
arch_flags = M_UNKNOWN;
|
||
break;
|
||
}
|
||
break;
|
||
|
||
case bfd_arch_ns32k:
|
||
switch (machine)
|
||
{
|
||
case 0: arch_flags = M_NS32532; break;
|
||
case 32032: arch_flags = M_NS32032; break;
|
||
case 32532: arch_flags = M_NS32532; break;
|
||
default: arch_flags = M_UNKNOWN; break;
|
||
}
|
||
break;
|
||
|
||
case bfd_arch_pdp11:
|
||
/* TODO: arch_flags = M_PDP11; */
|
||
*unknown = false;
|
||
break;
|
||
|
||
case bfd_arch_vax:
|
||
*unknown = false;
|
||
break;
|
||
|
||
default:
|
||
arch_flags = M_UNKNOWN;
|
||
}
|
||
|
||
if (arch_flags != M_UNKNOWN)
|
||
*unknown = false;
|
||
|
||
return arch_flags;
|
||
}
|
||
|
||
/* Set the architecture and the machine of the ABFD to the
|
||
values ARCH and MACHINE. Verify that @ABFD's format
|
||
can support the architecture required. */
|
||
|
||
bool
|
||
NAME (aout, set_arch_mach) (bfd *abfd,
|
||
enum bfd_architecture arch,
|
||
unsigned long machine)
|
||
{
|
||
if (! bfd_default_set_arch_mach (abfd, arch, machine))
|
||
return false;
|
||
|
||
if (arch != bfd_arch_unknown)
|
||
{
|
||
bool unknown;
|
||
|
||
NAME (aout, machine_type) (arch, machine, &unknown);
|
||
if (unknown)
|
||
return false;
|
||
}
|
||
|
||
obj_reloc_entry_size (abfd) = RELOC_SIZE;
|
||
|
||
return (*aout_backend_info(abfd)->set_sizes) (abfd);
|
||
}
|
||
|
||
static void
|
||
adjust_o_magic (bfd *abfd, struct internal_exec *execp)
|
||
{
|
||
file_ptr pos = adata (abfd).exec_bytes_size;
|
||
bfd_vma vma = 0;
|
||
int pad = 0;
|
||
asection *text = obj_textsec (abfd);
|
||
asection *data = obj_datasec (abfd);
|
||
asection *bss = obj_bsssec (abfd);
|
||
|
||
/* Text. */
|
||
text->filepos = pos;
|
||
if (!text->user_set_vma)
|
||
text->vma = vma;
|
||
else
|
||
vma = text->vma;
|
||
|
||
pos += execp->a_text;
|
||
vma += execp->a_text;
|
||
|
||
/* Data. */
|
||
if (!data->user_set_vma)
|
||
{
|
||
pos += pad;
|
||
vma += pad;
|
||
data->vma = vma;
|
||
}
|
||
else
|
||
vma = data->vma;
|
||
execp->a_text += pad;
|
||
|
||
data->filepos = pos;
|
||
pos += data->size;
|
||
vma += data->size;
|
||
|
||
/* BSS. */
|
||
if (!bss->user_set_vma)
|
||
{
|
||
pos += pad;
|
||
vma += pad;
|
||
bss->vma = vma;
|
||
}
|
||
else if (data->size > 0 || bss->size > 0) /* PR25677: for objcopy --extract-symbol */
|
||
{
|
||
/* The VMA of the .bss section is set by the VMA of the
|
||
.data section plus the size of the .data section. We may
|
||
need to add padding bytes to make this true. */
|
||
pad = bss->vma - vma;
|
||
if (pad < 0)
|
||
pad = 0;
|
||
pos += pad;
|
||
}
|
||
execp->a_data = data->size + pad;
|
||
bss->filepos = pos;
|
||
execp->a_bss = bss->size;
|
||
|
||
N_SET_MAGIC (execp, OMAGIC);
|
||
}
|
||
|
||
static void
|
||
adjust_z_magic (bfd *abfd, struct internal_exec *execp)
|
||
{
|
||
bfd_size_type data_pad, text_pad;
|
||
file_ptr text_end;
|
||
const struct aout_backend_data *abdp;
|
||
/* TRUE if text includes exec header. */
|
||
bool ztih;
|
||
asection *text = obj_textsec (abfd);
|
||
asection *data = obj_datasec (abfd);
|
||
asection *bss = obj_bsssec (abfd);
|
||
|
||
abdp = aout_backend_info (abfd);
|
||
|
||
/* Text. */
|
||
ztih = (abdp != NULL
|
||
&& (abdp->text_includes_header
|
||
|| obj_aout_subformat (abfd) == q_magic_format));
|
||
text->filepos = (ztih
|
||
? adata (abfd).exec_bytes_size
|
||
: adata (abfd).zmagic_disk_block_size);
|
||
if (!text->user_set_vma)
|
||
{
|
||
/* ?? Do we really need to check for relocs here? */
|
||
text->vma = ((abfd->flags & HAS_RELOC)
|
||
? 0
|
||
: (ztih
|
||
? abdp->default_text_vma + adata (abfd).exec_bytes_size
|
||
: abdp->default_text_vma));
|
||
text_pad = 0;
|
||
}
|
||
else
|
||
{
|
||
/* The .text section is being loaded at an unusual address. We
|
||
may need to pad it such that the .data section starts at a page
|
||
boundary. */
|
||
if (ztih)
|
||
text_pad = ((text->filepos - text->vma)
|
||
& (adata (abfd).page_size - 1));
|
||
else
|
||
text_pad = (-text->vma
|
||
& (adata (abfd).page_size - 1));
|
||
}
|
||
|
||
/* Find start of data. */
|
||
if (ztih)
|
||
{
|
||
text_end = text->filepos + execp->a_text;
|
||
text_pad += BFD_ALIGN (text_end, adata (abfd).page_size) - text_end;
|
||
}
|
||
else
|
||
{
|
||
/* Note that if page_size == zmagic_disk_block_size, then
|
||
filepos == page_size, and this case is the same as the ztih
|
||
case. */
|
||
text_end = execp->a_text;
|
||
text_pad += BFD_ALIGN (text_end, adata (abfd).page_size) - text_end;
|
||
text_end += text->filepos;
|
||
}
|
||
execp->a_text += text_pad;
|
||
|
||
/* Data. */
|
||
if (!data->user_set_vma)
|
||
{
|
||
bfd_vma vma;
|
||
vma = text->vma + execp->a_text;
|
||
data->vma = BFD_ALIGN (vma, adata (abfd).segment_size);
|
||
}
|
||
if (abdp && abdp->zmagic_mapped_contiguous)
|
||
{
|
||
text_pad = data->vma - (text->vma + execp->a_text);
|
||
/* Only pad the text section if the data
|
||
section is going to be placed after it. */
|
||
if (text_pad > 0)
|
||
execp->a_text += text_pad;
|
||
}
|
||
data->filepos = text->filepos + execp->a_text;
|
||
|
||
/* Fix up exec header while we're at it. */
|
||
if (ztih && (!abdp || (abdp && !abdp->exec_header_not_counted)))
|
||
execp->a_text += adata (abfd).exec_bytes_size;
|
||
N_SET_MAGIC (execp, ZMAGIC);
|
||
|
||
/* Spec says data section should be rounded up to page boundary. */
|
||
execp->a_data = align_power (data->size, bss->alignment_power);
|
||
execp->a_data = BFD_ALIGN (execp->a_data, adata (abfd).page_size);
|
||
data_pad = execp->a_data - data->size;
|
||
|
||
/* BSS. */
|
||
if (!bss->user_set_vma)
|
||
bss->vma = data->vma + execp->a_data;
|
||
/* If the BSS immediately follows the data section and extra space
|
||
in the page is left after the data section, fudge data
|
||
in the header so that the bss section looks smaller by that
|
||
amount. We'll start the bss section there, and lie to the OS.
|
||
(Note that a linker script, as well as the above assignment,
|
||
could have explicitly set the BSS vma to immediately follow
|
||
the data section.) */
|
||
if (align_power (bss->vma, bss->alignment_power) == data->vma + execp->a_data)
|
||
execp->a_bss = data_pad > bss->size ? 0 : bss->size - data_pad;
|
||
else
|
||
execp->a_bss = bss->size;
|
||
}
|
||
|
||
static void
|
||
adjust_n_magic (bfd *abfd, struct internal_exec *execp)
|
||
{
|
||
file_ptr pos = adata (abfd).exec_bytes_size;
|
||
bfd_vma vma = 0;
|
||
int pad;
|
||
asection *text = obj_textsec (abfd);
|
||
asection *data = obj_datasec (abfd);
|
||
asection *bss = obj_bsssec (abfd);
|
||
|
||
/* Text. */
|
||
text->filepos = pos;
|
||
if (!text->user_set_vma)
|
||
text->vma = vma;
|
||
else
|
||
vma = text->vma;
|
||
pos += execp->a_text;
|
||
vma += execp->a_text;
|
||
|
||
/* Data. */
|
||
data->filepos = pos;
|
||
if (!data->user_set_vma)
|
||
data->vma = BFD_ALIGN (vma, adata (abfd).segment_size);
|
||
vma = data->vma;
|
||
|
||
/* Since BSS follows data immediately, see if it needs alignment. */
|
||
vma += data->size;
|
||
pad = align_power (vma, bss->alignment_power) - vma;
|
||
execp->a_data = data->size + pad;
|
||
pos += execp->a_data;
|
||
|
||
/* BSS. */
|
||
if (!bss->user_set_vma)
|
||
bss->vma = vma;
|
||
else
|
||
vma = bss->vma;
|
||
|
||
/* Fix up exec header. */
|
||
execp->a_bss = bss->size;
|
||
N_SET_MAGIC (execp, NMAGIC);
|
||
}
|
||
|
||
static void
|
||
adjust_i_magic (bfd *abfd, struct internal_exec *execp)
|
||
{
|
||
file_ptr pos = adata (abfd).exec_bytes_size;
|
||
bfd_vma vma = 0;
|
||
int pad;
|
||
asection *text = obj_textsec (abfd);
|
||
asection *data = obj_datasec (abfd);
|
||
asection *bss = obj_bsssec (abfd);
|
||
|
||
/* Text. */
|
||
text->filepos = pos;
|
||
if (!text->user_set_vma)
|
||
text->vma = vma;
|
||
else
|
||
vma = text->vma;
|
||
pos += execp->a_text;
|
||
|
||
/* Data. */
|
||
data->filepos = pos;
|
||
if (!data->user_set_vma)
|
||
data->vma = 0;
|
||
vma = data->vma;
|
||
|
||
/* Since BSS follows data immediately, see if it needs alignment. */
|
||
vma += data->size;
|
||
pad = align_power (vma, bss->alignment_power) - vma;
|
||
execp->a_data = data->size + pad;
|
||
pos += execp->a_data;
|
||
|
||
/* BSS. */
|
||
if (!bss->user_set_vma)
|
||
bss->vma = vma;
|
||
else
|
||
vma = bss->vma;
|
||
|
||
/* Fix up exec header. */
|
||
execp->a_bss = bss->size;
|
||
N_SET_MAGIC (execp, IMAGIC);
|
||
}
|
||
|
||
bool
|
||
NAME (aout, adjust_sizes_and_vmas) (bfd *abfd)
|
||
{
|
||
struct internal_exec *execp = exec_hdr (abfd);
|
||
|
||
if (! NAME (aout, make_sections) (abfd))
|
||
return false;
|
||
|
||
if (adata (abfd).magic != undecided_magic)
|
||
return true;
|
||
|
||
execp->a_text = align_power (obj_textsec (abfd)->size,
|
||
obj_textsec (abfd)->alignment_power);
|
||
|
||
/* Rule (heuristic) for when to pad to a new page. Note that there
|
||
are (at least) two ways demand-paged (ZMAGIC) files have been
|
||
handled. Most Berkeley-based systems start the text segment at
|
||
(TARGET_PAGE_SIZE). However, newer versions of SUNOS start the text
|
||
segment right after the exec header; the latter is counted in the
|
||
text segment size, and is paged in by the kernel with the rest of
|
||
the text. */
|
||
|
||
/* This perhaps isn't the right way to do this, but made it simpler for me
|
||
to understand enough to implement it. Better would probably be to go
|
||
right from BFD flags to alignment/positioning characteristics. But the
|
||
old code was sloppy enough about handling the flags, and had enough
|
||
other magic, that it was a little hard for me to understand. I think
|
||
I understand it better now, but I haven't time to do the cleanup this
|
||
minute. */
|
||
|
||
if (separate_i_d)
|
||
adata (abfd).magic = i_magic;
|
||
else if (abfd->flags & WP_TEXT)
|
||
adata (abfd).magic = n_magic;
|
||
else
|
||
adata (abfd).magic = o_magic;
|
||
|
||
#ifdef BFD_AOUT_DEBUG /* requires gcc2 */
|
||
#if __GNUC__ >= 2
|
||
fprintf (stderr, "%s text=<%x,%x,%x> data=<%x,%x,%x> bss=<%x,%x,%x>\n",
|
||
({ char *str;
|
||
switch (adata (abfd).magic)
|
||
{
|
||
case n_magic: str = "NMAGIC"; break;
|
||
case o_magic: str = "OMAGIC"; break;
|
||
case i_magic: str = "IMAGIC"; break;
|
||
case z_magic: str = "ZMAGIC"; break;
|
||
default: abort ();
|
||
}
|
||
str;
|
||
}),
|
||
obj_textsec (abfd)->vma, obj_textsec (abfd)->size,
|
||
obj_textsec (abfd)->alignment_power,
|
||
obj_datasec (abfd)->vma, obj_datasec (abfd)->size,
|
||
obj_datasec (abfd)->alignment_power,
|
||
obj_bsssec (abfd)->vma, obj_bsssec (abfd)->size,
|
||
obj_bsssec (abfd)->alignment_power);
|
||
#endif
|
||
#endif
|
||
|
||
switch (adata (abfd).magic)
|
||
{
|
||
case o_magic:
|
||
adjust_o_magic (abfd, execp);
|
||
break;
|
||
case z_magic:
|
||
adjust_z_magic (abfd, execp);
|
||
break;
|
||
case n_magic:
|
||
adjust_n_magic (abfd, execp);
|
||
break;
|
||
case i_magic:
|
||
adjust_i_magic (abfd, execp);
|
||
break;
|
||
default:
|
||
abort ();
|
||
}
|
||
|
||
#ifdef BFD_AOUT_DEBUG
|
||
fprintf (stderr, " text=<%x,%x,%x> data=<%x,%x,%x> bss=<%x,%x>\n",
|
||
obj_textsec (abfd)->vma, execp->a_text,
|
||
obj_textsec (abfd)->filepos,
|
||
obj_datasec (abfd)->vma, execp->a_data,
|
||
obj_datasec (abfd)->filepos,
|
||
obj_bsssec (abfd)->vma, execp->a_bss);
|
||
#endif
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Called by the BFD in response to a bfd_make_section request. */
|
||
|
||
bool
|
||
NAME (aout, new_section_hook) (bfd *abfd, asection *newsect)
|
||
{
|
||
/* Align to double at least. */
|
||
newsect->alignment_power = bfd_get_arch_info(abfd)->section_align_power;
|
||
|
||
if (bfd_get_format (abfd) == bfd_object)
|
||
{
|
||
if (obj_textsec (abfd) == NULL
|
||
&& !strcmp (newsect->name, ".text"))
|
||
{
|
||
obj_textsec(abfd)= newsect;
|
||
newsect->target_index = N_TEXT;
|
||
}
|
||
else if (obj_datasec (abfd) == NULL
|
||
&& !strcmp (newsect->name, ".data"))
|
||
{
|
||
obj_datasec (abfd) = newsect;
|
||
newsect->target_index = N_DATA;
|
||
}
|
||
else if (obj_bsssec (abfd) == NULL
|
||
&& !strcmp (newsect->name, ".bss"))
|
||
{
|
||
obj_bsssec (abfd) = newsect;
|
||
newsect->target_index = N_BSS;
|
||
}
|
||
}
|
||
|
||
/* We allow more than three sections internally. */
|
||
return _bfd_generic_new_section_hook (abfd, newsect);
|
||
}
|
||
|
||
bool
|
||
NAME (aout, set_section_contents) (bfd *abfd,
|
||
sec_ptr section,
|
||
const void * location,
|
||
file_ptr offset,
|
||
bfd_size_type count)
|
||
{
|
||
if (! abfd->output_has_begun)
|
||
{
|
||
if (! NAME (aout, adjust_sizes_and_vmas) (abfd))
|
||
return false;
|
||
}
|
||
|
||
if (section == obj_bsssec (abfd))
|
||
{
|
||
bfd_set_error (bfd_error_no_contents);
|
||
return false;
|
||
}
|
||
|
||
if (section != obj_textsec (abfd)
|
||
&& section != obj_datasec (abfd))
|
||
{
|
||
_bfd_error_handler
|
||
/* xgettext:c-format */
|
||
(_("%pB: can not represent section `%pA' in a.out object file format"),
|
||
abfd, section);
|
||
bfd_set_error (bfd_error_nonrepresentable_section);
|
||
return false;
|
||
}
|
||
|
||
if (count != 0)
|
||
{
|
||
if (bfd_seek (abfd, section->filepos + offset, SEEK_SET) != 0
|
||
|| bfd_write (location, count, abfd) != count)
|
||
return false;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Read the external symbols from an a.out file. */
|
||
|
||
static bool
|
||
aout_get_external_symbols (bfd *abfd)
|
||
{
|
||
if (obj_aout_external_syms (abfd) == NULL)
|
||
{
|
||
bfd_size_type count;
|
||
struct external_nlist *syms = NULL;
|
||
bfd_size_type amt = exec_hdr (abfd)->a_syms;
|
||
|
||
count = amt / EXTERNAL_NLIST_SIZE;
|
||
|
||
/* PR 17512: file: 011f5a08. */
|
||
if (count == 0)
|
||
return true;
|
||
|
||
/* We allocate using malloc to make the values easy to free
|
||
later on. If we put them on the objalloc it might not be
|
||
possible to free them. */
|
||
if (bfd_seek (abfd, obj_sym_filepos (abfd), SEEK_SET) != 0)
|
||
return false;
|
||
syms = _bfd_malloc_and_read (abfd, amt, amt);
|
||
if (syms == NULL)
|
||
return false;
|
||
|
||
obj_aout_external_syms (abfd) = syms;
|
||
obj_aout_external_sym_count (abfd) = count;
|
||
}
|
||
|
||
if (obj_aout_external_strings (abfd) == NULL
|
||
&& exec_hdr (abfd)->a_syms != 0)
|
||
{
|
||
unsigned char string_chars[BYTES_IN_LONG];
|
||
bfd_size_type stringsize;
|
||
char *strings;
|
||
bfd_size_type amt = BYTES_IN_LONG;
|
||
|
||
/* Get the size of the strings. */
|
||
if (bfd_seek (abfd, obj_str_filepos (abfd), SEEK_SET) != 0
|
||
|| bfd_read (string_chars, amt, abfd) != amt)
|
||
return false;
|
||
stringsize = H_GET_32 (abfd, string_chars);
|
||
if (stringsize == 0)
|
||
stringsize = 1;
|
||
else if (stringsize + 1 < BYTES_IN_LONG + 1
|
||
|| (size_t) stringsize != stringsize)
|
||
{
|
||
bfd_set_error (bfd_error_bad_value);
|
||
return false;
|
||
}
|
||
|
||
strings = (char *) bfd_malloc (stringsize + 1);
|
||
if (strings == NULL)
|
||
return false;
|
||
|
||
if (stringsize >= BYTES_IN_LONG)
|
||
{
|
||
amt = stringsize - BYTES_IN_LONG;
|
||
if (bfd_read (strings + BYTES_IN_LONG, amt, abfd) != amt)
|
||
{
|
||
free (strings);
|
||
return false;
|
||
}
|
||
}
|
||
|
||
/* Ensure that a zero index yields an empty string. */
|
||
if (stringsize >= BYTES_IN_WORD)
|
||
memset (strings, 0, BYTES_IN_LONG);
|
||
|
||
/* Ensure that the string buffer is NUL terminated. */
|
||
strings[stringsize] = 0;
|
||
|
||
obj_aout_external_strings (abfd) = strings;
|
||
obj_aout_external_string_size (abfd) = stringsize;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Translate an a.out symbol into a BFD symbol. The desc, other, type
|
||
and symbol->value fields of CACHE_PTR will be set from the a.out
|
||
nlist structure. This function is responsible for setting
|
||
symbol->flags and symbol->section, and adjusting symbol->value. */
|
||
|
||
static bool
|
||
translate_from_native_sym_flags (bfd *abfd,
|
||
aout_symbol_type *cache_ptr)
|
||
{
|
||
flagword visible;
|
||
|
||
if (is_stab (cache_ptr->type, cache_ptr->symbol.name))
|
||
{
|
||
asection *sec;
|
||
|
||
/* This is a debugging symbol. */
|
||
cache_ptr->symbol.flags = BSF_DEBUGGING;
|
||
|
||
/* Work out the symbol section. */
|
||
switch (cache_ptr->type)
|
||
{
|
||
case N_SO:
|
||
case N_SOL:
|
||
case N_FUN:
|
||
case N_ENTRY:
|
||
case N_SLINE:
|
||
case N_FN:
|
||
sec = obj_textsec (abfd);
|
||
break;
|
||
case N_STSYM:
|
||
case N_DSLINE:
|
||
sec = obj_datasec (abfd);
|
||
break;
|
||
case N_LCSYM:
|
||
case N_BSLINE:
|
||
sec = obj_bsssec (abfd);
|
||
break;
|
||
default:
|
||
sec = bfd_abs_section_ptr;
|
||
break;
|
||
}
|
||
|
||
cache_ptr->symbol.section = sec;
|
||
cache_ptr->symbol.value -= sec->vma;
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Get the default visibility. This does not apply to all types, so
|
||
we just hold it in a local variable to use if wanted. */
|
||
if ((cache_ptr->type & N_EXT) == 0)
|
||
visible = BSF_LOCAL;
|
||
else
|
||
visible = BSF_GLOBAL;
|
||
|
||
switch (cache_ptr->type)
|
||
{
|
||
default:
|
||
case N_ABS: case N_ABS | N_EXT:
|
||
cache_ptr->symbol.section = bfd_abs_section_ptr;
|
||
cache_ptr->symbol.flags = visible;
|
||
break;
|
||
|
||
case N_UNDF | N_EXT:
|
||
if (cache_ptr->symbol.value != 0)
|
||
{
|
||
/* This is a common symbol. */
|
||
cache_ptr->symbol.flags = BSF_GLOBAL;
|
||
cache_ptr->symbol.section = bfd_com_section_ptr;
|
||
}
|
||
else
|
||
{
|
||
cache_ptr->symbol.flags = 0;
|
||
cache_ptr->symbol.section = bfd_und_section_ptr;
|
||
}
|
||
break;
|
||
|
||
case N_TEXT: case N_TEXT | N_EXT:
|
||
cache_ptr->symbol.section = obj_textsec (abfd);
|
||
cache_ptr->symbol.value -= cache_ptr->symbol.section->vma;
|
||
cache_ptr->symbol.flags = visible;
|
||
break;
|
||
|
||
case N_DATA: case N_DATA | N_EXT:
|
||
cache_ptr->symbol.section = obj_datasec (abfd);
|
||
cache_ptr->symbol.value -= cache_ptr->symbol.section->vma;
|
||
cache_ptr->symbol.flags = visible;
|
||
break;
|
||
|
||
case N_BSS: case N_BSS | N_EXT:
|
||
cache_ptr->symbol.section = obj_bsssec (abfd);
|
||
cache_ptr->symbol.value -= cache_ptr->symbol.section->vma;
|
||
cache_ptr->symbol.flags = visible;
|
||
break;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Set the fields of SYM_POINTER according to CACHE_PTR. */
|
||
|
||
static bool
|
||
translate_to_native_sym_flags (bfd *abfd,
|
||
asymbol *cache_ptr,
|
||
struct external_nlist *sym_pointer)
|
||
{
|
||
bfd_vma value = cache_ptr->value;
|
||
asection *sec;
|
||
bfd_vma off;
|
||
const char *name = cache_ptr->name != NULL ? cache_ptr->name : "*unknown*";
|
||
|
||
/* Mask out any existing type bits in case copying from one section
|
||
to another. */
|
||
if (!is_stab (sym_pointer->e_type[0], name))
|
||
sym_pointer->e_type[0] &= ~N_TYPE;
|
||
|
||
sec = bfd_asymbol_section (cache_ptr);
|
||
off = 0;
|
||
|
||
if (sec == NULL)
|
||
{
|
||
/* This case occurs, e.g., for the *DEBUG* section of a COFF
|
||
file. */
|
||
_bfd_error_handler
|
||
/* xgettext:c-format */
|
||
(_("%pB: can not represent section for symbol `%s' in a.out object file format"),
|
||
abfd, name);
|
||
bfd_set_error (bfd_error_nonrepresentable_section);
|
||
return false;
|
||
}
|
||
|
||
if (sec->output_section != NULL)
|
||
{
|
||
off = sec->output_offset;
|
||
sec = sec->output_section;
|
||
}
|
||
|
||
if (bfd_is_abs_section (sec))
|
||
sym_pointer->e_type[0] |= N_ABS;
|
||
else if (sec == obj_textsec (abfd))
|
||
sym_pointer->e_type[0] |= N_TEXT;
|
||
else if (sec == obj_datasec (abfd))
|
||
sym_pointer->e_type[0] |= N_DATA;
|
||
else if (sec == obj_bsssec (abfd))
|
||
sym_pointer->e_type[0] |= N_BSS;
|
||
else if (bfd_is_und_section (sec))
|
||
sym_pointer->e_type[0] = N_UNDF | N_EXT;
|
||
else if (bfd_is_com_section (sec))
|
||
sym_pointer->e_type[0] = N_UNDF | N_EXT;
|
||
else
|
||
{
|
||
_bfd_error_handler
|
||
/* xgettext:c-format */
|
||
(_("%pB: can not represent section `%pA' in a.out object file format"),
|
||
abfd, sec);
|
||
bfd_set_error (bfd_error_nonrepresentable_section);
|
||
return false;
|
||
}
|
||
|
||
/* Turn the symbol from section relative to absolute again */
|
||
value += sec->vma + off;
|
||
|
||
if ((cache_ptr->flags & BSF_DEBUGGING) != 0)
|
||
sym_pointer->e_type[0] = ((aout_symbol_type *) cache_ptr)->type;
|
||
else if ((cache_ptr->flags & BSF_GLOBAL) != 0)
|
||
sym_pointer->e_type[0] |= N_EXT;
|
||
|
||
PUT_WORD(abfd, value, sym_pointer->e_value);
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Native-level interface to symbols. */
|
||
|
||
asymbol *
|
||
NAME (aout, make_empty_symbol) (bfd *abfd)
|
||
{
|
||
size_t amt = sizeof (aout_symbol_type);
|
||
aout_symbol_type *new_symbol_type = bfd_zalloc (abfd, amt);
|
||
|
||
if (!new_symbol_type)
|
||
return NULL;
|
||
new_symbol_type->symbol.the_bfd = abfd;
|
||
|
||
return &new_symbol_type->symbol;
|
||
}
|
||
|
||
/* Translate a set of external symbols into internal symbols. */
|
||
|
||
bool
|
||
NAME (aout, translate_symbol_table) (bfd *abfd,
|
||
aout_symbol_type *in,
|
||
struct external_nlist *ext,
|
||
bfd_size_type count,
|
||
char *str,
|
||
bfd_size_type strsize,
|
||
bool dynamic)
|
||
{
|
||
struct external_nlist *ext_end;
|
||
|
||
ext_end = ext + count;
|
||
for (; ext < ext_end; ext++, in++)
|
||
{
|
||
bfd_vma x;
|
||
int ovly;
|
||
|
||
x = GET_WORD (abfd, ext->e_strx);
|
||
in->symbol.the_bfd = abfd;
|
||
|
||
/* For the normal symbols, the zero index points at the number
|
||
of bytes in the string table but is to be interpreted as the
|
||
null string. For the dynamic symbols, the number of bytes in
|
||
the string table is stored in the __DYNAMIC structure and the
|
||
zero index points at an actual string. */
|
||
if (x == 0 && ! dynamic)
|
||
in->symbol.name = "";
|
||
else if (x < strsize)
|
||
in->symbol.name = str + x;
|
||
else
|
||
{
|
||
_bfd_error_handler
|
||
(_("%pB: invalid string offset %" PRIu64 " >= %" PRIu64),
|
||
abfd, (uint64_t) x, (uint64_t) strsize);
|
||
bfd_set_error (bfd_error_bad_value);
|
||
return false;
|
||
}
|
||
|
||
ovly = H_GET_8 (abfd, ext->e_ovly);
|
||
if (ovly != 0)
|
||
{
|
||
_bfd_error_handler
|
||
(_("%pB: symbol indicates overlay (not supported)"), abfd);
|
||
bfd_set_error (bfd_error_bad_value);
|
||
return false;
|
||
}
|
||
|
||
in->symbol.value = GET_WORD (abfd, ext->e_value);
|
||
/* e_desc is zero for normal symbols but for .stab symbols it
|
||
carries the desc field in our extended 2.11BSD format. */
|
||
in->desc = H_GET_16 (abfd, ext->e_desc);
|
||
in->other = 0;
|
||
in->type = H_GET_8 (abfd, ext->e_type);
|
||
in->symbol.udata.p = NULL;
|
||
|
||
if (! translate_from_native_sym_flags (abfd, in))
|
||
return false;
|
||
|
||
if (dynamic)
|
||
in->symbol.flags |= BSF_DYNAMIC;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* We read the symbols into a buffer, which is discarded when this
|
||
function exits. We read the strings into a buffer large enough to
|
||
hold them all plus all the cached symbol entries. */
|
||
|
||
bool
|
||
NAME (aout, slurp_symbol_table) (bfd *abfd)
|
||
{
|
||
struct external_nlist *old_external_syms;
|
||
aout_symbol_type *cached;
|
||
bfd_size_type cached_size;
|
||
|
||
/* If there's no work to be done, don't do any. */
|
||
if (obj_aout_symbols (abfd) != NULL)
|
||
return true;
|
||
|
||
old_external_syms = obj_aout_external_syms (abfd);
|
||
|
||
if (! aout_get_external_symbols (abfd))
|
||
return false;
|
||
|
||
cached_size = obj_aout_external_sym_count (abfd);
|
||
cached_size *= sizeof (aout_symbol_type);
|
||
cached = bfd_zmalloc (cached_size);
|
||
if (cached == NULL && cached_size != 0)
|
||
return false;
|
||
|
||
/* Convert from external symbol information to internal. */
|
||
if (! (NAME (aout, translate_symbol_table)
|
||
(abfd, cached,
|
||
obj_aout_external_syms (abfd),
|
||
obj_aout_external_sym_count (abfd),
|
||
obj_aout_external_strings (abfd),
|
||
obj_aout_external_string_size (abfd),
|
||
false)))
|
||
{
|
||
free (cached);
|
||
return false;
|
||
}
|
||
|
||
abfd->symcount = obj_aout_external_sym_count (abfd);
|
||
|
||
obj_aout_symbols (abfd) = cached;
|
||
|
||
/* It is very likely that anybody who calls this function will not
|
||
want the external symbol information, so if it was allocated
|
||
because of our call to aout_get_external_symbols, we free it up
|
||
right away to save space. */
|
||
if (old_external_syms == NULL
|
||
&& obj_aout_external_syms (abfd) != NULL)
|
||
{
|
||
free (obj_aout_external_syms (abfd));
|
||
obj_aout_external_syms (abfd) = NULL;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* We use a hash table when writing out symbols so that we only write
|
||
out a particular string once. This helps particularly when the
|
||
linker writes out stabs debugging entries, because each different
|
||
contributing object file tends to have many duplicate stabs
|
||
strings.
|
||
|
||
This hash table code breaks dbx on SunOS 4.1.3, so we don't do it
|
||
if BFD_TRADITIONAL_FORMAT is set. */
|
||
|
||
/* Get the index of a string in a strtab, adding it if it is not
|
||
already present. */
|
||
|
||
static inline bfd_size_type
|
||
add_to_stringtab (bfd *abfd,
|
||
struct bfd_strtab_hash *tab,
|
||
const char *str,
|
||
bool copy)
|
||
{
|
||
bool hash;
|
||
bfd_size_type str_index;
|
||
|
||
/* An index of 0 always means the empty string. */
|
||
if (str == 0 || *str == '\0')
|
||
return 0;
|
||
|
||
/* Don't hash if BFD_TRADITIONAL_FORMAT is set, because SunOS dbx
|
||
doesn't understand a hashed string table. */
|
||
hash = true;
|
||
if ((abfd->flags & BFD_TRADITIONAL_FORMAT) != 0)
|
||
hash = false;
|
||
|
||
str_index = _bfd_stringtab_add (tab, str, hash, copy);
|
||
|
||
if (str_index != (bfd_size_type) -1)
|
||
/* Add BYTES_IN_LONG to the return value to account for the
|
||
space taken up by the string table size. */
|
||
str_index += BYTES_IN_LONG;
|
||
|
||
return str_index;
|
||
}
|
||
|
||
/* Write out a strtab. ABFD is already at the right location in the
|
||
file. */
|
||
|
||
static bool
|
||
emit_stringtab (bfd *abfd, struct bfd_strtab_hash *tab)
|
||
{
|
||
bfd_byte buffer[BYTES_IN_LONG];
|
||
|
||
/* The string table starts with the size. */
|
||
H_PUT_32 (abfd, _bfd_stringtab_size (tab) + BYTES_IN_LONG, buffer);
|
||
if (bfd_write (buffer, BYTES_IN_LONG, abfd) != BYTES_IN_LONG)
|
||
return false;
|
||
|
||
return _bfd_stringtab_emit (abfd, tab);
|
||
}
|
||
|
||
bool
|
||
NAME (aout, write_syms) (bfd *abfd)
|
||
{
|
||
unsigned int count ;
|
||
asymbol **generic = bfd_get_outsymbols (abfd);
|
||
struct bfd_strtab_hash *strtab;
|
||
|
||
strtab = _bfd_stringtab_init ();
|
||
if (strtab == NULL)
|
||
return false;
|
||
|
||
for (count = 0; count < bfd_get_symcount (abfd); count++)
|
||
{
|
||
asymbol *g = generic[count];
|
||
bfd_size_type indx;
|
||
struct external_nlist nsp;
|
||
|
||
indx = add_to_stringtab (abfd, strtab, g->name, false);
|
||
if (indx == (bfd_size_type) -1)
|
||
goto error_return;
|
||
PUT_WORD (abfd, indx, nsp.e_strx);
|
||
|
||
if (bfd_asymbol_flavour(g) == abfd->xvec->flavour)
|
||
{
|
||
H_PUT_16 (abfd, aout_symbol (g)->desc, nsp.e_desc);
|
||
H_PUT_8 (abfd, 0, nsp.e_ovly);
|
||
H_PUT_8 (abfd, aout_symbol (g)->type, nsp.e_type);
|
||
}
|
||
else
|
||
{
|
||
H_PUT_16 (abfd, 0, nsp.e_desc);
|
||
H_PUT_8 (abfd, 0, nsp.e_ovly);
|
||
H_PUT_8 (abfd, 0, nsp.e_type);
|
||
}
|
||
|
||
if (! translate_to_native_sym_flags (abfd, g, &nsp))
|
||
goto error_return;
|
||
|
||
if (bfd_write (&nsp, EXTERNAL_NLIST_SIZE, abfd) != EXTERNAL_NLIST_SIZE)
|
||
goto error_return;
|
||
|
||
/* NB: `KEEPIT' currently overlays `udata.p', so set this only
|
||
here, at the end. */
|
||
g->KEEPIT = count;
|
||
}
|
||
|
||
if (! emit_stringtab (abfd, strtab))
|
||
goto error_return;
|
||
|
||
_bfd_stringtab_free (strtab);
|
||
|
||
return true;
|
||
|
||
error_return:
|
||
_bfd_stringtab_free (strtab);
|
||
return false;
|
||
}
|
||
|
||
|
||
long
|
||
NAME (aout, canonicalize_symtab) (bfd *abfd, asymbol **location)
|
||
{
|
||
unsigned int counter = 0;
|
||
aout_symbol_type *symbase;
|
||
|
||
if (!NAME (aout, slurp_symbol_table) (abfd))
|
||
return -1;
|
||
|
||
for (symbase = obj_aout_symbols (abfd); counter++ < bfd_get_symcount (abfd);)
|
||
*(location++) = (asymbol *)(symbase++);
|
||
*location++ =0;
|
||
return bfd_get_symcount (abfd);
|
||
}
|
||
|
||
|
||
/* Output extended relocation information to a file in target byte order. */
|
||
|
||
static void
|
||
pdp11_aout_swap_reloc_out (bfd *abfd, arelent *g, bfd_byte *natptr)
|
||
{
|
||
int r_index;
|
||
int r_pcrel;
|
||
int reloc_entry;
|
||
int r_type;
|
||
asymbol *sym = *(g->sym_ptr_ptr);
|
||
asection *output_section = sym->section->output_section;
|
||
|
||
if (g->addend != 0)
|
||
fprintf (stderr, "BFD: can't do this reloc addend stuff\n");
|
||
|
||
r_pcrel = g->howto->pc_relative;
|
||
|
||
if (bfd_is_abs_section (output_section))
|
||
r_type = RABS;
|
||
else if (output_section == obj_textsec (abfd))
|
||
r_type = RTEXT;
|
||
else if (output_section == obj_datasec (abfd))
|
||
r_type = RDATA;
|
||
else if (output_section == obj_bsssec (abfd))
|
||
r_type = RBSS;
|
||
else if (bfd_is_und_section (output_section))
|
||
r_type = REXT;
|
||
else if (bfd_is_com_section (output_section))
|
||
r_type = REXT;
|
||
else
|
||
r_type = -1;
|
||
|
||
BFD_ASSERT (r_type != -1);
|
||
|
||
if (r_type == RABS)
|
||
r_index = 0;
|
||
else
|
||
r_index = (*(g->sym_ptr_ptr))->KEEPIT;
|
||
|
||
reloc_entry = r_index << 4 | r_type | r_pcrel;
|
||
|
||
PUT_WORD (abfd, reloc_entry, natptr);
|
||
}
|
||
|
||
/* BFD deals internally with all things based from the section they're
|
||
in. so, something in 10 bytes into a text section with a base of
|
||
50 would have a symbol (.text+10) and know .text vma was 50.
|
||
|
||
Aout keeps all it's symbols based from zero, so the symbol would
|
||
contain 60. This macro subs the base of each section from the value
|
||
to give the true offset from the section */
|
||
|
||
|
||
#define MOVE_ADDRESS(ad) \
|
||
if (r_extern) \
|
||
{ \
|
||
/* Undefined symbol. */ \
|
||
if (symbols != NULL && r_index < bfd_get_symcount (abfd)) \
|
||
cache_ptr->sym_ptr_ptr = symbols + r_index; \
|
||
else \
|
||
cache_ptr->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr; \
|
||
cache_ptr->addend = ad; \
|
||
} \
|
||
else \
|
||
{ \
|
||
/* Defined, section relative. replace symbol with pointer to \
|
||
symbol which points to section. */ \
|
||
switch (r_index) \
|
||
{ \
|
||
case N_TEXT: \
|
||
case N_TEXT | N_EXT: \
|
||
cache_ptr->sym_ptr_ptr = obj_textsec (abfd)->symbol_ptr_ptr; \
|
||
cache_ptr->addend = ad - su->textsec->vma; \
|
||
break; \
|
||
case N_DATA: \
|
||
case N_DATA | N_EXT: \
|
||
cache_ptr->sym_ptr_ptr = obj_datasec (abfd)->symbol_ptr_ptr; \
|
||
cache_ptr->addend = ad - su->datasec->vma; \
|
||
break; \
|
||
case N_BSS: \
|
||
case N_BSS | N_EXT: \
|
||
cache_ptr->sym_ptr_ptr = obj_bsssec (abfd)->symbol_ptr_ptr; \
|
||
cache_ptr->addend = ad - su->bsssec->vma; \
|
||
break; \
|
||
default: \
|
||
case N_ABS: \
|
||
case N_ABS | N_EXT: \
|
||
cache_ptr->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr; \
|
||
cache_ptr->addend = ad; \
|
||
break; \
|
||
} \
|
||
}
|
||
|
||
static void
|
||
pdp11_aout_swap_reloc_in (bfd * abfd,
|
||
bfd_byte * bytes,
|
||
arelent * cache_ptr,
|
||
bfd_size_type offset,
|
||
asymbol ** symbols,
|
||
bfd_size_type symcount)
|
||
{
|
||
struct aoutdata *su = &(abfd->tdata.aout_data->a);
|
||
unsigned int r_index;
|
||
int reloc_entry;
|
||
int r_extern;
|
||
int r_pcrel;
|
||
|
||
reloc_entry = GET_WORD (abfd, (void *) bytes);
|
||
|
||
r_pcrel = reloc_entry & RELFLG;
|
||
|
||
cache_ptr->address = offset;
|
||
cache_ptr->howto = howto_table_pdp11 + (r_pcrel ? 1 : 0);
|
||
|
||
if ((reloc_entry & RTYPE) == RABS)
|
||
r_index = N_ABS;
|
||
else
|
||
r_index = RINDEX (reloc_entry);
|
||
|
||
/* r_extern reflects whether the symbol the reloc is against is
|
||
local or global. */
|
||
r_extern = (reloc_entry & RTYPE) == REXT;
|
||
|
||
if (r_extern && r_index >= symcount)
|
||
{
|
||
/* We could arrange to return an error, but it might be useful
|
||
to see the file even if it is bad. FIXME: Of course this
|
||
means that objdump -r *doesn't* see the actual reloc, and
|
||
objcopy silently writes a different reloc. */
|
||
r_extern = 0;
|
||
r_index = N_ABS;
|
||
}
|
||
|
||
MOVE_ADDRESS(0);
|
||
}
|
||
|
||
/* Read and swap the relocs for a section. */
|
||
|
||
bool
|
||
NAME (aout, slurp_reloc_table) (bfd *abfd, sec_ptr asect, asymbol **symbols)
|
||
{
|
||
bfd_byte *rptr;
|
||
bfd_size_type count;
|
||
bfd_size_type reloc_size;
|
||
void * relocs;
|
||
arelent *reloc_cache;
|
||
size_t each_size;
|
||
unsigned int counter = 0;
|
||
arelent *cache_ptr;
|
||
|
||
if (asect->relocation)
|
||
return true;
|
||
|
||
if (asect->flags & SEC_CONSTRUCTOR)
|
||
return true;
|
||
|
||
if (asect == obj_datasec (abfd))
|
||
reloc_size = exec_hdr(abfd)->a_drsize;
|
||
else if (asect == obj_textsec (abfd))
|
||
reloc_size = exec_hdr(abfd)->a_trsize;
|
||
else if (asect == obj_bsssec (abfd))
|
||
reloc_size = 0;
|
||
else
|
||
{
|
||
bfd_set_error (bfd_error_invalid_operation);
|
||
return false;
|
||
}
|
||
|
||
if (bfd_seek (abfd, asect->rel_filepos, SEEK_SET) != 0)
|
||
return false;
|
||
relocs = _bfd_malloc_and_read (abfd, reloc_size, reloc_size);
|
||
if (relocs == NULL && reloc_size != 0)
|
||
return false;
|
||
|
||
each_size = obj_reloc_entry_size (abfd);
|
||
count = reloc_size / each_size;
|
||
|
||
/* Count the number of NON-ZERO relocs, this is the count we want. */
|
||
{
|
||
unsigned int real_count = 0;
|
||
|
||
for (counter = 0; counter < count; counter++)
|
||
{
|
||
int x;
|
||
|
||
x = GET_WORD (abfd, (char *) relocs + each_size * counter);
|
||
if (x != 0)
|
||
real_count++;
|
||
}
|
||
|
||
count = real_count;
|
||
}
|
||
|
||
reloc_cache = bfd_zmalloc (count * sizeof (arelent));
|
||
if (reloc_cache == NULL && count != 0)
|
||
return false;
|
||
|
||
cache_ptr = reloc_cache;
|
||
|
||
rptr = relocs;
|
||
for (counter = 0;
|
||
counter < count;
|
||
counter++, rptr += RELOC_SIZE, cache_ptr++)
|
||
{
|
||
while (GET_WORD (abfd, (void *) rptr) == 0)
|
||
{
|
||
rptr += RELOC_SIZE;
|
||
if ((char *) rptr >= (char *) relocs + reloc_size)
|
||
goto done;
|
||
}
|
||
|
||
pdp11_aout_swap_reloc_in (abfd, rptr, cache_ptr,
|
||
(bfd_size_type) ((char *) rptr - (char *) relocs),
|
||
symbols,
|
||
(bfd_size_type) bfd_get_symcount (abfd));
|
||
}
|
||
done:
|
||
/* Just in case, if rptr >= relocs + reloc_size should happen
|
||
too early. */
|
||
BFD_ASSERT (counter == count);
|
||
|
||
free (relocs);
|
||
|
||
asect->relocation = reloc_cache;
|
||
asect->reloc_count = cache_ptr - reloc_cache;
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Write out a relocation section into an object file. */
|
||
|
||
bool
|
||
NAME (aout, squirt_out_relocs) (bfd *abfd, asection *section)
|
||
{
|
||
arelent **generic;
|
||
unsigned char *native;
|
||
unsigned int count = section->reloc_count;
|
||
bfd_size_type natsize;
|
||
|
||
natsize = section->size;
|
||
native = bfd_zalloc (abfd, natsize);
|
||
if (!native)
|
||
return false;
|
||
|
||
generic = section->orelocation;
|
||
if (generic != NULL)
|
||
{
|
||
while (count > 0)
|
||
{
|
||
bfd_byte *r;
|
||
|
||
if ((*generic)->howto == NULL
|
||
|| (*generic)->sym_ptr_ptr == NULL)
|
||
{
|
||
bfd_set_error (bfd_error_invalid_operation);
|
||
_bfd_error_handler (_("%pB: attempt to write out "
|
||
"unknown reloc type"), abfd);
|
||
bfd_release (abfd, native);
|
||
return false;
|
||
}
|
||
r = native + (*generic)->address;
|
||
pdp11_aout_swap_reloc_out (abfd, *generic, r);
|
||
count--;
|
||
generic++;
|
||
}
|
||
}
|
||
|
||
if (bfd_write (native, natsize, abfd) != natsize)
|
||
{
|
||
bfd_release (abfd, native);
|
||
return false;
|
||
}
|
||
|
||
bfd_release (abfd, native);
|
||
return true;
|
||
}
|
||
|
||
/* This is stupid. This function should be a boolean predicate. */
|
||
|
||
long
|
||
NAME (aout, canonicalize_reloc) (bfd *abfd,
|
||
sec_ptr section,
|
||
arelent **relptr,
|
||
asymbol **symbols)
|
||
{
|
||
arelent *tblptr = section->relocation;
|
||
unsigned int count;
|
||
|
||
if (section == obj_bsssec (abfd))
|
||
{
|
||
*relptr = NULL;
|
||
return 0;
|
||
}
|
||
|
||
if (!(tblptr || NAME (aout, slurp_reloc_table)(abfd, section, symbols)))
|
||
return -1;
|
||
|
||
if (section->flags & SEC_CONSTRUCTOR)
|
||
{
|
||
arelent_chain *chain = section->constructor_chain;
|
||
|
||
for (count = 0; count < section->reloc_count; count ++)
|
||
{
|
||
*relptr ++ = &chain->relent;
|
||
chain = chain->next;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
tblptr = section->relocation;
|
||
|
||
for (count = 0; count++ < section->reloc_count;)
|
||
*relptr++ = tblptr++;
|
||
}
|
||
|
||
*relptr = 0;
|
||
|
||
return section->reloc_count;
|
||
}
|
||
|
||
long
|
||
NAME (aout, get_reloc_upper_bound) (bfd *abfd, sec_ptr asect)
|
||
{
|
||
size_t count, raw;
|
||
|
||
if (asect->flags & SEC_CONSTRUCTOR)
|
||
count = asect->reloc_count;
|
||
else if (asect == obj_datasec (abfd))
|
||
count = exec_hdr (abfd)->a_drsize / obj_reloc_entry_size (abfd);
|
||
else if (asect == obj_textsec (abfd))
|
||
count = exec_hdr (abfd)->a_trsize / obj_reloc_entry_size (abfd);
|
||
else if (asect == obj_bsssec (abfd))
|
||
count = 0;
|
||
else
|
||
{
|
||
bfd_set_error (bfd_error_invalid_operation);
|
||
return -1;
|
||
}
|
||
|
||
if (count >= LONG_MAX / sizeof (arelent *)
|
||
|| _bfd_mul_overflow (count, obj_reloc_entry_size (abfd), &raw))
|
||
{
|
||
bfd_set_error (bfd_error_file_too_big);
|
||
return -1;
|
||
}
|
||
if (!bfd_write_p (abfd))
|
||
{
|
||
ufile_ptr filesize = bfd_get_file_size (abfd);
|
||
if (filesize != 0 && raw > filesize)
|
||
{
|
||
bfd_set_error (bfd_error_file_truncated);
|
||
return -1;
|
||
}
|
||
}
|
||
return (count + 1) * sizeof (arelent *);
|
||
}
|
||
|
||
|
||
long
|
||
NAME (aout, get_symtab_upper_bound) (bfd *abfd)
|
||
{
|
||
if (!NAME (aout, slurp_symbol_table) (abfd))
|
||
return -1;
|
||
|
||
return (bfd_get_symcount (abfd) + 1) * (sizeof (aout_symbol_type *));
|
||
}
|
||
|
||
alent *
|
||
NAME (aout, get_lineno) (bfd * abfd ATTRIBUTE_UNUSED,
|
||
asymbol * symbol ATTRIBUTE_UNUSED)
|
||
{
|
||
return NULL;
|
||
}
|
||
|
||
void
|
||
NAME (aout, get_symbol_info) (bfd * abfd ATTRIBUTE_UNUSED,
|
||
asymbol *symbol,
|
||
symbol_info *ret)
|
||
{
|
||
bfd_symbol_info (symbol, ret);
|
||
|
||
if (ret->type == '?')
|
||
{
|
||
int type_code = aout_symbol(symbol)->type & 0xff;
|
||
const char *stab_name = bfd_get_stab_name (type_code);
|
||
static char buf[10];
|
||
|
||
if (stab_name == NULL)
|
||
{
|
||
sprintf(buf, "(%d)", type_code);
|
||
stab_name = buf;
|
||
}
|
||
ret->type = '-';
|
||
ret->stab_type = type_code;
|
||
ret->stab_other = (unsigned) (aout_symbol(symbol)->other & 0xff);
|
||
ret->stab_desc = (unsigned) (aout_symbol(symbol)->desc & 0xffff);
|
||
ret->stab_name = stab_name;
|
||
}
|
||
}
|
||
|
||
void
|
||
NAME (aout, print_symbol) (bfd * abfd,
|
||
void * afile,
|
||
asymbol *symbol,
|
||
bfd_print_symbol_type how)
|
||
{
|
||
FILE *file = (FILE *) afile;
|
||
|
||
switch (how)
|
||
{
|
||
case bfd_print_symbol_name:
|
||
if (symbol->name)
|
||
fprintf(file,"%s", symbol->name);
|
||
break;
|
||
case bfd_print_symbol_more:
|
||
fprintf(file,"%4x %2x %2x",
|
||
(unsigned) (aout_symbol (symbol)->desc & 0xffff),
|
||
(unsigned) (aout_symbol (symbol)->other & 0xff),
|
||
(unsigned) (aout_symbol (symbol)->type));
|
||
break;
|
||
case bfd_print_symbol_all:
|
||
{
|
||
const char *section_name = symbol->section->name;
|
||
|
||
bfd_print_symbol_vandf (abfd, (void *) file, symbol);
|
||
|
||
fprintf (file," %-5s %04x %02x %02x",
|
||
section_name,
|
||
(unsigned) (aout_symbol (symbol)->desc & 0xffff),
|
||
(unsigned) (aout_symbol (symbol)->other & 0xff),
|
||
(unsigned) (aout_symbol (symbol)->type & 0xff));
|
||
if (symbol->name)
|
||
fprintf(file," %s", symbol->name);
|
||
}
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* If we don't have to allocate more than 1MB to hold the generic
|
||
symbols, we use the generic minisymbol method: it's faster, since
|
||
it only translates the symbols once, not multiple times. */
|
||
#define MINISYM_THRESHOLD (1000000 / sizeof (asymbol))
|
||
|
||
/* Read minisymbols. For minisymbols, we use the unmodified a.out
|
||
symbols. The minisymbol_to_symbol function translates these into
|
||
BFD asymbol structures. */
|
||
|
||
long
|
||
NAME (aout, read_minisymbols) (bfd *abfd,
|
||
bool dynamic,
|
||
void * *minisymsp,
|
||
unsigned int *sizep)
|
||
{
|
||
if (dynamic)
|
||
/* We could handle the dynamic symbols here as well, but it's
|
||
easier to hand them off. */
|
||
return _bfd_generic_read_minisymbols (abfd, dynamic, minisymsp, sizep);
|
||
|
||
if (! aout_get_external_symbols (abfd))
|
||
return -1;
|
||
|
||
if (obj_aout_external_sym_count (abfd) < MINISYM_THRESHOLD)
|
||
return _bfd_generic_read_minisymbols (abfd, dynamic, minisymsp, sizep);
|
||
|
||
*minisymsp = (void *) obj_aout_external_syms (abfd);
|
||
|
||
/* By passing the external symbols back from this routine, we are
|
||
giving up control over the memory block. Clear
|
||
obj_aout_external_syms, so that we do not try to free it
|
||
ourselves. */
|
||
obj_aout_external_syms (abfd) = NULL;
|
||
|
||
*sizep = EXTERNAL_NLIST_SIZE;
|
||
return obj_aout_external_sym_count (abfd);
|
||
}
|
||
|
||
/* Convert a minisymbol to a BFD asymbol. A minisymbol is just an
|
||
unmodified a.out symbol. The SYM argument is a structure returned
|
||
by bfd_make_empty_symbol, which we fill in here. */
|
||
|
||
asymbol *
|
||
NAME (aout, minisymbol_to_symbol) (bfd *abfd,
|
||
bool dynamic,
|
||
const void * minisym,
|
||
asymbol *sym)
|
||
{
|
||
if (dynamic
|
||
|| obj_aout_external_sym_count (abfd) < MINISYM_THRESHOLD)
|
||
return _bfd_generic_minisymbol_to_symbol (abfd, dynamic, minisym, sym);
|
||
|
||
memset (sym, 0, sizeof (aout_symbol_type));
|
||
|
||
/* We call translate_symbol_table to translate a single symbol. */
|
||
if (! (NAME (aout, translate_symbol_table)
|
||
(abfd,
|
||
(aout_symbol_type *) sym,
|
||
(struct external_nlist *) minisym,
|
||
(bfd_size_type) 1,
|
||
obj_aout_external_strings (abfd),
|
||
obj_aout_external_string_size (abfd),
|
||
false)))
|
||
return NULL;
|
||
|
||
return sym;
|
||
}
|
||
|
||
/* Provided a BFD, a section and an offset into the section, calculate
|
||
and return the name of the source file and the line nearest to the
|
||
wanted location. */
|
||
|
||
bool
|
||
NAME (aout, find_nearest_line) (bfd *abfd,
|
||
asymbol **symbols,
|
||
asection *section,
|
||
bfd_vma offset,
|
||
const char **filename_ptr,
|
||
const char **functionname_ptr,
|
||
unsigned int *line_ptr,
|
||
unsigned int *discriminator_ptr)
|
||
{
|
||
/* Run down the file looking for the filename, function and linenumber. */
|
||
asymbol **p;
|
||
const char *directory_name = NULL;
|
||
const char *main_file_name = NULL;
|
||
const char *current_file_name = NULL;
|
||
const char *line_file_name = NULL; /* Value of current_file_name at line number. */
|
||
bfd_vma low_line_vma = 0;
|
||
bfd_vma low_func_vma = 0;
|
||
asymbol *func = 0;
|
||
size_t filelen, funclen;
|
||
char *buf;
|
||
|
||
*filename_ptr = bfd_get_filename (abfd);
|
||
*functionname_ptr = NULL;
|
||
*line_ptr = 0;
|
||
if (discriminator_ptr)
|
||
*discriminator_ptr = 0;
|
||
|
||
if (symbols != NULL)
|
||
{
|
||
for (p = symbols; *p; p++)
|
||
{
|
||
aout_symbol_type *q = (aout_symbol_type *)(*p);
|
||
next:
|
||
switch (q->type)
|
||
{
|
||
case N_TEXT:
|
||
/* If this looks like a file name symbol, and it comes after
|
||
the line number we have found so far, but before the
|
||
offset, then we have probably not found the right line
|
||
number. */
|
||
if (q->symbol.value <= offset
|
||
&& ((q->symbol.value > low_line_vma
|
||
&& (line_file_name != NULL
|
||
|| *line_ptr != 0))
|
||
|| (q->symbol.value > low_func_vma
|
||
&& func != NULL)))
|
||
{
|
||
const char * symname;
|
||
|
||
symname = q->symbol.name;
|
||
|
||
if (symname != NULL
|
||
&& strlen (symname) > 2
|
||
&& strcmp (symname + strlen (symname) - 2, ".o") == 0)
|
||
{
|
||
if (q->symbol.value > low_line_vma)
|
||
{
|
||
*line_ptr = 0;
|
||
line_file_name = NULL;
|
||
}
|
||
if (q->symbol.value > low_func_vma)
|
||
func = NULL;
|
||
}
|
||
}
|
||
break;
|
||
|
||
case N_SO:
|
||
/* If this symbol is less than the offset, but greater than
|
||
the line number we have found so far, then we have not
|
||
found the right line number. */
|
||
if (q->symbol.value <= offset)
|
||
{
|
||
if (q->symbol.value > low_line_vma)
|
||
{
|
||
*line_ptr = 0;
|
||
line_file_name = NULL;
|
||
}
|
||
if (q->symbol.value > low_func_vma)
|
||
func = NULL;
|
||
}
|
||
|
||
main_file_name = current_file_name = q->symbol.name;
|
||
/* Look ahead to next symbol to check if that too is an N_SO. */
|
||
p++;
|
||
if (*p == NULL)
|
||
goto done;
|
||
q = (aout_symbol_type *)(*p);
|
||
if (q->type != (int) N_SO)
|
||
goto next;
|
||
|
||
/* Found a second N_SO First is directory; second is filename. */
|
||
directory_name = current_file_name;
|
||
main_file_name = current_file_name = q->symbol.name;
|
||
if (obj_textsec(abfd) != section)
|
||
goto done;
|
||
break;
|
||
case N_SOL:
|
||
current_file_name = q->symbol.name;
|
||
break;
|
||
|
||
case N_SLINE:
|
||
case N_DSLINE:
|
||
case N_BSLINE:
|
||
/* We'll keep this if it resolves nearer than the one we have
|
||
already. */
|
||
if (q->symbol.value >= low_line_vma
|
||
&& q->symbol.value <= offset)
|
||
{
|
||
*line_ptr = q->desc;
|
||
low_line_vma = q->symbol.value;
|
||
line_file_name = current_file_name;
|
||
}
|
||
break;
|
||
|
||
case N_FUN:
|
||
{
|
||
/* We'll keep this if it is nearer than the one we have already. */
|
||
if (q->symbol.value >= low_func_vma &&
|
||
q->symbol.value <= offset)
|
||
{
|
||
low_func_vma = q->symbol.value;
|
||
func = (asymbol *) q;
|
||
}
|
||
else if (q->symbol.value > offset)
|
||
goto done;
|
||
}
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
done:
|
||
if (*line_ptr != 0)
|
||
main_file_name = line_file_name;
|
||
|
||
if (main_file_name == NULL
|
||
|| main_file_name[0] == '/'
|
||
|| directory_name == NULL)
|
||
filelen = 0;
|
||
else
|
||
filelen = strlen (directory_name) + strlen (main_file_name);
|
||
if (func == NULL)
|
||
funclen = 0;
|
||
else
|
||
funclen = strlen (bfd_asymbol_name (func));
|
||
|
||
free (adata (abfd).line_buf);
|
||
if (filelen + funclen == 0)
|
||
adata (abfd).line_buf = buf = NULL;
|
||
else
|
||
{
|
||
buf = bfd_malloc ((bfd_size_type) filelen + funclen + 3);
|
||
adata (abfd).line_buf = buf;
|
||
if (buf == NULL)
|
||
return false;
|
||
}
|
||
|
||
if (main_file_name != NULL)
|
||
{
|
||
if (main_file_name[0] == '/' || directory_name == NULL)
|
||
*filename_ptr = main_file_name;
|
||
else
|
||
{
|
||
if (buf == NULL)
|
||
/* PR binutils/20891: In a corrupt input file both
|
||
main_file_name and directory_name can be empty... */
|
||
* filename_ptr = NULL;
|
||
else
|
||
{
|
||
snprintf (buf, filelen + 1, "%s%s", directory_name,
|
||
main_file_name);
|
||
*filename_ptr = buf;
|
||
buf += filelen + 1;
|
||
}
|
||
}
|
||
}
|
||
|
||
if (func)
|
||
{
|
||
const char *function = func->name;
|
||
char *colon;
|
||
|
||
if (buf == NULL)
|
||
{
|
||
/* PR binutils/20892: In a corrupt input file func can be empty. */
|
||
* functionname_ptr = NULL;
|
||
return true;
|
||
}
|
||
/* The caller expects a symbol name. We actually have a
|
||
function name, without the leading underscore. Put the
|
||
underscore back in, so that the caller gets a symbol name. */
|
||
if (bfd_get_symbol_leading_char (abfd) == '\0')
|
||
strcpy (buf, function);
|
||
else
|
||
{
|
||
buf[0] = bfd_get_symbol_leading_char (abfd);
|
||
strcpy (buf + 1, function);
|
||
}
|
||
|
||
/* Have to remove : stuff. */
|
||
colon = strchr (buf, ':');
|
||
if (colon != NULL)
|
||
*colon = '\0';
|
||
*functionname_ptr = buf;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
int
|
||
NAME (aout, sizeof_headers) (bfd *abfd,
|
||
struct bfd_link_info *info ATTRIBUTE_UNUSED)
|
||
{
|
||
return adata (abfd).exec_bytes_size;
|
||
}
|
||
|
||
/* Throw away most malloc'd and alloc'd information for this BFD. */
|
||
|
||
bool
|
||
NAME (aout, bfd_free_cached_info) (bfd *abfd)
|
||
{
|
||
if ((bfd_get_format (abfd) == bfd_object
|
||
|| bfd_get_format (abfd) == bfd_core)
|
||
&& abfd->tdata.aout_data != NULL)
|
||
{
|
||
#define BFCI_FREE(x) do { free (x); x = NULL; } while (0)
|
||
BFCI_FREE (adata (abfd).line_buf);
|
||
BFCI_FREE (obj_aout_symbols (abfd));
|
||
BFCI_FREE (obj_aout_external_syms (abfd));
|
||
BFCI_FREE (obj_aout_external_strings (abfd));
|
||
for (asection *o = abfd->sections; o != NULL; o = o->next)
|
||
BFCI_FREE (o->relocation);
|
||
#undef BFCI_FREE
|
||
}
|
||
|
||
return _bfd_generic_bfd_free_cached_info (abfd);
|
||
}
|
||
|
||
/* Routine to create an entry in an a.out link hash table. */
|
||
|
||
struct bfd_hash_entry *
|
||
NAME (aout, link_hash_newfunc) (struct bfd_hash_entry *entry,
|
||
struct bfd_hash_table *table,
|
||
const char *string)
|
||
{
|
||
struct aout_link_hash_entry *ret = (struct aout_link_hash_entry *) entry;
|
||
|
||
/* Allocate the structure if it has not already been allocated by a
|
||
subclass. */
|
||
if (ret == NULL)
|
||
ret = bfd_hash_allocate (table, sizeof (* ret));
|
||
if (ret == NULL)
|
||
return NULL;
|
||
|
||
/* Call the allocation method of the superclass. */
|
||
ret = (struct aout_link_hash_entry *)
|
||
_bfd_link_hash_newfunc ((struct bfd_hash_entry *) ret, table, string);
|
||
if (ret)
|
||
{
|
||
/* Set local fields. */
|
||
ret->written = false;
|
||
ret->indx = -1;
|
||
}
|
||
|
||
return (struct bfd_hash_entry *) ret;
|
||
}
|
||
|
||
/* Initialize an a.out link hash table. */
|
||
|
||
bool
|
||
NAME (aout, link_hash_table_init) (struct aout_link_hash_table *table,
|
||
bfd *abfd,
|
||
struct bfd_hash_entry *(*newfunc) (struct bfd_hash_entry *,
|
||
struct bfd_hash_table *,
|
||
const char *),
|
||
unsigned int entsize)
|
||
{
|
||
return _bfd_link_hash_table_init (&table->root, abfd, newfunc, entsize);
|
||
}
|
||
|
||
/* Create an a.out link hash table. */
|
||
|
||
struct bfd_link_hash_table *
|
||
NAME (aout, link_hash_table_create) (bfd *abfd)
|
||
{
|
||
struct aout_link_hash_table *ret;
|
||
size_t amt = sizeof (struct aout_link_hash_table);
|
||
|
||
ret = bfd_malloc (amt);
|
||
if (ret == NULL)
|
||
return NULL;
|
||
if (! NAME (aout, link_hash_table_init) (ret, abfd,
|
||
NAME (aout, link_hash_newfunc),
|
||
sizeof (struct aout_link_hash_entry)))
|
||
{
|
||
free (ret);
|
||
return NULL;
|
||
}
|
||
return &ret->root;
|
||
}
|
||
|
||
/* Free up the internal symbols read from an a.out file. */
|
||
|
||
static bool
|
||
aout_link_free_symbols (bfd *abfd)
|
||
{
|
||
if (obj_aout_external_syms (abfd) != NULL)
|
||
{
|
||
free ((void *) obj_aout_external_syms (abfd));
|
||
obj_aout_external_syms (abfd) = NULL;
|
||
}
|
||
|
||
if (obj_aout_external_strings (abfd) != NULL)
|
||
{
|
||
free ((void *) obj_aout_external_strings (abfd));
|
||
obj_aout_external_strings (abfd) = NULL;
|
||
}
|
||
return true;
|
||
}
|
||
|
||
/* Given an a.out BFD, add symbols to the global hash table as
|
||
appropriate. */
|
||
|
||
bool
|
||
NAME (aout, link_add_symbols) (bfd *abfd, struct bfd_link_info *info)
|
||
{
|
||
switch (bfd_get_format (abfd))
|
||
{
|
||
case bfd_object:
|
||
return aout_link_add_object_symbols (abfd, info);
|
||
case bfd_archive:
|
||
return _bfd_generic_link_add_archive_symbols
|
||
(abfd, info, aout_link_check_archive_element);
|
||
default:
|
||
bfd_set_error (bfd_error_wrong_format);
|
||
return false;
|
||
}
|
||
}
|
||
|
||
/* Add symbols from an a.out object file. */
|
||
|
||
static bool
|
||
aout_link_add_object_symbols (bfd *abfd, struct bfd_link_info *info)
|
||
{
|
||
if (! aout_get_external_symbols (abfd))
|
||
return false;
|
||
if (! aout_link_add_symbols (abfd, info))
|
||
return false;
|
||
if (! info->keep_memory)
|
||
{
|
||
if (! aout_link_free_symbols (abfd))
|
||
return false;
|
||
}
|
||
return true;
|
||
}
|
||
|
||
/* Look through the internal symbols to see if this object file should
|
||
be included in the link. We should include this object file if it
|
||
defines any symbols which are currently undefined. If this object
|
||
file defines a common symbol, then we may adjust the size of the
|
||
known symbol but we do not include the object file in the link
|
||
(unless there is some other reason to include it). */
|
||
|
||
static bool
|
||
aout_link_check_ar_symbols (bfd *abfd,
|
||
struct bfd_link_info *info,
|
||
bool *pneeded,
|
||
bfd **subsbfd)
|
||
{
|
||
struct external_nlist *p;
|
||
struct external_nlist *pend;
|
||
char *strings;
|
||
|
||
*pneeded = false;
|
||
|
||
/* Look through all the symbols. */
|
||
p = obj_aout_external_syms (abfd);
|
||
pend = p + obj_aout_external_sym_count (abfd);
|
||
strings = obj_aout_external_strings (abfd);
|
||
for (; p < pend; p++)
|
||
{
|
||
int type = H_GET_8 (abfd, p->e_type);
|
||
const char *name = strings + GET_WORD (abfd, p->e_strx);
|
||
struct bfd_link_hash_entry *h;
|
||
|
||
/* Ignore symbols that are not externally visible. This is an
|
||
optimization only, as we check the type more thoroughly
|
||
below. */
|
||
if ((type & N_EXT) == 0
|
||
|| is_stab(type, name)
|
||
|| type == N_FN)
|
||
continue;
|
||
|
||
h = bfd_link_hash_lookup (info->hash, name, false, false, true);
|
||
|
||
/* We are only interested in symbols that are currently
|
||
undefined or common. */
|
||
if (h == NULL
|
||
|| (h->type != bfd_link_hash_undefined
|
||
&& h->type != bfd_link_hash_common))
|
||
continue;
|
||
|
||
if (type == (N_TEXT | N_EXT)
|
||
|| type == (N_DATA | N_EXT)
|
||
|| type == (N_BSS | N_EXT)
|
||
|| type == (N_ABS | N_EXT))
|
||
{
|
||
/* This object file defines this symbol. We must link it
|
||
in. This is true regardless of whether the current
|
||
definition of the symbol is undefined or common. If the
|
||
current definition is common, we have a case in which we
|
||
have already seen an object file including
|
||
int a;
|
||
and this object file from the archive includes
|
||
int a = 5;
|
||
In such a case we must include this object file.
|
||
|
||
FIXME: The SunOS 4.1.3 linker will pull in the archive
|
||
element if the symbol is defined in the .data section,
|
||
but not if it is defined in the .text section. That
|
||
seems a bit crazy to me, and I haven't implemented it.
|
||
However, it might be correct. */
|
||
if (!(*info->callbacks
|
||
->add_archive_element) (info, abfd, name, subsbfd))
|
||
continue;
|
||
*pneeded = true;
|
||
return true;
|
||
}
|
||
|
||
if (type == (N_UNDF | N_EXT))
|
||
{
|
||
bfd_vma value;
|
||
|
||
value = GET_WORD (abfd, p->e_value);
|
||
if (value != 0)
|
||
{
|
||
/* This symbol is common in the object from the archive
|
||
file. */
|
||
if (h->type == bfd_link_hash_undefined)
|
||
{
|
||
bfd *symbfd;
|
||
unsigned int power;
|
||
|
||
symbfd = h->u.undef.abfd;
|
||
if (symbfd == NULL)
|
||
{
|
||
/* This symbol was created as undefined from
|
||
outside BFD. We assume that we should link
|
||
in the object file. This is done for the -u
|
||
option in the linker. */
|
||
if (!(*info->callbacks
|
||
->add_archive_element) (info, abfd, name, subsbfd))
|
||
return false;
|
||
*pneeded = true;
|
||
return true;
|
||
}
|
||
/* Turn the current link symbol into a common
|
||
symbol. It is already on the undefs list. */
|
||
h->type = bfd_link_hash_common;
|
||
h->u.c.p = bfd_hash_allocate (&info->hash->table,
|
||
sizeof (struct bfd_link_hash_common_entry));
|
||
if (h->u.c.p == NULL)
|
||
return false;
|
||
|
||
h->u.c.size = value;
|
||
|
||
/* FIXME: This isn't quite right. The maximum
|
||
alignment of a common symbol should be set by the
|
||
architecture of the output file, not of the input
|
||
file. */
|
||
power = bfd_log2 (value);
|
||
if (power > bfd_get_arch_info (abfd)->section_align_power)
|
||
power = bfd_get_arch_info (abfd)->section_align_power;
|
||
h->u.c.p->alignment_power = power;
|
||
|
||
h->u.c.p->section = bfd_make_section_old_way (symbfd,
|
||
"COMMON");
|
||
}
|
||
else
|
||
{
|
||
/* Adjust the size of the common symbol if
|
||
necessary. */
|
||
if (value > h->u.c.size)
|
||
h->u.c.size = value;
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
/* We do not need this object file. */
|
||
return true;
|
||
}
|
||
|
||
/* Check a single archive element to see if we need to include it in
|
||
the link. *PNEEDED is set according to whether this element is
|
||
needed in the link or not. This is called from
|
||
_bfd_generic_link_add_archive_symbols. */
|
||
|
||
static bool
|
||
aout_link_check_archive_element (bfd *abfd,
|
||
struct bfd_link_info *info,
|
||
struct bfd_link_hash_entry *h ATTRIBUTE_UNUSED,
|
||
const char *name ATTRIBUTE_UNUSED,
|
||
bool *pneeded)
|
||
{
|
||
bfd *oldbfd;
|
||
bool needed;
|
||
|
||
if (!aout_get_external_symbols (abfd))
|
||
return false;
|
||
|
||
oldbfd = abfd;
|
||
if (!aout_link_check_ar_symbols (abfd, info, pneeded, &abfd))
|
||
return false;
|
||
|
||
needed = *pneeded;
|
||
if (needed)
|
||
{
|
||
/* Potentially, the add_archive_element hook may have set a
|
||
substitute BFD for us. */
|
||
if (abfd != oldbfd)
|
||
{
|
||
if (!info->keep_memory
|
||
&& !aout_link_free_symbols (oldbfd))
|
||
return false;
|
||
if (!aout_get_external_symbols (abfd))
|
||
return false;
|
||
}
|
||
if (!aout_link_add_symbols (abfd, info))
|
||
return false;
|
||
}
|
||
|
||
if (!info->keep_memory || !needed)
|
||
{
|
||
if (!aout_link_free_symbols (abfd))
|
||
return false;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Add all symbols from an object file to the hash table. */
|
||
|
||
static bool
|
||
aout_link_add_symbols (bfd *abfd, struct bfd_link_info *info)
|
||
{
|
||
bool (*add_one_symbol)
|
||
(struct bfd_link_info *, bfd *, const char *, flagword, asection *,
|
||
bfd_vma, const char *, bool, bool, struct bfd_link_hash_entry **);
|
||
struct external_nlist *syms;
|
||
bfd_size_type sym_count;
|
||
char *strings;
|
||
bool copy;
|
||
struct aout_link_hash_entry **sym_hash;
|
||
struct external_nlist *p;
|
||
struct external_nlist *pend;
|
||
|
||
syms = obj_aout_external_syms (abfd);
|
||
sym_count = obj_aout_external_sym_count (abfd);
|
||
strings = obj_aout_external_strings (abfd);
|
||
if (info->keep_memory)
|
||
copy = false;
|
||
else
|
||
copy = true;
|
||
|
||
if (aout_backend_info (abfd)->add_dynamic_symbols != NULL)
|
||
{
|
||
if (! ((*aout_backend_info (abfd)->add_dynamic_symbols)
|
||
(abfd, info, &syms, &sym_count, &strings)))
|
||
return false;
|
||
}
|
||
|
||
/* We keep a list of the linker hash table entries that correspond
|
||
to particular symbols. We could just look them up in the hash
|
||
table, but keeping the list is more efficient. Perhaps this
|
||
should be conditional on info->keep_memory. */
|
||
sym_hash = bfd_alloc (abfd,
|
||
sym_count * sizeof (struct aout_link_hash_entry *));
|
||
if (sym_hash == NULL && sym_count != 0)
|
||
return false;
|
||
obj_aout_sym_hashes (abfd) = sym_hash;
|
||
|
||
add_one_symbol = aout_backend_info (abfd)->add_one_symbol;
|
||
if (add_one_symbol == NULL)
|
||
add_one_symbol = _bfd_generic_link_add_one_symbol;
|
||
|
||
p = syms;
|
||
pend = p + sym_count;
|
||
for (; p < pend; p++, sym_hash++)
|
||
{
|
||
int type;
|
||
const char *name;
|
||
bfd_vma value;
|
||
asection *section;
|
||
flagword flags;
|
||
const char *string;
|
||
|
||
*sym_hash = NULL;
|
||
|
||
type = H_GET_8 (abfd, p->e_type);
|
||
|
||
/* PR 19629: Corrupt binaries can contain illegal string offsets. */
|
||
if (GET_WORD (abfd, p->e_strx) >= obj_aout_external_string_size (abfd))
|
||
return false;
|
||
name = strings + GET_WORD (abfd, p->e_strx);
|
||
|
||
/* Ignore debugging symbols. */
|
||
if (is_stab (type, name))
|
||
continue;
|
||
|
||
value = GET_WORD (abfd, p->e_value);
|
||
flags = BSF_GLOBAL;
|
||
string = NULL;
|
||
switch (type)
|
||
{
|
||
default:
|
||
/* Shouldn't be any types not covered. */
|
||
BFD_ASSERT (0);
|
||
continue;
|
||
|
||
case N_UNDF:
|
||
case N_ABS:
|
||
case N_TEXT:
|
||
case N_DATA:
|
||
case N_BSS:
|
||
case N_REG:
|
||
case N_FN:
|
||
/* Ignore symbols that are not externally visible. */
|
||
continue;
|
||
|
||
case N_UNDF | N_EXT:
|
||
if (value == 0)
|
||
{
|
||
section = bfd_und_section_ptr;
|
||
flags = 0;
|
||
}
|
||
else
|
||
section = bfd_com_section_ptr;
|
||
break;
|
||
case N_ABS | N_EXT:
|
||
section = bfd_abs_section_ptr;
|
||
break;
|
||
case N_TEXT | N_EXT:
|
||
section = obj_textsec (abfd);
|
||
value -= bfd_section_vma (section);
|
||
break;
|
||
case N_DATA | N_EXT:
|
||
/* Treat N_SETV symbols as N_DATA symbol; see comment in
|
||
translate_from_native_sym_flags. */
|
||
section = obj_datasec (abfd);
|
||
value -= bfd_section_vma (section);
|
||
break;
|
||
case N_BSS | N_EXT:
|
||
section = obj_bsssec (abfd);
|
||
value -= bfd_section_vma (section);
|
||
break;
|
||
}
|
||
|
||
if (! ((*add_one_symbol)
|
||
(info, abfd, name, flags, section, value, string, copy, false,
|
||
(struct bfd_link_hash_entry **) sym_hash)))
|
||
return false;
|
||
|
||
/* Restrict the maximum alignment of a common symbol based on
|
||
the architecture, since a.out has no way to represent
|
||
alignment requirements of a section in a .o file. FIXME:
|
||
This isn't quite right: it should use the architecture of the
|
||
output file, not the input files. */
|
||
if ((*sym_hash)->root.type == bfd_link_hash_common
|
||
&& ((*sym_hash)->root.u.c.p->alignment_power >
|
||
bfd_get_arch_info (abfd)->section_align_power))
|
||
(*sym_hash)->root.u.c.p->alignment_power =
|
||
bfd_get_arch_info (abfd)->section_align_power;
|
||
|
||
/* If this is a set symbol, and we are not building sets, then
|
||
it is possible for the hash entry to not have been set. In
|
||
such a case, treat the symbol as not globally defined. */
|
||
if ((*sym_hash)->root.type == bfd_link_hash_new)
|
||
{
|
||
BFD_ASSERT ((flags & BSF_CONSTRUCTOR) != 0);
|
||
*sym_hash = NULL;
|
||
}
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Look up an entry in an the header file hash table. */
|
||
|
||
#define aout_link_includes_lookup(table, string, create, copy) \
|
||
((struct aout_link_includes_entry *) \
|
||
bfd_hash_lookup (&(table)->root, (string), (create), (copy)))
|
||
|
||
/* The function to create a new entry in the header file hash table. */
|
||
|
||
static struct bfd_hash_entry *
|
||
aout_link_includes_newfunc (struct bfd_hash_entry *entry,
|
||
struct bfd_hash_table *table,
|
||
const char *string)
|
||
{
|
||
struct aout_link_includes_entry * ret =
|
||
(struct aout_link_includes_entry *) entry;
|
||
|
||
/* Allocate the structure if it has not already been allocated by a
|
||
subclass. */
|
||
if (ret == NULL)
|
||
ret = bfd_hash_allocate (table,
|
||
sizeof (struct aout_link_includes_entry));
|
||
if (ret == NULL)
|
||
return NULL;
|
||
|
||
/* Call the allocation method of the superclass. */
|
||
ret = ((struct aout_link_includes_entry *)
|
||
bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string));
|
||
if (ret)
|
||
/* Set local fields. */
|
||
ret->totals = NULL;
|
||
|
||
return (struct bfd_hash_entry *) ret;
|
||
}
|
||
|
||
/* Write out a symbol that was not associated with an a.out input
|
||
object. */
|
||
|
||
static bool
|
||
aout_link_write_other_symbol (struct bfd_hash_entry *bh, void *data)
|
||
{
|
||
struct aout_link_hash_entry *h = (struct aout_link_hash_entry *) bh;
|
||
struct aout_final_link_info *flaginfo = (struct aout_final_link_info *) data;
|
||
bfd *output_bfd;
|
||
int type;
|
||
bfd_vma val;
|
||
struct external_nlist outsym;
|
||
bfd_size_type indx;
|
||
size_t amt;
|
||
|
||
if (h->root.type == bfd_link_hash_warning)
|
||
{
|
||
h = (struct aout_link_hash_entry *) h->root.u.i.link;
|
||
if (h->root.type == bfd_link_hash_new)
|
||
return true;
|
||
}
|
||
|
||
output_bfd = flaginfo->output_bfd;
|
||
|
||
if (aout_backend_info (output_bfd)->write_dynamic_symbol != NULL)
|
||
{
|
||
if (! ((*aout_backend_info (output_bfd)->write_dynamic_symbol)
|
||
(output_bfd, flaginfo->info, h)))
|
||
{
|
||
/* FIXME: No way to handle errors. */
|
||
abort ();
|
||
}
|
||
}
|
||
|
||
if (h->written)
|
||
return true;
|
||
|
||
h->written = true;
|
||
|
||
/* An indx of -2 means the symbol must be written. */
|
||
if (h->indx != -2
|
||
&& (flaginfo->info->strip == strip_all
|
||
|| (flaginfo->info->strip == strip_some
|
||
&& bfd_hash_lookup (flaginfo->info->keep_hash, h->root.root.string,
|
||
false, false) == NULL)))
|
||
return true;
|
||
|
||
switch (h->root.type)
|
||
{
|
||
default:
|
||
abort ();
|
||
/* Avoid variable not initialized warnings. */
|
||
return true;
|
||
case bfd_link_hash_new:
|
||
/* This can happen for set symbols when sets are not being
|
||
built. */
|
||
return true;
|
||
case bfd_link_hash_undefined:
|
||
type = N_UNDF | N_EXT;
|
||
val = 0;
|
||
break;
|
||
case bfd_link_hash_defined:
|
||
case bfd_link_hash_defweak:
|
||
{
|
||
asection *sec;
|
||
|
||
sec = h->root.u.def.section->output_section;
|
||
BFD_ASSERT (bfd_is_abs_section (sec)
|
||
|| sec->owner == output_bfd);
|
||
if (sec == obj_textsec (output_bfd))
|
||
type = h->root.type == bfd_link_hash_defined ? N_TEXT : N_WEAKT;
|
||
else if (sec == obj_datasec (output_bfd))
|
||
type = h->root.type == bfd_link_hash_defined ? N_DATA : N_WEAKD;
|
||
else if (sec == obj_bsssec (output_bfd))
|
||
type = h->root.type == bfd_link_hash_defined ? N_BSS : N_WEAKB;
|
||
else
|
||
type = h->root.type == bfd_link_hash_defined ? N_ABS : N_WEAKA;
|
||
type |= N_EXT;
|
||
val = (h->root.u.def.value
|
||
+ sec->vma
|
||
+ h->root.u.def.section->output_offset);
|
||
}
|
||
break;
|
||
case bfd_link_hash_common:
|
||
type = N_UNDF | N_EXT;
|
||
val = h->root.u.c.size;
|
||
break;
|
||
case bfd_link_hash_undefweak:
|
||
type = N_WEAKU;
|
||
val = 0;
|
||
/* Fall through. */
|
||
case bfd_link_hash_indirect:
|
||
case bfd_link_hash_warning:
|
||
/* FIXME: Ignore these for now. The circumstances under which
|
||
they should be written out are not clear to me. */
|
||
return true;
|
||
}
|
||
|
||
H_PUT_8 (output_bfd, type, outsym.e_type);
|
||
H_PUT_8 (output_bfd, 0, outsym.e_ovly);
|
||
indx = add_to_stringtab (output_bfd, flaginfo->strtab, h->root.root.string,
|
||
false);
|
||
if (indx == (bfd_size_type) -1)
|
||
/* FIXME: No way to handle errors. */
|
||
abort ();
|
||
|
||
PUT_WORD (output_bfd, 0, outsym.e_desc);
|
||
PUT_WORD (output_bfd, indx, outsym.e_strx);
|
||
PUT_WORD (output_bfd, val, outsym.e_value);
|
||
|
||
amt = EXTERNAL_NLIST_SIZE;
|
||
if (bfd_seek (output_bfd, flaginfo->symoff, SEEK_SET) != 0
|
||
|| bfd_write (&outsym, amt, output_bfd) != amt)
|
||
/* FIXME: No way to handle errors. */
|
||
abort ();
|
||
|
||
flaginfo->symoff += amt;
|
||
h->indx = obj_aout_external_sym_count (output_bfd);
|
||
++obj_aout_external_sym_count (output_bfd);
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Handle a link order which is supposed to generate a reloc. */
|
||
|
||
static bool
|
||
aout_link_reloc_link_order (struct aout_final_link_info *flaginfo,
|
||
asection *o,
|
||
struct bfd_link_order *p)
|
||
{
|
||
struct bfd_link_order_reloc *pr;
|
||
int r_index;
|
||
int r_extern;
|
||
reloc_howto_type *howto;
|
||
file_ptr *reloff_ptr;
|
||
struct reloc_std_external srel;
|
||
void * rel_ptr;
|
||
bfd_size_type rel_size;
|
||
|
||
pr = p->u.reloc.p;
|
||
|
||
if (p->type == bfd_section_reloc_link_order)
|
||
{
|
||
r_extern = 0;
|
||
if (bfd_is_abs_section (pr->u.section))
|
||
r_index = N_ABS | N_EXT;
|
||
else
|
||
{
|
||
BFD_ASSERT (pr->u.section->owner == flaginfo->output_bfd);
|
||
r_index = pr->u.section->target_index;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
struct aout_link_hash_entry *h;
|
||
|
||
BFD_ASSERT (p->type == bfd_symbol_reloc_link_order);
|
||
r_extern = 1;
|
||
h = ((struct aout_link_hash_entry *)
|
||
bfd_wrapped_link_hash_lookup (flaginfo->output_bfd, flaginfo->info,
|
||
pr->u.name, false, false, true));
|
||
if (h != NULL
|
||
&& h->indx >= 0)
|
||
r_index = h->indx;
|
||
else if (h != NULL)
|
||
{
|
||
/* We decided to strip this symbol, but it turns out that we
|
||
can't. Note that we lose the other and desc information
|
||
here. I don't think that will ever matter for a global
|
||
symbol. */
|
||
h->indx = -2;
|
||
h->written = false;
|
||
if (!aout_link_write_other_symbol (&h->root.root, flaginfo))
|
||
return false;
|
||
r_index = h->indx;
|
||
}
|
||
else
|
||
{
|
||
(*flaginfo->info->callbacks->unattached_reloc)
|
||
(flaginfo->info, pr->u.name, NULL, NULL, (bfd_vma) 0);
|
||
r_index = 0;
|
||
}
|
||
}
|
||
|
||
howto = bfd_reloc_type_lookup (flaginfo->output_bfd, pr->reloc);
|
||
if (howto == 0)
|
||
{
|
||
bfd_set_error (bfd_error_bad_value);
|
||
return false;
|
||
}
|
||
|
||
if (o == obj_textsec (flaginfo->output_bfd))
|
||
reloff_ptr = &flaginfo->treloff;
|
||
else if (o == obj_datasec (flaginfo->output_bfd))
|
||
reloff_ptr = &flaginfo->dreloff;
|
||
else
|
||
abort ();
|
||
|
||
#ifdef MY_put_reloc
|
||
MY_put_reloc(flaginfo->output_bfd, r_extern, r_index, p->offset, howto,
|
||
&srel);
|
||
#else
|
||
{
|
||
int r_pcrel;
|
||
int r_baserel;
|
||
int r_jmptable;
|
||
int r_relative;
|
||
int r_length;
|
||
|
||
fprintf (stderr, "TODO: line %d in bfd/pdp11.c\n", __LINE__);
|
||
|
||
r_pcrel = howto->pc_relative;
|
||
r_baserel = (howto->type & 8) != 0;
|
||
r_jmptable = (howto->type & 16) != 0;
|
||
r_relative = (howto->type & 32) != 0;
|
||
r_length = bfd_log2 (bfd_get_reloc_size (howto));
|
||
|
||
PUT_WORD (flaginfo->output_bfd, p->offset, srel.r_address);
|
||
if (bfd_header_big_endian (flaginfo->output_bfd))
|
||
{
|
||
srel.r_index[0] = r_index >> 16;
|
||
srel.r_index[1] = r_index >> 8;
|
||
srel.r_index[2] = r_index;
|
||
srel.r_type[0] =
|
||
((r_extern ? RELOC_STD_BITS_EXTERN_BIG : 0)
|
||
| (r_pcrel ? RELOC_STD_BITS_PCREL_BIG : 0)
|
||
| (r_baserel ? RELOC_STD_BITS_BASEREL_BIG : 0)
|
||
| (r_jmptable ? RELOC_STD_BITS_JMPTABLE_BIG : 0)
|
||
| (r_relative ? RELOC_STD_BITS_RELATIVE_BIG : 0)
|
||
| (r_length << RELOC_STD_BITS_LENGTH_SH_BIG));
|
||
}
|
||
else
|
||
{
|
||
srel.r_index[2] = r_index >> 16;
|
||
srel.r_index[1] = r_index >> 8;
|
||
srel.r_index[0] = r_index;
|
||
srel.r_type[0] =
|
||
((r_extern ? RELOC_STD_BITS_EXTERN_LITTLE : 0)
|
||
| (r_pcrel ? RELOC_STD_BITS_PCREL_LITTLE : 0)
|
||
| (r_baserel ? RELOC_STD_BITS_BASEREL_LITTLE : 0)
|
||
| (r_jmptable ? RELOC_STD_BITS_JMPTABLE_LITTLE : 0)
|
||
| (r_relative ? RELOC_STD_BITS_RELATIVE_LITTLE : 0)
|
||
| (r_length << RELOC_STD_BITS_LENGTH_SH_LITTLE));
|
||
}
|
||
}
|
||
#endif
|
||
rel_ptr = (void *) &srel;
|
||
|
||
/* We have to write the addend into the object file, since
|
||
standard a.out relocs are in place. It would be more
|
||
reliable if we had the current contents of the file here,
|
||
rather than assuming zeroes, but we can't read the file since
|
||
it was opened using bfd_openw. */
|
||
if (pr->addend != 0)
|
||
{
|
||
bfd_size_type size;
|
||
bfd_reloc_status_type r;
|
||
bfd_byte *buf;
|
||
bool ok;
|
||
|
||
size = bfd_get_reloc_size (howto);
|
||
buf = bfd_zmalloc (size);
|
||
if (buf == NULL && size != 0)
|
||
return false;
|
||
r = MY_relocate_contents (howto, flaginfo->output_bfd,
|
||
pr->addend, buf);
|
||
switch (r)
|
||
{
|
||
case bfd_reloc_ok:
|
||
break;
|
||
default:
|
||
case bfd_reloc_outofrange:
|
||
abort ();
|
||
case bfd_reloc_overflow:
|
||
(*flaginfo->info->callbacks->reloc_overflow)
|
||
(flaginfo->info, NULL,
|
||
(p->type == bfd_section_reloc_link_order
|
||
? bfd_section_name (pr->u.section)
|
||
: pr->u.name),
|
||
howto->name, pr->addend, NULL,
|
||
(asection *) NULL, (bfd_vma) 0);
|
||
break;
|
||
}
|
||
ok = bfd_set_section_contents (flaginfo->output_bfd, o,
|
||
(void *) buf,
|
||
(file_ptr) p->offset,
|
||
size);
|
||
free (buf);
|
||
if (! ok)
|
||
return false;
|
||
}
|
||
|
||
rel_size = obj_reloc_entry_size (flaginfo->output_bfd);
|
||
if (bfd_seek (flaginfo->output_bfd, *reloff_ptr, SEEK_SET) != 0
|
||
|| bfd_write (rel_ptr, rel_size, flaginfo->output_bfd) != rel_size)
|
||
return false;
|
||
|
||
*reloff_ptr += rel_size;
|
||
|
||
/* Assert that the relocs have not run into the symbols, and that n
|
||
the text relocs have not run into the data relocs. */
|
||
BFD_ASSERT (*reloff_ptr <= obj_sym_filepos (flaginfo->output_bfd)
|
||
&& (reloff_ptr != &flaginfo->treloff
|
||
|| (*reloff_ptr
|
||
<= obj_datasec (flaginfo->output_bfd)->rel_filepos)));
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Get the section corresponding to a reloc index. */
|
||
|
||
static inline asection *
|
||
aout_reloc_type_to_section (bfd *abfd, int type)
|
||
{
|
||
switch (type)
|
||
{
|
||
case RTEXT: return obj_textsec (abfd);
|
||
case RDATA: return obj_datasec (abfd);
|
||
case RBSS: return obj_bsssec (abfd);
|
||
case RABS: return bfd_abs_section_ptr;
|
||
case REXT: return bfd_und_section_ptr;
|
||
default: abort ();
|
||
}
|
||
}
|
||
|
||
static bool
|
||
pdp11_aout_link_input_section (struct aout_final_link_info *flaginfo,
|
||
bfd *input_bfd,
|
||
asection *input_section,
|
||
bfd_byte *relocs,
|
||
bfd_size_type rel_size,
|
||
bfd_byte *contents)
|
||
{
|
||
bool (*check_dynamic_reloc)
|
||
(struct bfd_link_info *, bfd *, asection *,
|
||
struct aout_link_hash_entry *, void *, bfd_byte *, bool *, bfd_vma *);
|
||
bfd *output_bfd;
|
||
bool relocatable;
|
||
struct external_nlist *syms;
|
||
char *strings;
|
||
struct aout_link_hash_entry **sym_hashes;
|
||
int *symbol_map;
|
||
bfd_byte *rel;
|
||
bfd_byte *rel_end;
|
||
|
||
output_bfd = flaginfo->output_bfd;
|
||
check_dynamic_reloc = aout_backend_info (output_bfd)->check_dynamic_reloc;
|
||
|
||
BFD_ASSERT (obj_reloc_entry_size (input_bfd) == RELOC_SIZE);
|
||
BFD_ASSERT (input_bfd->xvec->header_byteorder
|
||
== output_bfd->xvec->header_byteorder);
|
||
|
||
relocatable = bfd_link_relocatable (flaginfo->info);
|
||
syms = obj_aout_external_syms (input_bfd);
|
||
strings = obj_aout_external_strings (input_bfd);
|
||
sym_hashes = obj_aout_sym_hashes (input_bfd);
|
||
symbol_map = flaginfo->symbol_map;
|
||
|
||
rel = relocs;
|
||
rel_end = rel + rel_size;
|
||
for (; rel < rel_end; rel += RELOC_SIZE)
|
||
{
|
||
bfd_vma r_addr;
|
||
int r_index;
|
||
int r_type;
|
||
int r_pcrel;
|
||
int r_extern;
|
||
reloc_howto_type *howto;
|
||
struct aout_link_hash_entry *h = NULL;
|
||
bfd_vma relocation;
|
||
bfd_reloc_status_type r;
|
||
int reloc_entry;
|
||
|
||
reloc_entry = GET_WORD (input_bfd, (void *) rel);
|
||
if (reloc_entry == 0)
|
||
continue;
|
||
|
||
{
|
||
unsigned int howto_idx;
|
||
|
||
r_index = (reloc_entry & RIDXMASK) >> 4;
|
||
r_type = reloc_entry & RTYPE;
|
||
r_pcrel = reloc_entry & RELFLG;
|
||
r_addr = (char *) rel - (char *) relocs;
|
||
|
||
r_extern = (r_type == REXT);
|
||
|
||
howto_idx = r_pcrel;
|
||
if (howto_idx < TABLE_SIZE (howto_table_pdp11))
|
||
howto = howto_table_pdp11 + howto_idx;
|
||
else
|
||
{
|
||
_bfd_error_handler (_("%pB: unsupported relocation type"),
|
||
input_bfd);
|
||
bfd_set_error (bfd_error_bad_value);
|
||
return false;
|
||
}
|
||
}
|
||
|
||
if (relocatable)
|
||
{
|
||
/* We are generating a relocatable output file, and must
|
||
modify the reloc accordingly. */
|
||
if (r_extern)
|
||
{
|
||
/* If we know the symbol this relocation is against,
|
||
convert it into a relocation against a section. This
|
||
is what the native linker does. */
|
||
h = sym_hashes[r_index];
|
||
if (h != NULL
|
||
&& (h->root.type == bfd_link_hash_defined
|
||
|| h->root.type == bfd_link_hash_defweak))
|
||
{
|
||
asection *output_section;
|
||
|
||
/* Compute a new r_index. */
|
||
output_section = h->root.u.def.section->output_section;
|
||
if (output_section == obj_textsec (output_bfd))
|
||
r_type = N_TEXT;
|
||
else if (output_section == obj_datasec (output_bfd))
|
||
r_type = N_DATA;
|
||
else if (output_section == obj_bsssec (output_bfd))
|
||
r_type = N_BSS;
|
||
else
|
||
r_type = N_ABS;
|
||
|
||
/* Add the symbol value and the section VMA to the
|
||
addend stored in the contents. */
|
||
relocation = (h->root.u.def.value
|
||
+ output_section->vma
|
||
+ h->root.u.def.section->output_offset);
|
||
}
|
||
else
|
||
{
|
||
/* We must change r_index according to the symbol
|
||
map. */
|
||
r_index = symbol_map[r_index];
|
||
|
||
if (r_index == -1)
|
||
{
|
||
if (h != NULL)
|
||
{
|
||
/* We decided to strip this symbol, but it
|
||
turns out that we can't. Note that we
|
||
lose the other and desc information here.
|
||
I don't think that will ever matter for a
|
||
global symbol. */
|
||
if (h->indx < 0)
|
||
{
|
||
h->indx = -2;
|
||
h->written = false;
|
||
if (!aout_link_write_other_symbol (&h->root.root,
|
||
flaginfo))
|
||
return false;
|
||
}
|
||
r_index = h->indx;
|
||
}
|
||
else
|
||
{
|
||
const char *name;
|
||
|
||
name = strings + GET_WORD (input_bfd,
|
||
syms[r_index].e_strx);
|
||
(*flaginfo->info->callbacks->unattached_reloc)
|
||
(flaginfo->info, name, input_bfd, input_section,
|
||
r_addr);
|
||
r_index = 0;
|
||
}
|
||
}
|
||
|
||
relocation = 0;
|
||
}
|
||
|
||
/* Write out the new r_index value. */
|
||
reloc_entry = GET_WORD (input_bfd, rel);
|
||
reloc_entry &= RIDXMASK;
|
||
reloc_entry |= r_index << 4;
|
||
PUT_WORD (input_bfd, reloc_entry, rel);
|
||
}
|
||
else
|
||
{
|
||
asection *section;
|
||
|
||
/* This is a relocation against a section. We must
|
||
adjust by the amount that the section moved. */
|
||
section = aout_reloc_type_to_section (input_bfd, r_type);
|
||
relocation = (section->output_section->vma
|
||
+ section->output_offset
|
||
- section->vma);
|
||
}
|
||
|
||
/* Change the address of the relocation. */
|
||
fprintf (stderr, "TODO: change the address of the relocation\n");
|
||
|
||
/* Adjust a PC relative relocation by removing the reference
|
||
to the original address in the section and including the
|
||
reference to the new address. */
|
||
if (r_pcrel)
|
||
relocation -= (input_section->output_section->vma
|
||
+ input_section->output_offset
|
||
- input_section->vma);
|
||
|
||
#ifdef MY_relocatable_reloc
|
||
MY_relocatable_reloc (howto, output_bfd, rel, relocation, r_addr);
|
||
#endif
|
||
|
||
if (relocation == 0)
|
||
r = bfd_reloc_ok;
|
||
else
|
||
r = MY_relocate_contents (howto,
|
||
input_bfd, relocation,
|
||
contents + r_addr);
|
||
}
|
||
else
|
||
{
|
||
bool hundef;
|
||
|
||
/* We are generating an executable, and must do a full
|
||
relocation. */
|
||
hundef = false;
|
||
if (r_extern)
|
||
{
|
||
h = sym_hashes[r_index];
|
||
|
||
if (h != NULL
|
||
&& (h->root.type == bfd_link_hash_defined
|
||
|| h->root.type == bfd_link_hash_defweak))
|
||
{
|
||
relocation = (h->root.u.def.value
|
||
+ h->root.u.def.section->output_section->vma
|
||
+ h->root.u.def.section->output_offset);
|
||
}
|
||
else if (h != NULL
|
||
&& h->root.type == bfd_link_hash_undefweak)
|
||
relocation = 0;
|
||
else
|
||
{
|
||
hundef = true;
|
||
relocation = 0;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
asection *section;
|
||
|
||
section = aout_reloc_type_to_section (input_bfd, r_type);
|
||
relocation = (section->output_section->vma
|
||
+ section->output_offset
|
||
- section->vma);
|
||
if (r_pcrel)
|
||
relocation += input_section->vma;
|
||
}
|
||
|
||
if (check_dynamic_reloc != NULL)
|
||
{
|
||
bool skip;
|
||
|
||
if (! ((*check_dynamic_reloc)
|
||
(flaginfo->info, input_bfd, input_section, h,
|
||
(void *) rel, contents, &skip, &relocation)))
|
||
return false;
|
||
if (skip)
|
||
continue;
|
||
}
|
||
|
||
/* Now warn if a global symbol is undefined. We could not
|
||
do this earlier, because check_dynamic_reloc might want
|
||
to skip this reloc. */
|
||
if (hundef && ! bfd_link_pic (flaginfo->info))
|
||
{
|
||
const char *name;
|
||
|
||
if (h != NULL)
|
||
name = h->root.root.string;
|
||
else
|
||
name = strings + GET_WORD (input_bfd, syms[r_index].e_strx);
|
||
(*flaginfo->info->callbacks->undefined_symbol)
|
||
(flaginfo->info, name, input_bfd, input_section,
|
||
r_addr, true);
|
||
}
|
||
|
||
r = MY_final_link_relocate (howto,
|
||
input_bfd, input_section,
|
||
contents, r_addr, relocation,
|
||
(bfd_vma) 0);
|
||
}
|
||
|
||
if (r != bfd_reloc_ok)
|
||
{
|
||
switch (r)
|
||
{
|
||
default:
|
||
case bfd_reloc_outofrange:
|
||
abort ();
|
||
case bfd_reloc_overflow:
|
||
{
|
||
const char *name;
|
||
|
||
if (h != NULL)
|
||
name = NULL;
|
||
else if (r_extern)
|
||
name = strings + GET_WORD (input_bfd,
|
||
syms[r_index].e_strx);
|
||
else
|
||
{
|
||
asection *s;
|
||
|
||
s = aout_reloc_type_to_section (input_bfd, r_type);
|
||
name = bfd_section_name (s);
|
||
}
|
||
(*flaginfo->info->callbacks->reloc_overflow)
|
||
(flaginfo->info, (h ? &h->root : NULL), name, howto->name,
|
||
(bfd_vma) 0, input_bfd, input_section, r_addr);
|
||
}
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Link an a.out section into the output file. */
|
||
|
||
static bool
|
||
aout_link_input_section (struct aout_final_link_info *flaginfo,
|
||
bfd *input_bfd,
|
||
asection *input_section,
|
||
file_ptr *reloff_ptr,
|
||
bfd_size_type rel_size)
|
||
{
|
||
bfd_size_type input_size;
|
||
void * relocs;
|
||
|
||
/* Get the section contents. */
|
||
input_size = input_section->size;
|
||
if (! bfd_get_section_contents (input_bfd, input_section,
|
||
(void *) flaginfo->contents,
|
||
(file_ptr) 0, input_size))
|
||
return false;
|
||
|
||
/* Read in the relocs if we haven't already done it. */
|
||
if (aout_section_data (input_section) != NULL
|
||
&& aout_section_data (input_section)->relocs != NULL)
|
||
relocs = aout_section_data (input_section)->relocs;
|
||
else
|
||
{
|
||
relocs = flaginfo->relocs;
|
||
if (rel_size > 0)
|
||
{
|
||
if (bfd_seek (input_bfd, input_section->rel_filepos, SEEK_SET) != 0
|
||
|| bfd_read (relocs, rel_size, input_bfd) != rel_size)
|
||
return false;
|
||
}
|
||
}
|
||
|
||
/* Relocate the section contents. */
|
||
if (! pdp11_aout_link_input_section (flaginfo, input_bfd, input_section,
|
||
(bfd_byte *) relocs,
|
||
rel_size, flaginfo->contents))
|
||
return false;
|
||
|
||
/* Write out the section contents. */
|
||
if (! bfd_set_section_contents (flaginfo->output_bfd,
|
||
input_section->output_section,
|
||
(void *) flaginfo->contents,
|
||
(file_ptr) input_section->output_offset,
|
||
input_size))
|
||
return false;
|
||
|
||
/* If we are producing relocatable output, the relocs were
|
||
modified, and we now write them out. */
|
||
if (bfd_link_relocatable (flaginfo->info) && rel_size > 0)
|
||
{
|
||
if (bfd_seek (flaginfo->output_bfd, *reloff_ptr, SEEK_SET) != 0)
|
||
return false;
|
||
if (bfd_write (relocs, rel_size, flaginfo->output_bfd) != rel_size)
|
||
return false;
|
||
*reloff_ptr += rel_size;
|
||
|
||
/* Assert that the relocs have not run into the symbols, and
|
||
that if these are the text relocs they have not run into the
|
||
data relocs. */
|
||
BFD_ASSERT (*reloff_ptr <= obj_sym_filepos (flaginfo->output_bfd)
|
||
&& (reloff_ptr != &flaginfo->treloff
|
||
|| (*reloff_ptr
|
||
<= obj_datasec (flaginfo->output_bfd)->rel_filepos)));
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Link an a.out input BFD into the output file. */
|
||
|
||
static bool
|
||
aout_link_input_bfd (struct aout_final_link_info *flaginfo, bfd *input_bfd)
|
||
{
|
||
BFD_ASSERT (bfd_get_format (input_bfd) == bfd_object);
|
||
|
||
/* If this is a dynamic object, it may need special handling. */
|
||
if ((input_bfd->flags & DYNAMIC) != 0
|
||
&& aout_backend_info (input_bfd)->link_dynamic_object != NULL)
|
||
return ((*aout_backend_info (input_bfd)->link_dynamic_object)
|
||
(flaginfo->info, input_bfd));
|
||
|
||
/* Get the symbols. We probably have them already, unless
|
||
flaginfo->info->keep_memory is FALSE. */
|
||
if (! aout_get_external_symbols (input_bfd))
|
||
return false;
|
||
|
||
/* Write out the symbols and get a map of the new indices. The map
|
||
is placed into flaginfo->symbol_map. */
|
||
if (! aout_link_write_symbols (flaginfo, input_bfd))
|
||
return false;
|
||
|
||
/* Relocate and write out the sections. These functions use the
|
||
symbol map created by aout_link_write_symbols. The linker_mark
|
||
field will be set if these sections are to be included in the
|
||
link, which will normally be the case. */
|
||
if (obj_textsec (input_bfd)->linker_mark)
|
||
{
|
||
if (! aout_link_input_section (flaginfo, input_bfd,
|
||
obj_textsec (input_bfd),
|
||
&flaginfo->treloff,
|
||
exec_hdr (input_bfd)->a_trsize))
|
||
return false;
|
||
}
|
||
if (obj_datasec (input_bfd)->linker_mark)
|
||
{
|
||
if (! aout_link_input_section (flaginfo, input_bfd,
|
||
obj_datasec (input_bfd),
|
||
&flaginfo->dreloff,
|
||
exec_hdr (input_bfd)->a_drsize))
|
||
return false;
|
||
}
|
||
|
||
/* If we are not keeping memory, we don't need the symbols any
|
||
longer. We still need them if we are keeping memory, because the
|
||
strings in the hash table point into them. */
|
||
if (! flaginfo->info->keep_memory)
|
||
{
|
||
if (! aout_link_free_symbols (input_bfd))
|
||
return false;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Do the final link step. This is called on the output BFD. The
|
||
INFO structure should point to a list of BFDs linked through the
|
||
link.next field which can be used to find each BFD which takes part
|
||
in the output. Also, each section in ABFD should point to a list
|
||
of bfd_link_order structures which list all the input sections for
|
||
the output section. */
|
||
|
||
bool
|
||
NAME (aout, final_link) (bfd *abfd,
|
||
struct bfd_link_info *info,
|
||
void (*callback) (bfd *, file_ptr *, file_ptr *, file_ptr *))
|
||
{
|
||
struct aout_final_link_info aout_info;
|
||
bool includes_hash_initialized = false;
|
||
bfd *sub;
|
||
bfd_size_type trsize, drsize;
|
||
bfd_size_type max_contents_size;
|
||
bfd_size_type max_relocs_size;
|
||
bfd_size_type max_sym_count;
|
||
struct bfd_link_order *p;
|
||
asection *o;
|
||
bool have_link_order_relocs;
|
||
|
||
if (bfd_link_pic (info))
|
||
abfd->flags |= DYNAMIC;
|
||
|
||
separate_i_d = info->separate_code;
|
||
aout_info.info = info;
|
||
aout_info.output_bfd = abfd;
|
||
aout_info.contents = NULL;
|
||
aout_info.relocs = NULL;
|
||
aout_info.symbol_map = NULL;
|
||
aout_info.output_syms = NULL;
|
||
|
||
if (!bfd_hash_table_init_n (&aout_info.includes.root,
|
||
aout_link_includes_newfunc,
|
||
sizeof (struct aout_link_includes_entry),
|
||
251))
|
||
goto error_return;
|
||
includes_hash_initialized = true;
|
||
|
||
/* Figure out the largest section size. Also, if generating
|
||
relocatable output, count the relocs. */
|
||
trsize = 0;
|
||
drsize = 0;
|
||
max_contents_size = 0;
|
||
max_relocs_size = 0;
|
||
max_sym_count = 0;
|
||
for (sub = info->input_bfds; sub != NULL; sub = sub->link.next)
|
||
{
|
||
size_t sz;
|
||
|
||
if (bfd_link_relocatable (info))
|
||
{
|
||
if (bfd_get_flavour (sub) == bfd_target_aout_flavour)
|
||
{
|
||
trsize += exec_hdr (sub)->a_trsize;
|
||
drsize += exec_hdr (sub)->a_drsize;
|
||
}
|
||
else
|
||
{
|
||
/* FIXME: We need to identify the .text and .data sections
|
||
and call get_reloc_upper_bound and canonicalize_reloc to
|
||
work out the number of relocs needed, and then multiply
|
||
by the reloc size. */
|
||
_bfd_error_handler
|
||
/* xgettext:c-format */
|
||
(_("%pB: relocatable link from %s to %s not supported"),
|
||
abfd, sub->xvec->name, abfd->xvec->name);
|
||
bfd_set_error (bfd_error_invalid_operation);
|
||
goto error_return;
|
||
}
|
||
}
|
||
|
||
if (bfd_get_flavour (sub) == bfd_target_aout_flavour)
|
||
{
|
||
sz = obj_textsec (sub)->size;
|
||
if (sz > max_contents_size)
|
||
max_contents_size = sz;
|
||
sz = obj_datasec (sub)->size;
|
||
if (sz > max_contents_size)
|
||
max_contents_size = sz;
|
||
|
||
sz = exec_hdr (sub)->a_trsize;
|
||
if (sz > max_relocs_size)
|
||
max_relocs_size = sz;
|
||
sz = exec_hdr (sub)->a_drsize;
|
||
if (sz > max_relocs_size)
|
||
max_relocs_size = sz;
|
||
|
||
sz = obj_aout_external_sym_count (sub);
|
||
if (sz > max_sym_count)
|
||
max_sym_count = sz;
|
||
}
|
||
}
|
||
|
||
if (bfd_link_relocatable (info))
|
||
{
|
||
if (obj_textsec (abfd) != NULL)
|
||
trsize += (_bfd_count_link_order_relocs (obj_textsec (abfd)
|
||
->map_head.link_order)
|
||
* obj_reloc_entry_size (abfd));
|
||
if (obj_datasec (abfd) != NULL)
|
||
drsize += (_bfd_count_link_order_relocs (obj_datasec (abfd)
|
||
->map_head.link_order)
|
||
* obj_reloc_entry_size (abfd));
|
||
}
|
||
|
||
exec_hdr (abfd)->a_trsize = trsize;
|
||
exec_hdr (abfd)->a_drsize = drsize;
|
||
exec_hdr (abfd)->a_entry = bfd_get_start_address (abfd);
|
||
|
||
/* Adjust the section sizes and vmas according to the magic number.
|
||
This sets a_text, a_data and a_bss in the exec_hdr and sets the
|
||
filepos for each section. */
|
||
if (! NAME (aout, adjust_sizes_and_vmas) (abfd))
|
||
goto error_return;
|
||
|
||
/* The relocation and symbol file positions differ among a.out
|
||
targets. We are passed a callback routine from the backend
|
||
specific code to handle this.
|
||
FIXME: At this point we do not know how much space the symbol
|
||
table will require. This will not work for any (nonstandard)
|
||
a.out target that needs to know the symbol table size before it
|
||
can compute the relocation file positions. */
|
||
(*callback) (abfd, &aout_info.treloff, &aout_info.dreloff,
|
||
&aout_info.symoff);
|
||
obj_textsec (abfd)->rel_filepos = aout_info.treloff;
|
||
obj_datasec (abfd)->rel_filepos = aout_info.dreloff;
|
||
obj_sym_filepos (abfd) = aout_info.symoff;
|
||
|
||
/* We keep a count of the symbols as we output them. */
|
||
obj_aout_external_sym_count (abfd) = 0;
|
||
|
||
/* We accumulate the string table as we write out the symbols. */
|
||
aout_info.strtab = _bfd_stringtab_init ();
|
||
if (aout_info.strtab == NULL)
|
||
goto error_return;
|
||
|
||
/* Allocate buffers to hold section contents and relocs. */
|
||
aout_info.contents = bfd_malloc (max_contents_size);
|
||
aout_info.relocs = bfd_malloc (max_relocs_size);
|
||
aout_info.symbol_map = bfd_malloc (max_sym_count * sizeof (int *));
|
||
aout_info.output_syms = bfd_malloc ((max_sym_count + 1)
|
||
* sizeof (struct external_nlist));
|
||
if ((aout_info.contents == NULL && max_contents_size != 0)
|
||
|| (aout_info.relocs == NULL && max_relocs_size != 0)
|
||
|| (aout_info.symbol_map == NULL && max_sym_count != 0)
|
||
|| aout_info.output_syms == NULL)
|
||
goto error_return;
|
||
|
||
/* If we have a symbol named __DYNAMIC, force it out now. This is
|
||
required by SunOS. Doing this here rather than in sunos.c is a
|
||
hack, but it's easier than exporting everything which would be
|
||
needed. */
|
||
{
|
||
struct aout_link_hash_entry *h;
|
||
|
||
h = aout_link_hash_lookup (aout_hash_table (info), "__DYNAMIC",
|
||
false, false, false);
|
||
if (h != NULL)
|
||
aout_link_write_other_symbol (&h->root.root, &aout_info);
|
||
}
|
||
|
||
/* The most time efficient way to do the link would be to read all
|
||
the input object files into memory and then sort out the
|
||
information into the output file. Unfortunately, that will
|
||
probably use too much memory. Another method would be to step
|
||
through everything that composes the text section and write it
|
||
out, and then everything that composes the data section and write
|
||
it out, and then write out the relocs, and then write out the
|
||
symbols. Unfortunately, that requires reading stuff from each
|
||
input file several times, and we will not be able to keep all the
|
||
input files open simultaneously, and reopening them will be slow.
|
||
|
||
What we do is basically process one input file at a time. We do
|
||
everything we need to do with an input file once--copy over the
|
||
section contents, handle the relocation information, and write
|
||
out the symbols--and then we throw away the information we read
|
||
from it. This approach requires a lot of lseeks of the output
|
||
file, which is unfortunate but still faster than reopening a lot
|
||
of files.
|
||
|
||
We use the output_has_begun field of the input BFDs to see
|
||
whether we have already handled it. */
|
||
for (sub = info->input_bfds; sub != NULL; sub = sub->link.next)
|
||
sub->output_has_begun = false;
|
||
|
||
/* Mark all sections which are to be included in the link. This
|
||
will normally be every section. We need to do this so that we
|
||
can identify any sections which the linker has decided to not
|
||
include. */
|
||
for (o = abfd->sections; o != NULL; o = o->next)
|
||
{
|
||
for (p = o->map_head.link_order; p != NULL; p = p->next)
|
||
if (p->type == bfd_indirect_link_order)
|
||
p->u.indirect.section->linker_mark = true;
|
||
}
|
||
|
||
have_link_order_relocs = false;
|
||
for (o = abfd->sections; o != NULL; o = o->next)
|
||
{
|
||
for (p = o->map_head.link_order;
|
||
p != NULL;
|
||
p = p->next)
|
||
{
|
||
if (p->type == bfd_indirect_link_order
|
||
&& (bfd_get_flavour (p->u.indirect.section->owner)
|
||
== bfd_target_aout_flavour))
|
||
{
|
||
bfd *input_bfd;
|
||
|
||
input_bfd = p->u.indirect.section->owner;
|
||
if (! input_bfd->output_has_begun)
|
||
{
|
||
if (! aout_link_input_bfd (&aout_info, input_bfd))
|
||
goto error_return;
|
||
input_bfd->output_has_begun = true;
|
||
}
|
||
}
|
||
else if (p->type == bfd_section_reloc_link_order
|
||
|| p->type == bfd_symbol_reloc_link_order)
|
||
/* These are handled below. */
|
||
have_link_order_relocs = true;
|
||
else
|
||
{
|
||
if (! _bfd_default_link_order (abfd, info, o, p))
|
||
goto error_return;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Write out any symbols that we have not already written out. */
|
||
bfd_hash_traverse (&info->hash->table,
|
||
aout_link_write_other_symbol,
|
||
&aout_info);
|
||
|
||
/* Now handle any relocs we were asked to create by the linker.
|
||
These did not come from any input file. We must do these after
|
||
we have written out all the symbols, so that we know the symbol
|
||
indices to use. */
|
||
if (have_link_order_relocs)
|
||
{
|
||
for (o = abfd->sections; o != NULL; o = o->next)
|
||
{
|
||
for (p = o->map_head.link_order;
|
||
p != NULL;
|
||
p = p->next)
|
||
{
|
||
if (p->type == bfd_section_reloc_link_order
|
||
|| p->type == bfd_symbol_reloc_link_order)
|
||
{
|
||
if (! aout_link_reloc_link_order (&aout_info, o, p))
|
||
goto error_return;
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
free (aout_info.contents);
|
||
aout_info.contents = NULL;
|
||
free (aout_info.relocs);
|
||
aout_info.relocs = NULL;
|
||
free (aout_info.symbol_map);
|
||
aout_info.symbol_map = NULL;
|
||
free (aout_info.output_syms);
|
||
aout_info.output_syms = NULL;
|
||
if (includes_hash_initialized)
|
||
{
|
||
bfd_hash_table_free (&aout_info.includes.root);
|
||
includes_hash_initialized = false;
|
||
}
|
||
|
||
/* Finish up any dynamic linking we may be doing. */
|
||
if (aout_backend_info (abfd)->finish_dynamic_link != NULL)
|
||
{
|
||
if (! (*aout_backend_info (abfd)->finish_dynamic_link) (abfd, info))
|
||
goto error_return;
|
||
}
|
||
|
||
/* Update the header information. */
|
||
abfd->symcount = obj_aout_external_sym_count (abfd);
|
||
exec_hdr (abfd)->a_syms = abfd->symcount * EXTERNAL_NLIST_SIZE;
|
||
obj_str_filepos (abfd) = obj_sym_filepos (abfd) + exec_hdr (abfd)->a_syms;
|
||
obj_textsec (abfd)->reloc_count =
|
||
exec_hdr (abfd)->a_trsize / obj_reloc_entry_size (abfd);
|
||
obj_datasec (abfd)->reloc_count =
|
||
exec_hdr (abfd)->a_drsize / obj_reloc_entry_size (abfd);
|
||
|
||
/* Write out the string table, unless there are no symbols. */
|
||
if (abfd->symcount > 0)
|
||
{
|
||
if (bfd_seek (abfd, obj_str_filepos (abfd), SEEK_SET) != 0
|
||
|| ! emit_stringtab (abfd, aout_info.strtab))
|
||
goto error_return;
|
||
}
|
||
else if (obj_textsec (abfd)->reloc_count == 0
|
||
&& obj_datasec (abfd)->reloc_count == 0)
|
||
{
|
||
/* The layout of a typical a.out file is header, text, data,
|
||
relocs, symbols, string table. When there are no relocs,
|
||
symbols or string table, the last thing in the file is data
|
||
and a_data may be rounded up. However we may have a smaller
|
||
sized .data section and thus not written final padding. The
|
||
same thing can happen with text if there is no data. Write
|
||
final padding here to extend the file. */
|
||
file_ptr pos = 0;
|
||
|
||
if (exec_hdr (abfd)->a_data > obj_datasec (abfd)->size)
|
||
pos = obj_datasec (abfd)->filepos + exec_hdr (abfd)->a_data;
|
||
else if (obj_datasec (abfd)->size == 0
|
||
&& exec_hdr (abfd)->a_text > obj_textsec (abfd)->size)
|
||
pos = obj_textsec (abfd)->filepos + exec_hdr (abfd)->a_text;
|
||
if (pos != 0)
|
||
{
|
||
bfd_byte b = 0;
|
||
|
||
if (bfd_seek (abfd, pos - 1, SEEK_SET) != 0
|
||
|| bfd_write (&b, 1, abfd) != 1)
|
||
goto error_return;
|
||
}
|
||
}
|
||
|
||
return true;
|
||
|
||
error_return:
|
||
free (aout_info.contents);
|
||
free (aout_info.relocs);
|
||
free (aout_info.symbol_map);
|
||
free (aout_info.output_syms);
|
||
if (includes_hash_initialized)
|
||
bfd_hash_table_free (&aout_info.includes.root);
|
||
return false;
|
||
}
|
||
|
||
/* Adjust and write out the symbols for an a.out file. Set the new
|
||
symbol indices into a symbol_map. */
|
||
|
||
static bool
|
||
aout_link_write_symbols (struct aout_final_link_info *flaginfo, bfd *input_bfd)
|
||
{
|
||
bfd *output_bfd;
|
||
bfd_size_type sym_count;
|
||
char *strings;
|
||
enum bfd_link_strip strip;
|
||
enum bfd_link_discard discard;
|
||
struct external_nlist *outsym;
|
||
bfd_size_type strtab_index;
|
||
struct external_nlist *sym;
|
||
struct external_nlist *sym_end;
|
||
struct aout_link_hash_entry **sym_hash;
|
||
int *symbol_map;
|
||
bool pass;
|
||
bool skip_next;
|
||
|
||
output_bfd = flaginfo->output_bfd;
|
||
sym_count = obj_aout_external_sym_count (input_bfd);
|
||
strings = obj_aout_external_strings (input_bfd);
|
||
strip = flaginfo->info->strip;
|
||
discard = flaginfo->info->discard;
|
||
outsym = flaginfo->output_syms;
|
||
|
||
/* First write out a symbol for this object file, unless we are
|
||
discarding such symbols. */
|
||
if (strip != strip_all
|
||
&& (strip != strip_some
|
||
|| bfd_hash_lookup (flaginfo->info->keep_hash,
|
||
bfd_get_filename (input_bfd),
|
||
false, false) != NULL)
|
||
&& discard != discard_all)
|
||
{
|
||
H_PUT_8 (output_bfd, N_TEXT, outsym->e_type);
|
||
H_PUT_8 (output_bfd, 0, outsym->e_ovly);
|
||
H_PUT_16 (output_bfd, 0, outsym->e_desc);
|
||
strtab_index = add_to_stringtab (output_bfd, flaginfo->strtab,
|
||
bfd_get_filename (input_bfd), false);
|
||
if (strtab_index == (bfd_size_type) -1)
|
||
return false;
|
||
PUT_WORD (output_bfd, strtab_index, outsym->e_strx);
|
||
PUT_WORD (output_bfd,
|
||
(bfd_section_vma (obj_textsec (input_bfd)->output_section)
|
||
+ obj_textsec (input_bfd)->output_offset),
|
||
outsym->e_value);
|
||
++obj_aout_external_sym_count (output_bfd);
|
||
++outsym;
|
||
}
|
||
|
||
pass = false;
|
||
skip_next = false;
|
||
sym = obj_aout_external_syms (input_bfd);
|
||
sym_end = sym + sym_count;
|
||
sym_hash = obj_aout_sym_hashes (input_bfd);
|
||
symbol_map = flaginfo->symbol_map;
|
||
memset (symbol_map, 0, (size_t) sym_count * sizeof *symbol_map);
|
||
for (; sym < sym_end; sym++, sym_hash++, symbol_map++)
|
||
{
|
||
const char *name;
|
||
int type;
|
||
struct aout_link_hash_entry *h;
|
||
bool skip;
|
||
asection *symsec;
|
||
bfd_vma val = 0;
|
||
bool copy;
|
||
|
||
/* We set *symbol_map to 0 above for all symbols. If it has
|
||
already been set to -1 for this symbol, it means that we are
|
||
discarding it because it appears in a duplicate header file.
|
||
See the N_BINCL code below. */
|
||
if (*symbol_map == -1)
|
||
continue;
|
||
|
||
/* Initialize *symbol_map to -1, which means that the symbol was
|
||
not copied into the output file. We will change it later if
|
||
we do copy the symbol over. */
|
||
*symbol_map = -1;
|
||
|
||
type = H_GET_8 (input_bfd, sym->e_type);
|
||
name = strings + GET_WORD (input_bfd, sym->e_strx);
|
||
|
||
h = NULL;
|
||
|
||
if (pass)
|
||
{
|
||
/* Pass this symbol through. It is the target of an
|
||
indirect or warning symbol. */
|
||
val = GET_WORD (input_bfd, sym->e_value);
|
||
pass = false;
|
||
}
|
||
else if (skip_next)
|
||
{
|
||
/* Skip this symbol, which is the target of an indirect
|
||
symbol that we have changed to no longer be an indirect
|
||
symbol. */
|
||
skip_next = false;
|
||
continue;
|
||
}
|
||
else
|
||
{
|
||
struct aout_link_hash_entry *hresolve;
|
||
|
||
/* We have saved the hash table entry for this symbol, if
|
||
there is one. Note that we could just look it up again
|
||
in the hash table, provided we first check that it is an
|
||
external symbol. */
|
||
h = *sym_hash;
|
||
|
||
/* Use the name from the hash table, in case the symbol was
|
||
wrapped. */
|
||
if (h != NULL)
|
||
name = h->root.root.string;
|
||
|
||
/* If this is an indirect or warning symbol, then change
|
||
hresolve to the base symbol. We also change *sym_hash so
|
||
that the relocation routines relocate against the real
|
||
symbol. */
|
||
hresolve = h;
|
||
if (h != NULL
|
||
&& (h->root.type == bfd_link_hash_indirect
|
||
|| h->root.type == bfd_link_hash_warning))
|
||
{
|
||
hresolve = (struct aout_link_hash_entry *) h->root.u.i.link;
|
||
while (hresolve->root.type == bfd_link_hash_indirect
|
||
|| hresolve->root.type == bfd_link_hash_warning)
|
||
hresolve = ((struct aout_link_hash_entry *)
|
||
hresolve->root.u.i.link);
|
||
*sym_hash = hresolve;
|
||
}
|
||
|
||
/* If the symbol has already been written out, skip it. */
|
||
if (h != NULL
|
||
&& h->root.type != bfd_link_hash_warning
|
||
&& h->written)
|
||
{
|
||
if ((type & N_TYPE) == N_INDR
|
||
|| type == N_WARNING)
|
||
skip_next = true;
|
||
*symbol_map = h->indx;
|
||
continue;
|
||
}
|
||
|
||
/* See if we are stripping this symbol. */
|
||
skip = false;
|
||
switch (strip)
|
||
{
|
||
case strip_none:
|
||
break;
|
||
case strip_debugger:
|
||
if (is_stab (type, name))
|
||
skip = true;
|
||
break;
|
||
case strip_some:
|
||
if (bfd_hash_lookup (flaginfo->info->keep_hash, name,
|
||
false, false) == NULL)
|
||
skip = true;
|
||
break;
|
||
case strip_all:
|
||
skip = true;
|
||
break;
|
||
}
|
||
if (skip)
|
||
{
|
||
if (h != NULL)
|
||
h->written = true;
|
||
continue;
|
||
}
|
||
|
||
/* Get the value of the symbol. */
|
||
if (is_stab (type, name))
|
||
{
|
||
switch (type)
|
||
{
|
||
default:
|
||
symsec = bfd_abs_section_ptr;
|
||
break;
|
||
case N_SO:
|
||
case N_SOL:
|
||
case N_FUN:
|
||
case N_ENTRY:
|
||
case N_SLINE:
|
||
case N_FN:
|
||
symsec = obj_textsec (input_bfd);
|
||
break;
|
||
case N_STSYM:
|
||
case N_DSLINE:
|
||
symsec = obj_datasec (input_bfd);
|
||
break;
|
||
case N_LCSYM:
|
||
case N_BSLINE:
|
||
symsec = obj_bsssec (input_bfd);
|
||
break;
|
||
}
|
||
val = GET_WORD (input_bfd, sym->e_value);
|
||
}
|
||
else if ((type & N_TYPE) == N_TEXT
|
||
|| type == N_WEAKT)
|
||
symsec = obj_textsec (input_bfd);
|
||
else if ((type & N_TYPE) == N_DATA
|
||
|| type == N_WEAKD)
|
||
symsec = obj_datasec (input_bfd);
|
||
else if ((type & N_TYPE) == N_BSS
|
||
|| type == N_WEAKB)
|
||
symsec = obj_bsssec (input_bfd);
|
||
else if ((type & N_TYPE) == N_ABS
|
||
|| type == N_WEAKA)
|
||
symsec = bfd_abs_section_ptr;
|
||
else if (((type & N_TYPE) == N_INDR
|
||
&& (hresolve == NULL
|
||
|| (hresolve->root.type != bfd_link_hash_defined
|
||
&& hresolve->root.type != bfd_link_hash_defweak
|
||
&& hresolve->root.type != bfd_link_hash_common)))
|
||
|| type == N_WARNING)
|
||
{
|
||
/* Pass the next symbol through unchanged. The
|
||
condition above for indirect symbols is so that if
|
||
the indirect symbol was defined, we output it with
|
||
the correct definition so the debugger will
|
||
understand it. */
|
||
pass = true;
|
||
val = GET_WORD (input_bfd, sym->e_value);
|
||
symsec = NULL;
|
||
}
|
||
else
|
||
{
|
||
/* If we get here with an indirect symbol, it means that
|
||
we are outputting it with a real definition. In such
|
||
a case we do not want to output the next symbol,
|
||
which is the target of the indirection. */
|
||
if ((type & N_TYPE) == N_INDR)
|
||
skip_next = true;
|
||
|
||
symsec = NULL;
|
||
|
||
/* We need to get the value from the hash table. We use
|
||
hresolve so that if we have defined an indirect
|
||
symbol we output the final definition. */
|
||
if (h == NULL)
|
||
{
|
||
switch (type & N_TYPE)
|
||
{
|
||
case N_SETT:
|
||
symsec = obj_textsec (input_bfd);
|
||
break;
|
||
case N_SETD:
|
||
symsec = obj_datasec (input_bfd);
|
||
break;
|
||
case N_SETB:
|
||
symsec = obj_bsssec (input_bfd);
|
||
break;
|
||
case N_SETA:
|
||
symsec = bfd_abs_section_ptr;
|
||
break;
|
||
default:
|
||
val = 0;
|
||
break;
|
||
}
|
||
}
|
||
else if (hresolve->root.type == bfd_link_hash_defined
|
||
|| hresolve->root.type == bfd_link_hash_defweak)
|
||
{
|
||
asection *input_section;
|
||
asection *output_section;
|
||
|
||
/* This case usually means a common symbol which was
|
||
turned into a defined symbol. */
|
||
input_section = hresolve->root.u.def.section;
|
||
output_section = input_section->output_section;
|
||
BFD_ASSERT (bfd_is_abs_section (output_section)
|
||
|| output_section->owner == output_bfd);
|
||
val = (hresolve->root.u.def.value
|
||
+ bfd_section_vma (output_section)
|
||
+ input_section->output_offset);
|
||
|
||
/* Get the correct type based on the section. If
|
||
this is a constructed set, force it to be
|
||
globally visible. */
|
||
if (type == N_SETT
|
||
|| type == N_SETD
|
||
|| type == N_SETB
|
||
|| type == N_SETA)
|
||
type |= N_EXT;
|
||
|
||
type &=~ N_TYPE;
|
||
|
||
if (output_section == obj_textsec (output_bfd))
|
||
type |= (hresolve->root.type == bfd_link_hash_defined
|
||
? N_TEXT
|
||
: N_WEAKT);
|
||
else if (output_section == obj_datasec (output_bfd))
|
||
type |= (hresolve->root.type == bfd_link_hash_defined
|
||
? N_DATA
|
||
: N_WEAKD);
|
||
else if (output_section == obj_bsssec (output_bfd))
|
||
type |= (hresolve->root.type == bfd_link_hash_defined
|
||
? N_BSS
|
||
: N_WEAKB);
|
||
else
|
||
type |= (hresolve->root.type == bfd_link_hash_defined
|
||
? N_ABS
|
||
: N_WEAKA);
|
||
}
|
||
else if (hresolve->root.type == bfd_link_hash_common)
|
||
val = hresolve->root.u.c.size;
|
||
else if (hresolve->root.type == bfd_link_hash_undefweak)
|
||
{
|
||
val = 0;
|
||
type = N_WEAKU;
|
||
}
|
||
else
|
||
val = 0;
|
||
}
|
||
if (symsec != NULL)
|
||
val = (symsec->output_section->vma
|
||
+ symsec->output_offset
|
||
+ (GET_WORD (input_bfd, sym->e_value)
|
||
- symsec->vma));
|
||
|
||
/* If this is a global symbol set the written flag, and if
|
||
it is a local symbol see if we should discard it. */
|
||
if (h != NULL)
|
||
{
|
||
h->written = true;
|
||
h->indx = obj_aout_external_sym_count (output_bfd);
|
||
}
|
||
else if ((type & N_TYPE) != N_SETT
|
||
&& (type & N_TYPE) != N_SETD
|
||
&& (type & N_TYPE) != N_SETB
|
||
&& (type & N_TYPE) != N_SETA)
|
||
{
|
||
switch (discard)
|
||
{
|
||
case discard_none:
|
||
case discard_sec_merge:
|
||
break;
|
||
case discard_l:
|
||
if (!is_stab (type, name)
|
||
&& bfd_is_local_label_name (input_bfd, name))
|
||
skip = true;
|
||
break;
|
||
case discard_all:
|
||
skip = true;
|
||
break;
|
||
}
|
||
if (skip)
|
||
{
|
||
pass = false;
|
||
continue;
|
||
}
|
||
}
|
||
|
||
/* An N_BINCL symbol indicates the start of the stabs
|
||
entries for a header file. We need to scan ahead to the
|
||
next N_EINCL symbol, ignoring nesting, adding up all the
|
||
characters in the symbol names, not including the file
|
||
numbers in types (the first number after an open
|
||
parenthesis). */
|
||
if (type == N_BINCL)
|
||
{
|
||
struct external_nlist *incl_sym;
|
||
int nest;
|
||
struct aout_link_includes_entry *incl_entry;
|
||
struct aout_link_includes_totals *t;
|
||
|
||
val = 0;
|
||
nest = 0;
|
||
for (incl_sym = sym + 1; incl_sym < sym_end; incl_sym++)
|
||
{
|
||
int incl_type;
|
||
|
||
incl_type = H_GET_8 (input_bfd, incl_sym->e_type);
|
||
if (incl_type == N_EINCL)
|
||
{
|
||
if (nest == 0)
|
||
break;
|
||
--nest;
|
||
}
|
||
else if (incl_type == N_BINCL)
|
||
++nest;
|
||
else if (nest == 0)
|
||
{
|
||
const char *s;
|
||
|
||
s = strings + GET_WORD (input_bfd, incl_sym->e_strx);
|
||
for (; *s != '\0'; s++)
|
||
{
|
||
val += *s;
|
||
if (*s == '(')
|
||
{
|
||
/* Skip the file number. */
|
||
++s;
|
||
while (ISDIGIT (*s))
|
||
++s;
|
||
--s;
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
/* If we have already included a header file with the
|
||
same value, then replace this one with an N_EXCL
|
||
symbol. */
|
||
copy = ! flaginfo->info->keep_memory;
|
||
incl_entry = aout_link_includes_lookup (&flaginfo->includes,
|
||
name, true, copy);
|
||
if (incl_entry == NULL)
|
||
return false;
|
||
for (t = incl_entry->totals; t != NULL; t = t->next)
|
||
if (t->total == val)
|
||
break;
|
||
if (t == NULL)
|
||
{
|
||
/* This is the first time we have seen this header
|
||
file with this set of stabs strings. */
|
||
t = bfd_hash_allocate (&flaginfo->includes.root,
|
||
sizeof *t);
|
||
if (t == NULL)
|
||
return false;
|
||
t->total = val;
|
||
t->next = incl_entry->totals;
|
||
incl_entry->totals = t;
|
||
}
|
||
else
|
||
{
|
||
int *incl_map;
|
||
|
||
/* This is a duplicate header file. We must change
|
||
it to be an N_EXCL entry, and mark all the
|
||
included symbols to prevent outputting them. */
|
||
type = N_EXCL;
|
||
|
||
nest = 0;
|
||
for (incl_sym = sym + 1, incl_map = symbol_map + 1;
|
||
incl_sym < sym_end;
|
||
incl_sym++, incl_map++)
|
||
{
|
||
int incl_type;
|
||
|
||
incl_type = H_GET_8 (input_bfd, incl_sym->e_type);
|
||
if (incl_type == N_EINCL)
|
||
{
|
||
if (nest == 0)
|
||
{
|
||
*incl_map = -1;
|
||
break;
|
||
}
|
||
--nest;
|
||
}
|
||
else if (incl_type == N_BINCL)
|
||
++nest;
|
||
else if (nest == 0)
|
||
*incl_map = -1;
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Copy this symbol into the list of symbols we are going to
|
||
write out. */
|
||
H_PUT_8 (output_bfd, type, outsym->e_type);
|
||
H_PUT_8 (output_bfd, H_GET_8 (input_bfd, sym->e_ovly), outsym->e_ovly);
|
||
H_PUT_16 (output_bfd, H_GET_16 (input_bfd, sym->e_desc), outsym->e_desc);
|
||
copy = false;
|
||
if (! flaginfo->info->keep_memory)
|
||
{
|
||
/* name points into a string table which we are going to
|
||
free. If there is a hash table entry, use that string.
|
||
Otherwise, copy name into memory. */
|
||
if (h != NULL)
|
||
name = h->root.root.string;
|
||
else
|
||
copy = true;
|
||
}
|
||
strtab_index = add_to_stringtab (output_bfd, flaginfo->strtab,
|
||
name, copy);
|
||
if (strtab_index == (bfd_size_type) -1)
|
||
return false;
|
||
PUT_WORD (output_bfd, strtab_index, outsym->e_strx);
|
||
PUT_WORD (output_bfd, val, outsym->e_value);
|
||
*symbol_map = obj_aout_external_sym_count (output_bfd);
|
||
++obj_aout_external_sym_count (output_bfd);
|
||
++outsym;
|
||
}
|
||
|
||
/* Write out the output symbols we have just constructed. */
|
||
if (outsym > flaginfo->output_syms)
|
||
{
|
||
bfd_size_type size;
|
||
|
||
if (bfd_seek (output_bfd, flaginfo->symoff, SEEK_SET) != 0)
|
||
return false;
|
||
size = outsym - flaginfo->output_syms;
|
||
size *= EXTERNAL_NLIST_SIZE;
|
||
if (bfd_write (flaginfo->output_syms, size, output_bfd) != size)
|
||
return false;
|
||
flaginfo->symoff += size;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Write out a symbol that was not associated with an a.out input
|
||
object. */
|
||
|
||
static bfd_vma
|
||
bfd_getp32 (const void *p)
|
||
{
|
||
const bfd_byte *addr = p;
|
||
unsigned long v;
|
||
|
||
v = (unsigned long) addr[1] << 24;
|
||
v |= (unsigned long) addr[0] << 16;
|
||
v |= (unsigned long) addr[3] << 8;
|
||
v |= (unsigned long) addr[2];
|
||
return v;
|
||
}
|
||
|
||
#define COERCE32(x) (((bfd_signed_vma) (x) ^ 0x80000000) - 0x80000000)
|
||
|
||
static bfd_signed_vma
|
||
bfd_getp_signed_32 (const void *p)
|
||
{
|
||
const bfd_byte *addr = p;
|
||
unsigned long v;
|
||
|
||
v = (unsigned long) addr[1] << 24;
|
||
v |= (unsigned long) addr[0] << 16;
|
||
v |= (unsigned long) addr[3] << 8;
|
||
v |= (unsigned long) addr[2];
|
||
return COERCE32 (v);
|
||
}
|
||
|
||
static void
|
||
bfd_putp32 (bfd_vma data, void *p)
|
||
{
|
||
bfd_byte *addr = p;
|
||
|
||
addr[0] = (data >> 16) & 0xff;
|
||
addr[1] = (data >> 24) & 0xff;
|
||
addr[2] = (data >> 0) & 0xff;
|
||
addr[3] = (data >> 8) & 0xff;
|
||
}
|
||
|
||
const bfd_target MY (vec) =
|
||
{
|
||
TARGETNAME, /* Name. */
|
||
bfd_target_aout_flavour,
|
||
BFD_ENDIAN_LITTLE, /* Target byte order (little). */
|
||
BFD_ENDIAN_LITTLE, /* Target headers byte order (little). */
|
||
(HAS_RELOC | EXEC_P | /* Object flags. */
|
||
HAS_LINENO | HAS_DEBUG |
|
||
HAS_SYMS | HAS_LOCALS | WP_TEXT),
|
||
(SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_CODE | SEC_DATA),
|
||
MY_symbol_leading_char,
|
||
AR_PAD_CHAR, /* AR_pad_char. */
|
||
15, /* AR_max_namelen. */
|
||
0, /* match priority. */
|
||
TARGET_KEEP_UNUSED_SECTION_SYMBOLS, /* keep unused section symbols. */
|
||
bfd_getl64, bfd_getl_signed_64, bfd_putl64,
|
||
bfd_getp32, bfd_getp_signed_32, bfd_putp32,
|
||
bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* Data. */
|
||
bfd_getl64, bfd_getl_signed_64, bfd_putl64,
|
||
bfd_getp32, bfd_getp_signed_32, bfd_putp32,
|
||
bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* Headers. */
|
||
{ /* bfd_check_format. */
|
||
_bfd_dummy_target,
|
||
MY_object_p,
|
||
bfd_generic_archive_p,
|
||
MY_core_file_p
|
||
},
|
||
{ /* bfd_set_format. */
|
||
_bfd_bool_bfd_false_error,
|
||
MY_mkobject,
|
||
_bfd_generic_mkarchive,
|
||
_bfd_bool_bfd_false_error
|
||
},
|
||
{ /* bfd_write_contents. */
|
||
_bfd_bool_bfd_false_error,
|
||
MY_write_object_contents,
|
||
_bfd_write_archive_contents,
|
||
_bfd_bool_bfd_false_error
|
||
},
|
||
|
||
BFD_JUMP_TABLE_GENERIC (MY),
|
||
BFD_JUMP_TABLE_COPY (MY),
|
||
BFD_JUMP_TABLE_CORE (MY),
|
||
BFD_JUMP_TABLE_ARCHIVE (MY),
|
||
BFD_JUMP_TABLE_SYMBOLS (MY),
|
||
BFD_JUMP_TABLE_RELOCS (MY),
|
||
BFD_JUMP_TABLE_WRITE (MY),
|
||
BFD_JUMP_TABLE_LINK (MY),
|
||
BFD_JUMP_TABLE_DYNAMIC (MY),
|
||
|
||
/* Alternative_target. */
|
||
NULL,
|
||
|
||
(void *) MY_backend_data
|
||
};
|