1 // options.c -- handle command line options for gold 2 3 // Copyright (C) 2006-2016 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 <cstdlib> 27 #include <cstring> 28 #include <fstream> 29 #include <vector> 30 #include <iostream> 31 #include <sys/stat.h> 32 #include "filenames.h" 33 #include "libiberty.h" 34 #include "demangle.h" 35 #include "../bfd/bfdver.h" 36 37 #include "debug.h" 38 #include "script.h" 39 #include "target-select.h" 40 #include "options.h" 41 #include "plugin.h" 42 43 namespace gold 44 { 45 46 General_options 47 Position_dependent_options::default_options_; 48 49 namespace options 50 { 51 52 // This flag is TRUE if we should register the command-line options as they 53 // are constructed. It is set after construction of the options within 54 // class Position_dependent_options. 55 static bool ready_to_register = false; 56 57 // This global variable is set up as General_options is constructed. 58 static std::vector<const One_option*> registered_options; 59 60 // These are set up at the same time -- the variables that accept one 61 // dash, two, or require -z. A single variable may be in more than 62 // one of these data structures. 63 typedef Unordered_map<std::string, One_option*> Option_map; 64 static Option_map* long_options = NULL; 65 static One_option* short_options[128]; 66 67 void 68 One_option::register_option() 69 { 70 if (!ready_to_register) 71 return; 72 73 registered_options.push_back(this); 74 75 // We can't make long_options a static Option_map because we can't 76 // guarantee that will be initialized before register_option() is 77 // first called. 78 if (long_options == NULL) 79 long_options = new Option_map; 80 81 // TWO_DASHES means that two dashes are preferred, but one is ok too. 82 if (!this->longname.empty()) 83 (*long_options)[this->longname] = this; 84 85 const int shortname_as_int = static_cast<int>(this->shortname); 86 gold_assert(shortname_as_int >= 0 && shortname_as_int < 128); 87 if (this->shortname != '\0') 88 { 89 gold_assert(short_options[shortname_as_int] == NULL); 90 short_options[shortname_as_int] = this; 91 } 92 } 93 94 void 95 One_option::print() const 96 { 97 bool comma = false; 98 printf(" "); 99 int len = 2; 100 if (this->shortname != '\0') 101 { 102 len += printf("-%c", this->shortname); 103 if (this->helparg) 104 { 105 // -z takes long-names only. 106 gold_assert(this->dashes != DASH_Z); 107 len += printf(" %s", gettext(this->helparg)); 108 } 109 comma = true; 110 } 111 if (!this->longname.empty() 112 && !(this->longname[0] == this->shortname 113 && this->longname[1] == '\0')) 114 { 115 if (comma) 116 len += printf(", "); 117 switch (this->dashes) 118 { 119 case options::ONE_DASH: case options::EXACTLY_ONE_DASH: 120 len += printf("-"); 121 break; 122 case options::TWO_DASHES: case options::EXACTLY_TWO_DASHES: 123 len += printf("--"); 124 break; 125 case options::DASH_Z: 126 len += printf("-z "); 127 break; 128 default: 129 gold_unreachable(); 130 } 131 len += printf("%s", this->longname.c_str()); 132 if (this->helparg) 133 { 134 // For most options, we print "--frob FOO". But for -z 135 // we print "-z frob=FOO". 136 len += printf("%c%s", this->dashes == options::DASH_Z ? '=' : ' ', 137 gettext(this->helparg)); 138 } 139 } 140 141 if (len >= 30) 142 { 143 printf("\n"); 144 len = 0; 145 } 146 for (; len < 30; ++len) 147 std::putchar(' '); 148 149 // TODO: if we're boolean, add " (default)" when appropriate. 150 printf("%s\n", gettext(this->helpstring)); 151 } 152 153 void 154 help() 155 { 156 printf(_("Usage: %s [options] file...\nOptions:\n"), gold::program_name); 157 158 std::vector<const One_option*>::const_iterator it; 159 for (it = registered_options.begin(); it != registered_options.end(); ++it) 160 (*it)->print(); 161 162 // config.guess and libtool.m4 look in ld --help output for the 163 // string "supported targets". 164 printf(_("%s: supported targets:"), gold::program_name); 165 std::vector<const char*> supported_names; 166 gold::supported_target_names(&supported_names); 167 for (std::vector<const char*>::const_iterator p = supported_names.begin(); 168 p != supported_names.end(); 169 ++p) 170 printf(" %s", *p); 171 printf("\n"); 172 173 printf(_("%s: supported emulations:"), gold::program_name); 174 supported_names.clear(); 175 gold::supported_emulation_names(&supported_names); 176 for (std::vector<const char*>::const_iterator p = supported_names.begin(); 177 p != supported_names.end(); 178 ++p) 179 printf(" %s", *p); 180 printf("\n"); 181 182 // REPORT_BUGS_TO is defined in bfd/bfdver.h. 183 const char* report = REPORT_BUGS_TO; 184 if (*report != '\0') 185 printf(_("Report bugs to %s\n"), report); 186 } 187 188 // For bool, arg will be NULL (boolean options take no argument); 189 // we always just set to true. 190 void 191 parse_bool(const char*, const char*, bool* retval) 192 { 193 *retval = true; 194 } 195 196 void 197 parse_uint(const char* option_name, const char* arg, int* retval) 198 { 199 char* endptr; 200 *retval = strtol(arg, &endptr, 0); 201 if (*endptr != '\0' || *retval < 0) 202 gold_fatal(_("%s: invalid option value (expected an integer): %s"), 203 option_name, arg); 204 } 205 206 void 207 parse_int(const char* option_name, const char* arg, int* retval) 208 { 209 char* endptr; 210 *retval = strtol(arg, &endptr, 0); 211 if (*endptr != '\0') 212 gold_fatal(_("%s: invalid option value (expected an integer): %s"), 213 option_name, arg); 214 } 215 216 void 217 parse_uint64(const char* option_name, const char* arg, uint64_t* retval) 218 { 219 char* endptr; 220 *retval = strtoull(arg, &endptr, 0); 221 if (*endptr != '\0') 222 gold_fatal(_("%s: invalid option value (expected an integer): %s"), 223 option_name, arg); 224 } 225 226 void 227 parse_double(const char* option_name, const char* arg, double* retval) 228 { 229 char* endptr; 230 *retval = strtod(arg, &endptr); 231 if (*endptr != '\0') 232 gold_fatal(_("%s: invalid option value " 233 "(expected a floating point number): %s"), 234 option_name, arg); 235 } 236 237 void 238 parse_percent(const char* option_name, const char* arg, double* retval) 239 { 240 char* endptr; 241 *retval = strtod(arg, &endptr) / 100.0; 242 if (*endptr != '\0') 243 gold_fatal(_("%s: invalid option value " 244 "(expected a floating point number): %s"), 245 option_name, arg); 246 } 247 248 void 249 parse_string(const char* option_name, const char* arg, const char** retval) 250 { 251 if (*arg == '\0') 252 gold_fatal(_("%s: must take a non-empty argument"), option_name); 253 *retval = arg; 254 } 255 256 void 257 parse_optional_string(const char*, const char* arg, const char** retval) 258 { 259 *retval = arg; 260 } 261 262 void 263 parse_dirlist(const char*, const char* arg, Dir_list* retval) 264 { 265 retval->push_back(Search_directory(arg, false)); 266 } 267 268 void 269 parse_set(const char*, const char* arg, String_set* retval) 270 { 271 retval->insert(std::string(arg)); 272 } 273 274 void 275 parse_choices(const char* option_name, const char* arg, const char** retval, 276 const char* choices[], int num_choices) 277 { 278 for (int i = 0; i < num_choices; i++) 279 if (strcmp(choices[i], arg) == 0) 280 { 281 *retval = arg; 282 return; 283 } 284 285 // If we get here, the user did not enter a valid choice, so we die. 286 std::string choices_list; 287 for (int i = 0; i < num_choices; i++) 288 { 289 choices_list += choices[i]; 290 if (i != num_choices - 1) 291 choices_list += ", "; 292 } 293 gold_fatal(_("%s: must take one of the following arguments: %s"), 294 option_name, choices_list.c_str()); 295 } 296 297 } // End namespace options. 298 299 // Define the handler for "special" options (set via DEFINE_special). 300 301 void 302 General_options::parse_help(const char*, const char*, Command_line*) 303 { 304 options::help(); 305 ::exit(EXIT_SUCCESS); 306 } 307 308 void 309 General_options::parse_version(const char* opt, const char*, Command_line*) 310 { 311 bool print_short = (opt[0] == '-' && opt[1] == 'v'); 312 gold::print_version(print_short); 313 this->printed_version_ = true; 314 if (!print_short) 315 ::exit(EXIT_SUCCESS); 316 } 317 318 void 319 General_options::parse_V(const char*, const char*, Command_line*) 320 { 321 gold::print_version(true); 322 this->printed_version_ = true; 323 324 printf(_(" Supported targets:\n")); 325 std::vector<const char*> supported_names; 326 gold::supported_target_names(&supported_names); 327 for (std::vector<const char*>::const_iterator p = supported_names.begin(); 328 p != supported_names.end(); 329 ++p) 330 printf(" %s\n", *p); 331 332 printf(_(" Supported emulations:\n")); 333 supported_names.clear(); 334 gold::supported_emulation_names(&supported_names); 335 for (std::vector<const char*>::const_iterator p = supported_names.begin(); 336 p != supported_names.end(); 337 ++p) 338 printf(" %s\n", *p); 339 } 340 341 void 342 General_options::parse_defsym(const char*, const char* arg, 343 Command_line* cmdline) 344 { 345 cmdline->script_options().define_symbol(arg); 346 } 347 348 void 349 General_options::parse_discard_all(const char*, const char*, 350 Command_line*) 351 { 352 this->discard_locals_ = DISCARD_ALL; 353 } 354 355 void 356 General_options::parse_discard_locals(const char*, const char*, 357 Command_line*) 358 { 359 this->discard_locals_ = DISCARD_LOCALS; 360 } 361 362 void 363 General_options::parse_discard_none(const char*, const char*, 364 Command_line*) 365 { 366 this->discard_locals_ = DISCARD_NONE; 367 } 368 369 void 370 General_options::parse_incremental(const char*, const char*, 371 Command_line*) 372 { 373 this->incremental_mode_ = INCREMENTAL_AUTO; 374 } 375 376 void 377 General_options::parse_no_incremental(const char*, const char*, 378 Command_line*) 379 { 380 this->incremental_mode_ = INCREMENTAL_OFF; 381 } 382 383 void 384 General_options::parse_incremental_full(const char*, const char*, 385 Command_line*) 386 { 387 this->incremental_mode_ = INCREMENTAL_FULL; 388 } 389 390 void 391 General_options::parse_incremental_update(const char*, const char*, 392 Command_line*) 393 { 394 this->incremental_mode_ = INCREMENTAL_UPDATE; 395 } 396 397 void 398 General_options::parse_incremental_changed(const char*, const char*, 399 Command_line*) 400 { 401 this->implicit_incremental_ = true; 402 this->incremental_disposition_ = INCREMENTAL_CHANGED; 403 } 404 405 void 406 General_options::parse_incremental_unchanged(const char*, const char*, 407 Command_line*) 408 { 409 this->implicit_incremental_ = true; 410 this->incremental_disposition_ = INCREMENTAL_UNCHANGED; 411 } 412 413 void 414 General_options::parse_incremental_unknown(const char*, const char*, 415 Command_line*) 416 { 417 this->implicit_incremental_ = true; 418 this->incremental_disposition_ = INCREMENTAL_CHECK; 419 } 420 421 void 422 General_options::parse_incremental_startup_unchanged(const char*, const char*, 423 Command_line*) 424 { 425 this->implicit_incremental_ = true; 426 this->incremental_startup_disposition_ = INCREMENTAL_UNCHANGED; 427 } 428 429 void 430 General_options::parse_library(const char*, const char* arg, 431 Command_line* cmdline) 432 { 433 Input_file_argument::Input_file_type type; 434 const char* name; 435 if (arg[0] == ':') 436 { 437 type = Input_file_argument::INPUT_FILE_TYPE_SEARCHED_FILE; 438 name = arg + 1; 439 } 440 else 441 { 442 type = Input_file_argument::INPUT_FILE_TYPE_LIBRARY; 443 name = arg; 444 } 445 Input_file_argument file(name, type, "", false, *this); 446 cmdline->inputs().add_file(file); 447 } 448 449 #ifdef ENABLE_PLUGINS 450 void 451 General_options::parse_plugin(const char*, const char* arg, 452 Command_line*) 453 { 454 this->add_plugin(arg); 455 } 456 457 // Parse --plugin-opt. 458 459 void 460 General_options::parse_plugin_opt(const char*, const char* arg, 461 Command_line*) 462 { 463 this->add_plugin_option(arg); 464 } 465 #endif // ENABLE_PLUGINS 466 467 void 468 General_options::parse_R(const char* option, const char* arg, 469 Command_line* cmdline) 470 { 471 struct stat s; 472 if (::stat(arg, &s) != 0 || S_ISDIR(s.st_mode)) 473 this->add_to_rpath(arg); 474 else 475 this->parse_just_symbols(option, arg, cmdline); 476 } 477 478 void 479 General_options::parse_just_symbols(const char*, const char* arg, 480 Command_line* cmdline) 481 { 482 Input_file_argument file(arg, Input_file_argument::INPUT_FILE_TYPE_FILE, 483 "", true, *this); 484 cmdline->inputs().add_file(file); 485 } 486 487 // Handle --section-start. 488 489 void 490 General_options::parse_section_start(const char*, const char* arg, 491 Command_line*) 492 { 493 const char* eq = strchr(arg, '='); 494 if (eq == NULL) 495 { 496 gold_error(_("invalid argument to --section-start; " 497 "must be SECTION=ADDRESS")); 498 return; 499 } 500 501 std::string section_name(arg, eq - arg); 502 503 ++eq; 504 const char* val_start = eq; 505 if (eq[0] == '0' && (eq[1] == 'x' || eq[1] == 'X')) 506 eq += 2; 507 if (*eq == '\0') 508 { 509 gold_error(_("--section-start address missing")); 510 return; 511 } 512 uint64_t addr = 0; 513 hex_init(); 514 for (; *eq != '\0'; ++eq) 515 { 516 if (!hex_p(*eq)) 517 { 518 gold_error(_("--section-start argument %s is not a valid hex number"), 519 val_start); 520 return; 521 } 522 addr <<= 4; 523 addr += hex_value(*eq); 524 } 525 526 this->section_starts_[section_name] = addr; 527 } 528 529 // Look up a --section-start value. 530 531 bool 532 General_options::section_start(const char* secname, uint64_t* paddr) const 533 { 534 if (this->section_starts_.empty()) 535 return false; 536 std::map<std::string, uint64_t>::const_iterator p = 537 this->section_starts_.find(secname); 538 if (p == this->section_starts_.end()) 539 return false; 540 *paddr = p->second; 541 return true; 542 } 543 544 void 545 General_options::parse_static(const char*, const char*, Command_line*) 546 { 547 this->set_static(true); 548 } 549 550 void 551 General_options::parse_script(const char*, const char* arg, 552 Command_line* cmdline) 553 { 554 if (!read_commandline_script(arg, cmdline)) 555 gold::gold_fatal(_("unable to parse script file %s"), arg); 556 } 557 558 void 559 General_options::parse_version_script(const char*, const char* arg, 560 Command_line* cmdline) 561 { 562 if (!read_version_script(arg, cmdline)) 563 gold::gold_fatal(_("unable to parse version script file %s"), arg); 564 } 565 566 void 567 General_options::parse_dynamic_list(const char*, const char* arg, 568 Command_line* cmdline) 569 { 570 if (!read_dynamic_list(arg, cmdline, &this->dynamic_list_)) 571 gold::gold_fatal(_("unable to parse dynamic-list script file %s"), arg); 572 this->have_dynamic_list_ = true; 573 } 574 575 void 576 General_options::parse_start_group(const char*, const char*, 577 Command_line* cmdline) 578 { 579 cmdline->inputs().start_group(); 580 } 581 582 void 583 General_options::parse_end_group(const char*, const char*, 584 Command_line* cmdline) 585 { 586 cmdline->inputs().end_group(); 587 } 588 589 void 590 General_options::parse_start_lib(const char*, const char*, 591 Command_line* cmdline) 592 { 593 cmdline->inputs().start_lib(cmdline->position_dependent_options()); 594 } 595 596 void 597 General_options::parse_end_lib(const char*, const char*, 598 Command_line* cmdline) 599 { 600 cmdline->inputs().end_lib(); 601 } 602 603 // The function add_excluded_libs() in ld/ldlang.c of GNU ld breaks up a list 604 // of names separated by commas or colons and puts them in a linked list. 605 // We implement the same parsing of names here but store names in an unordered 606 // map to speed up searching of names. 607 608 void 609 General_options::parse_exclude_libs(const char*, const char* arg, 610 Command_line*) 611 { 612 const char* p = arg; 613 614 while (*p != '\0') 615 { 616 size_t length = strcspn(p, ",:"); 617 this->excluded_libs_.insert(std::string(p, length)); 618 p += (p[length] ? length + 1 : length); 619 } 620 } 621 622 // The checking logic is based on the function check_excluded_libs() in 623 // ld/ldlang.c of GNU ld but our implementation is different because we use 624 // an unordered map instead of a linked list, which is what GNU ld uses. GNU 625 // ld searches sequentially in the excluded libs list. For a given archive, 626 // a match is found if the archive's name matches exactly one of the list 627 // entry or if the archive's name is of the form FOO.a and FOO matches exactly 628 // one of the list entry. An entry "ALL" in the list is considered as a 629 // wild-card and matches any given name. 630 631 bool 632 General_options::check_excluded_libs(const std::string &name) const 633 { 634 Unordered_set<std::string>::const_iterator p; 635 636 // Exit early for the most common case. 637 if (excluded_libs_.empty()) 638 return false; 639 640 // If we see "ALL", all archives are excluded from automatic export. 641 p = excluded_libs_.find(std::string("ALL")); 642 if (p != excluded_libs_.end()) 643 return true; 644 645 // First strip off any directories in name. 646 const char* basename = lbasename(name.c_str()); 647 648 // Try finding an exact match. 649 p = excluded_libs_.find(std::string(basename)); 650 if (p != excluded_libs_.end()) 651 return true; 652 653 // Try matching NAME without ".a" at the end. 654 size_t length = strlen(basename); 655 if ((length >= 2) 656 && (basename[length - 2] == '.') 657 && (basename[length - 1] == 'a')) 658 { 659 p = excluded_libs_.find(std::string(basename, length - 2)); 660 if (p != excluded_libs_.end()) 661 return true; 662 } 663 664 return false; 665 } 666 667 // Recognize input and output target names. The GNU linker accepts 668 // these with --format and --oformat. This code is intended to be 669 // minimally compatible. In practice for an ELF target this would be 670 // the same target as the input files; that name always start with 671 // "elf". Non-ELF targets would be "srec", "symbolsrec", "tekhex", 672 // "binary", "ihex". 673 674 General_options::Object_format 675 General_options::string_to_object_format(const char* arg) 676 { 677 if (strncmp(arg, "elf", 3) == 0 || strcmp(arg, "default") == 0) 678 return gold::General_options::OBJECT_FORMAT_ELF; 679 else if (strcmp(arg, "binary") == 0) 680 return gold::General_options::OBJECT_FORMAT_BINARY; 681 else 682 { 683 gold::gold_error(_("format '%s' not supported; treating as elf " 684 "(supported formats: elf, binary)"), 685 arg); 686 return gold::General_options::OBJECT_FORMAT_ELF; 687 } 688 } 689 690 void 691 General_options::parse_fix_v4bx(const char*, const char*, 692 Command_line*) 693 { 694 this->fix_v4bx_ = FIX_V4BX_REPLACE; 695 } 696 697 void 698 General_options::parse_fix_v4bx_interworking(const char*, const char*, 699 Command_line*) 700 { 701 this->fix_v4bx_ = FIX_V4BX_INTERWORKING; 702 } 703 704 void 705 General_options::parse_EB(const char*, const char*, Command_line*) 706 { 707 this->endianness_ = ENDIANNESS_BIG; 708 } 709 710 void 711 General_options::parse_EL(const char*, const char*, Command_line*) 712 { 713 this->endianness_ = ENDIANNESS_LITTLE; 714 } 715 716 } // End namespace gold. 717 718 namespace 719 { 720 721 void 722 usage() 723 { 724 fprintf(stderr, 725 _("%s: use the --help option for usage information\n"), 726 gold::program_name); 727 ::exit(EXIT_FAILURE); 728 } 729 730 void 731 usage(const char* msg, const char* opt) 732 { 733 fprintf(stderr, 734 _("%s: %s: %s\n"), 735 gold::program_name, opt, msg); 736 usage(); 737 } 738 739 // If the default sysroot is relocatable, try relocating it based on 740 // the prefix FROM. 741 742 static char* 743 get_relative_sysroot(const char* from) 744 { 745 char* path = make_relative_prefix(gold::program_name, from, 746 TARGET_SYSTEM_ROOT); 747 if (path != NULL) 748 { 749 struct stat s; 750 if (::stat(path, &s) == 0 && S_ISDIR(s.st_mode)) 751 return path; 752 free(path); 753 } 754 755 return NULL; 756 } 757 758 // Return the default sysroot. This is set by the --with-sysroot 759 // option to configure. Note we do not free the return value of 760 // get_relative_sysroot, which is a small memory leak, but is 761 // necessary since we store this pointer directly in General_options. 762 763 static const char* 764 get_default_sysroot() 765 { 766 const char* sysroot = TARGET_SYSTEM_ROOT; 767 if (*sysroot == '\0') 768 return NULL; 769 770 if (TARGET_SYSTEM_ROOT_RELOCATABLE) 771 { 772 char* path = get_relative_sysroot(BINDIR); 773 if (path == NULL) 774 path = get_relative_sysroot(TOOLBINDIR); 775 if (path != NULL) 776 return path; 777 } 778 779 return sysroot; 780 } 781 782 // Parse a long option. Such options have the form 783 // <-|--><option>[=arg]. If "=arg" is not present but the option 784 // takes an argument, the next word is taken to the be the argument. 785 // If equals_only is set, then only the <option>=<arg> form is 786 // accepted, not the <option><space><arg> form. Returns a One_option 787 // struct or NULL if argv[i] cannot be parsed as a long option. In 788 // the not-NULL case, *arg is set to the option's argument (NULL if 789 // the option takes no argument), and *i is advanced past this option. 790 // NOTE: it is safe for argv and arg to point to the same place. 791 gold::options::One_option* 792 parse_long_option(int argc, const char** argv, bool equals_only, 793 const char** arg, int* i) 794 { 795 const char* const this_argv = argv[*i]; 796 797 const char* equals = strchr(this_argv, '='); 798 const char* option_start = this_argv + strspn(this_argv, "-"); 799 std::string option(option_start, 800 equals ? equals - option_start : strlen(option_start)); 801 802 gold::options::Option_map::iterator it 803 = gold::options::long_options->find(option); 804 if (it == gold::options::long_options->end()) 805 return NULL; 806 807 gold::options::One_option* retval = it->second; 808 809 // If the dash-count doesn't match, we fail. 810 if (this_argv[0] != '-') // no dashes at all: had better be "-z <longopt>" 811 { 812 if (retval->dashes != gold::options::DASH_Z) 813 return NULL; 814 } 815 else if (this_argv[1] != '-') // one dash 816 { 817 if (retval->dashes != gold::options::ONE_DASH 818 && retval->dashes != gold::options::EXACTLY_ONE_DASH 819 && retval->dashes != gold::options::TWO_DASHES) 820 return NULL; 821 } 822 else // two dashes (or more!) 823 { 824 if (retval->dashes != gold::options::TWO_DASHES 825 && retval->dashes != gold::options::EXACTLY_TWO_DASHES 826 && retval->dashes != gold::options::ONE_DASH) 827 return NULL; 828 } 829 830 // Now that we know the option is good (or else bad in a way that 831 // will cause us to die), increment i to point past this argv. 832 ++(*i); 833 834 // Figure out the option's argument, if any. 835 if (!retval->takes_argument()) 836 { 837 if (equals) 838 usage(_("unexpected argument"), this_argv); 839 else 840 *arg = NULL; 841 } 842 else 843 { 844 if (equals) 845 *arg = equals + 1; 846 else if (retval->takes_optional_argument()) 847 *arg = retval->default_value; 848 else if (*i < argc && !equals_only) 849 *arg = argv[(*i)++]; 850 else 851 usage(_("missing argument"), this_argv); 852 } 853 854 return retval; 855 } 856 857 // Parse a short option. Such options have the form -<option>[arg]. 858 // If "arg" is not present but the option takes an argument, the next 859 // word is taken to the be the argument. If the option does not take 860 // an argument, it may be followed by another short option. Returns a 861 // One_option struct or NULL if argv[i] cannot be parsed as a short 862 // option. In the not-NULL case, *arg is set to the option's argument 863 // (NULL if the option takes no argument), and *i is advanced past 864 // this option. This function keeps *i the same if we parsed a short 865 // option that does not take an argument, that looks to be followed by 866 // another short option in the same word. 867 gold::options::One_option* 868 parse_short_option(int argc, const char** argv, int pos_in_argv_i, 869 const char** arg, int* i) 870 { 871 const char* const this_argv = argv[*i]; 872 873 if (this_argv[0] != '-') 874 return NULL; 875 876 // We handle -z as a special case. 877 static gold::options::One_option dash_z("", gold::options::DASH_Z, 878 'z', "", NULL, "Z-OPTION", false, 879 NULL); 880 gold::options::One_option* retval = NULL; 881 if (this_argv[pos_in_argv_i] == 'z') 882 retval = &dash_z; 883 else 884 { 885 const int char_as_int = static_cast<int>(this_argv[pos_in_argv_i]); 886 if (char_as_int > 0 && char_as_int < 128) 887 retval = gold::options::short_options[char_as_int]; 888 } 889 890 if (retval == NULL) 891 return NULL; 892 893 // Figure out the option's argument, if any. 894 if (!retval->takes_argument()) 895 { 896 *arg = NULL; 897 // We only advance past this argument if it's the only one in argv. 898 if (this_argv[pos_in_argv_i + 1] == '\0') 899 ++(*i); 900 } 901 else 902 { 903 // If we take an argument, we'll eat up this entire argv entry. 904 ++(*i); 905 if (this_argv[pos_in_argv_i + 1] != '\0') 906 *arg = this_argv + pos_in_argv_i + 1; 907 else if (retval->takes_optional_argument()) 908 *arg = retval->default_value; 909 else if (*i < argc) 910 *arg = argv[(*i)++]; 911 else 912 usage(_("missing argument"), this_argv); 913 } 914 915 // If we're a -z option, we need to parse our argument as a 916 // long-option, e.g. "-z stacksize=8192". 917 if (retval == &dash_z) 918 { 919 int dummy_i = 0; 920 const char* dash_z_arg = *arg; 921 retval = parse_long_option(1, arg, true, arg, &dummy_i); 922 if (retval == NULL) 923 usage(_("unknown -z option"), dash_z_arg); 924 } 925 926 return retval; 927 } 928 929 } // End anonymous namespace. 930 931 namespace gold 932 { 933 934 General_options::General_options() 935 : printed_version_(false), 936 execstack_status_(EXECSTACK_FROM_INPUT), 937 icf_status_(ICF_NONE), 938 static_(false), 939 do_demangle_(false), 940 plugins_(NULL), 941 dynamic_list_(), 942 have_dynamic_list_(false), 943 incremental_mode_(INCREMENTAL_OFF), 944 incremental_disposition_(INCREMENTAL_STARTUP), 945 incremental_startup_disposition_(INCREMENTAL_CHECK), 946 implicit_incremental_(false), 947 excluded_libs_(), 948 symbols_to_retain_(), 949 section_starts_(), 950 fix_v4bx_(FIX_V4BX_NONE), 951 endianness_(ENDIANNESS_NOT_SET), 952 discard_locals_(DISCARD_SEC_MERGE) 953 { 954 // Turn off option registration once construction is complete. 955 gold::options::ready_to_register = false; 956 } 957 958 General_options::Object_format 959 General_options::format_enum() const 960 { 961 return General_options::string_to_object_format(this->format()); 962 } 963 964 General_options::Object_format 965 General_options::oformat_enum() const 966 { 967 return General_options::string_to_object_format(this->oformat()); 968 } 969 970 // Add the sysroot, if any, to the search paths. 971 972 void 973 General_options::add_sysroot() 974 { 975 if (this->sysroot() == NULL || this->sysroot()[0] == '\0') 976 { 977 this->set_sysroot(get_default_sysroot()); 978 if (this->sysroot() == NULL || this->sysroot()[0] == '\0') 979 return; 980 } 981 982 char* canonical_sysroot = lrealpath(this->sysroot()); 983 984 for (Dir_list::iterator p = this->library_path_.value.begin(); 985 p != this->library_path_.value.end(); 986 ++p) 987 p->add_sysroot(this->sysroot(), canonical_sysroot); 988 989 free(canonical_sysroot); 990 } 991 992 // Return whether FILENAME is in a system directory. 993 994 bool 995 General_options::is_in_system_directory(const std::string& filename) const 996 { 997 for (Dir_list::const_iterator p = this->library_path_.value.begin(); 998 p != this->library_path_.value.end(); 999 ++p) 1000 { 1001 // We use a straight string comparison rather than calling 1002 // FILENAME_CMP because we are only interested in the cases 1003 // where we found the file in a system directory, which means 1004 // that we used the directory name as a prefix for a -L search. 1005 if (p->is_system_directory() 1006 && filename.compare(0, p->name().size(), p->name()) == 0) 1007 return true; 1008 } 1009 return false; 1010 } 1011 1012 // Add a plugin to the list of plugins. 1013 1014 void 1015 General_options::add_plugin(const char* filename) 1016 { 1017 if (this->plugins_ == NULL) 1018 this->plugins_ = new Plugin_manager(*this); 1019 this->plugins_->add_plugin(filename); 1020 } 1021 1022 // Add a plugin option to a plugin. 1023 1024 void 1025 General_options::add_plugin_option(const char* arg) 1026 { 1027 if (this->plugins_ == NULL) 1028 gold_fatal("--plugin-opt requires --plugin."); 1029 this->plugins_->add_plugin_option(arg); 1030 } 1031 1032 // Set up variables and other state that isn't set up automatically by 1033 // the parse routine, and ensure options don't contradict each other 1034 // and are otherwise kosher. 1035 1036 void 1037 General_options::finalize() 1038 { 1039 // Normalize the strip modifiers. They have a total order: 1040 // strip_all > strip_debug > strip_non_line > strip_debug_gdb. 1041 // If one is true, set all beneath it to true as well. 1042 if (this->strip_all()) 1043 this->set_strip_debug(true); 1044 if (this->strip_debug()) 1045 this->set_strip_debug_non_line(true); 1046 if (this->strip_debug_non_line()) 1047 this->set_strip_debug_gdb(true); 1048 1049 if (this->Bshareable()) 1050 this->set_shared(true); 1051 1052 // If the user specifies both -s and -r, convert the -s to -S. 1053 // -r requires us to keep externally visible symbols! 1054 if (this->strip_all() && this->relocatable()) 1055 { 1056 this->set_strip_all(false); 1057 gold_assert(this->strip_debug()); 1058 } 1059 1060 // For us, -dc and -dp are synonyms for --define-common. 1061 if (this->dc()) 1062 this->set_define_common(true); 1063 if (this->dp()) 1064 this->set_define_common(true); 1065 1066 // We also set --define-common if we're not relocatable, as long as 1067 // the user didn't explicitly ask for something different. 1068 if (!this->user_set_define_common()) 1069 this->set_define_common(!this->relocatable()); 1070 1071 // execstack_status_ is a three-state variable; update it based on 1072 // -z [no]execstack. 1073 if (this->execstack()) 1074 this->set_execstack_status(EXECSTACK_YES); 1075 else if (this->noexecstack()) 1076 this->set_execstack_status(EXECSTACK_NO); 1077 1078 // icf_status_ is a three-state variable; update it based on the 1079 // value of this->icf(). 1080 if (strcmp(this->icf(), "none") == 0) 1081 this->set_icf_status(ICF_NONE); 1082 else if (strcmp(this->icf(), "safe") == 0) 1083 this->set_icf_status(ICF_SAFE); 1084 else 1085 this->set_icf_status(ICF_ALL); 1086 1087 // Handle the optional argument for --demangle. 1088 if (this->user_set_demangle()) 1089 { 1090 this->set_do_demangle(true); 1091 const char* style = this->demangle(); 1092 if (*style != '\0') 1093 { 1094 enum demangling_styles style_code; 1095 1096 style_code = cplus_demangle_name_to_style(style); 1097 if (style_code == unknown_demangling) 1098 gold_fatal("unknown demangling style '%s'", style); 1099 cplus_demangle_set_style(style_code); 1100 } 1101 } 1102 else if (this->user_set_no_demangle()) 1103 this->set_do_demangle(false); 1104 else 1105 { 1106 // Testing COLLECT_NO_DEMANGLE makes our default demangling 1107 // behaviour identical to that of gcc's linker wrapper. 1108 this->set_do_demangle(getenv("COLLECT_NO_DEMANGLE") == NULL); 1109 } 1110 1111 // -M is equivalent to "-Map -". 1112 if (this->print_map() && !this->user_set_Map()) 1113 { 1114 this->set_Map("-"); 1115 this->set_user_set_Map(); 1116 } 1117 1118 // Using -n or -N implies -static. 1119 if (this->nmagic() || this->omagic()) 1120 this->set_static(true); 1121 1122 // If --thread_count is specified, it applies to 1123 // --thread-count-{initial,middle,final}, though it doesn't override 1124 // them. 1125 if (this->thread_count() > 0 && this->thread_count_initial() == 0) 1126 this->set_thread_count_initial(this->thread_count()); 1127 if (this->thread_count() > 0 && this->thread_count_middle() == 0) 1128 this->set_thread_count_middle(this->thread_count()); 1129 if (this->thread_count() > 0 && this->thread_count_final() == 0) 1130 this->set_thread_count_final(this->thread_count()); 1131 1132 // Let's warn if you set the thread-count but we're going to ignore it. 1133 #ifndef ENABLE_THREADS 1134 if (this->threads()) 1135 { 1136 gold_warning(_("ignoring --threads: " 1137 "%s was compiled without thread support"), 1138 program_name); 1139 this->set_threads(false); 1140 } 1141 if (this->thread_count() > 0 || this->thread_count_initial() > 0 1142 || this->thread_count_middle() > 0 || this->thread_count_final() > 0) 1143 gold_warning(_("ignoring --thread-count: " 1144 "%s was compiled without thread support"), 1145 program_name); 1146 #endif 1147 1148 std::string libpath; 1149 if (this->user_set_Y()) 1150 { 1151 libpath = this->Y(); 1152 if (libpath.compare(0, 2, "P,") == 0) 1153 libpath.erase(0, 2); 1154 } 1155 else if (!this->nostdlib()) 1156 { 1157 #ifndef NATIVE_LINKER 1158 #define NATIVE_LINKER 0 1159 #endif 1160 const char* p = LIB_PATH; 1161 if (strcmp(p, "::DEFAULT::") != 0) 1162 libpath = p; 1163 else if (NATIVE_LINKER 1164 || this->user_set_sysroot() 1165 || *TARGET_SYSTEM_ROOT != '\0') 1166 { 1167 this->add_to_library_path_with_sysroot("/lib"); 1168 this->add_to_library_path_with_sysroot("/usr/lib"); 1169 } 1170 else 1171 this->add_to_library_path_with_sysroot(TOOLLIBDIR); 1172 } 1173 1174 if (!libpath.empty()) 1175 { 1176 size_t pos = 0; 1177 size_t next_pos; 1178 do 1179 { 1180 next_pos = libpath.find(':', pos); 1181 size_t len = (next_pos == std::string::npos 1182 ? next_pos 1183 : next_pos - pos); 1184 if (len != 0) 1185 this->add_to_library_path_with_sysroot(libpath.substr(pos, len)); 1186 pos = next_pos + 1; 1187 } 1188 while (next_pos != std::string::npos); 1189 } 1190 1191 // Parse the contents of -retain-symbols-file into a set. 1192 if (this->retain_symbols_file()) 1193 { 1194 std::ifstream in; 1195 in.open(this->retain_symbols_file()); 1196 if (!in) 1197 gold_fatal(_("unable to open -retain-symbols-file file %s: %s"), 1198 this->retain_symbols_file(), strerror(errno)); 1199 std::string line; 1200 std::getline(in, line); // this chops off the trailing \n, if any 1201 while (in) 1202 { 1203 if (!line.empty() && line[line.length() - 1] == '\r') // Windows 1204 line.resize(line.length() - 1); 1205 this->symbols_to_retain_.insert(line); 1206 std::getline(in, line); 1207 } 1208 } 1209 1210 // -Bgroup implies --unresolved-symbols=report-all. 1211 if (this->Bgroup() && !this->user_set_unresolved_symbols()) 1212 this->set_unresolved_symbols("report-all"); 1213 1214 // -shared implies --allow-shlib-undefined. Currently 1215 // ---allow-shlib-undefined controls warnings issued based on the 1216 // -symbol table. --unresolved-symbols controls warnings issued 1217 // -based on relocations. 1218 if (this->shared() && !this->user_set_allow_shlib_undefined()) 1219 this->set_allow_shlib_undefined(true); 1220 1221 // Normalize library_path() by adding the sysroot to all directories 1222 // in the path, as appropriate. 1223 this->add_sysroot(); 1224 1225 // Now that we've normalized the options, check for contradictory ones. 1226 if (this->shared() && this->is_static()) 1227 gold_fatal(_("-shared and -static are incompatible")); 1228 if (this->shared() && this->pie()) 1229 gold_fatal(_("-shared and -pie are incompatible")); 1230 if (this->pie() && this->is_static()) 1231 gold_fatal(_("-pie and -static are incompatible")); 1232 1233 if (this->shared() && this->relocatable()) 1234 gold_fatal(_("-shared and -r are incompatible")); 1235 if (this->pie() && this->relocatable()) 1236 gold_fatal(_("-pie and -r are incompatible")); 1237 1238 if (!this->shared()) 1239 { 1240 if (this->filter() != NULL) 1241 gold_fatal(_("-F/--filter may not used without -shared")); 1242 if (this->any_auxiliary()) 1243 gold_fatal(_("-f/--auxiliary may not be used without -shared")); 1244 } 1245 1246 // TODO: implement support for -retain-symbols-file with -r, if needed. 1247 if (this->relocatable() && this->retain_symbols_file()) 1248 gold_fatal(_("-retain-symbols-file does not yet work with -r")); 1249 1250 if (this->oformat_enum() != General_options::OBJECT_FORMAT_ELF 1251 && (this->shared() 1252 || this->pie() 1253 || this->relocatable())) 1254 gold_fatal(_("binary output format not compatible " 1255 "with -shared or -pie or -r")); 1256 1257 if (this->user_set_hash_bucket_empty_fraction() 1258 && (this->hash_bucket_empty_fraction() < 0.0 1259 || this->hash_bucket_empty_fraction() >= 1.0)) 1260 gold_fatal(_("--hash-bucket-empty-fraction value %g out of range " 1261 "[0.0, 1.0)"), 1262 this->hash_bucket_empty_fraction()); 1263 1264 if (this->implicit_incremental_ && this->incremental_mode_ == INCREMENTAL_OFF) 1265 gold_fatal(_("Options --incremental-changed, --incremental-unchanged, " 1266 "--incremental-unknown require the use of --incremental")); 1267 1268 // Check for options that are not compatible with incremental linking. 1269 // Where an option can be disabled without seriously changing the semantics 1270 // of the link, we turn the option off; otherwise, we issue a fatal error. 1271 1272 if (this->incremental_mode_ != INCREMENTAL_OFF) 1273 { 1274 if (this->relocatable()) 1275 gold_fatal(_("incremental linking is not compatible with -r")); 1276 if (this->emit_relocs()) 1277 gold_fatal(_("incremental linking is not compatible with " 1278 "--emit-relocs")); 1279 if (this->has_plugins()) 1280 gold_fatal(_("incremental linking is not compatible with --plugin")); 1281 if (this->relro()) 1282 gold_fatal(_("incremental linking is not compatible with -z relro")); 1283 if (this->gc_sections()) 1284 { 1285 gold_warning(_("ignoring --gc-sections for an incremental link")); 1286 this->set_gc_sections(false); 1287 } 1288 if (this->icf_enabled()) 1289 { 1290 gold_warning(_("ignoring --icf for an incremental link")); 1291 this->set_icf_status(ICF_NONE); 1292 } 1293 if (strcmp(this->compress_debug_sections(), "none") != 0) 1294 { 1295 gold_warning(_("ignoring --compress-debug-sections for an " 1296 "incremental link")); 1297 this->set_compress_debug_sections("none"); 1298 } 1299 } 1300 1301 // --rosegment-gap implies --rosegment. 1302 if (this->user_set_rosegment_gap()) 1303 this->set_rosegment(true); 1304 1305 // FIXME: we can/should be doing a lot more sanity checking here. 1306 } 1307 1308 // Search_directory methods. 1309 1310 // This is called if we have a sysroot. Apply the sysroot if 1311 // appropriate. Record whether the directory is in the sysroot. 1312 1313 void 1314 Search_directory::add_sysroot(const char* sysroot, 1315 const char* canonical_sysroot) 1316 { 1317 gold_assert(*sysroot != '\0'); 1318 if (this->put_in_sysroot_) 1319 { 1320 if (!IS_DIR_SEPARATOR(this->name_[0]) 1321 && !IS_DIR_SEPARATOR(sysroot[strlen(sysroot) - 1])) 1322 this->name_ = '/' + this->name_; 1323 this->name_ = sysroot + this->name_; 1324 this->is_in_sysroot_ = true; 1325 } 1326 else 1327 { 1328 // Check whether this entry is in the sysroot. To do this 1329 // correctly, we need to use canonical names. Otherwise we will 1330 // get confused by the ../../.. paths that gcc tends to use. 1331 char* canonical_name = lrealpath(this->name_.c_str()); 1332 int canonical_name_len = strlen(canonical_name); 1333 int canonical_sysroot_len = strlen(canonical_sysroot); 1334 if (canonical_name_len > canonical_sysroot_len 1335 && IS_DIR_SEPARATOR(canonical_name[canonical_sysroot_len])) 1336 { 1337 canonical_name[canonical_sysroot_len] = '\0'; 1338 if (FILENAME_CMP(canonical_name, canonical_sysroot) == 0) 1339 this->is_in_sysroot_ = true; 1340 } 1341 free(canonical_name); 1342 } 1343 } 1344 1345 // Input_arguments methods. 1346 1347 // Add a file to the list. 1348 1349 Input_argument& 1350 Input_arguments::add_file(Input_file_argument& file) 1351 { 1352 file.set_arg_serial(++this->file_count_); 1353 if (this->in_group_) 1354 { 1355 gold_assert(!this->input_argument_list_.empty()); 1356 gold_assert(this->input_argument_list_.back().is_group()); 1357 return this->input_argument_list_.back().group()->add_file(file); 1358 } 1359 if (this->in_lib_) 1360 { 1361 gold_assert(!this->input_argument_list_.empty()); 1362 gold_assert(this->input_argument_list_.back().is_lib()); 1363 return this->input_argument_list_.back().lib()->add_file(file); 1364 } 1365 this->input_argument_list_.push_back(Input_argument(file)); 1366 return this->input_argument_list_.back(); 1367 } 1368 1369 // Start a group. 1370 1371 void 1372 Input_arguments::start_group() 1373 { 1374 if (this->in_group_) 1375 gold_fatal(_("May not nest groups")); 1376 if (this->in_lib_) 1377 gold_fatal(_("may not nest groups in libraries")); 1378 Input_file_group* group = new Input_file_group(); 1379 this->input_argument_list_.push_back(Input_argument(group)); 1380 this->in_group_ = true; 1381 } 1382 1383 // End a group. 1384 1385 void 1386 Input_arguments::end_group() 1387 { 1388 if (!this->in_group_) 1389 gold_fatal(_("Group end without group start")); 1390 this->in_group_ = false; 1391 } 1392 1393 // Start a lib. 1394 1395 void 1396 Input_arguments::start_lib(const Position_dependent_options& options) 1397 { 1398 if (this->in_lib_) 1399 gold_fatal(_("may not nest libraries")); 1400 if (this->in_group_) 1401 gold_fatal(_("may not nest libraries in groups")); 1402 Input_file_lib* lib = new Input_file_lib(options); 1403 this->input_argument_list_.push_back(Input_argument(lib)); 1404 this->in_lib_ = true; 1405 } 1406 1407 // End a lib. 1408 1409 void 1410 Input_arguments::end_lib() 1411 { 1412 if (!this->in_lib_) 1413 gold_fatal(_("lib end without lib start")); 1414 this->in_lib_ = false; 1415 } 1416 1417 // Command_line options. 1418 1419 Command_line::Command_line() 1420 { 1421 } 1422 1423 // Pre_options is the hook that sets the ready_to_register flag. 1424 1425 Command_line::Pre_options::Pre_options() 1426 { 1427 gold::options::ready_to_register = true; 1428 } 1429 1430 // Process the command line options. For process_one_option, i is the 1431 // index of argv to process next, and must be an option (that is, 1432 // start with a dash). The return value is the index of the next 1433 // option to process (i+1 or i+2, or argc to indicate processing is 1434 // done). no_more_options is set to true if (and when) "--" is seen 1435 // as an option. 1436 1437 int 1438 Command_line::process_one_option(int argc, const char** argv, int i, 1439 bool* no_more_options) 1440 { 1441 gold_assert(argv[i][0] == '-' && !(*no_more_options)); 1442 1443 // If we are reading "--", then just set no_more_options and return. 1444 if (argv[i][1] == '-' && argv[i][2] == '\0') 1445 { 1446 *no_more_options = true; 1447 return i + 1; 1448 } 1449 1450 int new_i = i; 1451 options::One_option* option = NULL; 1452 const char* arg = NULL; 1453 1454 // First, try to process argv as a long option. 1455 option = parse_long_option(argc, argv, false, &arg, &new_i); 1456 if (option) 1457 { 1458 option->reader->parse_to_value(argv[i], arg, this, &this->options_); 1459 return new_i; 1460 } 1461 1462 // Now, try to process argv as a short option. Since several short 1463 // options can be combined in one argv, we may have to parse a lot 1464 // until we're done reading this argv. 1465 int pos_in_argv_i = 1; 1466 while (new_i == i) 1467 { 1468 option = parse_short_option(argc, argv, pos_in_argv_i, &arg, &new_i); 1469 if (!option) 1470 break; 1471 option->reader->parse_to_value(argv[i], arg, this, &this->options_); 1472 ++pos_in_argv_i; 1473 } 1474 if (option) 1475 return new_i; 1476 1477 // I guess it's neither a long option nor a short option. 1478 usage(_("unknown option"), argv[i]); 1479 return argc; 1480 } 1481 1482 1483 void 1484 Command_line::process(int argc, const char** argv) 1485 { 1486 bool no_more_options = false; 1487 int i = 0; 1488 while (i < argc) 1489 { 1490 this->position_options_.copy_from_options(this->options()); 1491 if (no_more_options || argv[i][0] != '-') 1492 { 1493 Input_file_argument file(argv[i], 1494 Input_file_argument::INPUT_FILE_TYPE_FILE, 1495 "", false, this->position_options_); 1496 this->inputs_.add_file(file); 1497 ++i; 1498 } 1499 else 1500 i = process_one_option(argc, argv, i, &no_more_options); 1501 } 1502 1503 if (this->inputs_.in_group()) 1504 { 1505 fprintf(stderr, _("%s: missing group end\n"), program_name); 1506 usage(); 1507 } 1508 1509 // Normalize the options and ensure they don't contradict each other. 1510 this->options_.finalize(); 1511 } 1512 1513 // Finalize the version script options and return them. 1514 1515 const Version_script_info& 1516 Command_line::version_script() 1517 { 1518 this->options_.finalize_dynamic_list(); 1519 Version_script_info* vsi = this->script_options_.version_script_info(); 1520 vsi->finalize(); 1521 return *vsi; 1522 } 1523 1524 } // End namespace gold. 1525