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