PR ld/13730
[binutils.git] / gold / yyscript.y
blob51c755bac3e1c769275e2293f16baaa533e61388
1 /* yyscript.y -- linker script grammar for gold. */
3 /* Copyright 2006, 2007, 2008 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor <iant@google.com>.
6 This file is part of gold.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 MA 02110-1301, USA. */
23 /* This is a bison grammar to parse a subset of the original GNU ld
24 linker script language. */
28 #include "config.h"
30 #include <stddef.h>
31 #include <stdint.h>
32 #include <stdlib.h>
33 #include <string.h>
35 #include "script-c.h"
39 /* We need to use a pure parser because we might be multi-threaded.
40 We pass some arguments through the parser to the lexer. */
42 %pure-parser
44 %parse-param {void* closure}
45 %lex-param {void* closure}
47 /* Since we require bison anyhow, we take advantage of it. */
49 %error-verbose
51 /* The values associated with tokens. */
53 %union {
54 /* A string. */
55 struct Parser_string string;
56 /* A number. */
57 uint64_t integer;
58 /* An expression. */
59 Expression_ptr expr;
60 /* An output section header. */
61 struct Parser_output_section_header output_section_header;
62 /* An output section trailer. */
63 struct Parser_output_section_trailer output_section_trailer;
64 /* A section constraint. */
65 enum Section_constraint constraint;
66 /* A complete input section specification. */
67 struct Input_section_spec input_section_spec;
68 /* A list of wildcard specifications, with exclusions. */
69 struct Wildcard_sections wildcard_sections;
70 /* A single wildcard specification. */
71 struct Wildcard_section wildcard_section;
72 /* A list of strings. */
73 String_list_ptr string_list;
74 /* Information for a program header. */
75 struct Phdr_info phdr_info;
76 /* Used for version scripts and within VERSION {}. */
77 struct Version_dependency_list* deplist;
78 struct Version_expression_list* versyms;
79 struct Version_tree* versnode;
80 enum Script_section_type section_type;
83 /* Operators, including a precedence table for expressions. */
85 %right PLUSEQ MINUSEQ MULTEQ DIVEQ '=' LSHIFTEQ RSHIFTEQ ANDEQ OREQ
86 %right '?' ':'
87 %left OROR
88 %left ANDAND
89 %left '|'
90 %left '^'
91 %left '&'
92 %left EQ NE
93 %left '<' '>' LE GE
94 %left LSHIFT RSHIFT
95 %left '+' '-'
96 %left '*' '/' '%'
98 /* A fake operator used to indicate unary operator precedence. */
99 %right UNARY
101 /* Constants. */
103 %token <string> STRING
104 %token <string> QUOTED_STRING
105 %token <integer> INTEGER
107 /* Keywords. This list is taken from ldgram.y and ldlex.l in the old
108 GNU linker, with the keywords which only appear in MRI mode
109 removed. Not all these keywords are actually used in this grammar.
110 In most cases the keyword is recognized as the token name in upper
111 case. The comments indicate where this is not the case. */
113 %token ABSOLUTE
114 %token ADDR
115 %token ALIGN_K /* ALIGN */
116 %token ALIGNOF
117 %token ASSERT_K /* ASSERT */
118 %token AS_NEEDED
119 %token AT
120 %token BIND
121 %token BLOCK
122 %token BYTE
123 %token CONSTANT
124 %token CONSTRUCTORS
125 %token COPY
126 %token CREATE_OBJECT_SYMBOLS
127 %token DATA_SEGMENT_ALIGN
128 %token DATA_SEGMENT_END
129 %token DATA_SEGMENT_RELRO_END
130 %token DEFINED
131 %token DSECT
132 %token ENTRY
133 %token EXCLUDE_FILE
134 %token EXTERN
135 %token FILL
136 %token FLOAT
137 %token FORCE_COMMON_ALLOCATION
138 %token GLOBAL /* global */
139 %token GROUP
140 %token HLL
141 %token INCLUDE
142 %token INHIBIT_COMMON_ALLOCATION
143 %token INFO
144 %token INPUT
145 %token KEEP
146 %token LEN
147 %token LENGTH /* LENGTH, l, len */
148 %token LOADADDR
149 %token LOCAL /* local */
150 %token LONG
151 %token MAP
152 %token MAX_K /* MAX */
153 %token MEMORY
154 %token MIN_K /* MIN */
155 %token NEXT
156 %token NOCROSSREFS
157 %token NOFLOAT
158 %token NOLOAD
159 %token ONLY_IF_RO
160 %token ONLY_IF_RW
161 %token ORG
162 %token ORIGIN /* ORIGIN, o, org */
163 %token OUTPUT
164 %token OUTPUT_ARCH
165 %token OUTPUT_FORMAT
166 %token OVERLAY
167 %token PHDRS
168 %token PROVIDE
169 %token PROVIDE_HIDDEN
170 %token QUAD
171 %token SEARCH_DIR
172 %token SECTIONS
173 %token SEGMENT_START
174 %token SHORT
175 %token SIZEOF
176 %token SIZEOF_HEADERS /* SIZEOF_HEADERS, sizeof_headers */
177 %token SORT_BY_ALIGNMENT
178 %token SORT_BY_NAME
179 %token SPECIAL
180 %token SQUAD
181 %token STARTUP
182 %token SUBALIGN
183 %token SYSLIB
184 %token TARGET_K /* TARGET */
185 %token TRUNCATE
186 %token VERSIONK /* VERSION */
188 /* Keywords, part 2. These are keywords that are unique to gold,
189 and not present in the old GNU linker. As before, unless the
190 comments say otherwise, the keyword is recognized as the token
191 name in upper case. */
193 %token OPTION
195 /* Special tokens used to tell the grammar what type of tokens we are
196 parsing. The token stream always begins with one of these tokens.
197 We do this because version scripts can appear embedded within
198 linker scripts, and because --defsym uses the expression
199 parser. */
200 %token PARSING_LINKER_SCRIPT
201 %token PARSING_VERSION_SCRIPT
202 %token PARSING_DEFSYM
203 %token PARSING_DYNAMIC_LIST
205 /* Non-terminal types, where needed. */
207 %type <expr> parse_exp exp
208 %type <expr> opt_at opt_align opt_subalign opt_fill
209 %type <output_section_header> section_header opt_address_and_section_type
210 %type <section_type> section_type
211 %type <output_section_trailer> section_trailer
212 %type <constraint> opt_constraint
213 %type <string_list> opt_phdr
214 %type <integer> data_length
215 %type <input_section_spec> input_section_no_keep
216 %type <wildcard_sections> wildcard_sections
217 %type <wildcard_section> wildcard_file wildcard_section
218 %type <string_list> exclude_names
219 %type <string> wildcard_name
220 %type <integer> phdr_type memory_attr
221 %type <phdr_info> phdr_info
222 %type <versyms> vers_defns
223 %type <versnode> vers_tag
224 %type <deplist> verdep
225 %type <string> string
229 /* Read the special token to see what to read next. */
230 top:
231 PARSING_LINKER_SCRIPT linker_script
232 | PARSING_VERSION_SCRIPT version_script
233 | PARSING_DEFSYM defsym_expr
234 | PARSING_DYNAMIC_LIST dynamic_list_expr
237 /* A file contains a list of commands. */
238 linker_script:
239 linker_script file_cmd
240 | /* empty */
243 /* A command which may appear at top level of a linker script. */
244 file_cmd:
245 EXTERN '(' extern_name_list ')'
246 | FORCE_COMMON_ALLOCATION
247 { script_set_common_allocation(closure, 1); }
248 | GROUP
249 { script_start_group(closure); }
250 '(' input_list ')'
251 { script_end_group(closure); }
252 | INHIBIT_COMMON_ALLOCATION
253 { script_set_common_allocation(closure, 0); }
254 | INPUT '(' input_list ')'
255 | MEMORY '{' memory_defs '}'
256 | OPTION '(' string ')'
257 { script_parse_option(closure, $3.value, $3.length); }
258 | OUTPUT_FORMAT '(' string ')'
260 if (!script_check_output_format(closure, $3.value, $3.length,
261 NULL, 0, NULL, 0))
262 YYABORT;
264 | OUTPUT_FORMAT '(' string ',' string ',' string ')'
266 if (!script_check_output_format(closure, $3.value, $3.length,
267 $5.value, $5.length,
268 $7.value, $7.length))
269 YYABORT;
271 | PHDRS '{' phdrs_defs '}'
272 | SEARCH_DIR '(' string ')'
273 { script_add_search_dir(closure, $3.value, $3.length); }
274 | SECTIONS '{'
275 { script_start_sections(closure); }
276 sections_block '}'
277 { script_finish_sections(closure); }
278 | TARGET_K '(' string ')'
279 { script_set_target(closure, $3.value, $3.length); }
280 | VERSIONK '{'
281 { script_push_lex_into_version_mode(closure); }
282 version_script '}'
283 { script_pop_lex_mode(closure); }
284 | file_or_sections_cmd
285 | ignore_cmd
286 | ';'
289 /* Top level commands which we ignore. The GNU linker uses these to
290 select the output format, but we don't offer a choice. Ignoring
291 these is more-or-less OK since most scripts simply explicitly
292 choose the default. */
293 ignore_cmd:
294 OUTPUT_ARCH '(' string ')'
297 /* A list of external undefined symbols. We put the lexer into
298 expression mode so that commas separate names; this is what the GNU
299 linker does. */
301 extern_name_list:
302 { script_push_lex_into_expression_mode(closure); }
303 extern_name_list_body
304 { script_pop_lex_mode(closure); }
307 extern_name_list_body:
308 string
309 { script_add_extern(closure, $1.value, $1.length); }
310 | extern_name_list_body string
311 { script_add_extern(closure, $2.value, $2.length); }
312 | extern_name_list_body ',' string
313 { script_add_extern(closure, $3.value, $3.length); }
316 /* A list of input file names. */
317 input_list:
318 input_list_element
319 | input_list opt_comma input_list_element
322 /* An input file name. */
323 input_list_element:
324 string
325 { script_add_file(closure, $1.value, $1.length); }
326 | '-' STRING
327 { script_add_library(closure, $2.value, $2.length); }
328 | AS_NEEDED
329 { script_start_as_needed(closure); }
330 '(' input_list ')'
331 { script_end_as_needed(closure); }
334 /* Commands in a SECTIONS block. */
335 sections_block:
336 sections_block section_block_cmd
337 | /* empty */
340 /* A command which may appear within a SECTIONS block. */
341 section_block_cmd:
342 file_or_sections_cmd
343 | string section_header
344 { script_start_output_section(closure, $1.value, $1.length, &$2); }
345 '{' section_cmds '}' section_trailer
346 { script_finish_output_section(closure, &$7); }
349 /* The header of an output section in a SECTIONS block--everything
350 after the name. */
351 section_header:
352 { script_push_lex_into_expression_mode(closure); }
353 opt_address_and_section_type opt_at opt_align opt_subalign
354 { script_pop_lex_mode(closure); }
355 opt_constraint
357 $$.address = $2.address;
358 $$.section_type = $2.section_type;
359 $$.load_address = $3;
360 $$.align = $4;
361 $$.subalign = $5;
362 $$.constraint = $7;
366 /* The optional address followed by the optional section type. This
367 is a separate nonterminal to avoid a shift/reduce conflict on
368 '(' in section_header. */
370 opt_address_and_section_type:
373 $$.address = NULL;
374 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
376 | '(' ')' ':'
378 $$.address = NULL;
379 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
381 | exp ':'
383 $$.address = $1;
384 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
386 | exp '(' ')' ':'
388 $$.address = $1;
389 $$.section_type = SCRIPT_SECTION_TYPE_NONE;
391 | '(' section_type ')' ':'
393 $$.address = NULL;
394 $$.section_type = $2;
396 | exp '(' section_type ')' ':'
398 $$.address = $1;
399 $$.section_type = $3;
403 /* We only support NOLOAD. */
404 section_type:
405 NOLOAD
406 { $$ = SCRIPT_SECTION_TYPE_NOLOAD; }
407 | DSECT
409 yyerror(closure, "DSECT section type is unsupported");
410 $$ = SCRIPT_SECTION_TYPE_DSECT;
412 | COPY
414 yyerror(closure, "COPY section type is unsupported");
415 $$ = SCRIPT_SECTION_TYPE_COPY;
417 | INFO
419 yyerror(closure, "INFO section type is unsupported");
420 $$ = SCRIPT_SECTION_TYPE_INFO;
422 | OVERLAY
424 yyerror(closure, "OVERLAY section type is unsupported");
425 $$ = SCRIPT_SECTION_TYPE_OVERLAY;
429 /* The address at which an output section should be loaded. */
430 opt_at:
431 /* empty */
432 { $$ = NULL; }
433 | AT '(' exp ')'
434 { $$ = $3; }
437 /* The alignment of an output section. */
438 opt_align:
439 /* empty */
440 { $$ = NULL; }
441 | ALIGN_K '(' exp ')'
442 { $$ = $3; }
445 /* The input section alignment within an output section. */
446 opt_subalign:
447 /* empty */
448 { $$ = NULL; }
449 | SUBALIGN '(' exp ')'
450 { $$ = $3; }
453 /* A section constraint. */
454 opt_constraint:
455 /* empty */
456 { $$ = CONSTRAINT_NONE; }
457 | ONLY_IF_RO
458 { $$ = CONSTRAINT_ONLY_IF_RO; }
459 | ONLY_IF_RW
460 { $$ = CONSTRAINT_ONLY_IF_RW; }
461 | SPECIAL
462 { $$ = CONSTRAINT_SPECIAL; }
465 /* The trailer of an output section in a SECTIONS block. */
466 section_trailer:
467 opt_memspec opt_at_memspec opt_phdr opt_fill opt_comma
469 $$.fill = $4;
470 $$.phdrs = $3;
474 /* A memory specification for an output section. */
475 opt_memspec:
476 '>' string
477 { script_set_section_region(closure, $2.value, $2.length, 1); }
478 | /* empty */
481 /* A memory specification for where to load an output section. */
482 opt_at_memspec:
483 AT '>' string
484 { script_set_section_region(closure, $3.value, $3.length, 0); }
485 | /* empty */
488 /* The program segment an output section should go into. */
489 opt_phdr:
490 opt_phdr ':' string
491 { $$ = script_string_list_push_back($1, $3.value, $3.length); }
492 | /* empty */
493 { $$ = NULL; }
496 /* The value to use to fill an output section. FIXME: This does not
497 handle a string of arbitrary length. */
498 opt_fill:
499 '=' parse_exp
500 { $$ = $2; }
501 | /* empty */
502 { $$ = NULL; }
505 /* Commands which may appear within the description of an output
506 section in a SECTIONS block. */
507 section_cmds:
508 /* empty */
509 | section_cmds section_cmd
512 /* A command which may appear within the description of an output
513 section in a SECTIONS block. */
514 section_cmd:
515 assignment end
516 | input_section_spec
517 | data_length '(' parse_exp ')'
518 { script_add_data(closure, $1, $3); }
519 | ASSERT_K '(' parse_exp ',' string ')'
520 { script_add_assertion(closure, $3, $5.value, $5.length); }
521 | FILL '(' parse_exp ')'
522 { script_add_fill(closure, $3); }
523 | CONSTRUCTORS
525 /* The GNU linker uses CONSTRUCTORS for the a.out object
526 file format. It does nothing when using ELF. Since
527 some ELF linker scripts use it although it does
528 nothing, we accept it and ignore it. */
530 | SORT_BY_NAME '(' CONSTRUCTORS ')'
531 | INCLUDE string
532 { script_include_directive(closure, $2.value, $2.length); }
533 | ';'
536 /* The length of data which may appear within the description of an
537 output section in a SECTIONS block. */
538 data_length:
539 QUAD
540 { $$ = QUAD; }
541 | SQUAD
542 { $$ = SQUAD; }
543 | LONG
544 { $$ = LONG; }
545 | SHORT
546 { $$ = SHORT; }
547 | BYTE
548 { $$ = BYTE; }
551 /* An input section specification. This may appear within the
552 description of an output section in a SECTIONS block. */
553 input_section_spec:
554 input_section_no_keep
555 { script_add_input_section(closure, &$1, 0); }
556 | KEEP '(' input_section_no_keep ')'
557 { script_add_input_section(closure, &$3, 1); }
560 /* An input section specification within a KEEP clause. */
561 input_section_no_keep:
562 string
564 $$.file.name = $1;
565 $$.file.sort = SORT_WILDCARD_NONE;
566 $$.input_sections.sections = NULL;
567 $$.input_sections.exclude = NULL;
569 | wildcard_file '(' wildcard_sections ')'
571 $$.file = $1;
572 $$.input_sections = $3;
576 /* A wildcard file specification. */
577 wildcard_file:
578 wildcard_name
580 $$.name = $1;
581 $$.sort = SORT_WILDCARD_NONE;
583 | SORT_BY_NAME '(' wildcard_name ')'
585 $$.name = $3;
586 $$.sort = SORT_WILDCARD_BY_NAME;
590 /* A list of wild card section specifications. */
591 wildcard_sections:
592 wildcard_sections opt_comma wildcard_section
594 $$.sections = script_string_sort_list_add($1.sections, &$3);
595 $$.exclude = $1.exclude;
597 | wildcard_section
599 $$.sections = script_new_string_sort_list(&$1);
600 $$.exclude = NULL;
602 | wildcard_sections opt_comma EXCLUDE_FILE '(' exclude_names ')'
604 $$.sections = $1.sections;
605 $$.exclude = script_string_list_append($1.exclude, $5);
607 | EXCLUDE_FILE '(' exclude_names ')'
609 $$.sections = NULL;
610 $$.exclude = $3;
614 /* A single wild card specification. */
615 wildcard_section:
616 wildcard_name
618 $$.name = $1;
619 $$.sort = SORT_WILDCARD_NONE;
621 | SORT_BY_NAME '(' wildcard_section ')'
623 $$.name = $3.name;
624 switch ($3.sort)
626 case SORT_WILDCARD_NONE:
627 $$.sort = SORT_WILDCARD_BY_NAME;
628 break;
629 case SORT_WILDCARD_BY_NAME:
630 case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
631 break;
632 case SORT_WILDCARD_BY_ALIGNMENT:
633 case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
634 $$.sort = SORT_WILDCARD_BY_NAME_BY_ALIGNMENT;
635 break;
636 default:
637 abort();
640 | SORT_BY_ALIGNMENT '(' wildcard_section ')'
642 $$.name = $3.name;
643 switch ($3.sort)
645 case SORT_WILDCARD_NONE:
646 $$.sort = SORT_WILDCARD_BY_ALIGNMENT;
647 break;
648 case SORT_WILDCARD_BY_ALIGNMENT:
649 case SORT_WILDCARD_BY_ALIGNMENT_BY_NAME:
650 break;
651 case SORT_WILDCARD_BY_NAME:
652 case SORT_WILDCARD_BY_NAME_BY_ALIGNMENT:
653 $$.sort = SORT_WILDCARD_BY_ALIGNMENT_BY_NAME;
654 break;
655 default:
656 abort();
661 /* A list of file names to exclude. */
662 exclude_names:
663 exclude_names opt_comma wildcard_name
664 { $$ = script_string_list_push_back($1, $3.value, $3.length); }
665 | wildcard_name
666 { $$ = script_new_string_list($1.value, $1.length); }
669 /* A single wildcard name. We recognize '*' and '?' specially since
670 they are expression tokens. */
671 wildcard_name:
672 string
673 { $$ = $1; }
674 | '*'
676 $$.value = "*";
677 $$.length = 1;
679 | '?'
681 $$.value = "?";
682 $$.length = 1;
686 /* A command which may appear at the top level of a linker script, or
687 within a SECTIONS block. */
688 file_or_sections_cmd:
689 ENTRY '(' string ')'
690 { script_set_entry(closure, $3.value, $3.length); }
691 | assignment end
692 | ASSERT_K '(' parse_exp ',' string ')'
693 { script_add_assertion(closure, $3, $5.value, $5.length); }
694 | INCLUDE string
695 { script_include_directive(closure, $2.value, $2.length); }
698 /* A list of MEMORY definitions. */
699 memory_defs:
700 memory_defs opt_comma memory_def
701 | /* empty */
704 /* A single MEMORY definition. */
705 memory_def:
706 string memory_attr ':' memory_origin '=' parse_exp opt_comma memory_length '=' parse_exp
707 { script_add_memory(closure, $1.value, $1.length, $2, $6, $10); }
709 /* LD supports an INCLUDE directive here, currently GOLD does not. */
710 INCLUDE string
711 { script_include_directive(closure, $2.value, $2.length); }
715 /* The (optional) attributes of a MEMORY region. */
716 memory_attr:
717 '(' string ')'
718 { $$ = script_parse_memory_attr(closure, $2.value, $2.length, 0); }
719 | /* Inverted attributes. */
720 '(' '!' string ')'
721 { $$ = script_parse_memory_attr(closure, $3.value, $3.length, 1); }
722 | /* empty */
723 { $$ = 0; }
726 memory_origin:
727 ORIGIN
734 memory_length:
735 LENGTH
742 /* A list of program header definitions. */
743 phdrs_defs:
744 phdrs_defs phdr_def
745 | /* empty */
748 /* A program header definition. */
749 phdr_def:
750 string phdr_type phdr_info ';'
751 { script_add_phdr(closure, $1.value, $1.length, $2, &$3); }
754 /* A program header type. The GNU linker accepts a general expression
755 here, but that would be a pain because we would have to dig into
756 the expression structure. It's unlikely that anybody uses anything
757 other than a string or a number here, so that is all we expect. */
758 phdr_type:
759 string
760 { $$ = script_phdr_string_to_type(closure, $1.value, $1.length); }
761 | INTEGER
762 { $$ = $1; }
765 /* Additional information for a program header. */
766 phdr_info:
767 /* empty */
768 { memset(&$$, 0, sizeof(struct Phdr_info)); }
769 | string phdr_info
771 $$ = $2;
772 if ($1.length == 7 && strncmp($1.value, "FILEHDR", 7) == 0)
773 $$.includes_filehdr = 1;
774 else
775 yyerror(closure, "PHDRS syntax error");
777 | PHDRS phdr_info
779 $$ = $2;
780 $$.includes_phdrs = 1;
782 | string '(' INTEGER ')' phdr_info
784 $$ = $5;
785 if ($1.length == 5 && strncmp($1.value, "FLAGS", 5) == 0)
787 $$.is_flags_valid = 1;
788 $$.flags = $3;
790 else
791 yyerror(closure, "PHDRS syntax error");
793 | AT '(' parse_exp ')' phdr_info
795 $$ = $5;
796 $$.load_address = $3;
800 /* Set a symbol to a value. */
801 assignment:
802 string '=' parse_exp
803 { script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
804 | string PLUSEQ parse_exp
806 Expression_ptr s = script_exp_string($1.value, $1.length);
807 Expression_ptr e = script_exp_binary_add(s, $3);
808 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
810 | string MINUSEQ parse_exp
812 Expression_ptr s = script_exp_string($1.value, $1.length);
813 Expression_ptr e = script_exp_binary_sub(s, $3);
814 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
816 | string MULTEQ parse_exp
818 Expression_ptr s = script_exp_string($1.value, $1.length);
819 Expression_ptr e = script_exp_binary_mult(s, $3);
820 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
822 | string DIVEQ parse_exp
824 Expression_ptr s = script_exp_string($1.value, $1.length);
825 Expression_ptr e = script_exp_binary_div(s, $3);
826 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
828 | string LSHIFTEQ parse_exp
830 Expression_ptr s = script_exp_string($1.value, $1.length);
831 Expression_ptr e = script_exp_binary_lshift(s, $3);
832 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
834 | string RSHIFTEQ parse_exp
836 Expression_ptr s = script_exp_string($1.value, $1.length);
837 Expression_ptr e = script_exp_binary_rshift(s, $3);
838 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
840 | string ANDEQ parse_exp
842 Expression_ptr s = script_exp_string($1.value, $1.length);
843 Expression_ptr e = script_exp_binary_bitwise_and(s, $3);
844 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
846 | string OREQ parse_exp
848 Expression_ptr s = script_exp_string($1.value, $1.length);
849 Expression_ptr e = script_exp_binary_bitwise_or(s, $3);
850 script_set_symbol(closure, $1.value, $1.length, e, 0, 0);
852 | PROVIDE '(' string '=' parse_exp ')'
853 { script_set_symbol(closure, $3.value, $3.length, $5, 1, 0); }
854 | PROVIDE_HIDDEN '(' string '=' parse_exp ')'
855 { script_set_symbol(closure, $3.value, $3.length, $5, 1, 1); }
858 /* Parse an expression, putting the lexer into the right mode. */
859 parse_exp:
860 { script_push_lex_into_expression_mode(closure); }
863 script_pop_lex_mode(closure);
864 $$ = $2;
868 /* An expression. */
869 exp:
870 '(' exp ')'
871 { $$ = $2; }
872 | '-' exp %prec UNARY
873 { $$ = script_exp_unary_minus($2); }
874 | '!' exp %prec UNARY
875 { $$ = script_exp_unary_logical_not($2); }
876 | '~' exp %prec UNARY
877 { $$ = script_exp_unary_bitwise_not($2); }
878 | '+' exp %prec UNARY
879 { $$ = $2; }
880 | exp '*' exp
881 { $$ = script_exp_binary_mult($1, $3); }
882 | exp '/' exp
883 { $$ = script_exp_binary_div($1, $3); }
884 | exp '%' exp
885 { $$ = script_exp_binary_mod($1, $3); }
886 | exp '+' exp
887 { $$ = script_exp_binary_add($1, $3); }
888 | exp '-' exp
889 { $$ = script_exp_binary_sub($1, $3); }
890 | exp LSHIFT exp
891 { $$ = script_exp_binary_lshift($1, $3); }
892 | exp RSHIFT exp
893 { $$ = script_exp_binary_rshift($1, $3); }
894 | exp EQ exp
895 { $$ = script_exp_binary_eq($1, $3); }
896 | exp NE exp
897 { $$ = script_exp_binary_ne($1, $3); }
898 | exp LE exp
899 { $$ = script_exp_binary_le($1, $3); }
900 | exp GE exp
901 { $$ = script_exp_binary_ge($1, $3); }
902 | exp '<' exp
903 { $$ = script_exp_binary_lt($1, $3); }
904 | exp '>' exp
905 { $$ = script_exp_binary_gt($1, $3); }
906 | exp '&' exp
907 { $$ = script_exp_binary_bitwise_and($1, $3); }
908 | exp '^' exp
909 { $$ = script_exp_binary_bitwise_xor($1, $3); }
910 | exp '|' exp
911 { $$ = script_exp_binary_bitwise_or($1, $3); }
912 | exp ANDAND exp
913 { $$ = script_exp_binary_logical_and($1, $3); }
914 | exp OROR exp
915 { $$ = script_exp_binary_logical_or($1, $3); }
916 | exp '?' exp ':' exp
917 { $$ = script_exp_trinary_cond($1, $3, $5); }
918 | INTEGER
919 { $$ = script_exp_integer($1); }
920 | string
921 { $$ = script_symbol(closure, $1.value, $1.length); }
922 | MAX_K '(' exp ',' exp ')'
923 { $$ = script_exp_function_max($3, $5); }
924 | MIN_K '(' exp ',' exp ')'
925 { $$ = script_exp_function_min($3, $5); }
926 | DEFINED '(' string ')'
927 { $$ = script_exp_function_defined($3.value, $3.length); }
928 | SIZEOF_HEADERS
929 { $$ = script_exp_function_sizeof_headers(); }
930 | ALIGNOF '(' string ')'
931 { $$ = script_exp_function_alignof($3.value, $3.length); }
932 | SIZEOF '(' string ')'
933 { $$ = script_exp_function_sizeof($3.value, $3.length); }
934 | ADDR '(' string ')'
935 { $$ = script_exp_function_addr($3.value, $3.length); }
936 | LOADADDR '(' string ')'
937 { $$ = script_exp_function_loadaddr($3.value, $3.length); }
938 | ORIGIN '(' string ')'
939 { $$ = script_exp_function_origin(closure, $3.value, $3.length); }
940 | LENGTH '(' string ')'
941 { $$ = script_exp_function_length(closure, $3.value, $3.length); }
942 | CONSTANT '(' string ')'
943 { $$ = script_exp_function_constant($3.value, $3.length); }
944 | ABSOLUTE '(' exp ')'
945 { $$ = script_exp_function_absolute($3); }
946 | ALIGN_K '(' exp ')'
947 { $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
948 | ALIGN_K '(' exp ',' exp ')'
949 { $$ = script_exp_function_align($3, $5); }
950 | BLOCK '(' exp ')'
951 { $$ = script_exp_function_align(script_exp_string(".", 1), $3); }
952 | DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
954 script_data_segment_align(closure);
955 $$ = script_exp_function_data_segment_align($3, $5);
957 | DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
959 script_data_segment_relro_end(closure);
960 $$ = script_exp_function_data_segment_relro_end($3, $5);
962 | DATA_SEGMENT_END '(' exp ')'
963 { $$ = script_exp_function_data_segment_end($3); }
964 | SEGMENT_START '(' string ',' exp ')'
966 $$ = script_exp_function_segment_start($3.value, $3.length, $5);
967 /* We need to take note of any SEGMENT_START expressions
968 because they change the behaviour of -Ttext, -Tdata and
969 -Tbss options. */
970 script_saw_segment_start_expression(closure);
972 | ASSERT_K '(' exp ',' string ')'
973 { $$ = script_exp_function_assert($3, $5.value, $5.length); }
976 /* Handle the --defsym option. */
977 defsym_expr:
978 string '=' parse_exp
979 { script_set_symbol(closure, $1.value, $1.length, $3, 0, 0); }
982 /* Handle the --dynamic-list option. A dynamic list has the format
983 { sym1; sym2; extern "C++" { namespace::sym3 }; };
984 We store the symbol we see in the "local" list; that is where
985 Command_line::in_dynamic_list() will look to do its check.
986 TODO(csilvers): More than one of these brace-lists can appear, and
987 should just be merged and treated as a single list. */
988 dynamic_list_expr: dynamic_list_nodes ;
990 dynamic_list_nodes:
991 dynamic_list_node
992 | dynamic_list_nodes dynamic_list_node
995 dynamic_list_node:
996 '{' vers_defns ';' '}' ';'
997 { script_new_vers_node (closure, NULL, $2); }
1000 /* A version script. */
1001 version_script:
1002 vers_nodes
1005 vers_nodes:
1006 vers_node
1007 | vers_nodes vers_node
1010 vers_node:
1011 '{' vers_tag '}' ';'
1013 script_register_vers_node (closure, NULL, 0, $2, NULL);
1015 | string '{' vers_tag '}' ';'
1017 script_register_vers_node (closure, $1.value, $1.length, $3,
1018 NULL);
1020 | string '{' vers_tag '}' verdep ';'
1022 script_register_vers_node (closure, $1.value, $1.length, $3, $5);
1026 verdep:
1027 string
1029 $$ = script_add_vers_depend (closure, NULL, $1.value, $1.length);
1031 | verdep string
1033 $$ = script_add_vers_depend (closure, $1, $2.value, $2.length);
1037 vers_tag:
1038 /* empty */
1039 { $$ = script_new_vers_node (closure, NULL, NULL); }
1040 | vers_defns ';'
1041 { $$ = script_new_vers_node (closure, $1, NULL); }
1042 | GLOBAL ':' vers_defns ';'
1043 { $$ = script_new_vers_node (closure, $3, NULL); }
1044 | LOCAL ':' vers_defns ';'
1045 { $$ = script_new_vers_node (closure, NULL, $3); }
1046 | GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
1047 { $$ = script_new_vers_node (closure, $3, $7); }
1050 /* Here is one of the rare places we care about the distinction
1051 between STRING and QUOTED_STRING. For QUOTED_STRING, we do exact
1052 matching on the pattern, so we pass in true for the exact_match
1053 parameter. For STRING, we do glob matching and pass in false. */
1054 vers_defns:
1055 STRING
1057 $$ = script_new_vers_pattern (closure, NULL, $1.value,
1058 $1.length, 0);
1060 | QUOTED_STRING
1062 $$ = script_new_vers_pattern (closure, NULL, $1.value,
1063 $1.length, 1);
1065 | vers_defns ';' STRING
1067 $$ = script_new_vers_pattern (closure, $1, $3.value,
1068 $3.length, 0);
1070 | vers_defns ';' QUOTED_STRING
1072 $$ = script_new_vers_pattern (closure, $1, $3.value,
1073 $3.length, 1);
1075 | /* Push string on the language stack. */
1076 EXTERN string '{'
1077 { version_script_push_lang (closure, $2.value, $2.length); }
1078 vers_defns opt_semicolon '}'
1080 $$ = $5;
1081 version_script_pop_lang(closure);
1083 | /* Push string on the language stack. This is more complicated
1084 than the other cases because we need to merge the linked-list
1085 state from the pre-EXTERN defns and the post-EXTERN defns. */
1086 vers_defns ';' EXTERN string '{'
1087 { version_script_push_lang (closure, $4.value, $4.length); }
1088 vers_defns opt_semicolon '}'
1090 $$ = script_merge_expressions ($1, $7);
1091 version_script_pop_lang(closure);
1093 | EXTERN // "extern" as a symbol name
1095 $$ = script_new_vers_pattern (closure, NULL, "extern",
1096 sizeof("extern") - 1, 1);
1098 | vers_defns ';' EXTERN
1100 $$ = script_new_vers_pattern (closure, $1, "extern",
1101 sizeof("extern") - 1, 1);
1105 /* A string can be either a STRING or a QUOTED_STRING. Almost all the
1106 time we don't care, and we use this rule. */
1107 string:
1108 STRING
1109 { $$ = $1; }
1110 | QUOTED_STRING
1111 { $$ = $1; }
1114 /* Some statements require a terminator, which may be a semicolon or a
1115 comma. */
1116 end:
1118 | ','
1121 /* An optional semicolon. */
1122 opt_semicolon:
1124 | /* empty */
1127 /* An optional comma. */
1128 opt_comma:
1130 | /* empty */