binutils-gdb/gold/yyscript.y

1031 lines
27 KiB
Plaintext
Raw Normal View History

/* yyscript.y -- linker script grammar for 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 is a bison grammar to parse a subset of the original GNU ld
linker script language. */
%{
#include "config.h"
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
2008-02-04 23:54:31 +01:00
#include <string.h>
#include "script-c.h"
%}
/* We need to use a pure parser because we might be multi-threaded.
We pass some arguments through the parser to the lexer. */
%pure-parser
%parse-param {void* closure}
%lex-param {void* closure}
/* Since we require bison anyhow, we take advantage of it. */
%error-verbose
/* The values associated with tokens. */
%union {
/* A string. */
struct Parser_string string;
/* A number. */
uint64_t integer;
/* An expression. */
Expression_ptr expr;
/* An output section header. */
struct Parser_output_section_header output_section_header;
/* An output section trailer. */
struct Parser_output_section_trailer output_section_trailer;
/* A section constraint. */
enum Section_constraint constraint;
/* A complete input section specification. */
struct Input_section_spec input_section_spec;
/* A list of wildcard specifications, with exclusions. */
struct Wildcard_sections wildcard_sections;
/* A single wildcard specification. */
struct Wildcard_section wildcard_section;
/* A list of strings. */
String_list_ptr string_list;
2008-02-04 23:54:31 +01:00
/* Information for a program header. */
struct Phdr_info phdr_info;
/* Used for version scripts and within VERSION {}. */
struct Version_dependency_list* deplist;
struct Version_expression_list* versyms;
struct Version_tree* versnode;
}
/* Operators, including a precedence table for expressions. */
%right PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ
%right '?' ':'
%left OROR
%left ANDAND
%left '|'
%left '^'
%left '&'
%left EQ NE
%left '<' '>' LE GE
%left LSHIFT RSHIFT
%left '+' '-'
%left '*' '/' '%'
/* A fake operator used to indicate unary operator precedence. */
%right UNARY
/* Constants. */
%token <string> STRING
%token <string> QUOTED_STRING
%token <integer> INTEGER
/* Keywords. This list is taken from ldgram.y and ldlex.l in the old
GNU linker, with the keywords which only appear in MRI mode
removed. Not all these keywords are actually used in this grammar.
In most cases the keyword is recognized as the token name in upper
case. The comments indicate where this is not the case. */
%token ABSOLUTE
%token ADDR
%token ALIGN_K /* ALIGN */
%token ALIGNOF
%token ASSERT_K /* ASSERT */
%token AS_NEEDED
%token AT
%token BIND
%token BLOCK
%token BYTE
%token CONSTANT
%token CONSTRUCTORS
%token CREATE_OBJECT_SYMBOLS
%token DATA_SEGMENT_ALIGN
%token DATA_SEGMENT_END
%token DATA_SEGMENT_RELRO_END
%token DEFINED
%token ENTRY
%token EXCLUDE_FILE
%token EXTERN
%token FILL
%token FLOAT
%token FORCE_COMMON_ALLOCATION
%token GLOBAL /* global */
%token GROUP
%token HLL
%token INCLUDE
%token INHIBIT_COMMON_ALLOCATION
%token INPUT
%token KEEP
%token LENGTH /* LENGTH, l, len */
%token LOADADDR
%token LOCAL /* local */
%token LONG
%token MAP
%token MAX_K /* MAX */
%token MEMORY
%token MIN_K /* MIN */
%token NEXT
%token NOCROSSREFS
%token NOFLOAT
%token ONLY_IF_RO
%token ONLY_IF_RW
%token ORIGIN /* ORIGIN, o, org */
%token OUTPUT
%token OUTPUT_ARCH
%token OUTPUT_FORMAT
%token OVERLAY
%token PHDRS
%token PROVIDE
%token PROVIDE_HIDDEN
%token QUAD
%token SEARCH_DIR
%token SECTIONS
%token SEGMENT_START
%token SHORT
%token SIZEOF
%token SIZEOF_HEADERS /* SIZEOF_HEADERS, sizeof_headers */
%token SORT_BY_ALIGNMENT
%token SORT_BY_NAME
%token SPECIAL
%token SQUAD
%token STARTUP
%token SUBALIGN
%token SYSLIB
%token TARGET_K /* TARGET */
%token TRUNCATE
%token VERSIONK /* VERSION */
/* Keywords, part 2. These are keywords that are unique to gold,
and not present in the old GNU linker. As before, unless the
comments say otherwise, the keyword is recognized as the token
name in upper case. */
%token OPTION
/* Special tokens used to tell the grammar what type of tokens we are
parsing. The token stream always begins with one of these tokens.
We do this because version scripts can appear embedded within
linker scripts, and because --defsym uses the expression
parser. */
%token PARSING_LINKER_SCRIPT
%token PARSING_VERSION_SCRIPT
%token PARSING_DEFSYM
%token PARSING_DYNAMIC_LIST
/* Non-terminal types, where needed. */
%type <expr> parse_exp exp opt_address_and_section_type
%type <expr> opt_at opt_align opt_subalign opt_fill
%type <output_section_header> section_header
%type <output_section_trailer> section_trailer
%type <constraint> opt_constraint
2008-02-04 23:54:31 +01:00
%type <string_list> opt_phdr
%type <integer> data_length
%type <input_section_spec> input_section_no_keep
%type <wildcard_sections> wildcard_sections
%type <wildcard_section> wildcard_file wildcard_section
%type <string_list> exclude_names
%type <string> wildcard_name
2008-02-04 23:54:31 +01:00
%type <integer> phdr_type
%type <phdr_info> phdr_info
%type <versyms> vers_defns
%type <versnode> vers_tag
%type <deplist> verdep
%type <string> string
%%
/* Read the special token to see what to read next. */
top:
PARSING_LINKER_SCRIPT linker_script
| PARSING_VERSION_SCRIPT version_script
| PARSING_DEFSYM defsym_expr
| PARSING_DYNAMIC_LIST dynamic_list_expr
;
/* A file contains a list of commands. */
linker_script:
linker_script file_cmd
| /* empty */
;
/* A command which may appear at top level of a linker script. */
file_cmd:
EXTERN '(' extern_name_list ')'
| FORCE_COMMON_ALLOCATION
2008-02-28 21:35:39 +01:00
{ script_set_common_allocation(closure, 1); }
| GROUP
{ script_start_group(closure); }
'(' input_list ')'
{ script_end_group(closure); }
2008-02-28 21:35:39 +01:00
| INHIBIT_COMMON_ALLOCATION
{ script_set_common_allocation(closure, 0); }
| INPUT '(' input_list ')'
| OPTION '(' string ')'
{ script_parse_option(closure, $3.value, $3.length); }
* 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
| OUTPUT_FORMAT '(' string ')'
{
if (!script_check_output_format(closure, $3.value, $3.length,
NULL, 0, NULL, 0))
YYABORT;
}
| OUTPUT_FORMAT '(' string ',' string ',' string ')'
{
if (!script_check_output_format(closure, $3.value, $3.length,
$5.value, $5.length,
$7.value, $7.length))
YYABORT;
}
2008-02-04 23:54:31 +01:00
| PHDRS '{' phdrs_defs '}'
| SEARCH_DIR '(' string ')'
{ script_add_search_dir(closure, $3.value, $3.length); }
| SECTIONS '{'
{ script_start_sections(closure); }
sections_block '}'
{ script_finish_sections(closure); }
| TARGET_K '(' string ')'
{ script_set_target(closure, $3.value, $3.length); }
| VERSIONK '{'
{ script_push_lex_into_version_mode(closure); }
version_script '}'
{ script_pop_lex_mode(closure); }
| file_or_sections_cmd
| ignore_cmd
| ';'
;
/* Top level commands which we ignore. The GNU linker uses these to
select the output format, but we don't offer a choice. Ignoring
these is more-or-less OK since most scripts simply explicitly
choose the default. */
ignore_cmd:
* 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
OUTPUT_ARCH '(' string ')'
;
/* A list of external undefined symbols. We put the lexer into
expression mode so that commas separate names; this is what the GNU
linker does. */
extern_name_list:
{ script_push_lex_into_expression_mode(closure); }
extern_name_list_body
{ script_pop_lex_mode(closure); }
;
extern_name_list_body:
string
{ script_add_extern(closure, $1.value, $1.length); }
| extern_name_list_body string
{ script_add_extern(closure, $2.value, $2.length); }
| extern_name_list_body ',' string
{ script_add_extern(closure, $3.value, $3.length); }
;
/* A list of input file names. */
input_list:
input_list_element
| input_list opt_comma input_list_element
;
/* An input file name. */
input_list_element:
string
{ script_add_file(closure, $1.value, $1.length); }
| AS_NEEDED
{ script_start_as_needed(closure); }
'(' input_list ')'
{ script_end_as_needed(closure); }
;
/* Commands in a SECTIONS block. */
sections_block:
sections_block section_block_cmd
| /* empty */
;
/* A command which may appear within a SECTIONS block. */
section_block_cmd:
file_or_sections_cmd
| string section_header
{ script_start_output_section(closure, $1.value, $1.length, &$2); }
'{' section_cmds '}' section_trailer
{ script_finish_output_section(closure, &$7); }
;
/* The header of an output section in a SECTIONS block--everything
after the name. */
section_header:
{ script_push_lex_into_expression_mode(closure); }
opt_address_and_section_type opt_at opt_align opt_subalign
{ script_pop_lex_mode(closure); }
opt_constraint
{
$$.address = $2;
$$.load_address = $3;
$$.align = $4;
$$.subalign = $5;
$$.constraint = $7;
}
;
/* The optional address followed by the optional section type. This
is a separate nonterminal to avoid a shift/reduce conflict on
'(' in section_header. */
opt_address_and_section_type:
':'
{ $$ = NULL; }
| '(' ')' ':'
{ $$ = NULL; }
| exp ':'
{ $$ = $1; }
| exp '(' ')' ':'
{ $$ = $1; }
| exp '(' string ')' ':'
{
yyerror(closure, "section types are not supported");
$$ = $1;
}
;
/* The address at which an output section should be loaded. */
opt_at:
/* empty */
{ $$ = NULL; }
| AT '(' exp ')'
{ $$ = $3; }
;
/* The alignment of an output section. */
opt_align:
/* empty */
{ $$ = NULL; }
| ALIGN_K '(' exp ')'
{ $$ = $3; }
;
/* The input section alignment within an output section. */
opt_subalign:
/* empty */
{ $$ = NULL; }
| SUBALIGN '(' exp ')'
{ $$ = $3; }
;
/* A section constraint. */
opt_constraint:
/* empty */
{ $$ = CONSTRAINT_NONE; }
| ONLY_IF_RO
{ $$ = CONSTRAINT_ONLY_IF_RO; }
| ONLY_IF_RW
{ $$ = CONSTRAINT_ONLY_IF_RW; }
| SPECIAL
{ $$ = CONSTRAINT_SPECIAL; }
;
/* The trailer of an output section in a SECTIONS block. */
section_trailer:
opt_memspec opt_at_memspec opt_phdr opt_fill opt_comma
{
$$.fill = $4;
2008-02-04 23:54:31 +01:00
$$.phdrs = $3;
}
;
/* A memory specification for an output section. */
opt_memspec:
'>' string
{ yyerror(closure, "memory regions are not supported"); }
| /* empty */
;
/* A memory specification for where to load an output section. */
opt_at_memspec:
AT '>' string
{ yyerror(closure, "memory regions are not supported"); }
| /* empty */
;
/* The program segment an output section should go into. */
opt_phdr:
opt_phdr ':' string
2008-02-04 23:54:31 +01:00
{ $$ = script_string_list_push_back($1, $3.value, $3.length); }
| /* empty */
2008-02-04 23:54:31 +01:00
{ $$ = NULL; }
;
2008-02-04 06:43:05 +01:00
/* The value to use to fill an output section. FIXME: This does not
handle a string of arbitrary length. */
opt_fill:
'=' parse_exp
{ $$ = $2; }
| /* empty */
{ $$ = NULL; }
;
/* Commands which may appear within the description of an output
section in a SECTIONS block. */
section_cmds:
/* empty */
| section_cmds section_cmd
;
/* A command which may appear within the description of an output
section in a SECTIONS block. */
section_cmd:
assignment end
| input_section_spec
| data_length '(' parse_exp ')'
{ script_add_data(closure, $1, $3); }
| ASSERT_K '(' parse_exp ',' string ')'
{ script_add_assertion(closure, $3, $5.value, $5.length); }
| FILL '(' parse_exp ')'
{ script_add_fill(closure, $3); }
| CONSTRUCTORS
{
/* The GNU linker uses CONSTRUCTORS for the a.out object
file format. It does nothing when using ELF. Since
some ELF linker scripts use it although it does
nothing, we accept it and ignore it. */
}
| SORT_BY_NAME '(' CONSTRUCTORS ')'
| ';'
;
/* The length of data which may appear within the description of an
output section in a SECTIONS block. */
data_length:
QUAD
{ $$ = QUAD; }
| SQUAD
{ $$ = SQUAD; }
| LONG
{ $$ = LONG; }
| SHORT
{ $$ = SHORT; }
| BYTE
{ $$ = BYTE; }
;
/* An input section specification. This may appear within the
description of an output section in a SECTIONS block. */
input_section_spec:
input_section_no_keep
{ script_add_input_section(closure, &$1, 0); }
| KEEP '(' input_section_no_keep ')'
{ script_add_input_section(closure, &$3, 1); }
;
/* An input section specification within a KEEP clause. */
input_section_no_keep:
string
{
$$.file.name = $1;
$$.file.sort = SORT_WILDCARD_NONE;
$$.input_sections.sections = NULL;
$$.input_sections.exclude = NULL;
}
| wildcard_file '(' wildcard_sections ')'
{
$$.file = $1;
$$.input_sections = $3;
}
;
/* A wildcard file specification. */
wildcard_file:
wildcard_name
{
$$.name = $1;
$$.sort = SORT_WILDCARD_NONE;
}
| SORT_BY_NAME '(' wildcard_name ')'
{
$$.name = $3;
$$.sort = SORT_WILDCARD_BY_NAME;
}
;
/* A list of wild card section specifications. */
wildcard_sections:
wildcard_sections opt_comma wildcard_section
{
$$.sections = script_string_sort_list_add($1.sections, &$3);
$$.exclude = $1.exclude;
}
| wildcard_section
{
$$.sections = script_new_string_sort_list(&$1);
$$.exclude = NULL;
}
| wildcard_sections opt_comma EXCLUDE_FILE '(' exclude_names ')'
{
$$.sections = $1.sections;
$$.exclude = script_string_list_append($1.exclude, $5);
}
| EXCLUDE_FILE '(' exclude_names ')'
{
$$.sections = NULL;
$$.exclude = $3;
}
;
/* A single wild card specification. */
wildcard_section:
wildcard_name
{
$$.name = $1;
$$.sort = SORT_WILDCARD_NONE;
}
| SORT_BY_NAME '(' wildcard_section ')'
{
$$.name = $3.name;
switch ($3.sort)
{
case SORT_WILDCARD_NONE:
$$.sort = SORT_WILDCARD_BY_NAME;
break;
case SORT_WILDCARD_BY_NAME:
case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
break;
case SORT_WILDCARD_BY_ALIGNMENT:
case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
$$.sort = SORT_WILDCARD_BY_NAME_BY_ALIGNMENT;
break;
default:
abort();
}
}
| SORT_BY_ALIGNMENT '(' wildcard_section ')'
{
$$.name = $3.name;
switch ($3.sort)
{
case SORT_WILDCARD_NONE:
$$.sort = SORT_WILDCARD_BY_ALIGNMENT;
break;
case SORT_WILDCARD_BY_ALIGNMENT:
case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
break;
case SORT_WILDCARD_BY_NAME:
case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
$$.sort = SORT_WILDCARD_BY_ALIGNMENT_BY_NAME;
break;
default:
abort();
}
}
;
/* A list of file names to exclude. */
exclude_names:
exclude_names opt_comma wildcard_name
{ $$ = script_string_list_push_back($1, $3.value, $3.length); }
| wildcard_name
{ $$ = script_new_string_list($1.value, $1.length); }
;
/* A single wildcard name. We recognize '*' and '?' specially since
they are expression tokens. */
wildcard_name:
string
{ $$ = $1; }
| '*'
{
$$.value = "*";
$$.length = 1;
}
| '?'
{
$$.value = "?";
$$.length = 1;
}
;
/* A command which may appear at the top level of a linker script, or
within a SECTIONS block. */
file_or_sections_cmd:
ENTRY '(' string ')'
{ script_set_entry(closure, $3.value, $3.length); }
| assignment end
| ASSERT_K '(' parse_exp ',' string ')'
{ script_add_assertion(closure, $3, $5.value, $5.length); }
;
2008-02-04 23:54:31 +01:00
/* A list of program header definitions. */
phdrs_defs:
phdrs_defs phdr_def
| /* empty */
;
/* A program header definition. */
phdr_def:
string phdr_type phdr_info ';'
{ script_add_phdr(closure, $1.value, $1.length, $2, &$3); }
;
/* A program header type. The GNU linker accepts a general expression
here, but that would be a pain because we would have to dig into
the expression structure. It's unlikely that anybody uses anything
other than a string or a number here, so that is all we expect. */
phdr_type:
string
{ $$ = script_phdr_string_to_type(closure, $1.value, $1.length); }
| INTEGER
{ $$ = $1; }
;
/* Additional information for a program header. */
phdr_info:
/* empty */
{ memset(&$$, 0, sizeof(struct Phdr_info)); }
| string phdr_info
{
$$ = $2;
if ($1.length == 7 && strncmp($1.value, "FILEHDR", 7) == 0)
$$.includes_filehdr = 1;
else
yyerror(closure, "PHDRS syntax error");
}
| PHDRS phdr_info
{
$$ = $2;
$$.includes_phdrs = 1;
}
| string '(' INTEGER ')' phdr_info
{
$$ = $5;
if ($1.length == 5 && strncmp($1.value, "FLAGS", 5) == 0)
{
$$.is_flags_valid = 1;
$$.flags = $3;
}
else
yyerror(closure, "PHDRS syntax error");
}
| AT '(' parse_exp ')' phdr_info
{
$$ = $5;
$$.load_address = $3;
}
;
/* Set a symbol to a value. */
assignment:
string '=' parse_exp
{ script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
| string PLUSEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_add(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string MINUSEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_sub(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string MULTEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_mult(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string DIVEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_div(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string LSHIFTEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_lshift(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string RSHIFTEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_rshift(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string ANDEQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_bitwise_and(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| string OREQ parse_exp
{
Expression_ptr s = script_exp_string($1.value, $1.length);
Expression_ptr e = script_exp_binary_bitwise_or(s, $3);
script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
}
| PROVIDE '(' string '=' parse_exp ')'
{ script_set_symbol(closure, $3.value, $3.length, $5, 1, 0); }
| PROVIDE_HIDDEN '(' string '=' parse_exp ')'
{ script_set_symbol(closure, $3.value, $3.length, $5, 1, 1); }
;
/* Parse an expression, putting the lexer into the right mode. */
parse_exp:
{ script_push_lex_into_expression_mode(closure); }
exp
{
script_pop_lex_mode(closure);
$$ = $2;
}
;
/* An expression. */
exp:
'(' exp ')'
{ $$ = $2; }
| '-' exp %prec UNARY
{ $$ = script_exp_unary_minus($2); }
| '!' exp %prec UNARY
{ $$ = script_exp_unary_logical_not($2); }
| '~' exp %prec UNARY
{ $$ = script_exp_unary_bitwise_not($2); }
| '+' exp %prec UNARY
{ $$ = $2; }
| exp '*' exp
{ $$ = script_exp_binary_mult($1, $3); }
| exp '/' exp
{ $$ = script_exp_binary_div($1, $3); }
| exp '%' exp
{ $$ = script_exp_binary_mod($1, $3); }
| exp '+' exp
{ $$ = script_exp_binary_add($1, $3); }
| exp '-' exp
{ $$ = script_exp_binary_sub($1, $3); }
| exp LSHIFT exp
{ $$ = script_exp_binary_lshift($1, $3); }
| exp RSHIFT exp
{ $$ = script_exp_binary_rshift($1, $3); }
| exp EQ exp
{ $$ = script_exp_binary_eq($1, $3); }
| exp NE exp
{ $$ = script_exp_binary_ne($1, $3); }
| exp LE exp
{ $$ = script_exp_binary_le($1, $3); }
| exp GE exp
{ $$ = script_exp_binary_ge($1, $3); }
| exp '<' exp
{ $$ = script_exp_binary_lt($1, $3); }
| exp '>' exp
{ $$ = script_exp_binary_gt($1, $3); }
| exp '&' exp
{ $$ = script_exp_binary_bitwise_and($1, $3); }
| exp '^' exp
{ $$ = script_exp_binary_bitwise_xor($1, $3); }
| exp '|' exp
{ $$ = script_exp_binary_bitwise_or($1, $3); }
| exp ANDAND exp
{ $$ = script_exp_binary_logical_and($1, $3); }
| exp OROR exp
{ $$ = script_exp_binary_logical_or($1, $3); }
| exp '?' exp ':' exp
{ $$ = script_exp_trinary_cond($1, $3, $5); }
| INTEGER
{ $$ = script_exp_integer($1); }
| string
{ $$ = script_exp_string($1.value, $1.length); }
| MAX_K '(' exp ',' exp ')'
{ $$ = script_exp_function_max($3, $5); }
| MIN_K '(' exp ',' exp ')'
{ $$ = script_exp_function_min($3, $5); }
| DEFINED '(' string ')'
{ $$ = script_exp_function_defined($3.value, $3.length); }
| SIZEOF_HEADERS
{ $$ = script_exp_function_sizeof_headers(); }
| ALIGNOF '(' string ')'
{ $$ = script_exp_function_alignof($3.value, $3.length); }
| SIZEOF '(' string ')'
{ $$ = script_exp_function_sizeof($3.value, $3.length); }
| ADDR '(' string ')'
{ $$ = script_exp_function_addr($3.value, $3.length); }
| LOADADDR '(' string ')'
{ $$ = script_exp_function_loadaddr($3.value, $3.length); }
| ORIGIN '(' string ')'
{ $$ = script_exp_function_origin($3.value, $3.length); }
| LENGTH '(' string ')'
{ $$ = script_exp_function_length($3.value, $3.length); }
| CONSTANT '(' string ')'
{ $$ = script_exp_function_constant($3.value, $3.length); }
| ABSOLUTE '(' exp ')'
{ $$ = script_exp_function_absolute($3); }
| ALIGN_K '(' exp ')'
{ $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
| ALIGN_K '(' exp ',' exp ')'
{ $$ = script_exp_function_align($3, $5); }
| BLOCK '(' exp ')'
{ $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
| DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
* 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
{
script_data_segment_align(closure);
$$ = script_exp_function_data_segment_align($3, $5);
}
| DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
* 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
{
script_data_segment_relro_end(closure);
$$ = script_exp_function_data_segment_relro_end($3, $5);
}
| DATA_SEGMENT_END '(' exp ')'
{ $$ = script_exp_function_data_segment_end($3); }
| SEGMENT_START '(' string ',' exp ')'
{
$$ = script_exp_function_segment_start($3.value, $3.length, $5);
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
/* We need to take note of any SEGMENT_START expressions
because they change the behaviour of -Ttext, -Tdata and
-Tbss options. */
script_saw_segment_start_expression(closure);
}
| ASSERT_K '(' exp ',' string ')'
{ $$ = script_exp_function_assert($3, $5.value, $5.length); }
;
/* Handle the --defsym option. */
defsym_expr:
string '=' parse_exp
{ script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
;
/* Handle the --dynamic-list option. A dynamic list has the format
{ sym1; sym2; extern "C++" { namespace::sym3 }; };
We store the symbol we see in the "local" list; that is where
Command_line::in_dynamic_list() will look to do its check.
TODO(csilvers): More than one of these brace-lists can appear, and
should just be merged and treated as a single list. */
dynamic_list_expr: dynamic_list_nodes ;
dynamic_list_nodes:
dynamic_list_node
| dynamic_list_nodes dynamic_list_node
;
dynamic_list_node:
'{' vers_defns ';' '}' ';'
{ script_new_vers_node (closure, NULL, $2); }
;
/* A version script. */
version_script:
vers_nodes
;
vers_nodes:
vers_node
| vers_nodes vers_node
;
vers_node:
'{' vers_tag '}' ';'
{
script_register_vers_node (closure, NULL, 0, $2, NULL);
}
| string '{' vers_tag '}' ';'
{
script_register_vers_node (closure, $1.value, $1.length, $3,
NULL);
}
| string '{' vers_tag '}' verdep ';'
{
script_register_vers_node (closure, $1.value, $1.length, $3, $5);
}
;
verdep:
string
{
$$ = script_add_vers_depend (closure, NULL, $1.value, $1.length);
}
| verdep string
{
$$ = script_add_vers_depend (closure, $1, $2.value, $2.length);
}
;
vers_tag:
/* empty */
{ $$ = script_new_vers_node (closure, NULL, NULL); }
| vers_defns ';'
{ $$ = script_new_vers_node (closure, $1, NULL); }
| GLOBAL ':' vers_defns ';'
{ $$ = script_new_vers_node (closure, $3, NULL); }
| LOCAL ':' vers_defns ';'
{ $$ = script_new_vers_node (closure, NULL, $3); }
| GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
{ $$ = script_new_vers_node (closure, $3, $7); }
;
/* Here is one of the rare places we care about the distinction
between STRING and QUOTED_STRING. For QUOTED_STRING, we do exact
matching on the pattern, so we pass in true for the exact_match
parameter. For STRING, we do glob matching and pass in false. */
vers_defns:
STRING
{
$$ = script_new_vers_pattern (closure, NULL, $1.value,
$1.length, 0);
}
| QUOTED_STRING
{
$$ = script_new_vers_pattern (closure, NULL, $1.value,
$1.length, 1);
}
| vers_defns ';' STRING
{
$$ = script_new_vers_pattern (closure, $1, $3.value,
$3.length, 0);
}
| vers_defns ';' QUOTED_STRING
{
$$ = script_new_vers_pattern (closure, $1, $3.value,
$3.length, 1);
}
| /* Push string on the language stack. */
EXTERN string '{'
{ version_script_push_lang (closure, $2.value, $2.length); }
vers_defns opt_semicolon '}'
{
$$ = $5;
version_script_pop_lang(closure);
}
| /* Push string on the language stack. This is more complicated
than the other cases because we need to merge the linked-list
state from the pre-EXTERN defns and the post-EXTERN defns. */
vers_defns ';' EXTERN string '{'
{ version_script_push_lang (closure, $4.value, $4.length); }
vers_defns opt_semicolon '}'
{
$$ = script_merge_expressions ($1, $7);
version_script_pop_lang(closure);
}
| EXTERN // "extern" as a symbol name
{
$$ = script_new_vers_pattern (closure, NULL, "extern",
sizeof("extern") - 1, 1);
}
| vers_defns ';' EXTERN
{
$$ = script_new_vers_pattern (closure, $1, "extern",
sizeof("extern") - 1, 1);
}
;
/* A string can be either a STRING or a QUOTED_STRING. Almost all the
time we don't care, and we use this rule. */
string:
STRING
{ $$ = $1; }
| QUOTED_STRING
{ $$ = $1; }
;
/* Some statements require a terminator, which may be a semicolon or a
comma. */
end:
';'
| ','
;
/* An optional semicolon. */
opt_semicolon:
';'
| /* empty */
;
/* An optional comma. */
opt_comma:
','
| /* empty */
;
%%