2001-05-07 11:20:25 +02:00
|
|
|
/* A YACC grammar to parse a superset of the AT&T linker scripting language.
|
2018-01-03 06:17:27 +01:00
|
|
|
Copyright (C) 1991-2018 Free Software Foundation, Inc.
|
1999-05-03 09:29:11 +02:00
|
|
|
Written by Steve Chamberlain of Cygnus Support (steve@cygnus.com).
|
|
|
|
|
2007-07-06 16:09:45 +02:00
|
|
|
This file is part of the GNU Binutils.
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2004-11-19 10:31:55 +01:00
|
|
|
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
|
2007-07-06 16:09:45 +02:00
|
|
|
the Free Software Foundation; either version 3 of the License, or
|
2004-11-19 10:31:55 +01:00
|
|
|
(at your option) any later version.
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2004-11-19 10:31:55 +01:00
|
|
|
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.
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2004-11-19 10:31:55 +01:00
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program; if not, write to the Free Software
|
2007-07-06 16:09:45 +02:00
|
|
|
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
|
|
|
MA 02110-1301, USA. */
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
%{
|
|
|
|
/*
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define DONTDECLARE_MALLOC
|
|
|
|
|
|
|
|
#include "sysdep.h"
|
2007-04-26 16:47:00 +02:00
|
|
|
#include "bfd.h"
|
1999-05-03 09:29:11 +02:00
|
|
|
#include "bfdlink.h"
|
2003-04-24 19:15:25 +02:00
|
|
|
#include "ld.h"
|
1999-05-03 09:29:11 +02:00
|
|
|
#include "ldexp.h"
|
|
|
|
#include "ldver.h"
|
|
|
|
#include "ldlang.h"
|
|
|
|
#include "ldfile.h"
|
2000-07-11 05:42:41 +02:00
|
|
|
#include "ldemul.h"
|
1999-05-03 09:29:11 +02:00
|
|
|
#include "ldmisc.h"
|
|
|
|
#include "ldmain.h"
|
|
|
|
#include "mri.h"
|
|
|
|
#include "ldctor.h"
|
|
|
|
#include "ldlex.h"
|
|
|
|
|
|
|
|
#ifndef YYDEBUG
|
|
|
|
#define YYDEBUG 1
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static enum section_type sectype;
|
2005-04-29 01:54:33 +02:00
|
|
|
static lang_memory_region_type *region;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2017-07-28 14:01:10 +02:00
|
|
|
static bfd_boolean ldgram_had_keep = FALSE;
|
|
|
|
static char *ldgram_vers_current_lang = NULL;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
#define ERROR_NAME_MAX 20
|
|
|
|
static char *error_names[ERROR_NAME_MAX];
|
|
|
|
static int error_index;
|
|
|
|
#define PUSH_ERROR(x) if (error_index < ERROR_NAME_MAX) error_names[error_index] = x; error_index++;
|
|
|
|
#define POP_ERROR() error_index--;
|
|
|
|
%}
|
|
|
|
%union {
|
|
|
|
bfd_vma integer;
|
2002-02-15 03:11:05 +01:00
|
|
|
struct big_int
|
|
|
|
{
|
|
|
|
bfd_vma integer;
|
|
|
|
char *str;
|
|
|
|
} bigint;
|
|
|
|
fill_type *fill;
|
1999-05-03 09:29:11 +02:00
|
|
|
char *name;
|
|
|
|
const char *cname;
|
|
|
|
struct wildcard_spec wildcard;
|
2001-08-03 03:11:21 +02:00
|
|
|
struct wildcard_list *wildcard_list;
|
2000-01-05 15:12:23 +01:00
|
|
|
struct name_list *name_list;
|
2011-07-11 17:03:09 +02:00
|
|
|
struct flag_info_list *flag_info_list;
|
|
|
|
struct flag_info *flag_info;
|
1999-05-03 09:29:11 +02:00
|
|
|
int token;
|
|
|
|
union etree_union *etree;
|
|
|
|
struct phdr_info
|
|
|
|
{
|
2002-11-30 09:39:46 +01:00
|
|
|
bfd_boolean filehdr;
|
|
|
|
bfd_boolean phdrs;
|
1999-05-03 09:29:11 +02:00
|
|
|
union etree_union *at;
|
|
|
|
union etree_union *flags;
|
|
|
|
} phdr;
|
|
|
|
struct lang_nocrossref *nocrossref;
|
|
|
|
struct lang_output_section_phdr_list *section_phdr;
|
|
|
|
struct bfd_elf_version_deps *deflist;
|
|
|
|
struct bfd_elf_version_expr *versyms;
|
|
|
|
struct bfd_elf_version_tree *versnode;
|
|
|
|
}
|
|
|
|
|
|
|
|
%type <etree> exp opt_exp_with_type mustbe_exp opt_at phdr_type phdr_val
|
2005-09-28 02:34:21 +02:00
|
|
|
%type <etree> opt_exp_without_type opt_subalign opt_align
|
2002-02-15 03:11:05 +01:00
|
|
|
%type <fill> fill_opt fill_exp
|
2000-01-05 15:12:23 +01:00
|
|
|
%type <name_list> exclude_name_list
|
2017-07-28 14:01:10 +02:00
|
|
|
%type <wildcard_list> section_name_list
|
2011-07-11 17:03:09 +02:00
|
|
|
%type <flag_info_list> sect_flag_list
|
|
|
|
%type <flag_info> sect_flags
|
1999-05-03 09:29:11 +02:00
|
|
|
%type <name> memspec_opt casesymlist
|
2000-02-16 19:53:32 +01:00
|
|
|
%type <name> memspec_at_opt
|
1999-05-03 09:29:11 +02:00
|
|
|
%type <cname> wildcard_name
|
2017-07-28 14:01:10 +02:00
|
|
|
%type <wildcard> section_name_spec filename_spec wildcard_maybe_exclude
|
2003-04-24 19:15:25 +02:00
|
|
|
%token <bigint> INT
|
1999-05-03 09:29:11 +02:00
|
|
|
%token <name> NAME LNAME
|
|
|
|
%type <integer> length
|
|
|
|
%type <phdr> phdr_qualifiers
|
|
|
|
%type <nocrossref> nocrossref_list
|
|
|
|
%type <section_phdr> phdr_opt
|
|
|
|
%type <integer> opt_nocrossrefs
|
|
|
|
|
2003-04-24 19:15:25 +02:00
|
|
|
%right <token> PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ
|
1999-05-03 09:29:11 +02:00
|
|
|
%right <token> '?' ':'
|
|
|
|
%left <token> OROR
|
|
|
|
%left <token> ANDAND
|
|
|
|
%left <token> '|'
|
|
|
|
%left <token> '^'
|
|
|
|
%left <token> '&'
|
|
|
|
%left <token> EQ NE
|
|
|
|
%left <token> '<' '>' LE GE
|
|
|
|
%left <token> LSHIFT RSHIFT
|
|
|
|
|
|
|
|
%left <token> '+' '-'
|
|
|
|
%left <token> '*' '/' '%'
|
|
|
|
|
|
|
|
%right UNARY
|
2003-04-24 19:15:25 +02:00
|
|
|
%token END
|
1999-05-03 09:29:11 +02:00
|
|
|
%left <token> '('
|
|
|
|
%token <token> ALIGN_K BLOCK BIND QUAD SQUAD LONG SHORT BYTE
|
ld/
* ld.texinfo (INSERT): Describe.
* ldgram.y (ldgram_in_script, ldgram_had_equals): Delete.
(INSERT_K, AFTER, BEFORE): Add as tokens.
(ifile_p1): Handle INSERT statements.
(saved_script_handle, force_make_executable): Move to..
* ldmain.c: ..here.
(previous_script_handle): New global var.
* ldmain.h (saved_script_handle, force_make_executable): Declare.
(previous_script_handle): Likewise.
* ldlex.l (INSERT_K, AFTER, BEFORE): Add tokens.
* lexsup.c (parge_args <-T>): Set previous_script_handle.
* ldlang.c (lang_for_each_statement_worker): Handle insert statement.
(map_input_to_output_sections, print_statement): Likewise.
(lang_size_sections_1, lang_do_assignments_1): Likewise.
(insert_os_after): New function, extracted from..
(lang_insert_orphan): ..here.
(process_insert_statements): New function.
(lang_process): Call it.
(lang_add_insert): New function.
* ldlang.h (lang_insert_statement_enum): New.
(lang_insert_statement_type): New.
(lang_statement_union_type): Add insert_statement.
(lang_add_insert): Declare.
ld/testsuite/
* ld-spu/ovl.lnk: Delete overlay.
* ld-spu/ovl1.lnk: New file.
* ld-spu/ovl2.lnk: New file.
* ld-spu/ovl.d: Update.
* ld-spu/ovl2.d: Update.
2008-01-25 13:03:37 +01:00
|
|
|
%token SECTIONS PHDRS INSERT_K AFTER BEFORE
|
|
|
|
%token DATA_SEGMENT_ALIGN DATA_SEGMENT_RELRO_END DATA_SEGMENT_END
|
2012-07-10 08:50:57 +02:00
|
|
|
%token SORT_BY_NAME SORT_BY_ALIGNMENT SORT_NONE
|
2010-12-15 15:56:40 +01:00
|
|
|
%token SORT_BY_INIT_PRIORITY
|
1999-05-03 09:29:11 +02:00
|
|
|
%token '{' '}'
|
|
|
|
%token SIZEOF_HEADERS OUTPUT_FORMAT FORCE_COMMON_ALLOCATION OUTPUT_ARCH
|
ld: Allow section groups to be resolved as part of a relocatable link
This commit adds a new linker feature: the ability to resolve section
groups as part of a relocatable link.
Currently section groups are automatically resolved when performing a
final link, and are carried through when performing a relocatable link.
By carried through this means that one copy of each section group (from
all the copies that might be found in all the input files) is placed
into the output file. Sections that are part of a section group will
not match input section specifiers within a linker script and are
forcibly kept as separate sections.
There is a slight resemblance between section groups and common
section. Like section groups, common sections are carried through when
performing a relocatable link, and resolved (allocated actual space)
only at final link time.
However, with common sections there is an ability to force the linker to
allocate space for the common sections when performing a relocatable
link, there's currently no such ability for section groups.
This commit adds such a mechanism. This new facility can be accessed in
two ways, first there's a command line switch --force-group-allocation,
second, there's a new linker script command FORCE_GROUP_ALLOCATION. If
one of these is used when performing a relocatable link then the linker
will resolve the section groups as though it were performing a final
link, the section group will be deleted, and the members of the group
will be placed like normal input sections. If there are multiple copies
of the group (from multiple input files) then only one copy of the group
members will be placed, the duplicate copies will be discarded.
Unlike common sections that have the --no-define-common command line
flag, and INHIBIT_COMMON_ALLOCATION linker script command there is no
way to prevent group resolution during a final link, this is because the
ELF gABI specifically prohibits the presence of SHT_GROUP sections in a
fully linked executable. However, the code as written should make
adding such a feature trivial, setting the new resolve_section_groups
flag to false during a final link should work as you'd expect.
bfd/ChangeLog:
* elf.c (_bfd_elf_make_section_from_shdr): Don't initially mark
SEC_GROUP sections as SEC_EXCLUDE.
(bfd_elf_set_group_contents): Replace use of abort with an assert.
(assign_section_numbers): Use resolve_section_groups flag instead
of relocatable link type.
(_bfd_elf_init_private_section_data): Use resolve_section_groups
flag instead of checking the final_link flag for part of the
checks in here. Fix white space as a result.
* elflink.c (elf_link_input_bfd): Use resolve_section_groups flag
instead of relocatable link type.
(bfd_elf_final_link): Likewise.
include/ChangeLog:
* bfdlink.h (struct bfd_link_info): Add new resolve_section_groups
flag.
ld/ChangeLog:
* ld.h (struct args_type): Add force_group_allocation field.
* ldgram.y: Add support for FORCE_GROUP_ALLOCATION.
* ldlex.h: Likewise.
* ldlex.l: Likewise.
* lexsup.c: Likewise.
* ldlang.c (unique_section_p): Check resolve_section_groups flag
not the relaxable link flag.
(lang_add_section): Discard section groups when we're resolving
groups. Clear the SEC_LINK_ONCE flag if we're resolving section
groups.
* ldmain.c (main): Initialise resolve_section_groups flag in
link_info based on command line flags.
* testsuite/ld-elf/group11.d: New file.
* testsuite/ld-elf/group12.d: New file.
* testsuite/ld-elf/group12.ld: New file.
* NEWS: Mention new features.
* ld.texinfo (Options): Document --force-group-allocation.
(Miscellaneous Commands): Document FORCE_GROUP_ALLOCATION.
2017-03-22 18:27:49 +01:00
|
|
|
%token INHIBIT_COMMON_ALLOCATION FORCE_GROUP_ALLOCATION
|
2004-10-26 20:41:52 +02:00
|
|
|
%token SEGMENT_START
|
1999-05-03 09:29:11 +02:00
|
|
|
%token INCLUDE
|
2007-01-24 17:08:53 +01:00
|
|
|
%token MEMORY
|
2009-03-02 18:27:36 +01:00
|
|
|
%token REGION_ALIAS
|
2011-01-13 14:29:55 +01:00
|
|
|
%token LD_FEATURE
|
1999-05-03 09:29:11 +02:00
|
|
|
%token NOLOAD DSECT COPY INFO OVERLAY
|
2007-01-24 17:08:53 +01:00
|
|
|
%token DEFINED TARGET_K SEARCH_DIR MAP ENTRY
|
1999-05-03 09:29:11 +02:00
|
|
|
%token <integer> NEXT
|
2007-06-18 16:23:57 +02:00
|
|
|
%token SIZEOF ALIGNOF ADDR LOADADDR MAX_K MIN_K
|
2016-04-14 12:49:53 +02:00
|
|
|
%token STARTUP HLL SYSLIB FLOAT NOFLOAT NOCROSSREFS NOCROSSREFS_TO
|
1999-05-03 09:29:11 +02:00
|
|
|
%token ORIGIN FILL
|
|
|
|
%token LENGTH CREATE_OBJECT_SYMBOLS INPUT GROUP OUTPUT CONSTRUCTORS
|
2012-08-07 00:27:52 +02:00
|
|
|
%token ALIGNMOD AT SUBALIGN HIDDEN PROVIDE PROVIDE_HIDDEN AS_NEEDED
|
2013-07-19 12:39:51 +02:00
|
|
|
%type <token> assign_op atype attributes_opt sect_constraint opt_align_with_input
|
1999-05-03 09:29:11 +02:00
|
|
|
%type <name> filename
|
|
|
|
%token CHIP LIST SECT ABSOLUTE LOAD NEWLINE ENDWORD ORDER NAMEWORD ASSERT_K
|
2013-08-15 09:30:15 +02:00
|
|
|
%token LOG2CEIL FORMAT PUBLIC DEFSYMEND BASE ALIAS TRUNCATE REL
|
1999-05-03 09:29:11 +02:00
|
|
|
%token INPUT_SCRIPT INPUT_MRI_SCRIPT INPUT_DEFSYM CASE EXTERN START
|
|
|
|
%token <name> VERS_TAG VERS_IDENTIFIER
|
|
|
|
%token GLOBAL LOCAL VERSIONK INPUT_VERSION_SCRIPT
|
2013-07-19 12:39:51 +02:00
|
|
|
%token KEEP ONLY_IF_RO ONLY_IF_RW SPECIAL INPUT_SECTION_FLAGS ALIGN_WITH_INPUT
|
1999-05-03 09:29:11 +02:00
|
|
|
%token EXCLUDE_FILE
|
2006-05-30 18:45:32 +02:00
|
|
|
%token CONSTANT
|
1999-05-03 09:29:11 +02:00
|
|
|
%type <versyms> vers_defns
|
|
|
|
%type <versnode> vers_tag
|
|
|
|
%type <deflist> verdep
|
2006-09-07 19:16:34 +02:00
|
|
|
%token INPUT_DYNAMIC_LIST
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
%%
|
|
|
|
|
2003-04-24 19:15:25 +02:00
|
|
|
file:
|
1999-05-03 09:29:11 +02:00
|
|
|
INPUT_SCRIPT script_file
|
|
|
|
| INPUT_MRI_SCRIPT mri_script_file
|
|
|
|
| INPUT_VERSION_SCRIPT version_script_file
|
2006-09-07 19:16:34 +02:00
|
|
|
| INPUT_DYNAMIC_LIST dynamic_list_file
|
1999-05-03 09:29:11 +02:00
|
|
|
| INPUT_DEFSYM defsym_expr
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
|
|
filename: NAME;
|
|
|
|
|
|
|
|
|
|
|
|
defsym_expr:
|
|
|
|
{ ldlex_defsym(); }
|
|
|
|
NAME '=' exp
|
|
|
|
{
|
|
|
|
ldlex_popstate();
|
PR ld/12356
* ldexp.h (exp_assop): Delete.
(exp_assign, exp_defsym): Declare.
* ldexp.c (exp_assop): Make static, handle all assignment variations.
(exp_assign, exp_defsym): New functions.
(exp_provide): Use exp_assop.
* ldgram.y (defsym_expr): Use exp_defsym.
* ldctor.c, * ldgram.y, * ldlang.c, * mri.c, * emultempl/beos.em,
* emultempl/pe.em, * emultempl/pep.em, * emultempl/spuelf.em,
* emultempl/xtensaelf.em: Update exp_assop -> exp_assign.
2011-01-13 14:06:22 +01:00
|
|
|
lang_add_assignment (exp_defsym ($2, $4));
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2002-04-17 15:05:55 +02:00
|
|
|
;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2003-04-24 19:15:25 +02:00
|
|
|
/* SYNTAX WITHIN AN MRI SCRIPT FILE */
|
1999-05-03 09:29:11 +02:00
|
|
|
mri_script_file:
|
|
|
|
{
|
|
|
|
ldlex_mri_script ();
|
|
|
|
PUSH_ERROR (_("MRI style script"));
|
|
|
|
}
|
|
|
|
mri_script_lines
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
|
|
|
mri_draw_tree ();
|
|
|
|
POP_ERROR ();
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
mri_script_lines:
|
|
|
|
mri_script_lines mri_script_command NEWLINE
|
2017-10-12 12:58:30 +02:00
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
mri_script_command:
|
2003-04-24 19:15:25 +02:00
|
|
|
CHIP exp
|
1999-05-03 09:29:11 +02:00
|
|
|
| CHIP exp ',' exp
|
2017-10-12 12:58:30 +02:00
|
|
|
| NAME {
|
1999-05-03 09:29:11 +02:00
|
|
|
einfo(_("%P%F: unrecognised keyword in MRI style script '%s'\n"),$1);
|
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| LIST {
|
1999-05-03 09:29:11 +02:00
|
|
|
config.map_filename = "-";
|
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| ORDER ordernamelist
|
|
|
|
| ENDWORD
|
|
|
|
| PUBLIC NAME '=' exp
|
|
|
|
{ mri_public($2, $4); }
|
|
|
|
| PUBLIC NAME ',' exp
|
|
|
|
{ mri_public($2, $4); }
|
|
|
|
| PUBLIC NAME exp
|
|
|
|
{ mri_public($2, $3); }
|
|
|
|
| FORMAT NAME
|
1999-05-03 09:29:11 +02:00
|
|
|
{ mri_format($2); }
|
|
|
|
| SECT NAME ',' exp
|
|
|
|
{ mri_output_section($2, $4);}
|
|
|
|
| SECT NAME exp
|
|
|
|
{ mri_output_section($2, $3);}
|
|
|
|
| SECT NAME '=' exp
|
|
|
|
{ mri_output_section($2, $4);}
|
|
|
|
| ALIGN_K NAME '=' exp
|
|
|
|
{ mri_align($2,$4); }
|
|
|
|
| ALIGN_K NAME ',' exp
|
|
|
|
{ mri_align($2,$4); }
|
|
|
|
| ALIGNMOD NAME '=' exp
|
|
|
|
{ mri_alignmod($2,$4); }
|
|
|
|
| ALIGNMOD NAME ',' exp
|
|
|
|
{ mri_alignmod($2,$4); }
|
|
|
|
| ABSOLUTE mri_abs_name_list
|
|
|
|
| LOAD mri_load_name_list
|
2017-10-12 12:58:30 +02:00
|
|
|
| NAMEWORD NAME
|
2003-04-24 19:15:25 +02:00
|
|
|
{ mri_name($2); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| ALIAS NAME ',' NAME
|
|
|
|
{ mri_alias($2,$4,0);}
|
|
|
|
| ALIAS NAME ',' INT
|
2002-02-15 03:11:05 +01:00
|
|
|
{ mri_alias ($2, 0, (int) $4.integer); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| BASE exp
|
1999-05-03 09:29:11 +02:00
|
|
|
{ mri_base($2); }
|
2002-02-15 03:11:05 +01:00
|
|
|
| TRUNCATE INT
|
|
|
|
{ mri_truncate ((unsigned int) $2.integer); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| CASE casesymlist
|
|
|
|
| EXTERN extern_name_list
|
|
|
|
| INCLUDE filename
|
2001-10-20 15:49:00 +02:00
|
|
|
{ ldlex_script (); ldfile_open_command_file($2); }
|
|
|
|
mri_script_lines END
|
|
|
|
{ ldlex_popstate (); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| START NAME
|
2002-11-30 09:39:46 +01:00
|
|
|
{ lang_add_entry ($2, FALSE); }
|
2017-10-12 12:58:30 +02:00
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
ordernamelist:
|
2017-10-12 12:58:30 +02:00
|
|
|
ordernamelist ',' NAME { mri_order($3); }
|
|
|
|
| ordernamelist NAME { mri_order($2); }
|
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
mri_load_name_list:
|
|
|
|
NAME
|
|
|
|
{ mri_load($1); }
|
|
|
|
| mri_load_name_list ',' NAME { mri_load($3); }
|
|
|
|
;
|
|
|
|
|
|
|
|
mri_abs_name_list:
|
2017-10-12 12:58:30 +02:00
|
|
|
NAME
|
|
|
|
{ mri_only_load($1); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| mri_abs_name_list ',' NAME
|
2017-10-12 12:58:30 +02:00
|
|
|
{ mri_only_load($3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
casesymlist:
|
|
|
|
/* empty */ { $$ = NULL; }
|
|
|
|
| NAME
|
|
|
|
| casesymlist ',' NAME
|
|
|
|
;
|
|
|
|
|
2007-05-24 11:24:09 +02:00
|
|
|
/* Parsed as expressions so that commas separate entries */
|
1999-05-03 09:29:11 +02:00
|
|
|
extern_name_list:
|
2007-05-24 11:24:09 +02:00
|
|
|
{ ldlex_expression (); }
|
|
|
|
extern_name_list_body
|
|
|
|
{ ldlex_popstate (); }
|
|
|
|
|
|
|
|
extern_name_list_body:
|
1999-05-03 09:29:11 +02:00
|
|
|
NAME
|
2010-10-28 08:45:33 +02:00
|
|
|
{ ldlang_add_undef ($1, FALSE); }
|
2007-05-24 11:24:09 +02:00
|
|
|
| extern_name_list_body NAME
|
2010-10-28 08:45:33 +02:00
|
|
|
{ ldlang_add_undef ($2, FALSE); }
|
2007-05-24 11:24:09 +02:00
|
|
|
| extern_name_list_body ',' NAME
|
2010-10-28 08:45:33 +02:00
|
|
|
{ ldlang_add_undef ($3, FALSE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
script_file:
|
2007-05-24 11:24:09 +02:00
|
|
|
{ ldlex_both(); }
|
|
|
|
ifile_list
|
|
|
|
{ ldlex_popstate(); }
|
2017-10-12 12:58:30 +02:00
|
|
|
;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
ifile_list:
|
2007-05-24 11:24:09 +02:00
|
|
|
ifile_list ifile_p1
|
2017-10-12 12:58:30 +02:00
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
|
|
|
|
ifile_p1:
|
|
|
|
memory
|
|
|
|
| sections
|
|
|
|
| phdrs
|
|
|
|
| startup
|
|
|
|
| high_level_library
|
|
|
|
| low_level_library
|
|
|
|
| floating_point_support
|
|
|
|
| statement_anywhere
|
|
|
|
| version
|
2017-10-12 12:58:30 +02:00
|
|
|
| ';'
|
1999-05-03 09:29:11 +02:00
|
|
|
| TARGET_K '(' NAME ')'
|
|
|
|
{ lang_add_target($3); }
|
|
|
|
| SEARCH_DIR '(' filename ')'
|
2002-11-30 09:39:46 +01:00
|
|
|
{ ldfile_add_library_path ($3, FALSE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| OUTPUT '(' filename ')'
|
|
|
|
{ lang_add_output($3, 1); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| OUTPUT_FORMAT '(' NAME ')'
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_output_format ($3, (char *) NULL,
|
|
|
|
(char *) NULL, 1); }
|
|
|
|
| OUTPUT_FORMAT '(' NAME ',' NAME ',' NAME ')'
|
|
|
|
{ lang_add_output_format ($3, $5, $7, 1); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| OUTPUT_ARCH '(' NAME ')'
|
2004-01-03 12:09:07 +01:00
|
|
|
{ ldfile_set_output_arch ($3, bfd_arch_unknown); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| FORCE_COMMON_ALLOCATION
|
2002-11-30 09:39:46 +01:00
|
|
|
{ command_line.force_common_definition = TRUE ; }
|
ld: Allow section groups to be resolved as part of a relocatable link
This commit adds a new linker feature: the ability to resolve section
groups as part of a relocatable link.
Currently section groups are automatically resolved when performing a
final link, and are carried through when performing a relocatable link.
By carried through this means that one copy of each section group (from
all the copies that might be found in all the input files) is placed
into the output file. Sections that are part of a section group will
not match input section specifiers within a linker script and are
forcibly kept as separate sections.
There is a slight resemblance between section groups and common
section. Like section groups, common sections are carried through when
performing a relocatable link, and resolved (allocated actual space)
only at final link time.
However, with common sections there is an ability to force the linker to
allocate space for the common sections when performing a relocatable
link, there's currently no such ability for section groups.
This commit adds such a mechanism. This new facility can be accessed in
two ways, first there's a command line switch --force-group-allocation,
second, there's a new linker script command FORCE_GROUP_ALLOCATION. If
one of these is used when performing a relocatable link then the linker
will resolve the section groups as though it were performing a final
link, the section group will be deleted, and the members of the group
will be placed like normal input sections. If there are multiple copies
of the group (from multiple input files) then only one copy of the group
members will be placed, the duplicate copies will be discarded.
Unlike common sections that have the --no-define-common command line
flag, and INHIBIT_COMMON_ALLOCATION linker script command there is no
way to prevent group resolution during a final link, this is because the
ELF gABI specifically prohibits the presence of SHT_GROUP sections in a
fully linked executable. However, the code as written should make
adding such a feature trivial, setting the new resolve_section_groups
flag to false during a final link should work as you'd expect.
bfd/ChangeLog:
* elf.c (_bfd_elf_make_section_from_shdr): Don't initially mark
SEC_GROUP sections as SEC_EXCLUDE.
(bfd_elf_set_group_contents): Replace use of abort with an assert.
(assign_section_numbers): Use resolve_section_groups flag instead
of relocatable link type.
(_bfd_elf_init_private_section_data): Use resolve_section_groups
flag instead of checking the final_link flag for part of the
checks in here. Fix white space as a result.
* elflink.c (elf_link_input_bfd): Use resolve_section_groups flag
instead of relocatable link type.
(bfd_elf_final_link): Likewise.
include/ChangeLog:
* bfdlink.h (struct bfd_link_info): Add new resolve_section_groups
flag.
ld/ChangeLog:
* ld.h (struct args_type): Add force_group_allocation field.
* ldgram.y: Add support for FORCE_GROUP_ALLOCATION.
* ldlex.h: Likewise.
* ldlex.l: Likewise.
* lexsup.c: Likewise.
* ldlang.c (unique_section_p): Check resolve_section_groups flag
not the relaxable link flag.
(lang_add_section): Discard section groups when we're resolving
groups. Clear the SEC_LINK_ONCE flag if we're resolving section
groups.
* ldmain.c (main): Initialise resolve_section_groups flag in
link_info based on command line flags.
* testsuite/ld-elf/group11.d: New file.
* testsuite/ld-elf/group12.d: New file.
* testsuite/ld-elf/group12.ld: New file.
* NEWS: Mention new features.
* ld.texinfo (Options): Document --force-group-allocation.
(Miscellaneous Commands): Document FORCE_GROUP_ALLOCATION.
2017-03-22 18:27:49 +01:00
|
|
|
| FORCE_GROUP_ALLOCATION
|
|
|
|
{ command_line.force_group_allocation = TRUE ; }
|
2001-09-29 14:57:54 +02:00
|
|
|
| INHIBIT_COMMON_ALLOCATION
|
2017-08-06 17:18:53 +02:00
|
|
|
{ link_info.inhibit_common_definition = TRUE ; }
|
1999-05-03 09:29:11 +02:00
|
|
|
| INPUT '(' input_list ')'
|
|
|
|
| GROUP
|
|
|
|
{ lang_enter_group (); }
|
|
|
|
'(' input_list ')'
|
|
|
|
{ lang_leave_group (); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| MAP '(' filename ')'
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_map($3); }
|
2003-04-24 19:15:25 +02:00
|
|
|
| INCLUDE filename
|
2001-10-20 15:49:00 +02:00
|
|
|
{ ldlex_script (); ldfile_open_command_file($2); }
|
|
|
|
ifile_list END
|
|
|
|
{ ldlex_popstate (); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| NOCROSSREFS '(' nocrossref_list ')'
|
|
|
|
{
|
|
|
|
lang_add_nocrossref ($3);
|
|
|
|
}
|
2016-04-14 12:49:53 +02:00
|
|
|
| NOCROSSREFS_TO '(' nocrossref_list ')'
|
|
|
|
{
|
|
|
|
lang_add_nocrossref_to ($3);
|
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
| EXTERN '(' extern_name_list ')'
|
ld/
* ld.texinfo (INSERT): Describe.
* ldgram.y (ldgram_in_script, ldgram_had_equals): Delete.
(INSERT_K, AFTER, BEFORE): Add as tokens.
(ifile_p1): Handle INSERT statements.
(saved_script_handle, force_make_executable): Move to..
* ldmain.c: ..here.
(previous_script_handle): New global var.
* ldmain.h (saved_script_handle, force_make_executable): Declare.
(previous_script_handle): Likewise.
* ldlex.l (INSERT_K, AFTER, BEFORE): Add tokens.
* lexsup.c (parge_args <-T>): Set previous_script_handle.
* ldlang.c (lang_for_each_statement_worker): Handle insert statement.
(map_input_to_output_sections, print_statement): Likewise.
(lang_size_sections_1, lang_do_assignments_1): Likewise.
(insert_os_after): New function, extracted from..
(lang_insert_orphan): ..here.
(process_insert_statements): New function.
(lang_process): Call it.
(lang_add_insert): New function.
* ldlang.h (lang_insert_statement_enum): New.
(lang_insert_statement_type): New.
(lang_statement_union_type): Add insert_statement.
(lang_add_insert): Declare.
ld/testsuite/
* ld-spu/ovl.lnk: Delete overlay.
* ld-spu/ovl1.lnk: New file.
* ld-spu/ovl2.lnk: New file.
* ld-spu/ovl.d: Update.
* ld-spu/ovl2.d: Update.
2008-01-25 13:03:37 +01:00
|
|
|
| INSERT_K AFTER NAME
|
|
|
|
{ lang_add_insert ($3, 0); }
|
|
|
|
| INSERT_K BEFORE NAME
|
|
|
|
{ lang_add_insert ($3, 1); }
|
2009-03-02 18:27:36 +01:00
|
|
|
| REGION_ALIAS '(' NAME ',' NAME ')'
|
|
|
|
{ lang_memory_region_alias ($3, $5); }
|
2011-01-13 14:29:55 +01:00
|
|
|
| LD_FEATURE '(' NAME ')'
|
|
|
|
{ lang_ld_feature ($3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
input_list:
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
{ ldlex_inputlist(); }
|
|
|
|
input_list1
|
|
|
|
{ ldlex_popstate(); }
|
|
|
|
|
|
|
|
input_list1:
|
1999-05-03 09:29:11 +02:00
|
|
|
NAME
|
|
|
|
{ lang_add_input_file($1,lang_input_file_is_search_file_enum,
|
|
|
|
(char *)NULL); }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 ',' NAME
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_input_file($3,lang_input_file_is_search_file_enum,
|
|
|
|
(char *)NULL); }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 NAME
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_input_file($2,lang_input_file_is_search_file_enum,
|
|
|
|
(char *)NULL); }
|
|
|
|
| LNAME
|
|
|
|
{ lang_add_input_file($1,lang_input_file_is_l_enum,
|
|
|
|
(char *)NULL); }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 ',' LNAME
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_input_file($3,lang_input_file_is_l_enum,
|
|
|
|
(char *)NULL); }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 LNAME
|
1999-05-03 09:29:11 +02:00
|
|
|
{ lang_add_input_file($2,lang_input_file_is_l_enum,
|
|
|
|
(char *)NULL); }
|
2005-01-21 13:04:25 +01:00
|
|
|
| AS_NEEDED '('
|
2012-03-05 23:43:40 +01:00
|
|
|
{ $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
|
|
|
|
input_flags.add_DT_NEEDED_for_regular = TRUE; }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
input_list1 ')'
|
2012-03-05 23:43:40 +01:00
|
|
|
{ input_flags.add_DT_NEEDED_for_regular = $<integer>3; }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 ',' AS_NEEDED '('
|
2012-03-05 23:43:40 +01:00
|
|
|
{ $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
|
|
|
|
input_flags.add_DT_NEEDED_for_regular = TRUE; }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
input_list1 ')'
|
2012-03-05 23:43:40 +01:00
|
|
|
{ input_flags.add_DT_NEEDED_for_regular = $<integer>5; }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
| input_list1 AS_NEEDED '('
|
2012-03-05 23:43:40 +01:00
|
|
|
{ $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
|
|
|
|
input_flags.add_DT_NEEDED_for_regular = TRUE; }
|
Allow unquoted = as the first character in ldscript input_list names
* ldlex.l (INPUTLIST): New start condition.
(comment pattern, ",", "(", ")", "AS_NEEDED")
({FILENAMECHAR1}{FILENAMECHAR}*, "-l"{FILENAMECHAR}+)
(quoted string pattern, whitespace pattern): Add INPUTLIST to
valid start conditions.
(<INPUTLIST>"="{FILENAMECHAR1}{FILENAMECHAR}*): New NAME rule.
(ldlex_inputlist): New start-condition-setter function.
* ldgram.y (input_list1): Rename from input_list. All recursive
use changed.
(input_list): New wrapper rule for input_list1, setting
INPUTLIST lexer state for the duration of parsing input_list1.
All this to say INPUT(=/path/to/file) and not be forced to use
INPUT("=/path/to/file") whenever there's a need to force a sysroot-
prefix. Still, IMHO it seems better to make use of a previously
invalid syntax and not only change the meaning of quoted =-prefixed
paths (though arguably that's not very useful before this patchset).
This got a little bit hairier than I'd expected: I had to add a new
lexer state (aka. start condition) to avoid a first "=" being lexed as
the token "=", despite that not making sense in constructs expecting
file-names in the first place. (The grammar doesn't allow for
expressions in any part of those lists.) I guess I *could* have made
it work using that token anyway, but I didn't like the idea that you
would be able to separate the "=" from the rest of the file-name with
whitespace.
2014-10-15 03:10:25 +02:00
|
|
|
input_list1 ')'
|
2012-03-05 23:43:40 +01:00
|
|
|
{ input_flags.add_DT_NEEDED_for_regular = $<integer>4; }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
sections:
|
|
|
|
SECTIONS '{' sec_or_group_p1 '}'
|
|
|
|
;
|
|
|
|
|
|
|
|
sec_or_group_p1:
|
|
|
|
sec_or_group_p1 section
|
|
|
|
| sec_or_group_p1 statement_anywhere
|
|
|
|
|
|
|
|
|
;
|
|
|
|
|
|
|
|
statement_anywhere:
|
|
|
|
ENTRY '(' NAME ')'
|
2002-11-30 09:39:46 +01:00
|
|
|
{ lang_add_entry ($3, FALSE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| assignment end
|
2004-02-18 17:37:21 +01:00
|
|
|
| ASSERT_K {ldlex_expression ();} '(' exp ',' NAME ')'
|
|
|
|
{ ldlex_popstate ();
|
|
|
|
lang_add_assignment (exp_assert ($4, $6)); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
/* The '*' and '?' cases are there because the lexer returns them as
|
|
|
|
separate tokens rather than as NAME. */
|
|
|
|
wildcard_name:
|
|
|
|
NAME
|
|
|
|
{
|
|
|
|
$$ = $1;
|
|
|
|
}
|
|
|
|
| '*'
|
|
|
|
{
|
|
|
|
$$ = "*";
|
|
|
|
}
|
|
|
|
| '?'
|
|
|
|
{
|
|
|
|
$$ = "?";
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2017-07-28 14:01:10 +02:00
|
|
|
wildcard_maybe_exclude:
|
1999-05-03 09:29:11 +02:00
|
|
|
wildcard_name
|
|
|
|
{
|
|
|
|
$$.name = $1;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = none;
|
2000-01-05 15:12:23 +01:00
|
|
|
$$.exclude_name_list = NULL;
|
2011-07-11 17:03:09 +02:00
|
|
|
$$.section_flag_list = NULL;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
|
|
|
$$.name = $5;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = none;
|
2000-01-05 15:12:23 +01:00
|
|
|
$$.exclude_name_list = $3;
|
2011-07-11 17:03:09 +02:00
|
|
|
$$.section_flag_list = NULL;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
filename_spec:
|
|
|
|
wildcard_maybe_exclude
|
|
|
|
| SORT_BY_NAME '(' wildcard_maybe_exclude ')'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $3;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_name;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_NONE '(' wildcard_maybe_exclude ')'
|
|
|
|
{
|
|
|
|
$$ = $3;
|
|
|
|
$$.sorted = by_none;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
section_name_spec:
|
|
|
|
wildcard_maybe_exclude
|
|
|
|
| SORT_BY_NAME '(' wildcard_maybe_exclude ')'
|
2004-10-04 18:45:51 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $3;
|
|
|
|
$$.sorted = by_name;
|
|
|
|
}
|
|
|
|
| SORT_BY_ALIGNMENT '(' wildcard_maybe_exclude ')'
|
|
|
|
{
|
|
|
|
$$ = $3;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_alignment;
|
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_NONE '(' wildcard_maybe_exclude ')'
|
2012-07-10 08:50:57 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $3;
|
2012-07-10 08:50:57 +02:00
|
|
|
$$.sorted = by_none;
|
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_BY_NAME '(' SORT_BY_ALIGNMENT '(' wildcard_maybe_exclude ')' ')'
|
2004-10-04 18:45:51 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $5;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_name_alignment;
|
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_BY_NAME '(' SORT_BY_NAME '(' wildcard_maybe_exclude ')' ')'
|
2004-10-04 18:45:51 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $5;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_name;
|
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_BY_ALIGNMENT '(' SORT_BY_NAME '(' wildcard_maybe_exclude ')' ')'
|
2004-10-04 18:45:51 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $5;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_alignment_name;
|
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_BY_ALIGNMENT '(' SORT_BY_ALIGNMENT '(' wildcard_maybe_exclude ')' ')'
|
2004-10-04 18:45:51 +02:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $5;
|
2004-10-04 18:45:51 +02:00
|
|
|
$$.sorted = by_alignment;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| SORT_BY_INIT_PRIORITY '(' wildcard_maybe_exclude ')'
|
2010-12-15 15:56:40 +01:00
|
|
|
{
|
2017-07-28 14:01:10 +02:00
|
|
|
$$ = $3;
|
2010-12-15 15:56:40 +01:00
|
|
|
$$.sorted = by_init_priority;
|
2011-07-11 17:03:09 +02:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
sect_flag_list: NAME
|
|
|
|
{
|
|
|
|
struct flag_info_list *n;
|
|
|
|
n = ((struct flag_info_list *) xmalloc (sizeof *n));
|
|
|
|
if ($1[0] == '!')
|
|
|
|
{
|
|
|
|
n->with = without_flags;
|
|
|
|
n->name = &$1[1];
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
n->with = with_flags;
|
|
|
|
n->name = $1;
|
|
|
|
}
|
|
|
|
n->valid = FALSE;
|
|
|
|
n->next = NULL;
|
|
|
|
$$ = n;
|
|
|
|
}
|
|
|
|
| sect_flag_list '&' NAME
|
|
|
|
{
|
|
|
|
struct flag_info_list *n;
|
|
|
|
n = ((struct flag_info_list *) xmalloc (sizeof *n));
|
|
|
|
if ($3[0] == '!')
|
|
|
|
{
|
|
|
|
n->with = without_flags;
|
|
|
|
n->name = &$3[1];
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
n->with = with_flags;
|
|
|
|
n->name = $3;
|
|
|
|
}
|
|
|
|
n->valid = FALSE;
|
|
|
|
n->next = $1;
|
|
|
|
$$ = n;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
sect_flags:
|
|
|
|
INPUT_SECTION_FLAGS '(' sect_flag_list ')'
|
|
|
|
{
|
|
|
|
struct flag_info *n;
|
|
|
|
n = ((struct flag_info *) xmalloc (sizeof *n));
|
|
|
|
n->flag_list = $3;
|
|
|
|
n->flags_initialized = FALSE;
|
|
|
|
n->not_with_flags = 0;
|
|
|
|
n->only_with_flags = 0;
|
|
|
|
$$ = n;
|
2010-12-15 15:56:40 +01:00
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
2000-01-05 15:12:23 +01:00
|
|
|
exclude_name_list:
|
2000-02-29 04:28:57 +01:00
|
|
|
exclude_name_list wildcard_name
|
2000-01-05 15:12:23 +01:00
|
|
|
{
|
|
|
|
struct name_list *tmp;
|
|
|
|
tmp = (struct name_list *) xmalloc (sizeof *tmp);
|
2000-02-29 04:28:57 +01:00
|
|
|
tmp->name = $2;
|
2000-01-05 15:12:23 +01:00
|
|
|
tmp->next = $1;
|
2003-04-24 19:15:25 +02:00
|
|
|
$$ = tmp;
|
2000-01-05 15:12:23 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
wildcard_name
|
|
|
|
{
|
|
|
|
struct name_list *tmp;
|
|
|
|
tmp = (struct name_list *) xmalloc (sizeof *tmp);
|
|
|
|
tmp->name = $1;
|
|
|
|
tmp->next = NULL;
|
|
|
|
$$ = tmp;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2017-07-28 14:01:10 +02:00
|
|
|
section_name_list:
|
|
|
|
section_name_list opt_comma section_name_spec
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2001-08-03 03:11:21 +02:00
|
|
|
struct wildcard_list *tmp;
|
|
|
|
tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
|
|
|
|
tmp->next = $1;
|
|
|
|
tmp->spec = $3;
|
|
|
|
$$ = tmp;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2001-08-03 03:11:21 +02:00
|
|
|
|
|
2017-07-28 14:01:10 +02:00
|
|
|
section_name_spec
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2001-08-03 03:11:21 +02:00
|
|
|
struct wildcard_list *tmp;
|
|
|
|
tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
|
|
|
|
tmp->next = NULL;
|
|
|
|
tmp->spec = $1;
|
|
|
|
$$ = tmp;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
input_section_spec_no_keep:
|
|
|
|
NAME
|
|
|
|
{
|
2001-08-03 03:11:21 +02:00
|
|
|
struct wildcard_spec tmp;
|
|
|
|
tmp.name = $1;
|
|
|
|
tmp.exclude_name_list = NULL;
|
2004-10-04 18:45:51 +02:00
|
|
|
tmp.sorted = none;
|
2011-07-11 17:03:09 +02:00
|
|
|
tmp.section_flag_list = NULL;
|
|
|
|
lang_add_wild (&tmp, NULL, ldgram_had_keep);
|
|
|
|
}
|
|
|
|
| sect_flags NAME
|
|
|
|
{
|
|
|
|
struct wildcard_spec tmp;
|
|
|
|
tmp.name = $2;
|
|
|
|
tmp.exclude_name_list = NULL;
|
|
|
|
tmp.sorted = none;
|
|
|
|
tmp.section_flag_list = $1;
|
2001-08-03 03:11:21 +02:00
|
|
|
lang_add_wild (&tmp, NULL, ldgram_had_keep);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| '[' section_name_list ']'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2001-08-03 03:11:21 +02:00
|
|
|
lang_add_wild (NULL, $2, ldgram_had_keep);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| sect_flags '[' section_name_list ']'
|
2011-07-11 17:03:09 +02:00
|
|
|
{
|
|
|
|
struct wildcard_spec tmp;
|
|
|
|
tmp.name = NULL;
|
|
|
|
tmp.exclude_name_list = NULL;
|
|
|
|
tmp.sorted = none;
|
|
|
|
tmp.section_flag_list = $1;
|
2012-02-09 06:26:13 +01:00
|
|
|
lang_add_wild (&tmp, $3, ldgram_had_keep);
|
2011-07-11 17:03:09 +02:00
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| filename_spec '(' section_name_list ')'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2001-08-03 03:11:21 +02:00
|
|
|
lang_add_wild (&$1, $3, ldgram_had_keep);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2017-07-28 14:01:10 +02:00
|
|
|
| sect_flags filename_spec '(' section_name_list ')'
|
2011-07-11 17:03:09 +02:00
|
|
|
{
|
|
|
|
$2.section_flag_list = $1;
|
|
|
|
lang_add_wild (&$2, $4, ldgram_had_keep);
|
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
input_section_spec:
|
|
|
|
input_section_spec_no_keep
|
|
|
|
| KEEP '('
|
2002-11-30 09:39:46 +01:00
|
|
|
{ ldgram_had_keep = TRUE; }
|
1999-05-03 09:29:11 +02:00
|
|
|
input_section_spec_no_keep ')'
|
2002-11-30 09:39:46 +01:00
|
|
|
{ ldgram_had_keep = FALSE; }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
statement:
|
2017-10-12 12:58:30 +02:00
|
|
|
assignment end
|
1999-05-03 09:29:11 +02:00
|
|
|
| CREATE_OBJECT_SYMBOLS
|
|
|
|
{
|
2017-10-12 12:58:30 +02:00
|
|
|
lang_add_attribute(lang_object_symbols_statement_enum);
|
|
|
|
}
|
|
|
|
| ';'
|
|
|
|
| CONSTRUCTORS
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2003-04-24 19:15:25 +02:00
|
|
|
|
|
|
|
lang_add_attribute(lang_constructors_statement_enum);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2004-10-04 18:45:51 +02:00
|
|
|
| SORT_BY_NAME '(' CONSTRUCTORS ')'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2002-11-30 09:39:46 +01:00
|
|
|
constructors_sorted = TRUE;
|
1999-05-03 09:29:11 +02:00
|
|
|
lang_add_attribute (lang_constructors_statement_enum);
|
|
|
|
}
|
|
|
|
| input_section_spec
|
2017-10-12 12:58:30 +02:00
|
|
|
| length '(' mustbe_exp ')'
|
|
|
|
{
|
|
|
|
lang_add_data ((int) $1, $3);
|
|
|
|
}
|
2003-04-24 19:15:25 +02:00
|
|
|
|
2002-02-15 03:11:05 +01:00
|
|
|
| FILL '(' fill_exp ')'
|
2017-10-12 12:58:30 +02:00
|
|
|
{
|
|
|
|
lang_add_fill ($3);
|
|
|
|
}
|
2007-05-24 11:24:09 +02:00
|
|
|
| ASSERT_K {ldlex_expression ();} '(' exp ',' NAME ')' end
|
|
|
|
{ ldlex_popstate ();
|
|
|
|
lang_add_assignment (exp_assert ($4, $6)); }
|
2008-07-06 15:38:37 +02:00
|
|
|
| INCLUDE filename
|
|
|
|
{ ldlex_script (); ldfile_open_command_file($2); }
|
|
|
|
statement_list_opt END
|
|
|
|
{ ldlex_popstate (); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
statement_list:
|
|
|
|
statement_list statement
|
2017-10-12 12:58:30 +02:00
|
|
|
| statement
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
2003-04-24 19:15:25 +02:00
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
statement_list_opt:
|
|
|
|
/* empty */
|
|
|
|
| statement_list
|
|
|
|
;
|
|
|
|
|
|
|
|
length:
|
|
|
|
QUAD
|
|
|
|
{ $$ = $1; }
|
|
|
|
| SQUAD
|
|
|
|
{ $$ = $1; }
|
|
|
|
| LONG
|
|
|
|
{ $$ = $1; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| SHORT
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = $1; }
|
|
|
|
| BYTE
|
|
|
|
{ $$ = $1; }
|
|
|
|
;
|
|
|
|
|
2002-02-15 03:11:05 +01:00
|
|
|
fill_exp:
|
|
|
|
mustbe_exp
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
* ld.h (lang_phase_type): Move to..
* ldexp.h: ..here. Add lang_mark_phase_enum.
(node_type): Remove etree_undef and etree_unspec.
(exp_data_seg): Delete.
(struct ldexp_control, expld): New.
(invalid, exp_mark_used_section): Delete.
(exp_fold_tree, exp_get_vma, exp_get_value_int, exp_get_fill,
exp_get_abs_int): Update prototypes.
* ldexp.c (assigning_to_dot): Delete.
(expld): Define.
(make_abs): Operate directly on expld.result. Update all callers.
(new_abs): Likewise. Return void.
(new_rel_from_abs): Rename from new_rel_from_section.
(new_rel, new_rel_from_abs): Operate on expld.result and return void.
Update all callers.
(fold_unary): Operate on expld.result and return void. Remove
"current_section", "allocation_done", "dot", "dotp" and "mark_used"
params. Update all callers.
(fold_binary, fold_trinary, fold_name, exp_fold_tree_1): Likewise.
(fold_unary <ALIGN_K>): Ensure alignment is absolute.
(fold_unary <ABSOLUTE>): Use make_abs.
(fold_unary <DATA_SEGMENT_END>): Evaluate mark_phase as for
allocating_phase.
(fold_binary <DATA_SEGMENT_ALIGN, DATA_SEGMENT_RELRO_END, >): Ditto.
(fold_binary <'%','/'>): Don't error if marking.
(fold_name <SIZEOF_HEADERS>): Don't call bfd_sizeof_headers when
marking.
(fold_name <NAME>): Remove FIXME; -R is handled correctly. Don't
error when marking.
(fold_name <ADDR, LOADADDR, SIZEOF>): Don't set SEC_KEEP.
(exp_fold_tree_1): Don't error when marking.
(exp_fold_tree_1 <etree_rel>): Evaluate in all phases except first.
(exp_fold_tree_1 <etree_assign to dot>): Don't check for NULL
current section, instead check for NULL dotp.
(exp_fold_tree_1 <etree_provide>): Don't evaluate the assignment
source unless the symbol is referenced and undefined.
(exp_fold_tree): Remove "allocation_done" and "dot" params. Save
params to expld.
(exp_fold_tree_no_dot): Remove "current_section", "allocation_done
and "mark_used" params. Save params to expld. Update all callers.
(exp_assop): Do without temp var.
(exp_print_tree <etree_undef>): Delete code.
(exp_get_vma): Remove "allocation_done" param. Correct error return.
(exp_get_fill, exp_get_abs_int): Likewise.
(exp_get_value_int): Remove "allocation_done" param.
(exp_mark_used_section): Delete.
* ldgram.y (fill_exp): Update exp_get_fill call.
(origin_spec, length_spec): Update exp_get_vma call.
* ldlang.c (lang_init): Don't bother clearing lang_statement_iteration.
(lang_mark_used_section_1, lang_mark_used_section): Delete.
(strip_excluded_output_sections): Call one_lang_size_sections_pass in
marking mode. Merge old lang_mark_used_section code. Correct handling
of output sections with excluded input sections and data statements.
Don't drop non-zero sized sections. Don't zap os->bfd_section.
Do set SEC_EXCLUDE when appropriate.
(print_output_section_statement): Update for changed ldexp.c
interface.
(print_assignment, lang_size_sections_1): Likewise.
(lang_do_assignments_1, lang_enter_output_section_statement): Likewise.
(lang_new_phdr, lang_record_phdrs): Likewise.
(lang_size_sections): Likewise.
(insert_pad): Use following statement if it is a pad, rather than
creating a new one.
(lang_size_sections_1 <lang_output_section_statement_enum>): Do
process ignored output section to set vma and lma, but don't
update dot for these sections. Don't error if marking.
(lang_size_sections_1 <lang_assignment_statement_enum>): Don't
update dot for ignored sections.
(lang_size_sections_1 <lang_data_statement_enum>): Don't mark absolute
section with SEC_ALLOC.
(one_lang_size_sections_pass): New function.
(lang_size_sections): Remove first five params. Set expld.phase on
entry and exit. Use one_lang_size_sections_pass.
(lang_do_assignments): Remove all params. Update all callers.
(lang_reset_memory_regions): Clear os->processed for all output
section statements.
* ldlang.h (lang_do_assignments): Update prototype.
(lang_size_sections): Likewise.
(one_lang_size_sections_pass): Declare.
* pe-dll.c (pe_dll_fill_sections, pe_exe_fill_sections): Update
lang_size_sections and lang_do_assignments calls.
* emultempl/elf32.em (layout_sections_again): Likewise.
* emultempl/ppc64elf.em (ppc_before_allocation): Use
one_lang_size_sections_pass.
2005-06-09 04:05:47 +02:00
|
|
|
$$ = exp_get_fill ($1, 0, "fill value");
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2002-02-15 03:11:05 +01:00
|
|
|
fill_opt:
|
|
|
|
'=' fill_exp
|
|
|
|
{ $$ = $2; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| { $$ = (fill_type *) 0; }
|
2002-02-15 03:11:05 +01:00
|
|
|
;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
assign_op:
|
|
|
|
PLUSEQ
|
|
|
|
{ $$ = '+'; }
|
|
|
|
| MINUSEQ
|
|
|
|
{ $$ = '-'; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| MULTEQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = '*'; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| DIVEQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = '/'; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| LSHIFTEQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = LSHIFT; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| RSHIFTEQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = RSHIFT; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| ANDEQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = '&'; }
|
2017-10-12 12:58:30 +02:00
|
|
|
| OREQ
|
1999-05-03 09:29:11 +02:00
|
|
|
{ $$ = '|'; }
|
|
|
|
|
|
|
|
;
|
|
|
|
|
|
|
|
end: ';' | ','
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
|
|
assignment:
|
|
|
|
NAME '=' mustbe_exp
|
|
|
|
{
|
2012-08-07 00:27:52 +02:00
|
|
|
lang_add_assignment (exp_assign ($1, $3, FALSE));
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
| NAME assign_op mustbe_exp
|
|
|
|
{
|
PR ld/12356
* ldexp.h (exp_assop): Delete.
(exp_assign, exp_defsym): Declare.
* ldexp.c (exp_assop): Make static, handle all assignment variations.
(exp_assign, exp_defsym): New functions.
(exp_provide): Use exp_assop.
* ldgram.y (defsym_expr): Use exp_defsym.
* ldctor.c, * ldgram.y, * ldlang.c, * mri.c, * emultempl/beos.em,
* emultempl/pe.em, * emultempl/pep.em, * emultempl/spuelf.em,
* emultempl/xtensaelf.em: Update exp_assop -> exp_assign.
2011-01-13 14:06:22 +01:00
|
|
|
lang_add_assignment (exp_assign ($1,
|
|
|
|
exp_binop ($2,
|
|
|
|
exp_nameop (NAME,
|
|
|
|
$1),
|
2012-08-07 00:27:52 +02:00
|
|
|
$3), FALSE));
|
|
|
|
}
|
|
|
|
| HIDDEN '(' NAME '=' mustbe_exp ')'
|
|
|
|
{
|
|
|
|
lang_add_assignment (exp_assign ($3, $5, TRUE));
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
| PROVIDE '(' NAME '=' mustbe_exp ')'
|
|
|
|
{
|
2005-08-05 15:52:13 +02:00
|
|
|
lang_add_assignment (exp_provide ($3, $5, FALSE));
|
|
|
|
}
|
|
|
|
| PROVIDE_HIDDEN '(' NAME '=' mustbe_exp ')'
|
|
|
|
{
|
|
|
|
lang_add_assignment (exp_provide ($3, $5, TRUE));
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
|
|
|
|
opt_comma:
|
|
|
|
',' | ;
|
|
|
|
|
|
|
|
|
|
|
|
memory:
|
2008-07-06 15:38:37 +02:00
|
|
|
MEMORY '{' memory_spec_list_opt '}'
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
2008-07-06 15:38:37 +02:00
|
|
|
memory_spec_list_opt: memory_spec_list | ;
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
memory_spec_list:
|
2008-07-06 15:38:37 +02:00
|
|
|
memory_spec_list opt_comma memory_spec
|
|
|
|
| memory_spec
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
|
2017-10-12 12:58:30 +02:00
|
|
|
memory_spec: NAME
|
2003-10-21 17:33:47 +02:00
|
|
|
{ region = lang_memory_region_lookup ($1, TRUE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
attributes_opt ':'
|
|
|
|
origin_spec opt_comma length_spec
|
2002-10-11 09:39:07 +02:00
|
|
|
{}
|
2008-07-06 15:38:37 +02:00
|
|
|
| INCLUDE filename
|
|
|
|
{ ldlex_script (); ldfile_open_command_file($2); }
|
|
|
|
memory_spec_list_opt END
|
|
|
|
{ ldlex_popstate (); }
|
2000-06-20 15:29:07 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
origin_spec:
|
1999-05-03 09:29:11 +02:00
|
|
|
ORIGIN '=' mustbe_exp
|
* ld.h (lang_phase_type): Move to..
* ldexp.h: ..here. Add lang_mark_phase_enum.
(node_type): Remove etree_undef and etree_unspec.
(exp_data_seg): Delete.
(struct ldexp_control, expld): New.
(invalid, exp_mark_used_section): Delete.
(exp_fold_tree, exp_get_vma, exp_get_value_int, exp_get_fill,
exp_get_abs_int): Update prototypes.
* ldexp.c (assigning_to_dot): Delete.
(expld): Define.
(make_abs): Operate directly on expld.result. Update all callers.
(new_abs): Likewise. Return void.
(new_rel_from_abs): Rename from new_rel_from_section.
(new_rel, new_rel_from_abs): Operate on expld.result and return void.
Update all callers.
(fold_unary): Operate on expld.result and return void. Remove
"current_section", "allocation_done", "dot", "dotp" and "mark_used"
params. Update all callers.
(fold_binary, fold_trinary, fold_name, exp_fold_tree_1): Likewise.
(fold_unary <ALIGN_K>): Ensure alignment is absolute.
(fold_unary <ABSOLUTE>): Use make_abs.
(fold_unary <DATA_SEGMENT_END>): Evaluate mark_phase as for
allocating_phase.
(fold_binary <DATA_SEGMENT_ALIGN, DATA_SEGMENT_RELRO_END, >): Ditto.
(fold_binary <'%','/'>): Don't error if marking.
(fold_name <SIZEOF_HEADERS>): Don't call bfd_sizeof_headers when
marking.
(fold_name <NAME>): Remove FIXME; -R is handled correctly. Don't
error when marking.
(fold_name <ADDR, LOADADDR, SIZEOF>): Don't set SEC_KEEP.
(exp_fold_tree_1): Don't error when marking.
(exp_fold_tree_1 <etree_rel>): Evaluate in all phases except first.
(exp_fold_tree_1 <etree_assign to dot>): Don't check for NULL
current section, instead check for NULL dotp.
(exp_fold_tree_1 <etree_provide>): Don't evaluate the assignment
source unless the symbol is referenced and undefined.
(exp_fold_tree): Remove "allocation_done" and "dot" params. Save
params to expld.
(exp_fold_tree_no_dot): Remove "current_section", "allocation_done
and "mark_used" params. Save params to expld. Update all callers.
(exp_assop): Do without temp var.
(exp_print_tree <etree_undef>): Delete code.
(exp_get_vma): Remove "allocation_done" param. Correct error return.
(exp_get_fill, exp_get_abs_int): Likewise.
(exp_get_value_int): Remove "allocation_done" param.
(exp_mark_used_section): Delete.
* ldgram.y (fill_exp): Update exp_get_fill call.
(origin_spec, length_spec): Update exp_get_vma call.
* ldlang.c (lang_init): Don't bother clearing lang_statement_iteration.
(lang_mark_used_section_1, lang_mark_used_section): Delete.
(strip_excluded_output_sections): Call one_lang_size_sections_pass in
marking mode. Merge old lang_mark_used_section code. Correct handling
of output sections with excluded input sections and data statements.
Don't drop non-zero sized sections. Don't zap os->bfd_section.
Do set SEC_EXCLUDE when appropriate.
(print_output_section_statement): Update for changed ldexp.c
interface.
(print_assignment, lang_size_sections_1): Likewise.
(lang_do_assignments_1, lang_enter_output_section_statement): Likewise.
(lang_new_phdr, lang_record_phdrs): Likewise.
(lang_size_sections): Likewise.
(insert_pad): Use following statement if it is a pad, rather than
creating a new one.
(lang_size_sections_1 <lang_output_section_statement_enum>): Do
process ignored output section to set vma and lma, but don't
update dot for these sections. Don't error if marking.
(lang_size_sections_1 <lang_assignment_statement_enum>): Don't
update dot for ignored sections.
(lang_size_sections_1 <lang_data_statement_enum>): Don't mark absolute
section with SEC_ALLOC.
(one_lang_size_sections_pass): New function.
(lang_size_sections): Remove first five params. Set expld.phase on
entry and exit. Use one_lang_size_sections_pass.
(lang_do_assignments): Remove all params. Update all callers.
(lang_reset_memory_regions): Clear os->processed for all output
section statements.
* ldlang.h (lang_do_assignments): Update prototype.
(lang_size_sections): Likewise.
(one_lang_size_sections_pass): Declare.
* pe-dll.c (pe_dll_fill_sections, pe_exe_fill_sections): Update
lang_size_sections and lang_do_assignments calls.
* emultempl/elf32.em (layout_sections_again): Likewise.
* emultempl/ppc64elf.em (ppc_before_allocation): Use
one_lang_size_sections_pass.
2005-06-09 04:05:47 +02:00
|
|
|
{
|
2015-01-28 05:31:50 +01:00
|
|
|
region->origin_exp = $3;
|
* ld.h (lang_phase_type): Move to..
* ldexp.h: ..here. Add lang_mark_phase_enum.
(node_type): Remove etree_undef and etree_unspec.
(exp_data_seg): Delete.
(struct ldexp_control, expld): New.
(invalid, exp_mark_used_section): Delete.
(exp_fold_tree, exp_get_vma, exp_get_value_int, exp_get_fill,
exp_get_abs_int): Update prototypes.
* ldexp.c (assigning_to_dot): Delete.
(expld): Define.
(make_abs): Operate directly on expld.result. Update all callers.
(new_abs): Likewise. Return void.
(new_rel_from_abs): Rename from new_rel_from_section.
(new_rel, new_rel_from_abs): Operate on expld.result and return void.
Update all callers.
(fold_unary): Operate on expld.result and return void. Remove
"current_section", "allocation_done", "dot", "dotp" and "mark_used"
params. Update all callers.
(fold_binary, fold_trinary, fold_name, exp_fold_tree_1): Likewise.
(fold_unary <ALIGN_K>): Ensure alignment is absolute.
(fold_unary <ABSOLUTE>): Use make_abs.
(fold_unary <DATA_SEGMENT_END>): Evaluate mark_phase as for
allocating_phase.
(fold_binary <DATA_SEGMENT_ALIGN, DATA_SEGMENT_RELRO_END, >): Ditto.
(fold_binary <'%','/'>): Don't error if marking.
(fold_name <SIZEOF_HEADERS>): Don't call bfd_sizeof_headers when
marking.
(fold_name <NAME>): Remove FIXME; -R is handled correctly. Don't
error when marking.
(fold_name <ADDR, LOADADDR, SIZEOF>): Don't set SEC_KEEP.
(exp_fold_tree_1): Don't error when marking.
(exp_fold_tree_1 <etree_rel>): Evaluate in all phases except first.
(exp_fold_tree_1 <etree_assign to dot>): Don't check for NULL
current section, instead check for NULL dotp.
(exp_fold_tree_1 <etree_provide>): Don't evaluate the assignment
source unless the symbol is referenced and undefined.
(exp_fold_tree): Remove "allocation_done" and "dot" params. Save
params to expld.
(exp_fold_tree_no_dot): Remove "current_section", "allocation_done
and "mark_used" params. Save params to expld. Update all callers.
(exp_assop): Do without temp var.
(exp_print_tree <etree_undef>): Delete code.
(exp_get_vma): Remove "allocation_done" param. Correct error return.
(exp_get_fill, exp_get_abs_int): Likewise.
(exp_get_value_int): Remove "allocation_done" param.
(exp_mark_used_section): Delete.
* ldgram.y (fill_exp): Update exp_get_fill call.
(origin_spec, length_spec): Update exp_get_vma call.
* ldlang.c (lang_init): Don't bother clearing lang_statement_iteration.
(lang_mark_used_section_1, lang_mark_used_section): Delete.
(strip_excluded_output_sections): Call one_lang_size_sections_pass in
marking mode. Merge old lang_mark_used_section code. Correct handling
of output sections with excluded input sections and data statements.
Don't drop non-zero sized sections. Don't zap os->bfd_section.
Do set SEC_EXCLUDE when appropriate.
(print_output_section_statement): Update for changed ldexp.c
interface.
(print_assignment, lang_size_sections_1): Likewise.
(lang_do_assignments_1, lang_enter_output_section_statement): Likewise.
(lang_new_phdr, lang_record_phdrs): Likewise.
(lang_size_sections): Likewise.
(insert_pad): Use following statement if it is a pad, rather than
creating a new one.
(lang_size_sections_1 <lang_output_section_statement_enum>): Do
process ignored output section to set vma and lma, but don't
update dot for these sections. Don't error if marking.
(lang_size_sections_1 <lang_assignment_statement_enum>): Don't
update dot for ignored sections.
(lang_size_sections_1 <lang_data_statement_enum>): Don't mark absolute
section with SEC_ALLOC.
(one_lang_size_sections_pass): New function.
(lang_size_sections): Remove first five params. Set expld.phase on
entry and exit. Use one_lang_size_sections_pass.
(lang_do_assignments): Remove all params. Update all callers.
(lang_reset_memory_regions): Clear os->processed for all output
section statements.
* ldlang.h (lang_do_assignments): Update prototype.
(lang_size_sections): Likewise.
(one_lang_size_sections_pass): Declare.
* pe-dll.c (pe_dll_fill_sections, pe_exe_fill_sections): Update
lang_size_sections and lang_do_assignments calls.
* emultempl/elf32.em (layout_sections_again): Likewise.
* emultempl/ppc64elf.em (ppc_before_allocation): Use
one_lang_size_sections_pass.
2005-06-09 04:05:47 +02:00
|
|
|
region->current = region->origin;
|
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
length_spec:
|
2017-10-12 12:58:30 +02:00
|
|
|
LENGTH '=' mustbe_exp
|
* ld.h (lang_phase_type): Move to..
* ldexp.h: ..here. Add lang_mark_phase_enum.
(node_type): Remove etree_undef and etree_unspec.
(exp_data_seg): Delete.
(struct ldexp_control, expld): New.
(invalid, exp_mark_used_section): Delete.
(exp_fold_tree, exp_get_vma, exp_get_value_int, exp_get_fill,
exp_get_abs_int): Update prototypes.
* ldexp.c (assigning_to_dot): Delete.
(expld): Define.
(make_abs): Operate directly on expld.result. Update all callers.
(new_abs): Likewise. Return void.
(new_rel_from_abs): Rename from new_rel_from_section.
(new_rel, new_rel_from_abs): Operate on expld.result and return void.
Update all callers.
(fold_unary): Operate on expld.result and return void. Remove
"current_section", "allocation_done", "dot", "dotp" and "mark_used"
params. Update all callers.
(fold_binary, fold_trinary, fold_name, exp_fold_tree_1): Likewise.
(fold_unary <ALIGN_K>): Ensure alignment is absolute.
(fold_unary <ABSOLUTE>): Use make_abs.
(fold_unary <DATA_SEGMENT_END>): Evaluate mark_phase as for
allocating_phase.
(fold_binary <DATA_SEGMENT_ALIGN, DATA_SEGMENT_RELRO_END, >): Ditto.
(fold_binary <'%','/'>): Don't error if marking.
(fold_name <SIZEOF_HEADERS>): Don't call bfd_sizeof_headers when
marking.
(fold_name <NAME>): Remove FIXME; -R is handled correctly. Don't
error when marking.
(fold_name <ADDR, LOADADDR, SIZEOF>): Don't set SEC_KEEP.
(exp_fold_tree_1): Don't error when marking.
(exp_fold_tree_1 <etree_rel>): Evaluate in all phases except first.
(exp_fold_tree_1 <etree_assign to dot>): Don't check for NULL
current section, instead check for NULL dotp.
(exp_fold_tree_1 <etree_provide>): Don't evaluate the assignment
source unless the symbol is referenced and undefined.
(exp_fold_tree): Remove "allocation_done" and "dot" params. Save
params to expld.
(exp_fold_tree_no_dot): Remove "current_section", "allocation_done
and "mark_used" params. Save params to expld. Update all callers.
(exp_assop): Do without temp var.
(exp_print_tree <etree_undef>): Delete code.
(exp_get_vma): Remove "allocation_done" param. Correct error return.
(exp_get_fill, exp_get_abs_int): Likewise.
(exp_get_value_int): Remove "allocation_done" param.
(exp_mark_used_section): Delete.
* ldgram.y (fill_exp): Update exp_get_fill call.
(origin_spec, length_spec): Update exp_get_vma call.
* ldlang.c (lang_init): Don't bother clearing lang_statement_iteration.
(lang_mark_used_section_1, lang_mark_used_section): Delete.
(strip_excluded_output_sections): Call one_lang_size_sections_pass in
marking mode. Merge old lang_mark_used_section code. Correct handling
of output sections with excluded input sections and data statements.
Don't drop non-zero sized sections. Don't zap os->bfd_section.
Do set SEC_EXCLUDE when appropriate.
(print_output_section_statement): Update for changed ldexp.c
interface.
(print_assignment, lang_size_sections_1): Likewise.
(lang_do_assignments_1, lang_enter_output_section_statement): Likewise.
(lang_new_phdr, lang_record_phdrs): Likewise.
(lang_size_sections): Likewise.
(insert_pad): Use following statement if it is a pad, rather than
creating a new one.
(lang_size_sections_1 <lang_output_section_statement_enum>): Do
process ignored output section to set vma and lma, but don't
update dot for these sections. Don't error if marking.
(lang_size_sections_1 <lang_assignment_statement_enum>): Don't
update dot for ignored sections.
(lang_size_sections_1 <lang_data_statement_enum>): Don't mark absolute
section with SEC_ALLOC.
(one_lang_size_sections_pass): New function.
(lang_size_sections): Remove first five params. Set expld.phase on
entry and exit. Use one_lang_size_sections_pass.
(lang_do_assignments): Remove all params. Update all callers.
(lang_reset_memory_regions): Clear os->processed for all output
section statements.
* ldlang.h (lang_do_assignments): Update prototype.
(lang_size_sections): Likewise.
(one_lang_size_sections_pass): Declare.
* pe-dll.c (pe_dll_fill_sections, pe_exe_fill_sections): Update
lang_size_sections and lang_do_assignments calls.
* emultempl/elf32.em (layout_sections_again): Likewise.
* emultempl/ppc64elf.em (ppc_before_allocation): Use
one_lang_size_sections_pass.
2005-06-09 04:05:47 +02:00
|
|
|
{
|
2015-01-28 05:31:50 +01:00
|
|
|
region->length_exp = $3;
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
1999-06-12 23:24:56 +02:00
|
|
|
;
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
attributes_opt:
|
1999-06-12 23:24:56 +02:00
|
|
|
/* empty */
|
|
|
|
{ /* dummy action to avoid bison 1.25 error message */ }
|
|
|
|
| '(' attributes_list ')'
|
|
|
|
;
|
|
|
|
|
|
|
|
attributes_list:
|
|
|
|
attributes_string
|
|
|
|
| attributes_list attributes_string
|
|
|
|
;
|
|
|
|
|
|
|
|
attributes_string:
|
|
|
|
NAME
|
|
|
|
{ lang_set_flags (region, $1, 0); }
|
|
|
|
| '!' NAME
|
|
|
|
{ lang_set_flags (region, $2, 1); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
startup:
|
|
|
|
STARTUP '(' filename ')'
|
|
|
|
{ lang_startup($3); }
|
|
|
|
;
|
|
|
|
|
|
|
|
high_level_library:
|
|
|
|
HLL '(' high_level_library_NAME_list ')'
|
|
|
|
| HLL '(' ')'
|
|
|
|
{ ldemul_hll((char *)NULL); }
|
|
|
|
;
|
|
|
|
|
|
|
|
high_level_library_NAME_list:
|
|
|
|
high_level_library_NAME_list opt_comma filename
|
|
|
|
{ ldemul_hll($3); }
|
|
|
|
| filename
|
|
|
|
{ ldemul_hll($1); }
|
|
|
|
|
|
|
|
;
|
|
|
|
|
|
|
|
low_level_library:
|
|
|
|
SYSLIB '(' low_level_library_NAME_list ')'
|
|
|
|
; low_level_library_NAME_list:
|
|
|
|
low_level_library_NAME_list opt_comma filename
|
|
|
|
{ ldemul_syslib($3); }
|
|
|
|
|
|
|
|
|
;
|
|
|
|
|
|
|
|
floating_point_support:
|
|
|
|
FLOAT
|
2002-11-30 09:39:46 +01:00
|
|
|
{ lang_float(TRUE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| NOFLOAT
|
2002-11-30 09:39:46 +01:00
|
|
|
{ lang_float(FALSE); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
2003-04-24 19:15:25 +02:00
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
nocrossref_list:
|
|
|
|
/* empty */
|
|
|
|
{
|
|
|
|
$$ = NULL;
|
|
|
|
}
|
|
|
|
| NAME nocrossref_list
|
|
|
|
{
|
|
|
|
struct lang_nocrossref *n;
|
|
|
|
|
|
|
|
n = (struct lang_nocrossref *) xmalloc (sizeof *n);
|
|
|
|
n->name = $1;
|
|
|
|
n->next = $2;
|
|
|
|
$$ = n;
|
|
|
|
}
|
|
|
|
| NAME ',' nocrossref_list
|
|
|
|
{
|
|
|
|
struct lang_nocrossref *n;
|
|
|
|
|
|
|
|
n = (struct lang_nocrossref *) xmalloc (sizeof *n);
|
|
|
|
n->name = $1;
|
|
|
|
n->next = $3;
|
|
|
|
$$ = n;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2004-11-19 10:31:55 +01:00
|
|
|
mustbe_exp: { ldlex_expression (); }
|
1999-05-03 09:29:11 +02:00
|
|
|
exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ ldlex_popstate (); $$=$2;}
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
exp :
|
|
|
|
'-' exp %prec UNARY
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop ('-', $2); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| '(' exp ')'
|
|
|
|
{ $$ = $2; }
|
|
|
|
| NEXT '(' exp ')' %prec UNARY
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop ((int) $1,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| '!' exp %prec UNARY
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop ('!', $2); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| '+' exp %prec UNARY
|
|
|
|
{ $$ = $2; }
|
|
|
|
| '~' exp %prec UNARY
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop ('~', $2);}
|
1999-05-03 09:29:11 +02:00
|
|
|
|
|
|
|
| exp '*' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('*', $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '/' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('/', $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '%' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('%', $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '+' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('+', $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '-' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('-' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp LSHIFT exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (LSHIFT , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp RSHIFT exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (RSHIFT , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp EQ exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (EQ , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp NE exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (NE , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp LE exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (LE , $1, $3); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| exp GE exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (GE , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '<' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('<' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '>' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('>' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '&' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('&' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '^' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('^' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '|' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop ('|' , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp '?' exp ':' exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_trinop ('?' , $1, $3, $5); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp ANDAND exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (ANDAND , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| exp OROR exp
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (OROR , $1, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| DEFINED '(' NAME ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (DEFINED, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| INT
|
2002-02-15 03:11:05 +01:00
|
|
|
{ $$ = exp_bigintop ($1.integer, $1.str); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| SIZEOF_HEADERS
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (SIZEOF_HEADERS,0); }
|
1999-05-03 09:29:11 +02:00
|
|
|
|
2007-06-18 16:23:57 +02:00
|
|
|
| ALIGNOF '(' NAME ')'
|
|
|
|
{ $$ = exp_nameop (ALIGNOF,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| SIZEOF '(' NAME ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (SIZEOF,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| ADDR '(' NAME ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (ADDR,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| LOADADDR '(' NAME ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (LOADADDR,$3); }
|
2006-05-30 18:45:32 +02:00
|
|
|
| CONSTANT '(' NAME ')'
|
|
|
|
{ $$ = exp_nameop (CONSTANT,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| ABSOLUTE '(' exp ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop (ABSOLUTE, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| ALIGN_K '(' exp ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop (ALIGN_K,$3); }
|
2004-02-20 16:31:10 +01:00
|
|
|
| ALIGN_K '(' exp ',' exp ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_binop (ALIGN_K,$3,$5); }
|
2002-02-12 15:50:08 +01:00
|
|
|
| DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
|
|
|
|
{ $$ = exp_binop (DATA_SEGMENT_ALIGN, $3, $5); }
|
2004-10-04 15:41:15 +02:00
|
|
|
| DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
|
|
|
|
{ $$ = exp_binop (DATA_SEGMENT_RELRO_END, $5, $3); }
|
2002-02-12 15:50:08 +01:00
|
|
|
| DATA_SEGMENT_END '(' exp ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop (DATA_SEGMENT_END, $3); }
|
2017-10-12 12:58:30 +02:00
|
|
|
| SEGMENT_START '(' NAME ',' exp ')'
|
|
|
|
{ /* The operands to the expression node are
|
2004-10-26 20:41:52 +02:00
|
|
|
placed in the opposite order from the way
|
|
|
|
in which they appear in the script as
|
|
|
|
that allows us to reuse more code in
|
|
|
|
fold_binary. */
|
|
|
|
$$ = exp_binop (SEGMENT_START,
|
|
|
|
$5,
|
|
|
|
exp_nameop (NAME, $3)); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| BLOCK '(' exp ')'
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_unop (ALIGN_K,$3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| NAME
|
2004-11-19 10:31:55 +01:00
|
|
|
{ $$ = exp_nameop (NAME,$1); }
|
1999-05-03 09:29:11 +02:00
|
|
|
| MAX_K '(' exp ',' exp ')'
|
|
|
|
{ $$ = exp_binop (MAX_K, $3, $5 ); }
|
|
|
|
| MIN_K '(' exp ',' exp ')'
|
|
|
|
{ $$ = exp_binop (MIN_K, $3, $5 ); }
|
|
|
|
| ASSERT_K '(' exp ',' NAME ')'
|
|
|
|
{ $$ = exp_assert ($3, $5); }
|
2004-11-19 10:31:55 +01:00
|
|
|
| ORIGIN '(' NAME ')'
|
|
|
|
{ $$ = exp_nameop (ORIGIN, $3); }
|
|
|
|
| LENGTH '(' NAME ')'
|
|
|
|
{ $$ = exp_nameop (LENGTH, $3); }
|
2013-08-15 09:30:15 +02:00
|
|
|
| LOG2CEIL '(' exp ')'
|
|
|
|
{ $$ = exp_unop (LOG2CEIL, $3); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
|
2000-02-16 19:53:32 +01:00
|
|
|
memspec_at_opt:
|
2017-10-12 12:58:30 +02:00
|
|
|
AT '>' NAME { $$ = $3; }
|
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
2000-02-16 19:53:32 +01:00
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
opt_at:
|
|
|
|
AT '(' exp ')' { $$ = $3; }
|
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
|
|
|
|
2005-09-28 02:34:21 +02:00
|
|
|
opt_align:
|
|
|
|
ALIGN_K '(' exp ')' { $$ = $3; }
|
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
|
|
|
|
2013-07-19 12:39:51 +02:00
|
|
|
opt_align_with_input:
|
|
|
|
ALIGN_WITH_INPUT { $$ = ALIGN_WITH_INPUT; }
|
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
|
|
|
|
2003-07-27 13:58:28 +02:00
|
|
|
opt_subalign:
|
|
|
|
SUBALIGN '(' exp ')' { $$ = $3; }
|
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
|
|
|
|
2004-05-19 16:01:14 +02:00
|
|
|
sect_constraint:
|
|
|
|
ONLY_IF_RO { $$ = ONLY_IF_RO; }
|
|
|
|
| ONLY_IF_RW { $$ = ONLY_IF_RW; }
|
2005-05-11 16:10:10 +02:00
|
|
|
| SPECIAL { $$ = SPECIAL; }
|
2004-05-19 16:01:14 +02:00
|
|
|
| { $$ = 0; }
|
|
|
|
;
|
|
|
|
|
2017-10-12 12:58:30 +02:00
|
|
|
section: NAME { ldlex_expression(); }
|
2003-04-24 19:15:25 +02:00
|
|
|
opt_exp_with_type
|
2003-07-27 13:58:28 +02:00
|
|
|
opt_at
|
2005-09-28 02:34:21 +02:00
|
|
|
opt_align
|
2013-07-19 12:39:51 +02:00
|
|
|
opt_align_with_input
|
2003-07-27 13:58:28 +02:00
|
|
|
opt_subalign { ldlex_popstate (); ldlex_script (); }
|
2004-05-19 16:01:14 +02:00
|
|
|
sect_constraint
|
1999-05-03 09:29:11 +02:00
|
|
|
'{'
|
|
|
|
{
|
|
|
|
lang_enter_output_section_statement($1, $3,
|
|
|
|
sectype,
|
2013-07-19 12:39:51 +02:00
|
|
|
$5, $7, $4, $9, $6);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2003-04-24 19:15:25 +02:00
|
|
|
statement_list_opt
|
2017-10-12 12:58:30 +02:00
|
|
|
'}' { ldlex_popstate (); ldlex_expression (); }
|
2000-02-16 19:53:32 +01:00
|
|
|
memspec_opt memspec_at_opt phdr_opt fill_opt
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
2013-07-19 12:39:51 +02:00
|
|
|
lang_leave_output_section_statement ($18, $15, $17, $16);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
opt_comma
|
2002-10-11 09:39:07 +02:00
|
|
|
{}
|
1999-05-03 09:29:11 +02:00
|
|
|
| OVERLAY
|
|
|
|
{ ldlex_expression (); }
|
2003-07-27 13:58:28 +02:00
|
|
|
opt_exp_without_type opt_nocrossrefs opt_at opt_subalign
|
1999-05-03 09:29:11 +02:00
|
|
|
{ ldlex_popstate (); ldlex_script (); }
|
2003-04-24 19:15:25 +02:00
|
|
|
'{'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2003-07-27 13:58:28 +02:00
|
|
|
lang_enter_overlay ($3, $6);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
overlay_section
|
|
|
|
'}'
|
|
|
|
{ ldlex_popstate (); ldlex_expression (); }
|
2000-02-16 19:53:32 +01:00
|
|
|
memspec_opt memspec_at_opt phdr_opt fill_opt
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
2002-05-07 13:04:54 +02:00
|
|
|
lang_leave_overlay ($5, (int) $4,
|
2003-07-27 13:58:28 +02:00
|
|
|
$16, $13, $15, $14);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
opt_comma
|
|
|
|
| /* The GROUP case is just enough to support the gcc
|
|
|
|
svr3.ifile script. It is not intended to be full
|
|
|
|
support. I'm not even sure what GROUP is supposed
|
|
|
|
to mean. */
|
|
|
|
GROUP { ldlex_expression (); }
|
|
|
|
opt_exp_with_type
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
2012-08-07 00:27:52 +02:00
|
|
|
lang_add_assignment (exp_assign (".", $3, FALSE));
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
'{' sec_or_group_p1 '}'
|
2008-07-06 15:38:37 +02:00
|
|
|
| INCLUDE filename
|
|
|
|
{ ldlex_script (); ldfile_open_command_file($2); }
|
|
|
|
sec_or_group_p1 END
|
|
|
|
{ ldlex_popstate (); }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
type:
|
|
|
|
NOLOAD { sectype = noload_section; }
|
2006-06-07 06:55:11 +02:00
|
|
|
| DSECT { sectype = noalloc_section; }
|
|
|
|
| COPY { sectype = noalloc_section; }
|
|
|
|
| INFO { sectype = noalloc_section; }
|
|
|
|
| OVERLAY { sectype = noalloc_section; }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
atype:
|
2017-10-12 12:58:30 +02:00
|
|
|
'(' type ')'
|
|
|
|
| /* EMPTY */ { sectype = normal_section; }
|
|
|
|
| '(' ')' { sectype = normal_section; }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
opt_exp_with_type:
|
|
|
|
exp atype ':' { $$ = $1; }
|
|
|
|
| atype ':' { $$ = (etree_type *)NULL; }
|
|
|
|
| /* The BIND cases are to support the gcc svr3.ifile
|
|
|
|
script. They aren't intended to implement full
|
|
|
|
support for the BIND keyword. I'm not even sure
|
|
|
|
what BIND is supposed to mean. */
|
|
|
|
BIND '(' exp ')' atype ':' { $$ = $3; }
|
|
|
|
| BIND '(' exp ')' BLOCK '(' exp ')' atype ':'
|
|
|
|
{ $$ = $3; }
|
|
|
|
;
|
|
|
|
|
|
|
|
opt_exp_without_type:
|
|
|
|
exp ':' { $$ = $1; }
|
|
|
|
| ':' { $$ = (etree_type *) NULL; }
|
|
|
|
;
|
|
|
|
|
|
|
|
opt_nocrossrefs:
|
|
|
|
/* empty */
|
|
|
|
{ $$ = 0; }
|
|
|
|
| NOCROSSREFS
|
|
|
|
{ $$ = 1; }
|
|
|
|
;
|
|
|
|
|
|
|
|
memspec_opt:
|
|
|
|
'>' NAME
|
|
|
|
{ $$ = $2; }
|
2003-10-21 17:33:47 +02:00
|
|
|
| { $$ = DEFAULT_MEMORY_REGION; }
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
phdr_opt:
|
|
|
|
/* empty */
|
|
|
|
{
|
|
|
|
$$ = NULL;
|
|
|
|
}
|
|
|
|
| phdr_opt ':' NAME
|
|
|
|
{
|
|
|
|
struct lang_output_section_phdr_list *n;
|
|
|
|
|
|
|
|
n = ((struct lang_output_section_phdr_list *)
|
|
|
|
xmalloc (sizeof *n));
|
|
|
|
n->name = $3;
|
2002-11-30 09:39:46 +01:00
|
|
|
n->used = FALSE;
|
1999-05-03 09:29:11 +02:00
|
|
|
n->next = $1;
|
|
|
|
$$ = n;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
overlay_section:
|
|
|
|
/* empty */
|
|
|
|
| overlay_section
|
|
|
|
NAME
|
|
|
|
{
|
|
|
|
ldlex_script ();
|
|
|
|
lang_enter_overlay_section ($2);
|
|
|
|
}
|
|
|
|
'{' statement_list_opt '}'
|
|
|
|
{ ldlex_popstate (); ldlex_expression (); }
|
|
|
|
phdr_opt fill_opt
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
|
|
|
lang_leave_overlay_section ($9, $8);
|
|
|
|
}
|
|
|
|
opt_comma
|
|
|
|
;
|
|
|
|
|
|
|
|
phdrs:
|
|
|
|
PHDRS '{' phdr_list '}'
|
|
|
|
;
|
|
|
|
|
|
|
|
phdr_list:
|
|
|
|
/* empty */
|
|
|
|
| phdr_list phdr
|
|
|
|
;
|
|
|
|
|
|
|
|
phdr:
|
|
|
|
NAME { ldlex_expression (); }
|
|
|
|
phdr_type phdr_qualifiers { ldlex_popstate (); }
|
|
|
|
';'
|
|
|
|
{
|
|
|
|
lang_new_phdr ($1, $3, $4.filehdr, $4.phdrs, $4.at,
|
|
|
|
$4.flags);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
phdr_type:
|
|
|
|
exp
|
|
|
|
{
|
|
|
|
$$ = $1;
|
|
|
|
|
|
|
|
if ($1->type.node_class == etree_name
|
|
|
|
&& $1->type.node_code == NAME)
|
|
|
|
{
|
|
|
|
const char *s;
|
|
|
|
unsigned int i;
|
|
|
|
static const char * const phdr_types[] =
|
|
|
|
{
|
|
|
|
"PT_NULL", "PT_LOAD", "PT_DYNAMIC",
|
|
|
|
"PT_INTERP", "PT_NOTE", "PT_SHLIB",
|
2003-04-24 19:15:25 +02:00
|
|
|
"PT_PHDR", "PT_TLS"
|
1999-05-03 09:29:11 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
s = $1->name.name;
|
|
|
|
for (i = 0;
|
|
|
|
i < sizeof phdr_types / sizeof phdr_types[0];
|
|
|
|
i++)
|
|
|
|
if (strcmp (s, phdr_types[i]) == 0)
|
|
|
|
{
|
|
|
|
$$ = exp_intop (i);
|
|
|
|
break;
|
|
|
|
}
|
2003-04-24 19:15:25 +02:00
|
|
|
if (i == sizeof phdr_types / sizeof phdr_types[0])
|
|
|
|
{
|
|
|
|
if (strcmp (s, "PT_GNU_EH_FRAME") == 0)
|
|
|
|
$$ = exp_intop (0x6474e550);
|
2003-06-04 00:27:24 +02:00
|
|
|
else if (strcmp (s, "PT_GNU_STACK") == 0)
|
|
|
|
$$ = exp_intop (0x6474e551);
|
2003-04-24 19:15:25 +02:00
|
|
|
else
|
|
|
|
{
|
|
|
|
einfo (_("\
|
|
|
|
%X%P:%S: unknown phdr type `%s' (try integer literal)\n"),
|
PR ld/13343
* ld.h (parsing_defsym): Delete.
* ldexp.c (exp_intop, exp_bigintop, exp_relop): Set type.filename.
(fold_binary, fold_name, exp_fold_tree_1, exp_get_vma, exp_get_fill,
exp_get_abs_int): Add tree arg for %S in error messages. Don't
fudge lineno.
(exp_binop, exp_unop, exp_nameop, exp_assop, exp_assert): Copy
type.filename from sub-tree.
(exp_trinop): Likewise, and use "cond" rather than "lhs".
* ldexp.h (node_type): Add filename field to struct.
* ldfile.c (ldfile_input_filename): Delete. Remove all refs.
* ldfile.h (ldfile_input_filename): Delete.
* ldgram.y (phdr_type, phdr_qualifiers, yyerror): Add NULL arg for
%S in error messages.
* ldemul.c (syslib_default, hll_default): Likewise.
* ldlang.c (lang_memory_region_lookup, lang_memory_region_alias,
lang_get_regions, lang_new_phdr): Likewise.
(lang_size_sections_1): Pass addr_tree for %S.
* ldlex.h (lex_redirect): Update prototype.
(ldlex_filename): Declare.
* ldlex.l (<EOF>): Don't set ldfile_input_filename.
(lex_redirect): Add fake_filename and count params. Push
fake_filename to file_name_stack and init lineno from count.
(ldlex_filename): New function.
(lex_warn_invalid): Use above.
* ldmain.c (main): Update lex_redirect call.
* ldmisc.c (vfinfo <%S>): Take file name and line number from
etree_type arg, or use current if arg is NULL.
* lexsup.c (parsing_defsym): Delete.
(parse_args <OPTION_DEFSYM>): Update lex_redirect call.
2012-02-17 15:09:57 +01:00
|
|
|
NULL, s);
|
2003-04-24 19:15:25 +02:00
|
|
|
$$ = exp_intop (0);
|
|
|
|
}
|
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
phdr_qualifiers:
|
|
|
|
/* empty */
|
|
|
|
{
|
|
|
|
memset (&$$, 0, sizeof (struct phdr_info));
|
|
|
|
}
|
|
|
|
| NAME phdr_val phdr_qualifiers
|
|
|
|
{
|
|
|
|
$$ = $3;
|
|
|
|
if (strcmp ($1, "FILEHDR") == 0 && $2 == NULL)
|
2002-11-30 09:39:46 +01:00
|
|
|
$$.filehdr = TRUE;
|
1999-05-03 09:29:11 +02:00
|
|
|
else if (strcmp ($1, "PHDRS") == 0 && $2 == NULL)
|
2002-11-30 09:39:46 +01:00
|
|
|
$$.phdrs = TRUE;
|
1999-05-03 09:29:11 +02:00
|
|
|
else if (strcmp ($1, "FLAGS") == 0 && $2 != NULL)
|
|
|
|
$$.flags = $2;
|
|
|
|
else
|
PR ld/13343
* ld.h (parsing_defsym): Delete.
* ldexp.c (exp_intop, exp_bigintop, exp_relop): Set type.filename.
(fold_binary, fold_name, exp_fold_tree_1, exp_get_vma, exp_get_fill,
exp_get_abs_int): Add tree arg for %S in error messages. Don't
fudge lineno.
(exp_binop, exp_unop, exp_nameop, exp_assop, exp_assert): Copy
type.filename from sub-tree.
(exp_trinop): Likewise, and use "cond" rather than "lhs".
* ldexp.h (node_type): Add filename field to struct.
* ldfile.c (ldfile_input_filename): Delete. Remove all refs.
* ldfile.h (ldfile_input_filename): Delete.
* ldgram.y (phdr_type, phdr_qualifiers, yyerror): Add NULL arg for
%S in error messages.
* ldemul.c (syslib_default, hll_default): Likewise.
* ldlang.c (lang_memory_region_lookup, lang_memory_region_alias,
lang_get_regions, lang_new_phdr): Likewise.
(lang_size_sections_1): Pass addr_tree for %S.
* ldlex.h (lex_redirect): Update prototype.
(ldlex_filename): Declare.
* ldlex.l (<EOF>): Don't set ldfile_input_filename.
(lex_redirect): Add fake_filename and count params. Push
fake_filename to file_name_stack and init lineno from count.
(ldlex_filename): New function.
(lex_warn_invalid): Use above.
* ldmain.c (main): Update lex_redirect call.
* ldmisc.c (vfinfo <%S>): Take file name and line number from
etree_type arg, or use current if arg is NULL.
* lexsup.c (parsing_defsym): Delete.
(parse_args <OPTION_DEFSYM>): Update lex_redirect call.
2012-02-17 15:09:57 +01:00
|
|
|
einfo (_("%X%P:%S: PHDRS syntax error at `%s'\n"),
|
|
|
|
NULL, $1);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
| AT '(' exp ')' phdr_qualifiers
|
|
|
|
{
|
|
|
|
$$ = $5;
|
|
|
|
$$.at = $3;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
phdr_val:
|
|
|
|
/* empty */
|
|
|
|
{
|
|
|
|
$$ = NULL;
|
|
|
|
}
|
|
|
|
| '(' exp ')'
|
|
|
|
{
|
|
|
|
$$ = $2;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2006-09-07 19:16:34 +02:00
|
|
|
dynamic_list_file:
|
|
|
|
{
|
|
|
|
ldlex_version_file ();
|
|
|
|
PUSH_ERROR (_("dynamic list"));
|
|
|
|
}
|
|
|
|
dynamic_list_nodes
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
|
|
|
POP_ERROR ();
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
dynamic_list_nodes:
|
|
|
|
dynamic_list_node
|
|
|
|
| dynamic_list_nodes dynamic_list_node
|
|
|
|
;
|
|
|
|
|
|
|
|
dynamic_list_node:
|
|
|
|
'{' dynamic_list_tag '}' ';'
|
|
|
|
;
|
|
|
|
|
|
|
|
dynamic_list_tag:
|
|
|
|
vers_defns ';'
|
|
|
|
{
|
|
|
|
lang_append_dynamic_list ($1);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
/* This syntax is used within an external version script file. */
|
|
|
|
|
|
|
|
version_script_file:
|
|
|
|
{
|
|
|
|
ldlex_version_file ();
|
|
|
|
PUSH_ERROR (_("VERSION script"));
|
|
|
|
}
|
|
|
|
vers_nodes
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
|
|
|
POP_ERROR ();
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
/* This is used within a normal linker script file. */
|
|
|
|
|
|
|
|
version:
|
|
|
|
{
|
|
|
|
ldlex_version_script ();
|
|
|
|
}
|
|
|
|
VERSIONK '{' vers_nodes '}'
|
|
|
|
{
|
|
|
|
ldlex_popstate ();
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
vers_nodes:
|
|
|
|
vers_node
|
|
|
|
| vers_nodes vers_node
|
|
|
|
;
|
|
|
|
|
|
|
|
vers_node:
|
2001-12-18 13:15:35 +01:00
|
|
|
'{' vers_tag '}' ';'
|
|
|
|
{
|
|
|
|
lang_register_vers_node (NULL, $2, NULL);
|
|
|
|
}
|
|
|
|
| VERS_TAG '{' vers_tag '}' ';'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
|
|
|
lang_register_vers_node ($1, $3, NULL);
|
|
|
|
}
|
|
|
|
| VERS_TAG '{' vers_tag '}' verdep ';'
|
|
|
|
{
|
|
|
|
lang_register_vers_node ($1, $3, $5);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
verdep:
|
|
|
|
VERS_TAG
|
|
|
|
{
|
|
|
|
$$ = lang_add_vers_depend (NULL, $1);
|
|
|
|
}
|
|
|
|
| verdep VERS_TAG
|
|
|
|
{
|
|
|
|
$$ = lang_add_vers_depend ($1, $2);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
vers_tag:
|
|
|
|
/* empty */
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_node (NULL, NULL);
|
|
|
|
}
|
|
|
|
| vers_defns ';'
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_node ($1, NULL);
|
|
|
|
}
|
|
|
|
| GLOBAL ':' vers_defns ';'
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_node ($3, NULL);
|
|
|
|
}
|
|
|
|
| LOCAL ':' vers_defns ';'
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_node (NULL, $3);
|
|
|
|
}
|
|
|
|
| GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_node ($3, $7);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
vers_defns:
|
|
|
|
VERS_IDENTIFIER
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, FALSE);
|
|
|
|
}
|
2017-10-12 12:58:30 +02:00
|
|
|
| NAME
|
2005-10-13 19:29:57 +02:00
|
|
|
{
|
|
|
|
$$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, TRUE);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
|
|
|
| vers_defns ';' VERS_IDENTIFIER
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, FALSE);
|
|
|
|
}
|
|
|
|
| vers_defns ';' NAME
|
|
|
|
{
|
|
|
|
$$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, TRUE);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|
2003-02-20 02:02:39 +01:00
|
|
|
| vers_defns ';' EXTERN NAME '{'
|
|
|
|
{
|
|
|
|
$<name>$ = ldgram_vers_current_lang;
|
|
|
|
ldgram_vers_current_lang = $4;
|
|
|
|
}
|
|
|
|
vers_defns opt_semicolon '}'
|
|
|
|
{
|
2005-08-17 12:08:30 +02:00
|
|
|
struct bfd_elf_version_expr *pat;
|
|
|
|
for (pat = $7; pat->next != NULL; pat = pat->next);
|
|
|
|
pat->next = $1;
|
2003-02-20 02:02:39 +01:00
|
|
|
$$ = $7;
|
|
|
|
ldgram_vers_current_lang = $<name>6;
|
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
| EXTERN NAME '{'
|
|
|
|
{
|
|
|
|
$<name>$ = ldgram_vers_current_lang;
|
|
|
|
ldgram_vers_current_lang = $2;
|
|
|
|
}
|
2003-02-20 02:02:39 +01:00
|
|
|
vers_defns opt_semicolon '}'
|
1999-05-03 09:29:11 +02:00
|
|
|
{
|
2000-06-05 18:16:31 +02:00
|
|
|
$$ = $5;
|
1999-05-03 09:29:11 +02:00
|
|
|
ldgram_vers_current_lang = $<name>4;
|
|
|
|
}
|
2005-08-17 12:08:30 +02:00
|
|
|
| GLOBAL
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern (NULL, "global", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
|
|
|
| vers_defns ';' GLOBAL
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern ($1, "global", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
|
|
|
| LOCAL
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern (NULL, "local", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
|
|
|
| vers_defns ';' LOCAL
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern ($1, "local", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
|
|
|
| EXTERN
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern (NULL, "extern", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
|
|
|
| vers_defns ';' EXTERN
|
|
|
|
{
|
2005-10-13 19:29:57 +02:00
|
|
|
$$ = lang_new_vers_pattern ($1, "extern", ldgram_vers_current_lang, FALSE);
|
2005-08-17 12:08:30 +02:00
|
|
|
}
|
1999-05-03 09:29:11 +02:00
|
|
|
;
|
|
|
|
|
2003-02-20 02:02:39 +01:00
|
|
|
opt_semicolon:
|
|
|
|
/* empty */
|
|
|
|
| ';'
|
|
|
|
;
|
|
|
|
|
1999-05-03 09:29:11 +02:00
|
|
|
%%
|
|
|
|
void
|
2003-04-24 19:15:25 +02:00
|
|
|
yyerror(arg)
|
1999-05-03 09:29:11 +02:00
|
|
|
const char *arg;
|
2003-04-24 19:15:25 +02:00
|
|
|
{
|
1999-05-03 09:29:11 +02:00
|
|
|
if (ldfile_assumed_script)
|
|
|
|
einfo (_("%P:%s: file format not recognized; treating as linker script\n"),
|
PR ld/13343
* ld.h (parsing_defsym): Delete.
* ldexp.c (exp_intop, exp_bigintop, exp_relop): Set type.filename.
(fold_binary, fold_name, exp_fold_tree_1, exp_get_vma, exp_get_fill,
exp_get_abs_int): Add tree arg for %S in error messages. Don't
fudge lineno.
(exp_binop, exp_unop, exp_nameop, exp_assop, exp_assert): Copy
type.filename from sub-tree.
(exp_trinop): Likewise, and use "cond" rather than "lhs".
* ldexp.h (node_type): Add filename field to struct.
* ldfile.c (ldfile_input_filename): Delete. Remove all refs.
* ldfile.h (ldfile_input_filename): Delete.
* ldgram.y (phdr_type, phdr_qualifiers, yyerror): Add NULL arg for
%S in error messages.
* ldemul.c (syslib_default, hll_default): Likewise.
* ldlang.c (lang_memory_region_lookup, lang_memory_region_alias,
lang_get_regions, lang_new_phdr): Likewise.
(lang_size_sections_1): Pass addr_tree for %S.
* ldlex.h (lex_redirect): Update prototype.
(ldlex_filename): Declare.
* ldlex.l (<EOF>): Don't set ldfile_input_filename.
(lex_redirect): Add fake_filename and count params. Push
fake_filename to file_name_stack and init lineno from count.
(ldlex_filename): New function.
(lex_warn_invalid): Use above.
* ldmain.c (main): Update lex_redirect call.
* ldmisc.c (vfinfo <%S>): Take file name and line number from
etree_type arg, or use current if arg is NULL.
* lexsup.c (parsing_defsym): Delete.
(parse_args <OPTION_DEFSYM>): Update lex_redirect call.
2012-02-17 15:09:57 +01:00
|
|
|
ldlex_filename ());
|
1999-05-03 09:29:11 +02:00
|
|
|
if (error_index > 0 && error_index < ERROR_NAME_MAX)
|
PR ld/13343
* ld.h (parsing_defsym): Delete.
* ldexp.c (exp_intop, exp_bigintop, exp_relop): Set type.filename.
(fold_binary, fold_name, exp_fold_tree_1, exp_get_vma, exp_get_fill,
exp_get_abs_int): Add tree arg for %S in error messages. Don't
fudge lineno.
(exp_binop, exp_unop, exp_nameop, exp_assop, exp_assert): Copy
type.filename from sub-tree.
(exp_trinop): Likewise, and use "cond" rather than "lhs".
* ldexp.h (node_type): Add filename field to struct.
* ldfile.c (ldfile_input_filename): Delete. Remove all refs.
* ldfile.h (ldfile_input_filename): Delete.
* ldgram.y (phdr_type, phdr_qualifiers, yyerror): Add NULL arg for
%S in error messages.
* ldemul.c (syslib_default, hll_default): Likewise.
* ldlang.c (lang_memory_region_lookup, lang_memory_region_alias,
lang_get_regions, lang_new_phdr): Likewise.
(lang_size_sections_1): Pass addr_tree for %S.
* ldlex.h (lex_redirect): Update prototype.
(ldlex_filename): Declare.
* ldlex.l (<EOF>): Don't set ldfile_input_filename.
(lex_redirect): Add fake_filename and count params. Push
fake_filename to file_name_stack and init lineno from count.
(ldlex_filename): New function.
(lex_warn_invalid): Use above.
* ldmain.c (main): Update lex_redirect call.
* ldmisc.c (vfinfo <%S>): Take file name and line number from
etree_type arg, or use current if arg is NULL.
* lexsup.c (parsing_defsym): Delete.
(parse_args <OPTION_DEFSYM>): Update lex_redirect call.
2012-02-17 15:09:57 +01:00
|
|
|
einfo ("%P%F:%S: %s in %s\n", NULL, arg, error_names[error_index - 1]);
|
1999-05-03 09:29:11 +02:00
|
|
|
else
|
PR ld/13343
* ld.h (parsing_defsym): Delete.
* ldexp.c (exp_intop, exp_bigintop, exp_relop): Set type.filename.
(fold_binary, fold_name, exp_fold_tree_1, exp_get_vma, exp_get_fill,
exp_get_abs_int): Add tree arg for %S in error messages. Don't
fudge lineno.
(exp_binop, exp_unop, exp_nameop, exp_assop, exp_assert): Copy
type.filename from sub-tree.
(exp_trinop): Likewise, and use "cond" rather than "lhs".
* ldexp.h (node_type): Add filename field to struct.
* ldfile.c (ldfile_input_filename): Delete. Remove all refs.
* ldfile.h (ldfile_input_filename): Delete.
* ldgram.y (phdr_type, phdr_qualifiers, yyerror): Add NULL arg for
%S in error messages.
* ldemul.c (syslib_default, hll_default): Likewise.
* ldlang.c (lang_memory_region_lookup, lang_memory_region_alias,
lang_get_regions, lang_new_phdr): Likewise.
(lang_size_sections_1): Pass addr_tree for %S.
* ldlex.h (lex_redirect): Update prototype.
(ldlex_filename): Declare.
* ldlex.l (<EOF>): Don't set ldfile_input_filename.
(lex_redirect): Add fake_filename and count params. Push
fake_filename to file_name_stack and init lineno from count.
(ldlex_filename): New function.
(lex_warn_invalid): Use above.
* ldmain.c (main): Update lex_redirect call.
* ldmisc.c (vfinfo <%S>): Take file name and line number from
etree_type arg, or use current if arg is NULL.
* lexsup.c (parsing_defsym): Delete.
(parse_args <OPTION_DEFSYM>): Update lex_redirect call.
2012-02-17 15:09:57 +01:00
|
|
|
einfo ("%P%F:%S: %s\n", NULL, arg);
|
1999-05-03 09:29:11 +02:00
|
|
|
}
|