Google Git
Sign in
gnu / binutils-gdb / 4076f962e8cd73219dfd48a6f682df1ab391c48c / . / binutils / objcopy.c
blob: 24e31cc58052363a428322253ec51fb19f4ce013 [file] [log] [blame]
/* objcopy.c -- copy object file from input to output, optionally massaging it.
Copyright (C) 1991-2024 Free Software Foundation, Inc.
This file is part of GNU Binutils.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA
02110-1301, USA. */
#include "sysdep.h"
#include "bfd.h"
#include "getopt.h"
#include "libiberty.h"
#include "bucomm.h"
#include "budbg.h"
#include "filenames.h"
#include "fnmatch.h"
#include "elf-bfd.h"
#include "coff/internal.h"
#include "libcoff.h"
#include "safe-ctype.h"
/* FIXME: See bfd/peXXigen.c for why we include an architecture specific
header in generic PE code. */
#include "coff/i386.h"
#include "coff/pe.h"
static bfd_vma pe_file_alignment = (bfd_vma) -1;
static bfd_vma pe_heap_commit = (bfd_vma) -1;
static bfd_vma pe_heap_reserve = (bfd_vma) -1;
static bfd_vma pe_image_base = (bfd_vma) -1;
static bfd_vma pe_section_alignment = (bfd_vma) -1;
static bfd_vma pe_stack_commit = (bfd_vma) -1;
static bfd_vma pe_stack_reserve = (bfd_vma) -1;
static short pe_subsystem = -1;
static short pe_major_subsystem_version = -1;
static short pe_minor_subsystem_version = -1;
struct is_specified_symbol_predicate_data
{
const char *name;
bool found;
};
/* A node includes symbol name mapping to support redefine_sym. */
struct redefine_node
{
char *source;
char *target;
};
struct addsym_node
{
struct addsym_node *next;
char * symdef;
long symval;
flagword flags;
char * section;
const char * othersym;
};
typedef struct section_rename
{
const char * old_name;
const char * new_name;
flagword flags;
struct section_rename * next;
}
section_rename;
/* List of sections to be renamed. */
static section_rename *section_rename_list;
static asymbol **isympp = NULL; /* Input symbols. */
static asymbol **osympp = NULL; /* Output symbols that survive stripping. */
/* If `copy_byte' >= 0, copy 'copy_width' byte(s) of every `interleave' bytes. */
static int copy_byte = -1;
static int interleave = 0; /* Initialised to 4 in copy_main(). */
static int copy_width = 1;
static bool keep_section_symbols = false ;/* True if section symbols should be retained. */
static bool verbose; /* Print file and target names. */
static bool preserve_dates; /* Preserve input file timestamp. */
static int deterministic = -1; /* Enable deterministic archives. */
static int status = 0; /* Exit status. */
static bool merge_notes = false; /* Merge note sections. */
static bool strip_section_headers = false;/* Strip section headers. */
typedef struct merged_note_section
{
asection * sec; /* The section that is being merged. */
bfd_byte * contents;/* New contents of the section. */
bfd_size_type size; /* New size of the section. */
struct merged_note_section * next; /* Link to next merged note section. */
} merged_note_section;
enum strip_action
{
STRIP_UNDEF,
STRIP_NONE, /* Don't strip. */
STRIP_DEBUG, /* Strip all debugger symbols. */
STRIP_UNNEEDED, /* Strip unnecessary symbols. */
STRIP_NONDEBUG, /* Strip everything but debug info. */
STRIP_DWO, /* Strip all DWO info. */
STRIP_NONDWO, /* Strip everything but DWO info. */
STRIP_ALL /* Strip all symbols. */
};
/* Which symbols to remove. */
static enum strip_action strip_symbols = STRIP_UNDEF;
enum locals_action
{
LOCALS_UNDEF,
LOCALS_START_L, /* Discard locals starting with L. */
LOCALS_ALL /* Discard all locals. */
};
/* Which local symbols to remove. Overrides STRIP_ALL. */
static enum locals_action discard_locals;
/* Structure used to hold lists of sections and actions to take. */
struct section_list
{
struct section_list *next; /* Next section to change. */
const char *pattern; /* Section name pattern. */
bool used; /* Whether this entry was used. */
unsigned int context; /* What to do with matching sections. */
/* Flag bits used in the context field.
COPY and REMOVE are mutually exlusive.
SET and ALTER are mutually exclusive. */
#define SECTION_CONTEXT_REMOVE (1 << 0) /* Remove this section. */
#define SECTION_CONTEXT_COPY (1 << 1) /* Copy this section, delete all non-copied section. */
#define SECTION_CONTEXT_KEEP (1 << 2) /* Keep this section. */
#define SECTION_CONTEXT_SET_VMA (1 << 3) /* Set the sections' VMA address. */
#define SECTION_CONTEXT_ALTER_VMA (1 << 4) /* Increment or decrement the section's VMA address. */
#define SECTION_CONTEXT_SET_LMA (1 << 5) /* Set the sections' LMA address. */
#define SECTION_CONTEXT_ALTER_LMA (1 << 6) /* Increment or decrement the section's LMA address. */
#define SECTION_CONTEXT_SET_FLAGS (1 << 7) /* Set the section's flags. */
#define SECTION_CONTEXT_REMOVE_RELOCS (1 << 8) /* Remove relocations for this section. */
#define SECTION_CONTEXT_SET_ALIGNMENT (1 << 9) /* Set alignment for section. */
bfd_vma vma_val; /* Amount to change by or set to. */
bfd_vma lma_val; /* Amount to change by or set to. */
flagword flags; /* What to set the section flags to. */
unsigned int alignment; /* Alignment of output section. */
};
static struct section_list *change_sections;
/* TRUE if some sections are to be removed. */
static bool sections_removed;
/* TRUE if only some sections are to be copied. */
static bool sections_copied;
/* Changes to the start address. */
static bfd_vma change_start = 0;
static bool set_start_set = false;
static bfd_vma set_start;
/* Changes to section addresses. */
static bfd_vma change_section_address = 0;
/* Filling gaps between sections. */
static bool gap_fill_set = false;
static bfd_byte gap_fill = 0;
/* Pad to a given address. */
static bool pad_to_set = false;
static bfd_vma pad_to;
/* Use alternative machine code? */
static unsigned long use_alt_mach_code = 0;
/* Output BFD flags user wants to set or clear */
static flagword bfd_flags_to_set;
static flagword bfd_flags_to_clear;
/* List of sections to add. */
struct section_add
{
/* Next section to add. */
struct section_add *next;
/* Name of section to add. */
const char *name;
/* Name of file holding section contents. */
const char *filename;
/* Size of file. */
size_t size;
/* Contents of file. */
bfd_byte *contents;
/* BFD section, after it has been added. */
asection *section;
};
/* List of sections to add to the output BFD. */
static struct section_add *add_sections;
/* List of sections to update in the output BFD. */
static struct section_add *update_sections;
/* List of sections to dump from the output BFD. */
static struct section_add *dump_sections;
/* If non-NULL the argument to --add-gnu-debuglink.
This should be the filename to store in the .gnu_debuglink section. */
static const char * gnu_debuglink_filename = NULL;
/* Whether to convert debugging information. */
static bool convert_debugging = false;
/* Whether to compress/decompress DWARF debug sections. */
static enum
{
nothing = 0,
compress = 1 << 0,
compress_zlib = compress | 1 << 1,
compress_gnu_zlib = compress | 1 << 2,
compress_gabi_zlib = compress | 1 << 3,
compress_zstd = compress | 1 << 4,
decompress = 1 << 5
} do_debug_sections = nothing;
/* Whether to generate ELF common symbols with the STT_COMMON type. */
static enum bfd_link_elf_stt_common do_elf_stt_common = unchanged;
/* Whether to change the leading character in symbol names. */
static bool change_leading_char = false;
/* Whether to remove the leading character from global symbol names. */
static bool remove_leading_char = false;
/* Whether to permit wildcard in symbol comparison. */
static bool wildcard = false;
/* True if --localize-hidden is in effect. */
static bool localize_hidden = false;
/* List of symbols to strip, keep, localize, keep-global, weaken,
or redefine. */
static htab_t strip_specific_htab = NULL;
static htab_t strip_unneeded_htab = NULL;
static htab_t keep_specific_htab = NULL;
static htab_t localize_specific_htab = NULL;
static htab_t globalize_specific_htab = NULL;
static htab_t keepglobal_specific_htab = NULL;
static htab_t weaken_specific_htab = NULL;
static htab_t redefine_specific_htab = NULL;
static htab_t redefine_specific_reverse_htab = NULL;
static struct addsym_node *add_sym_list = NULL, **add_sym_tail = &add_sym_list;
static int add_symbols = 0;
static char *strip_specific_buffer = NULL;
static char *strip_unneeded_buffer = NULL;
static char *keep_specific_buffer = NULL;
static char *localize_specific_buffer = NULL;
static char *globalize_specific_buffer = NULL;
static char *keepglobal_specific_buffer = NULL;
static char *weaken_specific_buffer = NULL;
/* If this is TRUE, we weaken global symbols (set BSF_WEAK). */
static bool weaken = false;
/* If this is TRUE, we retain BSF_FILE symbols. */
static bool keep_file_symbols = false;
/* Prefix symbols/sections. */
static char *prefix_symbols_string = 0;
static char *prefix_sections_string = 0;
static char *prefix_alloc_sections_string = 0;
/* True if --extract-symbol was passed on the command line. */
static bool extract_symbol = false;
/* If `reverse_bytes' is nonzero, then reverse the order of every chunk
of <reverse_bytes> bytes within each output section. */
static int reverse_bytes = 0;
/* For Coff objects, we may want to allow or disallow long section names,
or preserve them where found in the inputs. Debug info relies on them. */
enum long_section_name_handling
{
DISABLE,
ENABLE,
KEEP
};
/* The default long section handling mode is to preserve them.
This is also the only behaviour for 'strip'. */
static enum long_section_name_handling long_section_names = KEEP;
/* 150 isn't special; it's just an arbitrary non-ASCII char value. */
enum command_line_switch
{
OPTION_ADD_SECTION=150,
OPTION_ADD_GNU_DEBUGLINK,
OPTION_ADD_SYMBOL,
OPTION_ALT_MACH_CODE,
OPTION_CHANGE_ADDRESSES,
OPTION_CHANGE_LEADING_CHAR,
OPTION_CHANGE_SECTION_ADDRESS,
OPTION_CHANGE_SECTION_LMA,
OPTION_CHANGE_SECTION_VMA,
OPTION_CHANGE_START,
OPTION_CHANGE_WARNINGS,
OPTION_COMPRESS_DEBUG_SECTIONS,
OPTION_DEBUGGING,
OPTION_DECOMPRESS_DEBUG_SECTIONS,
OPTION_DUMP_SECTION,
OPTION_ELF_STT_COMMON,
OPTION_EXTRACT_DWO,
OPTION_EXTRACT_SYMBOL,
OPTION_FILE_ALIGNMENT,
OPTION_FORMATS_INFO,
OPTION_GAP_FILL,
OPTION_GLOBALIZE_SYMBOL,
OPTION_GLOBALIZE_SYMBOLS,
OPTION_HEAP,
OPTION_IMAGE_BASE,
OPTION_IMPURE,
OPTION_INTERLEAVE_WIDTH,
OPTION_KEEPGLOBAL_SYMBOLS,
OPTION_KEEP_FILE_SYMBOLS,
OPTION_KEEP_SECTION,
OPTION_KEEP_SYMBOLS,
OPTION_KEEP_SECTION_SYMBOLS,
OPTION_LOCALIZE_HIDDEN,
OPTION_LOCALIZE_SYMBOLS,
OPTION_LONG_SECTION_NAMES,
OPTION_MERGE_NOTES,
OPTION_NO_MERGE_NOTES,
OPTION_NO_CHANGE_WARNINGS,
OPTION_ONLY_KEEP_DEBUG,
OPTION_PAD_TO,
OPTION_PREFIX_ALLOC_SECTIONS,
OPTION_PREFIX_SECTIONS,
OPTION_PREFIX_SYMBOLS,
OPTION_PURE,
OPTION_READONLY_TEXT,
OPTION_REDEFINE_SYM,
OPTION_REDEFINE_SYMS,
OPTION_REMOVE_LEADING_CHAR,
OPTION_REMOVE_RELOCS,
OPTION_RENAME_SECTION,
OPTION_REVERSE_BYTES,
OPTION_PE_SECTION_ALIGNMENT,
OPTION_SET_SECTION_FLAGS,
OPTION_SET_SECTION_ALIGNMENT,
OPTION_SET_START,
OPTION_SREC_FORCES3,
OPTION_SREC_LEN,
OPTION_STACK,
OPTION_STRIP_DWO,
OPTION_STRIP_SECTION_HEADERS,
OPTION_STRIP_SYMBOLS,
OPTION_STRIP_UNNEEDED,
OPTION_STRIP_UNNEEDED_SYMBOL,
OPTION_STRIP_UNNEEDED_SYMBOLS,
OPTION_SUBSYSTEM,
OPTION_UPDATE_SECTION,
OPTION_VERILOG_DATA_WIDTH,
OPTION_WEAKEN,
OPTION_WEAKEN_SYMBOLS,
OPTION_WRITABLE_TEXT
};
/* Options to handle if running as "strip". */
static struct option strip_options[] =
{
{"disable-deterministic-archives", no_argument, 0, 'U'},
{"discard-all", no_argument, 0, 'x'},
{"discard-locals", no_argument, 0, 'X'},
{"enable-deterministic-archives", no_argument, 0, 'D'},
{"format", required_argument, 0, 'F'}, /* Obsolete */
{"help", no_argument, 0, 'h'},
{"info", no_argument, 0, OPTION_FORMATS_INFO},
{"input-format", required_argument, 0, 'I'}, /* Obsolete */
{"input-target", required_argument, 0, 'I'},
{"keep-section-symbols", no_argument, 0, OPTION_KEEP_SECTION_SYMBOLS},
{"keep-file-symbols", no_argument, 0, OPTION_KEEP_FILE_SYMBOLS},
{"keep-section", required_argument, 0, OPTION_KEEP_SECTION},
{"keep-symbol", required_argument, 0, 'K'},
{"merge-notes", no_argument, 0, 'M'},
{"no-merge-notes", no_argument, 0, OPTION_NO_MERGE_NOTES},
{"only-keep-debug", no_argument, 0, OPTION_ONLY_KEEP_DEBUG},
{"output-file", required_argument, 0, 'o'},
{"output-format", required_argument, 0, 'O'}, /* Obsolete */
{"output-target", required_argument, 0, 'O'},
{"preserve-dates", no_argument, 0, 'p'},
{"remove-section", required_argument, 0, 'R'},
{"remove-relocations", required_argument, 0, OPTION_REMOVE_RELOCS},
{"strip-section-headers", no_argument, 0, OPTION_STRIP_SECTION_HEADERS},
{"strip-all", no_argument, 0, 's'},
{"strip-debug", no_argument, 0, 'S'},
{"strip-dwo", no_argument, 0, OPTION_STRIP_DWO},
{"strip-symbol", required_argument, 0, 'N'},
{"strip-unneeded", no_argument, 0, OPTION_STRIP_UNNEEDED},
{"target", required_argument, 0, 'F'},
{"verbose", no_argument, 0, 'v'},
{"version", no_argument, 0, 'V'},
{"wildcard", no_argument, 0, 'w'},
{0, no_argument, 0, 0}
};
/* Options to handle if running as "objcopy". */
static struct option copy_options[] =
{
{"add-gnu-debuglink", required_argument, 0, OPTION_ADD_GNU_DEBUGLINK},
{"add-section", required_argument, 0, OPTION_ADD_SECTION},
{"add-symbol", required_argument, 0, OPTION_ADD_SYMBOL},
{"adjust-section-vma", required_argument, 0, OPTION_CHANGE_SECTION_ADDRESS},
{"adjust-start", required_argument, 0, OPTION_CHANGE_START},
{"adjust-vma", required_argument, 0, OPTION_CHANGE_ADDRESSES},
{"adjust-warnings", no_argument, 0, OPTION_CHANGE_WARNINGS},
{"alt-machine-code", required_argument, 0, OPTION_ALT_MACH_CODE},
{"binary-architecture", required_argument, 0, 'B'},
{"byte", required_argument, 0, 'b'},
{"change-addresses", required_argument, 0, OPTION_CHANGE_ADDRESSES},
{"change-leading-char", no_argument, 0, OPTION_CHANGE_LEADING_CHAR},
{"change-section-address", required_argument, 0, OPTION_CHANGE_SECTION_ADDRESS},
{"change-section-lma", required_argument, 0, OPTION_CHANGE_SECTION_LMA},
{"change-section-vma", required_argument, 0, OPTION_CHANGE_SECTION_VMA},
{"change-start", required_argument, 0, OPTION_CHANGE_START},
{"change-warnings", no_argument, 0, OPTION_CHANGE_WARNINGS},
{"compress-debug-sections", optional_argument, 0, OPTION_COMPRESS_DEBUG_SECTIONS},
{"debugging", no_argument, 0, OPTION_DEBUGGING},
{"decompress-debug-sections", no_argument, 0, OPTION_DECOMPRESS_DEBUG_SECTIONS},
{"disable-deterministic-archives", no_argument, 0, 'U'},
{"discard-all", no_argument, 0, 'x'},
{"discard-locals", no_argument, 0, 'X'},
{"dump-section", required_argument, 0, OPTION_DUMP_SECTION},
{"elf-stt-common", required_argument, 0, OPTION_ELF_STT_COMMON},
{"enable-deterministic-archives", no_argument, 0, 'D'},
{"extract-dwo", no_argument, 0, OPTION_EXTRACT_DWO},
{"extract-symbol", no_argument, 0, OPTION_EXTRACT_SYMBOL},
{"file-alignment", required_argument, 0, OPTION_FILE_ALIGNMENT},
{"format", required_argument, 0, 'F'}, /* Obsolete */
{"gap-fill", required_argument, 0, OPTION_GAP_FILL},
{"globalize-symbol", required_argument, 0, OPTION_GLOBALIZE_SYMBOL},
{"globalize-symbols", required_argument, 0, OPTION_GLOBALIZE_SYMBOLS},
{"heap", required_argument, 0, OPTION_HEAP},
{"help", no_argument, 0, 'h'},
{"image-base", required_argument, 0 , OPTION_IMAGE_BASE},
{"impure", no_argument, 0, OPTION_IMPURE},
{"info", no_argument, 0, OPTION_FORMATS_INFO},
{"input-format", required_argument, 0, 'I'}, /* Obsolete */
{"input-target", required_argument, 0, 'I'},
{"interleave", optional_argument, 0, 'i'},
{"interleave-width", required_argument, 0, OPTION_INTERLEAVE_WIDTH},
{"keep-file-symbols", no_argument, 0, OPTION_KEEP_FILE_SYMBOLS},
{"keep-global-symbol", required_argument, 0, 'G'},
{"keep-global-symbols", required_argument, 0, OPTION_KEEPGLOBAL_SYMBOLS},
{"keep-section", required_argument, 0, OPTION_KEEP_SECTION},
{"keep-symbol", required_argument, 0, 'K'},
{"keep-symbols", required_argument, 0, OPTION_KEEP_SYMBOLS},
{"keep-section-symbols", required_argument, 0, OPTION_KEEP_SECTION_SYMBOLS},
{"localize-hidden", no_argument, 0, OPTION_LOCALIZE_HIDDEN},
{"localize-symbol", required_argument, 0, 'L'},
{"localize-symbols", required_argument, 0, OPTION_LOCALIZE_SYMBOLS},
{"long-section-names", required_argument, 0, OPTION_LONG_SECTION_NAMES},
{"merge-notes", no_argument, 0, 'M'},
{"no-merge-notes", no_argument, 0, OPTION_NO_MERGE_NOTES},
{"no-adjust-warnings", no_argument, 0, OPTION_NO_CHANGE_WARNINGS},
{"no-change-warnings", no_argument, 0, OPTION_NO_CHANGE_WARNINGS},
{"only-keep-debug", no_argument, 0, OPTION_ONLY_KEEP_DEBUG},
{"only-section", required_argument, 0, 'j'},
{"output-format", required_argument, 0, 'O'}, /* Obsolete */
{"output-target", required_argument, 0, 'O'},
{"pad-to", required_argument, 0, OPTION_PAD_TO},
{"prefix-alloc-sections", required_argument, 0, OPTION_PREFIX_ALLOC_SECTIONS},
{"prefix-sections", required_argument, 0, OPTION_PREFIX_SECTIONS},
{"prefix-symbols", required_argument, 0, OPTION_PREFIX_SYMBOLS},
{"preserve-dates", no_argument, 0, 'p'},
{"pure", no_argument, 0, OPTION_PURE},
{"readonly-text", no_argument, 0, OPTION_READONLY_TEXT},
{"redefine-sym", required_argument, 0, OPTION_REDEFINE_SYM},
{"redefine-syms", required_argument, 0, OPTION_REDEFINE_SYMS},
{"remove-leading-char", no_argument, 0, OPTION_REMOVE_LEADING_CHAR},
{"remove-section", required_argument, 0, 'R'},
{"remove-relocations", required_argument, 0, OPTION_REMOVE_RELOCS},
{"strip-section-headers", no_argument, 0, OPTION_STRIP_SECTION_HEADERS},
{"rename-section", required_argument, 0, OPTION_RENAME_SECTION},
{"reverse-bytes", required_argument, 0, OPTION_REVERSE_BYTES},
{"section-alignment", required_argument, 0, OPTION_PE_SECTION_ALIGNMENT},
{"set-section-flags", required_argument, 0, OPTION_SET_SECTION_FLAGS},
{"set-section-alignment", required_argument, 0, OPTION_SET_SECTION_ALIGNMENT},
{"set-start", required_argument, 0, OPTION_SET_START},
{"srec-forceS3", no_argument, 0, OPTION_SREC_FORCES3},
{"srec-len", required_argument, 0, OPTION_SREC_LEN},
{"stack", required_argument, 0, OPTION_STACK},
{"strip-all", no_argument, 0, 'S'},
{"strip-debug", no_argument, 0, 'g'},
{"strip-dwo", no_argument, 0, OPTION_STRIP_DWO},
{"strip-symbol", required_argument, 0, 'N'},
{"strip-symbols", required_argument, 0, OPTION_STRIP_SYMBOLS},
{"strip-unneeded", no_argument, 0, OPTION_STRIP_UNNEEDED},
{"strip-unneeded-symbol", required_argument, 0, OPTION_STRIP_UNNEEDED_SYMBOL},
{"strip-unneeded-symbols", required_argument, 0, OPTION_STRIP_UNNEEDED_SYMBOLS},
{"subsystem", required_argument, 0, OPTION_SUBSYSTEM},
{"target", required_argument, 0, 'F'},
{"update-section", required_argument, 0, OPTION_UPDATE_SECTION},
{"verbose", no_argument, 0, 'v'},
{"verilog-data-width", required_argument, 0, OPTION_VERILOG_DATA_WIDTH},
{"version", no_argument, 0, 'V'},
{"weaken", no_argument, 0, OPTION_WEAKEN},
{"weaken-symbol", required_argument, 0, 'W'},
{"weaken-symbols", required_argument, 0, OPTION_WEAKEN_SYMBOLS},
{"wildcard", no_argument, 0, 'w'},
{"writable-text", no_argument, 0, OPTION_WRITABLE_TEXT},
{0, no_argument, 0, 0}
};
/* IMPORTS */
extern char *program_name;
/* This flag distinguishes between strip and objcopy:
1 means this is 'strip'; 0 means this is 'objcopy'.
-1 means if we should use argv[0] to decide. */
extern int is_strip;
/* The maximum length of an S record. This variable is defined in srec.c
and can be modified by the --srec-len parameter. */
extern unsigned int _bfd_srec_len;
/* Restrict the generation of Srecords to type S3 only.
This variable is defined in bfd/srec.c and can be toggled
on by the --srec-forceS3 command line switch. */
extern bool _bfd_srec_forceS3;
/* Width of data in bytes for verilog output.
This variable is declared in bfd/verilog.c and can be modified by
the --verilog-data-width parameter. */
extern unsigned int VerilogDataWidth;
/* Endianness of data for verilog output.
This variable is declared in bfd/verilog.c and is set in the
copy_object() function. */
extern enum bfd_endian VerilogDataEndianness;
/* Forward declarations. */
static bool setup_section (bfd *, asection *, bfd *);
static bool setup_bfd_headers (bfd *, bfd *);
static bool copy_relocations_in_section (bfd *, asection *, bfd *);
static bool copy_section (bfd *, asection *, bfd *);
static int compare_section_lma (const void *, const void *);
static bool mark_symbols_used_in_relocations (bfd *, asection *, asymbol **);
static bool write_debugging_info (bfd *, void *, long *, asymbol ***);
static const char *lookup_sym_redefinition (const char *);
static const char *find_section_rename (const char *, flagword *);
ATTRIBUTE_NORETURN static void
copy_usage (FILE *stream, int exit_status)
{
fprintf (stream, _("Usage: %s [option(s)] in-file [out-file]\n"), program_name);
fprintf (stream, _(" Copies a binary file, possibly transforming it in the process\n"));
fprintf (stream, _(" The options are:\n"));
fprintf (stream, _("\
-I --input-target <bfdname> Assume input file is in format <bfdname>\n\
-O --output-target <bfdname> Create an output file in format <bfdname>\n\
-B --binary-architecture <arch> Set output arch, when input is arch-less\n\
-F --target <bfdname> Set both input and output format to <bfdname>\n\
--debugging Convert debugging information, if possible\n\
-p --preserve-dates Copy modified/access timestamps to the output\n"));
if (DEFAULT_AR_DETERMINISTIC)
fprintf (stream, _("\
-D --enable-deterministic-archives\n\
Produce deterministic output when stripping archives (default)\n\
-U --disable-deterministic-archives\n\
Disable -D behavior\n"));
else
fprintf (stream, _("\
-D --enable-deterministic-archives\n\
Produce deterministic output when stripping archives\n\
-U --disable-deterministic-archives\n\
Disable -D behavior (default)\n"));
fprintf (stream, _("\
-j --only-section <name> Only copy section <name> into the output\n\
--add-gnu-debuglink=<file> Add section .gnu_debuglink linking to <file>\n\
-R --remove-section <name> Remove section <name> from the output\n\
--remove-relocations <name> Remove relocations from section <name>\n\
--strip-section-headers Strip section header from the output\n\
-S --strip-all Remove all symbol and relocation information\n\
-g --strip-debug Remove all debugging symbols & sections\n\
--strip-dwo Remove all DWO sections\n\
--strip-unneeded Remove all symbols not needed by relocations\n\
-N --strip-symbol <name> Do not copy symbol <name>\n\
--strip-unneeded-symbol <name>\n\
Do not copy symbol <name> unless needed by\n\
relocations\n\
--only-keep-debug Strip everything but the debug information\n\
--extract-dwo Copy only DWO sections\n\
--extract-symbol Remove section contents but keep symbols\n\
--keep-section <name> Do not strip section <name>\n\
-K --keep-symbol <name> Do not strip symbol <name>\n\
--keep-section-symbols Do not strip section symbols\n\
--keep-file-symbols Do not strip file symbol(s)\n\
--localize-hidden Turn all ELF hidden symbols into locals\n\
-L --localize-symbol <name> Force symbol <name> to be marked as a local\n\
--globalize-symbol <name> Force symbol <name> to be marked as a global\n\
-G --keep-global-symbol <name> Localize all symbols except <name>\n\
-W --weaken-symbol <name> Force symbol <name> to be marked as a weak\n\
--weaken Force all global symbols to be marked as weak\n\
-w --wildcard Permit wildcard in symbol comparison\n\
-x --discard-all Remove all non-global symbols\n\
-X --discard-locals Remove any compiler-generated symbols\n\
-i --interleave[=<number>] Only copy N out of every <number> bytes\n\
--interleave-width <number> Set N for --interleave\n\
-b --byte <num> Select byte <num> in every interleaved block\n\
--gap-fill <val> Fill gaps between sections with <val>\n\
--pad-to <addr> Pad the last section up to address <addr>\n\
--set-start <addr> Set the start address to <addr>\n\
{--change-start|--adjust-start} <incr>\n\
Add <incr> to the start address\n\
{--change-addresses|--adjust-vma} <incr>\n\
Add <incr> to LMA, VMA and start addresses\n\
{--change-section-address|--adjust-section-vma} <name>{=|+|-}<val>\n\
Change LMA and VMA of section <name> by <val>\n\
--change-section-lma <name>{=|+|-}<val>\n\
Change the LMA of section <name> by <val>\n\
--change-section-vma <name>{=|+|-}<val>\n\
Change the VMA of section <name> by <val>\n\
{--[no-]change-warnings|--[no-]adjust-warnings}\n\
Warn if a named section does not exist\n\
--set-section-flags <name>=<flags>\n\
Set section <name>'s properties to <flags>\n\
--set-section-alignment <name>=<align>\n\
Set section <name>'s alignment to <align> bytes\n\
--add-section <name>=<file> Add section <name> found in <file> to output\n\
--update-section <name>=<file>\n\
Update contents of section <name> with\n\
contents found in <file>\n\
--dump-section <name>=<file> Dump the contents of section <name> into <file>\n\
--rename-section <old>=<new>[,<flags>] Rename section <old> to <new>\n\
--long-section-names {enable|disable|keep}\n\
Handle long section names in Coff objects.\n\
--change-leading-char Force output format's leading character style\n\
--remove-leading-char Remove leading character from global symbols\n\
--reverse-bytes=<num> Reverse <num> bytes at a time, in output sections with content\n\
--redefine-sym <old>=<new> Redefine symbol name <old> to <new>\n\
--redefine-syms <file> --redefine-sym for all symbol pairs \n\
listed in <file>\n\
--srec-len <number> Restrict the length of generated Srecords\n\
--srec-forceS3 Restrict the type of generated Srecords to S3\n\
--strip-symbols <file> -N for all symbols listed in <file>\n\
--strip-unneeded-symbols <file>\n\
--strip-unneeded-symbol for all symbols listed\n\
in <file>\n\
--keep-symbols <file> -K for all symbols listed in <file>\n\
--localize-symbols <file> -L for all symbols listed in <file>\n\
--globalize-symbols <file> --globalize-symbol for all in <file>\n\
--keep-global-symbols <file> -G for all symbols listed in <file>\n\
--weaken-symbols <file> -W for all symbols listed in <file>\n\
--add-symbol <name>=[<section>:]<value>[,<flags>] Add a symbol\n\
--alt-machine-code <index> Use the target's <index>'th alternative machine\n\
--writable-text Mark the output text as writable\n\
--readonly-text Make the output text write protected\n\
--pure Mark the output file as demand paged\n\
--impure Mark the output file as impure\n\
--prefix-symbols <prefix> Add <prefix> to start of every symbol name\n\
--prefix-sections <prefix> Add <prefix> to start of every section name\n\
--prefix-alloc-sections <prefix>\n\
Add <prefix> to start of every allocatable\n\
section name\n\
--file-alignment <num> Set PE file alignment to <num>\n\
--heap <reserve>[,<commit>] Set PE reserve/commit heap to <reserve>/\n\
<commit>\n\
--image-base <address> Set PE image base to <address>\n\
--section-alignment <num> Set PE section alignment to <num>\n\
--stack <reserve>[,<commit>] Set PE reserve/commit stack to <reserve>/\n\
<commit>\n\
--subsystem <name>[:<version>]\n\
Set PE subsystem to <name> [& <version>]\n\
--compress-debug-sections[={none|zlib|zlib-gnu|zlib-gabi|zstd}]\n\
Compress DWARF debug sections\n\
--decompress-debug-sections Decompress DWARF debug sections using zlib\n\
--elf-stt-common=[yes|no] Generate ELF common symbols with STT_COMMON\n\
type\n\
--verilog-data-width <number> Specifies data width, in bytes, for verilog output\n\
-M --merge-notes Remove redundant entries in note sections\n\
--no-merge-notes Do not attempt to remove redundant notes (default)\n\
-v --verbose List all object files modified\n\
@<file> Read options from <file>\n\
-V --version Display this program's version number\n\
-h --help Display this output\n\
--info List object formats & architectures supported\n\
"));
list_supported_targets (program_name, stream);
if (REPORT_BUGS_TO[0] && exit_status == 0)
fprintf (stream, _("Report bugs to %s\n"), REPORT_BUGS_TO);
exit (exit_status);
}
ATTRIBUTE_NORETURN static void
strip_usage (FILE *stream, int exit_status)
{
fprintf (stream, _("Usage: %s <option(s)> in-file(s)\n"), program_name);
fprintf (stream, _(" Removes symbols and sections from files\n"));
fprintf (stream, _(" The options are:\n"));
fprintf (stream, _("\
-I --input-target=<bfdname> Assume input file is in format <bfdname>\n\
-O --output-target=<bfdname> Create an output file in format <bfdname>\n\
-F --target=<bfdname> Set both input and output format to <bfdname>\n\
-p --preserve-dates Copy modified/access timestamps to the output\n\
"));
if (DEFAULT_AR_DETERMINISTIC)
fprintf (stream, _("\
-D --enable-deterministic-archives\n\
Produce deterministic output when stripping archives (default)\n\
-U --disable-deterministic-archives\n\
Disable -D behavior\n"));
else
fprintf (stream, _("\
-D --enable-deterministic-archives\n\
Produce deterministic output when stripping archives\n\
-U --disable-deterministic-archives\n\
Disable -D behavior (default)\n"));
fprintf (stream, _("\
-R --remove-section=<name> Also remove section <name> from the output\n\
--remove-relocations <name> Remove relocations from section <name>\n\
--strip-section-headers Strip section headers from the output\n\
-s --strip-all Remove all symbol and relocation information\n\
-g -S -d --strip-debug Remove all debugging symbols & sections\n\
--strip-dwo Remove all DWO sections\n\
--strip-unneeded Remove all symbols not needed by relocations\n\
--only-keep-debug Strip everything but the debug information\n\
-M --merge-notes Remove redundant entries in note sections (default)\n\
--no-merge-notes Do not attempt to remove redundant notes\n\
-N --strip-symbol=<name> Do not copy symbol <name>\n\
--keep-section=<name> Do not strip section <name>\n\
-K --keep-symbol=<name> Do not strip symbol <name>\n\
--keep-section-symbols Do not strip section symbols\n\
--keep-file-symbols Do not strip file symbol(s)\n\
-w --wildcard Permit wildcard in symbol comparison\n\
-x --discard-all Remove all non-global symbols\n\
-X --discard-locals Remove any compiler-generated symbols\n\
-v --verbose List all object files modified\n\
-V --version Display this program's version number\n\
-h --help Display this output\n\
--info List object formats & architectures supported\n\
-o <file> Place stripped output into <file>\n\
"));
list_supported_targets (program_name, stream);
if (REPORT_BUGS_TO[0] && exit_status == 0)
fprintf (stream, _("Report bugs to %s\n"), REPORT_BUGS_TO);
exit (exit_status);
}
/* Parse section flags into a flagword, with a fatal error if the
string can't be parsed. */
static flagword
parse_flags (const char *s)
{
flagword ret;
const char *snext;
int len;
ret = SEC_NO_FLAGS;
do
{
snext = strchr (s, ',');
if (snext == NULL)
len = strlen (s);
else
{
len = snext - s;
++snext;
}
if (0) ;
#define PARSE_FLAG(fname,fval) \
else if (strncasecmp (fname, s, len) == 0) ret |= fval
PARSE_FLAG ("alloc", SEC_ALLOC);
PARSE_FLAG ("load", SEC_LOAD);
PARSE_FLAG ("noload", SEC_NEVER_LOAD);
PARSE_FLAG ("readonly", SEC_READONLY);
PARSE_FLAG ("debug", SEC_DEBUGGING);
PARSE_FLAG ("code", SEC_CODE);
PARSE_FLAG ("data", SEC_DATA);
PARSE_FLAG ("rom", SEC_ROM);
PARSE_FLAG ("exclude", SEC_EXCLUDE);
PARSE_FLAG ("share", SEC_COFF_SHARED);
PARSE_FLAG ("contents", SEC_HAS_CONTENTS);
PARSE_FLAG ("merge", SEC_MERGE);
PARSE_FLAG ("strings", SEC_STRINGS);
PARSE_FLAG ("large", SEC_ELF_LARGE);
#undef PARSE_FLAG
else
{
char *copy;
copy = (char *) xmalloc (len + 1);
strncpy (copy, s, len);
copy[len] = '\0';
non_fatal (_("unrecognized section flag `%s'"), copy);
fatal (_ ("supported flags: %s"),
"alloc, load, noload, readonly, debug, code, data, rom, "
"exclude, contents, merge, strings, (COFF specific) share, "
"(ELF x86-64 specific) large");
}
s = snext;
}
while (s != NULL);
return ret;
}
/* Parse symbol flags into a flagword, with a fatal error if the
string can't be parsed. */
static flagword
parse_symflags (const char *s, const char **other)
{
flagword ret;
const char *snext;
size_t len;
ret = BSF_NO_FLAGS;
do
{
snext = strchr (s, ',');
if (snext == NULL)
len = strlen (s);
else
{
len = snext - s;
++snext;
}
#define PARSE_FLAG(fname, fval) \
else if (len == sizeof fname - 1 \
&& strncasecmp (fname, s, len) == 0) \
ret |= fval
#define PARSE_OTHER(fname, fval) \
else if (len >= sizeof fname \
&& strncasecmp (fname, s, sizeof fname - 1) == 0) \
fval = xstrndup (s + sizeof fname - 1, len - sizeof fname + 1)
if (0) ;
PARSE_FLAG ("local", BSF_LOCAL);
PARSE_FLAG ("global", BSF_GLOBAL);
PARSE_FLAG ("export", BSF_EXPORT);
PARSE_FLAG ("debug", BSF_DEBUGGING);
PARSE_FLAG ("function", BSF_FUNCTION);
PARSE_FLAG ("weak", BSF_WEAK);
PARSE_FLAG ("section", BSF_SECTION_SYM);
PARSE_FLAG ("constructor", BSF_CONSTRUCTOR);
PARSE_FLAG ("warning", BSF_WARNING);
PARSE_FLAG ("indirect", BSF_INDIRECT);
PARSE_FLAG ("file", BSF_FILE);
PARSE_FLAG ("object", BSF_OBJECT);
PARSE_FLAG ("synthetic", BSF_SYNTHETIC);
PARSE_FLAG ("indirect-function", BSF_GNU_INDIRECT_FUNCTION | BSF_FUNCTION);
PARSE_FLAG ("unique-object", BSF_GNU_UNIQUE | BSF_OBJECT);
PARSE_OTHER ("before=", *other);
#undef PARSE_FLAG
#undef PARSE_OTHER
else
{
char *copy;
copy = (char *) xmalloc (len + 1);
strncpy (copy, s, len);
copy[len] = '\0';
non_fatal (_("unrecognized symbol flag `%s'"), copy);
fatal (_("supported flags: %s"),
"local, global, export, debug, function, weak, section, "
"constructor, warning, indirect, file, object, synthetic, "
"indirect-function, unique-object, before=<othersym>");
}
s = snext;
}
while (s != NULL);
return ret;
}
/* Find and optionally add an entry in the change_sections list.
We need to be careful in how we match section names because of the support
for wildcard characters. For example suppose that the user has invoked
objcopy like this:
--set-section-flags .debug_*=debug
--set-section-flags .debug_str=readonly,debug
--change-section-address .debug_*ranges=0x1000
With the idea that all debug sections will receive the DEBUG flag, the
.debug_str section will also receive the READONLY flag and the
.debug_ranges and .debug_aranges sections will have their address set to
0x1000. (This may not make much sense, but it is just an example).
When adding the section name patterns to the section list we need to make
sure that previous entries do not match with the new entry, unless the
match is exact. (In which case we assume that the user is overriding
the previous entry with the new context).
When matching real section names to the section list we make use of the
wildcard characters, but we must do so in context. Eg if we are setting
section addresses then we match for .debug_ranges but not for .debug_info.
Finally, if ADD is false and we do find a match, we mark the section list
entry as used. */
static struct section_list *
find_section_list (const char *name, bool add, unsigned int context)
{
struct section_list *p, *match = NULL;
/* assert ((context & ((1 << 7) - 1)) != 0); */
for (p = change_sections; p != NULL; p = p->next)
{
if (add)
{
if (strcmp (p->pattern, name) == 0)
{
/* Check for context conflicts. */
if (((p->context & SECTION_CONTEXT_REMOVE)
&& (context & SECTION_CONTEXT_COPY))
|| ((context & SECTION_CONTEXT_REMOVE)
&& (p->context & SECTION_CONTEXT_COPY)))
fatal (_("error: %s both copied and removed"), name);
if (((p->context & SECTION_CONTEXT_SET_VMA)
&& (context & SECTION_CONTEXT_ALTER_VMA))
|| ((context & SECTION_CONTEXT_SET_VMA)
&& (context & SECTION_CONTEXT_ALTER_VMA)))
fatal (_("error: %s both sets and alters VMA"), name);
if (((p->context & SECTION_CONTEXT_SET_LMA)
&& (context & SECTION_CONTEXT_ALTER_LMA))
|| ((context & SECTION_CONTEXT_SET_LMA)
&& (context & SECTION_CONTEXT_ALTER_LMA)))
fatal (_("error: %s both sets and alters LMA"), name);
/* Extend the context. */
p->context |= context;
return p;
}
}
/* If we are not adding a new name/pattern then
only check for a match if the context applies. */
else if (p->context & context)
{
/* We could check for the presence of wildchar characters
first and choose between calling strcmp and fnmatch,
but is that really worth it ? */
if (p->pattern [0] == '!')
{
if (fnmatch (p->pattern + 1, name, 0) == 0)
{
p->used = true;
return NULL;
}
}
else
{
if (fnmatch (p->pattern, name, 0) == 0)
{
if (match == NULL)
match = p;
}
}
}
}
if (! add)
{
if (match != NULL)
match->used = true;
return match;
}
p = (struct section_list *) xmalloc (sizeof (struct section_list));
p->pattern = name;
p->used = false;
p->context = context;
p->vma_val = 0;
p->lma_val = 0;
p->flags = 0;
p->alignment = 0;
p->next = change_sections;
change_sections = p;
return p;
}
/* S1 is the entry node already in the table, S2 is the key node. */
static int
eq_string_redefnode (const void *s1, const void *s2)
{
struct redefine_node *node1 = (struct redefine_node *) s1;
struct redefine_node *node2 = (struct redefine_node *) s2;
return !strcmp ((const char *) node1->source, (const char *) node2->source);
}
/* P is redefine node. Hash value is generated from its "source" filed. */
static hashval_t
htab_hash_redefnode (const void *p)
{
struct redefine_node *redefnode = (struct redefine_node *) p;
return htab_hash_string (redefnode->source);
}
/* Create hashtab used for redefine node. */
static htab_t
create_symbol2redef_htab (void)
{
return htab_create_alloc (16, htab_hash_redefnode, eq_string_redefnode, NULL,
xcalloc, free);
}
static htab_t
create_symbol_htab (void)
{
return htab_create_alloc (16, htab_hash_string, htab_eq_string, NULL,
xcalloc, free);
}
static void
create_symbol_htabs (void)
{
strip_specific_htab = create_symbol_htab ();
strip_unneeded_htab = create_symbol_htab ();
keep_specific_htab = create_symbol_htab ();
localize_specific_htab = create_symbol_htab ();
globalize_specific_htab = create_symbol_htab ();
keepglobal_specific_htab = create_symbol_htab ();
weaken_specific_htab = create_symbol_htab ();
redefine_specific_htab = create_symbol2redef_htab ();
/* As there is no bidirectional hash table in libiberty, need a reverse table
to check duplicated target string. */
redefine_specific_reverse_htab = create_symbol_htab ();
}
static void
delete_symbol_htabs (void)
{
htab_delete (strip_specific_htab);
htab_delete (strip_unneeded_htab);
htab_delete (keep_specific_htab);
htab_delete (localize_specific_htab);
htab_delete (globalize_specific_htab);
htab_delete (keepglobal_specific_htab);
htab_delete (weaken_specific_htab);
htab_delete (redefine_specific_htab);
htab_delete (redefine_specific_reverse_htab);
free (isympp);
if (osympp != isympp)
free (osympp);
}
/* Add a symbol to strip_specific_list. */
static void
add_specific_symbol (const char *name, htab_t htab)
{
*htab_find_slot (htab, name, INSERT) = (char *) name;
}
/* Like add_specific_symbol, but the element type is void *. */
static void
add_specific_symbol_node (const void *node, htab_t htab)
{
*htab_find_slot (htab, node, INSERT) = (void *) node;
}
/* Add symbols listed in `filename' to strip_specific_list. */
#define IS_WHITESPACE(c) ((c) == ' ' || (c) == '\t')
#define IS_LINE_TERMINATOR(c) ((c) == '\n' || (c) == '\r' || (c) == '\0')
static void
add_specific_symbols (const char *filename, htab_t htab, char **buffer_p)
{
off_t size;
FILE * f;
char * line;
char * buffer;
unsigned int line_count;
size = get_file_size (filename);
if (size == 0)
{
status = 1;
return;
}
buffer = (char *) xmalloc (size + 2);
f = fopen (filename, FOPEN_RT);
if (f == NULL)
fatal (_("cannot open '%s': %s"), filename, strerror (errno));
if (fread (buffer, 1, size, f) == 0 || ferror (f))
fatal (_("%s: fread failed"), filename);
fclose (f);
buffer [size] = '\n';
buffer [size + 1] = '\0';
line_count = 1;
for (line = buffer; * line != '\0'; line ++)
{
char * eol;
char * name;
char * name_end;
int finished = false;
for (eol = line;; eol ++)
{
switch (* eol)
{
case '\n':
* eol = '\0';
/* Cope with \n\r. */
if (eol[1] == '\r')
++ eol;
finished = true;
break;
case '\r':
* eol = '\0';
/* Cope with \r\n. */
if (eol[1] == '\n')
++ eol;
finished = true;
break;
case 0:
finished = true;
break;
case '#':
/* Line comment, Terminate the line here, in case a
name is present and then allow the rest of the
loop to find the real end of the line. */
* eol = '\0';
break;
default:
break;
}
if (finished)
break;
}
/* A name may now exist somewhere between 'line' and 'eol'.
Strip off leading whitespace and trailing whitespace,
then add it to the list. */
for (name = line; IS_WHITESPACE (* name); name ++)
;
for (name_end = name;
(! IS_WHITESPACE (* name_end))
&& (! IS_LINE_TERMINATOR (* name_end));
name_end ++)
;
if (! IS_LINE_TERMINATOR (* name_end))
{
char * extra;
for (extra = name_end + 1; IS_WHITESPACE (* extra); extra ++)
;
if (! IS_LINE_TERMINATOR (* extra))
non_fatal (_("%s:%d: Ignoring rubbish found on this line"),
filename, line_count);
}
* name_end = '\0';
if (name_end > name)
add_specific_symbol (name, htab);
/* Advance line pointer to end of line. The 'eol ++' in the for
loop above will then advance us to the start of the next line. */
line = eol;
line_count ++;
}
/* Do not free the buffer. Parts of it will have been referenced
in the calls to add_specific_symbol. */
*buffer_p = buffer;
}
/* See whether a symbol should be stripped or kept
based on strip_specific_list and keep_symbols. */
static int
is_specified_symbol_predicate (void **slot, void *data)
{
struct is_specified_symbol_predicate_data *d =
(struct is_specified_symbol_predicate_data *) data;
const char *slot_name = (char *) *slot;
if (*slot_name != '!')
{
if (! fnmatch (slot_name, d->name, 0))
{
d->found = true;
/* Continue traversal, there might be a non-match rule. */
return 1;
}
}
else
{
if (! fnmatch (slot_name + 1, d->name, 0))
{
d->found = false;
/* Stop traversal. */
return 0;
}
}
/* Continue traversal. */
return 1;
}
static bool
is_specified_symbol (const char *name, htab_t htab)
{
if (wildcard)
{
struct is_specified_symbol_predicate_data data;
data.name = name;
data.found = false;
htab_traverse (htab, is_specified_symbol_predicate, &data);
return data.found;
}
return htab_find (htab, name) != NULL;
}
/* Return a pointer to the symbol used as a signature for GROUP. */
static asymbol *
group_signature (asection *group)
{
bfd *abfd = group->owner;
Elf_Internal_Shdr *ghdr;
/* PR 20089: An earlier error may have prevented us from loading the symbol table. */
if (isympp == NULL)
return NULL;
if (bfd_get_flavour (abfd) != bfd_target_elf_flavour)
return NULL;
ghdr = &elf_section_data (group)->this_hdr;
if (ghdr->sh_link == elf_onesymtab (abfd))
{
const struct elf_backend_data *bed = get_elf_backend_data (abfd);
Elf_Internal_Shdr *symhdr = &elf_symtab_hdr (abfd);
if (ghdr->sh_info > 0
&& ghdr->sh_info < symhdr->sh_size / bed->s->sizeof_sym)
return isympp[ghdr->sh_info - 1];
}
return NULL;
}
/* Return TRUE if the section is a DWO section. */
static bool
is_dwo_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec)
{
const char *name;
int len;
if (sec == NULL || (name = bfd_section_name (sec)) == NULL)
return false;
len = strlen (name);
if (len < 5)
return false;
return startswith (name + len - 4, ".dwo");
}
/* Return TRUE if section SEC is in the update list. */
static bool
is_update_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec)
{
if (update_sections != NULL)
{
struct section_add *pupdate;
for (pupdate = update_sections;
pupdate != NULL;
pupdate = pupdate->next)
{
if (strcmp (sec->name, pupdate->name) == 0)
return true;
}
}
return false;
}
static bool
is_mergeable_note_section (bfd * abfd, asection * sec)
{
if (merge_notes
&& bfd_get_flavour (abfd) == bfd_target_elf_flavour
&& elf_section_data (sec)->this_hdr.sh_type == SHT_NOTE
/* FIXME: We currently only support merging GNU_BUILD_NOTEs.
We should add support for more note types. */
&& (startswith (sec->name, GNU_BUILD_ATTRS_SECTION_NAME)))
return true;
return false;
}
/* See if a non-group section is being removed. */
static bool
is_strip_section_1 (bfd *abfd ATTRIBUTE_UNUSED, asection *sec)
{
if (find_section_list (bfd_section_name (sec), false, SECTION_CONTEXT_KEEP)
!= NULL)
return false;
if (sections_removed || sections_copied)
{
struct section_list *p;
struct section_list *q;
p = find_section_list (bfd_section_name (sec), false,
SECTION_CONTEXT_REMOVE);
q = find_section_list (bfd_section_name (sec), false,
SECTION_CONTEXT_COPY);
if (p && q)
fatal (_("error: section %s matches both remove and copy options"),
bfd_section_name (sec));
if (p && is_update_section (abfd, sec))
fatal (_("error: section %s matches both update and remove options"),
bfd_section_name (sec));
if (p != NULL)
return true;
if (sections_copied && q == NULL)
return true;
}
/* Remove non-alloc sections for --strip-section-headers. */
if (strip_section_headers
&& (bfd_section_flags (sec) & SEC_ALLOC) == 0)
return true;
if ((bfd_section_flags (sec) & SEC_DEBUGGING) != 0)
{
if (strip_symbols == STRIP_DEBUG
|| strip_symbols == STRIP_UNNEEDED
|| strip_symbols == STRIP_ALL
|| discard_locals == LOCALS_ALL
|| convert_debugging)
{
/* By default we don't want to strip .reloc section.
This section has for pe-coff special meaning. See
pe-dll.c file in ld, and peXXigen.c in bfd for details.
Similarly we do not want to strip debuglink sections. */
const char * kept_sections[] =
{
".reloc",
".gnu_debuglink",
".gnu_debugaltlink"
};
int i;
for (i = ARRAY_SIZE (kept_sections);i--;)
if (strcmp (bfd_section_name (sec), kept_sections[i]) == 0)
break;
if (i == -1)
return true;
}
if (strip_symbols == STRIP_DWO)
return is_dwo_section (abfd, sec);
if (strip_symbols == STRIP_NONDEBUG)
return false;
}
if (strip_symbols == STRIP_NONDWO)
return !is_dwo_section (abfd, sec);
return false;
}
/* See if a section is being removed. */
static bool
is_strip_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec)
{
if (is_strip_section_1 (abfd, sec))
return true;
if ((bfd_section_flags (sec) & SEC_GROUP) != 0)
{
asymbol *gsym;
const char *gname;
asection *elt, *first;
gsym = group_signature (sec);
/* Strip groups without a valid signature. */
if (gsym == NULL)
return true;
/* PR binutils/3181
If we are going to strip the group signature symbol, then
strip the group section too. */
gname = gsym->name;
if ((strip_symbols == STRIP_ALL
&& !is_specified_symbol (gname, keep_specific_htab))
|| is_specified_symbol (gname, strip_specific_htab))
return true;
/* Remove the group section if all members are removed. */
first = elt = elf_next_in_group (sec);
while (elt != NULL)
{
if (!is_strip_section_1 (abfd, elt))
return false;
elt = elf_next_in_group (elt);
if (elt == first)
break;
}
return true;
}
return false;
}
static bool
is_nondebug_keep_contents_section (bfd *ibfd, asection *isection)
{
/* Always keep ELF note sections. */
if (bfd_get_flavour (ibfd) == bfd_target_elf_flavour)
return elf_section_type (isection) == SHT_NOTE;
/* Always keep the .buildid section for PE/COFF.
Strictly, this should be written "always keep the section storing the debug
directory", but that may be the .text section for objects produced by some
tools, which it is not sensible to keep. */
if (bfd_get_flavour (ibfd) == bfd_target_coff_flavour)
return strcmp (bfd_section_name (isection), ".buildid") == 0;
return false;
}
/* Return true if SYM is a hidden symbol. */
static bool
is_hidden_symbol (asymbol *sym)
{
elf_symbol_type *elf_sym;
elf_sym = elf_symbol_from (sym);
if (elf_sym != NULL)
switch (ELF_ST_VISIBILITY (elf_sym->internal_elf_sym.st_other))
{
case STV_HIDDEN:
case STV_INTERNAL:
return true;
}
return false;
}
/* Empty name is hopefully never a valid symbol name. */
static const char * empty_name = "";
static bool
need_sym_before (struct addsym_node **node, const char *sym)
{
int count;
struct addsym_node *ptr = add_sym_list;
/* 'othersym' symbols are at the front of the list. */
for (count = 0; count < add_symbols; count++)
{
if (!ptr->othersym)
break;
if (ptr->othersym == empty_name)
continue;
else if (strcmp (ptr->othersym, sym) == 0)
{
free ((char *) ptr->othersym);
ptr->othersym = empty_name;
*node = ptr;
return true;
}
ptr = ptr->next;
}
return false;
}
static asymbol *
create_new_symbol (struct addsym_node *ptr, bfd *obfd)
{
asymbol *sym = bfd_make_empty_symbol (obfd);
bfd_set_asymbol_name (sym, ptr->symdef);
sym->value = ptr->symval;
sym->flags = ptr->flags;
if (ptr->section)
{
asection *sec = bfd_get_section_by_name (obfd, ptr->section);
if (!sec)
fatal (_("Section %s not found"), ptr->section);
sym->section = sec;
}
else
sym->section = bfd_abs_section_ptr;
return sym;
}
/* Choose which symbol entries to copy; put the result in OSYMS.
We don't copy in place, because that confuses the relocs.
Update the number of symbols to print. */
static bool
filter_symbols (bfd *abfd, bfd *obfd, asymbol **osyms,
asymbol **isyms, long *symcount)
{
asymbol **from = isyms, **to = osyms;
long src_count = 0, dst_count = 0;
int relocatable = (abfd->flags & (EXEC_P | DYNAMIC)) == 0;
for (; src_count < *symcount; src_count++)
{
asymbol *sym = from[src_count];
flagword flags = sym->flags;
char *name = (char *) bfd_asymbol_name (sym);
bool keep;
bool used_in_reloc = false;
bool undefined;
bool rem_leading_char;
bool add_leading_char;
undefined = bfd_is_und_section (bfd_asymbol_section (sym));
if (add_sym_list)
{
struct addsym_node *ptr;
if (need_sym_before (&ptr, name))
to[dst_count++] = create_new_symbol (ptr, obfd);
}
if (htab_elements (redefine_specific_htab) || section_rename_list)
{
char *new_name;
if (name != NULL
&& name[0] == '_'
&& name[1] == '_'
&& strcmp (name + (name[2] == '_'), "__gnu_lto_slim") == 0)
{
fatal (_("redefining symbols does not work on LTO-compiled object files"));
}
new_name = (char *) lookup_sym_redefinition (name);
if (new_name == name
&& (flags & BSF_SECTION_SYM) != 0)
new_name = (char *) find_section_rename (name, NULL);
bfd_set_asymbol_name (sym, new_name);
name = new_name;
}
/* Check if we will remove the current leading character. */
rem_leading_char =
(name[0] != '\0'
&& name[0] == bfd_get_symbol_leading_char (abfd)
&& (change_leading_char
|| (remove_leading_char
&& ((flags & (BSF_GLOBAL | BSF_WEAK)) != 0
|| undefined
|| bfd_is_com_section (bfd_asymbol_section (sym))))));
/* Check if we will add a new leading character. */
add_leading_char =
change_leading_char
&& (bfd_get_symbol_leading_char (obfd) != '\0')
&& (bfd_get_symbol_leading_char (abfd) == '\0'
|| (name[0] == bfd_get_symbol_leading_char (abfd)));
/* Short circuit for change_leading_char if we can do it in-place. */
if (rem_leading_char && add_leading_char && !prefix_symbols_string)
{
name[0] = bfd_get_symbol_leading_char (obfd);
bfd_set_asymbol_name (sym, name);
rem_leading_char = false;
add_leading_char = false;
}
/* Remove leading char. */
if (rem_leading_char)
bfd_set_asymbol_name (sym, ++name);
/* Add new leading char and/or prefix. */
if (add_leading_char || prefix_symbols_string)
{
char *n, *ptr;
size_t len = strlen (name) + 1;
if (add_leading_char)
len++;
if (prefix_symbols_string)
len += strlen (prefix_symbols_string);
ptr = n = (char *) xmalloc (len);
if (add_leading_char)
*ptr++ = bfd_get_symbol_leading_char (obfd);
if (prefix_symbols_string)
{
strcpy (ptr, prefix_symbols_string);
ptr += strlen (prefix_symbols_string);
}
strcpy (ptr, name);
bfd_set_asymbol_name (sym, n);
name = n;
}
if (strip_symbols == STRIP_ALL)
keep = false;
else if ((flags & BSF_KEEP) != 0 /* Used in relocation. */
|| ((flags & BSF_SECTION_SYM) != 0
&& ((*bfd_asymbol_section (sym)->symbol_ptr_ptr)->flags
& BSF_KEEP) != 0))
{
keep = true;
used_in_reloc = true;
}
else if (relocatable /* Relocatable file. */
&& ((flags & (BSF_GLOBAL | BSF_WEAK)) != 0
|| bfd_is_com_section (bfd_asymbol_section (sym))))
keep = true;
else if (bfd_decode_symclass (sym) == 'I')
/* Global symbols in $idata sections need to be retained
even if relocatable is FALSE. External users of the
library containing the $idata section may reference these
symbols. */
keep = true;
else if ((flags & BSF_GLOBAL) != 0 /* Global symbol. */
|| (flags & BSF_WEAK) != 0
|| undefined
|| bfd_is_com_section (bfd_asymbol_section (sym)))
keep = strip_symbols != STRIP_UNNEEDED;
else if ((flags & BSF_DEBUGGING) != 0) /* Debugging symbol. */
keep = (strip_symbols != STRIP_DEBUG
&& strip_symbols != STRIP_UNNEEDED
&& ! convert_debugging);
else if (bfd_coff_get_comdat_section (abfd, bfd_asymbol_section (sym)))
/* COMDAT sections store special information in local
symbols, so we cannot risk stripping any of them. */
keep = true;
else /* Local symbol. */
keep = (strip_symbols != STRIP_UNNEEDED
&& (discard_locals != LOCALS_ALL
&& (discard_locals != LOCALS_START_L
|| ! bfd_is_local_label (abfd, sym))));
if (keep && is_specified_symbol (name, strip_specific_htab))
{
/* There are multiple ways to set 'keep' above, but if it
was the relocatable symbol case, then that's an error. */
if (used_in_reloc)
{
non_fatal (_("not stripping symbol `%s' because it is named in a relocation"), name);
return false;
}
else
keep = false;
}
if (keep
&& !(flags & BSF_KEEP)
&& is_specified_symbol (name, strip_unneeded_htab))
keep = false;
if (!keep
&& ((keep_file_symbols && (flags & BSF_FILE))
|| is_specified_symbol (name, keep_specific_htab)))
keep = true;
if (keep && is_strip_section (abfd, bfd_asymbol_section (sym)))
keep = false;
if (keep)
{
if (!undefined
&& (flags & (BSF_GLOBAL | BSF_WEAK))
&& (is_specified_symbol (name, localize_specific_htab)
|| (htab_elements (keepglobal_specific_htab) != 0
&& ! is_specified_symbol (name, keepglobal_specific_htab))
|| (localize_hidden && is_hidden_symbol (sym))))
{
flags &= ~(BSF_GLOBAL | BSF_WEAK);
flags |= BSF_LOCAL;
}
else if (!undefined
&& (flags & BSF_LOCAL)
&& !(flags & BSF_FILE)
&& is_specified_symbol (name, globalize_specific_htab))
{
flags &= ~BSF_LOCAL;
flags |= BSF_GLOBAL;
}
if (((flags & (BSF_GLOBAL | BSF_GNU_UNIQUE))
|| undefined)
&& (weaken || is_specified_symbol (name, weaken_specific_htab)))
{
flags &= ~(BSF_GLOBAL | BSF_GNU_UNIQUE);
flags |= BSF_WEAK;
}
sym->flags = flags;
to[dst_count++] = sym;
}
}
if (add_sym_list)
{
struct addsym_node *ptr = add_sym_list;
for (src_count = 0; src_count < add_symbols; src_count++)
{
if (ptr->othersym)
{
if (ptr->othersym != empty_name)
fatal (_("'before=%s' not found"), ptr->othersym);
}
else
to[dst_count++] = create_new_symbol (ptr, obfd);
ptr = ptr->next;
}
}
to[dst_count] = NULL;
*symcount = dst_count;
return true;
}
/* Find the redefined name of symbol SOURCE. */
static const char *
lookup_sym_redefinition (const char *source)
{
struct redefine_node key_node = {(char *) source, NULL};
struct redefine_node *redef_node
= (struct redefine_node *) htab_find (redefine_specific_htab, &key_node);
return redef_node == NULL ? source : redef_node->target;
}
/* Insert a node into symbol redefine hash tabel. */
static void
add_redefine_and_check (const char *cause, const char *source,
const char *target)
{
struct redefine_node *new_node
= (struct redefine_node *) xmalloc (sizeof (struct redefine_node));
new_node->source = strdup (source);
new_node->target = strdup (target);
if (htab_find (redefine_specific_htab, new_node) != HTAB_EMPTY_ENTRY)
fatal (_("%s: Multiple redefinition of symbol \"%s\""),
cause, source);
if (htab_find (redefine_specific_reverse_htab, target) != HTAB_EMPTY_ENTRY)
fatal (_("%s: Symbol \"%s\" is target of more than one redefinition"),
cause, target);
/* Insert the NEW_NODE into hash table for quick search. */
add_specific_symbol_node (new_node, redefine_specific_htab);
/* Insert the target string into the reverse hash table, this is needed for
duplicated target string check. */
add_specific_symbol (new_node->target, redefine_specific_reverse_htab);
}
/* Handle the --redefine-syms option. Read lines containing "old new"
from the file, and add them to the symbol redefine list. */
static void
add_redefine_syms_file (const char *filename)
{
FILE *file;
char *buf;
size_t bufsize;
size_t len;
size_t outsym_off;
int c, lineno;
file = fopen (filename, "r");
if (file == NULL)
fatal (_("couldn't open symbol redefinition file %s (error: %s)"),
filename, strerror (errno));
bufsize = 100;
buf = (char *) xmalloc (bufsize + 1 /* For the terminating NUL. */);
lineno = 1;
c = getc (file);
len = 0;
outsym_off = 0;
while (c != EOF)
{
/* Collect the input symbol name. */
while (! IS_WHITESPACE (c) && ! IS_LINE_TERMINATOR (c) && c != EOF)
{
if (c == '#')
goto comment;
buf[len++] = c;
if (len >= bufsize)
{
bufsize *= 2;
buf = (char *) xrealloc (buf, bufsize + 1);
}
c = getc (file);
}
buf[len++] = '\0';
if (c == EOF)
break;
/* Eat white space between the symbol names. */
while (IS_WHITESPACE (c))
c = getc (file);
if (c == '#' || IS_LINE_TERMINATOR (c))
goto comment;
if (c == EOF)
break;
/* Collect the output symbol name. */
outsym_off = len;
while (! IS_WHITESPACE (c) && ! IS_LINE_TERMINATOR (c) && c != EOF)
{
if (c == '#')
goto comment;
buf[len++] = c;
if (len >= bufsize)
{
bufsize *= 2;
buf = (char *) xrealloc (buf, bufsize + 1);
}
c = getc (file);
}
buf[len++] = '\0';
if (c == EOF)
break;
/* Eat white space at end of line. */
while (! IS_LINE_TERMINATOR(c) && c != EOF && IS_WHITESPACE (c))
c = getc (file);
if (c == '#')
goto comment;
/* Handle \r\n. */
if ((c == '\r' && (c = getc (file)) == '\n')
|| c == '\n' || c == EOF)
{
end_of_line:
/* Append the redefinition to the list. */
if (buf[0] != '\0')
add_redefine_and_check (filename, &buf[0], &buf[outsym_off]);
lineno++;
len = 0;
outsym_off = 0;
if (c == EOF)
break;
c = getc (file);
continue;
}
else
fatal (_("%s:%d: garbage found at end of line"), filename, lineno);
comment:
if (len != 0 && (outsym_off == 0 || outsym_off == len))
fatal (_("%s:%d: missing new symbol name"), filename, lineno);
buf[len++] = '\0';
/* Eat the rest of the line and finish it. */
while (c != '\n' && c != EOF)
c = getc (file);
goto end_of_line;
}
if (len != 0)
fatal (_("%s:%d: premature end of file"), filename, lineno);
free (buf);
fclose (file);
}
/* Copy unknown object file IBFD onto OBFD.
Returns TRUE upon success, FALSE otherwise. */
static bool
copy_unknown_object (bfd *ibfd, bfd *obfd)
{
char *cbuf;
bfd_size_type tocopy;
off_t size;
struct stat buf;
if (bfd_stat_arch_elt (ibfd, &buf) != 0)
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
return false;
}
size = buf.st_size;
if (size < 0)
{
non_fatal (_("stat returns negative size for `%s'"),
bfd_get_archive_filename (ibfd));
return false;
}
if (bfd_seek (ibfd, 0, SEEK_SET) != 0)
{
bfd_nonfatal (bfd_get_archive_filename (ibfd));
return false;
}
if (verbose)
printf (_("copy from `%s' [unknown] to `%s' [unknown]\n"),
bfd_get_archive_filename (ibfd), bfd_get_filename (obfd));
cbuf = (char *) xmalloc (BUFSIZE);
while (size != 0)
{
if (size > BUFSIZE)
tocopy = BUFSIZE;
else
tocopy = size;
if (bfd_read (cbuf, tocopy, ibfd) != tocopy)
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
free (cbuf);
return false;
}
if (bfd_write (cbuf, tocopy, obfd) != tocopy)
{
bfd_nonfatal_message (NULL, obfd, NULL, NULL);
free (cbuf);
return false;
}
size -= tocopy;
}
/* We should at least to be able to read it back when copying an
unknown object in an archive. */
chmod (bfd_get_filename (obfd), buf.st_mode | S_IRUSR);
free (cbuf);
return true;
}
typedef struct objcopy_internal_note
{
Elf_Internal_Note note;
unsigned long padded_namesz;
bfd_vma start;
bfd_vma end;
} objcopy_internal_note;
#define DEBUG_MERGE 0
#if DEBUG_MERGE
#define merge_debug(format, ...) fprintf (stderr, format, ## __VA_ARGS__)
#else
#define merge_debug(format, ...)
#endif
/* Returns TRUE iff PNOTE1 overlaps or adjoins PNOTE2. */
static bool
overlaps_or_adjoins (objcopy_internal_note * pnote1,
objcopy_internal_note * pnote2)
{
if (pnote1->end < pnote2->start)
/* FIXME: Alignment of 16 bytes taken from x86_64 binaries.
Really we should extract the alignment of the section
covered by the notes. */
return BFD_ALIGN (pnote1->end, 16) < pnote2->start;
if (pnote2->end < pnote2->start)
return BFD_ALIGN (pnote2->end, 16) < pnote1->start;
if (pnote1->end < pnote2->end)
return true;
if (pnote2->end < pnote1->end)
return true;
return false;
}
/* Returns TRUE iff NEEDLE is fully contained by HAYSTACK. */
static bool
contained_by (objcopy_internal_note * needle,
objcopy_internal_note * haystack)
{
return needle->start >= haystack->start && needle->end <= haystack->end;
}
static inline bool
is_open_note (objcopy_internal_note * pnote)
{
return pnote->note.type == NT_GNU_BUILD_ATTRIBUTE_OPEN;
}
static inline bool
is_func_note (objcopy_internal_note * pnote)
{
return pnote->note.type == NT_GNU_BUILD_ATTRIBUTE_FUNC;
}
static inline bool
is_deleted_note (objcopy_internal_note * pnote)
{
return pnote->note.type == 0;
}
static bool
is_version_note (objcopy_internal_note * pnote)
{
return (pnote->note.namesz > 4
&& pnote->note.namedata[0] == 'G'
&& pnote->note.namedata[1] == 'A'
&& pnote->note.namedata[2] == '$'
&& pnote->note.namedata[3] == GNU_BUILD_ATTRIBUTE_VERSION);
}
static bool
is_64bit (bfd * abfd)
{
/* Should never happen, but let's be paranoid. */
if (bfd_get_flavour (abfd) != bfd_target_elf_flavour)
return false;
return elf_elfheader (abfd)->e_ident[EI_CLASS] == ELFCLASS64;
}
/* This sorting function is used to get the notes into an order
that makes merging easy. */
static int
compare_gnu_build_notes (const void * data1, const void * data2)
{
objcopy_internal_note * pnote1 = (objcopy_internal_note *) data1;
objcopy_internal_note * pnote2 = (objcopy_internal_note *) data2;
/* Sort notes based upon the attribute they record. */
int cmp = memcmp (pnote1->note.namedata + 3,
pnote2->note.namedata + 3,
pnote1->note.namesz < pnote2->note.namesz ?
pnote1->note.namesz - 3 : pnote2->note.namesz - 3);
if (cmp)
return cmp;
if (pnote1->end < pnote2->start)
return -1;
if (pnote1->start > pnote2->end)
return 1;
/* Overlaps - we should merge the two ranges. */
if (pnote1->start < pnote2->start)
return -1;
if (pnote1->end > pnote2->end)
return 1;
if (pnote1->end < pnote2->end)
return -1;
/* Put OPEN notes before function notes. */
if (is_open_note (pnote1) && ! is_open_note (pnote2))
return -1;
if (! is_open_note (pnote1) && is_open_note (pnote2))
return 1;
return 0;
}
/* This sorting function is used to get the notes into an order
that makes eliminating address ranges easier. */
static int
sort_gnu_build_notes (const void * data1, const void * data2)
{
objcopy_internal_note * pnote1 = (objcopy_internal_note *) data1;
objcopy_internal_note * pnote2 = (objcopy_internal_note *) data2;
if (pnote1->note.type != pnote2->note.type)
{
/* Move deleted notes to the end. */
if (is_deleted_note (pnote1)) /* 1: OFD 2: OFD */
return 1;
/* Move OPEN notes to the start. */
if (is_open_note (pnote1)) /* 1: OF 2: OFD */
return -1;
if (is_deleted_note (pnote2)) /* 1: F 2: O D */
return -1;
return 1; /* 1: F 2: O */
}
/* Sort by starting address. */
if (pnote1->start < pnote2->start)
return -1;
if (pnote1->start > pnote2->start)
return 1;
/* Then by end address (bigger range first). */
if (pnote1->end > pnote2->end)
return -1;
if (pnote1->end < pnote2->end)
return 1;
/* Then by attribute type. */
if (pnote1->note.namesz > 4
&& pnote2->note.namesz > 4
&& pnote1->note.namedata[3] != pnote2->note.namedata[3])
return pnote1->note.namedata[3] - pnote2->note.namedata[3];
return 0;
}
/* Merge the notes on SEC, removing redundant entries. NEW_SIZE is
set to the new, smaller size of the section. Returns true on
success, false on errors that result in objcopy failing. */
static bool
merge_gnu_build_notes (bfd * abfd,
asection * sec,
bfd_size_type size,
bfd_byte * contents,
bfd_size_type *new_size)
{
objcopy_internal_note * pnotes_end;
objcopy_internal_note * pnotes = NULL;
objcopy_internal_note * pnote;
bfd_size_type remain = size;
unsigned version_1_seen = 0;
unsigned version_2_seen = 0;
unsigned version_3_seen = 0;
const char * err = NULL;
bfd_byte * in = contents;
unsigned long previous_func_start = 0;
unsigned long previous_open_start = 0;
unsigned long previous_func_end = 0;
unsigned long previous_open_end = 0;
long relsize;
*new_size = size;
relsize = bfd_get_reloc_upper_bound (abfd, sec);
if (relsize > 0)
{
arelent ** relpp;
long relcount;
/* If there are relocs associated with this section then we
cannot safely merge it. */
relpp = (arelent **) xmalloc (relsize);
relcount = bfd_canonicalize_reloc (abfd, sec, relpp, isympp);
free (relpp);
if (relcount != 0)
{
if (! is_strip)
non_fatal (_("%s[%s]: Cannot merge - there are relocations against this section"),
bfd_get_filename (abfd), bfd_section_name (sec));
goto done;
}
}
/* Make a copy of the notes and convert to our internal format.
Minimum size of a note is 12 bytes. Also locate the version
notes and check them. */
pnote = pnotes = (objcopy_internal_note *)
xcalloc ((size / 12), sizeof (* pnote));
while (remain >= 12)
{
bfd_vma start, end;
pnote->note.namesz = bfd_get_32 (abfd, in);
pnote->note.descsz = bfd_get_32 (abfd, in + 4);
pnote->note.type = bfd_get_32 (abfd, in + 8);
pnote->padded_namesz = (pnote->note.namesz + 3) & ~3;
if (((pnote->note.descsz + 3) & ~3) != pnote->note.descsz)
{
err = _("corrupt GNU build attribute note: description size not a factor of 4");
goto done;
}
if (pnote->note.type != NT_GNU_BUILD_ATTRIBUTE_OPEN
&& pnote->note.type != NT_GNU_BUILD_ATTRIBUTE_FUNC)
{
err = _("corrupt GNU build attribute note: wrong note type");
goto done;
}
if (pnote->padded_namesz + pnote->note.descsz + 12 > remain)
{
err = _("corrupt GNU build attribute note: note too big");
goto done;
}
if (pnote->note.namesz < 2)
{
err = _("corrupt GNU build attribute note: name too small");
goto done;
}
pnote->note.namedata = (char *)(in + 12);
pnote->note.descdata = (char *)(in + 12 + pnote->padded_namesz);
remain -= 12 + pnote->padded_namesz + pnote->note.descsz;
in += 12 + pnote->padded_namesz + pnote->note.descsz;
if (pnote->note.namesz > 2
&& pnote->note.namedata[0] == '$'
&& pnote->note.namedata[1] == GNU_BUILD_ATTRIBUTE_VERSION
&& pnote->note.namedata[2] == '1')
++ version_1_seen;
else if (is_version_note (pnote))
{
if (pnote->note.namedata[4] == '2')
++ version_2_seen;
else if (pnote->note.namedata[4] == '3')
++ version_3_seen;
else
{
err = _("corrupt GNU build attribute note: unsupported version");
goto done;
}
}
switch (pnote->note.descsz)
{
case 0:
start = end = 0;
break;
case 4:
start = bfd_get_32 (abfd, pnote->note.descdata);
/* FIXME: For version 1 and 2 notes we should try to
calculate the end address by finding a symbol whose
value is START, and then adding in its size.
For now though, since v1 and v2 was not intended to
handle gaps, we chose an artificially large end
address. */
end = (bfd_vma) -1;
break;
case 8:
start = bfd_get_32 (abfd, pnote->note.descdata);
end = bfd_get_32 (abfd, pnote->note.descdata + 4);
break;
case 16:
start = bfd_get_64 (abfd, pnote->note.descdata);
end = bfd_get_64 (abfd, pnote->note.descdata + 8);
break;
default:
err = _("corrupt GNU build attribute note: bad description size");
goto done;
}
if (start > end)
/* This can happen with PPC64LE binaries where empty notes are
encoded as start = end + 4. */
start = end;
if (is_open_note (pnote))
{
if (start)
previous_open_start = start;
pnote->start = previous_open_start;
if (end)
previous_open_end = end;
pnote->end = previous_open_end;
}
else
{
if (start)
previous_func_start = start;
pnote->start = previous_func_start;
if (end)
previous_func_end = end;
pnote->end = previous_func_end;
}
if (pnote->note.namedata[pnote->note.namesz - 1] != 0)
{
err = _("corrupt GNU build attribute note: name not NUL terminated");
goto done;
}
pnote ++;
}
pnotes_end = pnote;
/* Check that the notes are valid. */
if (remain != 0)
{
err = _("corrupt GNU build attribute notes: excess data at end");
goto done;
}
if (version_1_seen == 0 && version_2_seen == 0 && version_3_seen == 0)
{
#if 0
err = _("bad GNU build attribute notes: no known versions detected");
goto done;
#else
/* This happens with glibc. No idea why. */
non_fatal (_("%s[%s]: Warning: version note missing - assuming version 3"),
bfd_get_filename (abfd), bfd_section_name (sec));
version_3_seen = 2;
#endif
}
if ( (version_1_seen > 0 && version_2_seen > 0)
|| (version_1_seen > 0 && version_3_seen > 0)
|| (version_2_seen > 0 && version_3_seen > 0))
{
err = _("bad GNU build attribute notes: multiple different versions");
goto done;
}
/* We are now only supporting the merging v3+ notes
- it makes things much simpler. */
if (version_3_seen == 0)
{
merge_debug ("%s: skipping merge - not using v3 notes", bfd_section_name (sec));
goto done;
}
merge_debug ("Merging section %s which contains %ld notes\n",
sec->name, pnotes_end - pnotes);
/* Sort the notes. */
qsort (pnotes, pnotes_end - pnotes, sizeof (* pnotes),
compare_gnu_build_notes);
#if DEBUG_MERGE
merge_debug ("Results of initial sort:\n");
for (pnote = pnotes; pnote < pnotes_end; pnote ++)
merge_debug ("offset %#08lx range %#08lx..%#08lx type %ld attribute %d namesz %ld\n",
(pnote->note.namedata - (char *) contents) - 12,
pnote->start, pnote->end,
pnote->note.type,
pnote->note.namedata[3],
pnote->note.namesz
);
#endif
/* Now merge the notes. The rules are:
1. If a note has a zero range, it can be eliminated.
2. If two notes have the same namedata then:
2a. If one note's range is fully covered by the other note
then it can be deleted.
2b. If one note's range partially overlaps or adjoins the
other note then if they are both of the same type (open
or func) then they can be merged and one deleted. If
they are of different types then they cannot be merged. */
objcopy_internal_note * prev_note = NULL;
for (pnote = pnotes; pnote < pnotes_end; pnote ++)
{
/* Skip already deleted notes.
FIXME: Can this happen ? We are scanning forwards and
deleting backwards after all. */
if (is_deleted_note (pnote))
continue;
/* Rule 1 - delete 0-range notes. */
if (pnote->start == pnote->end)
{
merge_debug ("Delete note at offset %#08lx - empty range\n",
(pnote->note.namedata - (char *) contents) - 12);
pnote->note.type = 0;
continue;
}
int iter;
objcopy_internal_note * back;
/* Rule 2: Check to see if there is an identical previous note. */
for (iter = 0, back = prev_note ? prev_note : pnote - 1;
back >= pnotes;
back --)
{
if (is_deleted_note (back))
continue;
/* Our sorting function should have placed all identically
attributed notes together, so if we see a note of a different
attribute type stop searching. */
if (back->note.namesz != pnote->note.namesz
|| memcmp (back->note.namedata,
pnote->note.namedata, pnote->note.namesz) != 0)
break;
if (back->start == pnote->start
&& back->end == pnote->end)
{
merge_debug ("Delete note at offset %#08lx - duplicate of note at offset %#08lx\n",
(pnote->note.namedata - (char *) contents) - 12,
(back->note.namedata - (char *) contents) - 12);
pnote->note.type = 0;
break;
}
/* Rule 2a. */
if (contained_by (pnote, back))
{
merge_debug ("Delete note at offset %#08lx - fully contained by note at %#08lx\n",
(pnote->note.namedata - (char *) contents) - 12,
(back->note.namedata - (char *) contents) - 12);
pnote->note.type = 0;
break;
}
#if DEBUG_MERGE
/* This should not happen as we have sorted the
notes with earlier starting addresses first. */
if (contained_by (back, pnote))
merge_debug ("ERROR: UNEXPECTED CONTAINMENT\n");
#endif
/* Rule 2b. */
if (overlaps_or_adjoins (back, pnote)
&& is_func_note (back) == is_func_note (pnote))
{
merge_debug ("Delete note at offset %#08lx - merge into note at %#08lx\n",
(pnote->note.namedata - (char *) contents) - 12,
(back->note.namedata - (char *) contents) - 12);
back->end = back->end > pnote->end ? back->end : pnote->end;
back->start = back->start < pnote->start ? back->start : pnote->start;
pnote->note.type = 0;
break;
}
/* Don't scan too far back however. */
if (iter ++ > 16)
{
/* FIXME: Not sure if this can ever be triggered. */
merge_debug ("ITERATION LIMIT REACHED\n");
break;
}
}
if (! is_deleted_note (pnote))
{
/* Keep a pointer to this note, so that we can
start the next search for rule 2 matches here. */
prev_note = pnote;
#if DEBUG_MERGE
merge_debug ("Unable to do anything with note at %#08lx\n",
(pnote->note.namedata - (char *) contents) - 12);
#endif
}
}
/* Resort the notes. */
merge_debug ("Final sorting of notes\n");
qsort (pnotes, pnotes_end - pnotes, sizeof (* pnotes), sort_gnu_build_notes);
/* Reconstruct the ELF notes. */
bfd_byte * new_contents;
bfd_byte * old;
bfd_byte * new;
bfd_vma prev_start = 0;
bfd_vma prev_end = 0;
/* Not sure how, but the notes might grow in size.
(eg see PR 1774507). Allow for this here. */
new = new_contents = xmalloc (size * 2);
for (pnote = pnotes, old = contents;
pnote < pnotes_end;
pnote ++)
{
bfd_size_type note_size = 12 + pnote->padded_namesz + pnote->note.descsz;
if (! is_deleted_note (pnote))
{
/* Create the note, potentially using the
address range of the previous note. */
if (pnote->start == prev_start && pnote->end == prev_end)
{
bfd_put_32 (abfd, pnote->note.namesz, new);
bfd_put_32 (abfd, 0, new + 4);
bfd_put_32 (abfd, pnote->note.type, new + 8);
new += 12;
memcpy (new, pnote->note.namedata, pnote->note.namesz);
if (pnote->note.namesz < pnote->padded_namesz)
memset (new + pnote->note.namesz, 0, pnote->padded_namesz - pnote->note.namesz);
new += pnote->padded_namesz;
}
else
{
bfd_put_32 (abfd, pnote->note.namesz, new);
bfd_put_32 (abfd, is_64bit (abfd) ? 16 : 8, new + 4);
bfd_put_32 (abfd, pnote->note.type, new + 8);
new += 12;
memcpy (new, pnote->note.namedata, pnote->note.namesz);
if (pnote->note.namesz < pnote->padded_namesz)
memset (new + pnote->note.namesz, 0, pnote->padded_namesz - pnote->note.namesz);
new += pnote->padded_namesz;
if (is_64bit (abfd))
{
bfd_put_64 (abfd, pnote->start, new);
bfd_put_64 (abfd, pnote->end, new + 8);
new += 16;
}
else
{
bfd_put_32 (abfd, pnote->start, new);
bfd_put_32 (abfd, pnote->end, new + 4);
new += 8;
}
prev_start = pnote->start;
prev_end = pnote->end;
}
}
old += note_size;
}
#if DEBUG_MERGE
merge_debug ("Results of merge:\n");
for (pnote = pnotes; pnote < pnotes_end; pnote ++)
if (! is_deleted_note (pnote))
merge_debug ("offset %#08lx range %#08lx..%#08lx type %ld attribute %d namesz %ld\n",
(pnote->note.namedata - (char *) contents) - 12,
pnote->start, pnote->end,
pnote->note.type,
pnote->note.namedata[3],
pnote->note.namesz
);
#endif
size_t nsize = new - new_contents;
if (nsize < size)
{
*new_size = nsize;
memcpy (contents, new_contents, nsize);
}
free (new_contents);
done:
if (err)
{
bfd_set_error (bfd_error_bad_value);
bfd_nonfatal_message (NULL, abfd, sec, err);
}
free (pnotes);
return !err;
}
static flagword
check_new_section_flags (flagword flags, bfd *abfd, const char * secname)
{
/* Only set the SEC_COFF_SHARED flag on COFF files.
The same bit value is used by ELF targets to indicate
compressed sections, and setting that flag here breaks
things. */
if ((flags & SEC_COFF_SHARED)
&& bfd_get_flavour (abfd) != bfd_target_coff_flavour)
{
non_fatal (_("%s[%s]: Note - dropping 'share' flag as output format is not COFF"),
bfd_get_filename (abfd), secname);
flags &= ~ SEC_COFF_SHARED;
}
/* Report a fatal error if 'large' is used with a non-x86-64 ELF target.
Suppress the error for non-ELF targets to allow -O binary and formats that
use the bit value SEC_ELF_LARGE for other purposes. */
if ((flags & SEC_ELF_LARGE) != 0
&& bfd_get_flavour (abfd) == bfd_target_elf_flavour
&& get_elf_backend_data (abfd)->elf_machine_code != EM_X86_64)
{
fatal (_ ("%s[%s]: 'large' flag is ELF x86-64 specific"),
bfd_get_filename (abfd), secname);
flags &= ~SEC_ELF_LARGE;
}
return flags;
}
static void
set_long_section_mode (bfd *output_bfd, bfd *input_bfd, enum long_section_name_handling style)
{
/* This is only relevant to Coff targets. */
if (bfd_get_flavour (output_bfd) == bfd_target_coff_flavour)
{
if (style == KEEP
&& bfd_get_flavour (input_bfd) == bfd_target_coff_flavour)
style = bfd_coff_long_section_names (input_bfd) ? ENABLE : DISABLE;
bfd_coff_set_long_section_names (output_bfd, style != DISABLE);
}
}
/* Copy object file IBFD onto OBFD.
Returns TRUE upon success, FALSE otherwise. */
static bool
copy_object (bfd *ibfd, bfd *obfd, const bfd_arch_info_type *input_arch)
{
bfd_vma start;
long symcount;
asection **osections = NULL;
asection *osec;
asection *gnu_debuglink_section = NULL;
bfd_size_type *gaps = NULL;
bfd_size_type max_gap = 0;
long symsize;
void *dhandle;
enum bfd_architecture iarch;
unsigned int imach;
unsigned int num_sec, i;
if (ibfd->xvec->byteorder != obfd->xvec->byteorder
&& ibfd->xvec->byteorder != BFD_ENDIAN_UNKNOWN
&& obfd->xvec->byteorder != BFD_ENDIAN_UNKNOWN)
{
/* PR 17636: Call non-fatal so that we return to our parent who
may need to tidy temporary files. */
non_fatal (_("unable to change endianness of '%s'"),
bfd_get_archive_filename (ibfd));
return false;
}
if (ibfd->read_only)
{
non_fatal (_("unable to modify '%s' due to errors"),
bfd_get_archive_filename (ibfd));
return false;
}
if (!bfd_set_format (obfd, bfd_get_format (ibfd)))
{
bfd_nonfatal_message (NULL, obfd, NULL, NULL);
return false;
}
if (ibfd->sections == NULL)
{
non_fatal (_("error: the input file '%s' has no sections"),
bfd_get_archive_filename (ibfd));
return false;
}
/* This is a no-op on non-Coff targets. */
set_long_section_mode (obfd, ibfd, long_section_names);
/* Set the Verilog output endianness based upon the input file's
endianness. We may not be producing verilog format output,
but testing this just adds extra code this is not really
necessary. */
VerilogDataEndianness = ibfd->xvec->byteorder;
if (bfd_get_flavour (ibfd) == bfd_target_elf_flavour)
{
if (strip_section_headers)
{
ibfd->flags |= BFD_NO_SECTION_HEADER;
strip_symbols = STRIP_ALL;
merge_notes = true;
}
}
else
{
if ((do_debug_sections & compress) != 0
&& do_debug_sections != compress)
{
non_fatal (_ ("--compress-debug-sections=[zlib|zlib-gnu|zlib-gabi|"
"zstd] is unsupported on `%s'"),
bfd_get_archive_filename (ibfd));
return false;
}
if (do_elf_stt_common)
{
non_fatal (_("--elf-stt-common=[yes|no] is unsupported on `%s'"),
bfd_get_archive_filename (ibfd));
return false;
}
if (strip_section_headers)
{
non_fatal (_("--strip-section-headers is unsupported on `%s'"),
bfd_get_archive_filename (ibfd));
return false;
}
}
if (verbose)
printf (_("copy from `%s' [%s] to `%s' [%s]\n"),
bfd_get_archive_filename (ibfd), bfd_get_target (ibfd),
bfd_get_filename (obfd), bfd_get_target (obfd));
if (extract_symbol)
start = 0;
else
{
if (set_start_set)
start = set_start;
else
start = bfd_get_start_address (ibfd);
start += change_start;
}
/* Neither the start address nor the flags
need to be set for a core file. */
if (bfd_get_format (obfd) != bfd_core)
{
flagword flags;
flags = bfd_get_file_flags (ibfd);
flags |= bfd_flags_to_set;
flags &= ~bfd_flags_to_clear;
flags &= bfd_applicable_file_flags (obfd);
if (strip_symbols == STRIP_ALL)
flags &= ~HAS_RELOC;
if (!bfd_set_start_address (obfd, start)
|| !bfd_set_file_flags (obfd, flags))
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
return false;
}
}
/* Copy architecture of input file to output file. */
iarch = bfd_get_arch (ibfd);
imach = bfd_get_mach (ibfd);
if (input_arch)
{
if (iarch == bfd_arch_unknown)
{
iarch = input_arch->arch;
imach = input_arch->mach;
}
else
non_fatal (_("Input file `%s' ignores binary architecture parameter."),
bfd_get_archive_filename (ibfd));
}
if (iarch == bfd_arch_unknown
&& bfd_get_flavour (ibfd) != bfd_target_elf_flavour
&& bfd_get_flavour (obfd) == bfd_target_elf_flavour)
{
const struct elf_backend_data *bed = get_elf_backend_data (obfd);
iarch = bed->arch;
imach = 0;
}
if (!bfd_set_arch_mach (obfd, iarch, imach)
&& (ibfd->target_defaulted
|| bfd_get_arch (ibfd) != bfd_get_arch (obfd)))
{
if (bfd_get_arch (ibfd) == bfd_arch_unknown)
non_fatal (_("Unable to recognise the format of the input file `%s'"),
bfd_get_archive_filename (ibfd));
else
non_fatal (_("Output file cannot represent architecture `%s'"),
bfd_printable_arch_mach (bfd_get_arch (ibfd),
bfd_get_mach (ibfd)));
return false;
}
if (!bfd_set_format (obfd, bfd_get_format (ibfd)))
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
return false;
}
if (bfd_get_flavour (obfd) == bfd_target_coff_flavour
&& bfd_pei_p (obfd))
{
/* Set up PE parameters. */
pe_data_type *pe = pe_data (obfd);
/* Copy PE parameters before changing them. */
if (bfd_get_flavour (ibfd) == bfd_target_coff_flavour
&& bfd_pei_p (ibfd))
{
pe->pe_opthdr = pe_data (ibfd)->pe_opthdr;
if (preserve_dates)
pe->timestamp = pe_data (ibfd)->coff.timestamp;
else
pe->timestamp = -1;
}
if (pe_file_alignment != (bfd_vma) -1)
pe->pe_opthdr.FileAlignment = pe_file_alignment;
else
pe_file_alignment = PE_DEF_FILE_ALIGNMENT;
if (pe_heap_commit != (bfd_vma) -1)
pe->pe_opthdr.SizeOfHeapCommit = pe_heap_commit;
if (pe_heap_reserve != (bfd_vma) -1)
pe->pe_opthdr.SizeOfHeapCommit = pe_heap_reserve;
if (pe_image_base != (bfd_vma) -1)
pe->pe_opthdr.ImageBase = pe_image_base;
if (pe_section_alignment != (bfd_vma) -1)
pe->pe_opthdr.SectionAlignment = pe_section_alignment;
else
pe_section_alignment = PE_DEF_SECTION_ALIGNMENT;
if (pe_stack_commit != (bfd_vma) -1)
pe->pe_opthdr.SizeOfStackCommit = pe_stack_commit;
if (pe_stack_reserve != (bfd_vma) -1)
pe->pe_opthdr.SizeOfStackReserve = pe_stack_reserve;
if (pe_subsystem != -1)
pe->pe_opthdr.Subsystem = pe_subsystem;
if (pe_major_subsystem_version != -1)
pe->pe_opthdr.MajorSubsystemVersion = pe_major_subsystem_version;
if (pe_minor_subsystem_version != -1)
pe->pe_opthdr.MinorSubsystemVersion = pe_minor_subsystem_version;
if (pe_file_alignment > pe_section_alignment)
{
non_fatal (_("warning: file alignment (0x%" PRIx64
") > section alignment (0x%" PRIx64 ")"),
(uint64_t) pe_file_alignment,
(uint64_t) pe_section_alignment);
}
}
free (isympp);
if (osympp != isympp)
free (osympp);
isympp = NULL;
osympp = NULL;
symsize = bfd_get_symtab_upper_bound (ibfd);
if (symsize < 0)
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
return false;
}
osympp = isympp = (asymbol **) xmalloc (symsize);
symcount = bfd_canonicalize_symtab (ibfd, isympp);
if (symcount < 0)
{
bfd_nonfatal_message (NULL, ibfd, NULL, NULL);
return false;
}
/* PR 17512: file: d6323821
If the symbol table could not be loaded do not pretend that we have
any symbols. This trips us up later on when we load the relocs. */
if (symcount == 0)
{
free (isympp);
osympp = isympp = NULL;
}
/* BFD mandates that all output sections be created and sizes set before
any output is done. Thus, we traverse all sections multiple times. */
for (asection *s = ibfd->sections; s !=