1 // options.c -- handle command line options for gold
3 // Copyright 2006, 2007, 2008 Free Software Foundation, Inc.
4 // Written by Ian Lance Taylor <iant@google.com>.
6 // This file is part of gold.
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.
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.
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.
30 #include "filenames.h"
31 #include "libiberty.h"
33 #include "../bfd/bfdver.h"
37 #include "target-select.h"
44 Position_dependent_options::default_options_;
49 // This global variable is set up as General_options is constructed.
50 static std::vector<const One_option*> registered_options;
52 // These are set up at the same time -- the variables that accept one
53 // dash, two, or require -z. A single variable may be in more than
54 // one of thes data structures.
55 typedef Unordered_map<std::string, One_option*> Option_map;
56 static Option_map* long_options = NULL;
57 static One_option* short_options[128];
60 One_option::register_option()
62 registered_options.push_back(this);
64 // We can't make long_options a static Option_map because we can't
65 // guarantee that will be initialized before register_option() is
67 if (long_options == NULL)
68 long_options = new Option_map;
70 // TWO_DASHES means that two dashes are preferred, but one is ok too.
71 if (!this->longname.empty())
72 (*long_options)[this->longname] = this;
74 const int shortname_as_int = static_cast<int>(this->shortname);
75 gold_assert(shortname_as_int >= 0 && shortname_as_int < 128);
76 if (this->shortname != '\0')
77 short_options[shortname_as_int] = this;
81 One_option::print() const
86 if (this->shortname != '\0')
88 len += printf("-%c", this->shortname);
91 // -z takes long-names only.
92 gold_assert(this->dashes != DASH_Z);
93 len += printf(" %s", gettext(this->helparg));
97 if (!this->longname.empty()
98 && !(this->longname[0] == this->shortname
99 && this->longname[1] == '\0'))
103 switch (this->dashes)
105 case options::ONE_DASH: case options::EXACTLY_ONE_DASH:
108 case options::TWO_DASHES: case options::EXACTLY_TWO_DASHES:
111 case options::DASH_Z:
112 len += printf("-z ");
117 len += printf("%s", this->longname.c_str());
120 // For most options, we print "--frob FOO". But for -z
121 // we print "-z frob=FOO".
122 len += printf("%c%s", this->dashes == options::DASH_Z ? '=' : ' ',
123 gettext(this->helparg));
132 for (; len < 30; ++len)
135 // TODO: if we're boolean, add " (default)" when appropriate.
136 printf("%s\n", gettext(this->helpstring));
142 printf(_("Usage: %s [options] file...\nOptions:\n"), gold::program_name);
144 std::vector<const One_option*>::const_iterator it;
145 for (it = registered_options.begin(); it != registered_options.end(); ++it)
148 // config.guess and libtool.m4 look in ld --help output for the
149 // string "supported targets".
150 printf(_("%s: supported targets:"), gold::program_name);
151 std::vector<const char*> supported_names;
152 gold::supported_target_names(&supported_names);
153 for (std::vector<const char*>::const_iterator p = supported_names.begin();
154 p != supported_names.end();
159 // REPORT_BUGS_TO is defined in bfd/bfdver.h.
160 const char* report = REPORT_BUGS_TO;
162 printf(_("Report bugs to %s\n"), report);
165 // For bool, arg will be NULL (boolean options take no argument);
166 // we always just set to true.
168 parse_bool(const char*, const char*, bool* retval)
174 parse_uint(const char* option_name, const char* arg, int* retval)
177 *retval = strtol(arg, &endptr, 0);
178 if (*endptr != '\0' || retval < 0)
179 gold_fatal(_("%s: invalid option value (expected an integer): %s"),
184 parse_uint64(const char* option_name, const char* arg, uint64_t *retval)
187 *retval = strtoull(arg, &endptr, 0);
189 gold_fatal(_("%s: invalid option value (expected an integer): %s"),
194 parse_double(const char* option_name, const char* arg, double* retval)
197 *retval = strtod(arg, &endptr);
199 gold_fatal(_("%s: invalid option value "
200 "(expected a floating point number): %s"),
205 parse_string(const char* option_name, const char* arg, const char** retval)
208 gold_fatal(_("%s: must take a non-empty argument"), option_name);
213 parse_optional_string(const char*, const char* arg, const char** retval)
219 parse_dirlist(const char*, const char* arg, Dir_list* retval)
221 retval->push_back(Search_directory(arg, false));
225 parse_choices(const char* option_name, const char* arg, const char** retval,
226 const char* choices[], int num_choices)
228 for (int i = 0; i < num_choices; i++)
229 if (strcmp(choices[i], arg) == 0)
235 // If we get here, the user did not enter a valid choice, so we die.
236 std::string choices_list;
237 for (int i = 0; i < num_choices; i++)
239 choices_list += choices[i];
240 if (i != num_choices - 1)
241 choices_list += ", ";
243 gold_fatal(_("%s: must take one of the following arguments: %s"),
244 option_name, choices_list.c_str());
247 } // End namespace options.
249 // Define the handler for "special" options (set via DEFINE_special).
252 General_options::parse_help(const char*, const char*, Command_line*)
255 ::exit(EXIT_SUCCESS);
259 General_options::parse_version(const char* opt, const char*, Command_line*)
261 gold::print_version(opt[0] == '-' && opt[1] == 'v');
262 ::exit(EXIT_SUCCESS);
266 General_options::parse_Bstatic(const char*, const char*, Command_line*)
268 this->set_Bdynamic(false);
272 General_options::parse_defsym(const char*, const char* arg,
273 Command_line* cmdline)
275 cmdline->script_options().define_symbol(arg);
279 General_options::parse_library(const char*, const char* arg,
280 Command_line* cmdline)
282 Input_file_argument file(arg, true, "", false, *this);
283 cmdline->inputs().add_file(file);
287 General_options::parse_R(const char* option, const char* arg,
288 Command_line* cmdline)
291 if (::stat(arg, &s) != 0 || S_ISDIR(s.st_mode))
292 this->add_to_rpath(arg);
294 this->parse_just_symbols(option, arg, cmdline);
298 General_options::parse_just_symbols(const char*, const char* arg,
299 Command_line* cmdline)
301 Input_file_argument file(arg, false, "", true, *this);
302 cmdline->inputs().add_file(file);
306 General_options::parse_static(const char*, const char*, Command_line*)
308 this->set_static(true);
312 General_options::parse_script(const char*, const char* arg,
313 Command_line* cmdline)
315 if (!read_commandline_script(arg, cmdline))
316 gold::gold_fatal(_("unable to parse script file %s"), arg);
320 General_options::parse_version_script(const char*, const char* arg,
321 Command_line* cmdline)
323 if (!read_version_script(arg, cmdline))
324 gold::gold_fatal(_("unable to parse version script file %s"), arg);
328 General_options::parse_start_group(const char*, const char*,
329 Command_line* cmdline)
331 cmdline->inputs().start_group();
335 General_options::parse_end_group(const char*, const char*,
336 Command_line* cmdline)
338 cmdline->inputs().end_group();
341 } // End namespace gold.
350 _("%s: use the --help option for usage information\n"),
352 ::exit(EXIT_FAILURE);
356 usage(const char* msg, const char *opt)
360 gold::program_name, opt, msg);
364 // Recognize input and output target names. The GNU linker accepts
365 // these with --format and --oformat. This code is intended to be
366 // minimally compatible. In practice for an ELF target this would be
367 // the same target as the input files; that name always start with
368 // "elf". Non-ELF targets would be "srec", "symbolsrec", "tekhex",
371 gold::General_options::Object_format
372 string_to_object_format(const char* arg)
374 if (strncmp(arg, "elf", 3) == 0)
375 return gold::General_options::OBJECT_FORMAT_ELF;
376 else if (strcmp(arg, "binary") == 0)
377 return gold::General_options::OBJECT_FORMAT_BINARY;
380 gold::gold_error(_("format '%s' not supported; treating as elf "
381 "(supported formats: elf, binary)"),
383 return gold::General_options::OBJECT_FORMAT_ELF;
387 // If the default sysroot is relocatable, try relocating it based on
391 get_relative_sysroot(const char* from)
393 char* path = make_relative_prefix(gold::program_name, from,
398 if (::stat(path, &s) == 0 && S_ISDIR(s.st_mode))
406 // Return the default sysroot. This is set by the --with-sysroot
407 // option to configure. Note we do not free the return value of
408 // get_relative_sysroot, which is a small memory leak, but is
409 // necessary since we store this pointer directly in General_options.
412 get_default_sysroot()
414 const char* sysroot = TARGET_SYSTEM_ROOT;
415 if (*sysroot == '\0')
418 if (TARGET_SYSTEM_ROOT_RELOCATABLE)
420 char* path = get_relative_sysroot(BINDIR);
422 path = get_relative_sysroot(TOOLBINDIR);
430 // Parse a long option. Such options have the form
431 // <-|--><option>[=arg]. If "=arg" is not present but the option
432 // takes an argument, the next word is taken to the be the argument.
433 // If equals_only is set, then only the <option>=<arg> form is
434 // accepted, not the <option><space><arg> form. Returns a One_option
435 // struct or NULL if argv[i] cannot be parsed as a long option. In
436 // the not-NULL case, *arg is set to the option's argument (NULL if
437 // the option takes no argument), and *i is advanced past this option.
438 // NOTE: it is safe for argv and arg to point to the same place.
439 gold::options::One_option*
440 parse_long_option(int argc, const char** argv, bool equals_only,
441 const char** arg, int* i)
443 const char* const this_argv = argv[*i];
445 const char* equals = strchr(this_argv, '=');
446 const char* option_start = this_argv + strspn(this_argv, "-");
447 std::string option(option_start,
448 equals ? equals - option_start : strlen(option_start));
450 gold::options::Option_map::iterator it
451 = gold::options::long_options->find(option);
452 if (it == gold::options::long_options->end())
455 gold::options::One_option* retval = it->second;
457 // If the dash-count doesn't match, we fail.
458 if (this_argv[0] != '-') // no dashes at all: had better be "-z <longopt>"
460 if (retval->dashes != gold::options::DASH_Z)
463 else if (this_argv[1] != '-') // one dash
465 if (retval->dashes != gold::options::ONE_DASH
466 && retval->dashes != gold::options::EXACTLY_ONE_DASH
467 && retval->dashes != gold::options::TWO_DASHES)
470 else // two dashes (or more!)
472 if (retval->dashes != gold::options::TWO_DASHES
473 && retval->dashes != gold::options::EXACTLY_TWO_DASHES
474 && retval->dashes != gold::options::ONE_DASH)
478 // Now that we know the option is good (or else bad in a way that
479 // will cause us to die), increment i to point past this argv.
482 // Figure out the option's argument, if any.
483 if (!retval->takes_argument())
486 usage(_("unexpected argument"), this_argv);
494 else if (retval->takes_optional_argument())
495 *arg = retval->default_value;
496 else if (*i < argc && !equals_only)
499 usage(_("missing argument"), this_argv);
505 // Parse a short option. Such options have the form -<option>[arg].
506 // If "arg" is not present but the option takes an argument, the next
507 // word is taken to the be the argument. If the option does not take
508 // an argument, it may be followed by another short option. Returns a
509 // One_option struct or NULL if argv[i] cannot be parsed as a short
510 // option. In the not-NULL case, *arg is set to the option's argument
511 // (NULL if the option takes no argument), and *i is advanced past
512 // this option. This function keeps *i the same if we parsed a short
513 // option that does not take an argument, that looks to be followed by
514 // another short option in the same word.
515 gold::options::One_option*
516 parse_short_option(int argc, const char** argv, int pos_in_argv_i,
517 const char** arg, int* i)
519 const char* const this_argv = argv[*i];
521 if (this_argv[0] != '-')
524 // We handle -z as a special case.
525 static gold::options::One_option dash_z("", gold::options::DASH_Z,
526 'z', "", "-z", "Z-OPTION", false,
528 gold::options::One_option* retval = NULL;
529 if (this_argv[pos_in_argv_i] == 'z')
533 const int char_as_int = static_cast<int>(this_argv[pos_in_argv_i]);
534 if (char_as_int > 0 && char_as_int < 128)
535 retval = gold::options::short_options[char_as_int];
541 // Figure out the option's argument, if any.
542 if (!retval->takes_argument())
545 // We only advance past this argument if it's the only one in argv.
546 if (this_argv[pos_in_argv_i + 1] == '\0')
551 // If we take an argument, we'll eat up this entire argv entry.
553 if (this_argv[pos_in_argv_i + 1] != '\0')
554 *arg = this_argv + pos_in_argv_i + 1;
555 else if (retval->takes_optional_argument())
556 *arg = retval->default_value;
560 usage(_("missing argument"), this_argv);
563 // If we're a -z option, we need to parse our argument as a
564 // long-option, e.g. "-z stacksize=8192".
565 if (retval == &dash_z)
568 const char* dash_z_arg = *arg;
569 retval = parse_long_option(1, arg, true, arg, &dummy_i);
571 usage(_("unknown -z option"), dash_z_arg);
577 } // End anonymous namespace.
582 General_options::General_options()
583 : execstack_status_(General_options::EXECSTACK_FROM_INPUT), static_(false),
588 General_options::Object_format
589 General_options::format_enum() const
591 return string_to_object_format(this->format());
594 General_options::Object_format
595 General_options::oformat_enum() const
597 return string_to_object_format(this->oformat());
600 // Add the sysroot, if any, to the search paths.
603 General_options::add_sysroot()
605 if (this->sysroot() == NULL || this->sysroot()[0] == '\0')
607 this->set_sysroot(get_default_sysroot());
608 if (this->sysroot() == NULL || this->sysroot()[0] == '\0')
612 char* canonical_sysroot = lrealpath(this->sysroot());
614 for (Dir_list::iterator p = this->library_path_.value.begin();
615 p != this->library_path_.value.end();
617 p->add_sysroot(this->sysroot(), canonical_sysroot);
619 free(canonical_sysroot);
622 // Set up variables and other state that isn't set up automatically by
623 // the parse routine, and ensure options don't contradict each other
624 // and are otherwise kosher.
627 General_options::finalize()
629 // Normalize the strip modifiers. They have a total order:
630 // strip_all > strip_debug > strip_debug_gdb. If one is true, set
631 // all beneath it to true as well.
632 if (this->strip_all())
633 this->set_strip_debug(true);
634 if (this->strip_debug())
635 this->set_strip_debug_gdb(true);
637 // If the user specifies both -s and -r, convert the -s to -S.
638 // -r requires us to keep externally visible symbols!
639 if (this->strip_all() && this->relocatable())
641 this->set_strip_all(false);
642 gold_assert(this->strip_debug());
645 // For us, -dc and -dp are synonyms for --define-common.
647 this->set_define_common(true);
649 this->set_define_common(true);
651 // We also set --define-common if we're not relocatable, as long as
652 // the user didn't explicitly ask for something different.
653 if (!this->user_set_define_common())
654 this->set_define_common(!this->relocatable());
656 // execstack_status_ is a three-state variable; update it based on
658 if (this->execstack())
659 this->set_execstack_status(EXECSTACK_YES);
660 else if (this->noexecstack())
661 this->set_execstack_status(EXECSTACK_NO);
663 // Handle the optional argument for --demangle.
664 if (this->user_set_demangle())
666 this->set_do_demangle(true);
667 const char* style = this->demangle();
670 enum demangling_styles style_code;
672 style_code = cplus_demangle_name_to_style(style);
673 if (style_code == unknown_demangling)
674 gold_fatal("unknown demangling style '%s'", style);
675 cplus_demangle_set_style(style_code);
678 else if (this->user_set_no_demangle())
679 this->set_do_demangle(false);
682 // Testing COLLECT_NO_DEMANGLE makes our default demangling
683 // behaviour identical to that of gcc's linker wrapper.
684 this->set_do_demangle(getenv("COLLECT_NO_DEMANGLE") == NULL);
687 // If --thread_count is specified, it applies to
688 // --thread-count-{initial,middle,final}, though it doesn't override
690 if (this->thread_count() > 0 && this->thread_count_initial() == 0)
691 this->set_thread_count_initial(this->thread_count());
692 if (this->thread_count() > 0 && this->thread_count_middle() == 0)
693 this->set_thread_count_middle(this->thread_count());
694 if (this->thread_count() > 0 && this->thread_count_final() == 0)
695 this->set_thread_count_final(this->thread_count());
697 // Let's warn if you set the thread-count but we're going to ignore it.
698 #ifndef ENABLE_THREADS
701 gold_warning(_("ignoring --threads: "
702 "%s was compiled without thread support"),
704 this->set_threads(false);
706 if (this->thread_count() > 0 || this->thread_count_initial() > 0
707 || this->thread_count_middle() > 0 || this->thread_count_final() > 0)
708 gold_warning(_("ignoring --thread-count: "
709 "%s was compiled without thread support"),
713 // Even if they don't specify it, we add -L /lib and -L /usr/lib.
714 // FIXME: We should only do this when configured in native mode.
715 this->add_to_library_path_with_sysroot("/lib");
716 this->add_to_library_path_with_sysroot("/usr/lib");
718 // Normalize library_path() by adding the sysroot to all directories
719 // in the path, as appropriate.
722 // Now that we've normalized the options, check for contradictory ones.
723 if (this->shared() && this->relocatable())
724 gold_fatal(_("-shared and -r are incompatible"));
726 if (this->oformat_enum() != General_options::OBJECT_FORMAT_ELF
727 && (this->shared() || this->relocatable()))
728 gold_fatal(_("binary output format not compatible with -shared or -r"));
730 if (this->user_set_hash_bucket_empty_fraction()
731 && (this->hash_bucket_empty_fraction() < 0.0
732 || this->hash_bucket_empty_fraction() >= 1.0))
733 gold_fatal(_("--hash-bucket-empty-fraction value %g out of range "
735 this->hash_bucket_empty_fraction());
737 // FIXME: we can/should be doing a lot more sanity checking here.
740 // Search_directory methods.
742 // This is called if we have a sysroot. Apply the sysroot if
743 // appropriate. Record whether the directory is in the sysroot.
746 Search_directory::add_sysroot(const char* sysroot,
747 const char* canonical_sysroot)
749 gold_assert(*sysroot != '\0');
750 if (this->put_in_sysroot_)
752 if (!IS_DIR_SEPARATOR(this->name_[0])
753 && !IS_DIR_SEPARATOR(sysroot[strlen(sysroot) - 1]))
754 this->name_ = '/' + this->name_;
755 this->name_ = sysroot + this->name_;
756 this->is_in_sysroot_ = true;
760 // Check whether this entry is in the sysroot. To do this
761 // correctly, we need to use canonical names. Otherwise we will
762 // get confused by the ../../.. paths that gcc tends to use.
763 char* canonical_name = lrealpath(this->name_.c_str());
764 int canonical_name_len = strlen(canonical_name);
765 int canonical_sysroot_len = strlen(canonical_sysroot);
766 if (canonical_name_len > canonical_sysroot_len
767 && IS_DIR_SEPARATOR(canonical_name[canonical_sysroot_len]))
769 canonical_name[canonical_sysroot_len] = '\0';
770 if (FILENAME_CMP(canonical_name, canonical_sysroot) == 0)
771 this->is_in_sysroot_ = true;
773 free(canonical_name);
777 // Input_arguments methods.
779 // Add a file to the list.
782 Input_arguments::add_file(const Input_file_argument& file)
784 if (!this->in_group_)
785 this->input_argument_list_.push_back(Input_argument(file));
788 gold_assert(!this->input_argument_list_.empty());
789 gold_assert(this->input_argument_list_.back().is_group());
790 this->input_argument_list_.back().group()->add_file(file);
797 Input_arguments::start_group()
800 gold_fatal(_("May not nest groups"));
801 Input_file_group* group = new Input_file_group();
802 this->input_argument_list_.push_back(Input_argument(group));
803 this->in_group_ = true;
809 Input_arguments::end_group()
811 if (!this->in_group_)
812 gold_fatal(_("Group end without group start"));
813 this->in_group_ = false;
816 // Command_line options.
818 Command_line::Command_line()
822 // Process the command line options. For process_one_option, i is the
823 // index of argv to process next, and must be an option (that is,
824 // start with a dash). The return value is the index of the next
825 // option to process (i+1 or i+2, or argc to indicate processing is
826 // done). no_more_options is set to true if (and when) "--" is seen
830 Command_line::process_one_option(int argc, const char** argv, int i,
831 bool* no_more_options)
833 gold_assert(argv[i][0] == '-' && !(*no_more_options));
835 // If we are reading "--", then just set no_more_options and return.
836 if (argv[i][1] == '-' && argv[i][2] == '\0')
838 *no_more_options = true;
843 options::One_option* option = NULL;
844 const char* arg = NULL;
846 // First, try to process argv as a long option.
847 option = parse_long_option(argc, argv, false, &arg, &new_i);
850 option->reader->parse_to_value(argv[i], arg, this, &this->options_);
854 // Now, try to process argv as a short option. Since several short
855 // options can be combined in one argv, we may have to parse a lot
856 // until we're done reading this argv.
857 int pos_in_argv_i = 1;
860 option = parse_short_option(argc, argv, pos_in_argv_i, &arg, &new_i);
863 option->reader->parse_to_value(argv[i], arg, this, &this->options_);
869 // I guess it's neither a long option nor a short option.
870 usage(_("unknown option"), argv[i]);
876 Command_line::process(int argc, const char** argv)
878 bool no_more_options = false;
882 this->position_options_.copy_from_options(this->options());
883 if (no_more_options || argv[i][0] != '-')
885 Input_file_argument file(argv[i], false, "", false,
886 this->position_options_);
887 this->inputs_.add_file(file);
891 i = process_one_option(argc, argv, i, &no_more_options);
894 if (this->inputs_.in_group())
896 fprintf(stderr, _("%s: missing group end\n"), program_name);
900 // Normalize the options and ensure they don't contradict each other.
901 this->options_.finalize();
904 } // End namespace gold.