1 /* ELF object file format 2 Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 3 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012 4 Free Software Foundation, Inc. 5 6 This file is part of GAS, the GNU Assembler. 7 8 GAS is free software; you can redistribute it and/or modify 9 it under the terms of the GNU General Public License as 10 published by the Free Software Foundation; either version 3, 11 or (at your option) any later version. 12 13 GAS is distributed in the hope that it will be useful, but 14 WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See 16 the GNU General Public License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with GAS; see the file COPYING. If not, write to the Free 20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA 21 02110-1301, USA. */ 22 23 #define OBJ_HEADER "obj-elf.h" 24 #include "as.h" 25 #include "safe-ctype.h" 26 #include "subsegs.h" 27 #include "obstack.h" 28 #include "struc-symbol.h" 29 #include "dwarf2dbg.h" 30 31 #ifndef ECOFF_DEBUGGING 32 #define ECOFF_DEBUGGING 0 33 #else 34 #define NEED_ECOFF_DEBUG 35 #endif 36 37 #ifdef NEED_ECOFF_DEBUG 38 #include "ecoff.h" 39 #endif 40 41 #ifdef TC_ALPHA 42 #include "elf/alpha.h" 43 #endif 44 45 #ifdef TC_MIPS 46 #include "elf/mips.h" 47 #endif 48 49 #ifdef TC_PPC 50 #include "elf/ppc.h" 51 #endif 52 53 #ifdef TC_I370 54 #include "elf/i370.h" 55 #endif 56 57 #ifdef TC_I386 58 #include "elf/x86-64.h" 59 #endif 60 61 #ifdef TC_MEP 62 #include "elf/mep.h" 63 #endif 64 65 static void obj_elf_line (int); 66 static void obj_elf_size (int); 67 static void obj_elf_type (int); 68 static void obj_elf_ident (int); 69 static void obj_elf_weak (int); 70 static void obj_elf_local (int); 71 static void obj_elf_visibility (int); 72 static void obj_elf_symver (int); 73 static void obj_elf_subsection (int); 74 static void obj_elf_popsection (int); 75 static void obj_elf_tls_common (int); 76 static void obj_elf_lcomm (int); 77 static void obj_elf_struct (int); 78 79 static const pseudo_typeS elf_pseudo_table[] = 80 { 81 {"comm", obj_elf_common, 0}, 82 {"common", obj_elf_common, 1}, 83 {"ident", obj_elf_ident, 0}, 84 {"lcomm", obj_elf_lcomm, 0}, 85 {"local", obj_elf_local, 0}, 86 {"previous", obj_elf_previous, 0}, 87 {"section", obj_elf_section, 0}, 88 {"section.s", obj_elf_section, 0}, 89 {"sect", obj_elf_section, 0}, 90 {"sect.s", obj_elf_section, 0}, 91 {"pushsection", obj_elf_section, 1}, 92 {"popsection", obj_elf_popsection, 0}, 93 {"size", obj_elf_size, 0}, 94 {"type", obj_elf_type, 0}, 95 {"version", obj_elf_version, 0}, 96 {"weak", obj_elf_weak, 0}, 97 98 /* These define symbol visibility. */ 99 {"internal", obj_elf_visibility, STV_INTERNAL}, 100 {"hidden", obj_elf_visibility, STV_HIDDEN}, 101 {"protected", obj_elf_visibility, STV_PROTECTED}, 102 103 /* These are used for stabs-in-elf configurations. */ 104 {"line", obj_elf_line, 0}, 105 106 /* This is a GNU extension to handle symbol versions. */ 107 {"symver", obj_elf_symver, 0}, 108 109 /* A GNU extension to change subsection only. */ 110 {"subsection", obj_elf_subsection, 0}, 111 112 /* These are GNU extensions to aid in garbage collecting C++ vtables. */ 113 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit, 0}, 114 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry, 0}, 115 116 /* These are used for dwarf. */ 117 {"2byte", cons, 2}, 118 {"4byte", cons, 4}, 119 {"8byte", cons, 8}, 120 /* These are used for dwarf2. */ 121 { "file", (void (*) (int)) dwarf2_directive_file, 0 }, 122 { "loc", dwarf2_directive_loc, 0 }, 123 { "loc_mark_labels", dwarf2_directive_loc_mark_labels, 0 }, 124 125 /* We need to trap the section changing calls to handle .previous. */ 126 {"data", obj_elf_data, 0}, 127 {"offset", obj_elf_struct, 0}, 128 {"struct", obj_elf_struct, 0}, 129 {"text", obj_elf_text, 0}, 130 131 {"tls_common", obj_elf_tls_common, 0}, 132 133 /* End sentinel. */ 134 {NULL, NULL, 0}, 135 }; 136 137 static const pseudo_typeS ecoff_debug_pseudo_table[] = 138 { 139 #ifdef NEED_ECOFF_DEBUG 140 /* COFF style debugging information for ECOFF. .ln is not used; .loc 141 is used instead. */ 142 { "def", ecoff_directive_def, 0 }, 143 { "dim", ecoff_directive_dim, 0 }, 144 { "endef", ecoff_directive_endef, 0 }, 145 { "file", ecoff_directive_file, 0 }, 146 { "scl", ecoff_directive_scl, 0 }, 147 { "tag", ecoff_directive_tag, 0 }, 148 { "val", ecoff_directive_val, 0 }, 149 150 /* COFF debugging requires pseudo-ops .size and .type, but ELF 151 already has meanings for those. We use .esize and .etype 152 instead. These are only generated by gcc anyhow. */ 153 { "esize", ecoff_directive_size, 0 }, 154 { "etype", ecoff_directive_type, 0 }, 155 156 /* ECOFF specific debugging information. */ 157 { "begin", ecoff_directive_begin, 0 }, 158 { "bend", ecoff_directive_bend, 0 }, 159 { "end", ecoff_directive_end, 0 }, 160 { "ent", ecoff_directive_ent, 0 }, 161 { "fmask", ecoff_directive_fmask, 0 }, 162 { "frame", ecoff_directive_frame, 0 }, 163 { "loc", ecoff_directive_loc, 0 }, 164 { "mask", ecoff_directive_mask, 0 }, 165 166 /* Other ECOFF directives. */ 167 { "extern", ecoff_directive_extern, 0 }, 168 169 /* These are used on Irix. I don't know how to implement them. */ 170 { "alias", s_ignore, 0 }, 171 { "bgnb", s_ignore, 0 }, 172 { "endb", s_ignore, 0 }, 173 { "lab", s_ignore, 0 }, 174 { "noalias", s_ignore, 0 }, 175 { "verstamp", s_ignore, 0 }, 176 { "vreg", s_ignore, 0 }, 177 #endif 178 179 {NULL, NULL, 0} /* end sentinel */ 180 }; 181 182 #undef NO_RELOC 183 #include "aout/aout64.h" 184 185 /* This is called when the assembler starts. */ 186 187 asection *elf_com_section_ptr; 188 189 void 190 elf_begin (void) 191 { 192 asection *s; 193 194 /* Add symbols for the known sections to the symbol table. */ 195 s = bfd_get_section_by_name (stdoutput, TEXT_SECTION_NAME); 196 symbol_table_insert (section_symbol (s)); 197 s = bfd_get_section_by_name (stdoutput, DATA_SECTION_NAME); 198 symbol_table_insert (section_symbol (s)); 199 s = bfd_get_section_by_name (stdoutput, BSS_SECTION_NAME); 200 symbol_table_insert (section_symbol (s)); 201 elf_com_section_ptr = bfd_com_section_ptr; 202 } 203 204 void 205 elf_pop_insert (void) 206 { 207 pop_insert (elf_pseudo_table); 208 if (ECOFF_DEBUGGING) 209 pop_insert (ecoff_debug_pseudo_table); 210 } 211 212 static bfd_vma 213 elf_s_get_size (symbolS *sym) 214 { 215 return S_GET_SIZE (sym); 216 } 217 218 static void 219 elf_s_set_size (symbolS *sym, bfd_vma sz) 220 { 221 S_SET_SIZE (sym, sz); 222 } 223 224 static bfd_vma 225 elf_s_get_align (symbolS *sym) 226 { 227 return S_GET_ALIGN (sym); 228 } 229 230 static void 231 elf_s_set_align (symbolS *sym, bfd_vma align) 232 { 233 S_SET_ALIGN (sym, align); 234 } 235 236 int 237 elf_s_get_other (symbolS *sym) 238 { 239 return elf_symbol (symbol_get_bfdsym (sym))->internal_elf_sym.st_other; 240 } 241 242 static void 243 elf_s_set_other (symbolS *sym, int other) 244 { 245 S_SET_OTHER (sym, other); 246 } 247 248 static int 249 elf_sec_sym_ok_for_reloc (asection *sec) 250 { 251 return obj_sec_sym_ok_for_reloc (sec); 252 } 253 254 void 255 elf_file_symbol (const char *s, int appfile) 256 { 257 if (!appfile 258 || symbol_rootP == NULL 259 || symbol_rootP->bsym == NULL 260 || (symbol_rootP->bsym->flags & BSF_FILE) == 0) 261 { 262 symbolS *sym; 263 unsigned int name_length; 264 265 sym = symbol_new (s, absolute_section, 0, NULL); 266 symbol_set_frag (sym, &zero_address_frag); 267 268 name_length = strlen (s); 269 if (name_length > strlen (S_GET_NAME (sym))) 270 { 271 obstack_grow (¬es, s, name_length + 1); 272 S_SET_NAME (sym, (const char *) obstack_finish (¬es)); 273 } 274 else 275 strcpy ((char *) S_GET_NAME (sym), s); 276 277 symbol_get_bfdsym (sym)->flags |= BSF_FILE; 278 279 if (symbol_rootP != sym) 280 { 281 symbol_remove (sym, &symbol_rootP, &symbol_lastP); 282 symbol_insert (sym, symbol_rootP, &symbol_rootP, &symbol_lastP); 283 #ifdef DEBUG 284 verify_symbol_chain (symbol_rootP, symbol_lastP); 285 #endif 286 } 287 } 288 289 #ifdef NEED_ECOFF_DEBUG 290 ecoff_new_file (s, appfile); 291 #endif 292 } 293 294 /* Called from read.c:s_comm after we've parsed .comm symbol, size. 295 Parse a possible alignment value. */ 296 297 symbolS * 298 elf_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size) 299 { 300 addressT align = 0; 301 int is_local = symbol_get_obj (symbolP)->local; 302 303 if (*input_line_pointer == ',') 304 { 305 char *save = input_line_pointer; 306 307 input_line_pointer++; 308 SKIP_WHITESPACE (); 309 310 if (*input_line_pointer == '"') 311 { 312 /* For sparc. Accept .common symbol, length, "bss" */ 313 input_line_pointer++; 314 /* Some use the dot, some don't. */ 315 if (*input_line_pointer == '.') 316 input_line_pointer++; 317 /* Some say data, some say bss. */ 318 if (strncmp (input_line_pointer, "bss\"", 4) == 0) 319 input_line_pointer += 4; 320 else if (strncmp (input_line_pointer, "data\"", 5) == 0) 321 input_line_pointer += 5; 322 else 323 { 324 char *p = input_line_pointer; 325 char c; 326 327 while (*--p != '"') 328 ; 329 while (!is_end_of_line[(unsigned char) *input_line_pointer]) 330 if (*input_line_pointer++ == '"') 331 break; 332 c = *input_line_pointer; 333 *input_line_pointer = '\0'; 334 as_bad (_("bad .common segment %s"), p); 335 *input_line_pointer = c; 336 ignore_rest_of_line (); 337 return NULL; 338 } 339 /* ??? Don't ask me why these are always global. */ 340 is_local = 0; 341 } 342 else 343 { 344 input_line_pointer = save; 345 align = parse_align (is_local); 346 if (align == (addressT) -1) 347 return NULL; 348 } 349 } 350 351 if (is_local) 352 { 353 bss_alloc (symbolP, size, align); 354 S_CLEAR_EXTERNAL (symbolP); 355 } 356 else 357 { 358 S_SET_VALUE (symbolP, size); 359 S_SET_ALIGN (symbolP, align); 360 S_SET_EXTERNAL (symbolP); 361 S_SET_SEGMENT (symbolP, elf_com_section_ptr); 362 } 363 364 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT; 365 366 return symbolP; 367 } 368 369 void 370 obj_elf_common (int is_common) 371 { 372 if (flag_mri && is_common) 373 s_mri_common (0); 374 else 375 s_comm_internal (0, elf_common_parse); 376 } 377 378 static void 379 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED) 380 { 381 symbolS *symbolP = s_comm_internal (0, elf_common_parse); 382 383 if (symbolP) 384 symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL; 385 } 386 387 static void 388 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED) 389 { 390 symbolS *symbolP = s_comm_internal (0, s_lcomm_internal); 391 392 if (symbolP) 393 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT; 394 } 395 396 static symbolS * 397 get_sym_from_input_line_and_check (void) 398 { 399 char *name; 400 char c; 401 symbolS *sym; 402 403 name = input_line_pointer; 404 c = get_symbol_end (); 405 sym = symbol_find_or_make (name); 406 *input_line_pointer = c; 407 SKIP_WHITESPACE (); 408 409 /* There is no symbol name if input_line_pointer has not moved. */ 410 if (name == input_line_pointer) 411 as_bad (_("Missing symbol name in directive")); 412 return sym; 413 } 414 415 static void 416 obj_elf_local (int ignore ATTRIBUTE_UNUSED) 417 { 418 int c; 419 symbolS *symbolP; 420 421 do 422 { 423 symbolP = get_sym_from_input_line_and_check (); 424 c = *input_line_pointer; 425 S_CLEAR_EXTERNAL (symbolP); 426 symbol_get_obj (symbolP)->local = 1; 427 if (c == ',') 428 { 429 input_line_pointer++; 430 SKIP_WHITESPACE (); 431 if (*input_line_pointer == '\n') 432 c = '\n'; 433 } 434 } 435 while (c == ','); 436 demand_empty_rest_of_line (); 437 } 438 439 static void 440 obj_elf_weak (int ignore ATTRIBUTE_UNUSED) 441 { 442 int c; 443 symbolS *symbolP; 444 445 do 446 { 447 symbolP = get_sym_from_input_line_and_check (); 448 c = *input_line_pointer; 449 S_SET_WEAK (symbolP); 450 if (c == ',') 451 { 452 input_line_pointer++; 453 SKIP_WHITESPACE (); 454 if (*input_line_pointer == '\n') 455 c = '\n'; 456 } 457 } 458 while (c == ','); 459 demand_empty_rest_of_line (); 460 } 461 462 static void 463 obj_elf_visibility (int visibility) 464 { 465 int c; 466 symbolS *symbolP; 467 asymbol *bfdsym; 468 elf_symbol_type *elfsym; 469 470 do 471 { 472 symbolP = get_sym_from_input_line_and_check (); 473 474 bfdsym = symbol_get_bfdsym (symbolP); 475 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym); 476 477 gas_assert (elfsym); 478 479 elfsym->internal_elf_sym.st_other &= ~3; 480 elfsym->internal_elf_sym.st_other |= visibility; 481 482 c = *input_line_pointer; 483 if (c == ',') 484 { 485 input_line_pointer ++; 486 487 SKIP_WHITESPACE (); 488 489 if (*input_line_pointer == '\n') 490 c = '\n'; 491 } 492 } 493 while (c == ','); 494 495 demand_empty_rest_of_line (); 496 } 497 498 static segT previous_section; 499 static int previous_subsection; 500 501 struct section_stack 502 { 503 struct section_stack *next; 504 segT seg, prev_seg; 505 int subseg, prev_subseg; 506 }; 507 508 static struct section_stack *section_stack; 509 510 static bfd_boolean 511 get_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf) 512 { 513 const char *gname = (const char *) inf; 514 const char *group_name = elf_group_name (sec); 515 516 return (group_name == gname 517 || (group_name != NULL 518 && gname != NULL 519 && strcmp (group_name, gname) == 0)); 520 } 521 522 /* Handle the .section pseudo-op. This code supports two different 523 syntaxes. 524 525 The first is found on Solaris, and looks like 526 .section ".sec1",#alloc,#execinstr,#write 527 Here the names after '#' are the SHF_* flags to turn on for the 528 section. I'm not sure how it determines the SHT_* type (BFD 529 doesn't really give us control over the type, anyhow). 530 531 The second format is found on UnixWare, and probably most SVR4 532 machines, and looks like 533 .section .sec1,"a",@progbits 534 The quoted string may contain any combination of a, w, x, and 535 represents the SHF_* flags to turn on for the section. The string 536 beginning with '@' can be progbits or nobits. There should be 537 other possibilities, but I don't know what they are. In any case, 538 BFD doesn't really let us set the section type. */ 539 540 void 541 obj_elf_change_section (const char *name, 542 int type, 543 bfd_vma attr, 544 int entsize, 545 const char *group_name, 546 int linkonce, 547 int push) 548 { 549 asection *old_sec; 550 segT sec; 551 flagword flags; 552 const struct elf_backend_data *bed; 553 const struct bfd_elf_special_section *ssect; 554 555 #ifdef md_flush_pending_output 556 md_flush_pending_output (); 557 #endif 558 559 /* Switch to the section, creating it if necessary. */ 560 if (push) 561 { 562 struct section_stack *elt; 563 elt = (struct section_stack *) xmalloc (sizeof (struct section_stack)); 564 elt->next = section_stack; 565 elt->seg = now_seg; 566 elt->prev_seg = previous_section; 567 elt->subseg = now_subseg; 568 elt->prev_subseg = previous_subsection; 569 section_stack = elt; 570 } 571 previous_section = now_seg; 572 previous_subsection = now_subseg; 573 574 old_sec = bfd_get_section_by_name_if (stdoutput, name, get_section, 575 (void *) group_name); 576 if (old_sec) 577 { 578 sec = old_sec; 579 subseg_set (sec, 0); 580 } 581 else 582 sec = subseg_force_new (name, 0); 583 584 bed = get_elf_backend_data (stdoutput); 585 ssect = (*bed->get_sec_type_attr) (stdoutput, sec); 586 587 if (ssect != NULL) 588 { 589 bfd_boolean override = FALSE; 590 591 if (type == SHT_NULL) 592 type = ssect->type; 593 else if (type != ssect->type) 594 { 595 if (old_sec == NULL 596 /* Some older versions of gcc will emit 597 598 .section .init_array,"aw",@progbits 599 600 for __attribute__ ((section (".init_array"))). 601 "@progbits" is incorrect. Also for x86-64 large bss 602 sections, some older versions of gcc will emit 603 604 .section .lbss,"aw",@progbits 605 606 "@progbits" is incorrect. */ 607 #ifdef TC_I386 608 && (bed->s->arch_size != 64 609 || !(ssect->attr & SHF_X86_64_LARGE)) 610 #endif 611 && ssect->type != SHT_INIT_ARRAY 612 && ssect->type != SHT_FINI_ARRAY 613 && ssect->type != SHT_PREINIT_ARRAY) 614 { 615 /* We allow to specify any type for a .note section. */ 616 if (ssect->type != SHT_NOTE) 617 as_warn (_("setting incorrect section type for %s"), 618 name); 619 } 620 else 621 { 622 as_warn (_("ignoring incorrect section type for %s"), 623 name); 624 type = ssect->type; 625 } 626 } 627 628 if (old_sec == NULL && (attr & ~ssect->attr) != 0) 629 { 630 /* As a GNU extension, we permit a .note section to be 631 allocatable. If the linker sees an allocatable .note 632 section, it will create a PT_NOTE segment in the output 633 file. We also allow "x" for .note.GNU-stack. */ 634 if (ssect->type == SHT_NOTE 635 && (attr == SHF_ALLOC || attr == SHF_EXECINSTR)) 636 ; 637 /* Allow different SHF_MERGE and SHF_STRINGS if we have 638 something like .rodata.str. */ 639 else if (ssect->suffix_length == -2 640 && name[ssect->prefix_length] == '.' 641 && (attr 642 & ~ssect->attr 643 & ~SHF_MERGE 644 & ~SHF_STRINGS) == 0) 645 ; 646 /* .interp, .strtab and .symtab can have SHF_ALLOC. */ 647 else if (attr == SHF_ALLOC 648 && (strcmp (name, ".interp") == 0 649 || strcmp (name, ".strtab") == 0 650 || strcmp (name, ".symtab") == 0)) 651 override = TRUE; 652 /* .note.GNU-stack can have SHF_EXECINSTR. */ 653 else if (attr == SHF_EXECINSTR 654 && strcmp (name, ".note.GNU-stack") == 0) 655 override = TRUE; 656 #ifdef TC_ALPHA 657 /* A section on Alpha may have SHF_ALPHA_GPREL. */ 658 else if ((attr & ~ssect->attr) == SHF_ALPHA_GPREL) 659 override = TRUE; 660 #endif 661 else 662 { 663 if (group_name == NULL) 664 as_warn (_("setting incorrect section attributes for %s"), 665 name); 666 override = TRUE; 667 } 668 } 669 if (!override && old_sec == NULL) 670 attr |= ssect->attr; 671 } 672 673 /* Convert ELF type and flags to BFD flags. */ 674 flags = (SEC_RELOC 675 | ((attr & SHF_WRITE) ? 0 : SEC_READONLY) 676 | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0) 677 | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0) 678 | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0) 679 | ((attr & SHF_MERGE) ? SEC_MERGE : 0) 680 | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0) 681 | ((attr & SHF_EXCLUDE) ? SEC_EXCLUDE: 0) 682 | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0)); 683 #ifdef md_elf_section_flags 684 flags = md_elf_section_flags (flags, attr, type); 685 #endif 686 687 if (linkonce) 688 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD; 689 690 if (old_sec == NULL) 691 { 692 symbolS *secsym; 693 694 if (type == SHT_NULL) 695 type = bfd_elf_get_default_section_type (flags); 696 elf_section_type (sec) = type; 697 elf_section_flags (sec) = attr; 698 699 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */ 700 if (type == SHT_NOBITS) 701 seg_info (sec)->bss = 1; 702 703 bfd_set_section_flags (stdoutput, sec, flags); 704 if (flags & SEC_MERGE) 705 sec->entsize = entsize; 706 elf_group_name (sec) = group_name; 707 708 /* Add a symbol for this section to the symbol table. */ 709 secsym = symbol_find (name); 710 if (secsym != NULL) 711 symbol_set_bfdsym (secsym, sec->symbol); 712 else 713 symbol_table_insert (section_symbol (sec)); 714 } 715 else 716 { 717 if (type != SHT_NULL 718 && (unsigned) type != elf_section_type (old_sec)) 719 as_warn (_("ignoring changed section type for %s"), name); 720 721 if (attr != 0) 722 { 723 /* If section attributes are specified the second time we see a 724 particular section, then check that they are the same as we 725 saw the first time. */ 726 if (((old_sec->flags ^ flags) 727 & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE 728 | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS 729 | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD 730 | SEC_THREAD_LOCAL))) 731 as_warn (_("ignoring changed section attributes for %s"), name); 732 if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize) 733 as_warn (_("ignoring changed section entity size for %s"), name); 734 } 735 } 736 737 #ifdef md_elf_section_change_hook 738 md_elf_section_change_hook (); 739 #endif 740 } 741 742 static bfd_vma 743 obj_elf_parse_section_letters (char *str, size_t len, bfd_boolean *is_clone) 744 { 745 bfd_vma attr = 0; 746 *is_clone = FALSE; 747 748 while (len > 0) 749 { 750 switch (*str) 751 { 752 case 'a': 753 attr |= SHF_ALLOC; 754 break; 755 case 'e': 756 attr |= SHF_EXCLUDE; 757 break; 758 case 'w': 759 attr |= SHF_WRITE; 760 break; 761 case 'x': 762 attr |= SHF_EXECINSTR; 763 break; 764 case 'M': 765 attr |= SHF_MERGE; 766 break; 767 case 'S': 768 attr |= SHF_STRINGS; 769 break; 770 case 'G': 771 attr |= SHF_GROUP; 772 break; 773 case 'T': 774 attr |= SHF_TLS; 775 break; 776 case '?': 777 *is_clone = TRUE; 778 break; 779 /* Compatibility. */ 780 case 'm': 781 if (*(str - 1) == 'a') 782 { 783 attr |= SHF_MERGE; 784 if (len > 1 && str[1] == 's') 785 { 786 attr |= SHF_STRINGS; 787 str++, len--; 788 } 789 break; 790 } 791 default: 792 { 793 char *bad_msg = _("unrecognized .section attribute: want a,e,w,x,M,S,G,T"); 794 #ifdef md_elf_section_letter 795 bfd_vma md_attr = md_elf_section_letter (*str, &bad_msg); 796 if (md_attr != (bfd_vma) -1) 797 attr |= md_attr; 798 else 799 #endif 800 as_fatal ("%s", bad_msg); 801 } 802 break; 803 } 804 str++, len--; 805 } 806 807 return attr; 808 } 809 810 static int 811 obj_elf_section_type (char *str, size_t len, bfd_boolean warn) 812 { 813 if (len == 8 && strncmp (str, "progbits", 8) == 0) 814 return SHT_PROGBITS; 815 if (len == 6 && strncmp (str, "nobits", 6) == 0) 816 return SHT_NOBITS; 817 if (len == 4 && strncmp (str, "note", 4) == 0) 818 return SHT_NOTE; 819 if (len == 10 && strncmp (str, "init_array", 10) == 0) 820 return SHT_INIT_ARRAY; 821 if (len == 10 && strncmp (str, "fini_array", 10) == 0) 822 return SHT_FINI_ARRAY; 823 if (len == 13 && strncmp (str, "preinit_array", 13) == 0) 824 return SHT_PREINIT_ARRAY; 825 826 #ifdef md_elf_section_type 827 { 828 int md_type = md_elf_section_type (str, len); 829 if (md_type >= 0) 830 return md_type; 831 } 832 #endif 833 834 if (warn) 835 as_warn (_("unrecognized section type")); 836 return 0; 837 } 838 839 static bfd_vma 840 obj_elf_section_word (char *str, size_t len, int *type) 841 { 842 int ret; 843 844 if (len == 5 && strncmp (str, "write", 5) == 0) 845 return SHF_WRITE; 846 if (len == 5 && strncmp (str, "alloc", 5) == 0) 847 return SHF_ALLOC; 848 if (len == 9 && strncmp (str, "execinstr", 9) == 0) 849 return SHF_EXECINSTR; 850 if (len == 7 && strncmp (str, "exclude", 7) == 0) 851 return SHF_EXCLUDE; 852 if (len == 3 && strncmp (str, "tls", 3) == 0) 853 return SHF_TLS; 854 855 #ifdef md_elf_section_word 856 { 857 bfd_vma md_attr = md_elf_section_word (str, len); 858 if (md_attr > 0) 859 return md_attr; 860 } 861 #endif 862 863 ret = obj_elf_section_type (str, len, FALSE); 864 if (ret != 0) 865 *type = ret; 866 else 867 as_warn (_("unrecognized section attribute")); 868 869 return 0; 870 } 871 872 /* Get name of section. */ 873 char * 874 obj_elf_section_name (void) 875 { 876 char *name; 877 878 SKIP_WHITESPACE (); 879 if (*input_line_pointer == '"') 880 { 881 int dummy; 882 883 name = demand_copy_C_string (&dummy); 884 if (name == NULL) 885 { 886 ignore_rest_of_line (); 887 return NULL; 888 } 889 } 890 else 891 { 892 char *end = input_line_pointer; 893 894 while (0 == strchr ("\n\t,; ", *end)) 895 end++; 896 if (end == input_line_pointer) 897 { 898 as_bad (_("missing name")); 899 ignore_rest_of_line (); 900 return NULL; 901 } 902 903 name = (char *) xmalloc (end - input_line_pointer + 1); 904 memcpy (name, input_line_pointer, end - input_line_pointer); 905 name[end - input_line_pointer] = '\0'; 906 #ifdef tc_canonicalize_section_name 907 name = tc_canonicalize_section_name (name); 908 #endif 909 input_line_pointer = end; 910 } 911 SKIP_WHITESPACE (); 912 return name; 913 } 914 915 void 916 obj_elf_section (int push) 917 { 918 char *name, *group_name, *beg; 919 int type, dummy; 920 bfd_vma attr; 921 int entsize; 922 int linkonce; 923 subsegT new_subsection = -1; 924 925 #ifndef TC_I370 926 if (flag_mri) 927 { 928 char mri_type; 929 930 #ifdef md_flush_pending_output 931 md_flush_pending_output (); 932 #endif 933 934 previous_section = now_seg; 935 previous_subsection = now_subseg; 936 937 s_mri_sect (&mri_type); 938 939 #ifdef md_elf_section_change_hook 940 md_elf_section_change_hook (); 941 #endif 942 943 return; 944 } 945 #endif /* ! defined (TC_I370) */ 946 947 name = obj_elf_section_name (); 948 if (name == NULL) 949 return; 950 type = SHT_NULL; 951 attr = 0; 952 group_name = NULL; 953 entsize = 0; 954 linkonce = 0; 955 956 if (*input_line_pointer == ',') 957 { 958 /* Skip the comma. */ 959 ++input_line_pointer; 960 SKIP_WHITESPACE (); 961 962 if (push && ISDIGIT (*input_line_pointer)) 963 { 964 /* .pushsection has an optional subsection. */ 965 new_subsection = (subsegT) get_absolute_expression (); 966 967 SKIP_WHITESPACE (); 968 969 /* Stop if we don't see a comma. */ 970 if (*input_line_pointer != ',') 971 goto done; 972 973 /* Skip the comma. */ 974 ++input_line_pointer; 975 SKIP_WHITESPACE (); 976 } 977 978 if (*input_line_pointer == '"') 979 { 980 bfd_boolean is_clone; 981 982 beg = demand_copy_C_string (&dummy); 983 if (beg == NULL) 984 { 985 ignore_rest_of_line (); 986 return; 987 } 988 attr |= obj_elf_parse_section_letters (beg, strlen (beg), &is_clone); 989 990 SKIP_WHITESPACE (); 991 if (*input_line_pointer == ',') 992 { 993 char c; 994 char *save = input_line_pointer; 995 996 ++input_line_pointer; 997 SKIP_WHITESPACE (); 998 c = *input_line_pointer; 999 if (c == '"') 1000 { 1001 beg = demand_copy_C_string (&dummy); 1002 if (beg == NULL) 1003 { 1004 ignore_rest_of_line (); 1005 return; 1006 } 1007 type = obj_elf_section_type (beg, strlen (beg), TRUE); 1008 } 1009 else if (c == '@' || c == '%') 1010 { 1011 beg = ++input_line_pointer; 1012 c = get_symbol_end (); 1013 *input_line_pointer = c; 1014 type = obj_elf_section_type (beg, input_line_pointer - beg, TRUE); 1015 } 1016 else 1017 input_line_pointer = save; 1018 } 1019 1020 SKIP_WHITESPACE (); 1021 if ((attr & SHF_MERGE) != 0 && *input_line_pointer == ',') 1022 { 1023 ++input_line_pointer; 1024 SKIP_WHITESPACE (); 1025 entsize = get_absolute_expression (); 1026 SKIP_WHITESPACE (); 1027 if (entsize < 0) 1028 { 1029 as_warn (_("invalid merge entity size")); 1030 attr &= ~SHF_MERGE; 1031 entsize = 0; 1032 } 1033 } 1034 else if ((attr & SHF_MERGE) != 0) 1035 { 1036 as_warn (_("entity size for SHF_MERGE not specified")); 1037 attr &= ~SHF_MERGE; 1038 } 1039 1040 if ((attr & SHF_GROUP) != 0 && is_clone) 1041 { 1042 as_warn (_("? section flag ignored with G present")); 1043 is_clone = FALSE; 1044 } 1045 if ((attr & SHF_GROUP) != 0 && *input_line_pointer == ',') 1046 { 1047 ++input_line_pointer; 1048 group_name = obj_elf_section_name (); 1049 if (group_name == NULL) 1050 attr &= ~SHF_GROUP; 1051 else if (*input_line_pointer == ',') 1052 { 1053 ++input_line_pointer; 1054 SKIP_WHITESPACE (); 1055 if (strncmp (input_line_pointer, "comdat", 6) == 0) 1056 { 1057 input_line_pointer += 6; 1058 linkonce = 1; 1059 } 1060 } 1061 else if (strncmp (name, ".gnu.linkonce", 13) == 0) 1062 linkonce = 1; 1063 } 1064 else if ((attr & SHF_GROUP) != 0) 1065 { 1066 as_warn (_("group name for SHF_GROUP not specified")); 1067 attr &= ~SHF_GROUP; 1068 } 1069 1070 if (is_clone) 1071 { 1072 const char *now_group = elf_group_name (now_seg); 1073 if (now_group != NULL) 1074 { 1075 group_name = xstrdup (now_group); 1076 linkonce = (now_seg->flags & SEC_LINK_ONCE) != 0; 1077 } 1078 } 1079 } 1080 else 1081 { 1082 do 1083 { 1084 char c; 1085 1086 SKIP_WHITESPACE (); 1087 if (*input_line_pointer != '#') 1088 { 1089 as_bad (_("character following name is not '#'")); 1090 ignore_rest_of_line (); 1091 return; 1092 } 1093 beg = ++input_line_pointer; 1094 c = get_symbol_end (); 1095 *input_line_pointer = c; 1096 1097 attr |= obj_elf_section_word (beg, input_line_pointer - beg, & type); 1098 1099 SKIP_WHITESPACE (); 1100 } 1101 while (*input_line_pointer++ == ','); 1102 --input_line_pointer; 1103 } 1104 } 1105 1106 done: 1107 demand_empty_rest_of_line (); 1108 1109 obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push); 1110 1111 if (push && new_subsection != -1) 1112 subseg_set (now_seg, new_subsection); 1113 } 1114 1115 /* Change to the .data section. */ 1116 1117 void 1118 obj_elf_data (int i) 1119 { 1120 #ifdef md_flush_pending_output 1121 md_flush_pending_output (); 1122 #endif 1123 1124 previous_section = now_seg; 1125 previous_subsection = now_subseg; 1126 s_data (i); 1127 1128 #ifdef md_elf_section_change_hook 1129 md_elf_section_change_hook (); 1130 #endif 1131 } 1132 1133 /* Change to the .text section. */ 1134 1135 void 1136 obj_elf_text (int i) 1137 { 1138 #ifdef md_flush_pending_output 1139 md_flush_pending_output (); 1140 #endif 1141 1142 previous_section = now_seg; 1143 previous_subsection = now_subseg; 1144 s_text (i); 1145 1146 #ifdef md_elf_section_change_hook 1147 md_elf_section_change_hook (); 1148 #endif 1149 } 1150 1151 /* Change to the *ABS* section. */ 1152 1153 void 1154 obj_elf_struct (int i) 1155 { 1156 #ifdef md_flush_pending_output 1157 md_flush_pending_output (); 1158 #endif 1159 1160 previous_section = now_seg; 1161 previous_subsection = now_subseg; 1162 s_struct (i); 1163 1164 #ifdef md_elf_section_change_hook 1165 md_elf_section_change_hook (); 1166 #endif 1167 } 1168 1169 static void 1170 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED) 1171 { 1172 int temp; 1173 1174 #ifdef md_flush_pending_output 1175 md_flush_pending_output (); 1176 #endif 1177 1178 previous_section = now_seg; 1179 previous_subsection = now_subseg; 1180 1181 temp = get_absolute_expression (); 1182 subseg_set (now_seg, (subsegT) temp); 1183 demand_empty_rest_of_line (); 1184 1185 #ifdef md_elf_section_change_hook 1186 md_elf_section_change_hook (); 1187 #endif 1188 } 1189 1190 /* This can be called from the processor backends if they change 1191 sections. */ 1192 1193 void 1194 obj_elf_section_change_hook (void) 1195 { 1196 previous_section = now_seg; 1197 previous_subsection = now_subseg; 1198 } 1199 1200 void 1201 obj_elf_previous (int ignore ATTRIBUTE_UNUSED) 1202 { 1203 segT new_section; 1204 int new_subsection; 1205 1206 if (previous_section == 0) 1207 { 1208 as_warn (_(".previous without corresponding .section; ignored")); 1209 return; 1210 } 1211 1212 #ifdef md_flush_pending_output 1213 md_flush_pending_output (); 1214 #endif 1215 1216 new_section = previous_section; 1217 new_subsection = previous_subsection; 1218 previous_section = now_seg; 1219 previous_subsection = now_subseg; 1220 subseg_set (new_section, new_subsection); 1221 1222 #ifdef md_elf_section_change_hook 1223 md_elf_section_change_hook (); 1224 #endif 1225 } 1226 1227 static void 1228 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED) 1229 { 1230 struct section_stack *top = section_stack; 1231 1232 if (top == NULL) 1233 { 1234 as_warn (_(".popsection without corresponding .pushsection; ignored")); 1235 return; 1236 } 1237 1238 #ifdef md_flush_pending_output 1239 md_flush_pending_output (); 1240 #endif 1241 1242 section_stack = top->next; 1243 previous_section = top->prev_seg; 1244 previous_subsection = top->prev_subseg; 1245 subseg_set (top->seg, top->subseg); 1246 free (top); 1247 1248 #ifdef md_elf_section_change_hook 1249 md_elf_section_change_hook (); 1250 #endif 1251 } 1252 1253 static void 1254 obj_elf_line (int ignore ATTRIBUTE_UNUSED) 1255 { 1256 /* Assume delimiter is part of expression. BSD4.2 as fails with 1257 delightful bug, so we are not being incompatible here. */ 1258 new_logical_line (NULL, get_absolute_expression ()); 1259 demand_empty_rest_of_line (); 1260 } 1261 1262 /* This handles the .symver pseudo-op, which is used to specify a 1263 symbol version. The syntax is ``.symver NAME,SYMVERNAME''. 1264 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This 1265 pseudo-op causes the assembler to emit a symbol named SYMVERNAME 1266 with the same value as the symbol NAME. */ 1267 1268 static void 1269 obj_elf_symver (int ignore ATTRIBUTE_UNUSED) 1270 { 1271 char *name; 1272 char c; 1273 char old_lexat; 1274 symbolS *sym; 1275 1276 sym = get_sym_from_input_line_and_check (); 1277 1278 if (*input_line_pointer != ',') 1279 { 1280 as_bad (_("expected comma after name in .symver")); 1281 ignore_rest_of_line (); 1282 return; 1283 } 1284 1285 ++input_line_pointer; 1286 SKIP_WHITESPACE (); 1287 name = input_line_pointer; 1288 1289 /* Temporarily include '@' in symbol names. */ 1290 old_lexat = lex_type[(unsigned char) '@']; 1291 lex_type[(unsigned char) '@'] |= LEX_NAME; 1292 c = get_symbol_end (); 1293 lex_type[(unsigned char) '@'] = old_lexat; 1294 1295 if (symbol_get_obj (sym)->versioned_name == NULL) 1296 { 1297 symbol_get_obj (sym)->versioned_name = xstrdup (name); 1298 1299 *input_line_pointer = c; 1300 1301 if (strchr (symbol_get_obj (sym)->versioned_name, 1302 ELF_VER_CHR) == NULL) 1303 { 1304 as_bad (_("missing version name in `%s' for symbol `%s'"), 1305 symbol_get_obj (sym)->versioned_name, 1306 S_GET_NAME (sym)); 1307 ignore_rest_of_line (); 1308 return; 1309 } 1310 } 1311 else 1312 { 1313 if (strcmp (symbol_get_obj (sym)->versioned_name, name)) 1314 { 1315 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"), 1316 name, symbol_get_obj (sym)->versioned_name, 1317 S_GET_NAME (sym)); 1318 ignore_rest_of_line (); 1319 return; 1320 } 1321 1322 *input_line_pointer = c; 1323 } 1324 1325 demand_empty_rest_of_line (); 1326 } 1327 1328 /* This handles the .vtable_inherit pseudo-op, which is used to indicate 1329 to the linker the hierarchy in which a particular table resides. The 1330 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */ 1331 1332 struct fix * 1333 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED) 1334 { 1335 char *cname, *pname; 1336 symbolS *csym, *psym; 1337 char c, bad = 0; 1338 1339 if (*input_line_pointer == '#') 1340 ++input_line_pointer; 1341 1342 cname = input_line_pointer; 1343 c = get_symbol_end (); 1344 csym = symbol_find (cname); 1345 1346 /* GCFIXME: should check that we don't have two .vtable_inherits for 1347 the same child symbol. Also, we can currently only do this if the 1348 child symbol is already exists and is placed in a fragment. */ 1349 1350 if (csym == NULL || symbol_get_frag (csym) == NULL) 1351 { 1352 as_bad (_("expected `%s' to have already been set for .vtable_inherit"), 1353 cname); 1354 bad = 1; 1355 } 1356 1357 *input_line_pointer = c; 1358 1359 SKIP_WHITESPACE (); 1360 if (*input_line_pointer != ',') 1361 { 1362 as_bad (_("expected comma after name in .vtable_inherit")); 1363 ignore_rest_of_line (); 1364 return NULL; 1365 } 1366 1367 ++input_line_pointer; 1368 SKIP_WHITESPACE (); 1369 1370 if (*input_line_pointer == '#') 1371 ++input_line_pointer; 1372 1373 if (input_line_pointer[0] == '0' 1374 && (input_line_pointer[1] == '\0' 1375 || ISSPACE (input_line_pointer[1]))) 1376 { 1377 psym = section_symbol (absolute_section); 1378 ++input_line_pointer; 1379 } 1380 else 1381 { 1382 pname = input_line_pointer; 1383 c = get_symbol_end (); 1384 psym = symbol_find_or_make (pname); 1385 *input_line_pointer = c; 1386 } 1387 1388 demand_empty_rest_of_line (); 1389 1390 if (bad) 1391 return NULL; 1392 1393 gas_assert (symbol_get_value_expression (csym)->X_op == O_constant); 1394 return fix_new (symbol_get_frag (csym), 1395 symbol_get_value_expression (csym)->X_add_number, 1396 0, psym, 0, 0, BFD_RELOC_VTABLE_INHERIT); 1397 } 1398 1399 /* This handles the .vtable_entry pseudo-op, which is used to indicate 1400 to the linker that a vtable slot was used. The syntax is 1401 ".vtable_entry tablename, offset". */ 1402 1403 struct fix * 1404 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED) 1405 { 1406 symbolS *sym; 1407 offsetT offset; 1408 1409 if (*input_line_pointer == '#') 1410 ++input_line_pointer; 1411 1412 sym = get_sym_from_input_line_and_check (); 1413 if (*input_line_pointer != ',') 1414 { 1415 as_bad (_("expected comma after name in .vtable_entry")); 1416 ignore_rest_of_line (); 1417 return NULL; 1418 } 1419 1420 ++input_line_pointer; 1421 if (*input_line_pointer == '#') 1422 ++input_line_pointer; 1423 1424 offset = get_absolute_expression (); 1425 1426 demand_empty_rest_of_line (); 1427 1428 return fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0, 1429 BFD_RELOC_VTABLE_ENTRY); 1430 } 1431 1432 void 1433 elf_obj_read_begin_hook (void) 1434 { 1435 #ifdef NEED_ECOFF_DEBUG 1436 if (ECOFF_DEBUGGING) 1437 ecoff_read_begin_hook (); 1438 #endif 1439 } 1440 1441 void 1442 elf_obj_symbol_new_hook (symbolS *symbolP) 1443 { 1444 struct elf_obj_sy *sy_obj; 1445 1446 sy_obj = symbol_get_obj (symbolP); 1447 sy_obj->size = NULL; 1448 sy_obj->versioned_name = NULL; 1449 1450 #ifdef NEED_ECOFF_DEBUG 1451 if (ECOFF_DEBUGGING) 1452 ecoff_symbol_new_hook (symbolP); 1453 #endif 1454 } 1455 1456 /* When setting one symbol equal to another, by default we probably 1457 want them to have the same "size", whatever it means in the current 1458 context. */ 1459 1460 void 1461 elf_copy_symbol_attributes (symbolS *dest, symbolS *src) 1462 { 1463 struct elf_obj_sy *srcelf = symbol_get_obj (src); 1464 struct elf_obj_sy *destelf = symbol_get_obj (dest); 1465 if (srcelf->size) 1466 { 1467 if (destelf->size == NULL) 1468 destelf->size = (expressionS *) xmalloc (sizeof (expressionS)); 1469 *destelf->size = *srcelf->size; 1470 } 1471 else 1472 { 1473 if (destelf->size != NULL) 1474 free (destelf->size); 1475 destelf->size = NULL; 1476 } 1477 S_SET_SIZE (dest, S_GET_SIZE (src)); 1478 /* Don't copy visibility. */ 1479 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest)) 1480 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1)))); 1481 } 1482 1483 void 1484 obj_elf_version (int ignore ATTRIBUTE_UNUSED) 1485 { 1486 char *name; 1487 unsigned int c; 1488 char *p; 1489 asection *seg = now_seg; 1490 subsegT subseg = now_subseg; 1491 Elf_Internal_Note i_note; 1492 Elf_External_Note e_note; 1493 asection *note_secp = NULL; 1494 1495 SKIP_WHITESPACE (); 1496 if (*input_line_pointer == '\"') 1497 { 1498 unsigned int len; 1499 1500 ++input_line_pointer; /* -> 1st char of string. */ 1501 name = input_line_pointer; 1502 1503 while (is_a_char (c = next_char_of_string ())) 1504 ; 1505 c = *input_line_pointer; 1506 *input_line_pointer = '\0'; 1507 *(input_line_pointer - 1) = '\0'; 1508 *input_line_pointer = c; 1509 1510 /* Create the .note section. */ 1511 note_secp = subseg_new (".note", 0); 1512 bfd_set_section_flags (stdoutput, 1513 note_secp, 1514 SEC_HAS_CONTENTS | SEC_READONLY); 1515 1516 /* Process the version string. */ 1517 len = strlen (name) + 1; 1518 1519 /* PR 3456: Although the name field is padded out to an 4-byte 1520 boundary, the namesz field should not be adjusted. */ 1521 i_note.namesz = len; 1522 i_note.descsz = 0; /* No description. */ 1523 i_note.type = NT_VERSION; 1524 p = frag_more (sizeof (e_note.namesz)); 1525 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz)); 1526 p = frag_more (sizeof (e_note.descsz)); 1527 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz)); 1528 p = frag_more (sizeof (e_note.type)); 1529 md_number_to_chars (p, i_note.type, sizeof (e_note.type)); 1530 p = frag_more (len); 1531 memcpy (p, name, len); 1532 1533 frag_align (2, 0, 0); 1534 1535 subseg_set (seg, subseg); 1536 } 1537 else 1538 as_bad (_("expected quoted string")); 1539 1540 demand_empty_rest_of_line (); 1541 } 1542 1543 static void 1544 obj_elf_size (int ignore ATTRIBUTE_UNUSED) 1545 { 1546 char *name = input_line_pointer; 1547 char c = get_symbol_end (); 1548 char *p; 1549 expressionS exp; 1550 symbolS *sym; 1551 1552 p = input_line_pointer; 1553 *p = c; 1554 SKIP_WHITESPACE (); 1555 if (*input_line_pointer != ',') 1556 { 1557 *p = 0; 1558 as_bad (_("expected comma after name `%s' in .size directive"), name); 1559 *p = c; 1560 ignore_rest_of_line (); 1561 return; 1562 } 1563 input_line_pointer++; 1564 expression (&exp); 1565 if (exp.X_op == O_absent) 1566 { 1567 as_bad (_("missing expression in .size directive")); 1568 exp.X_op = O_constant; 1569 exp.X_add_number = 0; 1570 } 1571 *p = 0; 1572 sym = symbol_find_or_make (name); 1573 *p = c; 1574 if (exp.X_op == O_constant) 1575 { 1576 S_SET_SIZE (sym, exp.X_add_number); 1577 if (symbol_get_obj (sym)->size) 1578 { 1579 xfree (symbol_get_obj (sym)->size); 1580 symbol_get_obj (sym)->size = NULL; 1581 } 1582 } 1583 else 1584 { 1585 symbol_get_obj (sym)->size = 1586 (expressionS *) xmalloc (sizeof (expressionS)); 1587 *symbol_get_obj (sym)->size = exp; 1588 } 1589 demand_empty_rest_of_line (); 1590 } 1591 1592 /* Handle the ELF .type pseudo-op. This sets the type of a symbol. 1593 There are six syntaxes: 1594 1595 The first (used on Solaris) is 1596 .type SYM,#function 1597 The second (used on UnixWare) is 1598 .type SYM,@function 1599 The third (reportedly to be used on Irix 6.0) is 1600 .type SYM STT_FUNC 1601 The fourth (used on NetBSD/Arm and Linux/ARM) is 1602 .type SYM,%function 1603 The fifth (used on SVR4/860) is 1604 .type SYM,"function" 1605 The sixth (emitted by recent SunPRO under Solaris) is 1606 .type SYM,[0-9] 1607 where the integer is the STT_* value. 1608 */ 1609 1610 static char * 1611 obj_elf_type_name (char *cp) 1612 { 1613 char *p; 1614 1615 p = input_line_pointer; 1616 if (*input_line_pointer >= '0' 1617 && *input_line_pointer <= '9') 1618 { 1619 while (*input_line_pointer >= '0' 1620 && *input_line_pointer <= '9') 1621 ++input_line_pointer; 1622 *cp = *input_line_pointer; 1623 *input_line_pointer = '\0'; 1624 } 1625 else 1626 *cp = get_symbol_end (); 1627 1628 return p; 1629 } 1630 1631 static void 1632 obj_elf_type (int ignore ATTRIBUTE_UNUSED) 1633 { 1634 char c; 1635 int type; 1636 const char *type_name; 1637 symbolS *sym; 1638 elf_symbol_type *elfsym; 1639 1640 sym = get_sym_from_input_line_and_check (); 1641 c = *input_line_pointer; 1642 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym); 1643 1644 if (*input_line_pointer == ',') 1645 ++input_line_pointer; 1646 1647 SKIP_WHITESPACE (); 1648 if ( *input_line_pointer == '#' 1649 || *input_line_pointer == '@' 1650 || *input_line_pointer == '"' 1651 || *input_line_pointer == '%') 1652 ++input_line_pointer; 1653 1654 type_name = obj_elf_type_name (& c); 1655 1656 type = 0; 1657 if (strcmp (type_name, "function") == 0 1658 || strcmp (type_name, "2") == 0 1659 || strcmp (type_name, "STT_FUNC") == 0) 1660 type = BSF_FUNCTION; 1661 else if (strcmp (type_name, "object") == 0 1662 || strcmp (type_name, "1") == 0 1663 || strcmp (type_name, "STT_OBJECT") == 0) 1664 type = BSF_OBJECT; 1665 else if (strcmp (type_name, "tls_object") == 0 1666 || strcmp (type_name, "6") == 0 1667 || strcmp (type_name, "STT_TLS") == 0) 1668 type = BSF_OBJECT | BSF_THREAD_LOCAL; 1669 else if (strcmp (type_name, "notype") == 0 1670 || strcmp (type_name, "0") == 0 1671 || strcmp (type_name, "STT_NOTYPE") == 0) 1672 ; 1673 else if (strcmp (type_name, "common") == 0 1674 || strcmp (type_name, "5") == 0 1675 || strcmp (type_name, "STT_COMMON") == 0) 1676 { 1677 type = BSF_OBJECT; 1678 1679 if (! S_IS_COMMON (sym)) 1680 { 1681 if (S_IS_VOLATILE (sym)) 1682 { 1683 sym = symbol_clone (sym, 1); 1684 S_SET_SEGMENT (sym, bfd_com_section_ptr); 1685 S_SET_VALUE (sym, 0); 1686 S_SET_EXTERNAL (sym); 1687 symbol_set_frag (sym, &zero_address_frag); 1688 S_CLEAR_VOLATILE (sym); 1689 } 1690 else if (S_IS_DEFINED (sym) || symbol_equated_p (sym)) 1691 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym)); 1692 else 1693 { 1694 /* FIXME: Is it safe to just change the section ? */ 1695 S_SET_SEGMENT (sym, bfd_com_section_ptr); 1696 S_SET_VALUE (sym, 0); 1697 S_SET_EXTERNAL (sym); 1698 } 1699 } 1700 } 1701 else if (strcmp (type_name, "gnu_indirect_function") == 0 1702 || strcmp (type_name, "10") == 0 1703 || strcmp (type_name, "STT_GNU_IFUNC") == 0) 1704 { 1705 const struct elf_backend_data *bed; 1706 1707 bed = get_elf_backend_data (stdoutput); 1708 #if 0 1709 if (!(bed->elf_osabi == ELFOSABI_GNU 1710 || bed->elf_osabi == ELFOSABI_FREEBSD 1711 /* GNU is still using the default value 0. */ 1712 || bed->elf_osabi == ELFOSABI_NONE)) 1713 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"), 1714 type_name); 1715 #endif 1716 type = BSF_FUNCTION | BSF_GNU_INDIRECT_FUNCTION; 1717 } 1718 else if (strcmp (type_name, "gnu_unique_object") == 0) 1719 { 1720 struct elf_backend_data *bed; 1721 1722 bed = (struct elf_backend_data *) get_elf_backend_data (stdoutput); 1723 if (!(bed->elf_osabi == ELFOSABI_GNU 1724 /* GNU is still using the default value 0. */ 1725 || bed->elf_osabi == ELFOSABI_NONE)) 1726 as_bad (_("symbol type \"%s\" is supported only by GNU targets"), 1727 type_name); 1728 type = BSF_OBJECT | BSF_GNU_UNIQUE; 1729 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */ 1730 bed->elf_osabi = ELFOSABI_GNU; 1731 } 1732 #ifdef md_elf_symbol_type 1733 else if ((type = md_elf_symbol_type (type_name, sym, elfsym)) != -1) 1734 ; 1735 #endif 1736 else 1737 as_bad (_("unrecognized symbol type \"%s\""), type_name); 1738 1739 *input_line_pointer = c; 1740 1741 if (*input_line_pointer == '"') 1742 ++input_line_pointer; 1743 1744 elfsym->symbol.flags |= type; 1745 1746 demand_empty_rest_of_line (); 1747 } 1748 1749 static void 1750 obj_elf_ident (int ignore ATTRIBUTE_UNUSED) 1751 { 1752 static segT comment_section; 1753 segT old_section = now_seg; 1754 int old_subsection = now_subseg; 1755 1756 #ifdef md_flush_pending_output 1757 md_flush_pending_output (); 1758 #endif 1759 1760 if (!comment_section) 1761 { 1762 char *p; 1763 comment_section = subseg_new (".comment", 0); 1764 bfd_set_section_flags (stdoutput, comment_section, 1765 SEC_READONLY | SEC_HAS_CONTENTS 1766 | SEC_MERGE | SEC_STRINGS); 1767 comment_section->entsize = 1; 1768 #ifdef md_elf_section_change_hook 1769 md_elf_section_change_hook (); 1770 #endif 1771 p = frag_more (1); 1772 *p = 0; 1773 } 1774 else 1775 subseg_set (comment_section, 0); 1776 stringer (8 + 1); 1777 subseg_set (old_section, old_subsection); 1778 } 1779 1780 #ifdef INIT_STAB_SECTION 1781 1782 /* The first entry in a .stabs section is special. */ 1783 1784 void 1785 obj_elf_init_stab_section (segT seg) 1786 { 1787 char *file; 1788 char *p; 1789 char *stabstr_name; 1790 unsigned int stroff; 1791 1792 /* Force the section to align to a longword boundary. Without this, 1793 UnixWare ar crashes. */ 1794 bfd_set_section_alignment (stdoutput, seg, 2); 1795 1796 /* Make space for this first symbol. */ 1797 p = frag_more (12); 1798 /* Zero it out. */ 1799 memset (p, 0, 12); 1800 as_where (&file, NULL); 1801 stabstr_name = (char *) xmalloc (strlen (segment_name (seg)) + 4); 1802 strcpy (stabstr_name, segment_name (seg)); 1803 strcat (stabstr_name, "str"); 1804 stroff = get_stab_string_offset (file, stabstr_name); 1805 know (stroff == 1 || (stroff == 0 && file[0] == '\0')); 1806 md_number_to_chars (p, stroff, 4); 1807 seg_info (seg)->stabu.p = p; 1808 } 1809 1810 #endif 1811 1812 /* Fill in the counts in the first entry in a .stabs section. */ 1813 1814 static void 1815 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED) 1816 { 1817 char *name; 1818 asection *strsec; 1819 char *p; 1820 int strsz, nsyms; 1821 1822 if (strncmp (".stab", sec->name, 5)) 1823 return; 1824 if (!strcmp ("str", sec->name + strlen (sec->name) - 3)) 1825 return; 1826 1827 name = (char *) alloca (strlen (sec->name) + 4); 1828 strcpy (name, sec->name); 1829 strcat (name, "str"); 1830 strsec = bfd_get_section_by_name (abfd, name); 1831 if (strsec) 1832 strsz = bfd_section_size (abfd, strsec); 1833 else 1834 strsz = 0; 1835 nsyms = bfd_section_size (abfd, sec) / 12 - 1; 1836 1837 p = seg_info (sec)->stabu.p; 1838 gas_assert (p != 0); 1839 1840 bfd_h_put_16 (abfd, nsyms, p + 6); 1841 bfd_h_put_32 (abfd, strsz, p + 8); 1842 } 1843 1844 #ifdef NEED_ECOFF_DEBUG 1845 1846 /* This function is called by the ECOFF code. It is supposed to 1847 record the external symbol information so that the backend can 1848 write it out correctly. The ELF backend doesn't actually handle 1849 this at the moment, so we do it ourselves. We save the information 1850 in the symbol. */ 1851 1852 #ifdef OBJ_MAYBE_ELF 1853 static 1854 #endif 1855 void 1856 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext) 1857 { 1858 symbol_get_bfdsym (sym)->udata.p = ext; 1859 } 1860 1861 /* This function is called by bfd_ecoff_debug_externals. It is 1862 supposed to *EXT to the external symbol information, and return 1863 whether the symbol should be used at all. */ 1864 1865 static bfd_boolean 1866 elf_get_extr (asymbol *sym, EXTR *ext) 1867 { 1868 if (sym->udata.p == NULL) 1869 return FALSE; 1870 *ext = *(EXTR *) sym->udata.p; 1871 return TRUE; 1872 } 1873 1874 /* This function is called by bfd_ecoff_debug_externals. It has 1875 nothing to do for ELF. */ 1876 1877 static void 1878 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED, 1879 bfd_size_type indx ATTRIBUTE_UNUSED) 1880 { 1881 } 1882 1883 #endif /* NEED_ECOFF_DEBUG */ 1884 1885 void 1886 elf_frob_symbol (symbolS *symp, int *puntp) 1887 { 1888 struct elf_obj_sy *sy_obj; 1889 expressionS *size; 1890 1891 #ifdef NEED_ECOFF_DEBUG 1892 if (ECOFF_DEBUGGING) 1893 ecoff_frob_symbol (symp); 1894 #endif 1895 1896 sy_obj = symbol_get_obj (symp); 1897 1898 size = sy_obj->size; 1899 if (size != NULL) 1900 { 1901 if (resolve_expression (size) 1902 && size->X_op == O_constant) 1903 S_SET_SIZE (symp, size->X_add_number); 1904 else 1905 { 1906 if (flag_size_check == size_check_error) 1907 as_bad (_(".size expression for %s " 1908 "does not evaluate to a constant"), S_GET_NAME (symp)); 1909 else 1910 as_warn (_(".size expression for %s " 1911 "does not evaluate to a constant"), S_GET_NAME (symp)); 1912 } 1913 free (sy_obj->size); 1914 sy_obj->size = NULL; 1915 } 1916 1917 if (sy_obj->versioned_name != NULL) 1918 { 1919 char *p; 1920 1921 p = strchr (sy_obj->versioned_name, ELF_VER_CHR); 1922 know (p != NULL); 1923 1924 /* This symbol was given a new name with the .symver directive. 1925 1926 If this is an external reference, just rename the symbol to 1927 include the version string. This will make the relocs be 1928 against the correct versioned symbol. 1929 1930 If this is a definition, add an alias. FIXME: Using an alias 1931 will permit the debugging information to refer to the right 1932 symbol. However, it's not clear whether it is the best 1933 approach. */ 1934 1935 if (! S_IS_DEFINED (symp)) 1936 { 1937 /* Verify that the name isn't using the @@ syntax--this is 1938 reserved for definitions of the default version to link 1939 against. */ 1940 if (p[1] == ELF_VER_CHR) 1941 { 1942 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"), 1943 sy_obj->versioned_name); 1944 *puntp = TRUE; 1945 } 1946 S_SET_NAME (symp, sy_obj->versioned_name); 1947 } 1948 else 1949 { 1950 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR) 1951 { 1952 size_t l; 1953 1954 /* The @@@ syntax is a special case. It renames the 1955 symbol name to versioned_name with one `@' removed. */ 1956 l = strlen (&p[3]) + 1; 1957 memmove (&p[2], &p[3], l); 1958 S_SET_NAME (symp, sy_obj->versioned_name); 1959 } 1960 else 1961 { 1962 symbolS *symp2; 1963 1964 /* FIXME: Creating a new symbol here is risky. We're 1965 in the final loop over the symbol table. We can 1966 get away with it only because the symbol goes to 1967 the end of the list, where the loop will still see 1968 it. It would probably be better to do this in 1969 obj_frob_file_before_adjust. */ 1970 1971 symp2 = symbol_find_or_make (sy_obj->versioned_name); 1972 1973 /* Now we act as though we saw symp2 = sym. */ 1974 1975 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp)); 1976 1977 /* Subtracting out the frag address here is a hack 1978 because we are in the middle of the final loop. */ 1979 S_SET_VALUE (symp2, 1980 (S_GET_VALUE (symp) 1981 - symbol_get_frag (symp)->fr_address)); 1982 1983 symbol_set_frag (symp2, symbol_get_frag (symp)); 1984 1985 /* This will copy over the size information. */ 1986 copy_symbol_attributes (symp2, symp); 1987 1988 S_SET_OTHER (symp2, S_GET_OTHER (symp)); 1989 1990 if (S_IS_WEAK (symp)) 1991 S_SET_WEAK (symp2); 1992 1993 if (S_IS_EXTERNAL (symp)) 1994 S_SET_EXTERNAL (symp2); 1995 } 1996 } 1997 } 1998 1999 /* Double check weak symbols. */ 2000 if (S_IS_WEAK (symp)) 2001 { 2002 if (S_IS_COMMON (symp)) 2003 as_bad (_("symbol `%s' can not be both weak and common"), 2004 S_GET_NAME (symp)); 2005 } 2006 2007 #ifdef TC_MIPS 2008 /* The Irix 5 and 6 assemblers set the type of any common symbol and 2009 any undefined non-function symbol to STT_OBJECT. We try to be 2010 compatible, since newer Irix 5 and 6 linkers care. However, we 2011 only set undefined symbols to be STT_OBJECT if we are on Irix, 2012 because that is the only time gcc will generate the necessary 2013 .global directives to mark functions. */ 2014 2015 if (S_IS_COMMON (symp)) 2016 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT; 2017 2018 if (strstr (TARGET_OS, "irix") != NULL 2019 && ! S_IS_DEFINED (symp) 2020 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0) 2021 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT; 2022 #endif 2023 } 2024 2025 struct group_list 2026 { 2027 asection **head; /* Section lists. */ 2028 unsigned int *elt_count; /* Number of sections in each list. */ 2029 unsigned int num_group; /* Number of lists. */ 2030 struct hash_control *indexes; /* Maps group name to index in head array. */ 2031 }; 2032 2033 /* Called via bfd_map_over_sections. If SEC is a member of a group, 2034 add it to a list of sections belonging to the group. INF is a 2035 pointer to a struct group_list, which is where we store the head of 2036 each list. */ 2037 2038 static void 2039 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf) 2040 { 2041 struct group_list *list = (struct group_list *) inf; 2042 const char *group_name = elf_group_name (sec); 2043 unsigned int i; 2044 unsigned int *elem_idx; 2045 unsigned int *idx_ptr; 2046 2047 if (group_name == NULL) 2048 return; 2049 2050 /* If this group already has a list, add the section to the head of 2051 the list. */ 2052 elem_idx = (unsigned int *) hash_find (list->indexes, group_name); 2053 if (elem_idx != NULL) 2054 { 2055 elf_next_in_group (sec) = list->head[*elem_idx]; 2056 list->head[*elem_idx] = sec; 2057 list->elt_count[*elem_idx] += 1; 2058 return; 2059 } 2060 2061 /* New group. Make the arrays bigger in chunks to minimize calls to 2062 realloc. */ 2063 i = list->num_group; 2064 if ((i & 127) == 0) 2065 { 2066 unsigned int newsize = i + 128; 2067 list->head = (asection **) xrealloc (list->head, 2068 newsize * sizeof (*list->head)); 2069 list->elt_count = (unsigned int *) 2070 xrealloc (list->elt_count, newsize * sizeof (*list->elt_count)); 2071 } 2072 list->head[i] = sec; 2073 list->elt_count[i] = 1; 2074 list->num_group += 1; 2075 2076 /* Add index to hash. */ 2077 idx_ptr = (unsigned int *) xmalloc (sizeof (unsigned int)); 2078 *idx_ptr = i; 2079 hash_insert (list->indexes, group_name, idx_ptr); 2080 } 2081 2082 static void free_section_idx (const char *key ATTRIBUTE_UNUSED, void *val) 2083 { 2084 free ((unsigned int *) val); 2085 } 2086 2087 void 2088 elf_adjust_symtab (void) 2089 { 2090 struct group_list list; 2091 unsigned int i; 2092 2093 /* Go find section groups. */ 2094 list.num_group = 0; 2095 list.head = NULL; 2096 list.elt_count = NULL; 2097 list.indexes = hash_new (); 2098 bfd_map_over_sections (stdoutput, build_group_lists, &list); 2099 2100 /* Make the SHT_GROUP sections that describe each section group. We 2101 can't set up the section contents here yet, because elf section 2102 indices have yet to be calculated. elf.c:set_group_contents does 2103 the rest of the work. */ 2104 for (i = 0; i < list.num_group; i++) 2105 { 2106 const char *group_name = elf_group_name (list.head[i]); 2107 const char *sec_name; 2108 asection *s; 2109 flagword flags; 2110 struct symbol *sy; 2111 bfd_size_type size; 2112 2113 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP; 2114 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s)) 2115 if ((s->flags ^ flags) & SEC_LINK_ONCE) 2116 { 2117 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD; 2118 if (s != list.head[i]) 2119 { 2120 as_warn (_("assuming all members of group `%s' are COMDAT"), 2121 group_name); 2122 break; 2123 } 2124 } 2125 2126 sec_name = ".group"; 2127 s = subseg_force_new (sec_name, 0); 2128 if (s == NULL 2129 || !bfd_set_section_flags (stdoutput, s, flags) 2130 || !bfd_set_section_alignment (stdoutput, s, 2)) 2131 { 2132 as_fatal (_("can't create group: %s"), 2133 bfd_errmsg (bfd_get_error ())); 2134 } 2135 elf_section_type (s) = SHT_GROUP; 2136 2137 /* Pass a pointer to the first section in this group. */ 2138 elf_next_in_group (s) = list.head[i]; 2139 /* Make sure that the signature symbol for the group has the 2140 name of the group. */ 2141 sy = symbol_find_exact (group_name); 2142 if (!sy 2143 || (sy != symbol_lastP 2144 && (sy->sy_next == NULL 2145 || sy->sy_next->sy_previous != sy))) 2146 { 2147 /* Create the symbol now. */ 2148 sy = symbol_new (group_name, now_seg, (valueT) 0, frag_now); 2149 #ifdef TE_SOLARIS 2150 /* Before Solaris 11 build 154, Sun ld rejects local group 2151 signature symbols, so make them weak hidden instead. */ 2152 symbol_get_bfdsym (sy)->flags |= BSF_WEAK; 2153 S_SET_OTHER (sy, STV_HIDDEN); 2154 #else 2155 symbol_get_obj (sy)->local = 1; 2156 #endif 2157 symbol_table_insert (sy); 2158 } 2159 elf_group_id (s) = symbol_get_bfdsym (sy); 2160 2161 size = 4 * (list.elt_count[i] + 1); 2162 bfd_set_section_size (stdoutput, s, size); 2163 s->contents = (unsigned char *) frag_more (size); 2164 frag_now->fr_fix = frag_now_fix_octets (); 2165 frag_wane (frag_now); 2166 } 2167 2168 /* Cleanup hash. */ 2169 hash_traverse (list.indexes, free_section_idx); 2170 hash_die (list.indexes); 2171 } 2172 2173 void 2174 elf_frob_file (void) 2175 { 2176 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL); 2177 2178 #ifdef elf_tc_final_processing 2179 elf_tc_final_processing (); 2180 #endif 2181 } 2182 2183 /* It removes any unneeded versioned symbols from the symbol table. */ 2184 2185 void 2186 elf_frob_file_before_adjust (void) 2187 { 2188 if (symbol_rootP) 2189 { 2190 symbolS *symp; 2191 2192 for (symp = symbol_rootP; symp; symp = symbol_next (symp)) 2193 if (!S_IS_DEFINED (symp)) 2194 { 2195 if (symbol_get_obj (symp)->versioned_name) 2196 { 2197 char *p; 2198 2199 /* The @@@ syntax is a special case. If the symbol is 2200 not defined, 2 `@'s will be removed from the 2201 versioned_name. */ 2202 2203 p = strchr (symbol_get_obj (symp)->versioned_name, 2204 ELF_VER_CHR); 2205 know (p != NULL); 2206 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR) 2207 { 2208 size_t l = strlen (&p[3]) + 1; 2209 memmove (&p[1], &p[3], l); 2210 } 2211 if (symbol_used_p (symp) == 0 2212 && symbol_used_in_reloc_p (symp) == 0) 2213 symbol_remove (symp, &symbol_rootP, &symbol_lastP); 2214 } 2215 2216 /* If there was .weak foo, but foo was neither defined nor 2217 used anywhere, remove it. */ 2218 2219 else if (S_IS_WEAK (symp) 2220 && symbol_used_p (symp) == 0 2221 && symbol_used_in_reloc_p (symp) == 0) 2222 symbol_remove (symp, &symbol_rootP, &symbol_lastP); 2223 } 2224 } 2225 } 2226 2227 /* It is required that we let write_relocs have the opportunity to 2228 optimize away fixups before output has begun, since it is possible 2229 to eliminate all fixups for a section and thus we never should 2230 have generated the relocation section. */ 2231 2232 void 2233 elf_frob_file_after_relocs (void) 2234 { 2235 #ifdef NEED_ECOFF_DEBUG 2236 if (ECOFF_DEBUGGING) 2237 /* Generate the ECOFF debugging information. */ 2238 { 2239 const struct ecoff_debug_swap *debug_swap; 2240 struct ecoff_debug_info debug; 2241 char *buf; 2242 asection *sec; 2243 2244 debug_swap 2245 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap; 2246 know (debug_swap != NULL); 2247 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap); 2248 2249 /* Set up the pointers in debug. */ 2250 #define SET(ptr, offset, type) \ 2251 debug.ptr = (type) (buf + debug.symbolic_header.offset) 2252 2253 SET (line, cbLineOffset, unsigned char *); 2254 SET (external_dnr, cbDnOffset, void *); 2255 SET (external_pdr, cbPdOffset, void *); 2256 SET (external_sym, cbSymOffset, void *); 2257 SET (external_opt, cbOptOffset, void *); 2258 SET (external_aux, cbAuxOffset, union aux_ext *); 2259 SET (ss, cbSsOffset, char *); 2260 SET (external_fdr, cbFdOffset, void *); 2261 SET (external_rfd, cbRfdOffset, void *); 2262 /* ssext and external_ext are set up just below. */ 2263 2264 #undef SET 2265 2266 /* Set up the external symbols. */ 2267 debug.ssext = debug.ssext_end = NULL; 2268 debug.external_ext = debug.external_ext_end = NULL; 2269 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE, 2270 elf_get_extr, elf_set_index)) 2271 as_fatal (_("failed to set up debugging information: %s"), 2272 bfd_errmsg (bfd_get_error ())); 2273 2274 sec = bfd_get_section_by_name (stdoutput, ".mdebug"); 2275 gas_assert (sec != NULL); 2276 2277 know (!stdoutput->output_has_begun); 2278 2279 /* We set the size of the section, call bfd_set_section_contents 2280 to force the ELF backend to allocate a file position, and then 2281 write out the data. FIXME: Is this really the best way to do 2282 this? */ 2283 bfd_set_section_size 2284 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap)); 2285 2286 /* Pass BUF to bfd_set_section_contents because this will 2287 eventually become a call to fwrite, and ISO C prohibits 2288 passing a NULL pointer to a stdio function even if the 2289 pointer will not be used. */ 2290 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0)) 2291 as_fatal (_("can't start writing .mdebug section: %s"), 2292 bfd_errmsg (bfd_get_error ())); 2293 2294 know (stdoutput->output_has_begun); 2295 know (sec->filepos != 0); 2296 2297 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap, 2298 sec->filepos)) 2299 as_fatal (_("could not write .mdebug section: %s"), 2300 bfd_errmsg (bfd_get_error ())); 2301 } 2302 #endif /* NEED_ECOFF_DEBUG */ 2303 } 2304 2305 #ifdef SCO_ELF 2306 2307 /* Heavily plagiarized from obj_elf_version. The idea is to emit the 2308 SCO specific identifier in the .notes section to satisfy the SCO 2309 linker. 2310 2311 This looks more complicated than it really is. As opposed to the 2312 "obvious" solution, this should handle the cross dev cases 2313 correctly. (i.e, hosting on a 64 bit big endian processor, but 2314 generating SCO Elf code) Efficiency isn't a concern, as there 2315 should be exactly one of these sections per object module. 2316 2317 SCO OpenServer 5 identifies it's ELF modules with a standard ELF 2318 .note section. 2319 2320 int_32 namesz = 4 ; Name size 2321 int_32 descsz = 12 ; Descriptive information 2322 int_32 type = 1 ; 2323 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL 2324 int_32 version = (major ver # << 16) | version of tools ; 2325 int_32 source = (tool_id << 16 ) | 1 ; 2326 int_32 info = 0 ; These are set by the SCO tools, but we 2327 don't know enough about the source 2328 environment to set them. SCO ld currently 2329 ignores them, and recommends we set them 2330 to zero. */ 2331 2332 #define SCO_MAJOR_VERSION 0x1 2333 #define SCO_MINOR_VERSION 0x1 2334 2335 void 2336 sco_id (void) 2337 { 2338 2339 char *name; 2340 unsigned int c; 2341 char ch; 2342 char *p; 2343 asection *seg = now_seg; 2344 subsegT subseg = now_subseg; 2345 Elf_Internal_Note i_note; 2346 Elf_External_Note e_note; 2347 asection *note_secp = NULL; 2348 int i, len; 2349 2350 /* create the .note section */ 2351 2352 note_secp = subseg_new (".note", 0); 2353 bfd_set_section_flags (stdoutput, 2354 note_secp, 2355 SEC_HAS_CONTENTS | SEC_READONLY); 2356 2357 /* process the version string */ 2358 2359 i_note.namesz = 4; 2360 i_note.descsz = 12; /* 12 descriptive bytes */ 2361 i_note.type = NT_VERSION; /* Contains a version string */ 2362 2363 p = frag_more (sizeof (i_note.namesz)); 2364 md_number_to_chars (p, i_note.namesz, 4); 2365 2366 p = frag_more (sizeof (i_note.descsz)); 2367 md_number_to_chars (p, i_note.descsz, 4); 2368 2369 p = frag_more (sizeof (i_note.type)); 2370 md_number_to_chars (p, i_note.type, 4); 2371 2372 p = frag_more (4); 2373 strcpy (p, "SCO"); 2374 2375 /* Note: this is the version number of the ELF we're representing */ 2376 p = frag_more (4); 2377 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4); 2378 2379 /* Here, we pick a magic number for ourselves (yes, I "registered" 2380 it with SCO. The bottom bit shows that we are compat with the 2381 SCO ABI. */ 2382 p = frag_more (4); 2383 md_number_to_chars (p, 0x4c520000 | 0x0001, 4); 2384 2385 /* If we knew (or cared) what the source language options were, we'd 2386 fill them in here. SCO has given us permission to ignore these 2387 and just set them to zero. */ 2388 p = frag_more (4); 2389 md_number_to_chars (p, 0x0000, 4); 2390 2391 frag_align (2, 0, 0); 2392 2393 /* We probably can't restore the current segment, for there likely 2394 isn't one yet... */ 2395 if (seg && subseg) 2396 subseg_set (seg, subseg); 2397 2398 } 2399 2400 #endif /* SCO_ELF */ 2401 2402 static void 2403 elf_generate_asm_lineno (void) 2404 { 2405 #ifdef NEED_ECOFF_DEBUG 2406 if (ECOFF_DEBUGGING) 2407 ecoff_generate_asm_lineno (); 2408 #endif 2409 } 2410 2411 static void 2412 elf_process_stab (segT sec ATTRIBUTE_UNUSED, 2413 int what ATTRIBUTE_UNUSED, 2414 const char *string ATTRIBUTE_UNUSED, 2415 int type ATTRIBUTE_UNUSED, 2416 int other ATTRIBUTE_UNUSED, 2417 int desc ATTRIBUTE_UNUSED) 2418 { 2419 #ifdef NEED_ECOFF_DEBUG 2420 if (ECOFF_DEBUGGING) 2421 ecoff_stab (sec, what, string, type, other, desc); 2422 #endif 2423 } 2424 2425 static int 2426 elf_separate_stab_sections (void) 2427 { 2428 #ifdef NEED_ECOFF_DEBUG 2429 return (!ECOFF_DEBUGGING); 2430 #else 2431 return 1; 2432 #endif 2433 } 2434 2435 static void 2436 elf_init_stab_section (segT seg) 2437 { 2438 #ifdef NEED_ECOFF_DEBUG 2439 if (!ECOFF_DEBUGGING) 2440 #endif 2441 obj_elf_init_stab_section (seg); 2442 } 2443 2444 const struct format_ops elf_format_ops = 2445 { 2446 bfd_target_elf_flavour, 2447 0, /* dfl_leading_underscore */ 2448 1, /* emit_section_symbols */ 2449 elf_begin, 2450 elf_file_symbol, 2451 elf_frob_symbol, 2452 elf_frob_file, 2453 elf_frob_file_before_adjust, 2454 0, /* obj_frob_file_before_fix */ 2455 elf_frob_file_after_relocs, 2456 elf_s_get_size, elf_s_set_size, 2457 elf_s_get_align, elf_s_set_align, 2458 elf_s_get_other, 2459 elf_s_set_other, 2460 0, /* s_get_desc */ 2461 0, /* s_set_desc */ 2462 0, /* s_get_type */ 2463 0, /* s_set_type */ 2464 elf_copy_symbol_attributes, 2465 elf_generate_asm_lineno, 2466 elf_process_stab, 2467 elf_separate_stab_sections, 2468 elf_init_stab_section, 2469 elf_sec_sym_ok_for_reloc, 2470 elf_pop_insert, 2471 #ifdef NEED_ECOFF_DEBUG 2472 elf_ecoff_set_ext, 2473 #else 2474 0, /* ecoff_set_ext */ 2475 #endif 2476 elf_obj_read_begin_hook, 2477 elf_obj_symbol_new_hook, 2478 0, 2479 elf_adjust_symtab 2480 }; 2481