binutils-gdb/gold/script-c.h

525 lines
15 KiB
C
Raw Normal View History

/* script-c.h -- C interface for linker scripts in gold. */
/* Copyright 2006, 2007, 2008 Free Software Foundation, Inc.
Written by Ian Lance Taylor <iant@google.com>.
This file is part of gold.
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. */
/* This file exists so that both the bison parser and script.cc can
include it, so that they can communicate back and forth. */
#ifndef GOLD_SCRIPT_C_H
#define GOLD_SCRIPT_C_H
#ifdef __cplusplus
#include <vector>
#include <string>
#endif
#ifdef __cplusplus
// For the C++ code we declare the various supporting structures in
// the gold namespace. For the C code we declare it at the top level.
// The namespace level should not affect the layout of the structure.
namespace gold
{
#endif
/* A string value for the bison parser. */
struct Parser_string
{
const char* value;
size_t length;
};
/* The expression functions deal with pointers to Expression objects.
Since the bison parser generates C code, this is a hack to keep the
C++ code type safe. This hacks assumes that all pointers look
alike. */
#ifdef __cplusplus
class Expression;
typedef Expression* Expression_ptr;
#else
typedef void* Expression_ptr;
#endif
/* A constraint for whether to use a particular output section
definition. */
enum Section_constraint
{
/* No constraint. */
CONSTRAINT_NONE,
/* Only if all input sections are read-only. */
CONSTRAINT_ONLY_IF_RO,
/* Only if at least input section is writable. */
CONSTRAINT_ONLY_IF_RW,
/* Special constraint. */
CONSTRAINT_SPECIAL
};
/* The information we store for an output section header in the bison
parser. */
struct Parser_output_section_header
{
/* The address. This may be NULL. */
Expression_ptr address;
/* The load address, from the AT specifier. This may be NULL. */
Expression_ptr load_address;
/* The alignment, from the ALIGN specifier. This may be NULL. */
Expression_ptr align;
/* The input section alignment, from the SUBALIGN specifier. This
may be NULL. */
Expression_ptr subalign;
/* A constraint on this output section. */
enum Section_constraint constraint;
};
/* We keep vectors of strings. In order to manage this in both C and
C++, we use a pointer to a vector. This assumes that all pointers
look the same. */
#ifdef __cplusplus
typedef std::vector<std::string> String_list;
typedef String_list* String_list_ptr;
#else
typedef void* String_list_ptr;
#endif
2008-02-04 23:54:31 +01:00
/* The information we store for an output section trailer in the bison
parser. */
struct Parser_output_section_trailer
{
/* The fill value. This may be NULL. */
Expression_ptr fill;
/* The program segments this section should go into. This may be
NULL. */
String_list_ptr phdrs;
};
/* The different sorts we can find in a linker script. */
enum Sort_wildcard
{
SORT_WILDCARD_NONE,
SORT_WILDCARD_BY_NAME,
SORT_WILDCARD_BY_ALIGNMENT,
SORT_WILDCARD_BY_NAME_BY_ALIGNMENT,
SORT_WILDCARD_BY_ALIGNMENT_BY_NAME
};
/* The information we build for a single wildcard specification. */
struct Wildcard_section
{
/* The wildcard spec itself. */
struct Parser_string name;
/* How the entries should be sorted. */
enum Sort_wildcard sort;
};
/* A vector of Wildcard_section entries. */
#ifdef __cplusplus
typedef std::vector<Wildcard_section> String_sort_list;
typedef String_sort_list* String_sort_list_ptr;
#else
typedef void* String_sort_list_ptr;
#endif
/* A list of wildcard specifications, which may include EXCLUDE_FILE
clauses. */
struct Wildcard_sections
{
/* Wildcard specs. */
String_sort_list_ptr sections;
/* Exclusions. */
String_list_ptr exclude;
};
/* A complete input section specification. */
struct Input_section_spec
{
/* The file name. */
struct Wildcard_section file;
/* The list of sections. */
struct Wildcard_sections input_sections;
};
2008-02-04 23:54:31 +01:00
/* Information for a program header. */
struct Phdr_info
{
/* A boolean value: whether to include the file header. */
int includes_filehdr;
/* A boolean value: whether to include the program headers. */
int includes_phdrs;
/* A boolean value: whether the flags field is valid. */
int is_flags_valid;
/* The value to use for the flags. */
unsigned int flags;
/* The load address. */
Expression_ptr load_address;
};
struct Version_dependency_list;
struct Version_expression_list;
struct Version_tree;
#ifdef __cplusplus
extern "C" {
#endif
/* The bison parser definitions. */
#include "yyscript.h"
/* The bison parser function. */
extern int
yyparse(void* closure);
/* Called by the bison parser skeleton to return the next token. */
extern int
yylex(YYSTYPE*, void* closure);
/* Called by the bison parser skeleton to report an error. */
extern void
yyerror(void* closure, const char*);
/* Called by the bison parser to add an external symbol (a symbol in
an EXTERN declaration) to the link. */
extern void
script_add_extern(void* closure, const char*, size_t);
/* Called by the bison parser to add a file to the link. */
extern void
script_add_file(void* closure, const char*, size_t);
/* Called by the bison parser to start and stop a group. */
extern void
script_start_group(void* closure);
extern void
script_end_group(void* closure);
/* Called by the bison parser to start and end an AS_NEEDED list. */
extern void
script_start_as_needed(void* closure);
extern void
script_end_as_needed(void* closure);
/* Called by the bison parser to set the entry symbol. */
extern void
script_set_entry(void* closure, const char*, size_t);
2008-02-28 21:35:39 +01:00
/* Called by the bison parser to set whether to define common symbols. */
extern void
script_set_common_allocation(void* closure, int);
/* Called by the bison parser to parse an OPTION. */
extern void
script_parse_option(void* closure, const char*, size_t);
* readsyms.cc (Read_symbols::incompatible_warning): New function. (Read_symbols::requeue): New function. (Read_symbols::do_read_symbols): If make_elf_object fails because the target type is not configured, and the file was searched for, issue a warning and retry with the next directory. (Add_symbols::run): If the file has an incompatible format, and it was searched for, requeue the Read_symbols task. On error, release the object. * readsyms.h (class Read_symbols): Add dirindex_ field. Add dirindex parameter to constructor. Change all callers. Declare incompatible_warning and requeue. (class Add_symbols): Add dirpath_, dirindex_, mapfile_, input_argument_ and input_group_ fields. Add them to constructor. Change all callers. (class Read_script): Add dirindex_ field. Add it to constructor. Change all callers. * archive.cc (Archive::setup): Remove input_objects parameter. Change all callers. (Archive::get_file_and_offset): Likewise. (Archive::read_all_symbols): Likewise. (Archive::read_symbols): Likewise. (Archive::get_elf_object_for_member): Remove input_objects parameter. Add punconfigured parameter. Change all callers. (Archive::add_symbols): Change return type to bool. Check return value of include_member. (Archive::include_all_members): Likewise. (Archive::include_member): Change return type to bool. Return false if first included object has incompatible target. Set included_member_ field. (Add_archive_symbols::run): If add_symbols returns false, requeue Read_symbols task. * archive.h (class Archive): Add included_member_ field. Initialize it in constructor. Add input_file and searched_for methods. Update declarations. (class Add_archive_symbols): Add dirpath_, dirindex_, and input_argument_ fields. Add them to constructor. Change all callers. * script.cc: Include "target-select.h". (class Parser_closure): Add skip_on_incompatible_target_ and found_incompatible_target_ fields. Add skip_on_incompatible_target parameter to constructor. Change all callers. Add methods skip_on_incompatible_target, clear_skip_on_incompatible_target, found_incompatible_target, and set_found_incompatible_target. (read_input_script): Add dirindex parameter. Change all callers. If parser finds an incompatible target, requeue Read_symbols task. (script_set_symbol): Clear skip_on_incompatible_target in closure. (script_add_assertion, script_parse_option): Likewise. (script_start_sections, script_add_phdr): Likewise. (script_check_output_format): New function. * script.h (read_input_script): Update declaration. * script-c.h (script_check_output_format): Declare. * yyscript.y (file_cmd): Handle OUTPUT_FORMAT. (ignore_cmd): Remove OUTPUT_FORMAT. * fileread.cc (Input_file::Input_file): Add explicit this. (Input_file::will_search_for): New function. (Input_file::open): Add pindex parameter. Change all callers. * fileread.h (class Input_file): Add input_file_argument method. Declare will_search_for. Update declarations. * object.cc (make_elf_object): Add punconfigured parameter. Change all callers. * object.h (class Object): Make input_file public. Add searched_for method. (make_elf_object): Update declaration. * dirsearch.cc (Dirsearch::find): Add pindex parameter. Use it to restart search. * dirsearch.h (class Dirsearch): Update declaration. * options.h (class General_options): Add --warn-search-mismatch. * parameters.cc (Parameters::is_compatible_target): New function. * parameters.h (class Parameters): Declare is_compatible_target. * workqueue.cc (Workqueue::add_blocker): New function. * workqueue.h (class Workqueue): Declare add_blocker.
2009-03-14 06:56:46 +01:00
/* Called by the bison parser to handle OUTPUT_FORMAT. This return 0
if the parse should be aborted. */
extern int
script_check_output_format(void* closure, const char*, size_t,
const char*, size_t, const char*, size_t);
/* Called by the bison parser to handle TARGET. */
extern void
script_set_target(void* closure, const char*, size_t);
/* Called by the bison parser to handle SEARCH_DIR. */
extern void
script_add_search_dir(void* closure, const char*, size_t);
/* Called by the bison parser to push the lexer into expression
mode. */
extern void
script_push_lex_into_expression_mode(void* closure);
/* Called by the bison parser to push the lexer into version
mode. */
extern void
script_push_lex_into_version_mode(void* closure);
/* Called by the bison parser to pop the lexer mode. */
extern void
script_pop_lex_mode(void* closure);
/* Called by the bison parser to set a symbol to a value. PROVIDE is
non-zero if the symbol should be provided--only defined if there is
an undefined reference. HIDDEN is non-zero if the symbol should be
hidden. */
extern void
script_set_symbol(void* closure, const char*, size_t, Expression_ptr,
int provide, int hidden);
/* Called by the bison parser to add an assertion. */
extern void
script_add_assertion(void* closure, Expression_ptr, const char* message,
size_t messagelen);
/* Called by the bison parser to start a SECTIONS clause. */
extern void
script_start_sections(void* closure);
/* Called by the bison parser to finish a SECTIONS clause. */
extern void
script_finish_sections(void* closure);
/* Called by the bison parser to start handling input section
specifications for an output section. */
extern void
script_start_output_section(void* closure, const char* name, size_t namelen,
const struct Parser_output_section_header*);
/* Called by the bison parser when done handling input section
specifications for an output section. */
extern void
script_finish_output_section(void* closure,
const struct Parser_output_section_trailer*);
/* Called by the bison parser to handle a data statement (LONG, BYTE,
etc.) in an output section. */
extern void
script_add_data(void* closure, int data_token, Expression_ptr val);
/* Called by the bison parser to set the fill value in an output
section. */
extern void
script_add_fill(void* closure, Expression_ptr val);
/* Called by the bison parser to add an input section specification to
an output section. The KEEP parameter is non-zero if this is
within a KEEP clause, meaning that the garbage collector should not
discard it. */
extern void
script_add_input_section(void* closure, const struct Input_section_spec*,
int keep);
/* Create a new list of string and sort entries. */
extern String_sort_list_ptr
script_new_string_sort_list(const struct Wildcard_section*);
/* Add an entry to a list of string and sort entries. */
extern String_sort_list_ptr
script_string_sort_list_add(String_sort_list_ptr,
const struct Wildcard_section*);
/* Create a new list of strings. */
extern String_list_ptr
script_new_string_list(const char*, size_t);
/* Add an element to a list of strings. */
extern String_list_ptr
script_string_list_push_back(String_list_ptr, const char*, size_t);
/* Concatenate two string lists. */
extern String_list_ptr
script_string_list_append(String_list_ptr, String_list_ptr);
2008-02-04 23:54:31 +01:00
/* Define a new program header. */
extern void
script_add_phdr(void* closure, const char* name, size_t namelen,
unsigned int type, const struct Phdr_info*);
/* Convert a program header string to a type. */
extern unsigned int
script_phdr_string_to_type(void* closure, const char*, size_t);
* layout.cc (Layout::attach_allocated_section_to_segment): Don't set tls_segment_ or relro_segment_. (Layout::make_output_segment): Set tls_segment_ and relro_segment_ when appropriate. * output.h (Output_section::clear_is_relro): New function. * output.cc (Output_segment::add_output_section): Handle SHF_TLS sections specially even when output_data_ is empty. (Output_segment::maximum_alignment): When first section is relro, only force alignment for PT_LOAD segments. * script.cc (script_data_segment_align): New function. (script_data_segment_relro_end): New function. * script-c.h (script_data_segment_align): Declare. (script_data_segment_relro_end): Declare. * script-sections.h (class Script_sections): Declare data_segment_align and data_segment_relro_end. Add fields segment_align_index_ and saw_relro_end_. * script-sections.cc (class Sections_element): Add set_is_relro virtual function. Add new bool* parameter to place_orphan_here. Add get_output_section virtual function. (class Output_section_definition): Add set_is_relro. Add new bool* parameter to place_orphan_here. Add get_output_section. Add is_relro_ field. (Output_section_definition::Output_section_definition): Initialize evaluated_address_, evaluated_load_address, evaluated_addralign_, and is_relro_ fields. (Output_section_definition::place_orphan_here): Add is_relro parameter. (Output_section_definition::set_section_addresses): Set relro for output section. (Output_section_definition::alternate_constraint): Likewise. (class Orphan_output_section): Add new bool* parameter to place_orphan_here. Add get_output_section. (Orphan_output_section::place_orphan_here): Add is_relro parameter. (Script_sections::Script_sections): Initialize data_segment_align_index_ and saw_relro_end_. (Script_sections::data_segment_align): New function. (Script_sections::data_segment_relro_end): New function. (Script_sections::place_orphan): Set or clear is_relro. (Script_sections::set_section_addresses): Force alignment of first TLS section. * yyscript.y (exp): Call script_data_segment_align and script_data_segment_relro_end. * testsuite/relro_script_test.t: New file. * testsuite/relro_test.cc (using_script): Declare. (t1, t2): Test using_script. * testsuite/Makefile.am (check_PROGRAMS): Add relro_script_test. (relro_script_test_SOURCES): Define. (relro_script_test_DEPENDENCIES): Define. (relro_script_test_LDFLAGS): Define. (relro_script_test_LDADD): Define. (relro_script_test.so): New target. * testsuite/Makefile.in: Rebuild.
2008-08-13 09:37:46 +02:00
/* Handle DATA_SEGMENT_ALIGN and DATA_SEGMENT_RELRO_END. */
extern void
script_data_segment_align(void* closure);
extern void
script_data_segment_relro_end(void* closure);
2009-10-16 Doug Kwan <dougkwan@google.com> * expression.cc (class Segment_start_expression): New class definition. (Segment_start_expression::value): New method definition. (script_exp_function_segment_start): Return a new Segment_start_expression. * gold/script-c.h (script_saw_segment_start_expression): New function prototype. * script-sections.cc (Script_sections::Script_sections): Initialize SAW_SEGMENT_START_EXPRESSION_ to false. (Script_sections::set_section_addresses): Use -Ttext, -Tdata and -Tbbs options to specify section addresses if given in command line and no SEGMENT_START expression is seen in a script. * script-sections.h (Script_sections::saw_segment_start_expression, Script_sections::set_saw_segment_start_expression): New method definition. (Script_sections::saw_segment_start_expression_): New data member declaration. * script.cc (script_saw_segment_start_expression): New function. * yyscript.y (SEGMENT_START): Call script_saw_segment_start_expression. * testsuite/Makefile.am (check_SCRIPTS): Add script_test_6.sh, script_test_7.sh and script_test_8.sh. (check_DATA): Add script_test_6.stdout, script_test_7.stdout and script_test_8.stdout. (MOSTLYCLEANFILES): Add script_test_6, script_test_7 and script_test_8. (script_test_6, script_test_6.stdout, script_test_7, script_test_7.stdout, script_test_8, script_test_8.stdout): New rules. * Makefile.in: Regenerate. * testsuite/script_test_6.sh: New file. * testsuite/script_test_6.t: Same. * testsuite/script_test_7.sh: Same. * testsuite/script_test_7.t: Same. * testsuite/script_test_8.sh: Same.
2009-10-16 20:56:07 +02:00
/* Record the fact that a SEGMENT_START expression is seen. */
extern void
script_saw_segment_start_expression(void* closure);
/* Called by the bison parser for expressions. */
extern Expression_ptr
script_exp_unary_minus(Expression_ptr);
extern Expression_ptr
script_exp_unary_logical_not(Expression_ptr);
extern Expression_ptr
script_exp_unary_bitwise_not(Expression_ptr);
extern Expression_ptr
script_exp_binary_mult(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_div(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_mod(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_add(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_sub(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_lshift(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_rshift(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_eq(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_ne(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_le(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_ge(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_lt(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_gt(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_bitwise_and(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_bitwise_xor(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_bitwise_or(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_logical_and(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_binary_logical_or(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_trinary_cond(Expression_ptr, Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_integer(uint64_t);
extern Expression_ptr
script_exp_string(const char*, size_t);
extern Expression_ptr
script_exp_function_max(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_function_min(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_function_defined(const char*, size_t);
extern Expression_ptr
script_exp_function_sizeof_headers(void);
extern Expression_ptr
script_exp_function_alignof(const char*, size_t);
extern Expression_ptr
script_exp_function_sizeof(const char*, size_t);
extern Expression_ptr
script_exp_function_addr(const char*, size_t);
extern Expression_ptr
script_exp_function_loadaddr(const char*, size_t);
extern Expression_ptr
script_exp_function_origin(const char*, size_t);
extern Expression_ptr
script_exp_function_length(const char*, size_t);
extern Expression_ptr
script_exp_function_constant(const char*, size_t);
extern Expression_ptr
script_exp_function_absolute(Expression_ptr);
extern Expression_ptr
script_exp_function_align(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_function_data_segment_align(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_function_data_segment_relro_end(Expression_ptr, Expression_ptr);
extern Expression_ptr
script_exp_function_data_segment_end(Expression_ptr);
extern Expression_ptr
script_exp_function_segment_start(const char*, size_t, Expression_ptr);
extern Expression_ptr
script_exp_function_assert(Expression_ptr, const char*, size_t);
extern void
script_register_vers_node(void* closure,
const char* tag,
int taglen,
struct Version_tree *,
struct Version_dependency_list *);
extern struct Version_dependency_list *
script_add_vers_depend(void* closure,
struct Version_dependency_list *existing_dependencies,
const char *depend_to_add, int deplen);
extern struct Version_expression_list *
script_new_vers_pattern(void* closure,
struct Version_expression_list *,
const char *, int, int);
extern struct Version_expression_list *
script_merge_expressions(struct Version_expression_list *a,
struct Version_expression_list *b);
extern struct Version_tree *
script_new_vers_node(void* closure,
struct Version_expression_list *global,
struct Version_expression_list *local);
extern void
version_script_push_lang(void* closure, const char* lang, int langlen);
extern void
version_script_pop_lang(void* closure);
#ifdef __cplusplus
} // End extern "C"
#endif
#ifdef __cplusplus
} // End namespace gold.
#endif
#endif /* !defined(GOLD_SCRIPT_C_H) */