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 (!(bed->elf_osabi == ELFOSABI_GNU 1709 || bed->elf_osabi == ELFOSABI_FREEBSD 1710 /* GNU is still using the default value 0. */ 1711 || bed->elf_osabi == ELFOSABI_NONE)) 1712 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"), 1713 type_name); 1714 type = BSF_FUNCTION | BSF_GNU_INDIRECT_FUNCTION; 1715 } 1716 else if (strcmp (type_name, "gnu_unique_object") == 0) 1717 { 1718 struct elf_backend_data *bed; 1719 1720 bed = (struct elf_backend_data *) get_elf_backend_data (stdoutput); 1721 if (!(bed->elf_osabi == ELFOSABI_GNU 1722 /* GNU is still using the default value 0. */ 1723 || bed->elf_osabi == ELFOSABI_NONE)) 1724 as_bad (_("symbol type \"%s\" is supported only by GNU targets"), 1725 type_name); 1726 type = BSF_OBJECT | BSF_GNU_UNIQUE; 1727 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */ 1728 bed->elf_osabi = ELFOSABI_GNU; 1729 } 1730 #ifdef md_elf_symbol_type 1731 else if ((type = md_elf_symbol_type (type_name, sym, elfsym)) != -1) 1732 ; 1733 #endif 1734 else 1735 as_bad (_("unrecognized symbol type \"%s\""), type_name); 1736 1737 *input_line_pointer = c; 1738 1739 if (*input_line_pointer == '"') 1740 ++input_line_pointer; 1741 1742 elfsym->symbol.flags |= type; 1743 1744 demand_empty_rest_of_line (); 1745 } 1746 1747 static void 1748 obj_elf_ident (int ignore ATTRIBUTE_UNUSED) 1749 { 1750 static segT comment_section; 1751 segT old_section = now_seg; 1752 int old_subsection = now_subseg; 1753 1754 #ifdef md_flush_pending_output 1755 md_flush_pending_output (); 1756 #endif 1757 1758 if (!comment_section) 1759 { 1760 char *p; 1761 comment_section = subseg_new (".comment", 0); 1762 bfd_set_section_flags (stdoutput, comment_section, 1763 SEC_READONLY | SEC_HAS_CONTENTS 1764 | SEC_MERGE | SEC_STRINGS); 1765 comment_section->entsize = 1; 1766 #ifdef md_elf_section_change_hook 1767 md_elf_section_change_hook (); 1768 #endif 1769 p = frag_more (1); 1770 *p = 0; 1771 } 1772 else 1773 subseg_set (comment_section, 0); 1774 stringer (8 + 1); 1775 subseg_set (old_section, old_subsection); 1776 } 1777 1778 #ifdef INIT_STAB_SECTION 1779 1780 /* The first entry in a .stabs section is special. */ 1781 1782 void 1783 obj_elf_init_stab_section (segT seg) 1784 { 1785 char *file; 1786 char *p; 1787 char *stabstr_name; 1788 unsigned int stroff; 1789 1790 /* Force the section to align to a longword boundary. Without this, 1791 UnixWare ar crashes. */ 1792 bfd_set_section_alignment (stdoutput, seg, 2); 1793 1794 /* Make space for this first symbol. */ 1795 p = frag_more (12); 1796 /* Zero it out. */ 1797 memset (p, 0, 12); 1798 as_where (&file, NULL); 1799 stabstr_name = (char *) xmalloc (strlen (segment_name (seg)) + 4); 1800 strcpy (stabstr_name, segment_name (seg)); 1801 strcat (stabstr_name, "str"); 1802 stroff = get_stab_string_offset (file, stabstr_name); 1803 know (stroff == 1 || (stroff == 0 && file[0] == '\0')); 1804 md_number_to_chars (p, stroff, 4); 1805 seg_info (seg)->stabu.p = p; 1806 } 1807 1808 #endif 1809 1810 /* Fill in the counts in the first entry in a .stabs section. */ 1811 1812 static void 1813 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED) 1814 { 1815 char *name; 1816 asection *strsec; 1817 char *p; 1818 int strsz, nsyms; 1819 1820 if (strncmp (".stab", sec->name, 5)) 1821 return; 1822 if (!strcmp ("str", sec->name + strlen (sec->name) - 3)) 1823 return; 1824 1825 name = (char *) alloca (strlen (sec->name) + 4); 1826 strcpy (name, sec->name); 1827 strcat (name, "str"); 1828 strsec = bfd_get_section_by_name (abfd, name); 1829 if (strsec) 1830 strsz = bfd_section_size (abfd, strsec); 1831 else 1832 strsz = 0; 1833 nsyms = bfd_section_size (abfd, sec) / 12 - 1; 1834 1835 p = seg_info (sec)->stabu.p; 1836 gas_assert (p != 0); 1837 1838 bfd_h_put_16 (abfd, nsyms, p + 6); 1839 bfd_h_put_32 (abfd, strsz, p + 8); 1840 } 1841 1842 #ifdef NEED_ECOFF_DEBUG 1843 1844 /* This function is called by the ECOFF code. It is supposed to 1845 record the external symbol information so that the backend can 1846 write it out correctly. The ELF backend doesn't actually handle 1847 this at the moment, so we do it ourselves. We save the information 1848 in the symbol. */ 1849 1850 #ifdef OBJ_MAYBE_ELF 1851 static 1852 #endif 1853 void 1854 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext) 1855 { 1856 symbol_get_bfdsym (sym)->udata.p = ext; 1857 } 1858 1859 /* This function is called by bfd_ecoff_debug_externals. It is 1860 supposed to *EXT to the external symbol information, and return 1861 whether the symbol should be used at all. */ 1862 1863 static bfd_boolean 1864 elf_get_extr (asymbol *sym, EXTR *ext) 1865 { 1866 if (sym->udata.p == NULL) 1867 return FALSE; 1868 *ext = *(EXTR *) sym->udata.p; 1869 return TRUE; 1870 } 1871 1872 /* This function is called by bfd_ecoff_debug_externals. It has 1873 nothing to do for ELF. */ 1874 1875 static void 1876 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED, 1877 bfd_size_type indx ATTRIBUTE_UNUSED) 1878 { 1879 } 1880 1881 #endif /* NEED_ECOFF_DEBUG */ 1882 1883 void 1884 elf_frob_symbol (symbolS *symp, int *puntp) 1885 { 1886 struct elf_obj_sy *sy_obj; 1887 expressionS *size; 1888 1889 #ifdef NEED_ECOFF_DEBUG 1890 if (ECOFF_DEBUGGING) 1891 ecoff_frob_symbol (symp); 1892 #endif 1893 1894 sy_obj = symbol_get_obj (symp); 1895 1896 size = sy_obj->size; 1897 if (size != NULL) 1898 { 1899 if (resolve_expression (size) 1900 && size->X_op == O_constant) 1901 S_SET_SIZE (symp, size->X_add_number); 1902 else 1903 { 1904 if (flag_size_check == size_check_error) 1905 as_bad (_(".size expression for %s " 1906 "does not evaluate to a constant"), S_GET_NAME (symp)); 1907 else 1908 as_warn (_(".size expression for %s " 1909 "does not evaluate to a constant"), S_GET_NAME (symp)); 1910 } 1911 free (sy_obj->size); 1912 sy_obj->size = NULL; 1913 } 1914 1915 if (sy_obj->versioned_name != NULL) 1916 { 1917 char *p; 1918 1919 p = strchr (sy_obj->versioned_name, ELF_VER_CHR); 1920 know (p != NULL); 1921 1922 /* This symbol was given a new name with the .symver directive. 1923 1924 If this is an external reference, just rename the symbol to 1925 include the version string. This will make the relocs be 1926 against the correct versioned symbol. 1927 1928 If this is a definition, add an alias. FIXME: Using an alias 1929 will permit the debugging information to refer to the right 1930 symbol. However, it's not clear whether it is the best 1931 approach. */ 1932 1933 if (! S_IS_DEFINED (symp)) 1934 { 1935 /* Verify that the name isn't using the @@ syntax--this is 1936 reserved for definitions of the default version to link 1937 against. */ 1938 if (p[1] == ELF_VER_CHR) 1939 { 1940 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"), 1941 sy_obj->versioned_name); 1942 *puntp = TRUE; 1943 } 1944 S_SET_NAME (symp, sy_obj->versioned_name); 1945 } 1946 else 1947 { 1948 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR) 1949 { 1950 size_t l; 1951 1952 /* The @@@ syntax is a special case. It renames the 1953 symbol name to versioned_name with one `@' removed. */ 1954 l = strlen (&p[3]) + 1; 1955 memmove (&p[2], &p[3], l); 1956 S_SET_NAME (symp, sy_obj->versioned_name); 1957 } 1958 else 1959 { 1960 symbolS *symp2; 1961 1962 /* FIXME: Creating a new symbol here is risky. We're 1963 in the final loop over the symbol table. We can 1964 get away with it only because the symbol goes to 1965 the end of the list, where the loop will still see 1966 it. It would probably be better to do this in 1967 obj_frob_file_before_adjust. */ 1968 1969 symp2 = symbol_find_or_make (sy_obj->versioned_name); 1970 1971 /* Now we act as though we saw symp2 = sym. */ 1972 1973 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp)); 1974 1975 /* Subtracting out the frag address here is a hack 1976 because we are in the middle of the final loop. */ 1977 S_SET_VALUE (symp2, 1978 (S_GET_VALUE (symp) 1979 - symbol_get_frag (symp)->fr_address)); 1980 1981 symbol_set_frag (symp2, symbol_get_frag (symp)); 1982 1983 /* This will copy over the size information. */ 1984 copy_symbol_attributes (symp2, symp); 1985 1986 S_SET_OTHER (symp2, S_GET_OTHER (symp)); 1987 1988 if (S_IS_WEAK (symp)) 1989 S_SET_WEAK (symp2); 1990 1991 if (S_IS_EXTERNAL (symp)) 1992 S_SET_EXTERNAL (symp2); 1993 } 1994 } 1995 } 1996 1997 /* Double check weak symbols. */ 1998 if (S_IS_WEAK (symp)) 1999 { 2000 if (S_IS_COMMON (symp)) 2001 as_bad (_("symbol `%s' can not be both weak and common"), 2002 S_GET_NAME (symp)); 2003 } 2004 2005 #ifdef TC_MIPS 2006 /* The Irix 5 and 6 assemblers set the type of any common symbol and 2007 any undefined non-function symbol to STT_OBJECT. We try to be 2008 compatible, since newer Irix 5 and 6 linkers care. However, we 2009 only set undefined symbols to be STT_OBJECT if we are on Irix, 2010 because that is the only time gcc will generate the necessary 2011 .global directives to mark functions. */ 2012 2013 if (S_IS_COMMON (symp)) 2014 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT; 2015 2016 if (strstr (TARGET_OS, "irix") != NULL 2017 && ! S_IS_DEFINED (symp) 2018 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0) 2019 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT; 2020 #endif 2021 } 2022 2023 struct group_list 2024 { 2025 asection **head; /* Section lists. */ 2026 unsigned int *elt_count; /* Number of sections in each list. */ 2027 unsigned int num_group; /* Number of lists. */ 2028 struct hash_control *indexes; /* Maps group name to index in head array. */ 2029 }; 2030 2031 /* Called via bfd_map_over_sections. If SEC is a member of a group, 2032 add it to a list of sections belonging to the group. INF is a 2033 pointer to a struct group_list, which is where we store the head of 2034 each list. */ 2035 2036 static void 2037 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf) 2038 { 2039 struct group_list *list = (struct group_list *) inf; 2040 const char *group_name = elf_group_name (sec); 2041 unsigned int i; 2042 unsigned int *elem_idx; 2043 unsigned int *idx_ptr; 2044 2045 if (group_name == NULL) 2046 return; 2047 2048 /* If this group already has a list, add the section to the head of 2049 the list. */ 2050 elem_idx = (unsigned int *) hash_find (list->indexes, group_name); 2051 if (elem_idx != NULL) 2052 { 2053 elf_next_in_group (sec) = list->head[*elem_idx]; 2054 list->head[*elem_idx] = sec; 2055 list->elt_count[*elem_idx] += 1; 2056 return; 2057 } 2058 2059 /* New group. Make the arrays bigger in chunks to minimize calls to 2060 realloc. */ 2061 i = list->num_group; 2062 if ((i & 127) == 0) 2063 { 2064 unsigned int newsize = i + 128; 2065 list->head = (asection **) xrealloc (list->head, 2066 newsize * sizeof (*list->head)); 2067 list->elt_count = (unsigned int *) 2068 xrealloc (list->elt_count, newsize * sizeof (*list->elt_count)); 2069 } 2070 list->head[i] = sec; 2071 list->elt_count[i] = 1; 2072 list->num_group += 1; 2073 2074 /* Add index to hash. */ 2075 idx_ptr = (unsigned int *) xmalloc (sizeof (unsigned int)); 2076 *idx_ptr = i; 2077 hash_insert (list->indexes, group_name, idx_ptr); 2078 } 2079 2080 static void free_section_idx (const char *key ATTRIBUTE_UNUSED, void *val) 2081 { 2082 free ((unsigned int *) val); 2083 } 2084 2085 void 2086 elf_adjust_symtab (void) 2087 { 2088 struct group_list list; 2089 unsigned int i; 2090 2091 /* Go find section groups. */ 2092 list.num_group = 0; 2093 list.head = NULL; 2094 list.elt_count = NULL; 2095 list.indexes = hash_new (); 2096 bfd_map_over_sections (stdoutput, build_group_lists, &list); 2097 2098 /* Make the SHT_GROUP sections that describe each section group. We 2099 can't set up the section contents here yet, because elf section 2100 indices have yet to be calculated. elf.c:set_group_contents does 2101 the rest of the work. */ 2102 for (i = 0; i < list.num_group; i++) 2103 { 2104 const char *group_name = elf_group_name (list.head[i]); 2105 const char *sec_name; 2106 asection *s; 2107 flagword flags; 2108 struct symbol *sy; 2109 bfd_size_type size; 2110 2111 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP; 2112 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s)) 2113 if ((s->flags ^ flags) & SEC_LINK_ONCE) 2114 { 2115 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD; 2116 if (s != list.head[i]) 2117 { 2118 as_warn (_("assuming all members of group `%s' are COMDAT"), 2119 group_name); 2120 break; 2121 } 2122 } 2123 2124 sec_name = ".group"; 2125 s = subseg_force_new (sec_name, 0); 2126 if (s == NULL 2127 || !bfd_set_section_flags (stdoutput, s, flags) 2128 || !bfd_set_section_alignment (stdoutput, s, 2)) 2129 { 2130 as_fatal (_("can't create group: %s"), 2131 bfd_errmsg (bfd_get_error ())); 2132 } 2133 elf_section_type (s) = SHT_GROUP; 2134 2135 /* Pass a pointer to the first section in this group. */ 2136 elf_next_in_group (s) = list.head[i]; 2137 /* Make sure that the signature symbol for the group has the 2138 name of the group. */ 2139 sy = symbol_find_exact (group_name); 2140 if (!sy 2141 || (sy != symbol_lastP 2142 && (sy->sy_next == NULL 2143 || sy->sy_next->sy_previous != sy))) 2144 { 2145 /* Create the symbol now. */ 2146 sy = symbol_new (group_name, now_seg, (valueT) 0, frag_now); 2147 #ifdef TE_SOLARIS 2148 /* Before Solaris 11 build 154, Sun ld rejects local group 2149 signature symbols, so make them weak hidden instead. */ 2150 symbol_get_bfdsym (sy)->flags |= BSF_WEAK; 2151 S_SET_OTHER (sy, STV_HIDDEN); 2152 #else 2153 symbol_get_obj (sy)->local = 1; 2154 #endif 2155 symbol_table_insert (sy); 2156 } 2157 elf_group_id (s) = symbol_get_bfdsym (sy); 2158 2159 size = 4 * (list.elt_count[i] + 1); 2160 bfd_set_section_size (stdoutput, s, size); 2161 s->contents = (unsigned char *) frag_more (size); 2162 frag_now->fr_fix = frag_now_fix_octets (); 2163 frag_wane (frag_now); 2164 } 2165 2166 /* Cleanup hash. */ 2167 hash_traverse (list.indexes, free_section_idx); 2168 hash_die (list.indexes); 2169 } 2170 2171 void 2172 elf_frob_file (void) 2173 { 2174 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL); 2175 2176 #ifdef elf_tc_final_processing 2177 elf_tc_final_processing (); 2178 #endif 2179 } 2180 2181 /* It removes any unneeded versioned symbols from the symbol table. */ 2182 2183 void 2184 elf_frob_file_before_adjust (void) 2185 { 2186 if (symbol_rootP) 2187 { 2188 symbolS *symp; 2189 2190 for (symp = symbol_rootP; symp; symp = symbol_next (symp)) 2191 if (!S_IS_DEFINED (symp)) 2192 { 2193 if (symbol_get_obj (symp)->versioned_name) 2194 { 2195 char *p; 2196 2197 /* The @@@ syntax is a special case. If the symbol is 2198 not defined, 2 `@'s will be removed from the 2199 versioned_name. */ 2200 2201 p = strchr (symbol_get_obj (symp)->versioned_name, 2202 ELF_VER_CHR); 2203 know (p != NULL); 2204 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR) 2205 { 2206 size_t l = strlen (&p[3]) + 1; 2207 memmove (&p[1], &p[3], l); 2208 } 2209 if (symbol_used_p (symp) == 0 2210 && symbol_used_in_reloc_p (symp) == 0) 2211 symbol_remove (symp, &symbol_rootP, &symbol_lastP); 2212 } 2213 2214 /* If there was .weak foo, but foo was neither defined nor 2215 used anywhere, remove it. */ 2216 2217 else if (S_IS_WEAK (symp) 2218 && symbol_used_p (symp) == 0 2219 && symbol_used_in_reloc_p (symp) == 0) 2220 symbol_remove (symp, &symbol_rootP, &symbol_lastP); 2221 } 2222 } 2223 } 2224 2225 /* It is required that we let write_relocs have the opportunity to 2226 optimize away fixups before output has begun, since it is possible 2227 to eliminate all fixups for a section and thus we never should 2228 have generated the relocation section. */ 2229 2230 void 2231 elf_frob_file_after_relocs (void) 2232 { 2233 #ifdef NEED_ECOFF_DEBUG 2234 if (ECOFF_DEBUGGING) 2235 /* Generate the ECOFF debugging information. */ 2236 { 2237 const struct ecoff_debug_swap *debug_swap; 2238 struct ecoff_debug_info debug; 2239 char *buf; 2240 asection *sec; 2241 2242 debug_swap 2243 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap; 2244 know (debug_swap != NULL); 2245 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap); 2246 2247 /* Set up the pointers in debug. */ 2248 #define SET(ptr, offset, type) \ 2249 debug.ptr = (type) (buf + debug.symbolic_header.offset) 2250 2251 SET (line, cbLineOffset, unsigned char *); 2252 SET (external_dnr, cbDnOffset, void *); 2253 SET (external_pdr, cbPdOffset, void *); 2254 SET (external_sym, cbSymOffset, void *); 2255 SET (external_opt, cbOptOffset, void *); 2256 SET (external_aux, cbAuxOffset, union aux_ext *); 2257 SET (ss, cbSsOffset, char *); 2258 SET (external_fdr, cbFdOffset, void *); 2259 SET (external_rfd, cbRfdOffset, void *); 2260 /* ssext and external_ext are set up just below. */ 2261 2262 #undef SET 2263 2264 /* Set up the external symbols. */ 2265 debug.ssext = debug.ssext_end = NULL; 2266 debug.external_ext = debug.external_ext_end = NULL; 2267 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE, 2268 elf_get_extr, elf_set_index)) 2269 as_fatal (_("failed to set up debugging information: %s"), 2270 bfd_errmsg (bfd_get_error ())); 2271 2272 sec = bfd_get_section_by_name (stdoutput, ".mdebug"); 2273 gas_assert (sec != NULL); 2274 2275 know (!stdoutput->output_has_begun); 2276 2277 /* We set the size of the section, call bfd_set_section_contents 2278 to force the ELF backend to allocate a file position, and then 2279 write out the data. FIXME: Is this really the best way to do 2280 this? */ 2281 bfd_set_section_size 2282 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap)); 2283 2284 /* Pass BUF to bfd_set_section_contents because this will 2285 eventually become a call to fwrite, and ISO C prohibits 2286 passing a NULL pointer to a stdio function even if the 2287 pointer will not be used. */ 2288 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0)) 2289 as_fatal (_("can't start writing .mdebug section: %s"), 2290 bfd_errmsg (bfd_get_error ())); 2291 2292 know (stdoutput->output_has_begun); 2293 know (sec->filepos != 0); 2294 2295 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap, 2296 sec->filepos)) 2297 as_fatal (_("could not write .mdebug section: %s"), 2298 bfd_errmsg (bfd_get_error ())); 2299 } 2300 #endif /* NEED_ECOFF_DEBUG */ 2301 } 2302 2303 #ifdef SCO_ELF 2304 2305 /* Heavily plagiarized from obj_elf_version. The idea is to emit the 2306 SCO specific identifier in the .notes section to satisfy the SCO 2307 linker. 2308 2309 This looks more complicated than it really is. As opposed to the 2310 "obvious" solution, this should handle the cross dev cases 2311 correctly. (i.e, hosting on a 64 bit big endian processor, but 2312 generating SCO Elf code) Efficiency isn't a concern, as there 2313 should be exactly one of these sections per object module. 2314 2315 SCO OpenServer 5 identifies it's ELF modules with a standard ELF 2316 .note section. 2317 2318 int_32 namesz = 4 ; Name size 2319 int_32 descsz = 12 ; Descriptive information 2320 int_32 type = 1 ; 2321 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL 2322 int_32 version = (major ver # << 16) | version of tools ; 2323 int_32 source = (tool_id << 16 ) | 1 ; 2324 int_32 info = 0 ; These are set by the SCO tools, but we 2325 don't know enough about the source 2326 environment to set them. SCO ld currently 2327 ignores them, and recommends we set them 2328 to zero. */ 2329 2330 #define SCO_MAJOR_VERSION 0x1 2331 #define SCO_MINOR_VERSION 0x1 2332 2333 void 2334 sco_id (void) 2335 { 2336 2337 char *name; 2338 unsigned int c; 2339 char ch; 2340 char *p; 2341 asection *seg = now_seg; 2342 subsegT subseg = now_subseg; 2343 Elf_Internal_Note i_note; 2344 Elf_External_Note e_note; 2345 asection *note_secp = NULL; 2346 int i, len; 2347 2348 /* create the .note section */ 2349 2350 note_secp = subseg_new (".note", 0); 2351 bfd_set_section_flags (stdoutput, 2352 note_secp, 2353 SEC_HAS_CONTENTS | SEC_READONLY); 2354 2355 /* process the version string */ 2356 2357 i_note.namesz = 4; 2358 i_note.descsz = 12; /* 12 descriptive bytes */ 2359 i_note.type = NT_VERSION; /* Contains a version string */ 2360 2361 p = frag_more (sizeof (i_note.namesz)); 2362 md_number_to_chars (p, i_note.namesz, 4); 2363 2364 p = frag_more (sizeof (i_note.descsz)); 2365 md_number_to_chars (p, i_note.descsz, 4); 2366 2367 p = frag_more (sizeof (i_note.type)); 2368 md_number_to_chars (p, i_note.type, 4); 2369 2370 p = frag_more (4); 2371 strcpy (p, "SCO"); 2372 2373 /* Note: this is the version number of the ELF we're representing */ 2374 p = frag_more (4); 2375 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4); 2376 2377 /* Here, we pick a magic number for ourselves (yes, I "registered" 2378 it with SCO. The bottom bit shows that we are compat with the 2379 SCO ABI. */ 2380 p = frag_more (4); 2381 md_number_to_chars (p, 0x4c520000 | 0x0001, 4); 2382 2383 /* If we knew (or cared) what the source language options were, we'd 2384 fill them in here. SCO has given us permission to ignore these 2385 and just set them to zero. */ 2386 p = frag_more (4); 2387 md_number_to_chars (p, 0x0000, 4); 2388 2389 frag_align (2, 0, 0); 2390 2391 /* We probably can't restore the current segment, for there likely 2392 isn't one yet... */ 2393 if (seg && subseg) 2394 subseg_set (seg, subseg); 2395 2396 } 2397 2398 #endif /* SCO_ELF */ 2399 2400 static void 2401 elf_generate_asm_lineno (void) 2402 { 2403 #ifdef NEED_ECOFF_DEBUG 2404 if (ECOFF_DEBUGGING) 2405 ecoff_generate_asm_lineno (); 2406 #endif 2407 } 2408 2409 static void 2410 elf_process_stab (segT sec ATTRIBUTE_UNUSED, 2411 int what ATTRIBUTE_UNUSED, 2412 const char *string ATTRIBUTE_UNUSED, 2413 int type ATTRIBUTE_UNUSED, 2414 int other ATTRIBUTE_UNUSED, 2415 int desc ATTRIBUTE_UNUSED) 2416 { 2417 #ifdef NEED_ECOFF_DEBUG 2418 if (ECOFF_DEBUGGING) 2419 ecoff_stab (sec, what, string, type, other, desc); 2420 #endif 2421 } 2422 2423 static int 2424 elf_separate_stab_sections (void) 2425 { 2426 #ifdef NEED_ECOFF_DEBUG 2427 return (!ECOFF_DEBUGGING); 2428 #else 2429 return 1; 2430 #endif 2431 } 2432 2433 static void 2434 elf_init_stab_section (segT seg) 2435 { 2436 #ifdef NEED_ECOFF_DEBUG 2437 if (!ECOFF_DEBUGGING) 2438 #endif 2439 obj_elf_init_stab_section (seg); 2440 } 2441 2442 const struct format_ops elf_format_ops = 2443 { 2444 bfd_target_elf_flavour, 2445 0, /* dfl_leading_underscore */ 2446 1, /* emit_section_symbols */ 2447 elf_begin, 2448 elf_file_symbol, 2449 elf_frob_symbol, 2450 elf_frob_file, 2451 elf_frob_file_before_adjust, 2452 0, /* obj_frob_file_before_fix */ 2453 elf_frob_file_after_relocs, 2454 elf_s_get_size, elf_s_set_size, 2455 elf_s_get_align, elf_s_set_align, 2456 elf_s_get_other, 2457 elf_s_set_other, 2458 0, /* s_get_desc */ 2459 0, /* s_set_desc */ 2460 0, /* s_get_type */ 2461 0, /* s_set_type */ 2462 elf_copy_symbol_attributes, 2463 elf_generate_asm_lineno, 2464 elf_process_stab, 2465 elf_separate_stab_sections, 2466 elf_init_stab_section, 2467 elf_sec_sym_ok_for_reloc, 2468 elf_pop_insert, 2469 #ifdef NEED_ECOFF_DEBUG 2470 elf_ecoff_set_ext, 2471 #else 2472 0, /* ecoff_set_ext */ 2473 #endif 2474 elf_obj_read_begin_hook, 2475 elf_obj_symbol_new_hook, 2476 0, 2477 elf_adjust_symtab 2478 }; 2479