OSDN Git Service

* options.h (Command_line::Pre_options): New class.
[pf3gnuchains/pf3gnuchains3x.git] / gold / options.cc
1 // options.c -- handle command line options for gold
2
3 // Copyright 2006, 2007, 2008, 2009 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 <cstdlib>
26 #include <cstring>
27 #include <vector>
28 #include <iostream>
29 #include <sys/stat.h>
30 #include "filenames.h"
31 #include "libiberty.h"
32 #include "demangle.h"
33 #include "../bfd/bfdver.h"
34
35 #include "debug.h"
36 #include "script.h"
37 #include "target-select.h"
38 #include "options.h"
39 #include "plugin.h"
40
41 namespace gold
42 {
43
44 General_options
45 Position_dependent_options::default_options_;
46
47 namespace options
48 {
49
50 // This flag is TRUE if we should register the command-line options as they
51 // are constructed.  It is set after contruction of the options within
52 // class Position_dependent_options.
53 static bool ready_to_register = false;
54
55 // This global variable is set up as General_options is constructed.
56 static std::vector<const One_option*> registered_options;
57
58 // These are set up at the same time -- the variables that accept one
59 // dash, two, or require -z.  A single variable may be in more than
60 // one of thes data structures.
61 typedef Unordered_map<std::string, One_option*> Option_map;
62 static Option_map* long_options = NULL;
63 static One_option* short_options[128];
64
65 void
66 One_option::register_option()
67 {
68   if (!ready_to_register)
69     return;
70
71   registered_options.push_back(this);
72
73   // We can't make long_options a static Option_map because we can't
74   // guarantee that will be initialized before register_option() is
75   // first called.
76   if (long_options == NULL)
77     long_options = new Option_map;
78
79   // TWO_DASHES means that two dashes are preferred, but one is ok too.
80   if (!this->longname.empty())
81     (*long_options)[this->longname] = this;
82
83   const int shortname_as_int = static_cast<int>(this->shortname);
84   gold_assert(shortname_as_int >= 0 && shortname_as_int < 128);
85   if (this->shortname != '\0')
86     {
87       gold_assert(short_options[shortname_as_int] == NULL);
88       short_options[shortname_as_int] = this;
89     }
90 }
91
92 void
93 One_option::print() const
94 {
95   bool comma = false;
96   printf("  ");
97   int len = 2;
98   if (this->shortname != '\0')
99     {
100       len += printf("-%c", this->shortname);
101       if (this->helparg)
102         {
103           // -z takes long-names only.
104           gold_assert(this->dashes != DASH_Z);
105           len += printf(" %s", gettext(this->helparg));
106         }
107       comma = true;
108     }
109   if (!this->longname.empty()
110       && !(this->longname[0] == this->shortname
111            && this->longname[1] == '\0'))
112     {
113       if (comma)
114         len += printf(", ");
115       switch (this->dashes)
116         {
117         case options::ONE_DASH: case options::EXACTLY_ONE_DASH:
118           len += printf("-");
119           break;
120         case options::TWO_DASHES: case options::EXACTLY_TWO_DASHES:
121           len += printf("--");
122           break;
123         case options::DASH_Z:
124           len += printf("-z ");
125           break;
126         default:
127           gold_unreachable();
128         }
129       len += printf("%s", this->longname.c_str());
130       if (this->helparg)
131         {
132           // For most options, we print "--frob FOO".  But for -z
133           // we print "-z frob=FOO".
134           len += printf("%c%s", this->dashes == options::DASH_Z ? '=' : ' ',
135                         gettext(this->helparg));
136         }
137     }
138
139   if (len >= 30)
140     {
141       printf("\n");
142       len = 0;
143     }
144   for (; len < 30; ++len)
145     std::putchar(' ');
146
147   // TODO: if we're boolean, add " (default)" when appropriate.
148   printf("%s\n", gettext(this->helpstring));
149 }
150
151 void
152 help()
153 {
154   printf(_("Usage: %s [options] file...\nOptions:\n"), gold::program_name);
155
156   std::vector<const One_option*>::const_iterator it;
157   for (it = registered_options.begin(); it != registered_options.end(); ++it)
158     (*it)->print();
159
160   // config.guess and libtool.m4 look in ld --help output for the
161   // string "supported targets".
162   printf(_("%s: supported targets:"), gold::program_name);
163   std::vector<const char*> supported_names;
164   gold::supported_target_names(&supported_names);
165   for (std::vector<const char*>::const_iterator p = supported_names.begin();
166        p != supported_names.end();
167        ++p)
168     printf(" %s", *p);
169   printf("\n");
170
171   // REPORT_BUGS_TO is defined in bfd/bfdver.h.
172   const char* report = REPORT_BUGS_TO;
173   if (*report != '\0')
174     printf(_("Report bugs to %s\n"), report);
175 }
176
177 // For bool, arg will be NULL (boolean options take no argument);
178 // we always just set to true.
179 void
180 parse_bool(const char*, const char*, bool* retval)
181 {
182   *retval = true;
183 }
184
185 void
186 parse_uint(const char* option_name, const char* arg, int* retval)
187 {
188   char* endptr;
189   *retval = strtol(arg, &endptr, 0);
190   if (*endptr != '\0' || retval < 0)
191     gold_fatal(_("%s: invalid option value (expected an integer): %s"),
192                option_name, arg);
193 }
194
195 void
196 parse_uint64(const char* option_name, const char* arg, uint64_t *retval)
197 {
198   char* endptr;
199   *retval = strtoull(arg, &endptr, 0);
200   if (*endptr != '\0')
201     gold_fatal(_("%s: invalid option value (expected an integer): %s"),
202                option_name, arg);
203 }
204
205 void
206 parse_double(const char* option_name, const char* arg, double* retval)
207 {
208   char* endptr;
209   *retval = strtod(arg, &endptr);
210   if (*endptr != '\0')
211     gold_fatal(_("%s: invalid option value "
212                  "(expected a floating point number): %s"),
213                option_name, arg);
214 }
215
216 void
217 parse_string(const char* option_name, const char* arg, const char** retval)
218 {
219   if (*arg == '\0')
220     gold_fatal(_("%s: must take a non-empty argument"), option_name);
221   *retval = arg;
222 }
223
224 void
225 parse_optional_string(const char*, const char* arg, const char** retval)
226 {
227   *retval = arg;
228 }
229
230 void
231 parse_dirlist(const char*, const char* arg, Dir_list* retval)
232 {
233   retval->push_back(Search_directory(arg, false));
234 }
235
236 void
237 parse_set(const char*, const char* arg, String_set* retval)
238 {
239   retval->insert(std::string(arg));
240 }
241
242 void
243 parse_choices(const char* option_name, const char* arg, const char** retval,
244               const char* choices[], int num_choices)
245 {
246   for (int i = 0; i < num_choices; i++)
247     if (strcmp(choices[i], arg) == 0)
248       {
249         *retval = arg;
250         return;
251       }
252
253   // If we get here, the user did not enter a valid choice, so we die.
254   std::string choices_list;
255   for (int i = 0; i < num_choices; i++)
256     {
257       choices_list += choices[i];
258       if (i != num_choices - 1)
259         choices_list += ", ";
260     }
261   gold_fatal(_("%s: must take one of the following arguments: %s"),
262              option_name, choices_list.c_str());
263 }
264
265 } // End namespace options.
266
267 // Define the handler for "special" options (set via DEFINE_special).
268
269 void
270 General_options::parse_help(const char*, const char*, Command_line*)
271 {
272   options::help();
273   ::exit(EXIT_SUCCESS);
274 }
275
276 void
277 General_options::parse_version(const char* opt, const char*, Command_line*)
278 {
279   gold::print_version(opt[0] == '-' && opt[1] == 'v');
280   ::exit(EXIT_SUCCESS);
281 }
282
283 void
284 General_options::parse_V(const char*, const char*, Command_line*)
285 {
286   gold::print_version(true);
287   this->printed_version_ = true;
288   printf(_("  Supported targets:\n"));
289   std::vector<const char*> supported_names;
290   gold::supported_target_names(&supported_names);
291   for (std::vector<const char*>::const_iterator p = supported_names.begin();
292        p != supported_names.end();
293        ++p)
294     printf("   %s\n", *p);
295 }
296
297 void
298 General_options::parse_defsym(const char*, const char* arg,
299                               Command_line* cmdline)
300 {
301   cmdline->script_options().define_symbol(arg);
302 }
303
304 void
305 General_options::parse_incremental_changed(const char*, const char*,
306                                            Command_line*)
307 {
308   this->implicit_incremental_ = true;
309   this->incremental_disposition_ = INCREMENTAL_CHANGED;
310 }
311
312 void
313 General_options::parse_incremental_unchanged(const char*, const char*,
314                                              Command_line*)
315 {
316   this->implicit_incremental_ = true;
317   this->incremental_disposition_ = INCREMENTAL_UNCHANGED;
318 }
319
320 void
321 General_options::parse_incremental_unknown(const char*, const char*,
322                                            Command_line*)
323 {
324   this->implicit_incremental_ = true;
325   this->incremental_disposition_ = INCREMENTAL_CHECK;
326 }
327
328 void
329 General_options::parse_library(const char*, const char* arg,
330                                Command_line* cmdline)
331 {
332   Input_file_argument file(arg, true, "", false, *this);
333   cmdline->inputs().add_file(file);
334 }
335
336 #ifdef ENABLE_PLUGINS
337 void
338 General_options::parse_plugin(const char*, const char* arg,
339                               Command_line*)
340 {
341   this->add_plugin(arg);
342 }
343
344 // Parse --plugin-opt.
345
346 void
347 General_options::parse_plugin_opt(const char*, const char* arg,
348                                   Command_line*)
349 {
350   this->add_plugin_option(arg);
351 }
352 #endif // ENABLE_PLUGINS
353
354 void
355 General_options::parse_R(const char* option, const char* arg,
356                          Command_line* cmdline)
357 {
358   struct stat s;
359   if (::stat(arg, &s) != 0 || S_ISDIR(s.st_mode))
360     this->add_to_rpath(arg);
361   else
362     this->parse_just_symbols(option, arg, cmdline);
363 }
364
365 void
366 General_options::parse_just_symbols(const char*, const char* arg,
367                                     Command_line* cmdline)
368 {
369   Input_file_argument file(arg, false, "", true, *this);
370   cmdline->inputs().add_file(file);
371 }
372
373 void
374 General_options::parse_static(const char*, const char*, Command_line*)
375 {
376   this->set_static(true);
377 }
378
379 void
380 General_options::parse_script(const char*, const char* arg,
381                               Command_line* cmdline)
382 {
383   if (!read_commandline_script(arg, cmdline))
384     gold::gold_fatal(_("unable to parse script file %s"), arg);
385 }
386
387 void
388 General_options::parse_version_script(const char*, const char* arg,
389                                       Command_line* cmdline)
390 {
391   if (!read_version_script(arg, cmdline))
392     gold::gold_fatal(_("unable to parse version script file %s"), arg);
393 }
394
395 void
396 General_options::parse_dynamic_list(const char*, const char* arg,
397                                     Command_line* cmdline)
398 {
399   if (!read_dynamic_list(arg, cmdline, &this->dynamic_list_))
400     gold::gold_fatal(_("unable to parse dynamic-list script file %s"), arg);
401 }
402
403 void
404 General_options::parse_start_group(const char*, const char*,
405                                    Command_line* cmdline)
406 {
407   cmdline->inputs().start_group();
408 }
409
410 void
411 General_options::parse_end_group(const char*, const char*,
412                                  Command_line* cmdline)
413 {
414   cmdline->inputs().end_group();
415 }
416
417 // The function add_excluded_libs() in ld/ldlang.c of GNU ld breaks up a list
418 // of names seperated by commas or colons and puts them in a linked list.
419 // We implement the same parsing of names here but store names in an unordered
420 // map to speed up searching of names.
421
422 void
423 General_options::parse_exclude_libs(const char*, const char* arg,
424                                     Command_line*)
425 {
426   const char *p = arg;
427
428   while (*p != '\0')
429     {
430       size_t length = strcspn(p, ",:");
431       this->excluded_libs_.insert(std::string(p, length));
432       p += (p[length] ? length + 1 : length);
433     }
434 }
435
436 // The checking logic is based on the function check_excluded_libs() in
437 // ld/ldlang.c of GNU ld but our implementation is different because we use
438 // an unordered map instead of a linked list, which is what GNU ld uses.  GNU
439 // ld searches sequentially in the excluded libs list.  For a given archive,
440 // a match is found if the archive's name matches exactly one of the list
441 // entry or if the archive's name is of the form FOO.a and FOO matches exactly
442 // one of the list entry.  An entry "ALL" in the list is considered as a
443 // wild-card and matches any given name.
444
445 bool
446 General_options::check_excluded_libs (const std::string &name) const
447 {
448   Unordered_set<std::string>::const_iterator p;
449
450   // Exit early for the most common case.
451   if (excluded_libs_.empty())
452     return false;
453
454   // If we see "ALL", all archives are excluded from automatic export.
455   p = excluded_libs_.find(std::string("ALL"));
456   if (p != excluded_libs_.end())
457     return true;
458
459   // First strip off any directories in name.
460   const char *basename = lbasename(name.c_str());
461
462   // Try finding an exact match.
463   p = excluded_libs_.find(std::string(basename));
464   if (p != excluded_libs_.end())
465     return true;
466
467   // Try matching NAME without ".a" at the end.
468   size_t length = strlen(basename);
469   if ((length >= 2)
470       && (basename[length - 2] == '.')
471       && (basename[length - 1] == 'a'))
472     {
473       p = excluded_libs_.find(std::string(basename, length - 2));
474       if (p != excluded_libs_.end())
475         return true;
476     }
477
478   return false;
479 }
480
481 // Recognize input and output target names.  The GNU linker accepts
482 // these with --format and --oformat.  This code is intended to be
483 // minimally compatible.  In practice for an ELF target this would be
484 // the same target as the input files; that name always start with
485 // "elf".  Non-ELF targets would be "srec", "symbolsrec", "tekhex",
486 // "binary", "ihex".
487
488 General_options::Object_format
489 General_options::string_to_object_format(const char* arg)
490 {
491   if (strncmp(arg, "elf", 3) == 0)
492     return gold::General_options::OBJECT_FORMAT_ELF;
493   else if (strcmp(arg, "binary") == 0)
494     return gold::General_options::OBJECT_FORMAT_BINARY;
495   else
496     {
497       gold::gold_error(_("format '%s' not supported; treating as elf "
498                          "(supported formats: elf, binary)"),
499                        arg);
500       return gold::General_options::OBJECT_FORMAT_ELF;
501     }
502 }
503
504 } // End namespace gold.
505
506 namespace
507 {
508
509 void
510 usage()
511 {
512   fprintf(stderr,
513           _("%s: use the --help option for usage information\n"),
514           gold::program_name);
515   ::exit(EXIT_FAILURE);
516 }
517
518 void
519 usage(const char* msg, const char *opt)
520 {
521   fprintf(stderr,
522           _("%s: %s: %s\n"),
523           gold::program_name, opt, msg);
524   usage();
525 }
526
527 // If the default sysroot is relocatable, try relocating it based on
528 // the prefix FROM.
529
530 static char*
531 get_relative_sysroot(const char* from)
532 {
533   char* path = make_relative_prefix(gold::program_name, from,
534                                     TARGET_SYSTEM_ROOT);
535   if (path != NULL)
536     {
537       struct stat s;
538       if (::stat(path, &s) == 0 && S_ISDIR(s.st_mode))
539         return path;
540       free(path);
541     }
542
543   return NULL;
544 }
545
546 // Return the default sysroot.  This is set by the --with-sysroot
547 // option to configure.  Note we do not free the return value of
548 // get_relative_sysroot, which is a small memory leak, but is
549 // necessary since we store this pointer directly in General_options.
550
551 static const char*
552 get_default_sysroot()
553 {
554   const char* sysroot = TARGET_SYSTEM_ROOT;
555   if (*sysroot == '\0')
556     return NULL;
557
558   if (TARGET_SYSTEM_ROOT_RELOCATABLE)
559     {
560       char* path = get_relative_sysroot(BINDIR);
561       if (path == NULL)
562         path = get_relative_sysroot(TOOLBINDIR);
563       if (path != NULL)
564         return path;
565     }
566
567   return sysroot;
568 }
569
570 // Parse a long option.  Such options have the form
571 // <-|--><option>[=arg].  If "=arg" is not present but the option
572 // takes an argument, the next word is taken to the be the argument.
573 // If equals_only is set, then only the <option>=<arg> form is
574 // accepted, not the <option><space><arg> form.  Returns a One_option
575 // struct or NULL if argv[i] cannot be parsed as a long option.  In
576 // the not-NULL case, *arg is set to the option's argument (NULL if
577 // the option takes no argument), and *i is advanced past this option.
578 // NOTE: it is safe for argv and arg to point to the same place.
579 gold::options::One_option*
580 parse_long_option(int argc, const char** argv, bool equals_only,
581                   const char** arg, int* i)
582 {
583   const char* const this_argv = argv[*i];
584
585   const char* equals = strchr(this_argv, '=');
586   const char* option_start = this_argv + strspn(this_argv, "-");
587   std::string option(option_start,
588                      equals ? equals - option_start : strlen(option_start));
589
590   gold::options::Option_map::iterator it
591       = gold::options::long_options->find(option);
592   if (it == gold::options::long_options->end())
593     return NULL;
594
595   gold::options::One_option* retval = it->second;
596
597   // If the dash-count doesn't match, we fail.
598   if (this_argv[0] != '-')  // no dashes at all: had better be "-z <longopt>"
599     {
600       if (retval->dashes != gold::options::DASH_Z)
601         return NULL;
602     }
603   else if (this_argv[1] != '-')   // one dash
604     {
605       if (retval->dashes != gold::options::ONE_DASH
606           && retval->dashes != gold::options::EXACTLY_ONE_DASH
607           && retval->dashes != gold::options::TWO_DASHES)
608         return NULL;
609     }
610   else                            // two dashes (or more!)
611     {
612       if (retval->dashes != gold::options::TWO_DASHES
613           && retval->dashes != gold::options::EXACTLY_TWO_DASHES
614           && retval->dashes != gold::options::ONE_DASH)
615         return NULL;
616     }
617
618   // Now that we know the option is good (or else bad in a way that
619   // will cause us to die), increment i to point past this argv.
620   ++(*i);
621
622   // Figure out the option's argument, if any.
623   if (!retval->takes_argument())
624     {
625       if (equals)
626         usage(_("unexpected argument"), this_argv);
627       else
628         *arg = NULL;
629     }
630   else
631     {
632       if (equals)
633         *arg = equals + 1;
634       else if (retval->takes_optional_argument())
635         *arg = retval->default_value;
636       else if (*i < argc && !equals_only)
637         *arg = argv[(*i)++];
638       else
639         usage(_("missing argument"), this_argv);
640     }
641
642   return retval;
643 }
644
645 // Parse a short option.  Such options have the form -<option>[arg].
646 // If "arg" is not present but the option takes an argument, the next
647 // word is taken to the be the argument.  If the option does not take
648 // an argument, it may be followed by another short option.  Returns a
649 // One_option struct or NULL if argv[i] cannot be parsed as a short
650 // option.  In the not-NULL case, *arg is set to the option's argument
651 // (NULL if the option takes no argument), and *i is advanced past
652 // this option.  This function keeps *i the same if we parsed a short
653 // option that does not take an argument, that looks to be followed by
654 // another short option in the same word.
655 gold::options::One_option*
656 parse_short_option(int argc, const char** argv, int pos_in_argv_i,
657                    const char** arg, int* i)
658 {
659   const char* const this_argv = argv[*i];
660
661   if (this_argv[0] != '-')
662     return NULL;
663
664   // We handle -z as a special case.
665   static gold::options::One_option dash_z("", gold::options::DASH_Z,
666                                           'z', "", NULL, "Z-OPTION", false,
667                                           NULL);
668   gold::options::One_option* retval = NULL;
669   if (this_argv[pos_in_argv_i] == 'z')
670     retval = &dash_z;
671   else
672     {
673       const int char_as_int = static_cast<int>(this_argv[pos_in_argv_i]);
674       if (char_as_int > 0 && char_as_int < 128)
675         retval = gold::options::short_options[char_as_int];
676     }
677
678   if (retval == NULL)
679     return NULL;
680
681   // Figure out the option's argument, if any.
682   if (!retval->takes_argument())
683     {
684       *arg = NULL;
685       // We only advance past this argument if it's the only one in argv.
686       if (this_argv[pos_in_argv_i + 1] == '\0')
687         ++(*i);
688     }
689   else
690     {
691       // If we take an argument, we'll eat up this entire argv entry.
692       ++(*i);
693       if (this_argv[pos_in_argv_i + 1] != '\0')
694         *arg = this_argv + pos_in_argv_i + 1;
695       else if (retval->takes_optional_argument())
696         *arg = retval->default_value;
697       else if (*i < argc)
698         *arg = argv[(*i)++];
699       else
700         usage(_("missing argument"), this_argv);
701     }
702
703   // If we're a -z option, we need to parse our argument as a
704   // long-option, e.g. "-z stacksize=8192".
705   if (retval == &dash_z)
706     {
707       int dummy_i = 0;
708       const char* dash_z_arg = *arg;
709       retval = parse_long_option(1, arg, true, arg, &dummy_i);
710       if (retval == NULL)
711         usage(_("unknown -z option"), dash_z_arg);
712     }
713
714   return retval;
715 }
716
717 } // End anonymous namespace.
718
719 namespace gold
720 {
721
722 General_options::General_options()
723   : printed_version_(false),
724     execstack_status_(General_options::EXECSTACK_FROM_INPUT), static_(false),
725     do_demangle_(false), plugins_(),
726     incremental_disposition_(INCREMENTAL_CHECK), implicit_incremental_(false)
727 {
728   // Turn off option registration once construction is complete.
729   gold::options::ready_to_register = false;
730 }
731
732 General_options::Object_format
733 General_options::format_enum() const
734 {
735   return General_options::string_to_object_format(this->format());
736 }
737
738 General_options::Object_format
739 General_options::oformat_enum() const
740 {
741   return General_options::string_to_object_format(this->oformat());
742 }
743
744 // Add the sysroot, if any, to the search paths.
745
746 void
747 General_options::add_sysroot()
748 {
749   if (this->sysroot() == NULL || this->sysroot()[0] == '\0')
750     {
751       this->set_sysroot(get_default_sysroot());
752       if (this->sysroot() == NULL || this->sysroot()[0] == '\0')
753         return;
754     }
755
756   char* canonical_sysroot = lrealpath(this->sysroot());
757
758   for (Dir_list::iterator p = this->library_path_.value.begin();
759        p != this->library_path_.value.end();
760        ++p)
761     p->add_sysroot(this->sysroot(), canonical_sysroot);
762
763   free(canonical_sysroot);
764 }
765
766 // Return whether FILENAME is in a system directory.
767
768 bool
769 General_options::is_in_system_directory(const std::string& filename) const
770 {
771   for (Dir_list::const_iterator p = this->library_path_.value.begin();
772        p != this->library_path_.value.end();
773        ++p)
774     {
775       // We use a straight string comparison rather than calling
776       // FILENAME_CMP because we are only interested in the cases
777       // where we found the file in a system directory, which means
778       // that we used the directory name as a prefix for a -L search.
779       if (p->is_system_directory()
780           && filename.compare(0, p->name().size(), p->name()) == 0)
781         return true;
782     }
783   return false;
784 }
785
786 // Add a plugin to the list of plugins.
787
788 void
789 General_options::add_plugin(const char* filename)
790 {
791   if (this->plugins_ == NULL)
792     this->plugins_ = new Plugin_manager(*this);
793   this->plugins_->add_plugin(filename);
794 }
795
796 // Add a plugin option to a plugin.
797
798 void
799 General_options::add_plugin_option(const char* arg)
800 {
801   if (this->plugins_ == NULL)
802     gold_fatal("--plugin-opt requires --plugin.");
803   this->plugins_->add_plugin_option(arg);
804 }
805
806 // Set up variables and other state that isn't set up automatically by
807 // the parse routine, and ensure options don't contradict each other
808 // and are otherwise kosher.
809
810 void
811 General_options::finalize()
812 {
813   // Normalize the strip modifiers.  They have a total order:
814   // strip_all > strip_debug > strip_non_line > strip_debug_gdb.
815   // If one is true, set all beneath it to true as well.
816   if (this->strip_all())
817     this->set_strip_debug(true);
818   if (this->strip_debug())
819     this->set_strip_debug_non_line(true);
820   if (this->strip_debug_non_line())
821     this->set_strip_debug_gdb(true);
822
823   if (this->Bshareable())
824     this->set_shared(true);
825
826   // If the user specifies both -s and -r, convert the -s to -S.
827   // -r requires us to keep externally visible symbols!
828   if (this->strip_all() && this->relocatable())
829     {
830       this->set_strip_all(false);
831       gold_assert(this->strip_debug());
832     }
833
834   // For us, -dc and -dp are synonyms for --define-common.
835   if (this->dc())
836     this->set_define_common(true);
837   if (this->dp())
838     this->set_define_common(true);
839
840   // We also set --define-common if we're not relocatable, as long as
841   // the user didn't explicitly ask for something different.
842   if (!this->user_set_define_common())
843     this->set_define_common(!this->relocatable());
844
845   // execstack_status_ is a three-state variable; update it based on
846   // -z [no]execstack.
847   if (this->execstack())
848     this->set_execstack_status(EXECSTACK_YES);
849   else if (this->noexecstack())
850     this->set_execstack_status(EXECSTACK_NO);
851
852   // Handle the optional argument for --demangle.
853   if (this->user_set_demangle())
854     {
855       this->set_do_demangle(true);
856       const char* style = this->demangle();
857       if (*style != '\0')
858         {
859           enum demangling_styles style_code;
860
861           style_code = cplus_demangle_name_to_style(style);
862           if (style_code == unknown_demangling)
863             gold_fatal("unknown demangling style '%s'", style);
864           cplus_demangle_set_style(style_code);
865         }
866     }
867   else if (this->user_set_no_demangle())
868     this->set_do_demangle(false);
869   else
870     {
871       // Testing COLLECT_NO_DEMANGLE makes our default demangling
872       // behaviour identical to that of gcc's linker wrapper.
873       this->set_do_demangle(getenv("COLLECT_NO_DEMANGLE") == NULL);
874     }
875
876   // -M is equivalent to "-Map -".
877   if (this->print_map() && !this->user_set_Map())
878     {
879       this->set_Map("-");
880       this->set_user_set_Map();
881     }
882
883   // Using -n or -N implies -static.
884   if (this->nmagic() || this->omagic())
885     this->set_static(true);
886
887   // If --thread_count is specified, it applies to
888   // --thread-count-{initial,middle,final}, though it doesn't override
889   // them.
890   if (this->thread_count() > 0 && this->thread_count_initial() == 0)
891     this->set_thread_count_initial(this->thread_count());
892   if (this->thread_count() > 0 && this->thread_count_middle() == 0)
893     this->set_thread_count_middle(this->thread_count());
894   if (this->thread_count() > 0 && this->thread_count_final() == 0)
895     this->set_thread_count_final(this->thread_count());
896
897   // Let's warn if you set the thread-count but we're going to ignore it.
898 #ifndef ENABLE_THREADS
899   if (this->threads())
900     {
901       gold_warning(_("ignoring --threads: "
902                      "%s was compiled without thread support"),
903                    program_name);
904       this->set_threads(false);
905     }
906   if (this->thread_count() > 0 || this->thread_count_initial() > 0
907       || this->thread_count_middle() > 0 || this->thread_count_final() > 0)
908     gold_warning(_("ignoring --thread-count: "
909                    "%s was compiled without thread support"),
910                  program_name);
911 #endif
912
913   if (this->user_set_Y())
914     {
915       std::string s = this->Y();
916       if (s.compare(0, 2, "P,") == 0)
917         s.erase(0, 2);
918
919       size_t pos = 0;
920       size_t next_pos;
921       do
922         {
923           next_pos = s.find(':', pos);
924           size_t len = (next_pos == std::string::npos
925                         ? next_pos
926                         : next_pos - pos);
927           if (len != 0)
928             this->add_to_library_path_with_sysroot(s.substr(pos, len).c_str());
929           pos = next_pos + 1;
930         }
931       while (next_pos != std::string::npos);
932     }
933   else
934     {
935       // Even if they don't specify it, we add -L /lib and -L /usr/lib.
936       // FIXME: We should only do this when configured in native mode.
937       this->add_to_library_path_with_sysroot("/lib");
938       this->add_to_library_path_with_sysroot("/usr/lib");
939     }
940
941   if (this->shared() && !this->user_set_allow_shlib_undefined())
942     this->set_allow_shlib_undefined(true);
943
944   // Normalize library_path() by adding the sysroot to all directories
945   // in the path, as appropriate.
946   this->add_sysroot();
947
948   // Now that we've normalized the options, check for contradictory ones.
949   if (this->shared() && this->is_static())
950     gold_fatal(_("-shared and -static are incompatible"));
951
952   if (this->shared() && this->relocatable())
953     gold_fatal(_("-shared and -r are incompatible"));
954
955   if (this->oformat_enum() != General_options::OBJECT_FORMAT_ELF
956       && (this->shared() || this->relocatable()))
957     gold_fatal(_("binary output format not compatible with -shared or -r"));
958
959   if (this->user_set_hash_bucket_empty_fraction()
960       && (this->hash_bucket_empty_fraction() < 0.0
961           || this->hash_bucket_empty_fraction() >= 1.0))
962     gold_fatal(_("--hash-bucket-empty-fraction value %g out of range "
963                  "[0.0, 1.0)"),
964                this->hash_bucket_empty_fraction());
965
966   if (this->implicit_incremental_ && !this->incremental())
967     gold_fatal(_("Options --incremental-changed, --incremental-unchanged, "
968                  "--incremental-unknown require the use of --incremental"));
969
970   // FIXME: we can/should be doing a lot more sanity checking here.
971 }
972
973 // Search_directory methods.
974
975 // This is called if we have a sysroot.  Apply the sysroot if
976 // appropriate.  Record whether the directory is in the sysroot.
977
978 void
979 Search_directory::add_sysroot(const char* sysroot,
980                               const char* canonical_sysroot)
981 {
982   gold_assert(*sysroot != '\0');
983   if (this->put_in_sysroot_)
984     {
985       if (!IS_DIR_SEPARATOR(this->name_[0])
986           && !IS_DIR_SEPARATOR(sysroot[strlen(sysroot) - 1]))
987         this->name_ = '/' + this->name_;
988       this->name_ = sysroot + this->name_;
989       this->is_in_sysroot_ = true;
990     }
991   else
992     {
993       // Check whether this entry is in the sysroot.  To do this
994       // correctly, we need to use canonical names.  Otherwise we will
995       // get confused by the ../../.. paths that gcc tends to use.
996       char* canonical_name = lrealpath(this->name_.c_str());
997       int canonical_name_len = strlen(canonical_name);
998       int canonical_sysroot_len = strlen(canonical_sysroot);
999       if (canonical_name_len > canonical_sysroot_len
1000           && IS_DIR_SEPARATOR(canonical_name[canonical_sysroot_len]))
1001         {
1002           canonical_name[canonical_sysroot_len] = '\0';
1003           if (FILENAME_CMP(canonical_name, canonical_sysroot) == 0)
1004             this->is_in_sysroot_ = true;
1005         }
1006       free(canonical_name);
1007     }
1008 }
1009
1010 // Input_arguments methods.
1011
1012 // Add a file to the list.
1013
1014 void
1015 Input_arguments::add_file(const Input_file_argument& file)
1016 {
1017   if (!this->in_group_)
1018     this->input_argument_list_.push_back(Input_argument(file));
1019   else
1020     {
1021       gold_assert(!this->input_argument_list_.empty());
1022       gold_assert(this->input_argument_list_.back().is_group());
1023       this->input_argument_list_.back().group()->add_file(file);
1024     }
1025 }
1026
1027 // Start a group.
1028
1029 void
1030 Input_arguments::start_group()
1031 {
1032   if (this->in_group_)
1033     gold_fatal(_("May not nest groups"));
1034   Input_file_group* group = new Input_file_group();
1035   this->input_argument_list_.push_back(Input_argument(group));
1036   this->in_group_ = true;
1037 }
1038
1039 // End a group.
1040
1041 void
1042 Input_arguments::end_group()
1043 {
1044   if (!this->in_group_)
1045     gold_fatal(_("Group end without group start"));
1046   this->in_group_ = false;
1047 }
1048
1049 // Command_line options.
1050
1051 Command_line::Command_line()
1052 {
1053 }
1054
1055 // Pre_options is the hook that sets the ready_to_register flag.
1056
1057 Command_line::Pre_options::Pre_options()
1058 {
1059   gold::options::ready_to_register = true;
1060 }
1061
1062 // Process the command line options.  For process_one_option, i is the
1063 // index of argv to process next, and must be an option (that is,
1064 // start with a dash).  The return value is the index of the next
1065 // option to process (i+1 or i+2, or argc to indicate processing is
1066 // done).  no_more_options is set to true if (and when) "--" is seen
1067 // as an option.
1068
1069 int
1070 Command_line::process_one_option(int argc, const char** argv, int i,
1071                                  bool* no_more_options)
1072 {
1073   gold_assert(argv[i][0] == '-' && !(*no_more_options));
1074
1075   // If we are reading "--", then just set no_more_options and return.
1076   if (argv[i][1] == '-' && argv[i][2] == '\0')
1077     {
1078       *no_more_options = true;
1079       return i + 1;
1080     }
1081
1082   int new_i = i;
1083   options::One_option* option = NULL;
1084   const char* arg = NULL;
1085
1086   // First, try to process argv as a long option.
1087   option = parse_long_option(argc, argv, false, &arg, &new_i);
1088   if (option)
1089     {
1090       option->reader->parse_to_value(argv[i], arg, this, &this->options_);
1091       return new_i;
1092     }
1093
1094   // Now, try to process argv as a short option.  Since several short
1095   // options can be combined in one argv, we may have to parse a lot
1096   // until we're done reading this argv.
1097   int pos_in_argv_i = 1;
1098   while (new_i == i)
1099     {
1100       option = parse_short_option(argc, argv, pos_in_argv_i, &arg, &new_i);
1101       if (!option)
1102         break;
1103       option->reader->parse_to_value(argv[i], arg, this, &this->options_);
1104       ++pos_in_argv_i;
1105     }
1106   if (option)
1107     return new_i;
1108
1109   // I guess it's neither a long option nor a short option.
1110   usage(_("unknown option"), argv[i]);
1111   return argc;
1112 }
1113
1114
1115 void
1116 Command_line::process(int argc, const char** argv)
1117 {
1118   bool no_more_options = false;
1119   int i = 0;
1120   while (i < argc)
1121     {
1122       this->position_options_.copy_from_options(this->options());
1123       if (no_more_options || argv[i][0] != '-')
1124         {
1125           Input_file_argument file(argv[i], false, "", false,
1126                                    this->position_options_);
1127           this->inputs_.add_file(file);
1128           ++i;
1129         }
1130       else
1131         i = process_one_option(argc, argv, i, &no_more_options);
1132     }
1133
1134   if (this->inputs_.in_group())
1135     {
1136       fprintf(stderr, _("%s: missing group end\n"), program_name);
1137       usage();
1138     }
1139
1140   // Normalize the options and ensure they don't contradict each other.
1141   this->options_.finalize();
1142 }
1143
1144 } // End namespace gold.