ld/ldgram.y

   1 /* A YACC grammar to parse a superset of the AT&T linker scripting language.
   2    Copyright (C) 1991-2015 Free Software Foundation, Inc.
   3    Written by Steve Chamberlain of Cygnus Support (steve@cygnus.com).
   4
   5    This file is part of the GNU Binutils.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program; if not, write to the Free Software
  19    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  20    MA 02110-1301, USA.  */
  21
  22 %{
  23 /*
  24
  25  */
  26
  27 #define DONTDECLARE_MALLOC
  28
  29 #include "sysdep.h"
  30 #include "bfd.h"
  31 #include "bfdlink.h"
  32 #include "ld.h"
  33 #include "ldexp.h"
  34 #include "ldver.h"
  35 #include "ldlang.h"
  36 #include "ldfile.h"
  37 #include "ldemul.h"
  38 #include "ldmisc.h"
  39 #include "ldmain.h"
  40 #include "mri.h"
  41 #include "ldctor.h"
  42 #include "ldlex.h"
  43
  44 #ifndef YYDEBUG
  45 #define YYDEBUG 1
  46 #endif
  47
  48 static enum section_type sectype;
  49 static lang_memory_region_type *region;
  50
  51 bfd_boolean ldgram_had_keep = FALSE;
  52 char *ldgram_vers_current_lang = NULL;
  53
  54 #define ERROR_NAME_MAX 20
  55 static char *error_names[ERROR_NAME_MAX];
  56 static int error_index;
  57 #define PUSH_ERROR(x) if (error_index < ERROR_NAME_MAX) error_names[error_index] = x; error_index++;
  58 #define POP_ERROR()   error_index--;
  59 %}
  60 %union {
  61   bfd_vma integer;
  62   struct big_int
  63     {
  64       bfd_vma integer;
  65       char *str;
  66     } bigint;
  67   fill_type *fill;
  68   char *name;
  69   const char *cname;
  70   struct wildcard_spec wildcard;
  71   struct wildcard_list *wildcard_list;
  72   struct name_list *name_list;
  73   struct flag_info_list *flag_info_list;
  74   struct flag_info *flag_info;
  75   int token;
  76   union etree_union *etree;
  77   struct phdr_info
  78     {
  79       bfd_boolean filehdr;
  80       bfd_boolean phdrs;
  81       union etree_union *at;
  82       union etree_union *flags;
  83     } phdr;
  84   struct lang_nocrossref *nocrossref;
  85   struct lang_output_section_phdr_list *section_phdr;
  86   struct bfd_elf_version_deps *deflist;
  87   struct bfd_elf_version_expr *versyms;
  88   struct bfd_elf_version_tree *versnode;
  89 }
  90
  91 %type <etree> exp opt_exp_with_type mustbe_exp opt_at phdr_type phdr_val
  92 %type <etree> opt_exp_without_type opt_subalign opt_align
  93 %type <fill> fill_opt fill_exp
  94 %type <name_list> exclude_name_list
  95 %type <wildcard_list> file_NAME_list
  96 %type <flag_info_list> sect_flag_list
  97 %type <flag_info> sect_flags
  98 %type <name> memspec_opt casesymlist
  99 %type <name> memspec_at_opt
 100 %type <cname> wildcard_name
 101 %type <wildcard> wildcard_spec
 102 %token <bigint> INT
 103 %token <name> NAME LNAME
 104 %type <integer> length
 105 %type <phdr> phdr_qualifiers
 106 %type <nocrossref> nocrossref_list
 107 %type <section_phdr> phdr_opt
 108 %type <integer> opt_nocrossrefs
 109
 110 %right <token> PLUSEQ MINUSEQ MULTEQ DIVEQ  '=' LSHIFTEQ RSHIFTEQ   ANDEQ OREQ
 111 %right <token> '?' ':'
 112 %left <token> OROR
 113 %left <token>  ANDAND
 114 %left <token> '|'
 115 %left <token>  '^'
 116 %left  <token> '&'
 117 %left <token>  EQ NE
 118 %left  <token> '<' '>' LE GE
 119 %left  <token> LSHIFT RSHIFT
 120
 121 %left  <token> '+' '-'
 122 %left  <token> '*' '/' '%'
 123
 124 %right UNARY
 125 %token END
 126 %left <token> '('
 127 %token <token> ALIGN_K BLOCK BIND QUAD SQUAD LONG SHORT BYTE
 128 %token SECTIONS PHDRS INSERT_K AFTER BEFORE
 129 %token DATA_SEGMENT_ALIGN DATA_SEGMENT_RELRO_END DATA_SEGMENT_END
 130 %token SORT_BY_NAME SORT_BY_ALIGNMENT SORT_NONE
 131 %token SORT_BY_INIT_PRIORITY
 132 %token '{' '}'
 133 %token SIZEOF_HEADERS OUTPUT_FORMAT FORCE_COMMON_ALLOCATION OUTPUT_ARCH
 134 %token INHIBIT_COMMON_ALLOCATION
 135 %token SEGMENT_START
 136 %token INCLUDE
 137 %token MEMORY
 138 %token REGION_ALIAS
 139 %token LD_FEATURE
 140 %token NOLOAD DSECT COPY INFO OVERLAY
 141 %token DEFINED TARGET_K SEARCH_DIR MAP ENTRY
 142 %token <integer> NEXT
 143 %token SIZEOF ALIGNOF ADDR LOADADDR MAX_K MIN_K
 144 %token STARTUP HLL SYSLIB FLOAT NOFLOAT NOCROSSREFS
 145 %token ORIGIN FILL
 146 %token LENGTH CREATE_OBJECT_SYMBOLS INPUT GROUP OUTPUT CONSTRUCTORS
 147 %token ALIGNMOD AT SUBALIGN HIDDEN PROVIDE PROVIDE_HIDDEN AS_NEEDED
 148 %type <token> assign_op atype attributes_opt sect_constraint opt_align_with_input
 149 %type <name>  filename
 150 %token CHIP LIST SECT ABSOLUTE  LOAD NEWLINE ENDWORD ORDER NAMEWORD ASSERT_K
 151 %token LOG2CEIL FORMAT PUBLIC DEFSYMEND BASE ALIAS TRUNCATE REL
 152 %token INPUT_SCRIPT INPUT_MRI_SCRIPT INPUT_DEFSYM CASE EXTERN START
 153 %token <name> VERS_TAG VERS_IDENTIFIER
 154 %token GLOBAL LOCAL VERSIONK INPUT_VERSION_SCRIPT
 155 %token KEEP ONLY_IF_RO ONLY_IF_RW SPECIAL INPUT_SECTION_FLAGS ALIGN_WITH_INPUT
 156 %token EXCLUDE_FILE
 157 %token CONSTANT
 158 %type <versyms> vers_defns
 159 %type <versnode> vers_tag
 160 %type <deflist> verdep
 161 %token INPUT_DYNAMIC_LIST
 162
 163 %%
 164
 165 file:
 166                 INPUT_SCRIPT script_file
 167         |       INPUT_MRI_SCRIPT mri_script_file
 168         |       INPUT_VERSION_SCRIPT version_script_file
 169         |       INPUT_DYNAMIC_LIST dynamic_list_file
 170         |       INPUT_DEFSYM defsym_expr
 171         ;
 172
 173
 174 filename:  NAME;
 175
 176
 177 defsym_expr:
 178                 { ldlex_defsym(); }
 179                 NAME '=' exp
 180                 {
 181                   ldlex_popstate();
 182                   lang_add_assignment (exp_defsym ($2, $4));
 183                 }
 184         ;
 185
 186 /* SYNTAX WITHIN AN MRI SCRIPT FILE */
 187 mri_script_file:
 188                 {
 189                   ldlex_mri_script ();
 190                   PUSH_ERROR (_("MRI style script"));
 191                 }
 192              mri_script_lines
 193                 {
 194                   ldlex_popstate ();
 195                   mri_draw_tree ();
 196                   POP_ERROR ();
 197                 }
 198         ;
 199
 200 mri_script_lines:
 201                 mri_script_lines mri_script_command NEWLINE
 202           |
 203         ;
 204
 205 mri_script_command:
 206                 CHIP  exp
 207         |       CHIP  exp ',' exp
 208         |       NAME    {
 209                         einfo(_("%P%F: unrecognised keyword in MRI style script '%s'\n"),$1);
 210                         }
 211         |       LIST    {
 212                         config.map_filename = "-";
 213                         }
 214         |       ORDER ordernamelist
 215         |       ENDWORD
 216         |       PUBLIC NAME '=' exp
 217                         { mri_public($2, $4); }
 218         |       PUBLIC NAME ',' exp
 219                         { mri_public($2, $4); }
 220         |       PUBLIC NAME  exp
 221                         { mri_public($2, $3); }
 222         |       FORMAT NAME
 223                         { mri_format($2); }
 224         |       SECT NAME ',' exp
 225                         { mri_output_section($2, $4);}
 226         |       SECT NAME  exp
 227                         { mri_output_section($2, $3);}
 228         |       SECT NAME '=' exp
 229                         { mri_output_section($2, $4);}
 230         |       ALIGN_K NAME '=' exp
 231                         { mri_align($2,$4); }
 232         |       ALIGN_K NAME ',' exp
 233                         { mri_align($2,$4); }
 234         |       ALIGNMOD NAME '=' exp
 235                         { mri_alignmod($2,$4); }
 236         |       ALIGNMOD NAME ',' exp
 237                         { mri_alignmod($2,$4); }
 238         |       ABSOLUTE mri_abs_name_list
 239         |       LOAD     mri_load_name_list
 240         |       NAMEWORD NAME
 241                         { mri_name($2); }
 242         |       ALIAS NAME ',' NAME
 243                         { mri_alias($2,$4,0);}
 244         |       ALIAS NAME ',' INT
 245                         { mri_alias ($2, 0, (int) $4.integer); }
 246         |       BASE     exp
 247                         { mri_base($2); }
 248         |       TRUNCATE INT
 249                 { mri_truncate ((unsigned int) $2.integer); }
 250         |       CASE casesymlist
 251         |       EXTERN extern_name_list
 252         |       INCLUDE filename
 253                 { ldlex_script (); ldfile_open_command_file($2); }
 254                 mri_script_lines END
 255                 { ldlex_popstate (); }
 256         |       START NAME
 257                 { lang_add_entry ($2, FALSE); }
 258         |
 259         ;
 260
 261 ordernamelist:
 262               ordernamelist ',' NAME         { mri_order($3); }
 263         |     ordernamelist  NAME         { mri_order($2); }
 264         |
 265         ;
 266
 267 mri_load_name_list:
 268                 NAME
 269                         { mri_load($1); }
 270         |       mri_load_name_list ',' NAME { mri_load($3); }
 271         ;
 272
 273 mri_abs_name_list:
 274                 NAME
 275                         { mri_only_load($1); }
 276         |       mri_abs_name_list ','  NAME
 277                         { mri_only_load($3); }
 278         ;
 279
 280 casesymlist:
 281           /* empty */ { $$ = NULL; }
 282         | NAME
 283         | casesymlist ',' NAME
 284         ;
 285
 286 /* Parsed as expressions so that commas separate entries */
 287 extern_name_list:
 288         { ldlex_expression (); }
 289         extern_name_list_body
 290         { ldlex_popstate (); }
 291
 292 extern_name_list_body:
 293           NAME
 294                         { ldlang_add_undef ($1, FALSE); }
 295         | extern_name_list_body NAME
 296                         { ldlang_add_undef ($2, FALSE); }
 297         | extern_name_list_body ',' NAME
 298                         { ldlang_add_undef ($3, FALSE); }
 299         ;
 300
 301 script_file:
 302         { ldlex_both(); }
 303         ifile_list
 304         { ldlex_popstate(); }
 305         ;
 306
 307 ifile_list:
 308         ifile_list ifile_p1
 309         |
 310         ;
 311
 312
 313 ifile_p1:
 314                 memory
 315         |       sections
 316         |       phdrs
 317         |       startup
 318         |       high_level_library
 319         |       low_level_library
 320         |       floating_point_support
 321         |       statement_anywhere
 322         |       version
 323         |        ';'
 324         |       TARGET_K '(' NAME ')'
 325                 { lang_add_target($3); }
 326         |       SEARCH_DIR '(' filename ')'
 327                 { ldfile_add_library_path ($3, FALSE); }
 328         |       OUTPUT '(' filename ')'
 329                 { lang_add_output($3, 1); }
 330         |       OUTPUT_FORMAT '(' NAME ')'
 331                   { lang_add_output_format ($3, (char *) NULL,
 332                                             (char *) NULL, 1); }
 333         |       OUTPUT_FORMAT '(' NAME ',' NAME ',' NAME ')'
 334                   { lang_add_output_format ($3, $5, $7, 1); }
 335         |       OUTPUT_ARCH '(' NAME ')'
 336                   { ldfile_set_output_arch ($3, bfd_arch_unknown); }
 337         |       FORCE_COMMON_ALLOCATION
 338                 { command_line.force_common_definition = TRUE ; }
 339         |       INHIBIT_COMMON_ALLOCATION
 340                 { command_line.inhibit_common_definition = TRUE ; }
 341         |       INPUT '(' input_list ')'
 342         |       GROUP
 343                   { lang_enter_group (); }
 344                     '(' input_list ')'
 345                   { lang_leave_group (); }
 346         |       MAP '(' filename ')'
 347                 { lang_add_map($3); }
 348         |       INCLUDE filename
 349                 { ldlex_script (); ldfile_open_command_file($2); }
 350                 ifile_list END
 351                 { ldlex_popstate (); }
 352         |       NOCROSSREFS '(' nocrossref_list ')'
 353                 {
 354                   lang_add_nocrossref ($3);
 355                 }
 356         |       EXTERN '(' extern_name_list ')'
 357         |       INSERT_K AFTER NAME
 358                 { lang_add_insert ($3, 0); }
 359         |       INSERT_K BEFORE NAME
 360                 { lang_add_insert ($3, 1); }
 361         |       REGION_ALIAS '(' NAME ',' NAME ')'
 362                 { lang_memory_region_alias ($3, $5); }
 363         |       LD_FEATURE '(' NAME ')'
 364                 { lang_ld_feature ($3); }
 365         ;
 366
 367 input_list:
 368                 { ldlex_inputlist(); }
 369                 input_list1
 370                 { ldlex_popstate(); }
 371
 372 input_list1:
 373                 NAME
 374                 { lang_add_input_file($1,lang_input_file_is_search_file_enum,
 375                                  (char *)NULL); }
 376         |       input_list1 ',' NAME
 377                 { lang_add_input_file($3,lang_input_file_is_search_file_enum,
 378                                  (char *)NULL); }
 379         |       input_list1 NAME
 380                 { lang_add_input_file($2,lang_input_file_is_search_file_enum,
 381                                  (char *)NULL); }
 382         |       LNAME
 383                 { lang_add_input_file($1,lang_input_file_is_l_enum,
 384                                  (char *)NULL); }
 385         |       input_list1 ',' LNAME
 386                 { lang_add_input_file($3,lang_input_file_is_l_enum,
 387                                  (char *)NULL); }
 388         |       input_list1 LNAME
 389                 { lang_add_input_file($2,lang_input_file_is_l_enum,
 390                                  (char *)NULL); }
 391         |       AS_NEEDED '('
 392                   { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
 393                     input_flags.add_DT_NEEDED_for_regular = TRUE; }
 394                      input_list1 ')'
 395                   { input_flags.add_DT_NEEDED_for_regular = $<integer>3; }
 396         |       input_list1 ',' AS_NEEDED '('
 397                   { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
 398                     input_flags.add_DT_NEEDED_for_regular = TRUE; }
 399                      input_list1 ')'
 400                   { input_flags.add_DT_NEEDED_for_regular = $<integer>5; }
 401         |       input_list1 AS_NEEDED '('
 402                   { $<integer>$ = input_flags.add_DT_NEEDED_for_regular;
 403                     input_flags.add_DT_NEEDED_for_regular = TRUE; }
 404                      input_list1 ')'
 405                   { input_flags.add_DT_NEEDED_for_regular = $<integer>4; }
 406         ;
 407
 408 sections:
 409                 SECTIONS '{' sec_or_group_p1 '}'
 410         ;
 411
 412 sec_or_group_p1:
 413                 sec_or_group_p1 section
 414         |       sec_or_group_p1 statement_anywhere
 415         |
 416         ;
 417
 418 statement_anywhere:
 419                 ENTRY '(' NAME ')'
 420                 { lang_add_entry ($3, FALSE); }
 421         |       assignment end
 422         |       ASSERT_K  {ldlex_expression ();} '(' exp ',' NAME ')'
 423                 { ldlex_popstate ();
 424                   lang_add_assignment (exp_assert ($4, $6)); }
 425         ;
 426
 427 /* The '*' and '?' cases are there because the lexer returns them as
 428    separate tokens rather than as NAME.  */
 429 wildcard_name:
 430                 NAME
 431                         {
 432                           $$ = $1;
 433                         }
 434         |       '*'
 435                         {
 436                           $$ = "*";
 437                         }
 438         |       '?'
 439                         {
 440                           $$ = "?";
 441                         }
 442         ;
 443
 444 wildcard_spec:
 445                 wildcard_name
 446                         {
 447                           $$.name = $1;
 448                           $$.sorted = none;
 449                           $$.exclude_name_list = NULL;
 450                           $$.section_flag_list = NULL;
 451                         }
 452         |       EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name
 453                         {
 454                           $$.name = $5;
 455                           $$.sorted = none;
 456                           $$.exclude_name_list = $3;
 457                           $$.section_flag_list = NULL;
 458                         }
 459         |       SORT_BY_NAME '(' wildcard_name ')'
 460                         {
 461                           $$.name = $3;
 462                           $$.sorted = by_name;
 463                           $$.exclude_name_list = NULL;
 464                           $$.section_flag_list = NULL;
 465                         }
 466         |       SORT_BY_ALIGNMENT '(' wildcard_name ')'
 467                         {
 468                           $$.name = $3;
 469                           $$.sorted = by_alignment;
 470                           $$.exclude_name_list = NULL;
 471                           $$.section_flag_list = NULL;
 472                         }
 473         |       SORT_NONE '(' wildcard_name ')'
 474                         {
 475                           $$.name = $3;
 476                           $$.sorted = by_none;
 477                           $$.exclude_name_list = NULL;
 478                           $$.section_flag_list = NULL;
 479                         }
 480         |       SORT_BY_NAME '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'
 481                         {
 482                           $$.name = $5;
 483                           $$.sorted = by_name_alignment;
 484                           $$.exclude_name_list = NULL;
 485                           $$.section_flag_list = NULL;
 486                         }
 487         |       SORT_BY_NAME '(' SORT_BY_NAME '(' wildcard_name ')' ')'
 488                         {
 489                           $$.name = $5;
 490                           $$.sorted = by_name;
 491                           $$.exclude_name_list = NULL;
 492                           $$.section_flag_list = NULL;
 493                         }
 494         |       SORT_BY_ALIGNMENT '(' SORT_BY_NAME '(' wildcard_name ')' ')'
 495                         {
 496                           $$.name = $5;
 497                           $$.sorted = by_alignment_name;
 498                           $$.exclude_name_list = NULL;
 499                           $$.section_flag_list = NULL;
 500                         }
 501         |       SORT_BY_ALIGNMENT '(' SORT_BY_ALIGNMENT '(' wildcard_name ')' ')'
 502                         {
 503                           $$.name = $5;
 504                           $$.sorted = by_alignment;
 505                           $$.exclude_name_list = NULL;
 506                           $$.section_flag_list = NULL;
 507                         }
 508         |       SORT_BY_NAME '(' EXCLUDE_FILE '(' exclude_name_list ')' wildcard_name ')'
 509                         {
 510                           $$.name = $7;
 511                           $$.sorted = by_name;
 512                           $$.exclude_name_list = $5;
 513                           $$.section_flag_list = NULL;
 514                         }
 515         |       SORT_BY_INIT_PRIORITY '(' wildcard_name ')'
 516                         {
 517                           $$.name = $3;
 518                           $$.sorted = by_init_priority;
 519                           $$.exclude_name_list = NULL;
 520                           $$.section_flag_list = NULL;
 521                         }
 522         ;
 523
 524 sect_flag_list: NAME
 525                         {
 526                           struct flag_info_list *n;
 527                           n = ((struct flag_info_list *) xmalloc (sizeof *n));
 528                           if ($1[0] == '!')
 529                             {
 530                               n->with = without_flags;
 531                               n->name = &$1[1];
 532                             }
 533                           else
 534                             {
 535                               n->with = with_flags;
 536                               n->name = $1;
 537                             }
 538                           n->valid = FALSE;
 539                           n->next = NULL;
 540                           $$ = n;
 541                         }
 542         |       sect_flag_list '&' NAME
 543                         {
 544                           struct flag_info_list *n;
 545                           n = ((struct flag_info_list *) xmalloc (sizeof *n));
 546                           if ($3[0] == '!')
 547                             {
 548                               n->with = without_flags;
 549                               n->name = &$3[1];
 550                             }
 551                           else
 552                             {
 553                               n->with = with_flags;
 554                               n->name = $3;
 555                             }
 556                           n->valid = FALSE;
 557                           n->next = $1;
 558                           $$ = n;
 559                         }
 560         ;
 561
 562 sect_flags:
 563                 INPUT_SECTION_FLAGS '(' sect_flag_list ')'
 564                         {
 565                           struct flag_info *n;
 566                           n = ((struct flag_info *) xmalloc (sizeof *n));
 567                           n->flag_list = $3;
 568                           n->flags_initialized = FALSE;
 569                           n->not_with_flags = 0;
 570                           n->only_with_flags = 0;
 571                           $$ = n;
 572                         }
 573         ;
 574
 575 exclude_name_list:
 576                 exclude_name_list wildcard_name
 577                         {
 578                           struct name_list *tmp;
 579                           tmp = (struct name_list *) xmalloc (sizeof *tmp);
 580                           tmp->name = $2;
 581                           tmp->next = $1;
 582                           $$ = tmp;
 583                         }
 584         |
 585                 wildcard_name
 586                         {
 587                           struct name_list *tmp;
 588                           tmp = (struct name_list *) xmalloc (sizeof *tmp);
 589                           tmp->name = $1;
 590                           tmp->next = NULL;
 591                           $$ = tmp;
 592                         }
 593         ;
 594
 595 file_NAME_list:
 596                 file_NAME_list opt_comma wildcard_spec
 597                         {
 598                           struct wildcard_list *tmp;
 599                           tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
 600                           tmp->next = $1;
 601                           tmp->spec = $3;
 602                           $$ = tmp;
 603                         }
 604         |
 605                 wildcard_spec
 606                         {
 607                           struct wildcard_list *tmp;
 608                           tmp = (struct wildcard_list *) xmalloc (sizeof *tmp);
 609                           tmp->next = NULL;
 610                           tmp->spec = $1;
 611                           $$ = tmp;
 612                         }
 613         ;
 614
 615 input_section_spec_no_keep:
 616                 NAME
 617                         {
 618                           struct wildcard_spec tmp;
 619                           tmp.name = $1;
 620                           tmp.exclude_name_list = NULL;
 621                           tmp.sorted = none;
 622                           tmp.section_flag_list = NULL;
 623                           lang_add_wild (&tmp, NULL, ldgram_had_keep);
 624                         }
 625         |       sect_flags NAME
 626                         {
 627                           struct wildcard_spec tmp;
 628                           tmp.name = $2;
 629                           tmp.exclude_name_list = NULL;
 630                           tmp.sorted = none;
 631                           tmp.section_flag_list = $1;
 632                           lang_add_wild (&tmp, NULL, ldgram_had_keep);
 633                         }
 634         |       '[' file_NAME_list ']'
 635                         {
 636                           lang_add_wild (NULL, $2, ldgram_had_keep);
 637                         }
 638         |       sect_flags '[' file_NAME_list ']'
 639                         {
 640                           struct wildcard_spec tmp;
 641                           tmp.name = NULL;
 642                           tmp.exclude_name_list = NULL;
 643                           tmp.sorted = none;
 644                           tmp.section_flag_list = $1;
 645                           lang_add_wild (&tmp, $3, ldgram_had_keep);
 646                         }
 647         |       wildcard_spec '(' file_NAME_list ')'
 648                         {
 649                           lang_add_wild (&$1, $3, ldgram_had_keep);
 650                         }
 651         |       sect_flags wildcard_spec '(' file_NAME_list ')'
 652                         {
 653                           $2.section_flag_list = $1;
 654                           lang_add_wild (&$2, $4, ldgram_had_keep);
 655                         }
 656         ;
 657
 658 input_section_spec:
 659                 input_section_spec_no_keep
 660         |       KEEP '('
 661                         { ldgram_had_keep = TRUE; }
 662                 input_section_spec_no_keep ')'
 663                         { ldgram_had_keep = FALSE; }
 664         ;
 665
 666 statement:
 667                 assignment end
 668         |       CREATE_OBJECT_SYMBOLS
 669                 {
 670                 lang_add_attribute(lang_object_symbols_statement_enum);
 671                 }
 672         |       ';'
 673         |       CONSTRUCTORS
 674                 {
 675
 676                   lang_add_attribute(lang_constructors_statement_enum);
 677                 }
 678         | SORT_BY_NAME '(' CONSTRUCTORS ')'
 679                 {
 680                   constructors_sorted = TRUE;
 681                   lang_add_attribute (lang_constructors_statement_enum);
 682                 }
 683         | input_section_spec
 684         | length '(' mustbe_exp ')'
 685                         {
 686                           lang_add_data ((int) $1, $3);
 687                         }
 688
 689         | FILL '(' fill_exp ')'
 690                         {
 691                           lang_add_fill ($3);
 692                         }
 693         | ASSERT_K  {ldlex_expression ();} '(' exp ',' NAME ')' end
 694                         { ldlex_popstate ();
 695                           lang_add_assignment (exp_assert ($4, $6)); }
 696         | INCLUDE filename
 697                 { ldlex_script (); ldfile_open_command_file($2); }
 698                 statement_list_opt END
 699                 { ldlex_popstate (); }
 700         ;
 701
 702 statement_list:
 703                 statement_list statement
 704         |       statement
 705         ;
 706
 707 statement_list_opt:
 708                 /* empty */
 709         |       statement_list
 710         ;
 711
 712 length:
 713                 QUAD
 714                         { $$ = $1; }
 715         |       SQUAD
 716                         { $$ = $1; }
 717         |       LONG
 718                         { $$ = $1; }
 719         |       SHORT
 720                         { $$ = $1; }
 721         |       BYTE
 722                         { $$ = $1; }
 723         ;
 724
 725 fill_exp:
 726         mustbe_exp
 727                 {
 728                   $$ = exp_get_fill ($1, 0, "fill value");
 729                 }
 730         ;
 731
 732 fill_opt:
 733           '=' fill_exp
 734                 { $$ = $2; }
 735         |       { $$ = (fill_type *) 0; }
 736         ;
 737
 738 assign_op:
 739                 PLUSEQ
 740                         { $$ = '+'; }
 741         |       MINUSEQ
 742                         { $$ = '-'; }
 743         |       MULTEQ
 744                         { $$ = '*'; }
 745         |       DIVEQ
 746                         { $$ = '/'; }
 747         |       LSHIFTEQ
 748                         { $$ = LSHIFT; }
 749         |       RSHIFTEQ
 750                         { $$ = RSHIFT; }
 751         |       ANDEQ
 752                         { $$ = '&'; }
 753         |       OREQ
 754                         { $$ = '|'; }
 755
 756         ;
 757
 758 end:    ';' | ','
 759         ;
 760
 761
 762 assignment:
 763                 NAME '=' mustbe_exp
 764                 {
 765                   lang_add_assignment (exp_assign ($1, $3, FALSE));
 766                 }
 767         |       NAME assign_op mustbe_exp
 768                 {
 769                   lang_add_assignment (exp_assign ($1,
 770                                                    exp_binop ($2,
 771                                                               exp_nameop (NAME,
 772                                                                           $1),
 773                                                               $3), FALSE));
 774                 }
 775         |       HIDDEN '(' NAME '=' mustbe_exp ')'
 776                 {
 777                   lang_add_assignment (exp_assign ($3, $5, TRUE));
 778                 }
 779         |       PROVIDE '(' NAME '=' mustbe_exp ')'
 780                 {
 781                   lang_add_assignment (exp_provide ($3, $5, FALSE));
 782                 }
 783         |       PROVIDE_HIDDEN '(' NAME '=' mustbe_exp ')'
 784                 {
 785                   lang_add_assignment (exp_provide ($3, $5, TRUE));
 786                 }
 787         ;
 788
 789
 790 opt_comma:
 791                 ','     |       ;
 792
 793
 794 memory:
 795                 MEMORY '{' memory_spec_list_opt '}'
 796         ;
 797
 798 memory_spec_list_opt: memory_spec_list | ;
 799
 800 memory_spec_list:
 801                 memory_spec_list opt_comma memory_spec
 802         |       memory_spec
 803         ;
 804
 805
 806 memory_spec:    NAME
 807                 { region = lang_memory_region_lookup ($1, TRUE); }
 808                 attributes_opt ':'
 809                 origin_spec opt_comma length_spec
 810                 {}
 811         |       INCLUDE filename
 812                 { ldlex_script (); ldfile_open_command_file($2); }
 813                 memory_spec_list_opt END
 814                 { ldlex_popstate (); }
 815         ;
 816
 817 origin_spec:
 818         ORIGIN '=' mustbe_exp
 819                 {
 820                   region->origin_exp = $3;
 821                   region->current = region->origin;
 822                 }
 823         ;
 824
 825 length_spec:
 826              LENGTH '=' mustbe_exp
 827                 {
 828                   region->length_exp = $3;
 829                 }
 830         ;
 831
 832 attributes_opt:
 833                 /* empty */
 834                   { /* dummy action to avoid bison 1.25 error message */ }
 835         |       '(' attributes_list ')'
 836         ;
 837
 838 attributes_list:
 839                 attributes_string
 840         |       attributes_list attributes_string
 841         ;
 842
 843 attributes_string:
 844                 NAME
 845                   { lang_set_flags (region, $1, 0); }
 846         |       '!' NAME
 847                   { lang_set_flags (region, $2, 1); }
 848         ;
 849
 850 startup:
 851         STARTUP '(' filename ')'
 852                 { lang_startup($3); }
 853         ;
 854
 855 high_level_library:
 856                 HLL '(' high_level_library_NAME_list ')'
 857         |       HLL '(' ')'
 858                         { ldemul_hll((char *)NULL); }
 859         ;
 860
 861 high_level_library_NAME_list:
 862                 high_level_library_NAME_list opt_comma filename
 863                         { ldemul_hll($3); }
 864         |       filename
 865                         { ldemul_hll($1); }
 866
 867         ;
 868
 869 low_level_library:
 870         SYSLIB '(' low_level_library_NAME_list ')'
 871         ; low_level_library_NAME_list:
 872                 low_level_library_NAME_list opt_comma filename
 873                         { ldemul_syslib($3); }
 874         |
 875         ;
 876
 877 floating_point_support:
 878                 FLOAT
 879                         { lang_float(TRUE); }
 880         |       NOFLOAT
 881                         { lang_float(FALSE); }
 882         ;
 883
 884 nocrossref_list:
 885                 /* empty */
 886                 {
 887                   $$ = NULL;
 888                 }
 889         |       NAME nocrossref_list
 890                 {
 891                   struct lang_nocrossref *n;
 892
 893                   n = (struct lang_nocrossref *) xmalloc (sizeof *n);
 894                   n->name = $1;
 895                   n->next = $2;
 896                   $$ = n;
 897                 }
 898         |       NAME ',' nocrossref_list
 899                 {
 900                   struct lang_nocrossref *n;
 901
 902                   n = (struct lang_nocrossref *) xmalloc (sizeof *n);
 903                   n->name = $1;
 904                   n->next = $3;
 905                   $$ = n;
 906                 }
 907         ;
 908
 909 mustbe_exp:              { ldlex_expression (); }
 910                 exp
 911                          { ldlex_popstate (); $$=$2;}
 912         ;
 913
 914 exp     :
 915                 '-' exp %prec UNARY
 916                         { $$ = exp_unop ('-', $2); }
 917         |       '(' exp ')'
 918                         { $$ = $2; }
 919         |       NEXT '(' exp ')' %prec UNARY
 920                         { $$ = exp_unop ((int) $1,$3); }
 921         |       '!' exp %prec UNARY
 922                         { $$ = exp_unop ('!', $2); }
 923         |       '+' exp %prec UNARY
 924                         { $$ = $2; }
 925         |       '~' exp %prec UNARY
 926                         { $$ = exp_unop ('~', $2);}
 927
 928         |       exp '*' exp
 929                         { $$ = exp_binop ('*', $1, $3); }
 930         |       exp '/' exp
 931                         { $$ = exp_binop ('/', $1, $3); }
 932         |       exp '%' exp
 933                         { $$ = exp_binop ('%', $1, $3); }
 934         |       exp '+' exp
 935                         { $$ = exp_binop ('+', $1, $3); }
 936         |       exp '-' exp
 937                         { $$ = exp_binop ('-' , $1, $3); }
 938         |       exp LSHIFT exp
 939                         { $$ = exp_binop (LSHIFT , $1, $3); }
 940         |       exp RSHIFT exp
 941                         { $$ = exp_binop (RSHIFT , $1, $3); }
 942         |       exp EQ exp
 943                         { $$ = exp_binop (EQ , $1, $3); }
 944         |       exp NE exp
 945                         { $$ = exp_binop (NE , $1, $3); }
 946         |       exp LE exp
 947                         { $$ = exp_binop (LE , $1, $3); }
 948         |       exp GE exp
 949                         { $$ = exp_binop (GE , $1, $3); }
 950         |       exp '<' exp
 951                         { $$ = exp_binop ('<' , $1, $3); }
 952         |       exp '>' exp
 953                         { $$ = exp_binop ('>' , $1, $3); }
 954         |       exp '&' exp
 955                         { $$ = exp_binop ('&' , $1, $3); }
 956         |       exp '^' exp
 957                         { $$ = exp_binop ('^' , $1, $3); }
 958         |       exp '|' exp
 959                         { $$ = exp_binop ('|' , $1, $3); }
 960         |       exp '?' exp ':' exp
 961                         { $$ = exp_trinop ('?' , $1, $3, $5); }
 962         |       exp ANDAND exp
 963                         { $$ = exp_binop (ANDAND , $1, $3); }
 964         |       exp OROR exp
 965                         { $$ = exp_binop (OROR , $1, $3); }
 966         |       DEFINED '(' NAME ')'
 967                         { $$ = exp_nameop (DEFINED, $3); }
 968         |       INT
 969                         { $$ = exp_bigintop ($1.integer, $1.str); }
 970         |       SIZEOF_HEADERS
 971                         { $$ = exp_nameop (SIZEOF_HEADERS,0); }
 972
 973         |       ALIGNOF '(' NAME ')'
 974                         { $$ = exp_nameop (ALIGNOF,$3); }
 975         |       SIZEOF '(' NAME ')'
 976                         { $$ = exp_nameop (SIZEOF,$3); }
 977         |       ADDR '(' NAME ')'
 978                         { $$ = exp_nameop (ADDR,$3); }
 979         |       LOADADDR '(' NAME ')'
 980                         { $$ = exp_nameop (LOADADDR,$3); }
 981         |       CONSTANT '(' NAME ')'
 982                         { $$ = exp_nameop (CONSTANT,$3); }
 983         |       ABSOLUTE '(' exp ')'
 984                         { $$ = exp_unop (ABSOLUTE, $3); }
 985         |       ALIGN_K '(' exp ')'
 986                         { $$ = exp_unop (ALIGN_K,$3); }
 987         |       ALIGN_K '(' exp ',' exp ')'
 988                         { $$ = exp_binop (ALIGN_K,$3,$5); }
 989         |       DATA_SEGMENT_ALIGN '(' exp ',' exp ')'
 990                         { $$ = exp_binop (DATA_SEGMENT_ALIGN, $3, $5); }
 991         |       DATA_SEGMENT_RELRO_END '(' exp ',' exp ')'
 992                         { $$ = exp_binop (DATA_SEGMENT_RELRO_END, $5, $3); }
 993         |       DATA_SEGMENT_END '(' exp ')'
 994                         { $$ = exp_unop (DATA_SEGMENT_END, $3); }
 995         |       SEGMENT_START '(' NAME ',' exp ')'
 996                         { /* The operands to the expression node are
 997                              placed in the opposite order from the way
 998                              in which they appear in the script as
 999                              that allows us to reuse more code in
1000                              fold_binary.  */
1001                           $$ = exp_binop (SEGMENT_START,
1002                                           $5,
1003                                           exp_nameop (NAME, $3)); }
1004         |       BLOCK '(' exp ')'
1005                         { $$ = exp_unop (ALIGN_K,$3); }
1006         |       NAME
1007                         { $$ = exp_nameop (NAME,$1); }
1008         |       MAX_K '(' exp ',' exp ')'
1009                         { $$ = exp_binop (MAX_K, $3, $5 ); }
1010         |       MIN_K '(' exp ',' exp ')'
1011                         { $$ = exp_binop (MIN_K, $3, $5 ); }
1012         |       ASSERT_K '(' exp ',' NAME ')'
1013                         { $$ = exp_assert ($3, $5); }
1014         |       ORIGIN '(' NAME ')'
1015                         { $$ = exp_nameop (ORIGIN, $3); }
1016         |       LENGTH '(' NAME ')'
1017                         { $$ = exp_nameop (LENGTH, $3); }
1018         |       LOG2CEIL '(' exp ')'
1019                         { $$ = exp_unop (LOG2CEIL, $3); }
1020         ;
1021
1022
1023 memspec_at_opt:
1024                 AT '>' NAME { $$ = $3; }
1025         |       { $$ = 0; }
1026         ;
1027
1028 opt_at:
1029                 AT '(' exp ')' { $$ = $3; }
1030         |       { $$ = 0; }
1031         ;
1032
1033 opt_align:
1034                 ALIGN_K '(' exp ')' { $$ = $3; }
1035         |       { $$ = 0; }
1036         ;
1037
1038 opt_align_with_input:
1039                 ALIGN_WITH_INPUT { $$ = ALIGN_WITH_INPUT; }
1040         |       { $$ = 0; }
1041         ;
1042
1043 opt_subalign:
1044                 SUBALIGN '(' exp ')' { $$ = $3; }
1045         |       { $$ = 0; }
1046         ;
1047
1048 sect_constraint:
1049                 ONLY_IF_RO { $$ = ONLY_IF_RO; }
1050         |       ONLY_IF_RW { $$ = ONLY_IF_RW; }
1051         |       SPECIAL { $$ = SPECIAL; }
1052         |       { $$ = 0; }
1053         ;
1054
1055 section:        NAME            { ldlex_expression(); }
1056                 opt_exp_with_type
1057                 opt_at
1058                 opt_align
1059                 opt_align_with_input
1060                 opt_subalign    { ldlex_popstate (); ldlex_script (); }
1061                 sect_constraint
1062                 '{'
1063                         {
1064                           lang_enter_output_section_statement($1, $3,
1065                                                               sectype,
1066                                                               $5, $7, $4, $9, $6);
1067                         }
1068                 statement_list_opt
1069                 '}' { ldlex_popstate (); ldlex_expression (); }
1070                 memspec_opt memspec_at_opt phdr_opt fill_opt
1071                 {
1072                   ldlex_popstate ();
1073                   lang_leave_output_section_statement ($18, $15, $17, $16);
1074                 }
1075                 opt_comma
1076                 {}
1077         |       OVERLAY
1078                         { ldlex_expression (); }
1079                 opt_exp_without_type opt_nocrossrefs opt_at opt_subalign
1080                         { ldlex_popstate (); ldlex_script (); }
1081                 '{'
1082                         {
1083                           lang_enter_overlay ($3, $6);
1084                         }
1085                 overlay_section
1086                 '}'
1087                         { ldlex_popstate (); ldlex_expression (); }
1088                 memspec_opt memspec_at_opt phdr_opt fill_opt
1089                         {
1090                           ldlex_popstate ();
1091                           lang_leave_overlay ($5, (int) $4,
1092                                               $16, $13, $15, $14);
1093                         }
1094                 opt_comma
1095         |       /* The GROUP case is just enough to support the gcc
1096                    svr3.ifile script.  It is not intended to be full
1097                    support.  I'm not even sure what GROUP is supposed
1098                    to mean.  */
1099                 GROUP { ldlex_expression (); }
1100                 opt_exp_with_type
1101                 {
1102                   ldlex_popstate ();
1103                   lang_add_assignment (exp_assign (".", $3, FALSE));
1104                 }
1105                 '{' sec_or_group_p1 '}'
1106         |       INCLUDE filename
1107                 { ldlex_script (); ldfile_open_command_file($2); }
1108                 sec_or_group_p1 END
1109                 { ldlex_popstate (); }
1110         ;
1111
1112 type:
1113            NOLOAD  { sectype = noload_section; }
1114         |  DSECT   { sectype = noalloc_section; }
1115         |  COPY    { sectype = noalloc_section; }
1116         |  INFO    { sectype = noalloc_section; }
1117         |  OVERLAY { sectype = noalloc_section; }
1118         ;
1119
1120 atype:
1121                 '(' type ')'
1122         |       /* EMPTY */ { sectype = normal_section; }
1123         |       '(' ')' { sectype = normal_section; }
1124         ;
1125
1126 opt_exp_with_type:
1127                 exp atype ':'           { $$ = $1; }
1128         |       atype ':'               { $$ = (etree_type *)NULL;  }
1129         |       /* The BIND cases are to support the gcc svr3.ifile
1130                    script.  They aren't intended to implement full
1131                    support for the BIND keyword.  I'm not even sure
1132                    what BIND is supposed to mean.  */
1133                 BIND '(' exp ')' atype ':' { $$ = $3; }
1134         |       BIND '(' exp ')' BLOCK '(' exp ')' atype ':'
1135                 { $$ = $3; }
1136         ;
1137
1138 opt_exp_without_type:
1139                 exp ':'         { $$ = $1; }
1140         |       ':'             { $$ = (etree_type *) NULL;  }
1141         ;
1142
1143 opt_nocrossrefs:
1144                 /* empty */
1145                         { $$ = 0; }
1146         |       NOCROSSREFS
1147                         { $$ = 1; }
1148         ;
1149
1150 memspec_opt:
1151                 '>' NAME
1152                 { $$ = $2; }
1153         |       { $$ = DEFAULT_MEMORY_REGION; }
1154         ;
1155
1156 phdr_opt:
1157                 /* empty */
1158                 {
1159                   $$ = NULL;
1160                 }
1161         |       phdr_opt ':' NAME
1162                 {
1163                   struct lang_output_section_phdr_list *n;
1164
1165                   n = ((struct lang_output_section_phdr_list *)
1166                        xmalloc (sizeof *n));
1167                   n->name = $3;
1168                   n->used = FALSE;
1169                   n->next = $1;
1170                   $$ = n;
1171                 }
1172         ;
1173
1174 overlay_section:
1175                 /* empty */
1176         |       overlay_section
1177                 NAME
1178                         {
1179                           ldlex_script ();
1180                           lang_enter_overlay_section ($2);
1181                         }
1182                 '{' statement_list_opt '}'
1183                         { ldlex_popstate (); ldlex_expression (); }
1184                 phdr_opt fill_opt
1185                         {
1186                           ldlex_popstate ();
1187                           lang_leave_overlay_section ($9, $8);
1188                         }
1189                 opt_comma
1190         ;
1191
1192 phdrs:
1193                 PHDRS '{' phdr_list '}'
1194         ;
1195
1196 phdr_list:
1197                 /* empty */
1198         |       phdr_list phdr
1199         ;
1200
1201 phdr:
1202                 NAME { ldlex_expression (); }
1203                   phdr_type phdr_qualifiers { ldlex_popstate (); }
1204                   ';'
1205                 {
1206                   lang_new_phdr ($1, $3, $4.filehdr, $4.phdrs, $4.at,
1207                                  $4.flags);
1208                 }
1209         ;
1210
1211 phdr_type:
1212                 exp
1213                 {
1214                   $$ = $1;
1215
1216                   if ($1->type.node_class == etree_name
1217                       && $1->type.node_code == NAME)
1218                     {
1219                       const char *s;
1220                       unsigned int i;
1221                       static const char * const phdr_types[] =
1222                         {
1223                           "PT_NULL", "PT_LOAD", "PT_DYNAMIC",
1224                           "PT_INTERP", "PT_NOTE", "PT_SHLIB",
1225                           "PT_PHDR", "PT_TLS"
1226                         };
1227
1228                       s = $1->name.name;
1229                       for (i = 0;
1230                            i < sizeof phdr_types / sizeof phdr_types[0];
1231                            i++)
1232                         if (strcmp (s, phdr_types[i]) == 0)
1233                           {
1234                             $$ = exp_intop (i);
1235                             break;
1236                           }
1237                       if (i == sizeof phdr_types / sizeof phdr_types[0])
1238                         {
1239                           if (strcmp (s, "PT_GNU_EH_FRAME") == 0)
1240                             $$ = exp_intop (0x6474e550);
1241                           else if (strcmp (s, "PT_GNU_STACK") == 0)
1242                             $$ = exp_intop (0x6474e551);
1243                           else
1244                             {
1245                               einfo (_("\
1246 %X%P:%S: unknown phdr type `%s' (try integer literal)\n"),
1247                                      NULL, s);
1248                               $$ = exp_intop (0);
1249                             }
1250                         }
1251                     }
1252                 }
1253         ;
1254
1255 phdr_qualifiers:
1256                 /* empty */
1257                 {
1258                   memset (&$$, 0, sizeof (struct phdr_info));
1259                 }
1260         |       NAME phdr_val phdr_qualifiers
1261                 {
1262                   $$ = $3;
1263                   if (strcmp ($1, "FILEHDR") == 0 && $2 == NULL)
1264                     $$.filehdr = TRUE;
1265                   else if (strcmp ($1, "PHDRS") == 0 && $2 == NULL)
1266                     $$.phdrs = TRUE;
1267                   else if (strcmp ($1, "FLAGS") == 0 && $2 != NULL)
1268                     $$.flags = $2;
1269                   else
1270                     einfo (_("%X%P:%S: PHDRS syntax error at `%s'\n"),
1271                            NULL, $1);
1272                 }
1273         |       AT '(' exp ')' phdr_qualifiers
1274                 {
1275                   $$ = $5;
1276                   $$.at = $3;
1277                 }
1278         ;
1279
1280 phdr_val:
1281                 /* empty */
1282                 {
1283                   $$ = NULL;
1284                 }
1285         | '(' exp ')'
1286                 {
1287                   $$ = $2;
1288                 }
1289         ;
1290
1291 dynamic_list_file:
1292                 {
1293                   ldlex_version_file ();
1294                   PUSH_ERROR (_("dynamic list"));
1295                 }
1296                 dynamic_list_nodes
1297                 {
1298                   ldlex_popstate ();
1299                   POP_ERROR ();
1300                 }
1301         ;
1302
1303 dynamic_list_nodes:
1304                 dynamic_list_node
1305         |       dynamic_list_nodes dynamic_list_node
1306         ;
1307
1308 dynamic_list_node:
1309                 '{' dynamic_list_tag '}' ';'
1310         ;
1311
1312 dynamic_list_tag:
1313                 vers_defns ';'
1314                 {
1315                   lang_append_dynamic_list ($1);
1316                 }
1317         ;
1318
1319 /* This syntax is used within an external version script file.  */
1320
1321 version_script_file:
1322                 {
1323                   ldlex_version_file ();
1324                   PUSH_ERROR (_("VERSION script"));
1325                 }
1326                 vers_nodes
1327                 {
1328                   ldlex_popstate ();
1329                   POP_ERROR ();
1330                 }
1331         ;
1332
1333 /* This is used within a normal linker script file.  */
1334
1335 version:
1336                 {
1337                   ldlex_version_script ();
1338                 }
1339                 VERSIONK '{' vers_nodes '}'
1340                 {
1341                   ldlex_popstate ();
1342                 }
1343         ;
1344
1345 vers_nodes:
1346                 vers_node
1347         |       vers_nodes vers_node
1348         ;
1349
1350 vers_node:
1351                 '{' vers_tag '}' ';'
1352                 {
1353                   lang_register_vers_node (NULL, $2, NULL);
1354                 }
1355         |       VERS_TAG '{' vers_tag '}' ';'
1356                 {
1357                   lang_register_vers_node ($1, $3, NULL);
1358                 }
1359         |       VERS_TAG '{' vers_tag '}' verdep ';'
1360                 {
1361                   lang_register_vers_node ($1, $3, $5);
1362                 }
1363         ;
1364
1365 verdep:
1366                 VERS_TAG
1367                 {
1368                   $$ = lang_add_vers_depend (NULL, $1);
1369                 }
1370         |       verdep VERS_TAG
1371                 {
1372                   $$ = lang_add_vers_depend ($1, $2);
1373                 }
1374         ;
1375
1376 vers_tag:
1377                 /* empty */
1378                 {
1379                   $$ = lang_new_vers_node (NULL, NULL);
1380                 }
1381         |       vers_defns ';'
1382                 {
1383                   $$ = lang_new_vers_node ($1, NULL);
1384                 }
1385         |       GLOBAL ':' vers_defns ';'
1386                 {
1387                   $$ = lang_new_vers_node ($3, NULL);
1388                 }
1389         |       LOCAL ':' vers_defns ';'
1390                 {
1391                   $$ = lang_new_vers_node (NULL, $3);
1392                 }
1393         |       GLOBAL ':' vers_defns ';' LOCAL ':' vers_defns ';'
1394                 {
1395                   $$ = lang_new_vers_node ($3, $7);
1396                 }
1397         ;
1398
1399 vers_defns:
1400                 VERS_IDENTIFIER
1401                 {
1402                   $$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, FALSE);
1403                 }
1404         |       NAME
1405                 {
1406                   $$ = lang_new_vers_pattern (NULL, $1, ldgram_vers_current_lang, TRUE);
1407                 }
1408         |       vers_defns ';' VERS_IDENTIFIER
1409                 {
1410                   $$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, FALSE);
1411                 }
1412         |       vers_defns ';' NAME
1413                 {
1414                   $$ = lang_new_vers_pattern ($1, $3, ldgram_vers_current_lang, TRUE);
1415                 }
1416         |       vers_defns ';' EXTERN NAME '{'
1417                         {
1418                           $<name>$ = ldgram_vers_current_lang;
1419                           ldgram_vers_current_lang = $4;
1420                         }
1421                 vers_defns opt_semicolon '}'
1422                         {
1423                           struct bfd_elf_version_expr *pat;
1424                           for (pat = $7; pat->next != NULL; pat = pat->next);
1425                           pat->next = $1;
1426                           $$ = $7;
1427                           ldgram_vers_current_lang = $<name>6;
1428                         }
1429         |       EXTERN NAME '{'
1430                         {
1431                           $<name>$ = ldgram_vers_current_lang;
1432                           ldgram_vers_current_lang = $2;
1433                         }
1434                 vers_defns opt_semicolon '}'
1435                         {
1436                           $$ = $5;
1437                           ldgram_vers_current_lang = $<name>4;
1438                         }
1439         |       GLOBAL
1440                 {
1441                   $$ = lang_new_vers_pattern (NULL, "global", ldgram_vers_current_lang, FALSE);
1442                 }
1443         |       vers_defns ';' GLOBAL
1444                 {
1445                   $$ = lang_new_vers_pattern ($1, "global", ldgram_vers_current_lang, FALSE);
1446                 }
1447         |       LOCAL
1448                 {
1449                   $$ = lang_new_vers_pattern (NULL, "local", ldgram_vers_current_lang, FALSE);
1450                 }
1451         |       vers_defns ';' LOCAL
1452                 {
1453                   $$ = lang_new_vers_pattern ($1, "local", ldgram_vers_current_lang, FALSE);
1454                 }
1455         |       EXTERN
1456                 {
1457                   $$ = lang_new_vers_pattern (NULL, "extern", ldgram_vers_current_lang, FALSE);
1458                 }
1459         |       vers_defns ';' EXTERN
1460                 {
1461                   $$ = lang_new_vers_pattern ($1, "extern", ldgram_vers_current_lang, FALSE);
1462                 }
1463         ;
1464
1465 opt_semicolon:
1466                 /* empty */
1467         |       ';'
1468         ;
1469
1470 %%
1471 void
1472 yyerror(arg)
1473      const char *arg;
1474 {
1475   if (ldfile_assumed_script)
1476     einfo (_("%P:%s: file format not recognized; treating as linker script\n"),
1477            ldlex_filename ());
1478   if (error_index > 0 && error_index < ERROR_NAME_MAX)
1479     einfo ("%P%F:%S: %s in %s\n", NULL, arg, error_names[error_index - 1]);
1480   else
1481     einfo ("%P%F:%S: %s\n", NULL, arg);
1482 }