1 // archive.cc -- archive support for gold 2 3 // Copyright (C) 2006-2016 Free Software Foundation, Inc. 4 // Written by Ian Lance Taylor <iant (at) google.com>. 5 6 // This file is part of gold. 7 8 // This program is free software; you can redistribute it and/or modify 9 // it under the terms of the GNU General Public License as published by 10 // the Free Software Foundation; either version 3 of the License, or 11 // (at your option) any later version. 12 13 // This program is distributed in the hope that it will be useful, 14 // but WITHOUT ANY WARRANTY; without even the implied warranty of 15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 // GNU General Public License for more details. 17 18 // You should have received a copy of the GNU General Public License 19 // along with this program; if not, write to the Free Software 20 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, 21 // MA 02110-1301, USA. 22 23 #include "gold.h" 24 25 #include <cerrno> 26 #include <cstring> 27 #include <climits> 28 #include <vector> 29 #include "libiberty.h" 30 #include "filenames.h" 31 32 #include "elfcpp.h" 33 #include "options.h" 34 #include "mapfile.h" 35 #include "fileread.h" 36 #include "readsyms.h" 37 #include "symtab.h" 38 #include "object.h" 39 #include "layout.h" 40 #include "archive.h" 41 #include "plugin.h" 42 #include "incremental.h" 43 44 namespace gold 45 { 46 47 // Library_base methods. 48 49 // Determine whether a definition of SYM_NAME should cause an archive 50 // library member to be included in the link. Returns SHOULD_INCLUDE_YES 51 // if the symbol is referenced but not defined, SHOULD_INCLUDE_NO if the 52 // symbol is already defined, and SHOULD_INCLUDE_UNKNOWN if the symbol is 53 // neither referenced nor defined. 54 55 Library_base::Should_include 56 Library_base::should_include_member(Symbol_table* symtab, Layout* layout, 57 const char* sym_name, Symbol** symp, 58 std::string* why, char** tmpbufp, 59 size_t* tmpbuflen) 60 { 61 // In an object file, and therefore in an archive map, an 62 // '@' in the name separates the symbol name from the 63 // version name. If there are two '@' characters, this is 64 // the default version. 65 char* tmpbuf = *tmpbufp; 66 const char* ver = strchr(sym_name, '@'); 67 bool def = false; 68 if (ver != NULL) 69 { 70 size_t symlen = ver - sym_name; 71 if (symlen + 1 > *tmpbuflen) 72 { 73 tmpbuf = static_cast<char*>(xrealloc(tmpbuf, symlen + 1)); 74 *tmpbufp = tmpbuf; 75 *tmpbuflen = symlen + 1; 76 } 77 memcpy(tmpbuf, sym_name, symlen); 78 tmpbuf[symlen] = '\0'; 79 sym_name = tmpbuf; 80 81 ++ver; 82 if (*ver == '@') 83 { 84 ++ver; 85 def = true; 86 } 87 } 88 89 Symbol* sym = symtab->lookup(sym_name, ver); 90 if (def 91 && ver != NULL 92 && (sym == NULL 93 || !sym->is_undefined() 94 || sym->binding() == elfcpp::STB_WEAK)) 95 sym = symtab->lookup(sym_name, NULL); 96 97 *symp = sym; 98 99 if (sym != NULL) 100 { 101 if (!sym->is_undefined()) 102 return Library_base::SHOULD_INCLUDE_NO; 103 104 // PR 12001: Do not include an archive when the undefined 105 // symbol has actually been defined on the command line. 106 if (layout->script_options()->is_pending_assignment(sym_name)) 107 return Library_base::SHOULD_INCLUDE_NO; 108 109 // If the symbol is weak undefined, we still need to check 110 // for other reasons (like a -u option). 111 if (sym->binding() != elfcpp::STB_WEAK) 112 return Library_base::SHOULD_INCLUDE_YES; 113 } 114 115 // Check whether the symbol was named in a -u option. 116 if (parameters->options().is_undefined(sym_name)) 117 { 118 *why = "-u "; 119 *why += sym_name; 120 return Library_base::SHOULD_INCLUDE_YES; 121 } 122 123 if (parameters->options().is_export_dynamic_symbol(sym_name)) 124 { 125 *why = "--export-dynamic-symbol "; 126 *why += sym_name; 127 return Library_base::SHOULD_INCLUDE_YES; 128 } 129 130 if (layout->script_options()->is_referenced(sym_name)) 131 { 132 size_t alc = 100 + strlen(sym_name); 133 char* buf = new char[alc]; 134 snprintf(buf, alc, _("script or expression reference to %s"), 135 sym_name); 136 *why = buf; 137 delete[] buf; 138 return Library_base::SHOULD_INCLUDE_YES; 139 } 140 141 if (!parameters->options().relocatable()) 142 { 143 const char* entry_sym = parameters->entry(); 144 if (entry_sym != NULL && strcmp(sym_name, entry_sym) == 0) 145 { 146 *why = "entry symbol "; 147 *why += sym_name; 148 return Library_base::SHOULD_INCLUDE_YES; 149 } 150 } 151 152 return Library_base::SHOULD_INCLUDE_UNKNOWN; 153 } 154 155 // The header of an entry in the archive. This is all readable text, 156 // padded with spaces where necessary. If the contents of an archive 157 // are all text file, the entire archive is readable. 158 159 struct Archive::Archive_header 160 { 161 // The entry name. 162 char ar_name[16]; 163 // The file modification time. 164 char ar_date[12]; 165 // The user's UID in decimal. 166 char ar_uid[6]; 167 // The user's GID in decimal. 168 char ar_gid[6]; 169 // The file mode in octal. 170 char ar_mode[8]; 171 // The file size in decimal. 172 char ar_size[10]; 173 // The final magic code. 174 char ar_fmag[2]; 175 }; 176 177 // Class Archive static variables. 178 unsigned int Archive::total_archives; 179 unsigned int Archive::total_members; 180 unsigned int Archive::total_members_loaded; 181 182 // Archive methods. 183 184 const char Archive::armag[sarmag] = 185 { 186 '!', '<', 'a', 'r', 'c', 'h', '>', '\n' 187 }; 188 189 const char Archive::armagt[sarmag] = 190 { 191 '!', '<', 't', 'h', 'i', 'n', '>', '\n' 192 }; 193 194 const char Archive::arfmag[2] = { '`', '\n' }; 195 196 const char Archive::sym64name[7] = { '/', 'S', 'Y', 'M', '6', '4', '/' }; 197 198 Archive::Archive(const std::string& name, Input_file* input_file, 199 bool is_thin_archive, Dirsearch* dirpath, Task* task) 200 : Library_base(task), name_(name), input_file_(input_file), armap_(), 201 armap_names_(), extended_names_(), armap_checked_(), seen_offsets_(), 202 members_(), is_thin_archive_(is_thin_archive), included_member_(false), 203 nested_archives_(), dirpath_(dirpath), num_members_(0), 204 included_all_members_(false) 205 { 206 this->no_export_ = 207 parameters->options().check_excluded_libs(input_file->found_name()); 208 } 209 210 // Set up the archive: read the symbol map and the extended name 211 // table. 212 213 void 214 Archive::setup() 215 { 216 // We need to ignore empty archives. 217 if (this->input_file_->file().filesize() == sarmag) 218 return; 219 220 // The first member of the archive should be the symbol table. 221 std::string armap_name; 222 off_t header_size = this->read_header(sarmag, false, &armap_name, NULL); 223 if (header_size == -1) 224 return; 225 226 section_size_type armap_size = convert_to_section_size_type(header_size); 227 off_t off = sarmag; 228 if (armap_name.empty()) 229 { 230 this->read_armap<32>(sarmag + sizeof(Archive_header), armap_size); 231 off = sarmag + sizeof(Archive_header) + armap_size; 232 } 233 else if (armap_name == "/SYM64/") 234 { 235 this->read_armap<64>(sarmag + sizeof(Archive_header), armap_size); 236 off = sarmag + sizeof(Archive_header) + armap_size; 237 } 238 else if (!this->input_file_->options().whole_archive()) 239 gold_error(_("%s: no archive symbol table (run ranlib)"), 240 this->name().c_str()); 241 242 // See if there is an extended name table. We cache these views 243 // because it is likely that we will want to read the following 244 // header in the add_symbols routine. 245 if ((off & 1) != 0) 246 ++off; 247 std::string xname; 248 header_size = this->read_header(off, true, &xname, NULL); 249 if (header_size == -1) 250 return; 251 252 section_size_type extended_size = convert_to_section_size_type(header_size); 253 if (xname == "/") 254 { 255 const unsigned char* p = this->get_view(off + sizeof(Archive_header), 256 extended_size, false, true); 257 const char* px = reinterpret_cast<const char*>(p); 258 this->extended_names_.assign(px, extended_size); 259 } 260 bool preread_syms = (parameters->options().threads() 261 && parameters->options().preread_archive_symbols()); 262 #ifndef ENABLE_THREADS 263 preread_syms = false; 264 #else 265 if (parameters->options().has_plugins()) 266 preread_syms = false; 267 #endif 268 if (preread_syms) 269 this->read_all_symbols(); 270 } 271 272 // Unlock any nested archives. 273 274 void 275 Archive::unlock_nested_archives() 276 { 277 for (Nested_archive_table::iterator p = this->nested_archives_.begin(); 278 p != this->nested_archives_.end(); 279 ++p) 280 { 281 p->second->unlock(this->task_); 282 } 283 } 284 285 // Read the archive symbol map. 286 287 template<int mapsize> 288 void 289 Archive::read_armap(off_t start, section_size_type size) 290 { 291 // To count the total number of archive members, we'll just count 292 // the number of times the file offset changes. Since most archives 293 // group the symbols in the armap by object, this ought to give us 294 // an accurate count. 295 off_t last_seen_offset = -1; 296 297 // Read in the entire armap. 298 const unsigned char* p = this->get_view(start, size, true, false); 299 300 // Numbers in the armap are always big-endian. 301 typedef typename elfcpp::Elf_types<mapsize>::Elf_Addr Entry_type; 302 const Entry_type* pword = reinterpret_cast<const Entry_type*>(p); 303 unsigned long nsyms = convert_types<unsigned long, Entry_type>( 304 elfcpp::Swap<mapsize, true>::readval(pword)); 305 ++pword; 306 307 // Note that the addition is in units of sizeof(elfcpp::Elf_Word). 308 const char* pnames = reinterpret_cast<const char*>(pword + nsyms); 309 section_size_type names_size = 310 reinterpret_cast<const char*>(p) + size - pnames; 311 this->armap_names_.assign(pnames, names_size); 312 313 this->armap_.resize(nsyms); 314 315 section_offset_type name_offset = 0; 316 for (unsigned long i = 0; i < nsyms; ++i) 317 { 318 this->armap_[i].name_offset = name_offset; 319 this->armap_[i].file_offset = convert_types<off_t, Entry_type>( 320 elfcpp::Swap<mapsize, true>::readval(pword)); 321 name_offset += strlen(pnames + name_offset) + 1; 322 ++pword; 323 if (this->armap_[i].file_offset != last_seen_offset) 324 { 325 last_seen_offset = this->armap_[i].file_offset; 326 ++this->num_members_; 327 } 328 } 329 330 if (static_cast<section_size_type>(name_offset) > names_size) 331 gold_error(_("%s: bad archive symbol table names"), 332 this->name().c_str()); 333 334 // This array keeps track of which symbols are for archive elements 335 // which we have already included in the link. 336 this->armap_checked_.resize(nsyms); 337 } 338 339 // Read the header of an archive member at OFF. Fail if something 340 // goes wrong. Return the size of the member. Set *PNAME to the name 341 // of the member. 342 343 off_t 344 Archive::read_header(off_t off, bool cache, std::string* pname, 345 off_t* nested_off) 346 { 347 const unsigned char* p = this->get_view(off, sizeof(Archive_header), true, 348 cache); 349 const Archive_header* hdr = reinterpret_cast<const Archive_header*>(p); 350 return this->interpret_header(hdr, off, pname, nested_off); 351 } 352 353 // Interpret the header of HDR, the header of the archive member at 354 // file offset OFF. Return the size of the member, or -1 if something 355 // has gone wrong. Set *PNAME to the name of the member. 356 357 off_t 358 Archive::interpret_header(const Archive_header* hdr, off_t off, 359 std::string* pname, off_t* nested_off) const 360 { 361 if (memcmp(hdr->ar_fmag, arfmag, sizeof arfmag) != 0) 362 { 363 gold_error(_("%s: malformed archive header at %zu"), 364 this->name().c_str(), static_cast<size_t>(off)); 365 return -1; 366 } 367 368 const int size_string_size = sizeof hdr->ar_size; 369 char size_string[size_string_size + 1]; 370 memcpy(size_string, hdr->ar_size, size_string_size); 371 char* ps = size_string + size_string_size; 372 while (ps[-1] == ' ') 373 --ps; 374 *ps = '\0'; 375 376 errno = 0; 377 char* end; 378 off_t member_size = strtol(size_string, &end, 10); 379 if (*end != '\0' 380 || member_size < 0 381 || (member_size == LONG_MAX && errno == ERANGE)) 382 { 383 gold_error(_("%s: malformed archive header size at %zu"), 384 this->name().c_str(), static_cast<size_t>(off)); 385 return -1; 386 } 387 388 if (hdr->ar_name[0] != '/') 389 { 390 const char* name_end = strchr(hdr->ar_name, '/'); 391 if (name_end == NULL 392 || name_end - hdr->ar_name >= static_cast<int>(sizeof hdr->ar_name)) 393 { 394 gold_error(_("%s: malformed archive header name at %zu"), 395 this->name().c_str(), static_cast<size_t>(off)); 396 return -1; 397 } 398 pname->assign(hdr->ar_name, name_end - hdr->ar_name); 399 if (nested_off != NULL) 400 *nested_off = 0; 401 } 402 else if (hdr->ar_name[1] == ' ') 403 { 404 // This is the symbol table. 405 if (!pname->empty()) 406 pname->clear(); 407 } 408 else if (memcmp(hdr->ar_name, sym64name, sizeof sym64name) == 0) 409 { 410 // This is the symbol table, 64-bit version. 411 pname->assign(sym64name, sizeof sym64name); 412 } 413 else if (hdr->ar_name[1] == '/') 414 { 415 // This is the extended name table. 416 pname->assign(1, '/'); 417 } 418 else 419 { 420 errno = 0; 421 long x = strtol(hdr->ar_name + 1, &end, 10); 422 long y = 0; 423 if (*end == ':') 424 y = strtol(end + 1, &end, 10); 425 if (*end != ' ' 426 || x < 0 427 || (x == LONG_MAX && errno == ERANGE) 428 || static_cast<size_t>(x) >= this->extended_names_.size()) 429 { 430 gold_error(_("%s: bad extended name index at %zu"), 431 this->name().c_str(), static_cast<size_t>(off)); 432 return -1; 433 } 434 435 const char* name = this->extended_names_.data() + x; 436 const char* name_end = strchr(name, '\n'); 437 if (static_cast<size_t>(name_end - name) > this->extended_names_.size() 438 || name_end[-1] != '/') 439 { 440 gold_error(_("%s: bad extended name entry at header %zu"), 441 this->name().c_str(), static_cast<size_t>(off)); 442 return -1; 443 } 444 pname->assign(name, name_end - 1 - name); 445 if (nested_off != NULL) 446 *nested_off = y; 447 } 448 449 return member_size; 450 } 451 452 // An archive member iterator. 453 454 class Archive::const_iterator 455 { 456 public: 457 // The header of an archive member. This is what this iterator 458 // points to. 459 struct Header 460 { 461 // The name of the member. 462 std::string name; 463 // The file offset of the member. 464 off_t off; 465 // The file offset of a nested archive member. 466 off_t nested_off; 467 // The size of the member. 468 off_t size; 469 }; 470 471 const_iterator(Archive* archive, off_t off) 472 : archive_(archive), off_(off) 473 { this->read_next_header(); } 474 475 const Header& 476 operator*() const 477 { return this->header_; } 478 479 const Header* 480 operator->() const 481 { return &this->header_; } 482 483 const_iterator& 484 operator++() 485 { 486 if (this->off_ == this->archive_->file().filesize()) 487 return *this; 488 this->off_ += sizeof(Archive_header); 489 if (!this->archive_->is_thin_archive()) 490 this->off_ += this->header_.size; 491 if ((this->off_ & 1) != 0) 492 ++this->off_; 493 this->read_next_header(); 494 return *this; 495 } 496 497 const_iterator 498 operator++(int) 499 { 500 const_iterator ret = *this; 501 ++*this; 502 return ret; 503 } 504 505 bool 506 operator==(const const_iterator p) const 507 { return this->off_ == p->off; } 508 509 bool 510 operator!=(const const_iterator p) const 511 { return this->off_ != p->off; } 512 513 private: 514 void 515 read_next_header(); 516 517 // The underlying archive. 518 Archive* archive_; 519 // The current offset in the file. 520 off_t off_; 521 // The current archive header. 522 Header header_; 523 }; 524 525 // Read the next archive header. 526 527 void 528 Archive::const_iterator::read_next_header() 529 { 530 off_t filesize = this->archive_->file().filesize(); 531 while (true) 532 { 533 if (filesize - this->off_ < static_cast<off_t>(sizeof(Archive_header))) 534 { 535 if (filesize != this->off_) 536 { 537 gold_error(_("%s: short archive header at %zu"), 538 this->archive_->filename().c_str(), 539 static_cast<size_t>(this->off_)); 540 this->off_ = filesize; 541 } 542 this->header_.off = filesize; 543 return; 544 } 545 546 unsigned char buf[sizeof(Archive_header)]; 547 this->archive_->file().read(this->off_, sizeof(Archive_header), buf); 548 549 const Archive_header* hdr = reinterpret_cast<const Archive_header*>(buf); 550 off_t size = this->archive_->interpret_header(hdr, this->off_, 551 &this->header_.name, 552 &this->header_.nested_off); 553 if (size == -1) 554 { 555 this->header_.off = filesize; 556 return; 557 } 558 559 this->header_.size = size; 560 this->header_.off = this->off_; 561 562 // Skip special members. 563 if (!this->header_.name.empty() 564 && this->header_.name != "/" 565 && this->header_.name != "/SYM64/") 566 return; 567 568 this->off_ += sizeof(Archive_header) + this->header_.size; 569 if ((this->off_ & 1) != 0) 570 ++this->off_; 571 } 572 } 573 574 // Initial iterator. 575 576 Archive::const_iterator 577 Archive::begin() 578 { 579 return Archive::const_iterator(this, sarmag); 580 } 581 582 // Final iterator. 583 584 Archive::const_iterator 585 Archive::end() 586 { 587 return Archive::const_iterator(this, this->input_file_->file().filesize()); 588 } 589 590 // Get the file and offset for an archive member, which may be an 591 // external member of a thin archive. Set *INPUT_FILE to the 592 // file containing the actual member, *MEMOFF to the offset 593 // within that file (0 if not a nested archive), and *MEMBER_NAME 594 // to the name of the archive member. Return TRUE on success. 595 596 bool 597 Archive::get_file_and_offset(off_t off, Input_file** input_file, off_t* memoff, 598 off_t* memsize, std::string* member_name) 599 { 600 off_t nested_off; 601 602 *memsize = this->read_header(off, false, member_name, &nested_off); 603 if (*memsize == -1) 604 return false; 605 606 *input_file = this->input_file_; 607 *memoff = off + static_cast<off_t>(sizeof(Archive_header)); 608 609 if (!this->is_thin_archive_) 610 return true; 611 612 // Adjust a relative pathname so that it is relative 613 // to the directory containing the archive. 614 if (!IS_ABSOLUTE_PATH(member_name->c_str())) 615 { 616 const char* arch_path = this->filename().c_str(); 617 const char* basename = lbasename(arch_path); 618 if (basename > arch_path) 619 member_name->replace(0, 0, 620 this->filename().substr(0, basename - arch_path)); 621 } 622 623 if (nested_off > 0) 624 { 625 // This is a member of a nested archive. Open the containing 626 // archive if we don't already have it open, then do a recursive 627 // call to include the member from that archive. 628 Archive* arch; 629 Nested_archive_table::const_iterator p = 630 this->nested_archives_.find(*member_name); 631 if (p != this->nested_archives_.end()) 632 arch = p->second; 633 else 634 { 635 Input_file_argument* input_file_arg = 636 new Input_file_argument(member_name->c_str(), 637 Input_file_argument::INPUT_FILE_TYPE_FILE, 638 "", false, parameters->options()); 639 *input_file = new Input_file(input_file_arg); 640 int dummy = 0; 641 if (!(*input_file)->open(*this->dirpath_, this->task_, &dummy)) 642 return false; 643 arch = new Archive(*member_name, *input_file, false, this->dirpath_, 644 this->task_); 645 arch->setup(); 646 std::pair<Nested_archive_table::iterator, bool> ins = 647 this->nested_archives_.insert(std::make_pair(*member_name, arch)); 648 gold_assert(ins.second); 649 } 650 return arch->get_file_and_offset(nested_off, input_file, memoff, 651 memsize, member_name); 652 } 653 654 // This is an external member of a thin archive. Open the 655 // file as a regular relocatable object file. 656 Input_file_argument* input_file_arg = 657 new Input_file_argument(member_name->c_str(), 658 Input_file_argument::INPUT_FILE_TYPE_FILE, 659 "", false, this->input_file_->options()); 660 *input_file = new Input_file(input_file_arg); 661 int dummy = 0; 662 if (!(*input_file)->open(*this->dirpath_, this->task_, &dummy)) 663 return false; 664 665 *memoff = 0; 666 *memsize = (*input_file)->file().filesize(); 667 return true; 668 } 669 670 // Return an ELF object for the member at offset OFF. If 671 // PUNCONFIGURED is not NULL, then if the ELF object has an 672 // unsupported target type, set *PUNCONFIGURED to true and return 673 // NULL. 674 675 Object* 676 Archive::get_elf_object_for_member(off_t off, bool* punconfigured) 677 { 678 if (punconfigured != NULL) 679 *punconfigured = false; 680 681 Input_file* input_file; 682 off_t memoff; 683 off_t memsize; 684 std::string member_name; 685 if (!this->get_file_and_offset(off, &input_file, &memoff, &memsize, 686 &member_name)) 687 return NULL; 688 689 const unsigned char* ehdr; 690 int read_size; 691 Object *obj = NULL; 692 bool is_elf_obj = false; 693 694 if (is_elf_object(input_file, memoff, &ehdr, &read_size)) 695 { 696 obj = make_elf_object((std::string(this->input_file_->filename()) 697 + "(" + member_name + ")"), 698 input_file, memoff, ehdr, read_size, 699 punconfigured); 700 is_elf_obj = true; 701 } 702 703 if (parameters->options().has_plugins()) 704 { 705 Object* plugin_obj 706 = parameters->options().plugins()->claim_file(input_file, 707 memoff, 708 memsize, 709 obj); 710 if (plugin_obj != NULL) 711 { 712 // The input file was claimed by a plugin, and its symbols 713 // have been provided by the plugin. 714 // Delete its elf object. 715 if (obj != NULL) 716 delete obj; 717 return plugin_obj; 718 } 719 } 720 721 if (!is_elf_obj) 722 { 723 gold_error(_("%s: member at %zu is not an ELF object"), 724 this->name().c_str(), static_cast<size_t>(off)); 725 return NULL; 726 } 727 728 if (obj == NULL) 729 return NULL; 730 obj->set_no_export(this->no_export()); 731 return obj; 732 } 733 734 // Read the symbols from all the archive members in the link. 735 736 void 737 Archive::read_all_symbols() 738 { 739 for (Archive::const_iterator p = this->begin(); 740 p != this->end(); 741 ++p) 742 this->read_symbols(p->off); 743 } 744 745 // Read the symbols from an archive member in the link. OFF is the file 746 // offset of the member header. 747 748 void 749 Archive::read_symbols(off_t off) 750 { 751 Object* obj = this->get_elf_object_for_member(off, NULL); 752 if (obj == NULL) 753 return; 754 755 Read_symbols_data* sd = new Read_symbols_data; 756 obj->read_symbols(sd); 757 Archive_member member(obj, sd); 758 this->members_[off] = member; 759 } 760 761 // Select members from the archive and add them to the link. We walk 762 // through the elements in the archive map, and look each one up in 763 // the symbol table. If it exists as a strong undefined symbol, we 764 // pull in the corresponding element. We have to do this in a loop, 765 // since pulling in one element may create new undefined symbols which 766 // may be satisfied by other objects in the archive. Return true in 767 // the normal case, false if the first member we tried to add from 768 // this archive had an incompatible target. 769 770 bool 771 Archive::add_symbols(Symbol_table* symtab, Layout* layout, 772 Input_objects* input_objects, Mapfile* mapfile) 773 { 774 ++Archive::total_archives; 775 776 if (this->input_file_->options().whole_archive()) 777 return this->include_all_members(symtab, layout, input_objects, 778 mapfile); 779 780 Archive::total_members += this->num_members_; 781 782 input_objects->archive_start(this); 783 784 const size_t armap_size = this->armap_.size(); 785 786 // This is a quick optimization, since we usually see many symbols 787 // in a row with the same offset. last_seen_offset holds the last 788 // offset we saw that was present in the seen_offsets_ set. 789 off_t last_seen_offset = -1; 790 791 // Track which symbols in the symbol table we've already found to be 792 // defined. 793 794 char* tmpbuf = NULL; 795 size_t tmpbuflen = 0; 796 bool added_new_object; 797 do 798 { 799 added_new_object = false; 800 for (size_t i = 0; i < armap_size; ++i) 801 { 802 if (this->armap_checked_[i]) 803 continue; 804 if (this->armap_[i].file_offset == last_seen_offset) 805 { 806 this->armap_checked_[i] = true; 807 continue; 808 } 809 if (this->seen_offsets_.find(this->armap_[i].file_offset) 810 != this->seen_offsets_.end()) 811 { 812 this->armap_checked_[i] = true; 813 last_seen_offset = this->armap_[i].file_offset; 814 continue; 815 } 816 817 const char* sym_name = (this->armap_names_.data() 818 + this->armap_[i].name_offset); 819 820 Symbol* sym; 821 std::string why; 822 Archive::Should_include t = 823 Archive::should_include_member(symtab, layout, sym_name, &sym, 824 &why, &tmpbuf, &tmpbuflen); 825 826 if (t == Archive::SHOULD_INCLUDE_NO 827 || t == Archive::SHOULD_INCLUDE_YES) 828 this->armap_checked_[i] = true; 829 830 if (t != Archive::SHOULD_INCLUDE_YES) 831 continue; 832 833 // We want to include this object in the link. 834 last_seen_offset = this->armap_[i].file_offset; 835 this->seen_offsets_.insert(last_seen_offset); 836 837 if (!this->include_member(symtab, layout, input_objects, 838 last_seen_offset, mapfile, sym, 839 why.c_str())) 840 { 841 if (tmpbuf != NULL) 842 free(tmpbuf); 843 return false; 844 } 845 846 added_new_object = true; 847 } 848 } 849 while (added_new_object); 850 851 if (tmpbuf != NULL) 852 free(tmpbuf); 853 854 input_objects->archive_stop(this); 855 856 return true; 857 } 858 859 // Return whether the archive includes a member which defines the 860 // symbol SYM. 861 862 bool 863 Archive::defines_symbol(Symbol* sym) const 864 { 865 const char* symname = sym->name(); 866 size_t symname_len = strlen(symname); 867 size_t armap_size = this->armap_.size(); 868 for (size_t i = 0; i < armap_size; ++i) 869 { 870 if (this->armap_checked_[i]) 871 continue; 872 const char* archive_symname = (this->armap_names_.data() 873 + this->armap_[i].name_offset); 874 if (strncmp(archive_symname, symname, symname_len) != 0) 875 continue; 876 char c = archive_symname[symname_len]; 877 if (c == '\0' && sym->version() == NULL) 878 return true; 879 if (c == '@') 880 { 881 const char* ver = archive_symname + symname_len + 1; 882 if (*ver == '@') 883 { 884 if (sym->version() == NULL) 885 return true; 886 ++ver; 887 } 888 if (sym->version() != NULL && strcmp(sym->version(), ver) == 0) 889 return true; 890 } 891 } 892 return false; 893 } 894 895 // Include all the archive members in the link. This is for --whole-archive. 896 897 bool 898 Archive::include_all_members(Symbol_table* symtab, Layout* layout, 899 Input_objects* input_objects, Mapfile* mapfile) 900 { 901 // Don't include the same archive twice. This can happen if 902 // --whole-archive is nested inside --start-group (PR gold/12163). 903 if (this->included_all_members_) 904 return true; 905 906 this->included_all_members_ = true; 907 908 input_objects->archive_start(this); 909 910 if (this->members_.size() > 0) 911 { 912 std::map<off_t, Archive_member>::const_iterator p; 913 for (p = this->members_.begin(); 914 p != this->members_.end(); 915 ++p) 916 { 917 if (!this->include_member(symtab, layout, input_objects, p->first, 918 mapfile, NULL, "--whole-archive")) 919 return false; 920 ++Archive::total_members; 921 } 922 } 923 else 924 { 925 for (Archive::const_iterator p = this->begin(); 926 p != this->end(); 927 ++p) 928 { 929 if (!this->include_member(symtab, layout, input_objects, p->off, 930 mapfile, NULL, "--whole-archive")) 931 return false; 932 ++Archive::total_members; 933 } 934 } 935 936 input_objects->archive_stop(this); 937 938 return true; 939 } 940 941 // Return the number of members in the archive. This is only used for 942 // reports. 943 944 size_t 945 Archive::count_members() 946 { 947 size_t ret = 0; 948 for (Archive::const_iterator p = this->begin(); 949 p != this->end(); 950 ++p) 951 ++ret; 952 return ret; 953 } 954 955 // RAII class to ensure we unlock the object if it's a member of a 956 // thin archive. We can't use Task_lock_obj in Archive::include_member 957 // because the object file is already locked when it's opened by 958 // get_elf_object_for_member. 959 960 class Thin_archive_object_unlocker 961 { 962 public: 963 Thin_archive_object_unlocker(const Task *task, Object* obj) 964 : task_(task), obj_(obj) 965 { } 966 967 ~Thin_archive_object_unlocker() 968 { 969 if (this->obj_->offset() == 0) 970 this->obj_->unlock(this->task_); 971 } 972 973 private: 974 Thin_archive_object_unlocker(const Thin_archive_object_unlocker&); 975 Thin_archive_object_unlocker& operator=(const Thin_archive_object_unlocker&); 976 977 const Task* task_; 978 Object* obj_; 979 }; 980 981 // Include an archive member in the link. OFF is the file offset of 982 // the member header. WHY is the reason we are including this member. 983 // Return true if we added the member or if we had an error, return 984 // false if this was the first member we tried to add from this 985 // archive and it had an incompatible format. 986 987 bool 988 Archive::include_member(Symbol_table* symtab, Layout* layout, 989 Input_objects* input_objects, off_t off, 990 Mapfile* mapfile, Symbol* sym, const char* why) 991 { 992 ++Archive::total_members_loaded; 993 994 std::map<off_t, Archive_member>::const_iterator p = this->members_.find(off); 995 if (p != this->members_.end()) 996 { 997 Object* obj = p->second.obj_; 998 999 Read_symbols_data* sd = p->second.sd_; 1000 if (mapfile != NULL) 1001 mapfile->report_include_archive_member(obj->name(), sym, why); 1002 if (input_objects->add_object(obj)) 1003 { 1004 obj->layout(symtab, layout, sd); 1005 obj->add_symbols(symtab, sd, layout); 1006 this->included_member_ = true; 1007 } 1008 delete sd; 1009 return true; 1010 } 1011 1012 // If this is the first object we are including from this archive, 1013 // and we searched for this archive, most likely because it was 1014 // found via a -l option, then if the target is incompatible we want 1015 // to move on to the next archive found in the search path. 1016 bool unconfigured = false; 1017 bool* punconfigured = NULL; 1018 if (!this->included_member_ && this->searched_for()) 1019 punconfigured = &unconfigured; 1020 1021 Object* obj = this->get_elf_object_for_member(off, punconfigured); 1022 if (obj == NULL) 1023 { 1024 // Return false to search for another archive, true if we found 1025 // an error. 1026 return unconfigured ? false : true; 1027 } 1028 1029 // If the object is an external member of a thin archive, 1030 // unlock it when we're done here. 1031 Thin_archive_object_unlocker unlocker(this->task_, obj); 1032 1033 if (mapfile != NULL) 1034 mapfile->report_include_archive_member(obj->name(), sym, why); 1035 1036 Pluginobj* pluginobj = obj->pluginobj(); 1037 if (pluginobj != NULL) 1038 { 1039 pluginobj->add_symbols(symtab, NULL, layout); 1040 this->included_member_ = true; 1041 return true; 1042 } 1043 1044 if (!input_objects->add_object(obj)) 1045 { 1046 delete obj; 1047 return true; 1048 } 1049 1050 if (layout->incremental_inputs() != NULL) 1051 layout->incremental_inputs()->report_object(obj, 0, this, NULL); 1052 1053 { 1054 Read_symbols_data sd; 1055 obj->read_symbols(&sd); 1056 obj->layout(symtab, layout, &sd); 1057 obj->add_symbols(symtab, &sd, layout); 1058 } 1059 1060 this->included_member_ = true; 1061 return true; 1062 } 1063 1064 // Iterate over all unused symbols, and call the visitor class V for each. 1065 1066 void 1067 Archive::do_for_all_unused_symbols(Symbol_visitor_base* v) const 1068 { 1069 for (std::vector<Armap_entry>::const_iterator p = this->armap_.begin(); 1070 p != this->armap_.end(); 1071 ++p) 1072 { 1073 if (this->seen_offsets_.find(p->file_offset) 1074 == this->seen_offsets_.end()) 1075 v->visit(this->armap_names_.data() + p->name_offset); 1076 } 1077 } 1078 1079 // Print statistical information to stderr. This is used for --stats. 1080 1081 void 1082 Archive::print_stats() 1083 { 1084 fprintf(stderr, _("%s: archive libraries: %u\n"), 1085 program_name, Archive::total_archives); 1086 fprintf(stderr, _("%s: total archive members: %u\n"), 1087 program_name, Archive::total_members); 1088 fprintf(stderr, _("%s: loaded archive members: %u\n"), 1089 program_name, Archive::total_members_loaded); 1090 } 1091 1092 // Add_archive_symbols methods. 1093 1094 Add_archive_symbols::~Add_archive_symbols() 1095 { 1096 if (this->this_blocker_ != NULL) 1097 delete this->this_blocker_; 1098 // next_blocker_ is deleted by the task associated with the next 1099 // input file. 1100 } 1101 1102 // Return whether we can add the archive symbols. We are blocked by 1103 // this_blocker_. We block next_blocker_. We also lock the file. 1104 1105 Task_token* 1106 Add_archive_symbols::is_runnable() 1107 { 1108 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) 1109 return this->this_blocker_; 1110 return NULL; 1111 } 1112 1113 void 1114 Add_archive_symbols::locks(Task_locker* tl) 1115 { 1116 tl->add(this, this->next_blocker_); 1117 tl->add(this, this->archive_->token()); 1118 } 1119 1120 void 1121 Add_archive_symbols::run(Workqueue* workqueue) 1122 { 1123 // For an incremental link, begin recording layout information. 1124 Incremental_inputs* incremental_inputs = this->layout_->incremental_inputs(); 1125 if (incremental_inputs != NULL) 1126 { 1127 unsigned int arg_serial = this->input_argument_->file().arg_serial(); 1128 Script_info* script_info = this->input_argument_->script_info(); 1129 incremental_inputs->report_archive_begin(this->archive_, arg_serial, 1130 script_info); 1131 } 1132 1133 bool added = this->archive_->add_symbols(this->symtab_, this->layout_, 1134 this->input_objects_, 1135 this->mapfile_); 1136 this->archive_->unlock_nested_archives(); 1137 1138 this->archive_->release(); 1139 this->archive_->clear_uncached_views(); 1140 1141 if (!added) 1142 { 1143 // This archive holds object files which are incompatible with 1144 // our output file. 1145 Read_symbols::incompatible_warning(this->input_argument_, 1146 this->archive_->input_file()); 1147 Read_symbols::requeue(workqueue, this->input_objects_, this->symtab_, 1148 this->layout_, this->dirpath_, this->dirindex_, 1149 this->mapfile_, this->input_argument_, 1150 this->input_group_, this->next_blocker_); 1151 delete this->archive_; 1152 return; 1153 } 1154 1155 if (this->input_group_ != NULL) 1156 this->input_group_->add_archive(this->archive_); 1157 else 1158 { 1159 // For an incremental link, finish recording the layout information. 1160 if (incremental_inputs != NULL) 1161 incremental_inputs->report_archive_end(this->archive_); 1162 1163 if (!parameters->options().has_plugins() 1164 || this->archive_->input_file()->options().whole_archive()) 1165 { 1166 // We no longer need to know about this archive. 1167 delete this->archive_; 1168 } 1169 else 1170 { 1171 // The plugin interface may want to rescan this archive. 1172 parameters->options().plugins()->save_archive(this->archive_); 1173 } 1174 1175 this->archive_ = NULL; 1176 } 1177 } 1178 1179 // Class Lib_group static variables. 1180 unsigned int Lib_group::total_lib_groups; 1181 unsigned int Lib_group::total_members; 1182 unsigned int Lib_group::total_members_loaded; 1183 1184 Lib_group::Lib_group(const Input_file_lib* lib, Task* task) 1185 : Library_base(task), members_() 1186 { 1187 this->members_.resize(lib->size()); 1188 } 1189 1190 const std::string& 1191 Lib_group::do_filename() const 1192 { 1193 std::string *filename = new std::string("/group/"); 1194 return *filename; 1195 } 1196 1197 // Select members from the lib group and add them to the link. We walk 1198 // through the members, and check if each one up should be included. 1199 // If the object says it should be included, we do so. We have to do 1200 // this in a loop, since including one member may create new undefined 1201 // symbols which may be satisfied by other members. 1202 1203 void 1204 Lib_group::add_symbols(Symbol_table* symtab, Layout* layout, 1205 Input_objects* input_objects) 1206 { 1207 ++Lib_group::total_lib_groups; 1208 1209 Lib_group::total_members += this->members_.size(); 1210 1211 bool added_new_object; 1212 do 1213 { 1214 added_new_object = false; 1215 unsigned int i = 0; 1216 while (i < this->members_.size()) 1217 { 1218 const Archive_member& member = this->members_[i]; 1219 Object* obj = member.obj_; 1220 std::string why; 1221 1222 // Skip files with no symbols. Plugin objects have 1223 // member.sd_ == NULL. 1224 if (obj != NULL 1225 && (member.sd_ == NULL || member.sd_->symbol_names != NULL)) 1226 { 1227 Archive::Should_include t = obj->should_include_member(symtab, 1228 layout, 1229 member.sd_, 1230 &why); 1231 1232 if (t != Archive::SHOULD_INCLUDE_YES) 1233 { 1234 ++i; 1235 continue; 1236 } 1237 1238 this->include_member(symtab, layout, input_objects, member); 1239 1240 added_new_object = true; 1241 } 1242 else 1243 { 1244 if (member.sd_ != NULL) 1245 { 1246 // The file must be locked in order to destroy the views 1247 // associated with it. 1248 gold_assert(obj != NULL); 1249 obj->lock(this->task_); 1250 delete member.sd_; 1251 obj->unlock(this->task_); 1252 } 1253 } 1254 1255 this->members_[i] = this->members_.back(); 1256 this->members_.pop_back(); 1257 } 1258 } 1259 while (added_new_object); 1260 } 1261 1262 // Include a lib group member in the link. 1263 1264 void 1265 Lib_group::include_member(Symbol_table* symtab, Layout* layout, 1266 Input_objects* input_objects, 1267 const Archive_member& member) 1268 { 1269 ++Lib_group::total_members_loaded; 1270 1271 Object* obj = member.obj_; 1272 gold_assert(obj != NULL); 1273 1274 Pluginobj* pluginobj = obj->pluginobj(); 1275 if (pluginobj != NULL) 1276 { 1277 pluginobj->add_symbols(symtab, NULL, layout); 1278 return; 1279 } 1280 1281 Read_symbols_data* sd = member.sd_; 1282 gold_assert(sd != NULL); 1283 obj->lock(this->task_); 1284 if (input_objects->add_object(obj)) 1285 { 1286 if (layout->incremental_inputs() != NULL) 1287 layout->incremental_inputs()->report_object(obj, member.arg_serial_, 1288 this, NULL); 1289 obj->layout(symtab, layout, sd); 1290 obj->add_symbols(symtab, sd, layout); 1291 } 1292 delete sd; 1293 // Unlock the file for the next task. 1294 obj->unlock(this->task_); 1295 } 1296 1297 // Iterate over all unused symbols, and call the visitor class V for each. 1298 1299 void 1300 Lib_group::do_for_all_unused_symbols(Symbol_visitor_base* v) const 1301 { 1302 // Files are removed from the members list when used, so all the 1303 // files remaining on the list are unused. 1304 for (std::vector<Archive_member>::const_iterator p = this->members_.begin(); 1305 p != this->members_.end(); 1306 ++p) 1307 { 1308 Object* obj = p->obj_; 1309 obj->for_all_global_symbols(p->sd_, v); 1310 } 1311 } 1312 1313 // Print statistical information to stderr. This is used for --stats. 1314 1315 void 1316 Lib_group::print_stats() 1317 { 1318 fprintf(stderr, _("%s: lib groups: %u\n"), 1319 program_name, Lib_group::total_lib_groups); 1320 fprintf(stderr, _("%s: total lib groups members: %u\n"), 1321 program_name, Lib_group::total_members); 1322 fprintf(stderr, _("%s: loaded lib groups members: %u\n"), 1323 program_name, Lib_group::total_members_loaded); 1324 } 1325 1326 Task_token* 1327 Add_lib_group_symbols::is_runnable() 1328 { 1329 if (this->readsyms_blocker_ != NULL && this->readsyms_blocker_->is_blocked()) 1330 return this->readsyms_blocker_; 1331 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) 1332 return this->this_blocker_; 1333 return NULL; 1334 } 1335 1336 void 1337 Add_lib_group_symbols::locks(Task_locker* tl) 1338 { 1339 tl->add(this, this->next_blocker_); 1340 } 1341 1342 void 1343 Add_lib_group_symbols::run(Workqueue*) 1344 { 1345 // For an incremental link, begin recording layout information. 1346 Incremental_inputs* incremental_inputs = this->layout_->incremental_inputs(); 1347 if (incremental_inputs != NULL) 1348 incremental_inputs->report_archive_begin(this->lib_, 0, NULL); 1349 1350 this->lib_->add_symbols(this->symtab_, this->layout_, this->input_objects_); 1351 1352 if (incremental_inputs != NULL) 1353 incremental_inputs->report_archive_end(this->lib_); 1354 } 1355 1356 Add_lib_group_symbols::~Add_lib_group_symbols() 1357 { 1358 if (this->this_blocker_ != NULL) 1359 delete this->this_blocker_; 1360 // next_blocker_ is deleted by the task associated with the next 1361 // input file. 1362 } 1363 1364 } // End namespace gold. 1365