OSDN Git Service

2006-12-06 Tobias Burnus <burnus@net-b.de>
[pf3gnuchains/gcc-fork.git] / gcc / gcc.c
1 /* Compiler driver program that can handle many languages.
2    Copyright (C) 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation,
4    Inc.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING.  If not, write to the Free
20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
21 02110-1301, USA.
22
23 This paragraph is here to try to keep Sun CC from dying.
24 The number of chars here seems crucial!!!!  */
25
26 /* This program is the user interface to the C compiler and possibly to
27 other compilers.  It is used because compilation is a complicated procedure
28 which involves running several programs and passing temporary files between
29 them, forwarding the users switches to those programs selectively,
30 and deleting the temporary files at the end.
31
32 CC recognizes how to compile each input file by suffixes in the file names.
33 Once it knows which kind of compilation to perform, the procedure for
34 compilation is specified by a string called a "spec".  */
35
36 /* A Short Introduction to Adding a Command-Line Option.
37
38    Before adding a command-line option, consider if it is really
39    necessary.  Each additional command-line option adds complexity and
40    is difficult to remove in subsequent versions.
41
42    In the following, consider adding the command-line argument
43    `--bar'.
44
45    1. Each command-line option is specified in the specs file.  The
46    notation is described below in the comment entitled "The Specs
47    Language".  Read it.
48
49    2. In this file, add an entry to "option_map" equating the long
50    `--' argument version and any shorter, single letter version.  Read
51    the comments in the declaration of "struct option_map" for an
52    explanation.  Do not omit the first `-'.
53
54    3. Look in the "specs" file to determine which program or option
55    list should be given the argument, e.g., "cc1_options".  Add the
56    appropriate syntax for the shorter option version to the
57    corresponding "const char *" entry in this file.  Omit the first
58    `-' from the option.  For example, use `-bar', rather than `--bar'.
59
60    4. If the argument takes an argument, e.g., `--baz argument1',
61    modify either DEFAULT_SWITCH_TAKES_ARG or
62    DEFAULT_WORD_SWITCH_TAKES_ARG in gcc.h.  Omit the first `-'
63    from `--baz'.
64
65    5. Document the option in this file's display_help().  If the
66    option is passed to a subprogram, modify its corresponding
67    function, e.g., cppinit.c:print_help() or toplev.c:display_help(),
68    instead.
69
70    6. Compile and test.  Make sure that your new specs file is being
71    read.  For example, use a debugger to investigate the value of
72    "specs_file" in main().  */
73
74 #include "config.h"
75 #include "system.h"
76 #include "coretypes.h"
77 #include "multilib.h" /* before tm.h */
78 #include "tm.h"
79 #include <signal.h>
80 #if ! defined( SIGCHLD ) && defined( SIGCLD )
81 #  define SIGCHLD SIGCLD
82 #endif
83 #include "xregex.h"
84 #include "obstack.h"
85 #include "intl.h"
86 #include "prefix.h"
87 #include "gcc.h"
88 #include "flags.h"
89 #include "opts.h"
90
91 /* By default there is no special suffix for target executables.  */
92 /* FIXME: when autoconf is fixed, remove the host check - dj */
93 #if defined(TARGET_EXECUTABLE_SUFFIX) && defined(HOST_EXECUTABLE_SUFFIX)
94 #define HAVE_TARGET_EXECUTABLE_SUFFIX
95 #endif
96
97 /* By default there is no special suffix for host executables.  */
98 #ifdef HOST_EXECUTABLE_SUFFIX
99 #define HAVE_HOST_EXECUTABLE_SUFFIX
100 #else
101 #define HOST_EXECUTABLE_SUFFIX ""
102 #endif
103
104 /* By default, the suffix for target object files is ".o".  */
105 #ifdef TARGET_OBJECT_SUFFIX
106 #define HAVE_TARGET_OBJECT_SUFFIX
107 #else
108 #define TARGET_OBJECT_SUFFIX ".o"
109 #endif
110
111 static const char dir_separator_str[] = { DIR_SEPARATOR, 0 };
112
113 /* Most every one is fine with LIBRARY_PATH.  For some, it conflicts.  */
114 #ifndef LIBRARY_PATH_ENV
115 #define LIBRARY_PATH_ENV "LIBRARY_PATH"
116 #endif
117
118 #ifndef HAVE_KILL
119 #define kill(p,s) raise(s)
120 #endif
121
122 /* If a stage of compilation returns an exit status >= 1,
123    compilation of that file ceases.  */
124
125 #define MIN_FATAL_STATUS 1
126
127 /* Flag set by cppspec.c to 1.  */
128 int is_cpp_driver;
129
130 /* Flag saying to pass the greatest exit code returned by a sub-process
131    to the calling program.  */
132 static int pass_exit_codes;
133
134 /* Definition of string containing the arguments given to configure.  */
135 #include "configargs.h"
136
137 /* Flag saying to print the directories gcc will search through looking for
138    programs, libraries, etc.  */
139
140 static int print_search_dirs;
141
142 /* Flag saying to print the full filename of this file
143    as found through our usual search mechanism.  */
144
145 static const char *print_file_name = NULL;
146
147 /* As print_file_name, but search for executable file.  */
148
149 static const char *print_prog_name = NULL;
150
151 /* Flag saying to print the relative path we'd use to
152    find libgcc.a given the current compiler flags.  */
153
154 static int print_multi_directory;
155
156 /* Flag saying to print the relative path we'd use to
157    find OS libraries given the current compiler flags.  */
158
159 static int print_multi_os_directory;
160
161 /* Flag saying to print the list of subdirectories and
162    compiler flags used to select them in a standard form.  */
163
164 static int print_multi_lib;
165
166 /* Flag saying to print the command line options understood by gcc and its
167    sub-processes.  */
168
169 static int print_help_list;
170
171 /* Flag indicating whether we should print the command and arguments */
172
173 static int verbose_flag;
174
175 /* Flag indicating whether we should ONLY print the command and
176    arguments (like verbose_flag) without executing the command.
177    Displayed arguments are quoted so that the generated command
178    line is suitable for execution.  This is intended for use in
179    shell scripts to capture the driver-generated command line.  */
180 static int verbose_only_flag;
181
182 /* Flag indicating to print target specific command line options.  */
183
184 static int target_help_flag;
185
186 /* Flag indicating whether we should report subprocess execution times
187    (if this is supported by the system - see pexecute.c).  */
188
189 static int report_times;
190
191 /* Nonzero means place this string before uses of /, so that include
192    and library files can be found in an alternate location.  */
193
194 #ifdef TARGET_SYSTEM_ROOT
195 static const char *target_system_root = TARGET_SYSTEM_ROOT;
196 #else
197 static const char *target_system_root = 0;
198 #endif
199
200 /* Nonzero means pass the updated target_system_root to the compiler.  */
201
202 static int target_system_root_changed;
203
204 /* Nonzero means append this string to target_system_root.  */
205
206 static const char *target_sysroot_suffix = 0;
207
208 /* Nonzero means append this string to target_system_root for headers.  */
209
210 static const char *target_sysroot_hdrs_suffix = 0;
211
212 /* Nonzero means write "temp" files in source directory
213    and use the source file's name in them, and don't delete them.  */
214
215 static int save_temps_flag;
216
217 /* Nonzero means pass multiple source files to the compiler at one time.  */
218
219 static int combine_flag = 0;
220
221 /* Nonzero means use pipes to communicate between subprocesses.
222    Overridden by either of the above two flags.  */
223
224 static int use_pipes;
225
226 /* The compiler version.  */
227
228 static const char *compiler_version;
229
230 /* The target version specified with -V */
231
232 static const char *const spec_version = DEFAULT_TARGET_VERSION;
233
234 /* The target machine specified with -b.  */
235
236 static const char *spec_machine = DEFAULT_TARGET_MACHINE;
237
238 /* Nonzero if cross-compiling.
239    When -b is used, the value comes from the `specs' file.  */
240
241 #ifdef CROSS_COMPILE
242 static const char *cross_compile = "1";
243 #else
244 static const char *cross_compile = "0";
245 #endif
246
247 #ifdef MODIFY_TARGET_NAME
248
249 /* Information on how to alter the target name based on a command-line
250    switch.  The only case we support now is simply appending or deleting a
251    string to or from the end of the first part of the configuration name.  */
252
253 static const struct modify_target
254 {
255   const char *const sw;
256   const enum add_del {ADD, DELETE} add_del;
257   const char *const str;
258 }
259 modify_target[] = MODIFY_TARGET_NAME;
260 #endif
261
262 /* The number of errors that have occurred; the link phase will not be
263    run if this is nonzero.  */
264 static int error_count = 0;
265
266 /* Greatest exit code of sub-processes that has been encountered up to
267    now.  */
268 static int greatest_status = 1;
269
270 /* This is the obstack which we use to allocate many strings.  */
271
272 static struct obstack obstack;
273
274 /* This is the obstack to build an environment variable to pass to
275    collect2 that describes all of the relevant switches of what to
276    pass the compiler in building the list of pointers to constructors
277    and destructors.  */
278
279 static struct obstack collect_obstack;
280
281 /* Forward declaration for prototypes.  */
282 struct path_prefix;
283 struct prefix_list;
284
285 static void init_spec (void);
286 static void store_arg (const char *, int, int);
287 static char *load_specs (const char *);
288 static void read_specs (const char *, int);
289 static void set_spec (const char *, const char *);
290 static struct compiler *lookup_compiler (const char *, size_t, const char *);
291 static char *build_search_list (const struct path_prefix *, const char *,
292                                 bool, bool);
293 static void putenv_from_prefixes (const struct path_prefix *, const char *,
294                                   bool);
295 static int access_check (const char *, int);
296 static char *find_a_file (const struct path_prefix *, const char *, int, bool);
297 static void add_prefix (struct path_prefix *, const char *, const char *,
298                         int, int, int);
299 static void add_sysrooted_prefix (struct path_prefix *, const char *,
300                                   const char *, int, int, int);
301 static void translate_options (int *, const char *const **);
302 static char *skip_whitespace (char *);
303 static void delete_if_ordinary (const char *);
304 static void delete_temp_files (void);
305 static void delete_failure_queue (void);
306 static void clear_failure_queue (void);
307 static int check_live_switch (int, int);
308 static const char *handle_braces (const char *);
309 static inline bool input_suffix_matches (const char *, const char *);
310 static inline bool switch_matches (const char *, const char *, int);
311 static inline void mark_matching_switches (const char *, const char *, int);
312 static inline void process_marked_switches (void);
313 static const char *process_brace_body (const char *, const char *, const char *, int, int);
314 static const struct spec_function *lookup_spec_function (const char *);
315 static const char *eval_spec_function (const char *, const char *);
316 static const char *handle_spec_function (const char *);
317 static char *save_string (const char *, int);
318 static void set_collect_gcc_options (void);
319 static int do_spec_1 (const char *, int, const char *);
320 static int do_spec_2 (const char *);
321 static void do_option_spec (const char *, const char *);
322 static void do_self_spec (const char *);
323 static const char *find_file (const char *);
324 static int is_directory (const char *, bool);
325 static const char *validate_switches (const char *);
326 static void validate_all_switches (void);
327 static inline void validate_switches_from_spec (const char *);
328 static void give_switch (int, int);
329 static int used_arg (const char *, int);
330 static int default_arg (const char *, int);
331 static void set_multilib_dir (void);
332 static void print_multilib_info (void);
333 static void perror_with_name (const char *);
334 static void fatal_ice (const char *, ...) ATTRIBUTE_PRINTF_1 ATTRIBUTE_NORETURN;
335 static void notice (const char *, ...) ATTRIBUTE_PRINTF_1;
336 static void display_help (void);
337 static void add_preprocessor_option (const char *, int);
338 static void add_assembler_option (const char *, int);
339 static void add_linker_option (const char *, int);
340 static void process_command (int, const char **);
341 static int execute (void);
342 static void alloc_args (void);
343 static void clear_args (void);
344 static void fatal_error (int);
345 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
346 static void init_gcc_specs (struct obstack *, const char *, const char *,
347                             const char *);
348 #endif
349 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
350 static const char *convert_filename (const char *, int, int);
351 #endif
352
353 static const char *if_exists_spec_function (int, const char **);
354 static const char *if_exists_else_spec_function (int, const char **);
355 static const char *replace_outfile_spec_function (int, const char **);
356 static const char *version_compare_spec_function (int, const char **);
357 static const char *include_spec_function (int, const char **);
358 \f
359 /* The Specs Language
360
361 Specs are strings containing lines, each of which (if not blank)
362 is made up of a program name, and arguments separated by spaces.
363 The program name must be exact and start from root, since no path
364 is searched and it is unreliable to depend on the current working directory.
365 Redirection of input or output is not supported; the subprograms must
366 accept filenames saying what files to read and write.
367
368 In addition, the specs can contain %-sequences to substitute variable text
369 or for conditional text.  Here is a table of all defined %-sequences.
370 Note that spaces are not generated automatically around the results of
371 expanding these sequences; therefore, you can concatenate them together
372 or with constant text in a single argument.
373
374  %%     substitute one % into the program name or argument.
375  %i     substitute the name of the input file being processed.
376  %b     substitute the basename of the input file being processed.
377         This is the substring up to (and not including) the last period
378         and not including the directory.
379  %B     same as %b, but include the file suffix (text after the last period).
380  %gSUFFIX
381         substitute a file name that has suffix SUFFIX and is chosen
382         once per compilation, and mark the argument a la %d.  To reduce
383         exposure to denial-of-service attacks, the file name is now
384         chosen in a way that is hard to predict even when previously
385         chosen file names are known.  For example, `%g.s ... %g.o ... %g.s'
386         might turn into `ccUVUUAU.s ccXYAXZ12.o ccUVUUAU.s'.  SUFFIX matches
387         the regexp "[.0-9A-Za-z]*%O"; "%O" is treated exactly as if it
388         had been pre-processed.  Previously, %g was simply substituted
389         with a file name chosen once per compilation, without regard
390         to any appended suffix (which was therefore treated just like
391         ordinary text), making such attacks more likely to succeed.
392  %|SUFFIX
393         like %g, but if -pipe is in effect, expands simply to "-".
394  %mSUFFIX
395         like %g, but if -pipe is in effect, expands to nothing.  (We have both
396         %| and %m to accommodate differences between system assemblers; see
397         the AS_NEEDS_DASH_FOR_PIPED_INPUT target macro.)
398  %uSUFFIX
399         like %g, but generates a new temporary file name even if %uSUFFIX
400         was already seen.
401  %USUFFIX
402         substitutes the last file name generated with %uSUFFIX, generating a
403         new one if there is no such last file name.  In the absence of any
404         %uSUFFIX, this is just like %gSUFFIX, except they don't share
405         the same suffix "space", so `%g.s ... %U.s ... %g.s ... %U.s'
406         would involve the generation of two distinct file names, one
407         for each `%g.s' and another for each `%U.s'.  Previously, %U was
408         simply substituted with a file name chosen for the previous %u,
409         without regard to any appended suffix.
410  %jSUFFIX
411         substitutes the name of the HOST_BIT_BUCKET, if any, and if it is
412         writable, and if save-temps is off; otherwise, substitute the name
413         of a temporary file, just like %u.  This temporary file is not
414         meant for communication between processes, but rather as a junk
415         disposal mechanism.
416  %.SUFFIX
417         substitutes .SUFFIX for the suffixes of a matched switch's args when
418         it is subsequently output with %*. SUFFIX is terminated by the next
419         space or %.
420  %d     marks the argument containing or following the %d as a
421         temporary file name, so that that file will be deleted if CC exits
422         successfully.  Unlike %g, this contributes no text to the argument.
423  %w     marks the argument containing or following the %w as the
424         "output file" of this compilation.  This puts the argument
425         into the sequence of arguments that %o will substitute later.
426  %V     indicates that this compilation produces no "output file".
427  %W{...}
428         like %{...} but mark last argument supplied within
429         as a file to be deleted on failure.
430  %o     substitutes the names of all the output files, with spaces
431         automatically placed around them.  You should write spaces
432         around the %o as well or the results are undefined.
433         %o is for use in the specs for running the linker.
434         Input files whose names have no recognized suffix are not compiled
435         at all, but they are included among the output files, so they will
436         be linked.
437  %O     substitutes the suffix for object files.  Note that this is
438         handled specially when it immediately follows %g, %u, or %U
439         (with or without a suffix argument) because of the need for
440         those to form complete file names.  The handling is such that
441         %O is treated exactly as if it had already been substituted,
442         except that %g, %u, and %U do not currently support additional
443         SUFFIX characters following %O as they would following, for
444         example, `.o'.
445  %I     Substitute any of -iprefix (made from GCC_EXEC_PREFIX), -isysroot
446         (made from TARGET_SYSTEM_ROOT), -isystem (made from COMPILER_PATH
447         and -B options) and -imultilib as necessary.
448  %s     current argument is the name of a library or startup file of some sort.
449         Search for that file in a standard list of directories
450         and substitute the full name found.
451  %eSTR  Print STR as an error message.  STR is terminated by a newline.
452         Use this when inconsistent options are detected.
453  %nSTR  Print STR as a notice.  STR is terminated by a newline.
454  %x{OPTION}     Accumulate an option for %X.
455  %X     Output the accumulated linker options specified by compilations.
456  %Y     Output the accumulated assembler options specified by compilations.
457  %Z     Output the accumulated preprocessor options specified by compilations.
458  %a     process ASM_SPEC as a spec.
459         This allows config.h to specify part of the spec for running as.
460  %A     process ASM_FINAL_SPEC as a spec.  A capital A is actually
461         used here.  This can be used to run a post-processor after the
462         assembler has done its job.
463  %D     Dump out a -L option for each directory in startfile_prefixes.
464         If multilib_dir is set, extra entries are generated with it affixed.
465  %l     process LINK_SPEC as a spec.
466  %L     process LIB_SPEC as a spec.
467  %G     process LIBGCC_SPEC as a spec.
468  %R     Output the concatenation of target_system_root and
469         target_sysroot_suffix.
470  %S     process STARTFILE_SPEC as a spec.  A capital S is actually used here.
471  %E     process ENDFILE_SPEC as a spec.  A capital E is actually used here.
472  %C     process CPP_SPEC as a spec.
473  %1     process CC1_SPEC as a spec.
474  %2     process CC1PLUS_SPEC as a spec.
475  %*     substitute the variable part of a matched option.  (See below.)
476         Note that each comma in the substituted string is replaced by
477         a single space.
478  %<S    remove all occurrences of -S from the command line.
479         Note - this command is position dependent.  % commands in the
480         spec string before this one will see -S, % commands in the
481         spec string after this one will not.
482  %<S*   remove all occurrences of all switches beginning with -S from the
483         command line.
484  %:function(args)
485         Call the named function FUNCTION, passing it ARGS.  ARGS is
486         first processed as a nested spec string, then split into an
487         argument vector in the usual fashion.  The function returns
488         a string which is processed as if it had appeared literally
489         as part of the current spec.
490  %{S}   substitutes the -S switch, if that switch was given to CC.
491         If that switch was not specified, this substitutes nothing.
492         Here S is a metasyntactic variable.
493  %{S*}  substitutes all the switches specified to CC whose names start
494         with -S.  This is used for -o, -I, etc; switches that take
495         arguments.  CC considers `-o foo' as being one switch whose
496         name starts with `o'.  %{o*} would substitute this text,
497         including the space; thus, two arguments would be generated.
498  %{S*&T*} likewise, but preserve order of S and T options (the order
499         of S and T in the spec is not significant).  Can be any number
500         of ampersand-separated variables; for each the wild card is
501         optional.  Useful for CPP as %{D*&U*&A*}.
502
503  %{S:X}   substitutes X, if the -S switch was given to CC.
504  %{!S:X}  substitutes X, if the -S switch was NOT given to CC.
505  %{S*:X}  substitutes X if one or more switches whose names start
506           with -S was given to CC.  Normally X is substituted only
507           once, no matter how many such switches appeared.  However,
508           if %* appears somewhere in X, then X will be substituted
509           once for each matching switch, with the %* replaced by the
510           part of that switch that matched the '*'.
511  %{.S:X}  substitutes X, if processing a file with suffix S.
512  %{!.S:X} substitutes X, if NOT processing a file with suffix S.
513
514  %{S|T:X} substitutes X if either -S or -T was given to CC.  This may be
515           combined with !, ., and * as above binding stronger than the OR.
516           If %* appears in X, all of the alternatives must be starred, and
517           only the first matching alternative is substituted.
518  %{S:X;   if S was given to CC, substitutes X;
519    T:Y;   else if T was given to CC, substitutes Y;
520     :D}   else substitutes D.  There can be as many clauses as you need.
521           This may be combined with ., !, |, and * as above.
522
523  %(Spec) processes a specification defined in a specs file as *Spec:
524  %[Spec] as above, but put __ around -D arguments
525
526 The conditional text X in a %{S:X} or similar construct may contain
527 other nested % constructs or spaces, or even newlines.  They are
528 processed as usual, as described above.  Trailing white space in X is
529 ignored.  White space may also appear anywhere on the left side of the
530 colon in these constructs, except between . or * and the corresponding
531 word.
532
533 The -O, -f, -m, and -W switches are handled specifically in these
534 constructs.  If another value of -O or the negated form of a -f, -m, or
535 -W switch is found later in the command line, the earlier switch
536 value is ignored, except with {S*} where S is just one letter; this
537 passes all matching options.
538
539 The character | at the beginning of the predicate text is used to indicate
540 that a command should be piped to the following command, but only if -pipe
541 is specified.
542
543 Note that it is built into CC which switches take arguments and which
544 do not.  You might think it would be useful to generalize this to
545 allow each compiler's spec to say which switches take arguments.  But
546 this cannot be done in a consistent fashion.  CC cannot even decide
547 which input files have been specified without knowing which switches
548 take arguments, and it must know which input files to compile in order
549 to tell which compilers to run.
550
551 CC also knows implicitly that arguments starting in `-l' are to be
552 treated as compiler output files, and passed to the linker in their
553 proper position among the other output files.  */
554 \f
555 /* Define the macros used for specs %a, %l, %L, %S, %C, %1.  */
556
557 /* config.h can define ASM_SPEC to provide extra args to the assembler
558    or extra switch-translations.  */
559 #ifndef ASM_SPEC
560 #define ASM_SPEC ""
561 #endif
562
563 /* config.h can define ASM_FINAL_SPEC to run a post processor after
564    the assembler has run.  */
565 #ifndef ASM_FINAL_SPEC
566 #define ASM_FINAL_SPEC ""
567 #endif
568
569 /* config.h can define CPP_SPEC to provide extra args to the C preprocessor
570    or extra switch-translations.  */
571 #ifndef CPP_SPEC
572 #define CPP_SPEC ""
573 #endif
574
575 /* config.h can define CC1_SPEC to provide extra args to cc1 and cc1plus
576    or extra switch-translations.  */
577 #ifndef CC1_SPEC
578 #define CC1_SPEC ""
579 #endif
580
581 /* config.h can define CC1PLUS_SPEC to provide extra args to cc1plus
582    or extra switch-translations.  */
583 #ifndef CC1PLUS_SPEC
584 #define CC1PLUS_SPEC ""
585 #endif
586
587 /* config.h can define LINK_SPEC to provide extra args to the linker
588    or extra switch-translations.  */
589 #ifndef LINK_SPEC
590 #define LINK_SPEC ""
591 #endif
592
593 /* config.h can define LIB_SPEC to override the default libraries.  */
594 #ifndef LIB_SPEC
595 #define LIB_SPEC "%{!shared:%{g*:-lg} %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
596 #endif
597
598 /* mudflap specs */
599 #ifndef MFWRAP_SPEC
600 /* XXX: valid only for GNU ld */
601 /* XXX: should exactly match hooks provided by libmudflap.a */
602 #define MFWRAP_SPEC " %{static: %{fmudflap|fmudflapth: \
603  --wrap=malloc --wrap=free --wrap=calloc --wrap=realloc\
604  --wrap=mmap --wrap=munmap --wrap=alloca\
605 } %{fmudflapth: --wrap=pthread_create\
606 }} %{fmudflap|fmudflapth: --wrap=main}"
607 #endif
608 #ifndef MFLIB_SPEC
609 #define MFLIB_SPEC "%{fmudflap|fmudflapth: -export-dynamic}"
610 #endif
611
612 /* config.h can define LIBGCC_SPEC to override how and when libgcc.a is
613    included.  */
614 #ifndef LIBGCC_SPEC
615 #if defined(REAL_LIBGCC_SPEC)
616 #define LIBGCC_SPEC REAL_LIBGCC_SPEC
617 #elif defined(LINK_LIBGCC_SPECIAL_1)
618 /* Have gcc do the search for libgcc.a.  */
619 #define LIBGCC_SPEC "libgcc.a%s"
620 #else
621 #define LIBGCC_SPEC "-lgcc"
622 #endif
623 #endif
624
625 /* config.h can define STARTFILE_SPEC to override the default crt0 files.  */
626 #ifndef STARTFILE_SPEC
627 #define STARTFILE_SPEC  \
628   "%{!shared:%{pg:gcrt0%O%s}%{!pg:%{p:mcrt0%O%s}%{!p:crt0%O%s}}}"
629 #endif
630
631 /* config.h can define SWITCHES_NEED_SPACES to control which options
632    require spaces between the option and the argument.  */
633 #ifndef SWITCHES_NEED_SPACES
634 #define SWITCHES_NEED_SPACES ""
635 #endif
636
637 /* config.h can define ENDFILE_SPEC to override the default crtn files.  */
638 #ifndef ENDFILE_SPEC
639 #define ENDFILE_SPEC ""
640 #endif
641
642 #ifndef LINKER_NAME
643 #define LINKER_NAME "collect2"
644 #endif
645
646 /* Define ASM_DEBUG_SPEC to be a spec suitable for translating '-g'
647    to the assembler.  */
648 #ifndef ASM_DEBUG_SPEC
649 # if defined(DBX_DEBUGGING_INFO) && defined(DWARF2_DEBUGGING_INFO) \
650      && defined(HAVE_AS_GDWARF2_DEBUG_FLAG) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
651 #  define ASM_DEBUG_SPEC                                        \
652       (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG                    \
653        ? "%{gdwarf-2*:--gdwarf2}%{!gdwarf-2*:%{g*:--gstabs}}"   \
654        : "%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}")
655 # else
656 #  if defined(DBX_DEBUGGING_INFO) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
657 #   define ASM_DEBUG_SPEC "%{g*:--gstabs}"
658 #  endif
659 #  if defined(DWARF2_DEBUGGING_INFO) && defined(HAVE_AS_GDWARF2_DEBUG_FLAG)
660 #   define ASM_DEBUG_SPEC "%{g*:--gdwarf2}"
661 #  endif
662 # endif
663 #endif
664 #ifndef ASM_DEBUG_SPEC
665 # define ASM_DEBUG_SPEC ""
666 #endif
667
668 /* Here is the spec for running the linker, after compiling all files.  */
669
670 /* This is overridable by the target in case they need to specify the
671    -lgcc and -lc order specially, yet not require them to override all
672    of LINK_COMMAND_SPEC.  */
673 #ifndef LINK_GCC_C_SEQUENCE_SPEC
674 #define LINK_GCC_C_SEQUENCE_SPEC "%G %L %G"
675 #endif
676
677 #ifndef LINK_SSP_SPEC
678 #ifdef TARGET_LIBC_PROVIDES_SSP
679 #define LINK_SSP_SPEC "%{fstack-protector:}"
680 #else
681 #define LINK_SSP_SPEC "%{fstack-protector|fstack-protector-all:-lssp_nonshared -lssp}"
682 #endif
683 #endif
684
685 #ifndef LINK_PIE_SPEC
686 #ifdef HAVE_LD_PIE
687 #define LINK_PIE_SPEC "%{pie:-pie} "
688 #else
689 #define LINK_PIE_SPEC "%{pie:} "
690 #endif
691 #endif
692
693 /* -u* was put back because both BSD and SysV seem to support it.  */
694 /* %{static:} simply prevents an error message if the target machine
695    doesn't handle -static.  */
696 /* We want %{T*} after %{L*} and %D so that it can be used to specify linker
697    scripts which exist in user specified directories, or in standard
698    directories.  */
699 #ifndef LINK_COMMAND_SPEC
700 #define LINK_COMMAND_SPEC "\
701 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S:\
702     %(linker) %l " LINK_PIE_SPEC "%X %{o*} %{A} %{d} %{e*} %{m} %{N} %{n} %{r}\
703     %{s} %{t} %{u*} %{x} %{z} %{Z} %{!A:%{!nostdlib:%{!nostartfiles:%S}}}\
704     %{static:} %{L*} %(mfwrap) %(link_libgcc) %o\
705     %{fopenmp:%:include(libgomp.spec)%(link_gomp)} %(mflib)\
706     %{fprofile-arcs|fprofile-generate|coverage:-lgcov}\
707     %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
708     %{!A:%{!nostdlib:%{!nostartfiles:%E}}} %{T*} }}}}}}"
709 #endif
710
711 #ifndef LINK_LIBGCC_SPEC
712 /* Generate -L options for startfile prefix list.  */
713 # define LINK_LIBGCC_SPEC "%D"
714 #endif
715
716 #ifndef STARTFILE_PREFIX_SPEC
717 # define STARTFILE_PREFIX_SPEC ""
718 #endif
719
720 #ifndef SYSROOT_SPEC
721 # define SYSROOT_SPEC "--sysroot=%R"
722 #endif
723
724 #ifndef SYSROOT_SUFFIX_SPEC
725 # define SYSROOT_SUFFIX_SPEC ""
726 #endif
727
728 #ifndef SYSROOT_HEADERS_SUFFIX_SPEC
729 # define SYSROOT_HEADERS_SUFFIX_SPEC ""
730 #endif
731
732 static const char *asm_debug;
733 static const char *cpp_spec = CPP_SPEC;
734 static const char *cc1_spec = CC1_SPEC;
735 static const char *cc1plus_spec = CC1PLUS_SPEC;
736 static const char *link_gcc_c_sequence_spec = LINK_GCC_C_SEQUENCE_SPEC;
737 static const char *link_ssp_spec = LINK_SSP_SPEC;
738 static const char *asm_spec = ASM_SPEC;
739 static const char *asm_final_spec = ASM_FINAL_SPEC;
740 static const char *link_spec = LINK_SPEC;
741 static const char *lib_spec = LIB_SPEC;
742 static const char *mfwrap_spec = MFWRAP_SPEC;
743 static const char *mflib_spec = MFLIB_SPEC;
744 static const char *link_gomp_spec = "";
745 static const char *libgcc_spec = LIBGCC_SPEC;
746 static const char *endfile_spec = ENDFILE_SPEC;
747 static const char *startfile_spec = STARTFILE_SPEC;
748 static const char *switches_need_spaces = SWITCHES_NEED_SPACES;
749 static const char *linker_name_spec = LINKER_NAME;
750 static const char *link_command_spec = LINK_COMMAND_SPEC;
751 static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
752 static const char *startfile_prefix_spec = STARTFILE_PREFIX_SPEC;
753 static const char *sysroot_spec = SYSROOT_SPEC;
754 static const char *sysroot_suffix_spec = SYSROOT_SUFFIX_SPEC;
755 static const char *sysroot_hdrs_suffix_spec = SYSROOT_HEADERS_SUFFIX_SPEC;
756
757 /* Standard options to cpp, cc1, and as, to reduce duplication in specs.
758    There should be no need to override these in target dependent files,
759    but we need to copy them to the specs file so that newer versions
760    of the GCC driver can correctly drive older tool chains with the
761    appropriate -B options.  */
762
763 /* When cpplib handles traditional preprocessing, get rid of this, and
764    call cc1 (or cc1obj in objc/lang-specs.h) from the main specs so
765    that we default the front end language better.  */
766 static const char *trad_capable_cpp =
767 "cc1 -E %{traditional|ftraditional|traditional-cpp:-traditional-cpp}";
768
769 /* We don't wrap .d files in %W{} since a missing .d file, and
770    therefore no dependency entry, confuses make into thinking a .o
771    file that happens to exist is up-to-date.  */
772 static const char *cpp_unique_options =
773 "%{C|CC:%{!E:%eGCC does not support -C or -CC without -E}}\
774  %{!Q:-quiet} %{nostdinc*} %{C} %{CC} %{v} %{I*&F*} %{P} %I\
775  %{MD:-MD %{!o:%b.d}%{o*:%.d%*}}\
776  %{MMD:-MMD %{!o:%b.d}%{o*:%.d%*}}\
777  %{M} %{MM} %{MF*} %{MG} %{MP} %{MQ*} %{MT*}\
778  %{!E:%{!M:%{!MM:%{MD|MMD:%{o*:-MQ %*}}}}}\
779  %{remap} %{g3:-dD} %{H} %C %{D*&U*&A*} %{i*} %Z %i\
780  %{fmudflap:-D_MUDFLAP -include mf-runtime.h}\
781  %{fmudflapth:-D_MUDFLAP -D_MUDFLAPTH -include mf-runtime.h}\
782  %{E|M|MM:%W{o*}}";
783
784 /* This contains cpp options which are common with cc1_options and are passed
785    only when preprocessing only to avoid duplication.  We pass the cc1 spec
786    options to the preprocessor so that it the cc1 spec may manipulate
787    options used to set target flags.  Those special target flags settings may
788    in turn cause preprocessor symbols to be defined specially.  */
789 static const char *cpp_options =
790 "%(cpp_unique_options) %1 %{m*} %{std*&ansi&trigraphs} %{W*&pedantic*} %{w}\
791  %{f*} %{g*:%{!g0:%{!fno-working-directory:-fworking-directory}}} %{O*}\
792  %{undef} %{save-temps:-fpch-preprocess}";
793
794 /* This contains cpp options which are not passed when the preprocessor
795    output will be used by another program.  */
796 static const char *cpp_debug_options = "%{d*}";
797
798 /* NB: This is shared amongst all front-ends.  */
799 static const char *cc1_options =
800 "%{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
801  %1 %{!Q:-quiet} -dumpbase %B %{d*} %{m*} %{a*}\
802  %{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}%{!c:%{!S:-auxbase %b}}\
803  %{g*} %{O*} %{W*&pedantic*} %{w} %{std*&ansi&trigraphs}\
804  %{v:-version} %{pg:-p} %{p} %{f*} %{undef}\
805  %{Qn:-fno-ident} %{--help:--help}\
806  %{--target-help:--target-help}\
807  %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\
808  %{fsyntax-only:-o %j} %{-param*}\
809  %{fmudflap|fmudflapth:-fno-builtin -fno-merge-constants}\
810  %{coverage:-fprofile-arcs -ftest-coverage}";
811
812 static const char *asm_options =
813 "%a %Y %{c:%W{o*}%{!o*:-o %w%b%O}}%{!c:-o %d%w%u%O}";
814
815 static const char *invoke_as =
816 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
817 "%{!S:-o %|.s |\n as %(asm_options) %|.s %A }";
818 #else
819 "%{!S:-o %|.s |\n as %(asm_options) %m.s %A }";
820 #endif
821
822 /* Some compilers have limits on line lengths, and the multilib_select
823    and/or multilib_matches strings can be very long, so we build them at
824    run time.  */
825 static struct obstack multilib_obstack;
826 static const char *multilib_select;
827 static const char *multilib_matches;
828 static const char *multilib_defaults;
829 static const char *multilib_exclusions;
830
831 /* Check whether a particular argument is a default argument.  */
832
833 #ifndef MULTILIB_DEFAULTS
834 #define MULTILIB_DEFAULTS { "" }
835 #endif
836
837 static const char *const multilib_defaults_raw[] = MULTILIB_DEFAULTS;
838
839 #ifndef DRIVER_SELF_SPECS
840 #define DRIVER_SELF_SPECS ""
841 #endif
842
843 /* Adding -fopenmp should imply pthreads.  This is particularly important
844    for targets that use different start files and suchlike.  */
845 #ifndef GOMP_SELF_SPECS
846 #define GOMP_SELF_SPECS "%{fopenmp: -pthread}"
847 #endif
848
849 static const char *const driver_self_specs[] = {
850   DRIVER_SELF_SPECS, GOMP_SELF_SPECS
851 };
852
853 #ifndef OPTION_DEFAULT_SPECS
854 #define OPTION_DEFAULT_SPECS { "", "" }
855 #endif
856
857 struct default_spec
858 {
859   const char *name;
860   const char *spec;
861 };
862
863 static const struct default_spec
864   option_default_specs[] = { OPTION_DEFAULT_SPECS };
865
866 struct user_specs
867 {
868   struct user_specs *next;
869   const char *filename;
870 };
871
872 static struct user_specs *user_specs_head, *user_specs_tail;
873
874 #ifndef SWITCH_TAKES_ARG
875 #define SWITCH_TAKES_ARG(CHAR) DEFAULT_SWITCH_TAKES_ARG(CHAR)
876 #endif
877
878 #ifndef WORD_SWITCH_TAKES_ARG
879 #define WORD_SWITCH_TAKES_ARG(STR) DEFAULT_WORD_SWITCH_TAKES_ARG (STR)
880 #endif
881 \f
882 #ifdef HAVE_TARGET_EXECUTABLE_SUFFIX
883 /* This defines which switches stop a full compilation.  */
884 #define DEFAULT_SWITCH_CURTAILS_COMPILATION(CHAR) \
885   ((CHAR) == 'c' || (CHAR) == 'S')
886
887 #ifndef SWITCH_CURTAILS_COMPILATION
888 #define SWITCH_CURTAILS_COMPILATION(CHAR) \
889   DEFAULT_SWITCH_CURTAILS_COMPILATION(CHAR)
890 #endif
891 #endif
892
893 /* Record the mapping from file suffixes for compilation specs.  */
894
895 struct compiler
896 {
897   const char *suffix;           /* Use this compiler for input files
898                                    whose names end in this suffix.  */
899
900   const char *spec;             /* To use this compiler, run this spec.  */
901
902   const char *cpp_spec;         /* If non-NULL, substitute this spec
903                                    for `%C', rather than the usual
904                                    cpp_spec.  */
905   const int combinable;          /* If nonzero, compiler can deal with
906                                     multiple source files at once (IMA).  */
907   const int needs_preprocessing; /* If nonzero, source files need to
908                                     be run through a preprocessor.  */
909 };
910
911 /* Pointer to a vector of `struct compiler' that gives the spec for
912    compiling a file, based on its suffix.
913    A file that does not end in any of these suffixes will be passed
914    unchanged to the loader and nothing else will be done to it.
915
916    An entry containing two 0s is used to terminate the vector.
917
918    If multiple entries match a file, the last matching one is used.  */
919
920 static struct compiler *compilers;
921
922 /* Number of entries in `compilers', not counting the null terminator.  */
923
924 static int n_compilers;
925
926 /* The default list of file name suffixes and their compilation specs.  */
927
928 static const struct compiler default_compilers[] =
929 {
930   /* Add lists of suffixes of known languages here.  If those languages
931      were not present when we built the driver, we will hit these copies
932      and be given a more meaningful error than "file not used since
933      linking is not done".  */
934   {".m",  "#Objective-C", 0, 0, 0}, {".mi",  "#Objective-C", 0, 0, 0},
935   {".mm", "#Objective-C++", 0, 0, 0}, {".M", "#Objective-C++", 0, 0, 0},
936   {".mii", "#Objective-C++", 0, 0, 0},
937   {".cc", "#C++", 0, 0, 0}, {".cxx", "#C++", 0, 0, 0},
938   {".cpp", "#C++", 0, 0, 0}, {".cp", "#C++", 0, 0, 0},
939   {".c++", "#C++", 0, 0, 0}, {".C", "#C++", 0, 0, 0},
940   {".CPP", "#C++", 0, 0, 0}, {".ii", "#C++", 0, 0, 0},
941   {".ads", "#Ada", 0, 0, 0}, {".adb", "#Ada", 0, 0, 0},
942   {".f", "#Fortran", 0, 0, 0}, {".for", "#Fortran", 0, 0, 0},
943   {".fpp", "#Fortran", 0, 0, 0}, {".F", "#Fortran", 0, 0, 0},
944   {".FOR", "#Fortran", 0, 0, 0}, {".FPP", "#Fortran", 0, 0, 0},
945   {".f90", "#Fortran", 0, 0, 0}, {".f95", "#Fortran", 0, 0, 0},
946   {".F90", "#Fortran", 0, 0, 0}, {".F95", "#Fortran", 0, 0, 0},
947   {".r", "#Ratfor", 0, 0, 0},
948   {".p", "#Pascal", 0, 0, 0}, {".pas", "#Pascal", 0, 0, 0},
949   {".java", "#Java", 0, 0, 0}, {".class", "#Java", 0, 0, 0},
950   {".zip", "#Java", 0, 0, 0}, {".jar", "#Java", 0, 0, 0},
951   /* Next come the entries for C.  */
952   {".c", "@c", 0, 1, 1},
953   {"@c",
954    /* cc1 has an integrated ISO C preprocessor.  We should invoke the
955       external preprocessor if -save-temps is given.  */
956      "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
957       %{!E:%{!M:%{!MM:\
958           %{traditional|ftraditional:\
959 %eGNU C no longer supports -traditional without -E}\
960        %{!combine:\
961           %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
962                 %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i} \n\
963                     cc1 -fpreprocessed %{save-temps:%b.i} %{!save-temps:%g.i} \
964                         %(cc1_options)}\
965           %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
966                 cc1 %(cpp_unique_options) %(cc1_options)}}}\
967           %{!fsyntax-only:%(invoke_as)}} \
968       %{combine:\
969           %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
970                 %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i}}\
971           %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
972                 cc1 %(cpp_unique_options) %(cc1_options)}}\
973                 %{!fsyntax-only:%(invoke_as)}}}}}}", 0, 1, 1},
974   {"-",
975    "%{!E:%e-E or -x required when input is from standard input}\
976     %(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)", 0, 0, 0},
977   {".h", "@c-header", 0, 0, 0},
978   {"@c-header",
979    /* cc1 has an integrated ISO C preprocessor.  We should invoke the
980       external preprocessor if -save-temps is given.  */
981      "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
982       %{!E:%{!M:%{!MM:\
983           %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
984                 %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i} \n\
985                     cc1 -fpreprocessed %{save-temps:%b.i} %{!save-temps:%g.i} \
986                         %(cc1_options)\
987                         -o %g.s %{!o*:--output-pch=%i.gch}\
988                         %W{o*:--output-pch=%*}%V}\
989           %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
990                 cc1 %(cpp_unique_options) %(cc1_options)\
991                     -o %g.s %{!o*:--output-pch=%i.gch}\
992                     %W{o*:--output-pch=%*}%V}}}}}}", 0, 0, 0},
993   {".i", "@cpp-output", 0, 1, 0},
994   {"@cpp-output",
995    "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0, 1, 0},
996   {".s", "@assembler", 0, 1, 0},
997   {"@assembler",
998    "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0, 1, 0},
999   {".S", "@assembler-with-cpp", 0, 1, 0},
1000   {"@assembler-with-cpp",
1001 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
1002    "%(trad_capable_cpp) -lang-asm %(cpp_options)\
1003       %{E|M|MM:%(cpp_debug_options)}\
1004       %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1005        as %(asm_debug) %(asm_options) %|.s %A }}}}"
1006 #else
1007    "%(trad_capable_cpp) -lang-asm %(cpp_options)\
1008       %{E|M|MM:%(cpp_debug_options)}\
1009       %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1010        as %(asm_debug) %(asm_options) %m.s %A }}}}"
1011 #endif
1012    , 0, 1, 0},
1013
1014 #include "specs.h"
1015   /* Mark end of table.  */
1016   {0, 0, 0, 0, 0}
1017 };
1018
1019 /* Number of elements in default_compilers, not counting the terminator.  */
1020
1021 static const int n_default_compilers = ARRAY_SIZE (default_compilers) - 1;
1022
1023 /* A vector of options to give to the linker.
1024    These options are accumulated by %x,
1025    and substituted into the linker command with %X.  */
1026 static int n_linker_options;
1027 static char **linker_options;
1028
1029 /* A vector of options to give to the assembler.
1030    These options are accumulated by -Wa,
1031    and substituted into the assembler command with %Y.  */
1032 static int n_assembler_options;
1033 static char **assembler_options;
1034
1035 /* A vector of options to give to the preprocessor.
1036    These options are accumulated by -Wp,
1037    and substituted into the preprocessor command with %Z.  */
1038 static int n_preprocessor_options;
1039 static char **preprocessor_options;
1040 \f
1041 /* Define how to map long options into short ones.  */
1042
1043 /* This structure describes one mapping.  */
1044 struct option_map
1045 {
1046   /* The long option's name.  */
1047   const char *const name;
1048   /* The equivalent short option.  */
1049   const char *const equivalent;
1050   /* Argument info.  A string of flag chars; NULL equals no options.
1051      a => argument required.
1052      o => argument optional.
1053      j => join argument to equivalent, making one word.
1054      * => require other text after NAME as an argument.  */
1055   const char *const arg_info;
1056 };
1057
1058 /* This is the table of mappings.  Mappings are tried sequentially
1059    for each option encountered; the first one that matches, wins.  */
1060
1061 static const struct option_map option_map[] =
1062  {
1063    {"--all-warnings", "-Wall", 0},
1064    {"--ansi", "-ansi", 0},
1065    {"--assemble", "-S", 0},
1066    {"--assert", "-A", "a"},
1067    {"--classpath", "-fclasspath=", "aj"},
1068    {"--bootclasspath", "-fbootclasspath=", "aj"},
1069    {"--CLASSPATH", "-fclasspath=", "aj"},
1070    {"--combine", "-combine", 0},
1071    {"--comments", "-C", 0},
1072    {"--comments-in-macros", "-CC", 0},
1073    {"--compile", "-c", 0},
1074    {"--debug", "-g", "oj"},
1075    {"--define-macro", "-D", "aj"},
1076    {"--dependencies", "-M", 0},
1077    {"--dump", "-d", "a"},
1078    {"--dumpbase", "-dumpbase", "a"},
1079    {"--encoding", "-fencoding=", "aj"},
1080    {"--entry", "-e", 0},
1081    {"--extra-warnings", "-W", 0},
1082    {"--extdirs", "-fextdirs=", "aj"},
1083    {"--for-assembler", "-Wa", "a"},
1084    {"--for-linker", "-Xlinker", "a"},
1085    {"--force-link", "-u", "a"},
1086    {"--coverage", "-coverage", 0},
1087    {"--imacros", "-imacros", "a"},
1088    {"--include", "-include", "a"},
1089    {"--include-barrier", "-I-", 0},
1090    {"--include-directory", "-I", "aj"},
1091    {"--include-directory-after", "-idirafter", "a"},
1092    {"--include-prefix", "-iprefix", "a"},
1093    {"--include-with-prefix", "-iwithprefix", "a"},
1094    {"--include-with-prefix-before", "-iwithprefixbefore", "a"},
1095    {"--include-with-prefix-after", "-iwithprefix", "a"},
1096    {"--language", "-x", "a"},
1097    {"--library-directory", "-L", "a"},
1098    {"--machine", "-m", "aj"},
1099    {"--machine-", "-m", "*j"},
1100    {"--no-integrated-cpp", "-no-integrated-cpp", 0},
1101    {"--no-line-commands", "-P", 0},
1102    {"--no-precompiled-includes", "-noprecomp", 0},
1103    {"--no-standard-includes", "-nostdinc", 0},
1104    {"--no-standard-libraries", "-nostdlib", 0},
1105    {"--no-warnings", "-w", 0},
1106    {"--optimize", "-O", "oj"},
1107    {"--output", "-o", "a"},
1108    {"--output-class-directory", "-foutput-class-dir=", "ja"},
1109    {"--param", "--param", "a"},
1110    {"--pass-exit-codes", "-pass-exit-codes", 0},
1111    {"--pedantic", "-pedantic", 0},
1112    {"--pedantic-errors", "-pedantic-errors", 0},
1113    {"--pie", "-pie", 0},
1114    {"--pipe", "-pipe", 0},
1115    {"--prefix", "-B", "a"},
1116    {"--preprocess", "-E", 0},
1117    {"--print-search-dirs", "-print-search-dirs", 0},
1118    {"--print-file-name", "-print-file-name=", "aj"},
1119    {"--print-libgcc-file-name", "-print-libgcc-file-name", 0},
1120    {"--print-missing-file-dependencies", "-MG", 0},
1121    {"--print-multi-lib", "-print-multi-lib", 0},
1122    {"--print-multi-directory", "-print-multi-directory", 0},
1123    {"--print-multi-os-directory", "-print-multi-os-directory", 0},
1124    {"--print-prog-name", "-print-prog-name=", "aj"},
1125    {"--profile", "-p", 0},
1126    {"--profile-blocks", "-a", 0},
1127    {"--quiet", "-q", 0},
1128    {"--resource", "-fcompile-resource=", "aj"},
1129    {"--save-temps", "-save-temps", 0},
1130    {"--shared", "-shared", 0},
1131    {"--silent", "-q", 0},
1132    {"--specs", "-specs=", "aj"},
1133    {"--static", "-static", 0},
1134    {"--std", "-std=", "aj"},
1135    {"--symbolic", "-symbolic", 0},
1136    {"--sysroot", "--sysroot=", "aj"},
1137    {"--time", "-time", 0},
1138    {"--trace-includes", "-H", 0},
1139    {"--traditional", "-traditional", 0},
1140    {"--traditional-cpp", "-traditional-cpp", 0},
1141    {"--trigraphs", "-trigraphs", 0},
1142    {"--undefine-macro", "-U", "aj"},
1143    {"--user-dependencies", "-MM", 0},
1144    {"--verbose", "-v", 0},
1145    {"--warn-", "-W", "*j"},
1146    {"--write-dependencies", "-MD", 0},
1147    {"--write-user-dependencies", "-MMD", 0},
1148    {"--", "-f", "*j"}
1149  };
1150 \f
1151
1152 #ifdef TARGET_OPTION_TRANSLATE_TABLE
1153 static const struct {
1154   const char *const option_found;
1155   const char *const replacements;
1156 } target_option_translations[] =
1157 {
1158   TARGET_OPTION_TRANSLATE_TABLE,
1159   { 0, 0 }
1160 };
1161 #endif
1162
1163 /* Translate the options described by *ARGCP and *ARGVP.
1164    Make a new vector and store it back in *ARGVP,
1165    and store its length in *ARGVC.  */
1166
1167 static void
1168 translate_options (int *argcp, const char *const **argvp)
1169 {
1170   int i;
1171   int argc = *argcp;
1172   const char *const *argv = *argvp;
1173   int newvsize = (argc + 2) * 2 * sizeof (const char *);
1174   const char **newv = xmalloc (newvsize);
1175   int newindex = 0;
1176
1177   i = 0;
1178   newv[newindex++] = argv[i++];
1179
1180   while (i < argc)
1181     {
1182 #ifdef TARGET_OPTION_TRANSLATE_TABLE
1183       int tott_idx;
1184
1185       for (tott_idx = 0;
1186            target_option_translations[tott_idx].option_found;
1187            tott_idx++)
1188         {
1189           if (strcmp (target_option_translations[tott_idx].option_found,
1190                       argv[i]) == 0)
1191             {
1192               int spaces = 1;
1193               const char *sp;
1194               char *np;
1195
1196               for (sp = target_option_translations[tott_idx].replacements;
1197                    *sp; sp++)
1198                 {
1199                   if (*sp == ' ')
1200                     spaces ++;
1201                 }
1202
1203               newvsize += spaces * sizeof (const char *);
1204               newv =  xrealloc (newv, newvsize);
1205
1206               sp = target_option_translations[tott_idx].replacements;
1207               np = xstrdup (sp);
1208
1209               while (1)
1210                 {
1211                   while (*np == ' ')
1212                     np++;
1213                   if (*np == 0)
1214                     break;
1215                   newv[newindex++] = np;
1216                   while (*np != ' ' && *np)
1217                     np++;
1218                   if (*np == 0)
1219                     break;
1220                   *np++ = 0;
1221                 }
1222
1223               i ++;
1224               break;
1225             }
1226         }
1227       if (target_option_translations[tott_idx].option_found)
1228         continue;
1229 #endif
1230
1231       /* Translate -- options.  */
1232       if (argv[i][0] == '-' && argv[i][1] == '-')
1233         {
1234           size_t j;
1235           /* Find a mapping that applies to this option.  */
1236           for (j = 0; j < ARRAY_SIZE (option_map); j++)
1237             {
1238               size_t optlen = strlen (option_map[j].name);
1239               size_t arglen = strlen (argv[i]);
1240               size_t complen = arglen > optlen ? optlen : arglen;
1241               const char *arginfo = option_map[j].arg_info;
1242
1243               if (arginfo == 0)
1244                 arginfo = "";
1245
1246               if (!strncmp (argv[i], option_map[j].name, complen))
1247                 {
1248                   const char *arg = 0;
1249
1250                   if (arglen < optlen)
1251                     {
1252                       size_t k;
1253                       for (k = j + 1; k < ARRAY_SIZE (option_map); k++)
1254                         if (strlen (option_map[k].name) >= arglen
1255                             && !strncmp (argv[i], option_map[k].name, arglen))
1256                           {
1257                             error ("ambiguous abbreviation %s", argv[i]);
1258                             break;
1259                           }
1260
1261                       if (k != ARRAY_SIZE (option_map))
1262                         break;
1263                     }
1264
1265                   if (arglen > optlen)
1266                     {
1267                       /* If the option has an argument, accept that.  */
1268                       if (argv[i][optlen] == '=')
1269                         arg = argv[i] + optlen + 1;
1270
1271                       /* If this mapping requires extra text at end of name,
1272                          accept that as "argument".  */
1273                       else if (strchr (arginfo, '*') != 0)
1274                         arg = argv[i] + optlen;
1275
1276                       /* Otherwise, extra text at end means mismatch.
1277                          Try other mappings.  */
1278                       else
1279                         continue;
1280                     }
1281
1282                   else if (strchr (arginfo, '*') != 0)
1283                     {
1284                       error ("incomplete '%s' option", option_map[j].name);
1285                       break;
1286                     }
1287
1288                   /* Handle arguments.  */
1289                   if (strchr (arginfo, 'a') != 0)
1290                     {
1291                       if (arg == 0)
1292                         {
1293                           if (i + 1 == argc)
1294                             {
1295                               error ("missing argument to '%s' option",
1296                                      option_map[j].name);
1297                               break;
1298                             }
1299
1300                           arg = argv[++i];
1301                         }
1302                     }
1303                   else if (strchr (arginfo, '*') != 0)
1304                     ;
1305                   else if (strchr (arginfo, 'o') == 0)
1306                     {
1307                       if (arg != 0)
1308                         error ("extraneous argument to '%s' option",
1309                                option_map[j].name);
1310                       arg = 0;
1311                     }
1312
1313                   /* Store the translation as one argv elt or as two.  */
1314                   if (arg != 0 && strchr (arginfo, 'j') != 0)
1315                     newv[newindex++] = concat (option_map[j].equivalent, arg,
1316                                                NULL);
1317                   else if (arg != 0)
1318                     {
1319                       newv[newindex++] = option_map[j].equivalent;
1320                       newv[newindex++] = arg;
1321                     }
1322                   else
1323                     newv[newindex++] = option_map[j].equivalent;
1324
1325                   break;
1326                 }
1327             }
1328           i++;
1329         }
1330
1331       /* Handle old-fashioned options--just copy them through,
1332          with their arguments.  */
1333       else if (argv[i][0] == '-')
1334         {
1335           const char *p = argv[i] + 1;
1336           int c = *p;
1337           int nskip = 1;
1338
1339           if (SWITCH_TAKES_ARG (c) > (p[1] != 0))
1340             nskip += SWITCH_TAKES_ARG (c) - (p[1] != 0);
1341           else if (WORD_SWITCH_TAKES_ARG (p))
1342             nskip += WORD_SWITCH_TAKES_ARG (p);
1343           else if ((c == 'B' || c == 'b' || c == 'x')
1344                    && p[1] == 0)
1345             nskip += 1;
1346           else if (! strcmp (p, "Xlinker"))
1347             nskip += 1;
1348           else if (! strcmp (p, "Xpreprocessor"))
1349             nskip += 1;
1350           else if (! strcmp (p, "Xassembler"))
1351             nskip += 1;
1352
1353           /* Watch out for an option at the end of the command line that
1354              is missing arguments, and avoid skipping past the end of the
1355              command line.  */
1356           if (nskip + i > argc)
1357             nskip = argc - i;
1358
1359           while (nskip > 0)
1360             {
1361               newv[newindex++] = argv[i++];
1362               nskip--;
1363             }
1364         }
1365       else
1366         /* Ordinary operands, or +e options.  */
1367         newv[newindex++] = argv[i++];
1368     }
1369
1370   newv[newindex] = 0;
1371
1372   *argvp = newv;
1373   *argcp = newindex;
1374 }
1375 \f
1376 static char *
1377 skip_whitespace (char *p)
1378 {
1379   while (1)
1380     {
1381       /* A fully-blank line is a delimiter in the SPEC file and shouldn't
1382          be considered whitespace.  */
1383       if (p[0] == '\n' && p[1] == '\n' && p[2] == '\n')
1384         return p + 1;
1385       else if (*p == '\n' || *p == ' ' || *p == '\t')
1386         p++;
1387       else if (*p == '#')
1388         {
1389           while (*p != '\n')
1390             p++;
1391           p++;
1392         }
1393       else
1394         break;
1395     }
1396
1397   return p;
1398 }
1399 /* Structures to keep track of prefixes to try when looking for files.  */
1400
1401 struct prefix_list
1402 {
1403   const char *prefix;         /* String to prepend to the path.  */
1404   struct prefix_list *next;   /* Next in linked list.  */
1405   int require_machine_suffix; /* Don't use without machine_suffix.  */
1406   /* 2 means try both machine_suffix and just_machine_suffix.  */
1407   int priority;               /* Sort key - priority within list.  */
1408   int os_multilib;            /* 1 if OS multilib scheme should be used,
1409                                  0 for GCC multilib scheme.  */
1410 };
1411
1412 struct path_prefix
1413 {
1414   struct prefix_list *plist;  /* List of prefixes to try */
1415   int max_len;                /* Max length of a prefix in PLIST */
1416   const char *name;           /* Name of this list (used in config stuff) */
1417 };
1418
1419 /* List of prefixes to try when looking for executables.  */
1420
1421 static struct path_prefix exec_prefixes = { 0, 0, "exec" };
1422
1423 /* List of prefixes to try when looking for startup (crt0) files.  */
1424
1425 static struct path_prefix startfile_prefixes = { 0, 0, "startfile" };
1426
1427 /* List of prefixes to try when looking for include files.  */
1428
1429 static struct path_prefix include_prefixes = { 0, 0, "include" };
1430
1431 /* Suffix to attach to directories searched for commands.
1432    This looks like `MACHINE/VERSION/'.  */
1433
1434 static const char *machine_suffix = 0;
1435
1436 /* Suffix to attach to directories searched for commands.
1437    This is just `MACHINE/'.  */
1438
1439 static const char *just_machine_suffix = 0;
1440
1441 /* Adjusted value of GCC_EXEC_PREFIX envvar.  */
1442
1443 static const char *gcc_exec_prefix;
1444
1445 /* Adjusted value of standard_libexec_prefix.  */
1446
1447 static const char *gcc_libexec_prefix;
1448
1449 /* Default prefixes to attach to command names.  */
1450
1451 #ifndef STANDARD_STARTFILE_PREFIX_1
1452 #define STANDARD_STARTFILE_PREFIX_1 "/lib/"
1453 #endif
1454 #ifndef STANDARD_STARTFILE_PREFIX_2
1455 #define STANDARD_STARTFILE_PREFIX_2 "/usr/lib/"
1456 #endif
1457
1458 #ifdef CROSS_COMPILE  /* Don't use these prefixes for a cross compiler.  */
1459 #undef MD_EXEC_PREFIX
1460 #undef MD_STARTFILE_PREFIX
1461 #undef MD_STARTFILE_PREFIX_1
1462 #endif
1463
1464 /* If no prefixes defined, use the null string, which will disable them.  */
1465 #ifndef MD_EXEC_PREFIX
1466 #define MD_EXEC_PREFIX ""
1467 #endif
1468 #ifndef MD_STARTFILE_PREFIX
1469 #define MD_STARTFILE_PREFIX ""
1470 #endif
1471 #ifndef MD_STARTFILE_PREFIX_1
1472 #define MD_STARTFILE_PREFIX_1 ""
1473 #endif
1474
1475 /* These directories are locations set at configure-time based on the
1476    --prefix option provided to configure.  Their initializers are
1477    defined in Makefile.in.  These paths are not *directly* used when
1478    gcc_exec_prefix is set because, in that case, we know where the
1479    compiler has been installed, and use paths relative to that
1480    location instead.  */
1481 static const char *const standard_exec_prefix = STANDARD_EXEC_PREFIX;
1482 static const char *const standard_libexec_prefix = STANDARD_LIBEXEC_PREFIX;
1483 static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
1484 static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
1485
1486 /* For native compilers, these are well-known paths containing
1487    components that may be provided by the system.  For cross
1488    compilers, these paths are not used.  */
1489 static const char *const standard_exec_prefix_1 = "/usr/libexec/gcc/";
1490 static const char *const standard_exec_prefix_2 = "/usr/lib/gcc/";
1491 static const char *md_exec_prefix = MD_EXEC_PREFIX;
1492 static const char *md_startfile_prefix = MD_STARTFILE_PREFIX;
1493 static const char *md_startfile_prefix_1 = MD_STARTFILE_PREFIX_1;
1494 static const char *const standard_startfile_prefix_1 
1495   = STANDARD_STARTFILE_PREFIX_1;
1496 static const char *const standard_startfile_prefix_2
1497   = STANDARD_STARTFILE_PREFIX_2;
1498
1499 /* A relative path to be used in finding the location of tools
1500    relative to the driver.  */
1501 static const char *const tooldir_base_prefix = TOOLDIR_BASE_PREFIX;
1502
1503 /* Subdirectory to use for locating libraries.  Set by
1504    set_multilib_dir based on the compilation options.  */
1505
1506 static const char *multilib_dir;
1507
1508 /* Subdirectory to use for locating libraries in OS conventions.  Set by
1509    set_multilib_dir based on the compilation options.  */
1510
1511 static const char *multilib_os_dir;
1512 \f
1513 /* Structure to keep track of the specs that have been defined so far.
1514    These are accessed using %(specname) or %[specname] in a compiler
1515    or link spec.  */
1516
1517 struct spec_list
1518 {
1519                                 /* The following 2 fields must be first */
1520                                 /* to allow EXTRA_SPECS to be initialized */
1521   const char *name;             /* name of the spec.  */
1522   const char *ptr;              /* available ptr if no static pointer */
1523
1524                                 /* The following fields are not initialized */
1525                                 /* by EXTRA_SPECS */
1526   const char **ptr_spec;        /* pointer to the spec itself.  */
1527   struct spec_list *next;       /* Next spec in linked list.  */
1528   int name_len;                 /* length of the name */
1529   int alloc_p;                  /* whether string was allocated */
1530 };
1531
1532 #define INIT_STATIC_SPEC(NAME,PTR) \
1533 { NAME, NULL, PTR, (struct spec_list *) 0, sizeof (NAME) - 1, 0 }
1534
1535 /* List of statically defined specs.  */
1536 static struct spec_list static_specs[] =
1537 {
1538   INIT_STATIC_SPEC ("asm",                      &asm_spec),
1539   INIT_STATIC_SPEC ("asm_debug",                &asm_debug),
1540   INIT_STATIC_SPEC ("asm_final",                &asm_final_spec),
1541   INIT_STATIC_SPEC ("asm_options",              &asm_options),
1542   INIT_STATIC_SPEC ("invoke_as",                &invoke_as),
1543   INIT_STATIC_SPEC ("cpp",                      &cpp_spec),
1544   INIT_STATIC_SPEC ("cpp_options",              &cpp_options),
1545   INIT_STATIC_SPEC ("cpp_debug_options",        &cpp_debug_options),
1546   INIT_STATIC_SPEC ("cpp_unique_options",       &cpp_unique_options),
1547   INIT_STATIC_SPEC ("trad_capable_cpp",         &trad_capable_cpp),
1548   INIT_STATIC_SPEC ("cc1",                      &cc1_spec),
1549   INIT_STATIC_SPEC ("cc1_options",              &cc1_options),
1550   INIT_STATIC_SPEC ("cc1plus",                  &cc1plus_spec),
1551   INIT_STATIC_SPEC ("link_gcc_c_sequence",      &link_gcc_c_sequence_spec),
1552   INIT_STATIC_SPEC ("link_ssp",                 &link_ssp_spec),
1553   INIT_STATIC_SPEC ("endfile",                  &endfile_spec),
1554   INIT_STATIC_SPEC ("link",                     &link_spec),
1555   INIT_STATIC_SPEC ("lib",                      &lib_spec),
1556   INIT_STATIC_SPEC ("mfwrap",                   &mfwrap_spec),
1557   INIT_STATIC_SPEC ("mflib",                    &mflib_spec),
1558   INIT_STATIC_SPEC ("link_gomp",                &link_gomp_spec),
1559   INIT_STATIC_SPEC ("libgcc",                   &libgcc_spec),
1560   INIT_STATIC_SPEC ("startfile",                &startfile_spec),
1561   INIT_STATIC_SPEC ("switches_need_spaces",     &switches_need_spaces),
1562   INIT_STATIC_SPEC ("cross_compile",            &cross_compile),
1563   INIT_STATIC_SPEC ("version",                  &compiler_version),
1564   INIT_STATIC_SPEC ("multilib",                 &multilib_select),
1565   INIT_STATIC_SPEC ("multilib_defaults",        &multilib_defaults),
1566   INIT_STATIC_SPEC ("multilib_extra",           &multilib_extra),
1567   INIT_STATIC_SPEC ("multilib_matches",         &multilib_matches),
1568   INIT_STATIC_SPEC ("multilib_exclusions",      &multilib_exclusions),
1569   INIT_STATIC_SPEC ("multilib_options",         &multilib_options),
1570   INIT_STATIC_SPEC ("linker",                   &linker_name_spec),
1571   INIT_STATIC_SPEC ("link_libgcc",              &link_libgcc_spec),
1572   INIT_STATIC_SPEC ("md_exec_prefix",           &md_exec_prefix),
1573   INIT_STATIC_SPEC ("md_startfile_prefix",      &md_startfile_prefix),
1574   INIT_STATIC_SPEC ("md_startfile_prefix_1",    &md_startfile_prefix_1),
1575   INIT_STATIC_SPEC ("startfile_prefix_spec",    &startfile_prefix_spec),
1576   INIT_STATIC_SPEC ("sysroot_spec",             &sysroot_spec),
1577   INIT_STATIC_SPEC ("sysroot_suffix_spec",      &sysroot_suffix_spec),
1578   INIT_STATIC_SPEC ("sysroot_hdrs_suffix_spec", &sysroot_hdrs_suffix_spec),
1579 };
1580
1581 #ifdef EXTRA_SPECS              /* additional specs needed */
1582 /* Structure to keep track of just the first two args of a spec_list.
1583    That is all that the EXTRA_SPECS macro gives us.  */
1584 struct spec_list_1
1585 {
1586   const char *const name;
1587   const char *const ptr;
1588 };
1589
1590 static const struct spec_list_1 extra_specs_1[] = { EXTRA_SPECS };
1591 static struct spec_list *extra_specs = (struct spec_list *) 0;
1592 #endif
1593
1594 /* List of dynamically allocates specs that have been defined so far.  */
1595
1596 static struct spec_list *specs = (struct spec_list *) 0;
1597 \f
1598 /* List of static spec functions.  */
1599
1600 static const struct spec_function static_spec_functions[] =
1601 {
1602   { "if-exists",                if_exists_spec_function },
1603   { "if-exists-else",           if_exists_else_spec_function },
1604   { "replace-outfile",          replace_outfile_spec_function },
1605   { "version-compare",          version_compare_spec_function },
1606   { "include",                  include_spec_function },
1607 #ifdef EXTRA_SPEC_FUNCTIONS
1608   EXTRA_SPEC_FUNCTIONS
1609 #endif
1610   { 0, 0 }
1611 };
1612
1613 static int processing_spec_function;
1614 \f
1615 /* Add appropriate libgcc specs to OBSTACK, taking into account
1616    various permutations of -shared-libgcc, -shared, and such.  */
1617
1618 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1619
1620 #ifndef USE_LD_AS_NEEDED
1621 #define USE_LD_AS_NEEDED 0
1622 #endif
1623
1624 static void
1625 init_gcc_specs (struct obstack *obstack, const char *shared_name,
1626                 const char *static_name, const char *eh_name)
1627 {
1628   char *buf;
1629
1630   buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name, "}"
1631                 "%{!static:%{!static-libgcc:"
1632 #if USE_LD_AS_NEEDED
1633                 "%{!shared-libgcc:",
1634                 static_name, " --as-needed ", shared_name, " --no-as-needed"
1635                 "}"
1636                 "%{shared-libgcc:",
1637                 shared_name, "%{!shared: ", static_name, "}"
1638                 "}"
1639 #else
1640                 "%{!shared:"
1641                 "%{!shared-libgcc:", static_name, " ", eh_name, "}"
1642                 "%{shared-libgcc:", shared_name, " ", static_name, "}"
1643                 "}"
1644 #ifdef LINK_EH_SPEC
1645                 "%{shared:"
1646                 "%{shared-libgcc:", shared_name, "}"
1647                 "%{!shared-libgcc:", static_name, "}"
1648                 "}"
1649 #else
1650                 "%{shared:", shared_name, "}"
1651 #endif
1652 #endif
1653                 "}}", NULL);
1654
1655   obstack_grow (obstack, buf, strlen (buf));
1656   free (buf);
1657 }
1658 #endif /* ENABLE_SHARED_LIBGCC */
1659
1660 /* Initialize the specs lookup routines.  */
1661
1662 static void
1663 init_spec (void)
1664 {
1665   struct spec_list *next = (struct spec_list *) 0;
1666   struct spec_list *sl   = (struct spec_list *) 0;
1667   int i;
1668
1669   if (specs)
1670     return;                     /* Already initialized.  */
1671
1672   if (verbose_flag)
1673     notice ("Using built-in specs.\n");
1674
1675 #ifdef EXTRA_SPECS
1676   extra_specs = xcalloc (sizeof (struct spec_list),
1677                          ARRAY_SIZE (extra_specs_1));
1678
1679   for (i = ARRAY_SIZE (extra_specs_1) - 1; i >= 0; i--)
1680     {
1681       sl = &extra_specs[i];
1682       sl->name = extra_specs_1[i].name;
1683       sl->ptr = extra_specs_1[i].ptr;
1684       sl->next = next;
1685       sl->name_len = strlen (sl->name);
1686       sl->ptr_spec = &sl->ptr;
1687       next = sl;
1688     }
1689 #endif
1690
1691   /* Initialize here, not in definition.  The IRIX 6 O32 cc sometimes chokes
1692      on ?: in file-scope variable initializations.  */
1693   asm_debug = ASM_DEBUG_SPEC;
1694
1695   for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1696     {
1697       sl = &static_specs[i];
1698       sl->next = next;
1699       next = sl;
1700     }
1701
1702 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1703   /* ??? If neither -shared-libgcc nor --static-libgcc was
1704      seen, then we should be making an educated guess.  Some proposed
1705      heuristics for ELF include:
1706
1707         (1) If "-Wl,--export-dynamic", then it's a fair bet that the
1708             program will be doing dynamic loading, which will likely
1709             need the shared libgcc.
1710
1711         (2) If "-ldl", then it's also a fair bet that we're doing
1712             dynamic loading.
1713
1714         (3) For each ET_DYN we're linking against (either through -lfoo
1715             or /some/path/foo.so), check to see whether it or one of
1716             its dependencies depends on a shared libgcc.
1717
1718         (4) If "-shared"
1719
1720             If the runtime is fixed to look for program headers instead
1721             of calling __register_frame_info at all, for each object,
1722             use the shared libgcc if any EH symbol referenced.
1723
1724             If crtstuff is fixed to not invoke __register_frame_info
1725             automatically, for each object, use the shared libgcc if
1726             any non-empty unwind section found.
1727
1728      Doing any of this probably requires invoking an external program to
1729      do the actual object file scanning.  */
1730   {
1731     const char *p = libgcc_spec;
1732     int in_sep = 1;
1733
1734     /* Transform the extant libgcc_spec into one that uses the shared libgcc
1735        when given the proper command line arguments.  */
1736     while (*p)
1737       {
1738         if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
1739           {
1740             init_gcc_specs (&obstack,
1741                             "-lgcc_s"
1742 #ifdef USE_LIBUNWIND_EXCEPTIONS
1743                             " -lunwind"
1744 #endif
1745                             ,
1746                             "-lgcc",
1747                             "-lgcc_eh"
1748 #ifdef USE_LIBUNWIND_EXCEPTIONS
1749 # ifdef HAVE_LD_STATIC_DYNAMIC
1750                             " %{!static:-Bstatic} -lunwind %{!static:-Bdynamic}"
1751 # else
1752                             " -lunwind"
1753 # endif
1754 #endif
1755                             );
1756
1757             p += 5;
1758             in_sep = 0;
1759           }
1760         else if (in_sep && *p == 'l' && strncmp (p, "libgcc.a%s", 10) == 0)
1761           {
1762             /* Ug.  We don't know shared library extensions.  Hope that
1763                systems that use this form don't do shared libraries.  */
1764             init_gcc_specs (&obstack,
1765                             "-lgcc_s",
1766                             "libgcc.a%s",
1767                             "libgcc_eh.a%s"
1768 #ifdef USE_LIBUNWIND_EXCEPTIONS
1769                             " -lunwind"
1770 #endif
1771                             );
1772             p += 10;
1773             in_sep = 0;
1774           }
1775         else
1776           {
1777             obstack_1grow (&obstack, *p);
1778             in_sep = (*p == ' ');
1779             p += 1;
1780           }
1781       }
1782
1783     obstack_1grow (&obstack, '\0');
1784     libgcc_spec = XOBFINISH (&obstack, const char *);
1785   }
1786 #endif
1787 #ifdef USE_AS_TRADITIONAL_FORMAT
1788   /* Prepend "--traditional-format" to whatever asm_spec we had before.  */
1789   {
1790     static const char tf[] = "--traditional-format ";
1791     obstack_grow (&obstack, tf, sizeof(tf) - 1);
1792     obstack_grow0 (&obstack, asm_spec, strlen (asm_spec));
1793     asm_spec = XOBFINISH (&obstack, const char *);
1794   }
1795 #endif
1796 #ifdef LINK_EH_SPEC
1797   /* Prepend LINK_EH_SPEC to whatever link_spec we had before.  */
1798   obstack_grow (&obstack, LINK_EH_SPEC, sizeof(LINK_EH_SPEC) - 1);
1799   obstack_grow0 (&obstack, link_spec, strlen (link_spec));
1800   link_spec = XOBFINISH (&obstack, const char *);
1801 #endif
1802
1803   specs = sl;
1804 }
1805 \f
1806 /* Change the value of spec NAME to SPEC.  If SPEC is empty, then the spec is
1807    removed; If the spec starts with a + then SPEC is added to the end of the
1808    current spec.  */
1809
1810 static void
1811 set_spec (const char *name, const char *spec)
1812 {
1813   struct spec_list *sl;
1814   const char *old_spec;
1815   int name_len = strlen (name);
1816   int i;
1817
1818   /* If this is the first call, initialize the statically allocated specs.  */
1819   if (!specs)
1820     {
1821       struct spec_list *next = (struct spec_list *) 0;
1822       for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1823         {
1824           sl = &static_specs[i];
1825           sl->next = next;
1826           next = sl;
1827         }
1828       specs = sl;
1829     }
1830
1831   /* See if the spec already exists.  */
1832   for (sl = specs; sl; sl = sl->next)
1833     if (name_len == sl->name_len && !strcmp (sl->name, name))
1834       break;
1835
1836   if (!sl)
1837     {
1838       /* Not found - make it.  */
1839       sl = XNEW (struct spec_list);
1840       sl->name = xstrdup (name);
1841       sl->name_len = name_len;
1842       sl->ptr_spec = &sl->ptr;
1843       sl->alloc_p = 0;
1844       *(sl->ptr_spec) = "";
1845       sl->next = specs;
1846       specs = sl;
1847     }
1848
1849   old_spec = *(sl->ptr_spec);
1850   *(sl->ptr_spec) = ((spec[0] == '+' && ISSPACE ((unsigned char)spec[1]))
1851                      ? concat (old_spec, spec + 1, NULL)
1852                      : xstrdup (spec));
1853
1854 #ifdef DEBUG_SPECS
1855   if (verbose_flag)
1856     notice ("Setting spec %s to '%s'\n\n", name, *(sl->ptr_spec));
1857 #endif
1858
1859   /* Free the old spec.  */
1860   if (old_spec && sl->alloc_p)
1861     free ((void *) old_spec);
1862
1863   sl->alloc_p = 1;
1864 }
1865 \f
1866 /* Accumulate a command (program name and args), and run it.  */
1867
1868 /* Vector of pointers to arguments in the current line of specifications.  */
1869
1870 static const char **argbuf;
1871
1872 /* Number of elements allocated in argbuf.  */
1873
1874 static int argbuf_length;
1875
1876 /* Number of elements in argbuf currently in use (containing args).  */
1877
1878 static int argbuf_index;
1879
1880 /* Position in the argbuf array containing the name of the output file
1881    (the value associated with the "-o" flag).  */
1882
1883 static int have_o_argbuf_index = 0;
1884
1885 /* Were the options -c or -S passed.  */
1886 static int have_c = 0;
1887
1888 /* Was the option -o passed.  */
1889 static int have_o = 0;
1890
1891 /* This is the list of suffixes and codes (%g/%u/%U/%j) and the associated
1892    temp file.  If the HOST_BIT_BUCKET is used for %j, no entry is made for
1893    it here.  */
1894
1895 static struct temp_name {
1896   const char *suffix;   /* suffix associated with the code.  */
1897   int length;           /* strlen (suffix).  */
1898   int unique;           /* Indicates whether %g or %u/%U was used.  */
1899   const char *filename; /* associated filename.  */
1900   int filename_length;  /* strlen (filename).  */
1901   struct temp_name *next;
1902 } *temp_names;
1903
1904 /* Number of commands executed so far.  */
1905
1906 static int execution_count;
1907
1908 /* Number of commands that exited with a signal.  */
1909
1910 static int signal_count;
1911
1912 /* Name with which this program was invoked.  */
1913
1914 static const char *programname;
1915 \f
1916 /* Allocate the argument vector.  */
1917
1918 static void
1919 alloc_args (void)
1920 {
1921   argbuf_length = 10;
1922   argbuf = XNEWVEC (const char *, argbuf_length);
1923 }
1924
1925 /* Clear out the vector of arguments (after a command is executed).  */
1926
1927 static void
1928 clear_args (void)
1929 {
1930   argbuf_index = 0;
1931 }
1932
1933 /* Add one argument to the vector at the end.
1934    This is done when a space is seen or at the end of the line.
1935    If DELETE_ALWAYS is nonzero, the arg is a filename
1936     and the file should be deleted eventually.
1937    If DELETE_FAILURE is nonzero, the arg is a filename
1938     and the file should be deleted if this compilation fails.  */
1939
1940 static void
1941 store_arg (const char *arg, int delete_always, int delete_failure)
1942 {
1943   if (argbuf_index + 1 == argbuf_length)
1944     argbuf = xrealloc (argbuf, (argbuf_length *= 2) * sizeof (const char *));
1945
1946   argbuf[argbuf_index++] = arg;
1947   argbuf[argbuf_index] = 0;
1948
1949   if (strcmp (arg, "-o") == 0)
1950     have_o_argbuf_index = argbuf_index;
1951   if (delete_always || delete_failure)
1952     record_temp_file (arg, delete_always, delete_failure);
1953 }
1954 \f
1955 /* Load specs from a file name named FILENAME, replacing occurrences of
1956    various different types of line-endings, \r\n, \n\r and just \r, with
1957    a single \n.  */
1958
1959 static char *
1960 load_specs (const char *filename)
1961 {
1962   int desc;
1963   int readlen;
1964   struct stat statbuf;
1965   char *buffer;
1966   char *buffer_p;
1967   char *specs;
1968   char *specs_p;
1969
1970   if (verbose_flag)
1971     notice ("Reading specs from %s\n", filename);
1972
1973   /* Open and stat the file.  */
1974   desc = open (filename, O_RDONLY, 0);
1975   if (desc < 0)
1976     pfatal_with_name (filename);
1977   if (stat (filename, &statbuf) < 0)
1978     pfatal_with_name (filename);
1979
1980   /* Read contents of file into BUFFER.  */
1981   buffer = XNEWVEC (char, statbuf.st_size + 1);
1982   readlen = read (desc, buffer, (unsigned) statbuf.st_size);
1983   if (readlen < 0)
1984     pfatal_with_name (filename);
1985   buffer[readlen] = 0;
1986   close (desc);
1987
1988   specs = XNEWVEC (char, readlen + 1);
1989   specs_p = specs;
1990   for (buffer_p = buffer; buffer_p && *buffer_p; buffer_p++)
1991     {
1992       int skip = 0;
1993       char c = *buffer_p;
1994       if (c == '\r')
1995         {
1996           if (buffer_p > buffer && *(buffer_p - 1) == '\n')     /* \n\r */
1997             skip = 1;
1998           else if (*(buffer_p + 1) == '\n')                     /* \r\n */
1999             skip = 1;
2000           else                                                  /* \r */
2001             c = '\n';
2002         }
2003       if (! skip)
2004         *specs_p++ = c;
2005     }
2006   *specs_p = '\0';
2007
2008   free (buffer);
2009   return (specs);
2010 }
2011
2012 /* Read compilation specs from a file named FILENAME,
2013    replacing the default ones.
2014
2015    A suffix which starts with `*' is a definition for
2016    one of the machine-specific sub-specs.  The "suffix" should be
2017    *asm, *cc1, *cpp, *link, *startfile, etc.
2018    The corresponding spec is stored in asm_spec, etc.,
2019    rather than in the `compilers' vector.
2020
2021    Anything invalid in the file is a fatal error.  */
2022
2023 static void
2024 read_specs (const char *filename, int main_p)
2025 {
2026   char *buffer;
2027   char *p;
2028
2029   buffer = load_specs (filename);
2030
2031   /* Scan BUFFER for specs, putting them in the vector.  */
2032   p = buffer;
2033   while (1)
2034     {
2035       char *suffix;
2036       char *spec;
2037       char *in, *out, *p1, *p2, *p3;
2038
2039       /* Advance P in BUFFER to the next nonblank nocomment line.  */
2040       p = skip_whitespace (p);
2041       if (*p == 0)
2042         break;
2043
2044       /* Is this a special command that starts with '%'? */
2045       /* Don't allow this for the main specs file, since it would
2046          encourage people to overwrite it.  */
2047       if (*p == '%' && !main_p)
2048         {
2049           p1 = p;
2050           while (*p && *p != '\n')
2051             p++;
2052
2053           /* Skip '\n'.  */
2054           p++;
2055
2056           if (!strncmp (p1, "%include", sizeof ("%include") - 1)
2057               && (p1[sizeof "%include" - 1] == ' '
2058                   || p1[sizeof "%include" - 1] == '\t'))
2059             {
2060               char *new_filename;
2061
2062               p1 += sizeof ("%include");
2063               while (*p1 == ' ' || *p1 == '\t')
2064                 p1++;
2065
2066               if (*p1++ != '<' || p[-2] != '>')
2067                 fatal ("specs %%include syntax malformed after %ld characters",
2068                        (long) (p1 - buffer + 1));
2069
2070               p[-2] = '\0';
2071               new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
2072               read_specs (new_filename ? new_filename : p1, FALSE);
2073               continue;
2074             }
2075           else if (!strncmp (p1, "%include_noerr", sizeof "%include_noerr" - 1)
2076                    && (p1[sizeof "%include_noerr" - 1] == ' '
2077                        || p1[sizeof "%include_noerr" - 1] == '\t'))
2078             {
2079               char *new_filename;
2080
2081               p1 += sizeof "%include_noerr";
2082               while (*p1 == ' ' || *p1 == '\t')
2083                 p1++;
2084
2085               if (*p1++ != '<' || p[-2] != '>')
2086                 fatal ("specs %%include syntax malformed after %ld characters",
2087                        (long) (p1 - buffer + 1));
2088
2089               p[-2] = '\0';
2090               new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
2091               if (new_filename)
2092                 read_specs (new_filename, FALSE);
2093               else if (verbose_flag)
2094                 notice ("could not find specs file %s\n", p1);
2095               continue;
2096             }
2097           else if (!strncmp (p1, "%rename", sizeof "%rename" - 1)
2098                    && (p1[sizeof "%rename" - 1] == ' '
2099                        || p1[sizeof "%rename" - 1] == '\t'))
2100             {
2101               int name_len;
2102               struct spec_list *sl;
2103               struct spec_list *newsl;
2104
2105               /* Get original name.  */
2106               p1 += sizeof "%rename";
2107               while (*p1 == ' ' || *p1 == '\t')
2108                 p1++;
2109
2110               if (! ISALPHA ((unsigned char) *p1))
2111                 fatal ("specs %%rename syntax malformed after %ld characters",
2112                        (long) (p1 - buffer));
2113
2114               p2 = p1;
2115               while (*p2 && !ISSPACE ((unsigned char) *p2))
2116                 p2++;
2117
2118               if (*p2 != ' ' && *p2 != '\t')
2119                 fatal ("specs %%rename syntax malformed after %ld characters",
2120                        (long) (p2 - buffer));
2121
2122               name_len = p2 - p1;
2123               *p2++ = '\0';
2124               while (*p2 == ' ' || *p2 == '\t')
2125                 p2++;
2126
2127               if (! ISALPHA ((unsigned char) *p2))
2128                 fatal ("specs %%rename syntax malformed after %ld characters",
2129                        (long) (p2 - buffer));
2130
2131               /* Get new spec name.  */
2132               p3 = p2;
2133               while (*p3 && !ISSPACE ((unsigned char) *p3))
2134                 p3++;
2135
2136               if (p3 != p - 1)
2137                 fatal ("specs %%rename syntax malformed after %ld characters",
2138                        (long) (p3 - buffer));
2139               *p3 = '\0';
2140
2141               for (sl = specs; sl; sl = sl->next)
2142                 if (name_len == sl->name_len && !strcmp (sl->name, p1))
2143                   break;
2144
2145               if (!sl)
2146                 fatal ("specs %s spec was not found to be renamed", p1);
2147
2148               if (strcmp (p1, p2) == 0)
2149                 continue;
2150
2151               for (newsl = specs; newsl; newsl = newsl->next)
2152                 if (strcmp (newsl->name, p2) == 0)
2153                   fatal ("%s: attempt to rename spec '%s' to already defined spec '%s'",
2154                     filename, p1, p2);
2155
2156               if (verbose_flag)
2157                 {
2158                   notice ("rename spec %s to %s\n", p1, p2);
2159 #ifdef DEBUG_SPECS
2160                   notice ("spec is '%s'\n\n", *(sl->ptr_spec));
2161 #endif
2162                 }
2163
2164               set_spec (p2, *(sl->ptr_spec));
2165               if (sl->alloc_p)
2166                 free ((void *) *(sl->ptr_spec));
2167
2168               *(sl->ptr_spec) = "";
2169               sl->alloc_p = 0;
2170               continue;
2171             }
2172           else
2173             fatal ("specs unknown %% command after %ld characters",
2174                    (long) (p1 - buffer));
2175         }
2176
2177       /* Find the colon that should end the suffix.  */
2178       p1 = p;
2179       while (*p1 && *p1 != ':' && *p1 != '\n')
2180         p1++;
2181
2182       /* The colon shouldn't be missing.  */
2183       if (*p1 != ':')
2184         fatal ("specs file malformed after %ld characters",
2185                (long) (p1 - buffer));
2186
2187       /* Skip back over trailing whitespace.  */
2188       p2 = p1;
2189       while (p2 > buffer && (p2[-1] == ' ' || p2[-1] == '\t'))
2190         p2--;
2191
2192       /* Copy the suffix to a string.  */
2193       suffix = save_string (p, p2 - p);
2194       /* Find the next line.  */
2195       p = skip_whitespace (p1 + 1);
2196       if (p[1] == 0)
2197         fatal ("specs file malformed after %ld characters",
2198                (long) (p - buffer));
2199
2200       p1 = p;
2201       /* Find next blank line or end of string.  */
2202       while (*p1 && !(*p1 == '\n' && (p1[1] == '\n' || p1[1] == '\0')))
2203         p1++;
2204
2205       /* Specs end at the blank line and do not include the newline.  */
2206       spec = save_string (p, p1 - p);
2207       p = p1;
2208
2209       /* Delete backslash-newline sequences from the spec.  */
2210       in = spec;
2211       out = spec;
2212       while (*in != 0)
2213         {
2214           if (in[0] == '\\' && in[1] == '\n')
2215             in += 2;
2216           else if (in[0] == '#')
2217             while (*in && *in != '\n')
2218               in++;
2219
2220           else
2221             *out++ = *in++;
2222         }
2223       *out = 0;
2224
2225       if (suffix[0] == '*')
2226         {
2227           if (! strcmp (suffix, "*link_command"))
2228             link_command_spec = spec;
2229           else
2230             set_spec (suffix + 1, spec);
2231         }
2232       else
2233         {
2234           /* Add this pair to the vector.  */
2235           compilers
2236             = xrealloc (compilers,
2237                         (n_compilers + 2) * sizeof (struct compiler));
2238
2239           compilers[n_compilers].suffix = suffix;
2240           compilers[n_compilers].spec = spec;
2241           n_compilers++;
2242           memset (&compilers[n_compilers], 0, sizeof compilers[n_compilers]);
2243         }
2244
2245       if (*suffix == 0)
2246         link_command_spec = spec;
2247     }
2248
2249   if (link_command_spec == 0)
2250     fatal ("spec file has no spec for linking");
2251 }
2252 \f
2253 /* Record the names of temporary files we tell compilers to write,
2254    and delete them at the end of the run.  */
2255
2256 /* This is the common prefix we use to make temp file names.
2257    It is chosen once for each run of this program.
2258    It is substituted into a spec by %g or %j.
2259    Thus, all temp file names contain this prefix.
2260    In practice, all temp file names start with this prefix.
2261
2262    This prefix comes from the envvar TMPDIR if it is defined;
2263    otherwise, from the P_tmpdir macro if that is defined;
2264    otherwise, in /usr/tmp or /tmp;
2265    or finally the current directory if all else fails.  */
2266
2267 static const char *temp_filename;
2268
2269 /* Length of the prefix.  */
2270
2271 static int temp_filename_length;
2272
2273 /* Define the list of temporary files to delete.  */
2274
2275 struct temp_file
2276 {
2277   const char *name;
2278   struct temp_file *next;
2279 };
2280
2281 /* Queue of files to delete on success or failure of compilation.  */
2282 static struct temp_file *always_delete_queue;
2283 /* Queue of files to delete on failure of compilation.  */
2284 static struct temp_file *failure_delete_queue;
2285
2286 /* Record FILENAME as a file to be deleted automatically.
2287    ALWAYS_DELETE nonzero means delete it if all compilation succeeds;
2288    otherwise delete it in any case.
2289    FAIL_DELETE nonzero means delete it if a compilation step fails;
2290    otherwise delete it in any case.  */
2291
2292 void
2293 record_temp_file (const char *filename, int always_delete, int fail_delete)
2294 {
2295   char *const name = xstrdup (filename);
2296
2297   if (always_delete)
2298     {
2299       struct temp_file *temp;
2300       for (temp = always_delete_queue; temp; temp = temp->next)
2301         if (! strcmp (name, temp->name))
2302           goto already1;
2303
2304       temp = XNEW (struct temp_file);
2305       temp->next = always_delete_queue;
2306       temp->name = name;
2307       always_delete_queue = temp;
2308
2309     already1:;
2310     }
2311
2312   if (fail_delete)
2313     {
2314       struct temp_file *temp;
2315       for (temp = failure_delete_queue; temp; temp = temp->next)
2316         if (! strcmp (name, temp->name))
2317           goto already2;
2318
2319       temp = XNEW (struct temp_file);
2320       temp->next = failure_delete_queue;
2321       temp->name = name;
2322       failure_delete_queue = temp;
2323
2324     already2:;
2325     }
2326 }
2327
2328 /* Delete all the temporary files whose names we previously recorded.  */
2329
2330 #ifndef DELETE_IF_ORDINARY
2331 #define DELETE_IF_ORDINARY(NAME,ST,VERBOSE_FLAG)        \
2332 do                                                      \
2333   {                                                     \
2334     if (stat (NAME, &ST) >= 0 && S_ISREG (ST.st_mode))  \
2335       if (unlink (NAME) < 0)                            \
2336         if (VERBOSE_FLAG)                               \
2337           perror_with_name (NAME);                      \
2338   } while (0)
2339 #endif
2340
2341 static void
2342 delete_if_ordinary (const char *name)
2343 {
2344   struct stat st;
2345 #ifdef DEBUG
2346   int i, c;
2347
2348   printf ("Delete %s? (y or n) ", name);
2349   fflush (stdout);
2350   i = getchar ();
2351   if (i != '\n')
2352     while ((c = getchar ()) != '\n' && c != EOF)
2353       ;
2354
2355   if (i == 'y' || i == 'Y')
2356 #endif /* DEBUG */
2357   DELETE_IF_ORDINARY (name, st, verbose_flag);
2358 }
2359
2360 static void
2361 delete_temp_files (void)
2362 {
2363   struct temp_file *temp;
2364
2365   for (temp = always_delete_queue; temp; temp = temp->next)
2366     delete_if_ordinary (temp->name);
2367   always_delete_queue = 0;
2368 }
2369
2370 /* Delete all the files to be deleted on error.  */
2371
2372 static void
2373 delete_failure_queue (void)
2374 {
2375   struct temp_file *temp;
2376
2377   for (temp = failure_delete_queue; temp; temp = temp->next)
2378     delete_if_ordinary (temp->name);
2379 }
2380
2381 static void
2382 clear_failure_queue (void)
2383 {
2384   failure_delete_queue = 0;
2385 }
2386 \f
2387 /* Call CALLBACK for each path in PATHS, breaking out early if CALLBACK
2388    returns non-NULL.
2389    If DO_MULTI is true iterate over the paths twice, first with multilib
2390    suffix then without, otherwise iterate over the paths once without
2391    adding a multilib suffix.  When DO_MULTI is true, some attempt is made
2392    to avoid visiting the same path twice, but we could do better.  For
2393    instance, /usr/lib/../lib is considered different from /usr/lib.
2394    At least EXTRA_SPACE chars past the end of the path passed to
2395    CALLBACK are available for use by the callback.
2396    CALLBACK_INFO allows extra parameters to be passed to CALLBACK.
2397
2398    Returns the value returned by CALLBACK.  */
2399
2400 static void *
2401 for_each_path (const struct path_prefix *paths,
2402                bool do_multi,
2403                size_t extra_space,
2404                void *(*callback) (char *, void *),
2405                void *callback_info)
2406 {
2407   struct prefix_list *pl;
2408   const char *multi_dir = NULL;
2409   const char *multi_os_dir = NULL;
2410   const char *multi_suffix;
2411   const char *just_multi_suffix;
2412   char *path = NULL;
2413   void *ret = NULL;
2414   bool skip_multi_dir = false;
2415   bool skip_multi_os_dir = false;
2416
2417   multi_suffix = machine_suffix;
2418   just_multi_suffix = just_machine_suffix;
2419   if (do_multi && multilib_dir && strcmp (multilib_dir, ".") != 0)
2420     {
2421       multi_dir = concat (multilib_dir, dir_separator_str, NULL);
2422       multi_suffix = concat (multi_suffix, multi_dir, NULL);
2423       just_multi_suffix = concat (just_multi_suffix, multi_dir, NULL);
2424     }
2425   if (do_multi && multilib_os_dir && strcmp (multilib_os_dir, ".") != 0)
2426     multi_os_dir = concat (multilib_os_dir, dir_separator_str, NULL);
2427
2428   while (1)
2429     {
2430       size_t multi_dir_len = 0;
2431       size_t multi_os_dir_len = 0;
2432       size_t suffix_len;
2433       size_t just_suffix_len;
2434       size_t len;
2435
2436       if (multi_dir)
2437         multi_dir_len = strlen (multi_dir);
2438       if (multi_os_dir)
2439         multi_os_dir_len = strlen (multi_os_dir);
2440       suffix_len = strlen (multi_suffix);
2441       just_suffix_len = strlen (just_multi_suffix);
2442
2443       if (path == NULL)
2444         {
2445           len = paths->max_len + extra_space + 1;
2446           if (suffix_len > multi_os_dir_len)
2447             len += suffix_len;
2448           else
2449             len += multi_os_dir_len;
2450           path = XNEWVEC (char, len);
2451         }
2452
2453       for (pl = paths->plist; pl != 0; pl = pl->next)
2454         {
2455           len = strlen (pl->prefix);
2456           memcpy (path, pl->prefix, len);
2457
2458           /* Look first in MACHINE/VERSION subdirectory.  */
2459           if (!skip_multi_dir)
2460             {
2461               memcpy (path + len, multi_suffix, suffix_len + 1);
2462               ret = callback (path, callback_info);
2463               if (ret)
2464                 break;
2465             }
2466
2467           /* Some paths are tried with just the machine (ie. target)
2468              subdir.  This is used for finding as, ld, etc.  */
2469           if (!skip_multi_dir
2470               && pl->require_machine_suffix == 2)
2471             {
2472               memcpy (path + len, just_multi_suffix, just_suffix_len + 1);
2473               ret = callback (path, callback_info);
2474               if (ret)
2475                 break;
2476             }
2477
2478           /* Now try the base path.  */
2479           if (!pl->require_machine_suffix
2480               && !(pl->os_multilib ? skip_multi_os_dir : skip_multi_dir))
2481             {
2482               const char *this_multi;
2483               size_t this_multi_len;
2484
2485               if (pl->os_multilib)
2486                 {
2487                   this_multi = multi_os_dir;
2488                   this_multi_len = multi_os_dir_len;
2489                 }
2490               else
2491                 {
2492                   this_multi = multi_dir;
2493                   this_multi_len = multi_dir_len;
2494                 }
2495
2496               if (this_multi_len)
2497                 memcpy (path + len, this_multi, this_multi_len + 1);
2498               else
2499                 path[len] = '\0';
2500
2501               ret = callback (path, callback_info);
2502               if (ret)
2503                 break;
2504             }
2505         }
2506       if (pl)
2507         break;
2508
2509       if (multi_dir == NULL && multi_os_dir == NULL)
2510         break;
2511
2512       /* Run through the paths again, this time without multilibs.
2513          Don't repeat any we have already seen.  */
2514       if (multi_dir)
2515         {
2516           free ((char *) multi_dir);
2517           multi_dir = NULL;
2518           free ((char *) multi_suffix);
2519           multi_suffix = machine_suffix;
2520           free ((char *) just_multi_suffix);
2521           just_multi_suffix = just_machine_suffix;
2522         }
2523       else
2524         skip_multi_dir = true;
2525       if (multi_os_dir)
2526         {
2527           free ((char *) multi_os_dir);
2528           multi_os_dir = NULL;
2529         }
2530       else
2531         skip_multi_os_dir = true;
2532     }
2533
2534   if (multi_dir)
2535     {
2536       free ((char *) multi_dir);
2537       free ((char *) multi_suffix);
2538       free ((char *) just_multi_suffix);
2539     }
2540   if (multi_os_dir)
2541     free ((char *) multi_os_dir);
2542   if (ret != path)
2543     free (path);
2544   return ret;
2545 }
2546
2547 /* Callback for build_search_list.  Adds path to obstack being built.  */
2548
2549 struct add_to_obstack_info {
2550   struct obstack *ob;
2551   bool check_dir;
2552   bool first_time;
2553 };
2554
2555 static void *
2556 add_to_obstack (char *path, void *data)
2557 {
2558   struct add_to_obstack_info *info = data;
2559
2560   if (info->check_dir && !is_directory (path, false))
2561     return NULL;
2562
2563   if (!info->first_time)
2564     obstack_1grow (info->ob, PATH_SEPARATOR);
2565
2566   obstack_grow (info->ob, path, strlen (path));
2567
2568   info->first_time = false;
2569   return NULL;
2570 }
2571
2572 /* Build a list of search directories from PATHS.
2573    PREFIX is a string to prepend to the list.
2574    If CHECK_DIR_P is true we ensure the directory exists.
2575    If DO_MULTI is true, multilib paths are output first, then
2576    non-multilib paths.
2577    This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
2578    It is also used by the --print-search-dirs flag.  */
2579
2580 static char *
2581 build_search_list (const struct path_prefix *paths, const char *prefix,
2582                    bool check_dir, bool do_multi)
2583 {
2584   struct add_to_obstack_info info;
2585
2586   info.ob = &collect_obstack;
2587   info.check_dir = check_dir;
2588   info.first_time = true;
2589
2590   obstack_grow (&collect_obstack, prefix, strlen (prefix));
2591   obstack_1grow (&collect_obstack, '=');
2592
2593   for_each_path (paths, do_multi, 0, add_to_obstack, &info);
2594
2595   obstack_1grow (&collect_obstack, '\0');
2596   return XOBFINISH (&collect_obstack, char *);
2597 }
2598
2599 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
2600    for collect.  */
2601
2602 static void
2603 putenv_from_prefixes (const struct path_prefix *paths, const char *env_var,
2604                       bool do_multi)
2605 {
2606   putenv (build_search_list (paths, env_var, true, do_multi));
2607 }
2608 \f
2609 /* Check whether NAME can be accessed in MODE.  This is like access,
2610    except that it never considers directories to be executable.  */
2611
2612 static int
2613 access_check (const char *name, int mode)
2614 {
2615   if (mode == X_OK)
2616     {
2617       struct stat st;
2618
2619       if (stat (name, &st) < 0
2620           || S_ISDIR (st.st_mode))
2621         return -1;
2622     }
2623
2624   return access (name, mode);
2625 }
2626
2627 /* Callback for find_a_file.  Appends the file name to the directory
2628    path.  If the resulting file exists in the right mode, return the
2629    full pathname to the file.  */
2630
2631 struct file_at_path_info {
2632   const char *name;
2633   const char *suffix;
2634   int name_len;
2635   int suffix_len;
2636   int mode;
2637 };
2638
2639 static void *
2640 file_at_path (char *path, void *data)
2641 {
2642   struct file_at_path_info *info = data;
2643   size_t len = strlen (path);
2644
2645   memcpy (path + len, info->name, info->name_len);
2646   len += info->name_len;
2647
2648   /* Some systems have a suffix for executable files.
2649      So try appending that first.  */
2650   if (info->suffix_len)
2651     {
2652       memcpy (path + len, info->suffix, info->suffix_len + 1);
2653       if (access_check (path, info->mode) == 0)
2654         return path;
2655     }
2656
2657   path[len] = '\0';
2658   if (access_check (path, info->mode) == 0)
2659     return path;
2660
2661   return NULL;
2662 }
2663
2664 /* Search for NAME using the prefix list PREFIXES.  MODE is passed to
2665    access to check permissions.  If DO_MULTI is true, search multilib
2666    paths then non-multilib paths, otherwise do not search multilib paths.
2667    Return 0 if not found, otherwise return its name, allocated with malloc.  */
2668
2669 static char *
2670 find_a_file (const struct path_prefix *pprefix, const char *name, int mode,
2671              bool do_multi)
2672 {
2673   struct file_at_path_info info;
2674
2675 #ifdef DEFAULT_ASSEMBLER
2676   if (! strcmp (name, "as") && access (DEFAULT_ASSEMBLER, mode) == 0)
2677     return xstrdup (DEFAULT_ASSEMBLER);
2678 #endif
2679
2680 #ifdef DEFAULT_LINKER
2681   if (! strcmp(name, "ld") && access (DEFAULT_LINKER, mode) == 0)
2682     return xstrdup (DEFAULT_LINKER);
2683 #endif
2684
2685   /* Determine the filename to execute (special case for absolute paths).  */
2686
2687   if (IS_ABSOLUTE_PATH (name))
2688     {
2689       if (access (name, mode) == 0)
2690         return xstrdup (name);
2691
2692       return NULL;
2693     }
2694
2695   info.name = name;
2696   info.suffix = (mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "";
2697   info.name_len = strlen (info.name);
2698   info.suffix_len = strlen (info.suffix);
2699   info.mode = mode;
2700
2701   return for_each_path (pprefix, do_multi, info.name_len + info.suffix_len,
2702                         file_at_path, &info);
2703 }
2704
2705 /* Ranking of prefixes in the sort list. -B prefixes are put before
2706    all others.  */
2707
2708 enum path_prefix_priority
2709 {
2710   PREFIX_PRIORITY_B_OPT,
2711   PREFIX_PRIORITY_LAST
2712 };
2713
2714 /* Add an entry for PREFIX in PLIST.  The PLIST is kept in ascending
2715    order according to PRIORITY.  Within each PRIORITY, new entries are
2716    appended.
2717
2718    If WARN is nonzero, we will warn if no file is found
2719    through this prefix.  WARN should point to an int
2720    which will be set to 1 if this entry is used.
2721
2722    COMPONENT is the value to be passed to update_path.
2723
2724    REQUIRE_MACHINE_SUFFIX is 1 if this prefix can't be used without
2725    the complete value of machine_suffix.
2726    2 means try both machine_suffix and just_machine_suffix.  */
2727
2728 static void
2729 add_prefix (struct path_prefix *pprefix, const char *prefix,
2730             const char *component, /* enum prefix_priority */ int priority,
2731             int require_machine_suffix, int os_multilib)
2732 {
2733   struct prefix_list *pl, **prev;
2734   int len;
2735
2736   for (prev = &pprefix->plist;
2737        (*prev) != NULL && (*prev)->priority <= priority;
2738        prev = &(*prev)->next)
2739     ;
2740
2741   /* Keep track of the longest prefix.  */
2742
2743   prefix = update_path (prefix, component);
2744   len = strlen (prefix);
2745   if (len > pprefix->max_len)
2746     pprefix->max_len = len;
2747
2748   pl = XNEW (struct prefix_list);
2749   pl->prefix = prefix;
2750   pl->require_machine_suffix = require_machine_suffix;
2751   pl->priority = priority;
2752   pl->os_multilib = os_multilib;
2753
2754   /* Insert after PREV.  */
2755   pl->next = (*prev);
2756   (*prev) = pl;
2757 }
2758
2759 /* Same as add_prefix, but prepending target_system_root to prefix.  */
2760 /* The target_system_root prefix has been relocated by gcc_exec_prefix.  */
2761 static void
2762 add_sysrooted_prefix (struct path_prefix *pprefix, const char *prefix,
2763                       const char *component,
2764                       /* enum prefix_priority */ int priority,
2765                       int require_machine_suffix, int os_multilib)
2766 {
2767   if (!IS_ABSOLUTE_PATH (prefix))
2768     fatal ("system path '%s' is not absolute", prefix);
2769
2770   if (target_system_root)
2771     {
2772       if (target_sysroot_suffix)
2773           prefix = concat (target_sysroot_suffix, prefix, NULL);
2774       prefix = concat (target_system_root, prefix, NULL);
2775
2776       /* We have to override this because GCC's notion of sysroot
2777          moves along with GCC.  */
2778       component = "GCC";
2779     }
2780
2781   add_prefix (pprefix, prefix, component, priority,
2782               require_machine_suffix, os_multilib);
2783 }
2784 \f
2785 /* Execute the command specified by the arguments on the current line of spec.
2786    When using pipes, this includes several piped-together commands
2787    with `|' between them.
2788
2789    Return 0 if successful, -1 if failed.  */
2790
2791 static int
2792 execute (void)
2793 {
2794   int i;
2795   int n_commands;               /* # of command.  */
2796   char *string;
2797   struct pex_obj *pex;
2798   struct command
2799   {
2800     const char *prog;           /* program name.  */
2801     const char **argv;          /* vector of args.  */
2802   };
2803
2804   struct command *commands;     /* each command buffer with above info.  */
2805
2806   gcc_assert (!processing_spec_function);
2807
2808   /* Count # of piped commands.  */
2809   for (n_commands = 1, i = 0; i < argbuf_index; i++)
2810     if (strcmp (argbuf[i], "|") == 0)
2811       n_commands++;
2812
2813   /* Get storage for each command.  */
2814   commands = alloca (n_commands * sizeof (struct command));
2815
2816   /* Split argbuf into its separate piped processes,
2817      and record info about each one.
2818      Also search for the programs that are to be run.  */
2819
2820   commands[0].prog = argbuf[0]; /* first command.  */
2821   commands[0].argv = &argbuf[0];
2822   string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, false);
2823
2824   if (string)
2825     commands[0].argv[0] = string;
2826
2827   for (n_commands = 1, i = 0; i < argbuf_index; i++)
2828     if (strcmp (argbuf[i], "|") == 0)
2829       {                         /* each command.  */
2830 #if defined (__MSDOS__) || defined (OS2) || defined (VMS)
2831         fatal ("-pipe not supported");
2832 #endif
2833         argbuf[i] = 0;  /* termination of command args.  */
2834         commands[n_commands].prog = argbuf[i + 1];
2835         commands[n_commands].argv = &argbuf[i + 1];
2836         string = find_a_file (&exec_prefixes, commands[n_commands].prog,
2837                               X_OK, false);
2838         if (string)
2839           commands[n_commands].argv[0] = string;
2840         n_commands++;
2841       }
2842
2843   argbuf[argbuf_index] = 0;
2844
2845   /* If -v, print what we are about to do, and maybe query.  */
2846
2847   if (verbose_flag)
2848     {
2849       /* For help listings, put a blank line between sub-processes.  */
2850       if (print_help_list)
2851         fputc ('\n', stderr);
2852
2853       /* Print each piped command as a separate line.  */
2854       for (i = 0; i < n_commands; i++)
2855         {
2856           const char *const *j;
2857
2858           if (verbose_only_flag)
2859             {
2860               for (j = commands[i].argv; *j; j++)
2861                 {
2862                   const char *p;
2863                   fprintf (stderr, " \"");
2864                   for (p = *j; *p; ++p)
2865                     {
2866                       if (*p == '"' || *p == '\\' || *p == '$')
2867                         fputc ('\\', stderr);
2868                       fputc (*p, stderr);
2869                     }
2870                   fputc ('"', stderr);
2871                 }
2872             }
2873           else
2874             for (j = commands[i].argv; *j; j++)
2875               fprintf (stderr, " %s", *j);
2876
2877           /* Print a pipe symbol after all but the last command.  */
2878           if (i + 1 != n_commands)
2879             fprintf (stderr, " |");
2880           fprintf (stderr, "\n");
2881         }
2882       fflush (stderr);
2883       if (verbose_only_flag != 0)
2884         {
2885           /* verbose_only_flag should act as if the spec was
2886              executed, so increment execution_count before
2887              returning.  This prevents spurious warnings about
2888              unused linker input files, etc.  */
2889           execution_count++;
2890           return 0;
2891         }
2892 #ifdef DEBUG
2893       notice ("\nGo ahead? (y or n) ");
2894       fflush (stderr);
2895       i = getchar ();
2896       if (i != '\n')
2897         while (getchar () != '\n')
2898           ;
2899
2900       if (i != 'y' && i != 'Y')
2901         return 0;
2902 #endif /* DEBUG */
2903     }
2904
2905 #ifdef ENABLE_VALGRIND_CHECKING
2906   /* Run the each command through valgrind.  To simplify prepending the
2907      path to valgrind and the option "-q" (for quiet operation unless
2908      something triggers), we allocate a separate argv array.  */
2909
2910   for (i = 0; i < n_commands; i++)
2911     {
2912       const char **argv;
2913       int argc;
2914       int j;
2915
2916       for (argc = 0; commands[i].argv[argc] != NULL; argc++)
2917         ;
2918
2919       argv = alloca ((argc + 3) * sizeof (char *));
2920
2921       argv[0] = VALGRIND_PATH;
2922       argv[1] = "-q";
2923       for (j = 2; j < argc + 2; j++)
2924         argv[j] = commands[i].argv[j - 2];
2925       argv[j] = NULL;
2926
2927       commands[i].argv = argv;
2928       commands[i].prog = argv[0];
2929     }
2930 #endif
2931
2932   /* Run each piped subprocess.  */
2933
2934   pex = pex_init (PEX_USE_PIPES | (report_times ? PEX_RECORD_TIMES : 0),
2935                   programname, temp_filename);
2936   if (pex == NULL)
2937     pfatal_with_name (_("pex_init failed"));
2938
2939   for (i = 0; i < n_commands; i++)
2940     {
2941       const char *errmsg;
2942       int err;
2943       const char *string = commands[i].argv[0];
2944
2945       errmsg = pex_run (pex,
2946                         ((i + 1 == n_commands ? PEX_LAST : 0)
2947                          | (string == commands[i].prog ? PEX_SEARCH : 0)),
2948                         string, (char * const *) commands[i].argv,
2949                         NULL, NULL, &err);
2950       if (errmsg != NULL)
2951         {
2952           if (err == 0)
2953             fatal (errmsg);
2954           else
2955             {
2956               errno = err;
2957               pfatal_with_name (errmsg);
2958             }
2959         }
2960
2961       if (string != commands[i].prog)
2962         free ((void *) string);
2963     }
2964
2965   execution_count++;
2966
2967   /* Wait for all the subprocesses to finish.  */
2968
2969   {
2970     int *statuses;
2971     struct pex_time *times = NULL;
2972     int ret_code = 0;
2973
2974     statuses = alloca (n_commands * sizeof (int));
2975     if (!pex_get_status (pex, n_commands, statuses))
2976       pfatal_with_name (_("failed to get exit status"));
2977
2978     if (report_times)
2979       {
2980         times = alloca (n_commands * sizeof (struct pex_time));
2981         if (!pex_get_times (pex, n_commands, times))
2982           pfatal_with_name (_("failed to get process times"));
2983       }
2984
2985     pex_free (pex);
2986
2987     for (i = 0; i < n_commands; ++i)
2988       {
2989         int status = statuses[i];
2990
2991         if (WIFSIGNALED (status))
2992           {
2993 #ifdef SIGPIPE
2994             /* SIGPIPE is a special case.  It happens in -pipe mode
2995                when the compiler dies before the preprocessor is done,
2996                or the assembler dies before the compiler is done.
2997                There's generally been an error already, and this is
2998                just fallout.  So don't generate another error unless
2999                we would otherwise have succeeded.  */
3000             if (WTERMSIG (status) == SIGPIPE
3001                 && (signal_count || greatest_status >= MIN_FATAL_STATUS))
3002               {
3003                 signal_count++;
3004                 ret_code = -1;
3005               }
3006             else
3007 #endif
3008               fatal_ice ("\
3009 Internal error: %s (program %s)\n\
3010 Please submit a full bug report.\n\
3011 See %s for instructions.",
3012                         strsignal (WTERMSIG (status)), commands[i].prog,
3013                         bug_report_url);
3014           }
3015         else if (WIFEXITED (status)
3016                  && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
3017           {
3018             if (WEXITSTATUS (status) > greatest_status)
3019               greatest_status = WEXITSTATUS (status);
3020             ret_code = -1;
3021           }
3022
3023         if (report_times)
3024           {
3025             struct pex_time *pt = &times[i];
3026             double ut, st;
3027
3028             ut = ((double) pt->user_seconds
3029                   + (double) pt->user_microseconds / 1.0e6);
3030             st = ((double) pt->system_seconds
3031                   + (double) pt->system_microseconds / 1.0e6);
3032
3033             if (ut + st != 0)
3034               notice ("# %s %.2f %.2f\n", commands[i].prog, ut, st);
3035           }
3036       }
3037
3038     return ret_code;
3039   }
3040 }
3041 \f
3042 /* Find all the switches given to us
3043    and make a vector describing them.
3044    The elements of the vector are strings, one per switch given.
3045    If a switch uses following arguments, then the `part1' field
3046    is the switch itself and the `args' field
3047    is a null-terminated vector containing the following arguments.
3048    The `live_cond' field is:
3049    0 when initialized
3050    1 if the switch is true in a conditional spec,
3051    -1 if false (overridden by a later switch)
3052    -2 if this switch should be ignored (used in %<S)
3053    The `validated' field is nonzero if any spec has looked at this switch;
3054    if it remains zero at the end of the run, it must be meaningless.  */
3055
3056 #define SWITCH_OK       0
3057 #define SWITCH_FALSE   -1
3058 #define SWITCH_IGNORE  -2
3059 #define SWITCH_LIVE     1
3060
3061 struct switchstr
3062 {
3063   const char *part1;
3064   const char **args;
3065   int live_cond;
3066   unsigned char validated;
3067   unsigned char ordering;
3068 };
3069
3070 static struct switchstr *switches;
3071
3072 static int n_switches;
3073
3074 /* Language is one of three things:
3075
3076    1) The name of a real programming language.
3077    2) NULL, indicating that no one has figured out
3078    what it is yet.
3079    3) '*', indicating that the file should be passed
3080    to the linker.  */
3081 struct infile
3082 {
3083   const char *name;
3084   const char *language;
3085   struct compiler *incompiler;
3086   bool compiled;
3087   bool preprocessed;
3088 };
3089
3090 /* Also a vector of input files specified.  */
3091
3092 static struct infile *infiles;
3093
3094 int n_infiles;
3095
3096 /* True if multiple input files are being compiled to a single
3097    assembly file.  */
3098
3099 static bool combine_inputs;
3100
3101 /* This counts the number of libraries added by lang_specific_driver, so that
3102    we can tell if there were any user supplied any files or libraries.  */
3103
3104 static int added_libraries;
3105
3106 /* And a vector of corresponding output files is made up later.  */
3107
3108 const char **outfiles;
3109 \f
3110 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3111
3112 /* Convert NAME to a new name if it is the standard suffix.  DO_EXE
3113    is true if we should look for an executable suffix.  DO_OBJ
3114    is true if we should look for an object suffix.  */
3115
3116 static const char *
3117 convert_filename (const char *name, int do_exe ATTRIBUTE_UNUSED,
3118                   int do_obj ATTRIBUTE_UNUSED)
3119 {
3120 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3121   int i;
3122 #endif
3123   int len;
3124
3125   if (name == NULL)
3126     return NULL;
3127
3128   len = strlen (name);
3129
3130 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3131   /* Convert x.o to x.obj if TARGET_OBJECT_SUFFIX is ".obj".  */
3132   if (do_obj && len > 2
3133       && name[len - 2] == '.'
3134       && name[len - 1] == 'o')
3135     {
3136       obstack_grow (&obstack, name, len - 2);
3137       obstack_grow0 (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
3138       name = XOBFINISH (&obstack, const char *);
3139     }
3140 #endif
3141
3142 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3143   /* If there is no filetype, make it the executable suffix (which includes
3144      the ".").  But don't get confused if we have just "-o".  */
3145   if (! do_exe || TARGET_EXECUTABLE_SUFFIX[0] == 0 || (len == 2 && name[0] == '-'))
3146     return name;
3147
3148   for (i = len - 1; i >= 0; i--)
3149     if (IS_DIR_SEPARATOR (name[i]))
3150       break;
3151
3152   for (i++; i < len; i++)
3153     if (name[i] == '.')
3154       return name;
3155
3156   obstack_grow (&obstack, name, len);
3157   obstack_grow0 (&obstack, TARGET_EXECUTABLE_SUFFIX,
3158                  strlen (TARGET_EXECUTABLE_SUFFIX));
3159   name = XOBFINISH (&obstack, const char *);
3160 #endif
3161
3162   return name;
3163 }
3164 #endif
3165 \f
3166 /* Display the command line switches accepted by gcc.  */
3167 static void
3168 display_help (void)
3169 {
3170   printf (_("Usage: %s [options] file...\n"), programname);
3171   fputs (_("Options:\n"), stdout);
3172
3173   fputs (_("  -pass-exit-codes         Exit with highest error code from a phase\n"), stdout);
3174   fputs (_("  --help                   Display this information\n"), stdout);
3175   fputs (_("  --target-help            Display target specific command line options\n"), stdout);
3176   if (! verbose_flag)
3177     fputs (_("  (Use '-v --help' to display command line options of sub-processes)\n"), stdout);
3178   fputs (_("  -dumpspecs               Display all of the built in spec strings\n"), stdout);
3179   fputs (_("  -dumpversion             Display the version of the compiler\n"), stdout);
3180   fputs (_("  -dumpmachine             Display the compiler's target processor\n"), stdout);
3181   fputs (_("  -print-search-dirs       Display the directories in the compiler's search path\n"), stdout);
3182   fputs (_("  -print-libgcc-file-name  Display the name of the compiler's companion library\n"), stdout);
3183   fputs (_("  -print-file-name=<lib>   Display the full path to library <lib>\n"), stdout);
3184   fputs (_("  -print-prog-name=<prog>  Display the full path to compiler component <prog>\n"), stdout);
3185   fputs (_("  -print-multi-directory   Display the root directory for versions of libgcc\n"), stdout);
3186   fputs (_("\
3187   -print-multi-lib         Display the mapping between command line options and\n\
3188                            multiple library search directories\n"), stdout);
3189   fputs (_("  -print-multi-os-directory Display the relative path to OS libraries\n"), stdout);
3190   fputs (_("  -Wa,<options>            Pass comma-separated <options> on to the assembler\n"), stdout);
3191   fputs (_("  -Wp,<options>            Pass comma-separated <options> on to the preprocessor\n"), stdout);
3192   fputs (_("  -Wl,<options>            Pass comma-separated <options> on to the linker\n"), stdout);
3193   fputs (_("  -Xassembler <arg>        Pass <arg> on to the assembler\n"), stdout);
3194   fputs (_("  -Xpreprocessor <arg>     Pass <arg> on to the preprocessor\n"), stdout);
3195   fputs (_("  -Xlinker <arg>           Pass <arg> on to the linker\n"), stdout);
3196   fputs (_("  -combine                 Pass multiple source files to compiler at once\n"), stdout);
3197   fputs (_("  -save-temps              Do not delete intermediate files\n"), stdout);
3198   fputs (_("  -pipe                    Use pipes rather than intermediate files\n"), stdout);
3199   fputs (_("  -time                    Time the execution of each subprocess\n"), stdout);
3200   fputs (_("  -specs=<file>            Override built-in specs with the contents of <file>\n"), stdout);
3201   fputs (_("  -std=<standard>          Assume that the input sources are for <standard>\n"), stdout);
3202   fputs (_("\
3203   --sysroot=<directory>    Use <directory> as the root directory for headers\n\
3204                            and libraries\n"), stdout);
3205   fputs (_("  -B <directory>           Add <directory> to the compiler's search paths\n"), stdout);
3206   fputs (_("  -b <machine>             Run gcc for target <machine>, if installed\n"), stdout);
3207   fputs (_("  -V <version>             Run gcc version number <version>, if installed\n"), stdout);
3208   fputs (_("  -v                       Display the programs invoked by the compiler\n"), stdout);
3209   fputs (_("  -###                     Like -v but options quoted and commands not executed\n"), stdout);
3210   fputs (_("  -E                       Preprocess only; do not compile, assemble or link\n"), stdout);
3211   fputs (_("  -S                       Compile only; do not assemble or link\n"), stdout);
3212   fputs (_("  -c                       Compile and assemble, but do not link\n"), stdout);
3213   fputs (_("  -o <file>                Place the output into <file>\n"), stdout);
3214   fputs (_("\
3215   -x <language>            Specify the language of the following input files\n\
3216                            Permissible languages include: c c++ assembler none\n\
3217                            'none' means revert to the default behavior of\n\
3218                            guessing the language based on the file's extension\n\
3219 "), stdout);
3220
3221   printf (_("\
3222 \nOptions starting with -g, -f, -m, -O, -W, or --param are automatically\n\
3223  passed on to the various sub-processes invoked by %s.  In order to pass\n\
3224  other options on to these processes the -W<letter> options must be used.\n\
3225 "), programname);
3226
3227   /* The rest of the options are displayed by invocations of the various
3228      sub-processes.  */
3229 }
3230
3231 static void
3232 add_preprocessor_option (const char *option, int len)
3233 {
3234   n_preprocessor_options++;
3235
3236   if (! preprocessor_options)
3237     preprocessor_options = XNEWVEC (char *, n_preprocessor_options);
3238   else
3239     preprocessor_options = xrealloc (preprocessor_options,
3240                                      n_preprocessor_options * sizeof (char *));
3241
3242   preprocessor_options [n_preprocessor_options - 1] =
3243     save_string (option, len);
3244 }
3245
3246 static void
3247 add_assembler_option (const char *option, int len)
3248 {
3249   n_assembler_options++;
3250
3251   if (! assembler_options)
3252     assembler_options = XNEWVEC (char *, n_assembler_options);
3253   else
3254     assembler_options = xrealloc (assembler_options,
3255                                   n_assembler_options * sizeof (char *));
3256
3257   assembler_options [n_assembler_options - 1] = save_string (option, len);
3258 }
3259
3260 static void
3261 add_linker_option (const char *option, int len)
3262 {
3263   n_linker_options++;
3264
3265   if (! linker_options)
3266     linker_options = XNEWVEC (char *, n_linker_options);
3267   else
3268     linker_options = xrealloc (linker_options,
3269                                n_linker_options * sizeof (char *));
3270
3271   linker_options [n_linker_options - 1] = save_string (option, len);
3272 }
3273 \f
3274 /* Create the vector `switches' and its contents.
3275    Store its length in `n_switches'.  */
3276
3277 static void
3278 process_command (int argc, const char **argv)
3279 {
3280   int i;
3281   const char *temp;
3282   char *temp1;
3283   const char *spec_lang = 0;
3284   int last_language_n_infiles;
3285   int lang_n_infiles = 0;
3286 #ifdef MODIFY_TARGET_NAME
3287   int is_modify_target_name;
3288   unsigned int j;
3289 #endif
3290   const char *tooldir_prefix;
3291
3292   GET_ENVIRONMENT (gcc_exec_prefix, "GCC_EXEC_PREFIX");
3293
3294   n_switches = 0;
3295   n_infiles = 0;
3296   added_libraries = 0;
3297
3298   /* Figure compiler version from version string.  */
3299
3300   compiler_version = temp1 = xstrdup (version_string);
3301
3302   for (; *temp1; ++temp1)
3303     {
3304       if (*temp1 == ' ')
3305         {
3306           *temp1 = '\0';
3307           break;
3308         }
3309     }
3310
3311   /* If there is a -V or -b option (or both), process it now, before
3312      trying to interpret the rest of the command line.
3313      Use heuristic that all configuration names must have at least
3314      one dash '-'. This allows us to pass options starting with -b.  */
3315   if (argc > 1 && argv[1][0] == '-'
3316       && (argv[1][1] == 'V' ||
3317          ((argv[1][1] == 'b') && (NULL != strchr(argv[1] + 2,'-')))))
3318     {
3319       const char *new_version = DEFAULT_TARGET_VERSION;
3320       const char *new_machine = DEFAULT_TARGET_MACHINE;
3321       const char *progname = argv[0];
3322       char **new_argv;
3323       char *new_argv0;
3324       int baselen;
3325
3326       while (argc > 1 && argv[1][0] == '-'
3327              && (argv[1][1] == 'V' ||
3328                 ((argv[1][1] == 'b') && ( NULL != strchr(argv[1] + 2,'-')))))
3329         {
3330           char opt = argv[1][1];
3331           const char *arg;
3332           if (argv[1][2] != '\0')
3333             {
3334               arg = argv[1] + 2;
3335               argc -= 1;
3336               argv += 1;
3337             }
3338           else if (argc > 2)
3339             {
3340               arg = argv[2];
3341               argc -= 2;
3342               argv += 2;
3343             }
3344           else
3345             fatal ("'-%c' option must have argument", opt);
3346           if (opt == 'V')
3347             new_version = arg;
3348           else
3349             new_machine = arg;
3350         }
3351
3352       for (baselen = strlen (progname); baselen > 0; baselen--)
3353         if (IS_DIR_SEPARATOR (progname[baselen-1]))
3354           break;
3355       new_argv0 = xmemdup (progname, baselen,
3356                            baselen + concat_length (new_version, new_machine,
3357                                                     "-gcc-", NULL) + 1);
3358       strcpy (new_argv0 + baselen, new_machine);
3359       strcat (new_argv0, "-gcc-");
3360       strcat (new_argv0, new_version);
3361
3362       new_argv = xmemdup (argv, (argc + 1) * sizeof (argv[0]),
3363                           (argc + 1) * sizeof (argv[0]));
3364       new_argv[0] = new_argv0;
3365
3366       execvp (new_argv0, new_argv);
3367       fatal ("couldn't run '%s': %s", new_argv0, xstrerror (errno));
3368     }
3369
3370   /* Set up the default search paths.  If there is no GCC_EXEC_PREFIX,
3371      see if we can create it from the pathname specified in argv[0].  */
3372
3373   gcc_libexec_prefix = standard_libexec_prefix;
3374 #ifndef VMS
3375   /* FIXME: make_relative_prefix doesn't yet work for VMS.  */
3376   if (!gcc_exec_prefix)
3377     {
3378       gcc_exec_prefix = make_relative_prefix (argv[0], standard_bindir_prefix,
3379                                               standard_exec_prefix);
3380       gcc_libexec_prefix = make_relative_prefix (argv[0],
3381                                                  standard_bindir_prefix,
3382                                                  standard_libexec_prefix);
3383       if (gcc_exec_prefix)
3384         putenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
3385     }
3386   else
3387     {
3388       /* make_relative_prefix requires a program name, but
3389          GCC_EXEC_PREFIX is typically a directory name with a trailing
3390          / (which is ignored by make_relative_prefix), so append a
3391          program name.  */
3392       char *tmp_prefix = concat (gcc_exec_prefix, "gcc", NULL);
3393       gcc_libexec_prefix = make_relative_prefix (tmp_prefix,
3394                                                  standard_exec_prefix,
3395                                                  standard_libexec_prefix);
3396
3397       /* The path is unrelocated, so fallback to the original setting.  */
3398       if (!gcc_libexec_prefix)
3399         gcc_libexec_prefix = standard_libexec_prefix;
3400
3401       free (tmp_prefix);
3402     }
3403 #else
3404 #endif
3405   /* From this point onward, gcc_exec_prefix is non-null if the toolchain
3406      is relocated. The toolchain was either relocated using GCC_EXEC_PREFIX
3407      or an automatically created GCC_EXEC_PREFIX from argv[0].  */
3408
3409   if (gcc_exec_prefix)
3410     {
3411       int len = strlen (gcc_exec_prefix);
3412
3413       if (len > (int) sizeof ("/lib/gcc/") - 1
3414           && (IS_DIR_SEPARATOR (gcc_exec_prefix[len-1])))
3415         {
3416           temp = gcc_exec_prefix + len - sizeof ("/lib/gcc/") + 1;
3417           if (IS_DIR_SEPARATOR (*temp)
3418               && strncmp (temp + 1, "lib", 3) == 0
3419               && IS_DIR_SEPARATOR (temp[4])
3420               && strncmp (temp + 5, "gcc", 3) == 0)
3421             len -= sizeof ("/lib/gcc/") - 1;
3422         }
3423
3424       set_std_prefix (gcc_exec_prefix, len);
3425       add_prefix (&exec_prefixes, gcc_libexec_prefix, "GCC",
3426                   PREFIX_PRIORITY_LAST, 0, 0);
3427       add_prefix (&startfile_prefixes, gcc_exec_prefix, "GCC",
3428                   PREFIX_PRIORITY_LAST, 0, 0);
3429     }
3430
3431   /* COMPILER_PATH and LIBRARY_PATH have values
3432      that are lists of directory names with colons.  */
3433
3434   GET_ENVIRONMENT (temp, "COMPILER_PATH");
3435   if (temp)
3436     {
3437       const char *startp, *endp;
3438       char *nstore = alloca (strlen (temp) + 3);
3439
3440       startp = endp = temp;
3441       while (1)
3442         {
3443           if (*endp == PATH_SEPARATOR || *endp == 0)
3444             {
3445               strncpy (nstore, startp, endp - startp);
3446               if (endp == startp)
3447                 strcpy (nstore, concat (".", dir_separator_str, NULL));
3448               else if (!IS_DIR_SEPARATOR (endp[-1]))
3449                 {
3450                   nstore[endp - startp] = DIR_SEPARATOR;
3451                   nstore[endp - startp + 1] = 0;
3452                 }
3453               else
3454                 nstore[endp - startp] = 0;
3455               add_prefix (&exec_prefixes, nstore, 0,
3456                           PREFIX_PRIORITY_LAST, 0, 0);
3457               add_prefix (&include_prefixes, nstore, 0,
3458                           PREFIX_PRIORITY_LAST, 0, 0);
3459               if (*endp == 0)
3460                 break;
3461               endp = startp = endp + 1;
3462             }
3463           else
3464             endp++;
3465         }
3466     }
3467
3468   GET_ENVIRONMENT (temp, LIBRARY_PATH_ENV);
3469   if (temp && *cross_compile == '0')
3470     {
3471       const char *startp, *endp;
3472       char *nstore = alloca (strlen (temp) + 3);
3473
3474       startp = endp = temp;
3475       while (1)
3476         {
3477           if (*endp == PATH_SEPARATOR || *endp == 0)
3478             {
3479               strncpy (nstore, startp, endp - startp);
3480               if (endp == startp)
3481                 strcpy (nstore, concat (".", dir_separator_str, NULL));
3482               else if (!IS_DIR_SEPARATOR (endp[-1]))
3483                 {
3484                   nstore[endp - startp] = DIR_SEPARATOR;
3485                   nstore[endp - startp + 1] = 0;
3486                 }
3487               else
3488                 nstore[endp - startp] = 0;
3489               add_prefix (&startfile_prefixes, nstore, NULL,
3490                           PREFIX_PRIORITY_LAST, 0, 1);
3491               if (*endp == 0)
3492                 break;
3493               endp = startp = endp + 1;
3494             }
3495           else
3496             endp++;
3497         }
3498     }
3499
3500   /* Use LPATH like LIBRARY_PATH (for the CMU build program).  */
3501   GET_ENVIRONMENT (temp, "LPATH");
3502   if (temp && *cross_compile == '0')
3503     {
3504       const char *startp, *endp;
3505       char *nstore = alloca (strlen (temp) + 3);
3506
3507       startp = endp = temp;
3508       while (1)
3509         {
3510           if (*endp == PATH_SEPARATOR || *endp == 0)
3511             {
3512               strncpy (nstore, startp, endp - startp);
3513               if (endp == startp)
3514                 strcpy (nstore, concat (".", dir_separator_str, NULL));
3515               else if (!IS_DIR_SEPARATOR (endp[-1]))
3516                 {
3517                   nstore[endp - startp] = DIR_SEPARATOR;
3518                   nstore[endp - startp + 1] = 0;
3519                 }
3520               else
3521                 nstore[endp - startp] = 0;
3522               add_prefix (&startfile_prefixes, nstore, NULL,
3523                           PREFIX_PRIORITY_LAST, 0, 1);
3524               if (*endp == 0)
3525                 break;
3526               endp = startp = endp + 1;
3527             }
3528           else
3529             endp++;
3530         }
3531     }
3532
3533   /* Convert new-style -- options to old-style.  */
3534   translate_options (&argc, (const char *const **) &argv);
3535
3536   /* Do language-specific adjustment/addition of flags.  */
3537   lang_specific_driver (&argc, (const char *const **) &argv, &added_libraries);
3538
3539   /* Scan argv twice.  Here, the first time, just count how many switches
3540      there will be in their vector, and how many input files in theirs.
3541      Here we also parse the switches that cc itself uses (e.g. -v).  */
3542
3543   for (i = 1; i < argc; i++)
3544     {
3545       if (! strcmp (argv[i], "-dumpspecs"))
3546         {
3547           struct spec_list *sl;
3548           init_spec ();
3549           for (sl = specs; sl; sl = sl->next)
3550             printf ("*%s:\n%s\n\n", sl->name, *(sl->ptr_spec));
3551           if (link_command_spec)
3552             printf ("*link_command:\n%s\n\n", link_command_spec);
3553           exit (0);
3554         }
3555       else if (! strcmp (argv[i], "-dumpversion"))
3556         {
3557           printf ("%s\n", spec_version);
3558           exit (0);
3559         }
3560       else if (! strcmp (argv[i], "-dumpmachine"))
3561         {
3562           printf ("%s\n", spec_machine);
3563           exit (0);
3564         }
3565       else if (strcmp (argv[i], "-fversion") == 0)
3566         {
3567           /* translate_options () has turned --version into -fversion.  */
3568           printf (_("%s (GCC) %s\n"), programname, version_string);
3569           printf ("Copyright %s 2006 Free Software Foundation, Inc.\n",
3570                   _("(C)"));
3571           fputs (_("This is free software; see the source for copying conditions.  There is NO\n\
3572 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"),
3573                  stdout);
3574           exit (0);
3575         }
3576       else if (strcmp (argv[i], "-fhelp") == 0)
3577         {
3578           /* translate_options () has turned --help into -fhelp.  */
3579           print_help_list = 1;
3580
3581           /* We will be passing a dummy file on to the sub-processes.  */
3582           n_infiles++;
3583           n_switches++;
3584
3585           /* CPP driver cannot obtain switch from cc1_options.  */
3586           if (is_cpp_driver)
3587             add_preprocessor_option ("--help", 6);
3588           add_assembler_option ("--help", 6);
3589           add_linker_option ("--help", 6);
3590         }
3591       else if (strcmp (argv[i], "-ftarget-help") == 0)
3592         {
3593           /* translate_options() has turned --target-help into -ftarget-help.  */
3594           target_help_flag = 1;
3595
3596           /* We will be passing a dummy file on to the sub-processes.  */
3597           n_infiles++;
3598           n_switches++;
3599
3600           /* CPP driver cannot obtain switch from cc1_options.  */
3601           if (is_cpp_driver)
3602             add_preprocessor_option ("--target-help", 13);
3603           add_assembler_option ("--target-help", 13);
3604           add_linker_option ("--target-help", 13);
3605         }
3606       else if (! strcmp (argv[i], "-pass-exit-codes"))
3607         {
3608           pass_exit_codes = 1;
3609           n_switches++;
3610         }
3611       else if (! strcmp (argv[i], "-print-search-dirs"))
3612         print_search_dirs = 1;
3613       else if (! strcmp (argv[i], "-print-libgcc-file-name"))
3614         print_file_name = "libgcc.a";
3615       else if (! strncmp (argv[i], "-print-file-name=", 17))
3616         print_file_name = argv[i] + 17;
3617       else if (! strncmp (argv[i], "-print-prog-name=", 17))
3618         print_prog_name = argv[i] + 17;
3619       else if (! strcmp (argv[i], "-print-multi-lib"))
3620         print_multi_lib = 1;
3621       else if (! strcmp (argv[i], "-print-multi-directory"))
3622         print_multi_directory = 1;
3623       else if (! strcmp (argv[i], "-print-multi-os-directory"))
3624         print_multi_os_directory = 1;
3625       else if (! strncmp (argv[i], "-Wa,", 4))
3626         {
3627           int prev, j;
3628           /* Pass the rest of this option to the assembler.  */
3629
3630           /* Split the argument at commas.  */
3631           prev = 4;
3632           for (j = 4; argv[i][j]; j++)
3633             if (argv[i][j] == ',')
3634               {
3635                 add_assembler_option (argv[i] + prev, j - prev);
3636                 prev = j + 1;
3637               }
3638
3639           /* Record the part after the last comma.  */
3640           add_assembler_option (argv[i] + prev, j - prev);
3641         }
3642       else if (! strncmp (argv[i], "-Wp,", 4))
3643         {
3644           int prev, j;
3645           /* Pass the rest of this option to the preprocessor.  */
3646
3647           /* Split the argument at commas.  */
3648           prev = 4;
3649           for (j = 4; argv[i][j]; j++)
3650             if (argv[i][j] == ',')
3651               {
3652                 add_preprocessor_option (argv[i] + prev, j - prev);
3653                 prev = j + 1;
3654               }
3655
3656           /* Record the part after the last comma.  */
3657           add_preprocessor_option (argv[i] + prev, j - prev);
3658         }
3659       else if (argv[i][0] == '+' && argv[i][1] == 'e')
3660         /* The +e options to the C++ front-end.  */
3661         n_switches++;
3662       else if (strncmp (argv[i], "-Wl,", 4) == 0)
3663         {
3664           int j;
3665           /* Split the argument at commas.  */
3666           for (j = 3; argv[i][j]; j++)
3667             n_infiles += (argv[i][j] == ',');
3668         }
3669       else if (strcmp (argv[i], "-Xlinker") == 0)
3670         {
3671           if (i + 1 == argc)
3672             fatal ("argument to '-Xlinker' is missing");
3673
3674           n_infiles++;
3675           i++;
3676         }
3677       else if (strcmp (argv[i], "-Xpreprocessor") == 0)
3678         {
3679           if (i + 1 == argc)
3680             fatal ("argument to '-Xpreprocessor' is missing");
3681
3682           add_preprocessor_option (argv[i+1], strlen (argv[i+1]));
3683         }
3684       else if (strcmp (argv[i], "-Xassembler") == 0)
3685         {
3686           if (i + 1 == argc)
3687             fatal ("argument to '-Xassembler' is missing");
3688
3689           add_assembler_option (argv[i+1], strlen (argv[i+1]));
3690         }
3691       else if (strcmp (argv[i], "-l") == 0)
3692         {
3693           if (i + 1 == argc)
3694             fatal ("argument to '-l' is missing");
3695
3696           n_infiles++;
3697           i++;
3698         }
3699       else if (strncmp (argv[i], "-l", 2) == 0)
3700         n_infiles++;
3701       else if (strcmp (argv[i], "-save-temps") == 0)
3702         {
3703           save_temps_flag = 1;
3704           n_switches++;
3705         }
3706       else if (strcmp (argv[i], "-combine") == 0)
3707         {
3708           combine_flag = 1;
3709           n_switches++;
3710         }
3711       else if (strcmp (argv[i], "-specs") == 0)
3712         {
3713           struct user_specs *user = XNEW (struct user_specs);
3714           if (++i >= argc)
3715             fatal ("argument to '-specs' is missing");
3716
3717           user->next = (struct user_specs *) 0;
3718           user->filename = argv[i];
3719           if (user_specs_tail)
3720             user_specs_tail->next = user;
3721           else
3722             user_specs_head = user;
3723           user_specs_tail = user;
3724         }
3725       else if (strncmp (argv[i], "-specs=", 7) == 0)
3726         {
3727           struct user_specs *user = XNEW (struct user_specs);
3728           if (strlen (argv[i]) == 7)
3729             fatal ("argument to '-specs=' is missing");
3730
3731           user->next = (struct user_specs *) 0;
3732           user->filename = argv[i] + 7;
3733           if (user_specs_tail)
3734             user_specs_tail->next = user;
3735           else
3736             user_specs_head = user;
3737           user_specs_tail = user;
3738         }
3739       else if (strcmp (argv[i], "-time") == 0)
3740         report_times = 1;
3741       else if (strcmp (argv[i], "-pipe") == 0)
3742         {
3743           /* -pipe has to go into the switches array as well as
3744              setting a flag.  */
3745           use_pipes = 1;
3746           n_switches++;
3747         }
3748       else if (strcmp (argv[i], "-###") == 0)
3749         {
3750           /* This is similar to -v except that there is no execution
3751              of the commands and the echoed arguments are quoted.  It
3752              is intended for use in shell scripts to capture the
3753              driver-generated command line.  */
3754           verbose_only_flag++;
3755           verbose_flag++;
3756         }
3757       else if (argv[i][0] == '-' && argv[i][1] != 0)
3758         {
3759           const char *p = &argv[i][1];
3760           int c = *p;
3761
3762           switch (c)
3763             {
3764             case 'b':
3765               if (NULL == strchr(argv[i] + 2, '-'))
3766                 goto normal_switch;
3767
3768               /* Fall through.  */
3769             case 'V':
3770               fatal ("'-%c' must come at the start of the command line", c);
3771               break;
3772
3773             case 'B':
3774               {
3775                 const char *value;
3776                 int len;
3777
3778                 if (p[1] == 0 && i + 1 == argc)
3779                   fatal ("argument to '-B' is missing");
3780                 if (p[1] == 0)
3781                   value = argv[++i];
3782                 else
3783                   value = p + 1;
3784
3785                 len = strlen (value);
3786
3787                 /* Catch the case where the user has forgotten to append a
3788                    directory separator to the path.  Note, they may be using
3789                    -B to add an executable name prefix, eg "i386-elf-", in
3790                    order to distinguish between multiple installations of
3791                    GCC in the same directory.  Hence we must check to see
3792                    if appending a directory separator actually makes a
3793                    valid directory name.  */
3794                 if (! IS_DIR_SEPARATOR (value [len - 1])
3795                     && is_directory (value, false))
3796                   {
3797                     char *tmp = XNEWVEC (char, len + 2);
3798                     strcpy (tmp, value);
3799                     tmp[len] = DIR_SEPARATOR;
3800                     tmp[++ len] = 0;
3801                     value = tmp;
3802                   }
3803
3804                 /* As a kludge, if the arg is "[foo/]stageN/", just
3805                    add "[foo/]include" to the include prefix.  */
3806                 if ((len == 7
3807                      || (len > 7
3808                          && (IS_DIR_SEPARATOR (value[len - 8]))))
3809                     && strncmp (value + len - 7, "stage", 5) == 0
3810                     && ISDIGIT (value[len - 2])
3811                     && (IS_DIR_SEPARATOR (value[len - 1])))
3812                   {
3813                     if (len == 7)
3814                       add_prefix (&include_prefixes, "./", NULL,
3815                                   PREFIX_PRIORITY_B_OPT, 0, 0);
3816                     else
3817                       {
3818                         char *string = xmalloc (len - 6);
3819                         memcpy (string, value, len - 7);
3820                         string[len - 7] = 0;
3821                         add_prefix (&include_prefixes, string, NULL,
3822                                     PREFIX_PRIORITY_B_OPT, 0, 0);
3823                       }
3824                   }
3825
3826                 add_prefix (&exec_prefixes, value, NULL,
3827                             PREFIX_PRIORITY_B_OPT, 0, 0);
3828                 add_prefix (&startfile_prefixes, value, NULL,
3829                             PREFIX_PRIORITY_B_OPT, 0, 0);
3830                 add_prefix (&include_prefixes, value, NULL,
3831                             PREFIX_PRIORITY_B_OPT, 0, 0);
3832                 n_switches++;
3833               }
3834               break;
3835
3836             case 'v':   /* Print our subcommands and print versions.  */
3837               n_switches++;
3838               /* If they do anything other than exactly `-v', don't set
3839                  verbose_flag; rather, continue on to give the error.  */
3840               if (p[1] != 0)
3841                 break;
3842               verbose_flag++;
3843               break;
3844
3845             case 'S':
3846             case 'c':
3847               if (p[1] == 0)
3848                 {
3849                   have_c = 1;
3850                   n_switches++;
3851                   break;
3852                 }
3853               goto normal_switch;
3854
3855             case 'o':
3856               have_o = 1;
3857 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3858               if (! have_c)
3859                 {
3860                   int skip;
3861
3862                   /* Forward scan, just in case -S or -c is specified
3863                      after -o.  */
3864                   int j = i + 1;
3865                   if (p[1] == 0)
3866                     ++j;
3867                   while (j < argc)
3868                     {
3869                       if (argv[j][0] == '-')
3870                         {
3871                           if (SWITCH_CURTAILS_COMPILATION (argv[j][1])
3872                               && argv[j][2] == 0)
3873                             {
3874                               have_c = 1;
3875                               break;
3876                             }
3877                           else if ((skip = SWITCH_TAKES_ARG (argv[j][1])))
3878                             j += skip - (argv[j][2] != 0);
3879                           else if ((skip = WORD_SWITCH_TAKES_ARG (argv[j] + 1)))
3880                             j += skip;
3881                         }
3882                       j++;
3883                     }
3884                 }
3885 #endif
3886 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX) || defined(HAVE_TARGET_OBJECT_SUFFIX)
3887               if (p[1] == 0)
3888                 argv[i + 1] = convert_filename (argv[i + 1], ! have_c, 0);
3889               else
3890                 argv[i] = convert_filename (argv[i], ! have_c, 0);
3891 #endif
3892               goto normal_switch;
3893
3894             default:
3895             normal_switch:
3896
3897 #ifdef MODIFY_TARGET_NAME
3898               is_modify_target_name = 0;
3899
3900               for (j = 0; j < ARRAY_SIZE (modify_target); j++)
3901                 if (! strcmp (argv[i], modify_target[j].sw))
3902                   {
3903                     char *new_name = xmalloc (strlen (modify_target[j].str)
3904                                               + strlen (spec_machine));
3905                     const char *p, *r;
3906                     char *q;
3907                     int made_addition = 0;
3908
3909                     is_modify_target_name = 1;
3910                     for (p = spec_machine, q = new_name; *p != 0; )
3911                       {
3912                         if (modify_target[j].add_del == DELETE
3913                             && (! strncmp (q, modify_target[j].str,
3914                                            strlen (modify_target[j].str))))
3915                           p += strlen (modify_target[j].str);
3916                         else if (modify_target[j].add_del == ADD
3917                                  && ! made_addition && *p == '-')
3918                           {
3919                             for (r = modify_target[j].str; *r != 0; )
3920                               *q++ = *r++;
3921                             made_addition = 1;
3922                           }
3923
3924                         *q++ = *p++;
3925                       }
3926
3927                     spec_machine = new_name;
3928                   }
3929
3930               if (is_modify_target_name)
3931                 break;
3932 #endif
3933
3934               n_switches++;
3935
3936               if (SWITCH_TAKES_ARG (c) > (p[1] != 0))
3937                 i += SWITCH_TAKES_ARG (c) - (p[1] != 0);
3938               else if (WORD_SWITCH_TAKES_ARG (p))
3939                 i += WORD_SWITCH_TAKES_ARG (p);
3940             }
3941         }
3942       else
3943         {
3944           n_infiles++;
3945           lang_n_infiles++;
3946         }
3947     }
3948
3949   if (save_temps_flag && use_pipes)
3950     {
3951       /* -save-temps overrides -pipe, so that temp files are produced */
3952       if (save_temps_flag)
3953         error ("warning: -pipe ignored because -save-temps specified");
3954       use_pipes = 0;
3955     }
3956
3957   /* Set up the search paths.  We add directories that we expect to
3958      contain GNU Toolchain components before directories specified by
3959      the machine description so that we will find GNU components (like
3960      the GNU assembler) before those of the host system.  */ 
3961
3962   /* If we don't know where the toolchain has been installed, use the
3963      configured-in locations.  */
3964   if (!gcc_exec_prefix)
3965     {
3966 #ifndef OS2
3967       add_prefix (&exec_prefixes, standard_libexec_prefix, "GCC",
3968                   PREFIX_PRIORITY_LAST, 1, 0);
3969       add_prefix (&exec_prefixes, standard_libexec_prefix, "BINUTILS",
3970                   PREFIX_PRIORITY_LAST, 2, 0);
3971       add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
3972                   PREFIX_PRIORITY_LAST, 2, 0);
3973 #endif
3974       add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
3975                   PREFIX_PRIORITY_LAST, 1, 0);
3976     }
3977
3978   /* If not cross-compiling, search well-known system locations.  */
3979   if (*cross_compile == '0')
3980     {
3981 #ifndef OS2
3982       add_prefix (&exec_prefixes, standard_exec_prefix_1, "BINUTILS",
3983                   PREFIX_PRIORITY_LAST, 2, 0);
3984       add_prefix (&exec_prefixes, standard_exec_prefix_2, "BINUTILS",
3985                   PREFIX_PRIORITY_LAST, 2, 0);
3986 #endif
3987       add_prefix (&startfile_prefixes, standard_exec_prefix_2, "BINUTILS",
3988                   PREFIX_PRIORITY_LAST, 1, 0);
3989     }
3990
3991   gcc_assert (!IS_ABSOLUTE_PATH (tooldir_base_prefix));
3992   tooldir_prefix = concat (tooldir_base_prefix, spec_machine,
3993                            dir_separator_str, NULL);
3994
3995   /* Look for tools relative to the location from which the driver is
3996      running, or, if that is not available, the configured prefix.  */
3997   tooldir_prefix
3998     = concat (gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
3999               spec_machine, dir_separator_str,
4000               spec_version, dir_separator_str, tooldir_prefix, NULL);
4001
4002   add_prefix (&exec_prefixes,
4003               concat (tooldir_prefix, "bin", dir_separator_str, NULL),
4004               "BINUTILS", PREFIX_PRIORITY_LAST, 0, 0);
4005   add_prefix (&startfile_prefixes,
4006               concat (tooldir_prefix, "lib", dir_separator_str, NULL),
4007               "BINUTILS", PREFIX_PRIORITY_LAST, 0, 1);
4008
4009 #if defined(TARGET_SYSTEM_ROOT_RELOCATABLE) && !defined(VMS)
4010   /* If the normal TARGET_SYSTEM_ROOT is inside of $exec_prefix,
4011      then consider it to relocate with the rest of the GCC installation
4012      if GCC_EXEC_PREFIX is set.
4013      ``make_relative_prefix'' is not compiled for VMS, so don't call it.  */
4014   if (target_system_root && gcc_exec_prefix)
4015     {
4016       char *tmp_prefix = make_relative_prefix (argv[0],
4017                                                standard_bindir_prefix,
4018                                                target_system_root);
4019       if (tmp_prefix && access_check (tmp_prefix, F_OK) == 0)
4020         {
4021           target_system_root = tmp_prefix;
4022           target_system_root_changed = 1;
4023         }
4024     }
4025 #endif
4026
4027   /* More prefixes are enabled in main, after we read the specs file
4028      and determine whether this is cross-compilation or not.  */
4029
4030   /* Then create the space for the vectors and scan again.  */
4031
4032   switches = XNEWVEC (struct switchstr, n_switches + 1);
4033   infiles = XNEWVEC (struct infile, n_infiles + 1);
4034   n_switches = 0;
4035   n_infiles = 0;
4036   last_language_n_infiles = -1;
4037
4038   /* This, time, copy the text of each switch and store a pointer
4039      to the copy in the vector of switches.
4040      Store all the infiles in their vector.  */
4041
4042   for (i = 1; i < argc; i++)
4043     {
4044       /* Just skip the switches that were handled by the preceding loop.  */
4045 #ifdef MODIFY_TARGET_NAME
4046       is_modify_target_name = 0;
4047
4048       for (j = 0; j < ARRAY_SIZE (modify_target); j++)
4049         if (! strcmp (argv[i], modify_target[j].sw))
4050           is_modify_target_name = 1;
4051
4052       if (is_modify_target_name)
4053         ;
4054       else
4055 #endif
4056       if (! strncmp (argv[i], "-Wa,", 4))
4057         ;
4058       else if (! strncmp (argv[i], "-Wp,", 4))
4059         ;
4060       else if (! strcmp (argv[i], "-pass-exit-codes"))
4061         ;
4062       else if (! strcmp (argv[i], "-print-search-dirs"))
4063         ;
4064       else if (! strcmp (argv[i], "-print-libgcc-file-name"))
4065         ;
4066       else if (! strncmp (argv[i], "-print-file-name=", 17))
4067         ;
4068       else if (! strncmp (argv[i], "-print-prog-name=", 17))
4069         ;
4070       else if (! strcmp (argv[i], "-print-multi-lib"))
4071         ;
4072       else if (! strcmp (argv[i], "-print-multi-directory"))
4073         ;
4074       else if (! strcmp (argv[i], "-print-multi-os-directory"))
4075         ;
4076       else if (! strcmp (argv[i], "-ftarget-help"))
4077         ;
4078       else if (! strcmp (argv[i], "-fhelp"))
4079         ;
4080       else if (! strncmp (argv[i], "--sysroot=", strlen ("--sysroot=")))
4081         {
4082           target_system_root = argv[i] + strlen ("--sysroot=");
4083           target_system_root_changed = 1;
4084         }
4085       else if (argv[i][0] == '+' && argv[i][1] == 'e')
4086         {
4087           /* Compensate for the +e options to the C++ front-end;
4088              they're there simply for cfront call-compatibility.  We do
4089              some magic in default_compilers to pass them down properly.
4090              Note we deliberately start at the `+' here, to avoid passing
4091              -e0 or -e1 down into the linker.  */
4092           switches[n_switches].part1 = &argv[i][0];
4093           switches[n_switches].args = 0;
4094           switches[n_switches].live_cond = SWITCH_OK;
4095           switches[n_switches].validated = 0;
4096           n_switches++;
4097         }
4098       else if (strncmp (argv[i], "-Wl,", 4) == 0)
4099         {
4100           int prev, j;
4101           /* Split the argument at commas.  */
4102           prev = 4;
4103           for (j = 4; argv[i][j]; j++)
4104             if (argv[i][j] == ',')
4105               {
4106                 infiles[n_infiles].language = "*";
4107                 infiles[n_infiles++].name
4108                   = save_string (argv[i] + prev, j - prev);
4109                 prev = j + 1;
4110               }
4111           /* Record the part after the last comma.  */
4112           infiles[n_infiles].language = "*";
4113           infiles[n_infiles++].name = argv[i] + prev;
4114         }
4115       else if (strcmp (argv[i], "-Xlinker") == 0)
4116         {
4117           infiles[n_infiles].language = "*";
4118           infiles[n_infiles++].name = argv[++i];
4119         }
4120       /* Xassembler and Xpreprocessor were already handled in the first argv
4121          scan, so all we need to do here is ignore them and their argument.  */
4122       else if (strcmp (argv[i], "-Xassembler") == 0)
4123         i++;
4124       else if (strcmp (argv[i], "-Xpreprocessor") == 0)
4125         i++;
4126       else if (strcmp (argv[i], "-l") == 0)
4127         { /* POSIX allows separation of -l and the lib arg;
4128              canonicalize by concatenating -l with its arg */
4129           infiles[n_infiles].language = "*";
4130           infiles[n_infiles++].name = concat ("-l", argv[++i], NULL);
4131         }
4132       else if (strncmp (argv[i], "-l", 2) == 0)
4133         {
4134           infiles[n_infiles].language = "*";
4135           infiles[n_infiles++].name = argv[i];
4136         }
4137       else if (strcmp (argv[i], "-specs") == 0)
4138         i++;
4139       else if (strncmp (argv[i], "-specs=", 7) == 0)
4140         ;
4141       else if (strcmp (argv[i], "-time") == 0)
4142         ;
4143       else if (strcmp (argv[i], "-###") == 0)
4144         ;
4145       else if (argv[i][0] == '-' && argv[i][1] != 0)
4146         {
4147           const char *p = &argv[i][1];
4148           int c = *p;
4149
4150           if (c == 'x')
4151             {
4152               if (p[1] == 0 && i + 1 == argc)
4153                 fatal ("argument to '-x' is missing");
4154               if (p[1] == 0)
4155                 spec_lang = argv[++i];
4156               else
4157                 spec_lang = p + 1;
4158               if (! strcmp (spec_lang, "none"))
4159                 /* Suppress the warning if -xnone comes after the last input
4160                    file, because alternate command interfaces like g++ might
4161                    find it useful to place -xnone after each input file.  */
4162                 spec_lang = 0;
4163               else
4164                 last_language_n_infiles = n_infiles;
4165               continue;
4166             }
4167           switches[n_switches].part1 = p;
4168           /* Deal with option arguments in separate argv elements.  */
4169           if ((SWITCH_TAKES_ARG (c) > (p[1] != 0))
4170               || WORD_SWITCH_TAKES_ARG (p))
4171             {
4172               int j = 0;
4173               int n_args = WORD_SWITCH_TAKES_ARG (p);
4174
4175               if (n_args == 0)
4176                 {
4177                   /* Count only the option arguments in separate argv elements.  */
4178                   n_args = SWITCH_TAKES_ARG (c) - (p[1] != 0);
4179                 }
4180               if (i + n_args >= argc)
4181                 fatal ("argument to '-%s' is missing", p);
4182               switches[n_switches].args
4183                 = XNEWVEC (const char *, n_args + 1);
4184               while (j < n_args)
4185                 switches[n_switches].args[j++] = argv[++i];
4186               /* Null-terminate the vector.  */
4187               switches[n_switches].args[j] = 0;
4188             }
4189           else if (strchr (switches_need_spaces, c))
4190             {
4191               /* On some systems, ld cannot handle some options without
4192                  a space.  So split the option from its argument.  */
4193               char *part1 = XNEWVEC (char, 2);
4194               part1[0] = c;
4195               part1[1] = '\0';
4196
4197               switches[n_switches].part1 = part1;
4198               switches[n_switches].args = XNEWVEC (const char *, 2);
4199               switches[n_switches].args[0] = xstrdup (p+1);
4200               switches[n_switches].args[1] = 0;
4201             }
4202           else
4203             switches[n_switches].args = 0;
4204
4205           switches[n_switches].live_cond = SWITCH_OK;
4206           switches[n_switches].validated = 0;
4207           switches[n_switches].ordering = 0;
4208           /* These are always valid, since gcc.c itself understands them.  */
4209           if (!strcmp (p, "save-temps")
4210               || !strcmp (p, "static-libgcc")
4211               || !strcmp (p, "shared-libgcc")
4212               || !strcmp (p, "pipe"))
4213             switches[n_switches].validated = 1;
4214           else
4215             {
4216               char ch = switches[n_switches].part1[0];
4217               if (ch == 'B')
4218                 switches[n_switches].validated = 1;
4219             }
4220           n_switches++;
4221         }
4222       else
4223         {
4224 #ifdef HAVE_TARGET_OBJECT_SUFFIX
4225           argv[i] = convert_filename (argv[i], 0, access (argv[i], F_OK));
4226 #endif
4227
4228           if (strcmp (argv[i], "-") != 0 && access (argv[i], F_OK) < 0)
4229             {
4230               perror_with_name (argv[i]);
4231               error_count++;
4232             }
4233           else
4234             {
4235               infiles[n_infiles].language = spec_lang;
4236               infiles[n_infiles++].name = argv[i];
4237             }
4238         }
4239     }
4240
4241   if (n_infiles == last_language_n_infiles && spec_lang != 0)
4242     error ("warning: '-x %s' after last input file has no effect", spec_lang);
4243
4244   /* Ensure we only invoke each subprocess once.  */
4245   if (target_help_flag || print_help_list)
4246     {
4247       n_infiles = 1;
4248
4249       /* Create a dummy input file, so that we can pass --target-help on to
4250          the various sub-processes.  */
4251       infiles[0].language = "c";
4252       infiles[0].name   = "help-dummy";
4253
4254       if (target_help_flag)
4255         {
4256           switches[n_switches].part1     = "--target-help";
4257           switches[n_switches].args      = 0;
4258           switches[n_switches].live_cond = SWITCH_OK;
4259           switches[n_switches].validated = 0;
4260
4261           n_switches++;
4262         }
4263
4264       if (print_help_list)
4265         {
4266           switches[n_switches].part1     = "--help";
4267           switches[n_switches].args      = 0;
4268           switches[n_switches].live_cond = SWITCH_OK;
4269           switches[n_switches].validated = 0;
4270
4271           n_switches++;
4272         }
4273     }
4274
4275   switches[n_switches].part1 = 0;
4276   infiles[n_infiles].name = 0;
4277 }
4278
4279 /* Store switches not filtered out by %<S in spec in COLLECT_GCC_OPTIONS
4280    and place that in the environment.  */
4281
4282 static void
4283 set_collect_gcc_options (void)
4284 {
4285   int i;
4286   int first_time;
4287
4288   /* Build COLLECT_GCC_OPTIONS to have all of the options specified to
4289      the compiler.  */
4290   obstack_grow (&collect_obstack, "COLLECT_GCC_OPTIONS=",
4291                 sizeof ("COLLECT_GCC_OPTIONS=") - 1);
4292
4293   first_time = TRUE;
4294   for (i = 0; (int) i < n_switches; i++)
4295     {
4296       const char *const *args;
4297       const char *p, *q;
4298       if (!first_time)
4299         obstack_grow (&collect_obstack, " ", 1);
4300
4301       first_time = FALSE;
4302
4303       /* Ignore elided switches.  */
4304       if (switches[i].live_cond == SWITCH_IGNORE)
4305         continue;
4306
4307       obstack_grow (&collect_obstack, "'-", 2);
4308       q = switches[i].part1;
4309       while ((p = strchr (q, '\'')))
4310         {
4311           obstack_grow (&collect_obstack, q, p - q);
4312           obstack_grow (&collect_obstack, "'\\''", 4);
4313           q = ++p;
4314         }
4315       obstack_grow (&collect_obstack, q, strlen (q));
4316       obstack_grow (&collect_obstack, "'", 1);
4317
4318       for (args = switches[i].args; args && *args; args++)
4319         {
4320           obstack_grow (&collect_obstack, " '", 2);
4321           q = *args;
4322           while ((p = strchr (q, '\'')))
4323             {
4324               obstack_grow (&collect_obstack, q, p - q);
4325               obstack_grow (&collect_obstack, "'\\''", 4);
4326               q = ++p;
4327             }
4328           obstack_grow (&collect_obstack, q, strlen (q));
4329           obstack_grow (&collect_obstack, "'", 1);
4330         }
4331     }
4332   obstack_grow (&collect_obstack, "\0", 1);
4333   putenv (XOBFINISH (&collect_obstack, char *));
4334 }
4335 \f
4336 /* Process a spec string, accumulating and running commands.  */
4337
4338 /* These variables describe the input file name.
4339    input_file_number is the index on outfiles of this file,
4340    so that the output file name can be stored for later use by %o.
4341    input_basename is the start of the part of the input file
4342    sans all directory names, and basename_length is the number
4343    of characters starting there excluding the suffix .c or whatever.  */
4344
4345 static const char *input_filename;
4346 static int input_file_number;
4347 size_t input_filename_length;
4348 static int basename_length;
4349 static int suffixed_basename_length;
4350 static const char *input_basename;
4351 static const char *input_suffix;
4352 #ifndef HOST_LACKS_INODE_NUMBERS
4353 static struct stat input_stat;
4354 #endif
4355 static int input_stat_set;
4356
4357 /* The compiler used to process the current input file.  */
4358 static struct compiler *input_file_compiler;
4359
4360 /* These are variables used within do_spec and do_spec_1.  */
4361
4362 /* Nonzero if an arg has been started and not yet terminated
4363    (with space, tab or newline).  */
4364 static int arg_going;
4365
4366 /* Nonzero means %d or %g has been seen; the next arg to be terminated
4367    is a temporary file name.  */
4368 static int delete_this_arg;
4369
4370 /* Nonzero means %w has been seen; the next arg to be terminated
4371    is the output file name of this compilation.  */
4372 static int this_is_output_file;
4373
4374 /* Nonzero means %s has been seen; the next arg to be terminated
4375    is the name of a library file and we should try the standard
4376    search dirs for it.  */
4377 static int this_is_library_file;
4378
4379 /* Nonzero means that the input of this command is coming from a pipe.  */
4380 static int input_from_pipe;
4381
4382 /* Nonnull means substitute this for any suffix when outputting a switches
4383    arguments.  */
4384 static const char *suffix_subst;
4385
4386 /* Process the spec SPEC and run the commands specified therein.
4387    Returns 0 if the spec is successfully processed; -1 if failed.  */
4388
4389 int
4390 do_spec (const char *spec)
4391 {
4392   int value;
4393
4394   value = do_spec_2 (spec);
4395
4396   /* Force out any unfinished command.
4397      If -pipe, this forces out the last command if it ended in `|'.  */
4398   if (value == 0)
4399     {
4400       if (argbuf_index > 0 && !strcmp (argbuf[argbuf_index - 1], "|"))
4401         argbuf_index--;
4402
4403       set_collect_gcc_options ();
4404
4405       if (argbuf_index > 0)
4406         value = execute ();
4407     }
4408
4409   return value;
4410 }
4411
4412 static int
4413 do_spec_2 (const char *spec)
4414 {
4415   const char *string;
4416   int result;
4417
4418   clear_args ();
4419   arg_going = 0;
4420   delete_this_arg = 0;
4421   this_is_output_file = 0;
4422   this_is_library_file = 0;
4423   input_from_pipe = 0;
4424   suffix_subst = NULL;
4425
4426   result = do_spec_1 (spec, 0, NULL);
4427
4428   /* End any pending argument.  */
4429   if (arg_going)
4430     {
4431       obstack_1grow (&obstack, 0);
4432       string = XOBFINISH (&obstack, const char *);
4433       if (this_is_library_file)
4434         string = find_file (string);
4435       store_arg (string, delete_this_arg, this_is_output_file);
4436       if (this_is_output_file)
4437         outfiles[input_file_number] = string;
4438       arg_going = 0;
4439     }
4440
4441   return result;
4442 }
4443
4444
4445 /* Process the given spec string and add any new options to the end
4446    of the switches/n_switches array.  */
4447
4448 static void
4449 do_option_spec (const char *name, const char *spec)
4450 {
4451   unsigned int i, value_count, value_len;
4452   const char *p, *q, *value;
4453   char *tmp_spec, *tmp_spec_p;
4454
4455   if (configure_default_options[0].name == NULL)
4456     return;
4457
4458   for (i = 0; i < ARRAY_SIZE (configure_default_options); i++)
4459     if (strcmp (configure_default_options[i].name, name) == 0)
4460       break;
4461   if (i == ARRAY_SIZE (configure_default_options))
4462     return;
4463
4464   value = configure_default_options[i].value;
4465   value_len = strlen (value);
4466
4467   /* Compute the size of the final spec.  */
4468   value_count = 0;
4469   p = spec;
4470   while ((p = strstr (p, "%(VALUE)")) != NULL)
4471     {
4472       p ++;
4473       value_count ++;
4474     }
4475
4476   /* Replace each %(VALUE) by the specified value.  */
4477   tmp_spec = alloca (strlen (spec) + 1
4478                      + value_count * (value_len - strlen ("%(VALUE)")));
4479   tmp_spec_p = tmp_spec;
4480   q = spec;
4481   while ((p = strstr (q, "%(VALUE)")) != NULL)
4482     {
4483       memcpy (tmp_spec_p, q, p - q);
4484       tmp_spec_p = tmp_spec_p + (p - q);
4485       memcpy (tmp_spec_p, value, value_len);
4486       tmp_spec_p += value_len;
4487       q = p + strlen ("%(VALUE)");
4488     }
4489   strcpy (tmp_spec_p, q);
4490
4491   do_self_spec (tmp_spec);
4492 }
4493
4494 /* Process the given spec string and add any new options to the end
4495    of the switches/n_switches array.  */
4496
4497 static void
4498 do_self_spec (const char *spec)
4499 {
4500   do_spec_2 (spec);
4501   do_spec_1 (" ", 0, NULL);
4502
4503   if (argbuf_index > 0)
4504     {
4505       int i, first;
4506
4507       first = n_switches;
4508       n_switches += argbuf_index;
4509       switches = xrealloc (switches,
4510                            sizeof (struct switchstr) * (n_switches + 1));
4511
4512       switches[n_switches] = switches[first];
4513       for (i = 0; i < argbuf_index; i++)
4514         {
4515           struct switchstr *sw;
4516
4517           /* Each switch should start with '-'.  */
4518           if (argbuf[i][0] != '-')
4519             fatal ("switch '%s' does not start with '-'", argbuf[i]);
4520
4521           sw = &switches[i + first];
4522           sw->part1 = &argbuf[i][1];
4523           sw->args = 0;
4524           sw->live_cond = SWITCH_OK;
4525           sw->validated = 0;
4526           sw->ordering = 0;
4527         }
4528     }
4529 }
4530
4531 /* Callback for processing %D and %I specs.  */
4532
4533 struct spec_path_info {
4534   const char *option;
4535   const char *append;
4536   size_t append_len;
4537   bool omit_relative;
4538   bool separate_options;
4539 };
4540
4541 static void *
4542 spec_path (char *path, void *data)
4543 {
4544   struct spec_path_info *info = data;
4545   size_t len = 0;
4546   char save = 0;
4547
4548   if (info->omit_relative && !IS_ABSOLUTE_PATH (path))
4549     return NULL;
4550
4551   if (info->append_len != 0)
4552     {
4553       len = strlen (path);
4554       memcpy (path + len, info->append, info->append_len + 1);
4555     }
4556
4557   if (!is_directory (path, true))
4558     return NULL;
4559
4560   do_spec_1 (info->option, 1, NULL);
4561   if (info->separate_options)
4562     do_spec_1 (" ", 0, NULL);
4563
4564   if (info->append_len == 0)
4565     {
4566       len = strlen (path);
4567       save = path[len - 1];
4568       if (IS_DIR_SEPARATOR (path[len - 1]))
4569         path[len - 1] = '\0';
4570     }
4571
4572   do_spec_1 (path, 1, NULL);
4573   do_spec_1 (" ", 0, NULL);
4574
4575   /* Must not damage the original path.  */
4576   if (info->append_len == 0)
4577     path[len - 1] = save;
4578
4579   return NULL;
4580 }
4581
4582 /* Process the sub-spec SPEC as a portion of a larger spec.
4583    This is like processing a whole spec except that we do
4584    not initialize at the beginning and we do not supply a
4585    newline by default at the end.
4586    INSWITCH nonzero means don't process %-sequences in SPEC;
4587    in this case, % is treated as an ordinary character.
4588    This is used while substituting switches.
4589    INSWITCH nonzero also causes SPC not to terminate an argument.
4590
4591    Value is zero unless a line was finished
4592    and the command on that line reported an error.  */
4593
4594 static int
4595 do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
4596 {
4597   const char *p = spec;
4598   int c;
4599   int i;
4600   const char *string;
4601   int value;
4602
4603   while ((c = *p++))
4604     /* If substituting a switch, treat all chars like letters.
4605        Otherwise, NL, SPC, TAB and % are special.  */
4606     switch (inswitch ? 'a' : c)
4607       {
4608       case '\n':
4609         /* End of line: finish any pending argument,
4610            then run the pending command if one has been started.  */
4611         if (arg_going)
4612           {
4613             obstack_1grow (&obstack, 0);
4614             string = XOBFINISH (&obstack, const char *);
4615             if (this_is_library_file)
4616               string = find_file (string);
4617             store_arg (string, delete_this_arg, this_is_output_file);
4618             if (this_is_output_file)
4619               outfiles[input_file_number] = string;
4620           }
4621         arg_going = 0;
4622
4623         if (argbuf_index > 0 && !strcmp (argbuf[argbuf_index - 1], "|"))
4624           {
4625             /* A `|' before the newline means use a pipe here,
4626                but only if -pipe was specified.
4627                Otherwise, execute now and don't pass the `|' as an arg.  */
4628             if (use_pipes)
4629               {
4630                 input_from_pipe = 1;
4631                 break;
4632               }
4633             else
4634               argbuf_index--;
4635           }
4636
4637         set_collect_gcc_options ();
4638
4639         if (argbuf_index > 0)
4640           {
4641             value = execute ();
4642             if (value)
4643               return value;
4644           }
4645         /* Reinitialize for a new command, and for a new argument.  */
4646         clear_args ();
4647         arg_going = 0;
4648         delete_this_arg = 0;
4649         this_is_output_file = 0;
4650         this_is_library_file = 0;
4651         input_from_pipe = 0;
4652         break;
4653
4654       case '|':
4655         /* End any pending argument.  */
4656         if (arg_going)
4657           {
4658             obstack_1grow (&obstack, 0);
4659             string = XOBFINISH (&obstack, const char *);
4660             if (this_is_library_file)
4661               string = find_file (string);
4662             store_arg (string, delete_this_arg, this_is_output_file);
4663             if (this_is_output_file)
4664               outfiles[input_file_number] = string;
4665           }
4666
4667         /* Use pipe */
4668         obstack_1grow (&obstack, c);
4669         arg_going = 1;
4670         break;
4671
4672       case '\t':
4673       case ' ':
4674         /* Space or tab ends an argument if one is pending.  */
4675         if (arg_going)
4676           {
4677             obstack_1grow (&obstack, 0);
4678             string = XOBFINISH (&obstack, const char *);
4679             if (this_is_library_file)
4680               string = find_file (string);
4681             store_arg (string, delete_this_arg, this_is_output_file);
4682             if (this_is_output_file)
4683               outfiles[input_file_number] = string;
4684           }
4685         /* Reinitialize for a new argument.  */
4686         arg_going = 0;
4687         delete_this_arg = 0;
4688         this_is_output_file = 0;
4689         this_is_library_file = 0;
4690         break;
4691
4692       case '%':
4693         switch (c = *p++)
4694           {
4695           case 0:
4696             fatal ("spec '%s' invalid", spec);
4697
4698           case 'b':
4699             obstack_grow (&obstack, input_basename, basename_length);
4700             arg_going = 1;
4701             break;
4702
4703           case 'B':
4704             obstack_grow (&obstack, input_basename, suffixed_basename_length);
4705             arg_going = 1;
4706             break;
4707
4708           case 'd':
4709             delete_this_arg = 2;
4710             break;
4711
4712           /* Dump out the directories specified with LIBRARY_PATH,
4713              followed by the absolute directories
4714              that we search for startfiles.  */
4715           case 'D':
4716             {
4717               struct spec_path_info info;
4718
4719               info.option = "-L";
4720               info.append_len = 0;
4721 #ifdef RELATIVE_PREFIX_NOT_LINKDIR
4722               /* Used on systems which record the specified -L dirs
4723                  and use them to search for dynamic linking.
4724                  Relative directories always come from -B,
4725                  and it is better not to use them for searching
4726                  at run time.  In particular, stage1 loses.  */
4727               info.omit_relative = true;
4728 #else
4729               info.omit_relative = false;
4730 #endif
4731               info.separate_options = false;
4732
4733               for_each_path (&startfile_prefixes, true, 0, spec_path, &info);
4734             }
4735             break;
4736
4737           case 'e':
4738             /* %efoo means report an error with `foo' as error message
4739                and don't execute any more commands for this file.  */
4740             {
4741               const char *q = p;
4742               char *buf;
4743               while (*p != 0 && *p != '\n')
4744                 p++;
4745               buf = alloca (p - q + 1);
4746               strncpy (buf, q, p - q);
4747               buf[p - q] = 0;
4748               error ("%s", buf);
4749               return -1;
4750             }
4751             break;
4752           case 'n':
4753             /* %nfoo means report a notice with `foo' on stderr.  */
4754             {
4755               const char *q = p;
4756               char *buf;
4757               while (*p != 0 && *p != '\n')
4758                 p++;
4759               buf = alloca (p - q + 1);
4760               strncpy (buf, q, p - q);
4761               buf[p - q] = 0;
4762               notice ("%s\n", buf);
4763               if (*p)
4764                 p++;
4765             }
4766             break;
4767
4768           case 'j':
4769             {
4770               struct stat st;
4771
4772               /* If save_temps_flag is off, and the HOST_BIT_BUCKET is
4773                  defined, and it is not a directory, and it is
4774                  writable, use it.  Otherwise, treat this like any
4775                  other temporary file.  */
4776
4777               if ((!save_temps_flag)
4778                   && (stat (HOST_BIT_BUCKET, &st) == 0) && (!S_ISDIR (st.st_mode))
4779                   && (access (HOST_BIT_BUCKET, W_OK) == 0))
4780                 {
4781                   obstack_grow (&obstack, HOST_BIT_BUCKET,
4782                                 strlen (HOST_BIT_BUCKET));
4783                   delete_this_arg = 0;
4784                   arg_going = 1;
4785                   break;
4786                 }
4787             }
4788             goto create_temp_file;
4789           case '|':
4790             if (use_pipes)
4791               {
4792                 obstack_1grow (&obstack, '-');
4793                 delete_this_arg = 0;
4794                 arg_going = 1;
4795
4796                 /* consume suffix */
4797                 while (*p == '.' || ISALNUM ((unsigned char) *p))
4798                   p++;
4799                 if (p[0] == '%' && p[1] == 'O')
4800                   p += 2;
4801
4802                 break;
4803               }
4804             goto create_temp_file;
4805           case 'm':
4806             if (use_pipes)
4807               {
4808                 /* consume suffix */
4809                 while (*p == '.' || ISALNUM ((unsigned char) *p))
4810                   p++;
4811                 if (p[0] == '%' && p[1] == 'O')
4812                   p += 2;
4813
4814                 break;
4815               }
4816             goto create_temp_file;
4817           case 'g':
4818           case 'u':
4819           case 'U':
4820           create_temp_file:
4821               {
4822                 struct temp_name *t;
4823                 int suffix_length;
4824                 const char *suffix = p;
4825                 char *saved_suffix = NULL;
4826
4827                 while (*p == '.' || ISALNUM ((unsigned char) *p))
4828                   p++;
4829                 suffix_length = p - suffix;
4830                 if (p[0] == '%' && p[1] == 'O')
4831                   {
4832                     p += 2;
4833                     /* We don't support extra suffix characters after %O.  */
4834                     if (*p == '.' || ISALNUM ((unsigned char) *p))
4835                       fatal ("spec '%s' has invalid '%%0%c'", spec, *p);
4836                     if (suffix_length == 0)
4837                       suffix = TARGET_OBJECT_SUFFIX;
4838                     else
4839                       {
4840                         saved_suffix
4841                           = XNEWVEC (char, suffix_length
4842                                      + strlen (TARGET_OBJECT_SUFFIX));
4843                         strncpy (saved_suffix, suffix, suffix_length);
4844                         strcpy (saved_suffix + suffix_length,
4845                                 TARGET_OBJECT_SUFFIX);
4846                       }
4847                     suffix_length += strlen (TARGET_OBJECT_SUFFIX);
4848                   }
4849
4850                 /* If the input_filename has the same suffix specified
4851                    for the %g, %u, or %U, and -save-temps is specified,
4852                    we could end up using that file as an intermediate
4853                    thus clobbering the user's source file (.e.g.,
4854                    gcc -save-temps foo.s would clobber foo.s with the
4855                    output of cpp0).  So check for this condition and
4856                    generate a temp file as the intermediate.  */
4857
4858                 if (save_temps_flag)
4859                   {
4860                     temp_filename_length = basename_length + suffix_length;
4861                     temp_filename = alloca (temp_filename_length + 1);
4862                     strncpy ((char *) temp_filename, input_basename, basename_length);
4863                     strncpy ((char *) temp_filename + basename_length, suffix,
4864                              suffix_length);
4865                     *((char *) temp_filename + temp_filename_length) = '\0';
4866                     if (strcmp (temp_filename, input_filename) != 0)
4867                       {
4868 #ifndef HOST_LACKS_INODE_NUMBERS
4869                         struct stat st_temp;
4870
4871                         /* Note, set_input() resets input_stat_set to 0.  */
4872                         if (input_stat_set == 0)
4873                           {
4874                             input_stat_set = stat (input_filename, &input_stat);
4875                             if (input_stat_set >= 0)
4876                               input_stat_set = 1;
4877                           }
4878
4879                         /* If we have the stat for the input_filename
4880                            and we can do the stat for the temp_filename
4881                            then the they could still refer to the same
4882                            file if st_dev/st_ino's are the same.  */
4883                         if (input_stat_set != 1
4884                             || stat (temp_filename, &st_temp) < 0
4885                             || input_stat.st_dev != st_temp.st_dev
4886                             || input_stat.st_ino != st_temp.st_ino)
4887 #else
4888                         /* Just compare canonical pathnames.  */
4889                         char* input_realname = lrealpath (input_filename);
4890                         char* temp_realname = lrealpath (temp_filename);
4891                         bool files_differ = strcmp (input_realname, temp_realname);
4892                         free (input_realname);
4893                         free (temp_realname);
4894                         if (files_differ)
4895 #endif
4896                           {
4897                             temp_filename = save_string (temp_filename,
4898                                                          temp_filename_length + 1);
4899                             obstack_grow (&obstack, temp_filename,
4900                                                     temp_filename_length);
4901                             arg_going = 1;
4902                             delete_this_arg = 0;
4903                             break;
4904                           }
4905                       }
4906                   }
4907
4908                 /* See if we already have an association of %g/%u/%U and
4909                    suffix.  */
4910                 for (t = temp_names; t; t = t->next)
4911                   if (t->length == suffix_length
4912                       && strncmp (t->suffix, suffix, suffix_length) == 0
4913                       && t->unique == (c == 'u' || c == 'U' || c == 'j'))
4914                     break;
4915
4916                 /* Make a new association if needed.  %u and %j
4917                    require one.  */
4918                 if (t == 0 || c == 'u' || c == 'j')
4919                   {
4920                     if (t == 0)
4921                       {
4922                         t = xmalloc (sizeof (struct temp_name));
4923                         t->next = temp_names;
4924                         temp_names = t;
4925                       }
4926                     t->length = suffix_length;
4927                     if (saved_suffix)
4928                       {
4929                         t->suffix = saved_suffix;
4930                         saved_suffix = NULL;
4931                       }
4932                     else
4933                       t->suffix = save_string (suffix, suffix_length);
4934                     t->unique = (c == 'u' || c == 'U' || c == 'j');
4935                     temp_filename = make_temp_file (t->suffix);
4936                     temp_filename_length = strlen (temp_filename);
4937                     t->filename = temp_filename;
4938                     t->filename_length = temp_filename_length;
4939                   }
4940
4941                 if (saved_suffix)
4942                   free (saved_suffix);
4943
4944                 obstack_grow (&obstack, t->filename, t->filename_length);
4945                 delete_this_arg = 1;
4946               }
4947             arg_going = 1;
4948             break;
4949
4950           case 'i':
4951             if (combine_inputs)
4952               {
4953                 for (i = 0; (int) i < n_infiles; i++)
4954                   if ((!infiles[i].language) || (infiles[i].language[0] != '*'))
4955                     if (infiles[i].incompiler == input_file_compiler)
4956                       {
4957                         store_arg (infiles[i].name, 0, 0);
4958                         infiles[i].compiled = true;
4959                       }
4960               }
4961             else
4962               {
4963                 obstack_grow (&obstack, input_filename, input_filename_length);
4964                 arg_going = 1;
4965               }
4966             break;
4967
4968           case 'I':
4969             {
4970               struct spec_path_info info;
4971
4972               if (multilib_dir)
4973                 {
4974                   do_spec_1 ("-imultilib", 1, NULL);
4975                   /* Make this a separate argument.  */
4976                   do_spec_1 (" ", 0, NULL);
4977                   do_spec_1 (multilib_dir, 1, NULL);
4978                   do_spec_1 (" ", 0, NULL);
4979                 }
4980
4981               if (gcc_exec_prefix)
4982                 {
4983                   do_spec_1 ("-iprefix", 1, NULL);
4984                   /* Make this a separate argument.  */
4985                   do_spec_1 (" ", 0, NULL);
4986                   do_spec_1 (gcc_exec_prefix, 1, NULL);
4987                   do_spec_1 (" ", 0, NULL);
4988                 }
4989
4990               if (target_system_root_changed ||
4991                   (target_system_root && target_sysroot_hdrs_suffix))
4992                 {
4993                   do_spec_1 ("-isysroot", 1, NULL);
4994                   /* Make this a separate argument.  */
4995                   do_spec_1 (" ", 0, NULL);
4996                   do_spec_1 (target_system_root, 1, NULL);
4997                   if (target_sysroot_hdrs_suffix)
4998                     do_spec_1 (target_sysroot_hdrs_suffix, 1, NULL);
4999                   do_spec_1 (" ", 0, NULL);
5000                 }
5001
5002               info.option = "-isystem";
5003               info.append = "include";
5004               info.append_len = strlen (info.append);
5005               info.omit_relative = false;
5006               info.separate_options = true;
5007
5008               for_each_path (&include_prefixes, false, info.append_len,
5009                              spec_path, &info);
5010             }
5011             break;
5012
5013           case 'o':
5014             {
5015               int max = n_infiles;
5016               max += lang_specific_extra_outfiles;
5017
5018               for (i = 0; i < max; i++)
5019                 if (outfiles[i])
5020                   store_arg (outfiles[i], 0, 0);
5021               break;
5022             }
5023
5024           case 'O':
5025             obstack_grow (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
5026             arg_going = 1;
5027             break;
5028
5029           case 's':
5030             this_is_library_file = 1;
5031             break;
5032
5033           case 'V':
5034             outfiles[input_file_number] = NULL;
5035             break;
5036
5037           case 'w':
5038             this_is_output_file = 1;
5039             break;
5040
5041           case 'W':
5042             {
5043               int cur_index = argbuf_index;
5044               /* Handle the {...} following the %W.  */
5045               if (*p != '{')
5046                 fatal ("spec '%s' has invalid '%%W%c", spec, *p);
5047               p = handle_braces (p + 1);
5048               if (p == 0)
5049                 return -1;
5050               /* End any pending argument.  */
5051               if (arg_going)
5052                 {
5053                   obstack_1grow (&obstack, 0);
5054                   string = XOBFINISH (&obstack, const char *);
5055                   if (this_is_library_file)
5056                     string = find_file (string);
5057                   store_arg (string, delete_this_arg, this_is_output_file);
5058                   if (this_is_output_file)
5059                     outfiles[input_file_number] = string;
5060                   arg_going = 0;
5061                 }
5062               /* If any args were output, mark the last one for deletion
5063                  on failure.  */
5064               if (argbuf_index != cur_index)
5065                 record_temp_file (argbuf[argbuf_index - 1], 0, 1);
5066               break;
5067             }
5068
5069           /* %x{OPTION} records OPTION for %X to output.  */
5070           case 'x':
5071             {
5072               const char *p1 = p;
5073               char *string;
5074
5075               /* Skip past the option value and make a copy.  */
5076               if (*p != '{')
5077                 fatal ("spec '%s' has invalid '%%x%c'", spec, *p);
5078               while (*p++ != '}')
5079                 ;
5080               string = save_string (p1 + 1, p - p1 - 2);
5081
5082               /* See if we already recorded this option.  */
5083               for (i = 0; i < n_linker_options; i++)
5084                 if (! strcmp (string, linker_options[i]))
5085                   {
5086                     free (string);
5087                     return 0;
5088                   }
5089
5090               /* This option is new; add it.  */
5091               add_linker_option (string, strlen (string));
5092             }
5093             break;
5094
5095           /* Dump out the options accumulated previously using %x.  */
5096           case 'X':
5097             for (i = 0; i < n_linker_options; i++)
5098               {
5099                 do_spec_1 (linker_options[i], 1, NULL);
5100                 /* Make each accumulated option a separate argument.  */
5101                 do_spec_1 (" ", 0, NULL);
5102               }
5103             break;
5104
5105           /* Dump out the options accumulated previously using -Wa,.  */
5106           case 'Y':
5107             for (i = 0; i < n_assembler_options; i++)
5108               {
5109                 do_spec_1 (assembler_options[i], 1, NULL);
5110                 /* Make each accumulated option a separate argument.  */
5111                 do_spec_1 (" ", 0, NULL);
5112               }
5113             break;
5114
5115           /* Dump out the options accumulated previously using -Wp,.  */
5116           case 'Z':
5117             for (i = 0; i < n_preprocessor_options; i++)
5118               {
5119                 do_spec_1 (preprocessor_options[i], 1, NULL);
5120                 /* Make each accumulated option a separate argument.  */
5121                 do_spec_1 (" ", 0, NULL);
5122               }
5123             break;
5124
5125             /* Here are digits and numbers that just process
5126                a certain constant string as a spec.  */
5127
5128           case '1':
5129             value = do_spec_1 (cc1_spec, 0, NULL);
5130             if (value != 0)
5131               return value;
5132             break;
5133
5134           case '2':
5135             value = do_spec_1 (cc1plus_spec, 0, NULL);
5136             if (value != 0)
5137               return value;
5138             break;
5139
5140           case 'a':
5141             value = do_spec_1 (asm_spec, 0, NULL);
5142             if (value != 0)
5143               return value;
5144             break;
5145
5146           case 'A':
5147             value = do_spec_1 (asm_final_spec, 0, NULL);
5148             if (value != 0)
5149               return value;
5150             break;
5151
5152           case 'C':
5153             {
5154               const char *const spec
5155                 = (input_file_compiler->cpp_spec
5156                    ? input_file_compiler->cpp_spec
5157                    : cpp_spec);
5158               value = do_spec_1 (spec, 0, NULL);
5159               if (value != 0)
5160                 return value;
5161             }
5162             break;
5163
5164           case 'E':
5165             value = do_spec_1 (endfile_spec, 0, NULL);
5166             if (value != 0)
5167               return value;
5168             break;
5169
5170           case 'l':
5171             value = do_spec_1 (link_spec, 0, NULL);
5172             if (value != 0)
5173               return value;
5174             break;
5175
5176           case 'L':
5177             value = do_spec_1 (lib_spec, 0, NULL);
5178             if (value != 0)
5179               return value;
5180             break;
5181
5182           case 'G':
5183             value = do_spec_1 (libgcc_spec, 0, NULL);
5184             if (value != 0)
5185               return value;
5186             break;
5187
5188           case 'R':
5189             /* We assume there is a directory
5190                separator at the end of this string.  */
5191             if (target_system_root)
5192               {
5193                 obstack_grow (&obstack, target_system_root,
5194                               strlen (target_system_root));
5195                 if (target_sysroot_suffix)
5196                   obstack_grow (&obstack, target_sysroot_suffix,
5197                                 strlen (target_sysroot_suffix));
5198               }
5199             break;
5200
5201           case 'S':
5202             value = do_spec_1 (startfile_spec, 0, NULL);
5203             if (value != 0)
5204               return value;
5205             break;
5206
5207             /* Here we define characters other than letters and digits.  */
5208
5209           case '{':
5210             p = handle_braces (p);
5211             if (p == 0)
5212               return -1;
5213             break;
5214
5215           case ':':
5216             p = handle_spec_function (p);
5217             if (p == 0)
5218               return -1;
5219             break;
5220
5221           case '%':
5222             obstack_1grow (&obstack, '%');
5223             break;
5224
5225           case '.':
5226             {
5227               unsigned len = 0;
5228
5229               while (p[len] && p[len] != ' ' && p[len] != '%')
5230                 len++;
5231               suffix_subst = save_string (p - 1, len + 1);
5232               p += len;
5233             }
5234            break;
5235
5236            /* Henceforth ignore the option(s) matching the pattern
5237               after the %<.  */
5238           case '<':
5239             {
5240               unsigned len = 0;
5241               int have_wildcard = 0;
5242               int i;
5243
5244               while (p[len] && p[len] != ' ' && p[len] != '\t')
5245                 len++;
5246
5247               if (p[len-1] == '*')
5248                 have_wildcard = 1;
5249
5250               for (i = 0; i < n_switches; i++)
5251                 if (!strncmp (switches[i].part1, p, len - have_wildcard)
5252                     && (have_wildcard || switches[i].part1[len] == '\0'))
5253                   {
5254                     switches[i].live_cond = SWITCH_IGNORE;
5255                     switches[i].validated = 1;
5256                   }
5257
5258               p += len;
5259             }
5260             break;
5261
5262           case '*':
5263             if (soft_matched_part)
5264               {
5265                 do_spec_1 (soft_matched_part, 1, NULL);
5266                 do_spec_1 (" ", 0, NULL);
5267               }
5268             else
5269               /* Catch the case where a spec string contains something like
5270                  '%{foo:%*}'.  i.e. there is no * in the pattern on the left
5271                  hand side of the :.  */
5272               error ("spec failure: '%%*' has not been initialized by pattern match");
5273             break;
5274
5275             /* Process a string found as the value of a spec given by name.
5276                This feature allows individual machine descriptions
5277                to add and use their own specs.
5278                %[...] modifies -D options the way %P does;
5279                %(...) uses the spec unmodified.  */
5280           case '[':
5281             error ("warning: use of obsolete %%[ operator in specs");
5282           case '(':
5283             {
5284               const char *name = p;
5285               struct spec_list *sl;
5286               int len;
5287
5288               /* The string after the S/P is the name of a spec that is to be
5289                  processed.  */
5290               while (*p && *p != ')' && *p != ']')
5291                 p++;
5292
5293               /* See if it's in the list.  */
5294               for (len = p - name, sl = specs; sl; sl = sl->next)
5295                 if (sl->name_len == len && !strncmp (sl->name, name, len))
5296                   {
5297                     name = *(sl->ptr_spec);
5298 #ifdef DEBUG_SPECS
5299                     notice ("Processing spec %c%s%c, which is '%s'\n",
5300                             c, sl->name, (c == '(') ? ')' : ']', name);
5301 #endif
5302                     break;
5303                   }
5304
5305               if (sl)
5306                 {
5307                   if (c == '(')
5308                     {
5309                       value = do_spec_1 (name, 0, NULL);
5310                       if (value != 0)
5311                         return value;
5312                     }
5313                   else
5314                     {
5315                       char *x = alloca (strlen (name) * 2 + 1);
5316                       char *buf = x;
5317                       const char *y = name;
5318                       int flag = 0;
5319
5320                       /* Copy all of NAME into BUF, but put __ after
5321                          every -D and at the end of each arg.  */
5322                       while (1)
5323                         {
5324                           if (! strncmp (y, "-D", 2))
5325                             {
5326                               *x++ = '-';
5327                               *x++ = 'D';
5328                               *x++ = '_';
5329                               *x++ = '_';
5330                               y += 2;
5331                               flag = 1;
5332                               continue;
5333                             }
5334                           else if (flag
5335                                    && (*y == ' ' || *y == '\t' || *y == '='
5336                                        || *y == '}' || *y == 0))
5337                             {
5338                               *x++ = '_';
5339                               *x++ = '_';
5340                               flag = 0;
5341                             }
5342                           if (*y == 0)
5343                             break;
5344                           else
5345                             *x++ = *y++;
5346                         }
5347                       *x = 0;
5348
5349                       value = do_spec_1 (buf, 0, NULL);
5350                       if (value != 0)
5351                         return value;
5352                     }
5353                 }
5354
5355               /* Discard the closing paren or bracket.  */
5356               if (*p)
5357                 p++;
5358             }
5359             break;
5360
5361           default:
5362             error ("spec failure: unrecognized spec option '%c'", c);
5363             break;
5364           }
5365         break;
5366
5367       case '\\':
5368         /* Backslash: treat next character as ordinary.  */
5369         c = *p++;
5370
5371         /* Fall through.  */
5372       default:
5373         /* Ordinary character: put it into the current argument.  */
5374         obstack_1grow (&obstack, c);
5375         arg_going = 1;
5376       }
5377
5378   /* End of string.  If we are processing a spec function, we need to
5379      end any pending argument.  */
5380   if (processing_spec_function && arg_going)
5381     {
5382       obstack_1grow (&obstack, 0);
5383       string = XOBFINISH (&obstack, const char *);
5384       if (this_is_library_file)
5385         string = find_file (string);
5386       store_arg (string, delete_this_arg, this_is_output_file);
5387       if (this_is_output_file)
5388         outfiles[input_file_number] = string;
5389       arg_going = 0;
5390     }
5391
5392   return 0;
5393 }
5394
5395 /* Look up a spec function.  */
5396
5397 static const struct spec_function *
5398 lookup_spec_function (const char *name)
5399 {
5400   const struct spec_function *sf;
5401
5402   for (sf = static_spec_functions; sf->name != NULL; sf++)
5403     if (strcmp (sf->name, name) == 0)
5404       return sf;
5405
5406   return NULL;
5407 }
5408
5409 /* Evaluate a spec function.  */
5410
5411 static const char *
5412 eval_spec_function (const char *func, const char *args)
5413 {
5414   const struct spec_function *sf;
5415   const char *funcval;
5416
5417   /* Saved spec processing context.  */
5418   int save_argbuf_index;
5419   int save_argbuf_length;
5420   const char **save_argbuf;
5421
5422   int save_arg_going;
5423   int save_delete_this_arg;
5424   int save_this_is_output_file;
5425   int save_this_is_library_file;
5426   int save_input_from_pipe;
5427   const char *save_suffix_subst;
5428
5429
5430   sf = lookup_spec_function (func);
5431   if (sf == NULL)
5432     fatal ("unknown spec function '%s'", func);
5433
5434   /* Push the spec processing context.  */
5435   save_argbuf_index = argbuf_index;
5436   save_argbuf_length = argbuf_length;
5437   save_argbuf = argbuf;
5438
5439   save_arg_going = arg_going;
5440   save_delete_this_arg = delete_this_arg;
5441   save_this_is_output_file = this_is_output_file;
5442   save_this_is_library_file = this_is_library_file;
5443   save_input_from_pipe = input_from_pipe;
5444   save_suffix_subst = suffix_subst;
5445
5446   /* Create a new spec processing context, and build the function
5447      arguments.  */
5448
5449   alloc_args ();
5450   if (do_spec_2 (args) < 0)
5451     fatal ("error in args to spec function '%s'", func);
5452
5453   /* argbuf_index is an index for the next argument to be inserted, and
5454      so contains the count of the args already inserted.  */
5455
5456   funcval = (*sf->func) (argbuf_index, argbuf);
5457
5458   /* Pop the spec processing context.  */
5459   argbuf_index = save_argbuf_index;
5460   argbuf_length = save_argbuf_length;
5461   free (argbuf);
5462   argbuf = save_argbuf;
5463
5464   arg_going = save_arg_going;
5465   delete_this_arg = save_delete_this_arg;
5466   this_is_output_file = save_this_is_output_file;
5467   this_is_library_file = save_this_is_library_file;
5468   input_from_pipe = save_input_from_pipe;
5469   suffix_subst = save_suffix_subst;
5470
5471   return funcval;
5472 }
5473
5474 /* Handle a spec function call of the form:
5475
5476    %:function(args)
5477
5478    ARGS is processed as a spec in a separate context and split into an
5479    argument vector in the normal fashion.  The function returns a string
5480    containing a spec which we then process in the caller's context, or
5481    NULL if no processing is required.  */
5482
5483 static const char *
5484 handle_spec_function (const char *p)
5485 {
5486   char *func, *args;
5487   const char *endp, *funcval;
5488   int count;
5489
5490   processing_spec_function++;
5491
5492   /* Get the function name.  */
5493   for (endp = p; *endp != '\0'; endp++)
5494     {
5495       if (*endp == '(')         /* ) */
5496         break;
5497       /* Only allow [A-Za-z0-9], -, and _ in function names.  */
5498       if (!ISALNUM (*endp) && !(*endp == '-' || *endp == '_'))
5499         fatal ("malformed spec function name");
5500     }
5501   if (*endp != '(')             /* ) */
5502     fatal ("no arguments for spec function");
5503   func = save_string (p, endp - p);
5504   p = ++endp;
5505
5506   /* Get the arguments.  */
5507   for (count = 0; *endp != '\0'; endp++)
5508     {
5509       /* ( */
5510       if (*endp == ')')
5511         {
5512           if (count == 0)
5513             break;
5514           count--;
5515         }
5516       else if (*endp == '(')    /* ) */
5517         count++;
5518     }
5519   /* ( */
5520   if (*endp != ')')
5521     fatal ("malformed spec function arguments");
5522   args = save_string (p, endp - p);
5523   p = ++endp;
5524
5525   /* p now points to just past the end of the spec function expression.  */
5526
5527   funcval = eval_spec_function (func, args);
5528   if (funcval != NULL && do_spec_1 (funcval, 0, NULL) < 0)
5529     p = NULL;
5530
5531   free (func);
5532   free (args);
5533
5534   processing_spec_function--;
5535
5536   return p;
5537 }
5538
5539 /* Inline subroutine of handle_braces.  Returns true if the current
5540    input suffix matches the atom bracketed by ATOM and END_ATOM.  */
5541 static inline bool
5542 input_suffix_matches (const char *atom, const char *end_atom)
5543 {
5544   /* We special case the semantics of {.s:...} and {.S:...} and their
5545      negative variants.  Instead of testing the input filename suffix,
5546      we test whether the input source file is an assembler file or an
5547      assembler-with-cpp file respectively.  This allows us to correctly
5548      handle the -x command line option.  */
5549
5550   if (atom + 1 == end_atom
5551       && input_file_compiler
5552       && input_file_compiler->suffix)
5553     {
5554       if (*atom == 's')
5555         return !strcmp (input_file_compiler->suffix, "@assembler");
5556       if (*atom == 'S')
5557         return !strcmp (input_file_compiler->suffix, "@assembler-with-cpp");
5558     }
5559
5560   return (input_suffix
5561           && !strncmp (input_suffix, atom, end_atom - atom)
5562           && input_suffix[end_atom - atom] == '\0');
5563 }
5564
5565 /* Subroutine of handle_braces.  Returns true if a switch
5566    matching the atom bracketed by ATOM and END_ATOM appeared on the
5567    command line.  */
5568 static bool
5569 switch_matches (const char *atom, const char *end_atom, int starred)
5570 {
5571   int i;
5572   int len = end_atom - atom;
5573   int plen = starred ? len : -1;
5574
5575   for (i = 0; i < n_switches; i++)
5576     if (!strncmp (switches[i].part1, atom, len)
5577         && (starred || switches[i].part1[len] == '\0')
5578         && check_live_switch (i, plen))
5579       return true;
5580
5581   return false;
5582 }
5583
5584 /* Inline subroutine of handle_braces.  Mark all of the switches which
5585    match ATOM (extends to END_ATOM; STARRED indicates whether there
5586    was a star after the atom) for later processing.  */
5587 static inline void
5588 mark_matching_switches (const char *atom, const char *end_atom, int starred)
5589 {
5590   int i;
5591   int len = end_atom - atom;
5592   int plen = starred ? len : -1;
5593
5594   for (i = 0; i < n_switches; i++)
5595     if (!strncmp (switches[i].part1, atom, len)
5596         && (starred || switches[i].part1[len] == '\0')
5597         && check_live_switch (i, plen))
5598       switches[i].ordering = 1;
5599 }
5600
5601 /* Inline subroutine of handle_braces.  Process all the currently
5602    marked switches through give_switch, and clear the marks.  */
5603 static inline void
5604 process_marked_switches (void)
5605 {
5606   int i;
5607
5608   for (i = 0; i < n_switches; i++)
5609     if (switches[i].ordering == 1)
5610       {
5611         switches[i].ordering = 0;
5612         give_switch (i, 0);
5613       }
5614 }
5615
5616 /* Handle a %{ ... } construct.  P points just inside the leading {.
5617    Returns a pointer one past the end of the brace block, or 0
5618    if we call do_spec_1 and that returns -1.  */
5619
5620 static const char *
5621 handle_braces (const char *p)
5622 {
5623   const char *atom, *end_atom;
5624   const char *d_atom = NULL, *d_end_atom = NULL;
5625   const char *orig = p;
5626
5627   bool a_is_suffix;
5628   bool a_is_starred;
5629   bool a_is_negated;
5630   bool a_matched;
5631
5632   bool a_must_be_last = false;
5633   bool ordered_set    = false;
5634   bool disjunct_set   = false;
5635   bool disj_matched   = false;
5636   bool disj_starred   = true;
5637   bool n_way_choice   = false;
5638   bool n_way_matched  = false;
5639
5640 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
5641
5642   do
5643     {
5644       if (a_must_be_last)
5645         goto invalid;
5646
5647       /* Scan one "atom" (S in the description above of %{}, possibly
5648          with !, ., or * modifiers).  */
5649       a_matched = a_is_suffix = a_is_starred = a_is_negated = false;
5650
5651       SKIP_WHITE();
5652       if (*p == '!')
5653         p++, a_is_negated = true;
5654
5655       SKIP_WHITE();
5656       if (*p == '.')
5657         p++, a_is_suffix = true;
5658
5659       atom = p;
5660       while (ISIDNUM(*p) || *p == '-' || *p == '+' || *p == '='
5661              || *p == ',' || *p == '.' || *p == '@')
5662         p++;
5663       end_atom = p;
5664
5665       if (*p == '*')
5666         p++, a_is_starred = 1;
5667
5668       SKIP_WHITE();
5669       switch (*p)
5670         {
5671         case '&': case '}':
5672           /* Substitute the switch(es) indicated by the current atom.  */
5673           ordered_set = true;
5674           if (disjunct_set || n_way_choice || a_is_negated || a_is_suffix
5675               || atom == end_atom)
5676             goto invalid;
5677
5678           mark_matching_switches (atom, end_atom, a_is_starred);
5679
5680           if (*p == '}')
5681             process_marked_switches ();
5682           break;
5683
5684         case '|': case ':':
5685           /* Substitute some text if the current atom appears as a switch
5686              or suffix.  */
5687           disjunct_set = true;
5688           if (ordered_set)
5689             goto invalid;
5690
5691           if (atom == end_atom)
5692             {
5693               if (!n_way_choice || disj_matched || *p == '|'
5694                   || a_is_negated || a_is_suffix || a_is_starred)
5695                 goto invalid;
5696
5697               /* An empty term may appear as the last choice of an
5698                  N-way choice set; it means "otherwise".  */
5699               a_must_be_last = true;
5700               disj_matched = !n_way_matched;
5701               disj_starred = false;
5702             }
5703           else
5704             {
5705                if (a_is_suffix && a_is_starred)
5706                  goto invalid;
5707
5708                if (!a_is_starred)
5709                  disj_starred = false;
5710
5711                /* Don't bother testing this atom if we already have a
5712                   match.  */
5713                if (!disj_matched && !n_way_matched)
5714                  {
5715                    if (a_is_suffix)
5716                      a_matched = input_suffix_matches (atom, end_atom);
5717                    else
5718                      a_matched = switch_matches (atom, end_atom, a_is_starred);
5719
5720                    if (a_matched != a_is_negated)
5721                      {
5722                        disj_matched = true;
5723                        d_atom = atom;
5724                        d_end_atom = end_atom;
5725                      }
5726                  }
5727             }
5728
5729           if (*p == ':')
5730             {
5731               /* Found the body, that is, the text to substitute if the
5732                  current disjunction matches.  */
5733               p = process_brace_body (p + 1, d_atom, d_end_atom, disj_starred,
5734                                       disj_matched && !n_way_matched);
5735               if (p == 0)
5736                 return 0;
5737
5738               /* If we have an N-way choice, reset state for the next
5739                  disjunction.  */
5740               if (*p == ';')
5741                 {
5742                   n_way_choice = true;
5743                   n_way_matched |= disj_matched;
5744                   disj_matched = false;
5745                   disj_starred = true;
5746                   d_atom = d_end_atom = NULL;
5747                 }
5748             }
5749           break;
5750
5751         default:
5752           goto invalid;
5753         }
5754     }
5755   while (*p++ != '}');
5756
5757   return p;
5758
5759  invalid:
5760   fatal ("braced spec '%s' is invalid at '%c'", orig, *p);
5761
5762 #undef SKIP_WHITE
5763 }
5764
5765 /* Subroutine of handle_braces.  Scan and process a brace substitution body
5766    (X in the description of %{} syntax).  P points one past the colon;
5767    ATOM and END_ATOM bracket the first atom which was found to be true
5768    (present) in the current disjunction; STARRED indicates whether all
5769    the atoms in the current disjunction were starred (for syntax validation);
5770    MATCHED indicates whether the disjunction matched or not, and therefore
5771    whether or not the body is to be processed through do_spec_1 or just
5772    skipped.  Returns a pointer to the closing } or ;, or 0 if do_spec_1
5773    returns -1.  */
5774
5775 static const char *
5776 process_brace_body (const char *p, const char *atom, const char *end_atom,
5777                     int starred, int matched)
5778 {
5779   const char *body, *end_body;
5780   unsigned int nesting_level;
5781   bool have_subst     = false;
5782
5783   /* Locate the closing } or ;, honoring nested braces.
5784      Trim trailing whitespace.  */
5785   body = p;
5786   nesting_level = 1;
5787   for (;;)
5788     {
5789       if (*p == '{')
5790         nesting_level++;
5791       else if (*p == '}')
5792         {
5793           if (!--nesting_level)
5794             break;
5795         }
5796       else if (*p == ';' && nesting_level == 1)
5797         break;
5798       else if (*p == '%' && p[1] == '*' && nesting_level == 1)
5799         have_subst = true;
5800       else if (*p == '\0')
5801         goto invalid;
5802       p++;
5803     }
5804
5805   end_body = p;
5806   while (end_body[-1] == ' ' || end_body[-1] == '\t')
5807     end_body--;
5808
5809   if (have_subst && !starred)
5810     goto invalid;
5811
5812   if (matched)
5813     {
5814       /* Copy the substitution body to permanent storage and execute it.
5815          If have_subst is false, this is a simple matter of running the
5816          body through do_spec_1...  */
5817       char *string = save_string (body, end_body - body);
5818       if (!have_subst)
5819         {
5820           if (do_spec_1 (string, 0, NULL) < 0)
5821             return 0;
5822         }
5823       else
5824         {
5825           /* ... but if have_subst is true, we have to process the
5826              body once for each matching switch, with %* set to the
5827              variant part of the switch.  */
5828           unsigned int hard_match_len = end_atom - atom;
5829           int i;
5830
5831           for (i = 0; i < n_switches; i++)
5832             if (!strncmp (switches[i].part1, atom, hard_match_len)
5833                 && check_live_switch (i, hard_match_len))
5834               {
5835                 if (do_spec_1 (string, 0,
5836                                &switches[i].part1[hard_match_len]) < 0)
5837                   return 0;
5838                 /* Pass any arguments this switch has.  */
5839                 give_switch (i, 1);
5840                 suffix_subst = NULL;
5841               }
5842         }
5843     }
5844
5845   return p;
5846
5847  invalid:
5848   fatal ("braced spec body '%s' is invalid", body);
5849 }
5850 \f
5851 /* Return 0 iff switch number SWITCHNUM is obsoleted by a later switch
5852    on the command line.  PREFIX_LENGTH is the length of XXX in an {XXX*}
5853    spec, or -1 if either exact match or %* is used.
5854
5855    A -O switch is obsoleted by a later -O switch.  A -f, -m, or -W switch
5856    whose value does not begin with "no-" is obsoleted by the same value
5857    with the "no-", similarly for a switch with the "no-" prefix.  */
5858
5859 static int
5860 check_live_switch (int switchnum, int prefix_length)
5861 {
5862   const char *name = switches[switchnum].part1;
5863   int i;
5864
5865   /* In the common case of {<at-most-one-letter>*}, a negating
5866      switch would always match, so ignore that case.  We will just
5867      send the conflicting switches to the compiler phase.  */
5868   if (prefix_length >= 0 && prefix_length <= 1)
5869     return 1;
5870
5871   /* If we already processed this switch and determined if it was
5872      live or not, return our past determination.  */
5873   if (switches[switchnum].live_cond != 0)
5874     return switches[switchnum].live_cond > 0;
5875
5876   /* Now search for duplicate in a manner that depends on the name.  */
5877   switch (*name)
5878     {
5879     case 'O':
5880       for (i = switchnum + 1; i < n_switches; i++)
5881         if (switches[i].part1[0] == 'O')
5882           {
5883             switches[switchnum].validated = 1;
5884             switches[switchnum].live_cond = SWITCH_FALSE;
5885             return 0;
5886           }
5887       break;
5888
5889     case 'W':  case 'f':  case 'm':
5890       if (! strncmp (name + 1, "no-", 3))
5891         {
5892           /* We have Xno-YYY, search for XYYY.  */
5893           for (i = switchnum + 1; i < n_switches; i++)
5894             if (switches[i].part1[0] == name[0]
5895                 && ! strcmp (&switches[i].part1[1], &name[4]))
5896               {
5897                 switches[switchnum].validated = 1;
5898                 switches[switchnum].live_cond = SWITCH_FALSE;
5899                 return 0;
5900               }
5901         }
5902       else
5903         {
5904           /* We have XYYY, search for Xno-YYY.  */
5905           for (i = switchnum + 1; i < n_switches; i++)
5906             if (switches[i].part1[0] == name[0]
5907                 && switches[i].part1[1] == 'n'
5908                 && switches[i].part1[2] == 'o'
5909                 && switches[i].part1[3] == '-'
5910                 && !strcmp (&switches[i].part1[4], &name[1]))
5911               {
5912                 switches[switchnum].validated = 1;
5913                 switches[switchnum].live_cond = SWITCH_FALSE;
5914                 return 0;
5915               }
5916         }
5917       break;
5918     }
5919
5920   /* Otherwise the switch is live.  */
5921   switches[switchnum].live_cond = SWITCH_LIVE;
5922   return 1;
5923 }
5924 \f
5925 /* Pass a switch to the current accumulating command
5926    in the same form that we received it.
5927    SWITCHNUM identifies the switch; it is an index into
5928    the vector of switches gcc received, which is `switches'.
5929    This cannot fail since it never finishes a command line.
5930
5931    If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument.  */
5932
5933 static void
5934 give_switch (int switchnum, int omit_first_word)
5935 {
5936   if (switches[switchnum].live_cond == SWITCH_IGNORE)
5937     return;
5938
5939   if (!omit_first_word)
5940     {
5941       do_spec_1 ("-", 0, NULL);
5942       do_spec_1 (switches[switchnum].part1, 1, NULL);
5943     }
5944
5945   if (switches[switchnum].args != 0)
5946     {
5947       const char **p;
5948       for (p = switches[switchnum].args; *p; p++)
5949         {
5950           const char *arg = *p;
5951
5952           do_spec_1 (" ", 0, NULL);
5953           if (suffix_subst)
5954             {
5955               unsigned length = strlen (arg);
5956               int dot = 0;
5957
5958               while (length-- && !IS_DIR_SEPARATOR (arg[length]))
5959                 if (arg[length] == '.')
5960                   {
5961                     ((char *)arg)[length] = 0;
5962                     dot = 1;
5963                     break;
5964                   }
5965               do_spec_1 (arg, 1, NULL);
5966               if (dot)
5967                 ((char *)arg)[length] = '.';
5968               do_spec_1 (suffix_subst, 1, NULL);
5969             }
5970           else
5971             do_spec_1 (arg, 1, NULL);
5972         }
5973     }
5974
5975   do_spec_1 (" ", 0, NULL);
5976   switches[switchnum].validated = 1;
5977 }
5978 \f
5979 /* Search for a file named NAME trying various prefixes including the
5980    user's -B prefix and some standard ones.
5981    Return the absolute file name found.  If nothing is found, return NAME.  */
5982
5983 static const char *
5984 find_file (const char *name)
5985 {
5986   char *newname = find_a_file (&startfile_prefixes, name, R_OK, true);
5987   return newname ? newname : name;
5988 }
5989
5990 /* Determine whether a directory exists.  If LINKER, return 0 for
5991    certain fixed names not needed by the linker.  */
5992
5993 static int
5994 is_directory (const char *path1, bool linker)
5995 {
5996   int len1;
5997   char *path;
5998   char *cp;
5999   struct stat st;
6000
6001   /* Ensure the string ends with "/.".  The resulting path will be a
6002      directory even if the given path is a symbolic link.  */
6003   len1 = strlen (path1);
6004   path = alloca (3 + len1);
6005   memcpy (path, path1, len1);
6006   cp = path + len1;
6007   if (!IS_DIR_SEPARATOR (cp[-1]))
6008     *cp++ = DIR_SEPARATOR;
6009   *cp++ = '.';
6010   *cp = '\0';
6011
6012   /* Exclude directories that the linker is known to search.  */
6013   if (linker
6014       && IS_DIR_SEPARATOR (path[0])
6015       && ((cp - path == 6
6016            && strncmp (path + 1, "lib", 3) == 0)
6017           || (cp - path == 10
6018               && strncmp (path + 1, "usr", 3) == 0
6019               && IS_DIR_SEPARATOR (path[4])
6020               && strncmp (path + 5, "lib", 3) == 0)))
6021     return 0;
6022
6023   return (stat (path, &st) >= 0 && S_ISDIR (st.st_mode));
6024 }
6025
6026 /* Set up the various global variables to indicate that we're processing
6027    the input file named FILENAME.  */
6028
6029 void
6030 set_input (const char *filename)
6031 {
6032   const char *p;
6033
6034   input_filename = filename;
6035   input_filename_length = strlen (input_filename);
6036
6037   input_basename = input_filename;
6038 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
6039   /* Skip drive name so 'x:foo' is handled properly.  */
6040   if (input_basename[1] == ':')
6041     input_basename += 2;
6042 #endif
6043   for (p = input_basename; *p; p++)
6044     if (IS_DIR_SEPARATOR (*p))
6045       input_basename = p + 1;
6046
6047   /* Find a suffix starting with the last period,
6048      and set basename_length to exclude that suffix.  */
6049   basename_length = strlen (input_basename);
6050   suffixed_basename_length = basename_length;
6051   p = input_basename + basename_length;
6052   while (p != input_basename && *p != '.')
6053     --p;
6054   if (*p == '.' && p != input_basename)
6055     {
6056       basename_length = p - input_basename;
6057       input_suffix = p + 1;
6058     }
6059   else
6060     input_suffix = "";
6061
6062   /* If a spec for 'g', 'u', or 'U' is seen with -save-temps then
6063      we will need to do a stat on the input_filename.  The
6064      INPUT_STAT_SET signals that the stat is needed.  */
6065   input_stat_set = 0;
6066 }
6067 \f
6068 /* On fatal signals, delete all the temporary files.  */
6069
6070 static void
6071 fatal_error (int signum)
6072 {
6073   signal (signum, SIG_DFL);
6074   delete_failure_queue ();
6075   delete_temp_files ();
6076   /* Get the same signal again, this time not handled,
6077      so its normal effect occurs.  */
6078   kill (getpid (), signum);
6079 }
6080
6081 extern int main (int, char **);
6082
6083 int
6084 main (int argc, char **argv)
6085 {
6086   size_t i;
6087   int value;
6088   int linker_was_run = 0;
6089   int lang_n_infiles = 0;
6090   int num_linker_inputs = 0;
6091   char *explicit_link_files;
6092   char *specs_file;
6093   const char *p;
6094   struct user_specs *uptr;
6095
6096   p = argv[0] + strlen (argv[0]);
6097   while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
6098     --p;
6099   programname = p;
6100
6101   xmalloc_set_program_name (programname);
6102
6103   expandargv (&argc, &argv);
6104
6105   prune_options (&argc, &argv);
6106
6107 #ifdef GCC_DRIVER_HOST_INITIALIZATION
6108   /* Perform host dependent initialization when needed.  */
6109   GCC_DRIVER_HOST_INITIALIZATION;
6110 #endif
6111
6112   /* Unlock the stdio streams.  */
6113   unlock_std_streams ();
6114
6115   gcc_init_libintl ();
6116
6117   if (signal (SIGINT, SIG_IGN) != SIG_IGN)
6118     signal (SIGINT, fatal_error);
6119 #ifdef SIGHUP
6120   if (signal (SIGHUP, SIG_IGN) != SIG_IGN)
6121     signal (SIGHUP, fatal_error);
6122 #endif
6123   if (signal (SIGTERM, SIG_IGN) != SIG_IGN)
6124     signal (SIGTERM, fatal_error);
6125 #ifdef SIGPIPE
6126   if (signal (SIGPIPE, SIG_IGN) != SIG_IGN)
6127     signal (SIGPIPE, fatal_error);
6128 #endif
6129 #ifdef SIGCHLD
6130   /* We *MUST* set SIGCHLD to SIG_DFL so that the wait4() call will
6131      receive the signal.  A different setting is inheritable */
6132   signal (SIGCHLD, SIG_DFL);
6133 #endif
6134
6135   /* Allocate the argument vector.  */
6136   alloc_args ();
6137
6138   obstack_init (&obstack);
6139
6140   /* Build multilib_select, et. al from the separate lines that make up each
6141      multilib selection.  */
6142   {
6143     const char *const *q = multilib_raw;
6144     int need_space;
6145
6146     obstack_init (&multilib_obstack);
6147     while ((p = *q++) != (char *) 0)
6148       obstack_grow (&multilib_obstack, p, strlen (p));
6149
6150     obstack_1grow (&multilib_obstack, 0);
6151     multilib_select = XOBFINISH (&multilib_obstack, const char *);
6152
6153     q = multilib_matches_raw;
6154     while ((p = *q++) != (char *) 0)
6155       obstack_grow (&multilib_obstack, p, strlen (p));
6156
6157     obstack_1grow (&multilib_obstack, 0);
6158     multilib_matches = XOBFINISH (&multilib_obstack, const char *);
6159
6160     q = multilib_exclusions_raw;
6161     while ((p = *q++) != (char *) 0)
6162       obstack_grow (&multilib_obstack, p, strlen (p));
6163
6164     obstack_1grow (&multilib_obstack, 0);
6165     multilib_exclusions = XOBFINISH (&multilib_obstack, const char *);
6166
6167     need_space = FALSE;
6168     for (i = 0; i < ARRAY_SIZE (multilib_defaults_raw); i++)
6169       {
6170         if (need_space)
6171           obstack_1grow (&multilib_obstack, ' ');
6172         obstack_grow (&multilib_obstack,
6173                       multilib_defaults_raw[i],
6174                       strlen (multilib_defaults_raw[i]));
6175         need_space = TRUE;
6176       }
6177
6178     obstack_1grow (&multilib_obstack, 0);
6179     multilib_defaults = XOBFINISH (&multilib_obstack, const char *);
6180   }
6181
6182   /* Set up to remember the pathname of gcc and any options
6183      needed for collect.  We use argv[0] instead of programname because
6184      we need the complete pathname.  */
6185   obstack_init (&collect_obstack);
6186   obstack_grow (&collect_obstack, "COLLECT_GCC=", sizeof ("COLLECT_GCC=") - 1);
6187   obstack_grow (&collect_obstack, argv[0], strlen (argv[0]) + 1);
6188   putenv (XOBFINISH (&collect_obstack, char *));
6189
6190 #ifdef INIT_ENVIRONMENT
6191   /* Set up any other necessary machine specific environment variables.  */
6192   putenv (INIT_ENVIRONMENT);
6193 #endif
6194
6195   /* Make a table of what switches there are (switches, n_switches).
6196      Make a table of specified input files (infiles, n_infiles).
6197      Decode switches that are handled locally.  */
6198
6199   process_command (argc, (const char **) argv);
6200
6201   /* Initialize the vector of specs to just the default.
6202      This means one element containing 0s, as a terminator.  */
6203
6204   compilers = xmalloc (sizeof default_compilers);
6205   memcpy (compilers, default_compilers, sizeof default_compilers);
6206   n_compilers = n_default_compilers;
6207
6208   /* Read specs from a file if there is one.  */
6209
6210   machine_suffix = concat (spec_machine, dir_separator_str,
6211                            spec_version, dir_separator_str, NULL);
6212   just_machine_suffix = concat (spec_machine, dir_separator_str, NULL);
6213
6214   specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, true);
6215   /* Read the specs file unless it is a default one.  */
6216   if (specs_file != 0 && strcmp (specs_file, "specs"))
6217     read_specs (specs_file, TRUE);
6218   else
6219     init_spec ();
6220
6221   /* We need to check standard_exec_prefix/just_machine_suffix/specs
6222      for any override of as, ld and libraries.  */
6223   specs_file = alloca (strlen (standard_exec_prefix)
6224                        + strlen (just_machine_suffix) + sizeof ("specs"));
6225
6226   strcpy (specs_file, standard_exec_prefix);
6227   strcat (specs_file, just_machine_suffix);
6228   strcat (specs_file, "specs");
6229   if (access (specs_file, R_OK) == 0)
6230     read_specs (specs_file, TRUE);
6231
6232   /* Process any configure-time defaults specified for the command line
6233      options, via OPTION_DEFAULT_SPECS.  */
6234   for (i = 0; i < ARRAY_SIZE (option_default_specs); i++)
6235     do_option_spec (option_default_specs[i].name,
6236                     option_default_specs[i].spec);
6237
6238   /* Process DRIVER_SELF_SPECS, adding any new options to the end
6239      of the command line.  */
6240
6241   for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
6242     do_self_spec (driver_self_specs[i]);
6243
6244   /* If not cross-compiling, look for executables in the standard
6245      places.  */
6246   if (*cross_compile == '0')
6247     {
6248       if (*md_exec_prefix)
6249         {
6250           add_prefix (&exec_prefixes, md_exec_prefix, "GCC",
6251                       PREFIX_PRIORITY_LAST, 0, 0);
6252         }
6253     }
6254
6255   /* Process sysroot_suffix_spec.  */
6256   if (*sysroot_suffix_spec != 0
6257       && do_spec_2 (sysroot_suffix_spec) == 0)
6258     {
6259       if (argbuf_index > 1)
6260         error ("spec failure: more than one arg to SYSROOT_SUFFIX_SPEC");
6261       else if (argbuf_index == 1)
6262         target_sysroot_suffix = xstrdup (argbuf[argbuf_index -1]);
6263     }
6264
6265 #ifdef HAVE_LD_SYSROOT
6266   /* Pass the --sysroot option to the linker, if it supports that.  If
6267      there is a sysroot_suffix_spec, it has already been processed by
6268      this point, so target_system_root really is the system root we
6269      should be using.  */
6270   if (target_system_root)
6271     {
6272       obstack_grow (&obstack, "%(sysroot_spec) ", strlen ("%(sysroot_spec) "));
6273       obstack_grow0 (&obstack, link_spec, strlen (link_spec));
6274       set_spec ("link", XOBFINISH (&obstack, const char *));
6275     }
6276 #endif
6277
6278   /* Process sysroot_hdrs_suffix_spec.  */
6279   if (*sysroot_hdrs_suffix_spec != 0
6280       && do_spec_2 (sysroot_hdrs_suffix_spec) == 0)
6281     {
6282       if (argbuf_index > 1)
6283         error ("spec failure: more than one arg to SYSROOT_HEADERS_SUFFIX_SPEC");
6284       else if (argbuf_index == 1)
6285         target_sysroot_hdrs_suffix = xstrdup (argbuf[argbuf_index -1]);
6286     }
6287
6288   /* Look for startfiles in the standard places.  */
6289   if (*startfile_prefix_spec != 0
6290       && do_spec_2 (startfile_prefix_spec) == 0
6291       && do_spec_1 (" ", 0, NULL) == 0)
6292     {
6293       int ndx;
6294       for (ndx = 0; ndx < argbuf_index; ndx++)
6295         add_sysrooted_prefix (&startfile_prefixes, argbuf[ndx], "BINUTILS",
6296                               PREFIX_PRIORITY_LAST, 0, 1);
6297     }
6298   /* We should eventually get rid of all these and stick to
6299      startfile_prefix_spec exclusively.  */
6300   else if (*cross_compile == '0' || target_system_root)
6301     {
6302       if (*md_startfile_prefix)
6303         add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix,
6304                               "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6305
6306       if (*md_startfile_prefix_1)
6307         add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix_1,
6308                               "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6309
6310       /* If standard_startfile_prefix is relative, base it on
6311          standard_exec_prefix.  This lets us move the installed tree
6312          as a unit.  If GCC_EXEC_PREFIX is defined, base
6313          standard_startfile_prefix on that as well.
6314
6315          If the prefix is relative, only search it for native compilers;
6316          otherwise we will search a directory containing host libraries.  */
6317       if (IS_ABSOLUTE_PATH (standard_startfile_prefix))
6318         add_sysrooted_prefix (&startfile_prefixes,
6319                               standard_startfile_prefix, "BINUTILS",
6320                               PREFIX_PRIORITY_LAST, 0, 1);
6321       else if (*cross_compile == '0')
6322         {
6323           add_prefix (&startfile_prefixes,
6324                       concat (gcc_exec_prefix 
6325                               ? gcc_exec_prefix : standard_exec_prefix, 
6326                               machine_suffix, 
6327                               standard_startfile_prefix, NULL),
6328                       NULL, PREFIX_PRIORITY_LAST, 0, 1);
6329         }
6330
6331       /* Sysrooted prefixes are relocated because target_system_root is
6332          also relocated by gcc_exec_prefix.  */
6333       if (*standard_startfile_prefix_1)
6334         add_sysrooted_prefix (&startfile_prefixes,
6335                               standard_startfile_prefix_1, "BINUTILS",
6336                               PREFIX_PRIORITY_LAST, 0, 1);
6337       if (*standard_startfile_prefix_2)
6338         add_sysrooted_prefix (&startfile_prefixes,
6339                               standard_startfile_prefix_2, "BINUTILS",
6340                               PREFIX_PRIORITY_LAST, 0, 1);
6341     }
6342
6343   /* Process any user specified specs in the order given on the command
6344      line.  */
6345   for (uptr = user_specs_head; uptr; uptr = uptr->next)
6346     {
6347       char *filename = find_a_file (&startfile_prefixes, uptr->filename,
6348                                     R_OK, true);
6349       read_specs (filename ? filename : uptr->filename, FALSE);
6350     }
6351
6352   /* If we have a GCC_EXEC_PREFIX envvar, modify it for cpp's sake.  */
6353   if (gcc_exec_prefix)
6354     gcc_exec_prefix = concat (gcc_exec_prefix, spec_machine, dir_separator_str,
6355                               spec_version, dir_separator_str, NULL);
6356
6357   /* Now we have the specs.
6358      Set the `valid' bits for switches that match anything in any spec.  */
6359
6360   validate_all_switches ();
6361
6362   /* Now that we have the switches and the specs, set
6363      the subdirectory based on the options.  */
6364   set_multilib_dir ();
6365
6366   /* Warn about any switches that no pass was interested in.  */
6367
6368   for (i = 0; (int) i < n_switches; i++)
6369     if (! switches[i].validated)
6370       error ("unrecognized option '-%s'", switches[i].part1);
6371
6372   /* Obey some of the options.  */
6373
6374   if (print_search_dirs)
6375     {
6376       printf (_("install: %s%s\n"),
6377               gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
6378               gcc_exec_prefix ? "" : machine_suffix);
6379       printf (_("programs: %s\n"),
6380               build_search_list (&exec_prefixes, "", false, false));
6381       printf (_("libraries: %s\n"),
6382               build_search_list (&startfile_prefixes, "", false, true));
6383       return (0);
6384     }
6385
6386   if (print_file_name)
6387     {
6388       printf ("%s\n", find_file (print_file_name));
6389       return (0);
6390     }
6391
6392   if (print_prog_name)
6393     {
6394       char *newname = find_a_file (&exec_prefixes, print_prog_name, X_OK, 0);
6395       printf ("%s\n", (newname ? newname : print_prog_name));
6396       return (0);
6397     }
6398
6399   if (print_multi_lib)
6400     {
6401       print_multilib_info ();
6402       return (0);
6403     }
6404
6405   if (print_multi_directory)
6406     {
6407       if (multilib_dir == NULL)
6408         printf (".\n");
6409       else
6410         printf ("%s\n", multilib_dir);
6411       return (0);
6412     }
6413
6414   if (print_multi_os_directory)
6415     {
6416       if (multilib_os_dir == NULL)
6417         printf (".\n");
6418       else
6419         printf ("%s\n", multilib_os_dir);
6420       return (0);
6421     }
6422
6423   if (target_help_flag)
6424    {
6425       /* Print if any target specific options.  */
6426
6427       /* We do not exit here. Instead we have created a fake input file
6428          called 'target-dummy' which needs to be compiled, and we pass this
6429          on to the various sub-processes, along with the --target-help
6430          switch.  */
6431     }
6432
6433   if (print_help_list)
6434     {
6435       display_help ();
6436
6437       if (! verbose_flag)
6438         {
6439           printf (_("\nFor bug reporting instructions, please see:\n"));
6440           printf ("%s.\n", bug_report_url);
6441
6442           return (0);
6443         }
6444
6445       /* We do not exit here.  Instead we have created a fake input file
6446          called 'help-dummy' which needs to be compiled, and we pass this
6447          on the various sub-processes, along with the --help switch.  */
6448     }
6449
6450   if (verbose_flag)
6451     {
6452       int n;
6453       const char *thrmod;
6454
6455       notice ("Target: %s\n", spec_machine);
6456       notice ("Configured with: %s\n", configuration_arguments);
6457
6458 #ifdef THREAD_MODEL_SPEC
6459       /* We could have defined THREAD_MODEL_SPEC to "%*" by default,
6460          but there's no point in doing all this processing just to get
6461          thread_model back.  */
6462       obstack_init (&obstack);
6463       do_spec_1 (THREAD_MODEL_SPEC, 0, thread_model);
6464       obstack_1grow (&obstack, '\0');
6465       thrmod = XOBFINISH (&obstack, const char *);
6466 #else
6467       thrmod = thread_model;
6468 #endif
6469
6470       notice ("Thread model: %s\n", thrmod);
6471
6472       /* compiler_version is truncated at the first space when initialized
6473          from version string, so truncate version_string at the first space
6474          before comparing.  */
6475       for (n = 0; version_string[n]; n++)
6476         if (version_string[n] == ' ')
6477           break;
6478
6479       if (! strncmp (version_string, compiler_version, n)
6480           && compiler_version[n] == 0)
6481         notice ("gcc version %s\n", version_string);
6482       else
6483         notice ("gcc driver version %s executing gcc version %s\n",
6484                 version_string, compiler_version);
6485
6486       if (n_infiles == 0)
6487         return (0);
6488     }
6489
6490   if (n_infiles == added_libraries)
6491     fatal ("no input files");
6492
6493   /* Make a place to record the compiler output file names
6494      that correspond to the input files.  */
6495
6496   i = n_infiles;
6497   i += lang_specific_extra_outfiles;
6498   outfiles = XCNEWVEC (const char *, i);
6499
6500   /* Record which files were specified explicitly as link input.  */
6501
6502   explicit_link_files = XCNEWVEC (char, n_infiles);
6503
6504   if (combine_flag)
6505     combine_inputs = true;
6506   else
6507     combine_inputs = false;
6508
6509   for (i = 0; (int) i < n_infiles; i++)
6510     {
6511       const char *name = infiles[i].name;
6512       struct compiler *compiler = lookup_compiler (name,
6513                                                    strlen (name),
6514                                                    infiles[i].language);
6515
6516       if (compiler && !(compiler->combinable))
6517         combine_inputs = false;
6518
6519       if (lang_n_infiles > 0 && compiler != input_file_compiler
6520           && infiles[i].language && infiles[i].language[0] != '*')
6521         infiles[i].incompiler = compiler;
6522       else if (compiler)
6523         {
6524           lang_n_infiles++;
6525           input_file_compiler = compiler;
6526           infiles[i].incompiler = compiler;
6527         }
6528       else
6529         {
6530           /* Since there is no compiler for this input file, assume it is a
6531              linker file.  */
6532           explicit_link_files[i] = 1;
6533           infiles[i].incompiler = NULL;
6534         }
6535       infiles[i].compiled = false;
6536       infiles[i].preprocessed = false;
6537     }
6538
6539   if (!combine_inputs && have_c && have_o && lang_n_infiles > 1)
6540    fatal ("cannot specify -o with -c or -S with multiple files");
6541
6542   if (combine_flag && save_temps_flag)
6543     {
6544       bool save_combine_inputs = combine_inputs;
6545       /* Must do a separate pre-processing pass for C & Objective-C files, to
6546          obtain individual .i files.  */
6547
6548       combine_inputs = false;
6549       for (i = 0; (int) i < n_infiles; i++)
6550         {
6551           int this_file_error = 0;
6552
6553           input_file_number = i;
6554           set_input (infiles[i].name);
6555           if (infiles[i].incompiler
6556               && (infiles[i].incompiler)->needs_preprocessing)
6557             input_file_compiler = infiles[i].incompiler;
6558           else
6559             continue;
6560
6561           if (input_file_compiler)
6562             {
6563               if (input_file_compiler->spec[0] == '#')
6564                 {
6565                   error ("%s: %s compiler not installed on this system",
6566                          input_filename, &input_file_compiler->spec[1]);
6567                   this_file_error = 1;
6568                 }
6569               else
6570                 {
6571                   value = do_spec (input_file_compiler->spec);
6572                   infiles[i].preprocessed = true;
6573                   if (!have_o_argbuf_index)
6574                     fatal ("spec '%s' is invalid", input_file_compiler->spec);
6575                   infiles[i].name = argbuf[have_o_argbuf_index];
6576                   infiles[i].incompiler
6577                     = lookup_compiler (infiles[i].name,
6578                                        strlen (infiles[i].name),
6579                                        infiles[i].language);
6580
6581                   if (value < 0)
6582                     this_file_error = 1;
6583                 }
6584             }
6585
6586           if (this_file_error)
6587             {
6588               delete_failure_queue ();
6589               error_count++;
6590               break;
6591             }
6592           clear_failure_queue ();
6593         }
6594       combine_inputs = save_combine_inputs;
6595     }
6596
6597   for (i = 0; (int) i < n_infiles; i++)
6598     {
6599       int this_file_error = 0;
6600
6601       /* Tell do_spec what to substitute for %i.  */
6602
6603       input_file_number = i;
6604       set_input (infiles[i].name);
6605
6606       if (infiles[i].compiled)
6607         continue;
6608
6609       /* Use the same thing in %o, unless cp->spec says otherwise.  */
6610
6611       outfiles[i] = input_filename;
6612
6613       /* Figure out which compiler from the file's suffix.  */
6614
6615       if (! combine_inputs)
6616         input_file_compiler
6617           = lookup_compiler (infiles[i].name, input_filename_length,
6618                              infiles[i].language);
6619       else
6620         input_file_compiler = infiles[i].incompiler;
6621
6622       if (input_file_compiler)
6623         {
6624           /* Ok, we found an applicable compiler.  Run its spec.  */
6625
6626           if (input_file_compiler->spec[0] == '#')
6627             {
6628               error ("%s: %s compiler not installed on this system",
6629                      input_filename, &input_file_compiler->spec[1]);
6630               this_file_error = 1;
6631             }
6632           else
6633             {
6634               value = do_spec (input_file_compiler->spec);
6635               infiles[i].compiled = true;
6636               if (value < 0)
6637                 this_file_error = 1;
6638             }
6639         }
6640
6641       /* If this file's name does not contain a recognized suffix,
6642          record it as explicit linker input.  */
6643
6644       else
6645         explicit_link_files[i] = 1;
6646
6647       /* Clear the delete-on-failure queue, deleting the files in it
6648          if this compilation failed.  */
6649
6650       if (this_file_error)
6651         {
6652           delete_failure_queue ();
6653           error_count++;
6654         }
6655       /* If this compilation succeeded, don't delete those files later.  */
6656       clear_failure_queue ();
6657     }
6658
6659   /* Reset the input file name to the first compile/object file name, for use
6660      with %b in LINK_SPEC. We use the first input file that we can find
6661      a compiler to compile it instead of using infiles.language since for
6662      languages other than C we use aliases that we then lookup later.  */
6663   if (n_infiles > 0)
6664     {
6665       int i;
6666
6667       for (i = 0; i < n_infiles ; i++)
6668         if (infiles[i].language && infiles[i].language[0] != '*')
6669           {
6670             set_input (infiles[i].name);
6671             break;
6672           }
6673     }
6674
6675   if (error_count == 0)
6676     {
6677       /* Make sure INPUT_FILE_NUMBER points to first available open
6678          slot.  */
6679       input_file_number = n_infiles;
6680       if (lang_specific_pre_link ())
6681         error_count++;
6682     }
6683
6684   /* Determine if there are any linker input files.  */
6685   num_linker_inputs = 0;
6686   for (i = 0; (int) i < n_infiles; i++)
6687     if (explicit_link_files[i] || outfiles[i] != NULL)
6688       num_linker_inputs++;
6689
6690   /* Run ld to link all the compiler output files.  */
6691
6692   if (num_linker_inputs > 0 && error_count == 0)
6693     {
6694       int tmp = execution_count;
6695
6696       /* We'll use ld if we can't find collect2.  */
6697       if (! strcmp (linker_name_spec, "collect2"))
6698         {
6699           char *s = find_a_file (&exec_prefixes, "collect2", X_OK, false);
6700           if (s == NULL)
6701             linker_name_spec = "ld";
6702         }
6703       /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
6704          for collect.  */
6705       putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH", false);
6706       putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV, true);
6707
6708       value = do_spec (link_command_spec);
6709       if (value < 0)
6710         error_count = 1;
6711       linker_was_run = (tmp != execution_count);
6712     }
6713
6714   /* If options said don't run linker,
6715      complain about input files to be given to the linker.  */
6716
6717   if (! linker_was_run && error_count == 0)
6718     for (i = 0; (int) i < n_infiles; i++)
6719       if (explicit_link_files[i])
6720         error ("%s: linker input file unused because linking not done",
6721                outfiles[i]);
6722
6723   /* Delete some or all of the temporary files we made.  */
6724
6725   if (error_count)
6726     delete_failure_queue ();
6727   delete_temp_files ();
6728
6729   if (print_help_list)
6730     {
6731       printf (("\nFor bug reporting instructions, please see:\n"));
6732       printf ("%s\n", bug_report_url);
6733     }
6734
6735   return (signal_count != 0 ? 2
6736           : error_count > 0 ? (pass_exit_codes ? greatest_status : 1)
6737           : 0);
6738 }
6739
6740 /* Find the proper compilation spec for the file name NAME,
6741    whose length is LENGTH.  LANGUAGE is the specified language,
6742    or 0 if this file is to be passed to the linker.  */
6743
6744 static struct compiler *
6745 lookup_compiler (const char *name, size_t length, const char *language)
6746 {
6747   struct compiler *cp;
6748
6749   /* If this was specified by the user to be a linker input, indicate that.  */
6750   if (language != 0 && language[0] == '*')
6751     return 0;
6752
6753   /* Otherwise, look for the language, if one is spec'd.  */
6754   if (language != 0)
6755     {
6756       for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
6757         if (cp->suffix[0] == '@' && !strcmp (cp->suffix + 1, language))
6758           return cp;
6759
6760       error ("language %s not recognized", language);
6761       return 0;
6762     }
6763
6764   /* Look for a suffix.  */
6765   for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
6766     {
6767       if (/* The suffix `-' matches only the file name `-'.  */
6768           (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
6769           || (strlen (cp->suffix) < length
6770               /* See if the suffix matches the end of NAME.  */
6771               && !strcmp (cp->suffix,
6772                           name + length - strlen (cp->suffix))
6773          ))
6774         break;
6775     }
6776
6777 #if defined (OS2) ||defined (HAVE_DOS_BASED_FILE_SYSTEM)
6778   /* Look again, but case-insensitively this time.  */
6779   if (cp < compilers)
6780     for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
6781       {
6782         if (/* The suffix `-' matches only the file name `-'.  */
6783             (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
6784             || (strlen (cp->suffix) < length
6785                 /* See if the suffix matches the end of NAME.  */
6786                 && ((!strcmp (cp->suffix,
6787                              name + length - strlen (cp->suffix))
6788                      || !strpbrk (cp->suffix, "ABCDEFGHIJKLMNOPQRSTUVWXYZ"))
6789                     && !strcasecmp (cp->suffix,
6790                                     name + length - strlen (cp->suffix)))
6791            ))
6792           break;
6793       }
6794 #endif
6795
6796   if (cp >= compilers)
6797     {
6798       if (cp->spec[0] != '@')
6799         /* A non-alias entry: return it.  */
6800         return cp;
6801
6802       /* An alias entry maps a suffix to a language.
6803          Search for the language; pass 0 for NAME and LENGTH
6804          to avoid infinite recursion if language not found.  */
6805       return lookup_compiler (NULL, 0, cp->spec + 1);
6806     }
6807   return 0;
6808 }
6809 \f
6810 static char *
6811 save_string (const char *s, int len)
6812 {
6813   char *result = XNEWVEC (char, len + 1);
6814
6815   memcpy (result, s, len);
6816   result[len] = 0;
6817   return result;
6818 }
6819
6820 void
6821 pfatal_with_name (const char *name)
6822 {
6823   perror_with_name (name);
6824   delete_temp_files ();
6825   exit (1);
6826 }
6827
6828 static void
6829 perror_with_name (const char *name)
6830 {
6831   error ("%s: %s", name, xstrerror (errno));
6832 }
6833
6834 /* Output an error message and exit.  */
6835
6836 void
6837 fancy_abort (const char *file, int line, const char *func)
6838 {
6839   fatal_ice ("internal gcc abort in %s, at %s:%d", func, file, line);
6840 }
6841 \f
6842 /* Output an error message and exit.  */
6843
6844 void
6845 fatal_ice (const char *cmsgid, ...)
6846 {
6847   va_list ap;
6848
6849   va_start (ap, cmsgid);
6850
6851   fprintf (stderr, "%s: ", programname);
6852   vfprintf (stderr, _(cmsgid), ap);
6853   va_end (ap);
6854   fprintf (stderr, "\n");
6855   delete_temp_files ();
6856   exit (pass_exit_codes ? ICE_EXIT_CODE : 1);
6857 }
6858
6859 void
6860 fatal (const char *cmsgid, ...)
6861 {
6862   va_list ap;
6863
6864   va_start (ap, cmsgid);
6865
6866   fprintf (stderr, "%s: ", programname);
6867   vfprintf (stderr, _(cmsgid), ap);
6868   va_end (ap);
6869   fprintf (stderr, "\n");
6870   delete_temp_files ();
6871   exit (1);
6872 }
6873
6874 /* The argument is actually c-format, not gcc-internal-format,
6875    but because functions with identical names are used through
6876    the rest of the compiler with gcc-internal-format, we just
6877    need to hope all users of these functions use the common
6878    subset between c-format and gcc-internal-format.  */
6879
6880 void
6881 error (const char *gmsgid, ...)
6882 {
6883   va_list ap;
6884
6885   va_start (ap, gmsgid);
6886   fprintf (stderr, "%s: ", programname);
6887   vfprintf (stderr, _(gmsgid), ap);
6888   va_end (ap);
6889
6890   fprintf (stderr, "\n");
6891 }
6892
6893 static void
6894 notice (const char *cmsgid, ...)
6895 {
6896   va_list ap;
6897
6898   va_start (ap, cmsgid);
6899   vfprintf (stderr, _(cmsgid), ap);
6900   va_end (ap);
6901 }
6902 \f
6903 static inline void
6904 validate_switches_from_spec (const char *spec)
6905 {
6906   const char *p = spec;
6907   char c;
6908   while ((c = *p++))
6909     if (c == '%' && (*p == '{' || *p == '<' || (*p == 'W' && *++p == '{')))
6910       /* We have a switch spec.  */
6911       p = validate_switches (p + 1);
6912 }
6913
6914 static void
6915 validate_all_switches (void)
6916 {
6917   struct compiler *comp;
6918   struct spec_list *spec;
6919
6920   for (comp = compilers; comp->spec; comp++)
6921     validate_switches_from_spec (comp->spec);
6922
6923   /* Look through the linked list of specs read from the specs file.  */
6924   for (spec = specs; spec; spec = spec->next)
6925     validate_switches_from_spec (*spec->ptr_spec);
6926
6927   validate_switches_from_spec (link_command_spec);
6928 }
6929
6930 /* Look at the switch-name that comes after START
6931    and mark as valid all supplied switches that match it.  */
6932
6933 static const char *
6934 validate_switches (const char *start)
6935 {
6936   const char *p = start;
6937   const char *atom;
6938   size_t len;
6939   int i;
6940   bool suffix = false;
6941   bool starred = false;
6942
6943 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
6944
6945 next_member:
6946   SKIP_WHITE ();
6947
6948   if (*p == '!')
6949     p++;
6950
6951   SKIP_WHITE ();
6952   if (*p == '.')
6953     suffix = true, p++;
6954
6955   atom = p;
6956   while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
6957          || *p == ',' || *p == '.' || *p == '@')
6958     p++;
6959   len = p - atom;
6960
6961   if (*p == '*')
6962     starred = true, p++;
6963
6964   SKIP_WHITE ();
6965
6966   if (!suffix)
6967     {
6968       /* Mark all matching switches as valid.  */
6969       for (i = 0; i < n_switches; i++)
6970         if (!strncmp (switches[i].part1, atom, len)
6971             && (starred || switches[i].part1[len] == 0))
6972           switches[i].validated = 1;
6973     }
6974
6975   if (*p) p++;
6976   if (*p && (p[-1] == '|' || p[-1] == '&'))
6977     goto next_member;
6978
6979   if (*p && p[-1] == ':')
6980     {
6981       while (*p && *p != ';' && *p != '}')
6982         {
6983           if (*p == '%')
6984             {
6985               p++;
6986               if (*p == '{' || *p == '<')
6987                 p = validate_switches (p+1);
6988               else if (p[0] == 'W' && p[1] == '{')
6989                 p = validate_switches (p+2);
6990             }
6991           else
6992             p++;
6993         }
6994
6995       if (*p) p++;
6996       if (*p && p[-1] == ';')
6997         goto next_member;
6998     }
6999
7000   return p;
7001 #undef SKIP_WHITE
7002 }
7003 \f
7004 struct mdswitchstr
7005 {
7006   const char *str;
7007   int len;
7008 };
7009
7010 static struct mdswitchstr *mdswitches;
7011 static int n_mdswitches;
7012
7013 /* Check whether a particular argument was used.  The first time we
7014    canonicalize the switches to keep only the ones we care about.  */
7015
7016 static int
7017 used_arg (const char *p, int len)
7018 {
7019   struct mswitchstr
7020   {
7021     const char *str;
7022     const char *replace;
7023     int len;
7024     int rep_len;
7025   };
7026
7027   static struct mswitchstr *mswitches;
7028   static int n_mswitches;
7029   int i, j;
7030
7031   if (!mswitches)
7032     {
7033       struct mswitchstr *matches;
7034       const char *q;
7035       int cnt = 0;
7036
7037       /* Break multilib_matches into the component strings of string
7038          and replacement string.  */
7039       for (q = multilib_matches; *q != '\0'; q++)
7040         if (*q == ';')
7041           cnt++;
7042
7043       matches = alloca ((sizeof (struct mswitchstr)) * cnt);
7044       i = 0;
7045       q = multilib_matches;
7046       while (*q != '\0')
7047         {
7048           matches[i].str = q;
7049           while (*q != ' ')
7050             {
7051               if (*q == '\0')
7052                 {
7053                 invalid_matches:
7054                   fatal ("multilib spec '%s' is invalid", multilib_matches);
7055                 }
7056               q++;
7057             }
7058           matches[i].len = q - matches[i].str;
7059
7060           matches[i].replace = ++q;
7061           while (*q != ';' && *q != '\0')
7062             {
7063               if (*q == ' ')
7064                 goto invalid_matches;
7065               q++;
7066             }
7067           matches[i].rep_len = q - matches[i].replace;
7068           i++;
7069           if (*q == ';')
7070             q++;
7071         }
7072
7073       /* Now build a list of the replacement string for switches that we care
7074          about.  Make sure we allocate at least one entry.  This prevents
7075          xmalloc from calling fatal, and prevents us from re-executing this
7076          block of code.  */
7077       mswitches
7078         = XNEWVEC (struct mswitchstr, n_mdswitches + (n_switches ? n_switches : 1));
7079       for (i = 0; i < n_switches; i++)
7080         if (switches[i].live_cond != SWITCH_IGNORE)
7081           {
7082             int xlen = strlen (switches[i].part1);
7083             for (j = 0; j < cnt; j++)
7084               if (xlen == matches[j].len
7085                   && ! strncmp (switches[i].part1, matches[j].str, xlen))
7086                 {
7087                   mswitches[n_mswitches].str = matches[j].replace;
7088                   mswitches[n_mswitches].len = matches[j].rep_len;
7089                   mswitches[n_mswitches].replace = (char *) 0;
7090                   mswitches[n_mswitches].rep_len = 0;
7091                   n_mswitches++;
7092                   break;
7093                 }
7094           }
7095
7096       /* Add MULTILIB_DEFAULTS switches too, as long as they were not present
7097          on the command line nor any options mutually incompatible with
7098          them.  */
7099       for (i = 0; i < n_mdswitches; i++)
7100         {
7101           const char *r;
7102
7103           for (q = multilib_options; *q != '\0'; q++)
7104             {
7105               while (*q == ' ')
7106                 q++;
7107
7108               r = q;
7109               while (strncmp (q, mdswitches[i].str, mdswitches[i].len) != 0
7110                      || strchr (" /", q[mdswitches[i].len]) == NULL)
7111                 {
7112                   while (*q != ' ' && *q != '/' && *q != '\0')
7113                     q++;
7114                   if (*q != '/')
7115                     break;
7116                   q++;
7117                 }
7118
7119               if (*q != ' ' && *q != '\0')
7120                 {
7121                   while (*r != ' ' && *r != '\0')
7122                     {
7123                       q = r;
7124                       while (*q != ' ' && *q != '/' && *q != '\0')
7125                         q++;
7126
7127                       if (used_arg (r, q - r))
7128                         break;
7129
7130                       if (*q != '/')
7131                         {
7132                           mswitches[n_mswitches].str = mdswitches[i].str;
7133                           mswitches[n_mswitches].len = mdswitches[i].len;
7134                           mswitches[n_mswitches].replace = (char *) 0;
7135                           mswitches[n_mswitches].rep_len = 0;
7136                           n_mswitches++;
7137                           break;
7138                         }
7139
7140                       r = q + 1;
7141                     }
7142                   break;
7143                 }
7144             }
7145         }
7146     }
7147
7148   for (i = 0; i < n_mswitches; i++)
7149     if (len == mswitches[i].len && ! strncmp (p, mswitches[i].str, len))
7150       return 1;
7151
7152   return 0;
7153 }
7154
7155 static int
7156 default_arg (const char *p, int len)
7157 {
7158   int i;
7159
7160   for (i = 0; i < n_mdswitches; i++)
7161     if (len == mdswitches[i].len && ! strncmp (p, mdswitches[i].str, len))
7162       return 1;
7163
7164   return 0;
7165 }
7166
7167 /* Work out the subdirectory to use based on the options. The format of
7168    multilib_select is a list of elements. Each element is a subdirectory
7169    name followed by a list of options followed by a semicolon. The format
7170    of multilib_exclusions is the same, but without the preceding
7171    directory. First gcc will check the exclusions, if none of the options
7172    beginning with an exclamation point are present, and all of the other
7173    options are present, then we will ignore this completely. Passing
7174    that, gcc will consider each multilib_select in turn using the same
7175    rules for matching the options. If a match is found, that subdirectory
7176    will be used.  */
7177
7178 static void
7179 set_multilib_dir (void)
7180 {
7181   const char *p;
7182   unsigned int this_path_len;
7183   const char *this_path, *this_arg;
7184   const char *start, *end;
7185   int not_arg;
7186   int ok, ndfltok, first;
7187
7188   n_mdswitches = 0;
7189   start = multilib_defaults;
7190   while (*start == ' ' || *start == '\t')
7191     start++;
7192   while (*start != '\0')
7193     {
7194       n_mdswitches++;
7195       while (*start != ' ' && *start != '\t' && *start != '\0')
7196         start++;
7197       while (*start == ' ' || *start == '\t')
7198         start++;
7199     }
7200
7201   if (n_mdswitches)
7202     {
7203       int i = 0;
7204
7205       mdswitches = XNEWVEC (struct mdswitchstr, n_mdswitches);
7206       for (start = multilib_defaults; *start != '\0'; start = end + 1)
7207         {
7208           while (*start == ' ' || *start == '\t')
7209             start++;
7210
7211           if (*start == '\0')
7212             break;
7213
7214           for (end = start + 1;
7215                *end != ' ' && *end != '\t' && *end != '\0'; end++)
7216             ;
7217
7218           obstack_grow (&multilib_obstack, start, end - start);
7219           obstack_1grow (&multilib_obstack, 0);
7220           mdswitches[i].str = XOBFINISH (&multilib_obstack, const char *);
7221           mdswitches[i++].len = end - start;
7222
7223           if (*end == '\0')
7224             break;
7225         }
7226     }
7227
7228   p = multilib_exclusions;
7229   while (*p != '\0')
7230     {
7231       /* Ignore newlines.  */
7232       if (*p == '\n')
7233         {
7234           ++p;
7235           continue;
7236         }
7237
7238       /* Check the arguments.  */
7239       ok = 1;
7240       while (*p != ';')
7241         {
7242           if (*p == '\0')
7243             {
7244             invalid_exclusions:
7245               fatal ("multilib exclusions '%s' is invalid",
7246                      multilib_exclusions);
7247             }
7248
7249           if (! ok)
7250             {
7251               ++p;
7252               continue;
7253             }
7254
7255           this_arg = p;
7256           while (*p != ' ' && *p != ';')
7257             {
7258               if (*p == '\0')
7259                 goto invalid_exclusions;
7260               ++p;
7261             }
7262
7263           if (*this_arg != '!')
7264             not_arg = 0;
7265           else
7266             {
7267               not_arg = 1;
7268               ++this_arg;
7269             }
7270
7271           ok = used_arg (this_arg, p - this_arg);
7272           if (not_arg)
7273             ok = ! ok;
7274
7275           if (*p == ' ')
7276             ++p;
7277         }
7278
7279       if (ok)
7280         return;
7281
7282       ++p;
7283     }
7284
7285   first = 1;
7286   p = multilib_select;
7287   while (*p != '\0')
7288     {
7289       /* Ignore newlines.  */
7290       if (*p == '\n')
7291         {
7292           ++p;
7293           continue;
7294         }
7295
7296       /* Get the initial path.  */
7297       this_path = p;
7298       while (*p != ' ')
7299         {
7300           if (*p == '\0')
7301             {
7302             invalid_select:
7303               fatal ("multilib select '%s' is invalid",
7304                      multilib_select);
7305             }
7306           ++p;
7307         }
7308       this_path_len = p - this_path;
7309
7310       /* Check the arguments.  */
7311       ok = 1;
7312       ndfltok = 1;
7313       ++p;
7314       while (*p != ';')
7315         {
7316           if (*p == '\0')
7317             goto invalid_select;
7318
7319           if (! ok)
7320             {
7321               ++p;
7322               continue;
7323             }
7324
7325           this_arg = p;
7326           while (*p != ' ' && *p != ';')
7327             {
7328               if (*p == '\0')
7329                 goto invalid_select;
7330               ++p;
7331             }
7332
7333           if (*this_arg != '!')
7334             not_arg = 0;
7335           else
7336             {
7337               not_arg = 1;
7338               ++this_arg;
7339             }
7340
7341           /* If this is a default argument, we can just ignore it.
7342              This is true even if this_arg begins with '!'.  Beginning
7343              with '!' does not mean that this argument is necessarily
7344              inappropriate for this library: it merely means that
7345              there is a more specific library which uses this
7346              argument.  If this argument is a default, we need not
7347              consider that more specific library.  */
7348           ok = used_arg (this_arg, p - this_arg);
7349           if (not_arg)
7350             ok = ! ok;
7351
7352           if (! ok)
7353             ndfltok = 0;
7354
7355           if (default_arg (this_arg, p - this_arg))
7356             ok = 1;
7357
7358           if (*p == ' ')
7359             ++p;
7360         }
7361
7362       if (ok && first)
7363         {
7364           if (this_path_len != 1
7365               || this_path[0] != '.')
7366             {
7367               char *new_multilib_dir = XNEWVEC (char, this_path_len + 1);
7368               char *q;
7369
7370               strncpy (new_multilib_dir, this_path, this_path_len);
7371               new_multilib_dir[this_path_len] = '\0';
7372               q = strchr (new_multilib_dir, ':');
7373               if (q != NULL)
7374                 *q = '\0';
7375               multilib_dir = new_multilib_dir;
7376             }
7377           first = 0;
7378         }
7379
7380       if (ndfltok)
7381         {
7382           const char *q = this_path, *end = this_path + this_path_len;
7383
7384           while (q < end && *q != ':')
7385             q++;
7386           if (q < end)
7387             {
7388               char *new_multilib_os_dir = XNEWVEC (char, end - q);
7389               memcpy (new_multilib_os_dir, q + 1, end - q - 1);
7390               new_multilib_os_dir[end - q - 1] = '\0';
7391               multilib_os_dir = new_multilib_os_dir;
7392               break;
7393             }
7394         }
7395
7396       ++p;
7397     }
7398
7399   if (multilib_dir == NULL && multilib_os_dir != NULL
7400       && strcmp (multilib_os_dir, ".") == 0)
7401     {
7402       free ((char *) multilib_os_dir);
7403       multilib_os_dir = NULL;
7404     }
7405   else if (multilib_dir != NULL && multilib_os_dir == NULL)
7406     multilib_os_dir = multilib_dir;
7407 }
7408
7409 /* Print out the multiple library subdirectory selection
7410    information.  This prints out a series of lines.  Each line looks
7411    like SUBDIRECTORY;@OPTION@OPTION, with as many options as is
7412    required.  Only the desired options are printed out, the negative
7413    matches.  The options are print without a leading dash.  There are
7414    no spaces to make it easy to use the information in the shell.
7415    Each subdirectory is printed only once.  This assumes the ordering
7416    generated by the genmultilib script. Also, we leave out ones that match
7417    the exclusions.  */
7418
7419 static void
7420 print_multilib_info (void)
7421 {
7422   const char *p = multilib_select;
7423   const char *last_path = 0, *this_path;
7424   int skip;
7425   unsigned int last_path_len = 0;
7426
7427   while (*p != '\0')
7428     {
7429       skip = 0;
7430       /* Ignore newlines.  */
7431       if (*p == '\n')
7432         {
7433           ++p;
7434           continue;
7435         }
7436
7437       /* Get the initial path.  */
7438       this_path = p;
7439       while (*p != ' ')
7440         {
7441           if (*p == '\0')
7442             {
7443             invalid_select:
7444               fatal ("multilib select '%s' is invalid", multilib_select);
7445             }
7446
7447           ++p;
7448         }
7449
7450       /* When --disable-multilib was used but target defines
7451          MULTILIB_OSDIRNAMES, entries starting with .: are there just
7452          to find multilib_os_dir, so skip them from output.  */
7453       if (this_path[0] == '.' && this_path[1] == ':')
7454         skip = 1;
7455
7456       /* Check for matches with the multilib_exclusions. We don't bother
7457          with the '!' in either list. If any of the exclusion rules match
7458          all of its options with the select rule, we skip it.  */
7459       {
7460         const char *e = multilib_exclusions;
7461         const char *this_arg;
7462
7463         while (*e != '\0')
7464           {
7465             int m = 1;
7466             /* Ignore newlines.  */
7467             if (*e == '\n')
7468               {
7469                 ++e;
7470                 continue;
7471               }
7472
7473             /* Check the arguments.  */
7474             while (*e != ';')
7475               {
7476                 const char *q;
7477                 int mp = 0;
7478
7479                 if (*e == '\0')
7480                   {
7481                   invalid_exclusion:
7482                     fatal ("multilib exclusion '%s' is invalid",
7483                            multilib_exclusions);
7484                   }
7485
7486                 if (! m)
7487                   {
7488                     ++e;
7489                     continue;
7490                   }
7491
7492                 this_arg = e;
7493
7494                 while (*e != ' ' && *e != ';')
7495                   {
7496                     if (*e == '\0')
7497                       goto invalid_exclusion;
7498                     ++e;
7499                   }
7500
7501                 q = p + 1;
7502                 while (*q != ';')
7503                   {
7504                     const char *arg;
7505                     int len = e - this_arg;
7506
7507                     if (*q == '\0')
7508                       goto invalid_select;
7509
7510                     arg = q;
7511
7512                     while (*q != ' ' && *q != ';')
7513                       {
7514                         if (*q == '\0')
7515                           goto invalid_select;
7516                         ++q;
7517                       }
7518
7519                     if (! strncmp (arg, this_arg,
7520                                    (len < q - arg) ? q - arg : len)
7521                         || default_arg (this_arg, e - this_arg))
7522                       {
7523                         mp = 1;
7524                         break;
7525                       }
7526
7527                     if (*q == ' ')
7528                       ++q;
7529                   }
7530
7531                 if (! mp)
7532                   m = 0;
7533
7534                 if (*e == ' ')
7535                   ++e;
7536               }
7537
7538             if (m)
7539               {
7540                 skip = 1;
7541                 break;
7542               }
7543
7544             if (*e != '\0')
7545               ++e;
7546           }
7547       }
7548
7549       if (! skip)
7550         {
7551           /* If this is a duplicate, skip it.  */
7552           skip = (last_path != 0
7553                   && (unsigned int) (p - this_path) == last_path_len
7554                   && ! strncmp (last_path, this_path, last_path_len));
7555
7556           last_path = this_path;
7557           last_path_len = p - this_path;
7558         }
7559
7560       /* If this directory requires any default arguments, we can skip
7561          it.  We will already have printed a directory identical to
7562          this one which does not require that default argument.  */
7563       if (! skip)
7564         {
7565           const char *q;
7566
7567           q = p + 1;
7568           while (*q != ';')
7569             {
7570               const char *arg;
7571
7572               if (*q == '\0')
7573                 goto invalid_select;
7574
7575               if (*q == '!')
7576                 arg = NULL;
7577               else
7578                 arg = q;
7579
7580               while (*q != ' ' && *q != ';')
7581                 {
7582                   if (*q == '\0')
7583                     goto invalid_select;
7584                   ++q;
7585                 }
7586
7587               if (arg != NULL
7588                   && default_arg (arg, q - arg))
7589                 {
7590                   skip = 1;
7591                   break;
7592                 }
7593
7594               if (*q == ' ')
7595                 ++q;
7596             }
7597         }
7598
7599       if (! skip)
7600         {
7601           const char *p1;
7602
7603           for (p1 = last_path; p1 < p && *p1 != ':'; p1++)
7604             putchar (*p1);
7605           putchar (';');
7606         }
7607
7608       ++p;
7609       while (*p != ';')
7610         {
7611           int use_arg;
7612
7613           if (*p == '\0')
7614             goto invalid_select;
7615
7616           if (skip)
7617             {
7618               ++p;
7619               continue;
7620             }
7621
7622           use_arg = *p != '!';
7623
7624           if (use_arg)
7625             putchar ('@');
7626
7627           while (*p != ' ' && *p != ';')
7628             {
7629               if (*p == '\0')
7630                 goto invalid_select;
7631               if (use_arg)
7632                 putchar (*p);
7633               ++p;
7634             }
7635
7636           if (*p == ' ')
7637             ++p;
7638         }
7639
7640       if (! skip)
7641         {
7642           /* If there are extra options, print them now.  */
7643           if (multilib_extra && *multilib_extra)
7644             {
7645               int print_at = TRUE;
7646               const char *q;
7647
7648               for (q = multilib_extra; *q != '\0'; q++)
7649                 {
7650                   if (*q == ' ')
7651                     print_at = TRUE;
7652                   else
7653                     {
7654                       if (print_at)
7655                         putchar ('@');
7656                       putchar (*q);
7657                       print_at = FALSE;
7658                     }
7659                 }
7660             }
7661
7662           putchar ('\n');
7663         }
7664
7665       ++p;
7666     }
7667 }
7668 \f
7669 /* if-exists built-in spec function.
7670
7671    Checks to see if the file specified by the absolute pathname in
7672    ARGS exists.  Returns that pathname if found.
7673
7674    The usual use for this function is to check for a library file
7675    (whose name has been expanded with %s).  */
7676
7677 static const char *
7678 if_exists_spec_function (int argc, const char **argv)
7679 {
7680   /* Must have only one argument.  */
7681   if (argc == 1 && IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
7682     return argv[0];
7683
7684   return NULL;
7685 }
7686
7687 /* if-exists-else built-in spec function.
7688
7689    This is like if-exists, but takes an additional argument which
7690    is returned if the first argument does not exist.  */
7691
7692 static const char *
7693 if_exists_else_spec_function (int argc, const char **argv)
7694 {
7695   /* Must have exactly two arguments.  */
7696   if (argc != 2)
7697     return NULL;
7698
7699   if (IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
7700     return argv[0];
7701
7702   return argv[1];
7703 }
7704
7705 /* replace-outfile built-in spec function.
7706
7707    This looks for the first argument in the outfiles array's name and
7708    replaces it with the second argument.  */
7709
7710 static const char *
7711 replace_outfile_spec_function (int argc, const char **argv)
7712 {
7713   int i;
7714   /* Must have exactly two arguments.  */
7715   if (argc != 2)
7716     abort ();
7717
7718   for (i = 0; i < n_infiles; i++)
7719     {
7720       if (outfiles[i] && !strcmp (outfiles[i], argv[0]))
7721         outfiles[i] = xstrdup (argv[1]);
7722     }
7723   return NULL;
7724 }
7725
7726 /* Given two version numbers, compares the two numbers.
7727    A version number must match the regular expression
7728    ([1-9][0-9]*|0)(\.([1-9][0-9]*|0))*
7729 */
7730 static int
7731 compare_version_strings (const char *v1, const char *v2)
7732 {
7733   int rresult;
7734   regex_t r;
7735
7736   if (regcomp (&r, "^([1-9][0-9]*|0)(\\.([1-9][0-9]*|0))*$",
7737                REG_EXTENDED | REG_NOSUB) != 0)
7738     abort ();
7739   rresult = regexec (&r, v1, 0, NULL, 0);
7740   if (rresult == REG_NOMATCH)
7741     fatal ("invalid version number `%s'", v1);
7742   else if (rresult != 0)
7743     abort ();
7744   rresult = regexec (&r, v2, 0, NULL, 0);
7745   if (rresult == REG_NOMATCH)
7746     fatal ("invalid version number `%s'", v2);
7747   else if (rresult != 0)
7748     abort ();
7749
7750   return strverscmp (v1, v2);
7751 }
7752
7753
7754 /* version_compare built-in spec function.
7755
7756    This takes an argument of the following form:
7757
7758    <comparison-op> <arg1> [<arg2>] <switch> <result>
7759
7760    and produces "result" if the comparison evaluates to true,
7761    and nothing if it doesn't.
7762
7763    The supported <comparison-op> values are:
7764
7765    >=  true if switch is a later (or same) version than arg1
7766    !>  opposite of >=
7767    <   true if switch is an earlier version than arg1
7768    !<  opposite of <
7769    ><  true if switch is arg1 or later, and earlier than arg2
7770    <>  true if switch is earlier than arg1 or is arg2 or later
7771
7772    If the switch is not present, the condition is false unless
7773    the first character of the <comparison-op> is '!'.
7774
7775    For example,
7776    %:version-compare(>= 10.3 mmacosx-version-min= -lmx)
7777    adds -lmx if -mmacosx-version-min=10.3.9 was passed.  */
7778
7779 static const char *
7780 version_compare_spec_function (int argc, const char **argv)
7781 {
7782   int comp1, comp2;
7783   size_t switch_len;
7784   const char *switch_value = NULL;
7785   int nargs = 1, i;
7786   bool result;
7787
7788   if (argc < 3)
7789     fatal ("too few arguments to %%:version-compare");
7790   if (argv[0][0] == '\0')
7791     abort ();
7792   if ((argv[0][1] == '<' || argv[0][1] == '>') && argv[0][0] != '!')
7793     nargs = 2;
7794   if (argc != nargs + 3)
7795     fatal ("too many arguments to %%:version-compare");
7796
7797   switch_len = strlen (argv[nargs + 1]);
7798   for (i = 0; i < n_switches; i++)
7799     if (!strncmp (switches[i].part1, argv[nargs + 1], switch_len)
7800         && check_live_switch (i, switch_len))
7801       switch_value = switches[i].part1 + switch_len;
7802
7803   if (switch_value == NULL)
7804     comp1 = comp2 = -1;
7805   else
7806     {
7807       comp1 = compare_version_strings (switch_value, argv[1]);
7808       if (nargs == 2)
7809         comp2 = compare_version_strings (switch_value, argv[2]);
7810       else
7811         comp2 = -1;  /* This value unused.  */
7812     }
7813
7814   switch (argv[0][0] << 8 | argv[0][1])
7815     {
7816     case '>' << 8 | '=':
7817       result = comp1 >= 0;
7818       break;
7819     case '!' << 8 | '<':
7820       result = comp1 >= 0 || switch_value == NULL;
7821       break;
7822     case '<' << 8:
7823       result = comp1 < 0;
7824       break;
7825     case '!' << 8 | '>':
7826       result = comp1 < 0 || switch_value == NULL;
7827       break;
7828     case '>' << 8 | '<':
7829       result = comp1 >= 0 && comp2 < 0;
7830       break;
7831     case '<' << 8 | '>':
7832       result = comp1 < 0 || comp2 >= 0;
7833       break;
7834
7835     default:
7836       fatal ("unknown operator '%s' in %%:version-compare", argv[0]);
7837     }
7838   if (! result)
7839     return NULL;
7840
7841   return argv[nargs + 2];
7842 }
7843
7844 /* %:include builtin spec function.  This differs from %include in that it
7845    can be nested inside a spec, and thus be conditionalized.  It takes
7846    one argument, the filename, and looks for it in the startfile path.
7847    The result is always NULL, i.e. an empty expansion.  */
7848
7849 static const char *
7850 include_spec_function (int argc, const char **argv)
7851 {
7852   char *file;
7853
7854   if (argc != 1)
7855     abort ();
7856
7857   file = find_a_file (&startfile_prefixes, argv[0], R_OK, 0);
7858   read_specs (file ? file : argv[0], FALSE);
7859
7860   return NULL;
7861 }