| 1 | // archive.cc -- archive support for gold |
| 2 | |
| 3 | // Copyright (C) 2006-2019 Free Software Foundation, Inc. |
| 4 | // Written by Ian Lance Taylor <iant@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 | bool unclaimed = false; |
| 694 | |
| 695 | if (is_elf_object(input_file, memoff, &ehdr, &read_size)) |
| 696 | { |
| 697 | obj = make_elf_object((std::string(this->input_file_->filename()) |
| 698 | + "(" + member_name + ")"), |
| 699 | input_file, memoff, ehdr, read_size, |
| 700 | punconfigured); |
| 701 | is_elf_obj = true; |
| 702 | } |
| 703 | |
| 704 | if (parameters->options().has_plugins()) |
| 705 | { |
| 706 | Object* plugin_obj |
| 707 | = parameters->options().plugins()->claim_file(input_file, |
| 708 | memoff, |
| 709 | memsize, |
| 710 | obj); |
| 711 | if (plugin_obj != NULL) |
| 712 | { |
| 713 | // The input file was claimed by a plugin, and its symbols |
| 714 | // have been provided by the plugin. |
| 715 | // Delete its elf object. |
| 716 | if (obj != NULL) |
| 717 | delete obj; |
| 718 | return plugin_obj; |
| 719 | } |
| 720 | |
| 721 | unclaimed = true; |
| 722 | } |
| 723 | |
| 724 | if (!is_elf_obj) |
| 725 | { |
| 726 | if (unclaimed) |
| 727 | gold_error(_("%s: plugin failed to claim member %s at %zu"), |
| 728 | this->name().c_str(), member_name.c_str(), |
| 729 | static_cast<size_t>(off)); |
| 730 | else |
| 731 | gold_error(_("%s: member %s at %zu is not an ELF object"), |
| 732 | this->name().c_str(), member_name.c_str(), |
| 733 | static_cast<size_t>(off)); |
| 734 | return NULL; |
| 735 | } |
| 736 | |
| 737 | if (obj == NULL) |
| 738 | return NULL; |
| 739 | obj->set_no_export(this->no_export()); |
| 740 | return obj; |
| 741 | } |
| 742 | |
| 743 | // Read the symbols from all the archive members in the link. |
| 744 | |
| 745 | void |
| 746 | Archive::read_all_symbols() |
| 747 | { |
| 748 | for (Archive::const_iterator p = this->begin(); |
| 749 | p != this->end(); |
| 750 | ++p) |
| 751 | this->read_symbols(p->off); |
| 752 | } |
| 753 | |
| 754 | // Read the symbols from an archive member in the link. OFF is the file |
| 755 | // offset of the member header. |
| 756 | |
| 757 | void |
| 758 | Archive::read_symbols(off_t off) |
| 759 | { |
| 760 | Object* obj = this->get_elf_object_for_member(off, NULL); |
| 761 | if (obj == NULL) |
| 762 | return; |
| 763 | |
| 764 | Read_symbols_data* sd = new Read_symbols_data; |
| 765 | obj->read_symbols(sd); |
| 766 | Archive_member member(obj, sd); |
| 767 | this->members_[off] = member; |
| 768 | } |
| 769 | |
| 770 | // Select members from the archive and add them to the link. We walk |
| 771 | // through the elements in the archive map, and look each one up in |
| 772 | // the symbol table. If it exists as a strong undefined symbol, we |
| 773 | // pull in the corresponding element. We have to do this in a loop, |
| 774 | // since pulling in one element may create new undefined symbols which |
| 775 | // may be satisfied by other objects in the archive. Return true in |
| 776 | // the normal case, false if the first member we tried to add from |
| 777 | // this archive had an incompatible target. |
| 778 | |
| 779 | bool |
| 780 | Archive::add_symbols(Symbol_table* symtab, Layout* layout, |
| 781 | Input_objects* input_objects, Mapfile* mapfile) |
| 782 | { |
| 783 | ++Archive::total_archives; |
| 784 | |
| 785 | if (this->input_file_->options().whole_archive()) |
| 786 | return this->include_all_members(symtab, layout, input_objects, |
| 787 | mapfile); |
| 788 | |
| 789 | Archive::total_members += this->num_members_; |
| 790 | |
| 791 | input_objects->archive_start(this); |
| 792 | |
| 793 | const size_t armap_size = this->armap_.size(); |
| 794 | |
| 795 | // This is a quick optimization, since we usually see many symbols |
| 796 | // in a row with the same offset. last_seen_offset holds the last |
| 797 | // offset we saw that was present in the seen_offsets_ set. |
| 798 | off_t last_seen_offset = -1; |
| 799 | |
| 800 | // Track which symbols in the symbol table we've already found to be |
| 801 | // defined. |
| 802 | |
| 803 | char* tmpbuf = NULL; |
| 804 | size_t tmpbuflen = 0; |
| 805 | bool added_new_object; |
| 806 | do |
| 807 | { |
| 808 | added_new_object = false; |
| 809 | for (size_t i = 0; i < armap_size; ++i) |
| 810 | { |
| 811 | if (this->armap_checked_[i]) |
| 812 | continue; |
| 813 | if (this->armap_[i].file_offset == last_seen_offset) |
| 814 | { |
| 815 | this->armap_checked_[i] = true; |
| 816 | continue; |
| 817 | } |
| 818 | if (this->seen_offsets_.find(this->armap_[i].file_offset) |
| 819 | != this->seen_offsets_.end()) |
| 820 | { |
| 821 | this->armap_checked_[i] = true; |
| 822 | last_seen_offset = this->armap_[i].file_offset; |
| 823 | continue; |
| 824 | } |
| 825 | |
| 826 | const char* sym_name = (this->armap_names_.data() |
| 827 | + this->armap_[i].name_offset); |
| 828 | |
| 829 | Symbol* sym; |
| 830 | std::string why; |
| 831 | Archive::Should_include t = |
| 832 | Archive::should_include_member(symtab, layout, sym_name, &sym, |
| 833 | &why, &tmpbuf, &tmpbuflen); |
| 834 | |
| 835 | if (t == Archive::SHOULD_INCLUDE_NO |
| 836 | || t == Archive::SHOULD_INCLUDE_YES) |
| 837 | this->armap_checked_[i] = true; |
| 838 | |
| 839 | if (t != Archive::SHOULD_INCLUDE_YES) |
| 840 | continue; |
| 841 | |
| 842 | // We want to include this object in the link. |
| 843 | last_seen_offset = this->armap_[i].file_offset; |
| 844 | this->seen_offsets_.insert(last_seen_offset); |
| 845 | |
| 846 | if (!this->include_member(symtab, layout, input_objects, |
| 847 | last_seen_offset, mapfile, sym, |
| 848 | why.c_str())) |
| 849 | { |
| 850 | if (tmpbuf != NULL) |
| 851 | free(tmpbuf); |
| 852 | return false; |
| 853 | } |
| 854 | |
| 855 | added_new_object = true; |
| 856 | } |
| 857 | } |
| 858 | while (added_new_object); |
| 859 | |
| 860 | if (tmpbuf != NULL) |
| 861 | free(tmpbuf); |
| 862 | |
| 863 | input_objects->archive_stop(this); |
| 864 | |
| 865 | return true; |
| 866 | } |
| 867 | |
| 868 | // Return whether the archive includes a member which defines the |
| 869 | // symbol SYM. |
| 870 | |
| 871 | bool |
| 872 | Archive::defines_symbol(Symbol* sym) const |
| 873 | { |
| 874 | const char* symname = sym->name(); |
| 875 | size_t symname_len = strlen(symname); |
| 876 | size_t armap_size = this->armap_.size(); |
| 877 | for (size_t i = 0; i < armap_size; ++i) |
| 878 | { |
| 879 | if (this->armap_checked_[i]) |
| 880 | continue; |
| 881 | const char* archive_symname = (this->armap_names_.data() |
| 882 | + this->armap_[i].name_offset); |
| 883 | if (strncmp(archive_symname, symname, symname_len) != 0) |
| 884 | continue; |
| 885 | char c = archive_symname[symname_len]; |
| 886 | if (c == '\0' && sym->version() == NULL) |
| 887 | return true; |
| 888 | if (c == '@') |
| 889 | { |
| 890 | const char* ver = archive_symname + symname_len + 1; |
| 891 | if (*ver == '@') |
| 892 | { |
| 893 | if (sym->version() == NULL) |
| 894 | return true; |
| 895 | ++ver; |
| 896 | } |
| 897 | if (sym->version() != NULL && strcmp(sym->version(), ver) == 0) |
| 898 | return true; |
| 899 | } |
| 900 | } |
| 901 | return false; |
| 902 | } |
| 903 | |
| 904 | // Include all the archive members in the link. This is for --whole-archive. |
| 905 | |
| 906 | bool |
| 907 | Archive::include_all_members(Symbol_table* symtab, Layout* layout, |
| 908 | Input_objects* input_objects, Mapfile* mapfile) |
| 909 | { |
| 910 | // Don't include the same archive twice. This can happen if |
| 911 | // --whole-archive is nested inside --start-group (PR gold/12163). |
| 912 | if (this->included_all_members_) |
| 913 | return true; |
| 914 | |
| 915 | this->included_all_members_ = true; |
| 916 | |
| 917 | input_objects->archive_start(this); |
| 918 | |
| 919 | if (this->members_.size() > 0) |
| 920 | { |
| 921 | std::map<off_t, Archive_member>::const_iterator p; |
| 922 | for (p = this->members_.begin(); |
| 923 | p != this->members_.end(); |
| 924 | ++p) |
| 925 | { |
| 926 | if (!this->include_member(symtab, layout, input_objects, p->first, |
| 927 | mapfile, NULL, "--whole-archive")) |
| 928 | return false; |
| 929 | ++Archive::total_members; |
| 930 | } |
| 931 | } |
| 932 | else |
| 933 | { |
| 934 | for (Archive::const_iterator p = this->begin(); |
| 935 | p != this->end(); |
| 936 | ++p) |
| 937 | { |
| 938 | if (!this->include_member(symtab, layout, input_objects, p->off, |
| 939 | mapfile, NULL, "--whole-archive")) |
| 940 | return false; |
| 941 | ++Archive::total_members; |
| 942 | } |
| 943 | } |
| 944 | |
| 945 | input_objects->archive_stop(this); |
| 946 | |
| 947 | return true; |
| 948 | } |
| 949 | |
| 950 | // Return the number of members in the archive. This is only used for |
| 951 | // reports. |
| 952 | |
| 953 | size_t |
| 954 | Archive::count_members() |
| 955 | { |
| 956 | size_t ret = 0; |
| 957 | for (Archive::const_iterator p = this->begin(); |
| 958 | p != this->end(); |
| 959 | ++p) |
| 960 | ++ret; |
| 961 | return ret; |
| 962 | } |
| 963 | |
| 964 | // RAII class to ensure we unlock the object if it's a member of a |
| 965 | // thin archive. We can't use Task_lock_obj in Archive::include_member |
| 966 | // because the object file is already locked when it's opened by |
| 967 | // get_elf_object_for_member. |
| 968 | |
| 969 | class Thin_archive_object_unlocker |
| 970 | { |
| 971 | public: |
| 972 | Thin_archive_object_unlocker(const Task *task, Object* obj) |
| 973 | : task_(task), obj_(obj) |
| 974 | { } |
| 975 | |
| 976 | ~Thin_archive_object_unlocker() |
| 977 | { |
| 978 | if (this->obj_->offset() == 0) |
| 979 | this->obj_->unlock(this->task_); |
| 980 | } |
| 981 | |
| 982 | private: |
| 983 | Thin_archive_object_unlocker(const Thin_archive_object_unlocker&); |
| 984 | Thin_archive_object_unlocker& operator=(const Thin_archive_object_unlocker&); |
| 985 | |
| 986 | const Task* task_; |
| 987 | Object* obj_; |
| 988 | }; |
| 989 | |
| 990 | // Include an archive member in the link. OFF is the file offset of |
| 991 | // the member header. WHY is the reason we are including this member. |
| 992 | // Return true if we added the member or if we had an error, return |
| 993 | // false if this was the first member we tried to add from this |
| 994 | // archive and it had an incompatible format. |
| 995 | |
| 996 | bool |
| 997 | Archive::include_member(Symbol_table* symtab, Layout* layout, |
| 998 | Input_objects* input_objects, off_t off, |
| 999 | Mapfile* mapfile, Symbol* sym, const char* why) |
| 1000 | { |
| 1001 | ++Archive::total_members_loaded; |
| 1002 | |
| 1003 | std::map<off_t, Archive_member>::const_iterator p = this->members_.find(off); |
| 1004 | if (p != this->members_.end()) |
| 1005 | { |
| 1006 | Object* obj = p->second.obj_; |
| 1007 | |
| 1008 | Read_symbols_data* sd = p->second.sd_; |
| 1009 | if (mapfile != NULL) |
| 1010 | mapfile->report_include_archive_member(obj->name(), sym, why); |
| 1011 | if (input_objects->add_object(obj)) |
| 1012 | { |
| 1013 | obj->layout(symtab, layout, sd); |
| 1014 | obj->add_symbols(symtab, sd, layout); |
| 1015 | this->included_member_ = true; |
| 1016 | } |
| 1017 | delete sd; |
| 1018 | return true; |
| 1019 | } |
| 1020 | |
| 1021 | // If this is the first object we are including from this archive, |
| 1022 | // and we searched for this archive, most likely because it was |
| 1023 | // found via a -l option, then if the target is incompatible we want |
| 1024 | // to move on to the next archive found in the search path. |
| 1025 | bool unconfigured = false; |
| 1026 | bool* punconfigured = NULL; |
| 1027 | if (!this->included_member_ && this->searched_for()) |
| 1028 | punconfigured = &unconfigured; |
| 1029 | |
| 1030 | Object* obj = this->get_elf_object_for_member(off, punconfigured); |
| 1031 | if (obj == NULL) |
| 1032 | { |
| 1033 | // Return false to search for another archive, true if we found |
| 1034 | // an error. |
| 1035 | return unconfigured ? false : true; |
| 1036 | } |
| 1037 | |
| 1038 | // If the object is an external member of a thin archive, |
| 1039 | // unlock it when we're done here. |
| 1040 | Thin_archive_object_unlocker unlocker(this->task_, obj); |
| 1041 | |
| 1042 | if (mapfile != NULL) |
| 1043 | mapfile->report_include_archive_member(obj->name(), sym, why); |
| 1044 | |
| 1045 | Pluginobj* pluginobj = obj->pluginobj(); |
| 1046 | if (pluginobj != NULL) |
| 1047 | { |
| 1048 | pluginobj->add_symbols(symtab, NULL, layout); |
| 1049 | this->included_member_ = true; |
| 1050 | return true; |
| 1051 | } |
| 1052 | |
| 1053 | if (!input_objects->add_object(obj)) |
| 1054 | { |
| 1055 | delete obj; |
| 1056 | return true; |
| 1057 | } |
| 1058 | |
| 1059 | if (layout->incremental_inputs() != NULL) |
| 1060 | layout->incremental_inputs()->report_object(obj, 0, this, NULL); |
| 1061 | |
| 1062 | { |
| 1063 | Read_symbols_data sd; |
| 1064 | obj->read_symbols(&sd); |
| 1065 | obj->layout(symtab, layout, &sd); |
| 1066 | obj->add_symbols(symtab, &sd, layout); |
| 1067 | } |
| 1068 | |
| 1069 | this->included_member_ = true; |
| 1070 | return true; |
| 1071 | } |
| 1072 | |
| 1073 | // Iterate over all unused symbols, and call the visitor class V for each. |
| 1074 | |
| 1075 | void |
| 1076 | Archive::do_for_all_unused_symbols(Symbol_visitor_base* v) const |
| 1077 | { |
| 1078 | for (std::vector<Armap_entry>::const_iterator p = this->armap_.begin(); |
| 1079 | p != this->armap_.end(); |
| 1080 | ++p) |
| 1081 | { |
| 1082 | if (this->seen_offsets_.find(p->file_offset) |
| 1083 | == this->seen_offsets_.end()) |
| 1084 | v->visit(this->armap_names_.data() + p->name_offset); |
| 1085 | } |
| 1086 | } |
| 1087 | |
| 1088 | // Print statistical information to stderr. This is used for --stats. |
| 1089 | |
| 1090 | void |
| 1091 | Archive::print_stats() |
| 1092 | { |
| 1093 | fprintf(stderr, _("%s: archive libraries: %u\n"), |
| 1094 | program_name, Archive::total_archives); |
| 1095 | fprintf(stderr, _("%s: total archive members: %u\n"), |
| 1096 | program_name, Archive::total_members); |
| 1097 | fprintf(stderr, _("%s: loaded archive members: %u\n"), |
| 1098 | program_name, Archive::total_members_loaded); |
| 1099 | } |
| 1100 | |
| 1101 | // Add_archive_symbols methods. |
| 1102 | |
| 1103 | Add_archive_symbols::~Add_archive_symbols() |
| 1104 | { |
| 1105 | if (this->this_blocker_ != NULL) |
| 1106 | delete this->this_blocker_; |
| 1107 | // next_blocker_ is deleted by the task associated with the next |
| 1108 | // input file. |
| 1109 | } |
| 1110 | |
| 1111 | // Return whether we can add the archive symbols. We are blocked by |
| 1112 | // this_blocker_. We block next_blocker_. We also lock the file. |
| 1113 | |
| 1114 | Task_token* |
| 1115 | Add_archive_symbols::is_runnable() |
| 1116 | { |
| 1117 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) |
| 1118 | return this->this_blocker_; |
| 1119 | return NULL; |
| 1120 | } |
| 1121 | |
| 1122 | void |
| 1123 | Add_archive_symbols::locks(Task_locker* tl) |
| 1124 | { |
| 1125 | tl->add(this, this->next_blocker_); |
| 1126 | tl->add(this, this->archive_->token()); |
| 1127 | } |
| 1128 | |
| 1129 | void |
| 1130 | Add_archive_symbols::run(Workqueue* workqueue) |
| 1131 | { |
| 1132 | // For an incremental link, begin recording layout information. |
| 1133 | Incremental_inputs* incremental_inputs = this->layout_->incremental_inputs(); |
| 1134 | if (incremental_inputs != NULL) |
| 1135 | { |
| 1136 | unsigned int arg_serial = this->input_argument_->file().arg_serial(); |
| 1137 | Script_info* script_info = this->input_argument_->script_info(); |
| 1138 | incremental_inputs->report_archive_begin(this->archive_, arg_serial, |
| 1139 | script_info); |
| 1140 | } |
| 1141 | |
| 1142 | bool added = this->archive_->add_symbols(this->symtab_, this->layout_, |
| 1143 | this->input_objects_, |
| 1144 | this->mapfile_); |
| 1145 | this->archive_->unlock_nested_archives(); |
| 1146 | |
| 1147 | this->archive_->release(); |
| 1148 | this->archive_->clear_uncached_views(); |
| 1149 | |
| 1150 | if (!added) |
| 1151 | { |
| 1152 | // This archive holds object files which are incompatible with |
| 1153 | // our output file. |
| 1154 | Read_symbols::incompatible_warning(this->input_argument_, |
| 1155 | this->archive_->input_file()); |
| 1156 | Read_symbols::requeue(workqueue, this->input_objects_, this->symtab_, |
| 1157 | this->layout_, this->dirpath_, this->dirindex_, |
| 1158 | this->mapfile_, this->input_argument_, |
| 1159 | this->input_group_, this->next_blocker_); |
| 1160 | delete this->archive_; |
| 1161 | return; |
| 1162 | } |
| 1163 | |
| 1164 | if (this->input_group_ != NULL) |
| 1165 | this->input_group_->add_archive(this->archive_); |
| 1166 | else |
| 1167 | { |
| 1168 | // For an incremental link, finish recording the layout information. |
| 1169 | if (incremental_inputs != NULL) |
| 1170 | incremental_inputs->report_archive_end(this->archive_); |
| 1171 | |
| 1172 | if (!parameters->options().has_plugins() |
| 1173 | || this->archive_->input_file()->options().whole_archive()) |
| 1174 | { |
| 1175 | // We no longer need to know about this archive. |
| 1176 | delete this->archive_; |
| 1177 | } |
| 1178 | else |
| 1179 | { |
| 1180 | // The plugin interface may want to rescan this archive. |
| 1181 | parameters->options().plugins()->save_archive(this->archive_); |
| 1182 | } |
| 1183 | |
| 1184 | this->archive_ = NULL; |
| 1185 | } |
| 1186 | } |
| 1187 | |
| 1188 | // Class Lib_group static variables. |
| 1189 | unsigned int Lib_group::total_lib_groups; |
| 1190 | unsigned int Lib_group::total_members; |
| 1191 | unsigned int Lib_group::total_members_loaded; |
| 1192 | |
| 1193 | Lib_group::Lib_group(const Input_file_lib* lib, Task* task) |
| 1194 | : Library_base(task), members_() |
| 1195 | { |
| 1196 | this->members_.resize(lib->size()); |
| 1197 | } |
| 1198 | |
| 1199 | const std::string& |
| 1200 | Lib_group::do_filename() const |
| 1201 | { |
| 1202 | std::string *filename = new std::string("/group/"); |
| 1203 | return *filename; |
| 1204 | } |
| 1205 | |
| 1206 | // Select members from the lib group and add them to the link. We walk |
| 1207 | // through the members, and check if each one up should be included. |
| 1208 | // If the object says it should be included, we do so. We have to do |
| 1209 | // this in a loop, since including one member may create new undefined |
| 1210 | // symbols which may be satisfied by other members. |
| 1211 | |
| 1212 | void |
| 1213 | Lib_group::add_symbols(Symbol_table* symtab, Layout* layout, |
| 1214 | Input_objects* input_objects) |
| 1215 | { |
| 1216 | ++Lib_group::total_lib_groups; |
| 1217 | |
| 1218 | Lib_group::total_members += this->members_.size(); |
| 1219 | |
| 1220 | bool added_new_object; |
| 1221 | do |
| 1222 | { |
| 1223 | added_new_object = false; |
| 1224 | unsigned int i = 0; |
| 1225 | while (i < this->members_.size()) |
| 1226 | { |
| 1227 | const Archive_member& member = this->members_[i]; |
| 1228 | Object* obj = member.obj_; |
| 1229 | std::string why; |
| 1230 | |
| 1231 | // Skip files with no symbols. Plugin objects have |
| 1232 | // member.sd_ == NULL. |
| 1233 | if (obj != NULL |
| 1234 | && (member.sd_ == NULL || member.sd_->symbol_names != NULL)) |
| 1235 | { |
| 1236 | Archive::Should_include t = obj->should_include_member(symtab, |
| 1237 | layout, |
| 1238 | member.sd_, |
| 1239 | &why); |
| 1240 | |
| 1241 | if (t != Archive::SHOULD_INCLUDE_YES) |
| 1242 | { |
| 1243 | ++i; |
| 1244 | continue; |
| 1245 | } |
| 1246 | |
| 1247 | this->include_member(symtab, layout, input_objects, member); |
| 1248 | |
| 1249 | added_new_object = true; |
| 1250 | } |
| 1251 | else |
| 1252 | { |
| 1253 | if (member.sd_ != NULL) |
| 1254 | { |
| 1255 | // The file must be locked in order to destroy the views |
| 1256 | // associated with it. |
| 1257 | gold_assert(obj != NULL); |
| 1258 | obj->lock(this->task_); |
| 1259 | delete member.sd_; |
| 1260 | obj->unlock(this->task_); |
| 1261 | } |
| 1262 | } |
| 1263 | |
| 1264 | this->members_[i] = this->members_.back(); |
| 1265 | this->members_.pop_back(); |
| 1266 | } |
| 1267 | } |
| 1268 | while (added_new_object); |
| 1269 | } |
| 1270 | |
| 1271 | // Include a lib group member in the link. |
| 1272 | |
| 1273 | void |
| 1274 | Lib_group::include_member(Symbol_table* symtab, Layout* layout, |
| 1275 | Input_objects* input_objects, |
| 1276 | const Archive_member& member) |
| 1277 | { |
| 1278 | ++Lib_group::total_members_loaded; |
| 1279 | |
| 1280 | Object* obj = member.obj_; |
| 1281 | gold_assert(obj != NULL); |
| 1282 | |
| 1283 | Pluginobj* pluginobj = obj->pluginobj(); |
| 1284 | if (pluginobj != NULL) |
| 1285 | { |
| 1286 | pluginobj->add_symbols(symtab, NULL, layout); |
| 1287 | return; |
| 1288 | } |
| 1289 | |
| 1290 | Read_symbols_data* sd = member.sd_; |
| 1291 | gold_assert(sd != NULL); |
| 1292 | obj->lock(this->task_); |
| 1293 | if (input_objects->add_object(obj)) |
| 1294 | { |
| 1295 | if (layout->incremental_inputs() != NULL) |
| 1296 | layout->incremental_inputs()->report_object(obj, member.arg_serial_, |
| 1297 | this, NULL); |
| 1298 | obj->layout(symtab, layout, sd); |
| 1299 | obj->add_symbols(symtab, sd, layout); |
| 1300 | } |
| 1301 | delete sd; |
| 1302 | // Unlock the file for the next task. |
| 1303 | obj->unlock(this->task_); |
| 1304 | } |
| 1305 | |
| 1306 | // Iterate over all unused symbols, and call the visitor class V for each. |
| 1307 | |
| 1308 | void |
| 1309 | Lib_group::do_for_all_unused_symbols(Symbol_visitor_base* v) const |
| 1310 | { |
| 1311 | // Files are removed from the members list when used, so all the |
| 1312 | // files remaining on the list are unused. |
| 1313 | for (std::vector<Archive_member>::const_iterator p = this->members_.begin(); |
| 1314 | p != this->members_.end(); |
| 1315 | ++p) |
| 1316 | { |
| 1317 | Object* obj = p->obj_; |
| 1318 | obj->for_all_global_symbols(p->sd_, v); |
| 1319 | } |
| 1320 | } |
| 1321 | |
| 1322 | // Print statistical information to stderr. This is used for --stats. |
| 1323 | |
| 1324 | void |
| 1325 | Lib_group::print_stats() |
| 1326 | { |
| 1327 | fprintf(stderr, _("%s: lib groups: %u\n"), |
| 1328 | program_name, Lib_group::total_lib_groups); |
| 1329 | fprintf(stderr, _("%s: total lib groups members: %u\n"), |
| 1330 | program_name, Lib_group::total_members); |
| 1331 | fprintf(stderr, _("%s: loaded lib groups members: %u\n"), |
| 1332 | program_name, Lib_group::total_members_loaded); |
| 1333 | } |
| 1334 | |
| 1335 | Task_token* |
| 1336 | Add_lib_group_symbols::is_runnable() |
| 1337 | { |
| 1338 | if (this->readsyms_blocker_ != NULL && this->readsyms_blocker_->is_blocked()) |
| 1339 | return this->readsyms_blocker_; |
| 1340 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) |
| 1341 | return this->this_blocker_; |
| 1342 | return NULL; |
| 1343 | } |
| 1344 | |
| 1345 | void |
| 1346 | Add_lib_group_symbols::locks(Task_locker* tl) |
| 1347 | { |
| 1348 | tl->add(this, this->next_blocker_); |
| 1349 | } |
| 1350 | |
| 1351 | void |
| 1352 | Add_lib_group_symbols::run(Workqueue*) |
| 1353 | { |
| 1354 | // For an incremental link, begin recording layout information. |
| 1355 | Incremental_inputs* incremental_inputs = this->layout_->incremental_inputs(); |
| 1356 | if (incremental_inputs != NULL) |
| 1357 | incremental_inputs->report_archive_begin(this->lib_, 0, NULL); |
| 1358 | |
| 1359 | this->lib_->add_symbols(this->symtab_, this->layout_, this->input_objects_); |
| 1360 | |
| 1361 | if (incremental_inputs != NULL) |
| 1362 | incremental_inputs->report_archive_end(this->lib_); |
| 1363 | } |
| 1364 | |
| 1365 | Add_lib_group_symbols::~Add_lib_group_symbols() |
| 1366 | { |
| 1367 | if (this->this_blocker_ != NULL) |
| 1368 | delete this->this_blocker_; |
| 1369 | // next_blocker_ is deleted by the task associated with the next |
| 1370 | // input file. |
| 1371 | } |
| 1372 | |
| 1373 | } // End namespace gold. |