Merge from trunk: 215733-215743
[official-gcc.git] / gcc-4_9 / gcc / gcc.c
blobe187cd19c266178a6df6de37a9009a9866e7f6ff
1 /* Compiler driver program that can handle many languages.
2 Copyright (C) 1987-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This program is the user interface to the C compiler and possibly to
21 other compilers. It is used because compilation is a complicated procedure
22 which involves running several programs and passing temporary files between
23 them, forwarding the users switches to those programs selectively,
24 and deleting the temporary files at the end.
26 CC recognizes how to compile each input file by suffixes in the file names.
27 Once it knows which kind of compilation to perform, the procedure for
28 compilation is specified by a string called a "spec". */
30 #include "config.h"
31 #include "system.h"
32 #include "coretypes.h"
33 #include "multilib.h" /* before tm.h */
34 #include "tm.h"
35 #include "xregex.h"
36 #include "obstack.h"
37 #include "intl.h"
38 #include "prefix.h"
39 #include "gcc.h"
40 #include "diagnostic.h"
41 #include "flags.h"
42 #include "opts.h"
43 #include "params.h"
44 #include "vec.h"
45 #include "filenames.h"
47 /* By default there is no special suffix for target executables. */
48 /* FIXME: when autoconf is fixed, remove the host check - dj */
49 #if defined(TARGET_EXECUTABLE_SUFFIX) && defined(HOST_EXECUTABLE_SUFFIX)
50 #define HAVE_TARGET_EXECUTABLE_SUFFIX
51 #endif
53 /* By default there is no special suffix for host executables. */
54 #ifdef HOST_EXECUTABLE_SUFFIX
55 #define HAVE_HOST_EXECUTABLE_SUFFIX
56 #else
57 #define HOST_EXECUTABLE_SUFFIX ""
58 #endif
60 /* By default, the suffix for target object files is ".o". */
61 #ifdef TARGET_OBJECT_SUFFIX
62 #define HAVE_TARGET_OBJECT_SUFFIX
63 #else
64 #define TARGET_OBJECT_SUFFIX ".o"
65 #endif
67 static const char dir_separator_str[] = { DIR_SEPARATOR, 0 };
69 /* Most every one is fine with LIBRARY_PATH. For some, it conflicts. */
70 #ifndef LIBRARY_PATH_ENV
71 #define LIBRARY_PATH_ENV "LIBRARY_PATH"
72 #endif
74 /* If a stage of compilation returns an exit status >= 1,
75 compilation of that file ceases. */
77 #define MIN_FATAL_STATUS 1
79 /* Flag set by cppspec.c to 1. */
80 int is_cpp_driver;
82 /* Flag set to nonzero if an @file argument has been supplied to gcc. */
83 static bool at_file_supplied;
85 /* Definition of string containing the arguments given to configure. */
86 #include "configargs.h"
88 /* Flag saying to print the command line options understood by gcc and its
89 sub-processes. */
91 static int print_help_list;
93 /* Flag saying to print the version of gcc and its sub-processes. */
95 static int print_version;
97 /* Flag indicating whether we should ONLY print the command and
98 arguments (like verbose_flag) without executing the command.
99 Displayed arguments are quoted so that the generated command
100 line is suitable for execution. This is intended for use in
101 shell scripts to capture the driver-generated command line. */
102 static int verbose_only_flag;
104 /* Flag indicating how to print command line options of sub-processes. */
106 static int print_subprocess_help;
108 /* Linker suffix passed to -fuse-ld=... */
109 static const char *use_ld;
111 /* Whether we should report subprocess execution times to a file. */
113 FILE *report_times_to_file = NULL;
115 /* Nonzero means place this string before uses of /, so that include
116 and library files can be found in an alternate location. */
118 #ifdef TARGET_SYSTEM_ROOT
119 static const char *target_system_root = TARGET_SYSTEM_ROOT;
120 #else
121 static const char *target_system_root = 0;
122 #endif
124 /* Nonzero means pass the updated target_system_root to the compiler. */
126 static int target_system_root_changed;
128 /* Nonzero means append this string to target_system_root. */
130 static const char *target_sysroot_suffix = 0;
132 /* Nonzero means append this string to target_system_root for headers. */
134 static const char *target_sysroot_hdrs_suffix = 0;
136 /* Nonzero means write "temp" files in source directory
137 and use the source file's name in them, and don't delete them. */
139 static enum save_temps {
140 SAVE_TEMPS_NONE, /* no -save-temps */
141 SAVE_TEMPS_CWD, /* -save-temps in current directory */
142 SAVE_TEMPS_OBJ /* -save-temps in object directory */
143 } save_temps_flag;
145 /* Output file to use to get the object directory for -save-temps=obj */
146 static char *save_temps_prefix = 0;
147 static size_t save_temps_length = 0;
149 /* The compiler version. */
151 static const char *compiler_version;
153 /* The target version. */
155 static const char *const spec_version = DEFAULT_TARGET_VERSION;
157 /* The target machine. */
159 static const char *spec_machine = DEFAULT_TARGET_MACHINE;
161 /* Nonzero if cross-compiling.
162 When -b is used, the value comes from the `specs' file. */
164 #ifdef CROSS_DIRECTORY_STRUCTURE
165 static const char *cross_compile = "1";
166 #else
167 static const char *cross_compile = "0";
168 #endif
170 /* Greatest exit code of sub-processes that has been encountered up to
171 now. */
172 static int greatest_status = 1;
174 /* This is the obstack which we use to allocate many strings. */
176 static struct obstack obstack;
178 /* This is the obstack to build an environment variable to pass to
179 collect2 that describes all of the relevant switches of what to
180 pass the compiler in building the list of pointers to constructors
181 and destructors. */
183 static struct obstack collect_obstack;
185 /* Forward declaration for prototypes. */
186 struct path_prefix;
187 struct prefix_list;
189 static void init_spec (void);
190 static void store_arg (const char *, int, int);
191 static void insert_wrapper (const char *);
192 static char *load_specs (const char *);
193 static void read_specs (const char *, bool, bool);
194 static void set_spec (const char *, const char *, bool);
195 static struct compiler *lookup_compiler (const char *, size_t, const char *);
196 static char *build_search_list (const struct path_prefix *, const char *,
197 bool, bool);
198 static void xputenv (const char *);
199 static void putenv_from_prefixes (const struct path_prefix *, const char *,
200 bool);
201 static int access_check (const char *, int);
202 static char *find_a_file (const struct path_prefix *, const char *, int, bool);
203 static void add_prefix (struct path_prefix *, const char *, const char *,
204 int, int, int);
205 static void add_sysrooted_prefix (struct path_prefix *, const char *,
206 const char *, int, int, int);
207 static char *skip_whitespace (char *);
208 static void delete_if_ordinary (const char *);
209 static void delete_temp_files (void);
210 static void delete_failure_queue (void);
211 static void clear_failure_queue (void);
212 static int check_live_switch (int, int);
213 static const char *handle_braces (const char *);
214 static inline bool input_suffix_matches (const char *, const char *);
215 static inline bool switch_matches (const char *, const char *, int);
216 static inline void mark_matching_switches (const char *, const char *, int);
217 static inline void process_marked_switches (void);
218 static const char *process_brace_body (const char *, const char *, const char *, int, int);
219 static const struct spec_function *lookup_spec_function (const char *);
220 static const char *eval_spec_function (const char *, const char *);
221 static const char *handle_spec_function (const char *, bool *);
222 static char *save_string (const char *, int);
223 static void set_collect_gcc_options (void);
224 static int do_spec_1 (const char *, int, const char *);
225 static int do_spec_2 (const char *);
226 static void do_option_spec (const char *, const char *);
227 static void do_self_spec (const char *);
228 static const char *find_file (const char *);
229 static int is_directory (const char *, bool);
230 static const char *validate_switches (const char *, bool);
231 static void validate_all_switches (void);
232 static inline void validate_switches_from_spec (const char *, bool);
233 static void give_switch (int, int);
234 static int used_arg (const char *, int);
235 static int default_arg (const char *, int);
236 static void set_multilib_dir (void);
237 static void print_multilib_info (void);
238 static void perror_with_name (const char *);
239 static void display_help (void);
240 static void add_preprocessor_option (const char *, int);
241 static void add_assembler_option (const char *, int);
242 static void add_linker_option (const char *, int);
243 static void process_command (unsigned int, struct cl_decoded_option *);
244 static int execute (void);
245 static void alloc_args (void);
246 static void clear_args (void);
247 static void fatal_signal (int);
248 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
249 static void init_gcc_specs (struct obstack *, const char *, const char *,
250 const char *);
251 #endif
252 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
253 static const char *convert_filename (const char *, int, int);
254 #endif
256 static const char *getenv_spec_function (int, const char **);
257 static const char *if_exists_spec_function (int, const char **);
258 static const char *if_exists_else_spec_function (int, const char **);
259 static const char *sanitize_spec_function (int, const char **);
260 static const char *replace_outfile_spec_function (int, const char **);
261 static const char *remove_outfile_spec_function (int, const char **);
262 static const char *version_compare_spec_function (int, const char **);
263 static const char *include_spec_function (int, const char **);
264 static const char *find_file_spec_function (int, const char **);
265 static const char *find_plugindir_spec_function (int, const char **);
266 static const char *print_asm_header_spec_function (int, const char **);
267 static const char *compare_debug_dump_opt_spec_function (int, const char **);
268 static const char *compare_debug_self_opt_spec_function (int, const char **);
269 static const char *compare_debug_auxbase_opt_spec_function (int, const char **);
270 static const char *pass_through_libs_spec_func (int, const char **);
271 static const char *replace_extension_spec_func (int, const char **);
272 static char *convert_white_space (char *);
274 /* The Specs Language
276 Specs are strings containing lines, each of which (if not blank)
277 is made up of a program name, and arguments separated by spaces.
278 The program name must be exact and start from root, since no path
279 is searched and it is unreliable to depend on the current working directory.
280 Redirection of input or output is not supported; the subprograms must
281 accept filenames saying what files to read and write.
283 In addition, the specs can contain %-sequences to substitute variable text
284 or for conditional text. Here is a table of all defined %-sequences.
285 Note that spaces are not generated automatically around the results of
286 expanding these sequences; therefore, you can concatenate them together
287 or with constant text in a single argument.
289 %% substitute one % into the program name or argument.
290 %i substitute the name of the input file being processed.
291 %b substitute the basename of the input file being processed.
292 This is the substring up to (and not including) the last period
293 and not including the directory unless -save-temps was specified
294 to put temporaries in a different location.
295 %B same as %b, but include the file suffix (text after the last period).
296 %gSUFFIX
297 substitute a file name that has suffix SUFFIX and is chosen
298 once per compilation, and mark the argument a la %d. To reduce
299 exposure to denial-of-service attacks, the file name is now
300 chosen in a way that is hard to predict even when previously
301 chosen file names are known. For example, `%g.s ... %g.o ... %g.s'
302 might turn into `ccUVUUAU.s ccXYAXZ12.o ccUVUUAU.s'. SUFFIX matches
303 the regexp "[.0-9A-Za-z]*%O"; "%O" is treated exactly as if it
304 had been pre-processed. Previously, %g was simply substituted
305 with a file name chosen once per compilation, without regard
306 to any appended suffix (which was therefore treated just like
307 ordinary text), making such attacks more likely to succeed.
308 %|SUFFIX
309 like %g, but if -pipe is in effect, expands simply to "-".
310 %mSUFFIX
311 like %g, but if -pipe is in effect, expands to nothing. (We have both
312 %| and %m to accommodate differences between system assemblers; see
313 the AS_NEEDS_DASH_FOR_PIPED_INPUT target macro.)
314 %uSUFFIX
315 like %g, but generates a new temporary file name even if %uSUFFIX
316 was already seen.
317 %USUFFIX
318 substitutes the last file name generated with %uSUFFIX, generating a
319 new one if there is no such last file name. In the absence of any
320 %uSUFFIX, this is just like %gSUFFIX, except they don't share
321 the same suffix "space", so `%g.s ... %U.s ... %g.s ... %U.s'
322 would involve the generation of two distinct file names, one
323 for each `%g.s' and another for each `%U.s'. Previously, %U was
324 simply substituted with a file name chosen for the previous %u,
325 without regard to any appended suffix.
326 %jSUFFIX
327 substitutes the name of the HOST_BIT_BUCKET, if any, and if it is
328 writable, and if save-temps is off; otherwise, substitute the name
329 of a temporary file, just like %u. This temporary file is not
330 meant for communication between processes, but rather as a junk
331 disposal mechanism.
332 %.SUFFIX
333 substitutes .SUFFIX for the suffixes of a matched switch's args when
334 it is subsequently output with %*. SUFFIX is terminated by the next
335 space or %.
336 %d marks the argument containing or following the %d as a
337 temporary file name, so that that file will be deleted if GCC exits
338 successfully. Unlike %g, this contributes no text to the argument.
339 %w marks the argument containing or following the %w as the
340 "output file" of this compilation. This puts the argument
341 into the sequence of arguments that %o will substitute later.
342 %V indicates that this compilation produces no "output file".
343 %W{...}
344 like %{...} but mark last argument supplied within
345 as a file to be deleted on failure.
346 %o substitutes the names of all the output files, with spaces
347 automatically placed around them. You should write spaces
348 around the %o as well or the results are undefined.
349 %o is for use in the specs for running the linker.
350 Input files whose names have no recognized suffix are not compiled
351 at all, but they are included among the output files, so they will
352 be linked.
353 %O substitutes the suffix for object files. Note that this is
354 handled specially when it immediately follows %g, %u, or %U
355 (with or without a suffix argument) because of the need for
356 those to form complete file names. The handling is such that
357 %O is treated exactly as if it had already been substituted,
358 except that %g, %u, and %U do not currently support additional
359 SUFFIX characters following %O as they would following, for
360 example, `.o'.
361 %I Substitute any of -iprefix (made from GCC_EXEC_PREFIX), -isysroot
362 (made from TARGET_SYSTEM_ROOT), -isystem (made from COMPILER_PATH
363 and -B options) and -imultilib as necessary.
364 %s current argument is the name of a library or startup file of some sort.
365 Search for that file in a standard list of directories
366 and substitute the full name found.
367 %eSTR Print STR as an error message. STR is terminated by a newline.
368 Use this when inconsistent options are detected.
369 %nSTR Print STR as a notice. STR is terminated by a newline.
370 %x{OPTION} Accumulate an option for %X.
371 %X Output the accumulated linker options specified by compilations.
372 %Y Output the accumulated assembler options specified by compilations.
373 %Z Output the accumulated preprocessor options specified by compilations.
374 %a process ASM_SPEC as a spec.
375 This allows config.h to specify part of the spec for running as.
376 %A process ASM_FINAL_SPEC as a spec. A capital A is actually
377 used here. This can be used to run a post-processor after the
378 assembler has done its job.
379 %D Dump out a -L option for each directory in startfile_prefixes.
380 If multilib_dir is set, extra entries are generated with it affixed.
381 %l process LINK_SPEC as a spec.
382 %L process LIB_SPEC as a spec.
383 %M Output multilib_os_dir.
384 %G process LIBGCC_SPEC as a spec.
385 %R Output the concatenation of target_system_root and
386 target_sysroot_suffix.
387 %S process STARTFILE_SPEC as a spec. A capital S is actually used here.
388 %E process ENDFILE_SPEC as a spec. A capital E is actually used here.
389 %C process CPP_SPEC as a spec.
390 %1 process CC1_SPEC as a spec.
391 %2 process CC1PLUS_SPEC as a spec.
392 %* substitute the variable part of a matched option. (See below.)
393 Note that each comma in the substituted string is replaced by
394 a single space. A space is appended after the last substition
395 unless there is more text in current sequence.
396 %<S remove all occurrences of -S from the command line.
397 Note - this command is position dependent. % commands in the
398 spec string before this one will see -S, % commands in the
399 spec string after this one will not.
400 %>S Similar to "%<S", but keep it in the GCC command line.
401 %<S* remove all occurrences of all switches beginning with -S from the
402 command line.
403 %:function(args)
404 Call the named function FUNCTION, passing it ARGS. ARGS is
405 first processed as a nested spec string, then split into an
406 argument vector in the usual fashion. The function returns
407 a string which is processed as if it had appeared literally
408 as part of the current spec.
409 %{S} substitutes the -S switch, if that switch was given to GCC.
410 If that switch was not specified, this substitutes nothing.
411 Here S is a metasyntactic variable.
412 %{S*} substitutes all the switches specified to GCC whose names start
413 with -S. This is used for -o, -I, etc; switches that take
414 arguments. GCC considers `-o foo' as being one switch whose
415 name starts with `o'. %{o*} would substitute this text,
416 including the space; thus, two arguments would be generated.
417 %{S*&T*} likewise, but preserve order of S and T options (the order
418 of S and T in the spec is not significant). Can be any number
419 of ampersand-separated variables; for each the wild card is
420 optional. Useful for CPP as %{D*&U*&A*}.
422 %{S:X} substitutes X, if the -S switch was given to GCC.
423 %{!S:X} substitutes X, if the -S switch was NOT given to GCC.
424 %{S*:X} substitutes X if one or more switches whose names start
425 with -S was given to GCC. Normally X is substituted only
426 once, no matter how many such switches appeared. However,
427 if %* appears somewhere in X, then X will be substituted
428 once for each matching switch, with the %* replaced by the
429 part of that switch that matched the '*'. A space will be
430 appended after the last substition unless there is more
431 text in current sequence.
432 %{.S:X} substitutes X, if processing a file with suffix S.
433 %{!.S:X} substitutes X, if NOT processing a file with suffix S.
434 %{,S:X} substitutes X, if processing a file which will use spec S.
435 %{!,S:X} substitutes X, if NOT processing a file which will use spec S.
437 %{S|T:X} substitutes X if either -S or -T was given to GCC. This may be
438 combined with '!', '.', ',', and '*' as above binding stronger
439 than the OR.
440 If %* appears in X, all of the alternatives must be starred, and
441 only the first matching alternative is substituted.
442 %{%:function(args):X}
443 Call function named FUNCTION with args ARGS. If the function
444 returns non-NULL, then X is substituted, if it returns
445 NULL, it isn't substituted.
446 %{S:X; if S was given to GCC, substitutes X;
447 T:Y; else if T was given to GCC, substitutes Y;
448 :D} else substitutes D. There can be as many clauses as you need.
449 This may be combined with '.', '!', ',', '|', and '*' as above.
451 %(Spec) processes a specification defined in a specs file as *Spec:
453 The conditional text X in a %{S:X} or similar construct may contain
454 other nested % constructs or spaces, or even newlines. They are
455 processed as usual, as described above. Trailing white space in X is
456 ignored. White space may also appear anywhere on the left side of the
457 colon in these constructs, except between . or * and the corresponding
458 word.
460 The -O, -f, -g, -m, and -W switches are handled specifically in these
461 constructs. If another value of -O or the negated form of a -f, -m, or
462 -W switch is found later in the command line, the earlier switch
463 value is ignored, except with {S*} where S is just one letter; this
464 passes all matching options.
466 The character | at the beginning of the predicate text is used to indicate
467 that a command should be piped to the following command, but only if -pipe
468 is specified.
470 Note that it is built into GCC which switches take arguments and which
471 do not. You might think it would be useful to generalize this to
472 allow each compiler's spec to say which switches take arguments. But
473 this cannot be done in a consistent fashion. GCC cannot even decide
474 which input files have been specified without knowing which switches
475 take arguments, and it must know which input files to compile in order
476 to tell which compilers to run.
478 GCC also knows implicitly that arguments starting in `-l' are to be
479 treated as compiler output files, and passed to the linker in their
480 proper position among the other output files. */
482 /* Define the macros used for specs %a, %l, %L, %S, %C, %1. */
484 /* config.h can define ASM_SPEC to provide extra args to the assembler
485 or extra switch-translations. */
486 #ifndef ASM_SPEC
487 #define ASM_SPEC ""
488 #endif
490 /* config.h can define ASM_FINAL_SPEC to run a post processor after
491 the assembler has run. */
492 #ifndef ASM_FINAL_SPEC
493 #define ASM_FINAL_SPEC \
494 "%{gsplit-dwarf: \n\
495 objcopy --extract-dwo \
496 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
497 %{c:%{o*:%:replace-extension(%{o*:%*} .dwo)}%{!o*:%b.dwo}}%{!c:%b.dwo} \n\
498 objcopy --strip-dwo \
499 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
501 #endif
503 /* config.h can define CPP_SPEC to provide extra args to the C preprocessor
504 or extra switch-translations. */
505 #ifndef CPP_SPEC
506 #define CPP_SPEC ""
507 #endif
509 /* config.h can define CC1_SPEC to provide extra args to cc1 and cc1plus
510 or extra switch-translations. */
511 #ifndef CC1_SPEC
512 #define CC1_SPEC ""
513 #endif
515 /* config.h can define CC1PLUS_SPEC to provide extra args to cc1plus
516 or extra switch-translations. */
517 #ifndef CC1PLUS_SPEC
518 #define CC1PLUS_SPEC ""
519 #endif
521 /* config.h can define LINK_SPEC to provide extra args to the linker
522 or extra switch-translations. */
523 #ifndef LINK_SPEC
524 #define LINK_SPEC ""
525 #endif
527 /* config.h can define LIB_SPEC to override the default libraries. */
528 #ifndef LIB_SPEC
529 #define LIB_SPEC "%{!shared:%{g*:-lg} %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
530 #endif
532 /* When using -fsplit-stack we need to wrap pthread_create, in order
533 to initialize the stack guard. We always use wrapping, rather than
534 shared library ordering, and we keep the wrapper function in
535 libgcc. This is not yet a real spec, though it could become one;
536 it is currently just stuffed into LINK_SPEC. FIXME: This wrapping
537 only works with GNU ld, gold and mcld. */
538 #define STACK_SPLIT_SPEC " %{fsplit-stack: --wrap=pthread_create}"
540 #ifndef LIBASAN_SPEC
541 #define STATIC_LIBASAN_LIBS \
542 " %{static-libasan:%:include(libsanitizer.spec)%(link_libasan)}"
543 #ifdef LIBASAN_EARLY_SPEC
544 #define LIBASAN_SPEC STATIC_LIBASAN_LIBS
545 #elif defined(HAVE_LD_STATIC_DYNAMIC)
546 #define LIBASAN_SPEC "%{static-libasan:" LD_STATIC_OPTION \
547 "} -lasan %{static-libasan:" LD_DYNAMIC_OPTION "}" \
548 STATIC_LIBASAN_LIBS
549 #else
550 #define LIBASAN_SPEC "-lasan" STATIC_LIBASAN_LIBS
551 #endif
552 #endif
554 #ifndef LIBASAN_EARLY_SPEC
555 #define LIBASAN_EARLY_SPEC ""
556 #endif
558 #ifndef LIBTSAN_SPEC
559 #define STATIC_LIBTSAN_LIBS \
560 " %{static-libtsan:%:include(libsanitizer.spec)%(link_libtsan)}"
561 #ifdef LIBTSAN_EARLY_SPEC
562 #define LIBTSAN_SPEC STATIC_LIBTSAN_LIBS
563 #elif defined(HAVE_LD_STATIC_DYNAMIC)
564 #define LIBTSAN_SPEC "%{static-libtsan:" LD_STATIC_OPTION \
565 "} -ltsan %{static-libtsan:" LD_DYNAMIC_OPTION "}" \
566 STATIC_LIBTSAN_LIBS
567 #else
568 #define LIBTSAN_SPEC "-ltsan" STATIC_LIBTSAN_LIBS
569 #endif
570 #endif
572 #ifndef LIBTSAN_EARLY_SPEC
573 #define LIBTSAN_EARLY_SPEC ""
574 #endif
576 #ifndef LIBLSAN_SPEC
577 #define STATIC_LIBLSAN_LIBS \
578 " %{static-liblsan:%:include(libsanitizer.spec)%(link_liblsan)}"
579 #ifdef LIBLSAN_EARLY_SPEC
580 #define LIBLSAN_SPEC STATIC_LIBLSAN_LIBS
581 #elif defined(HAVE_LD_STATIC_DYNAMIC)
582 #define LIBLSAN_SPEC "%{static-liblsan:" LD_STATIC_OPTION \
583 "} -llsan %{static-liblsan:" LD_DYNAMIC_OPTION "}" \
584 STATIC_LIBLSAN_LIBS
585 #else
586 #define LIBLSAN_SPEC "-llsan" STATIC_LIBLSAN_LIBS
587 #endif
588 #endif
590 #ifndef LIBLSAN_EARLY_SPEC
591 #define LIBLSAN_EARLY_SPEC ""
592 #endif
594 #ifndef LIBUBSAN_SPEC
595 #define STATIC_LIBUBSAN_LIBS \
596 " %{static-libubsan:%:include(libsanitizer.spec)%(link_libubsan)}"
597 #ifdef HAVE_LD_STATIC_DYNAMIC
598 #define LIBUBSAN_SPEC "%{static-libubsan:" LD_STATIC_OPTION \
599 "} -lubsan %{static-libubsan:" LD_DYNAMIC_OPTION "}" \
600 STATIC_LIBUBSAN_LIBS
601 #else
602 #define LIBUBSAN_SPEC "-lubsan" STATIC_LIBUBSAN_LIBS
603 #endif
604 #endif
606 /* config.h can define LIBGCC_SPEC to override how and when libgcc.a is
607 included. */
608 #ifndef LIBGCC_SPEC
609 #if defined(REAL_LIBGCC_SPEC)
610 #define LIBGCC_SPEC REAL_LIBGCC_SPEC
611 #elif defined(LINK_LIBGCC_SPECIAL_1)
612 /* Have gcc do the search for libgcc.a. */
613 #define LIBGCC_SPEC "libgcc.a%s"
614 #else
615 #define LIBGCC_SPEC "-lgcc"
616 #endif
617 #endif
619 /* config.h can define STARTFILE_SPEC to override the default crt0 files. */
620 #ifndef STARTFILE_SPEC
621 #define STARTFILE_SPEC \
622 "%{!shared:%{pg:gcrt0%O%s}%{!pg:%{p:mcrt0%O%s}%{!p:crt0%O%s}}}"
623 #endif
625 /* config.h can define ENDFILE_SPEC to override the default crtn files. */
626 #ifndef ENDFILE_SPEC
627 #define ENDFILE_SPEC ""
628 #endif
630 #ifndef LINKER_NAME
631 #define LINKER_NAME "collect2"
632 #endif
634 #ifdef HAVE_AS_DEBUG_PREFIX_MAP
635 #define ASM_MAP " %{fdebug-prefix-map=*:--debug-prefix-map %*}"
636 #else
637 #define ASM_MAP ""
638 #endif
640 /* Define ASM_DEBUG_SPEC to be a spec suitable for translating '-g'
641 to the assembler. */
642 #ifndef ASM_DEBUG_SPEC
643 # if defined(DBX_DEBUGGING_INFO) && defined(DWARF2_DEBUGGING_INFO) \
644 && defined(HAVE_AS_GDWARF2_DEBUG_FLAG) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
645 # define ASM_DEBUG_SPEC \
646 (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG \
647 ? "%{!g0:%{gdwarf*:--gdwarf2}%{!gdwarf*:%{g*:--gstabs}}}" ASM_MAP \
648 : "%{!g0:%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}}" ASM_MAP)
649 # else
650 # if defined(DBX_DEBUGGING_INFO) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
651 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gstabs}}" ASM_MAP
652 # endif
653 # if defined(DWARF2_DEBUGGING_INFO) && defined(HAVE_AS_GDWARF2_DEBUG_FLAG)
654 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gdwarf2}}" ASM_MAP
655 # endif
656 # endif
657 #endif
658 #ifndef ASM_DEBUG_SPEC
659 # define ASM_DEBUG_SPEC ""
660 #endif
662 /* Here is the spec for running the linker, after compiling all files. */
664 /* This is overridable by the target in case they need to specify the
665 -lgcc and -lc order specially, yet not require them to override all
666 of LINK_COMMAND_SPEC. */
667 #ifndef LINK_GCC_C_SEQUENCE_SPEC
668 #define LINK_GCC_C_SEQUENCE_SPEC "%G %L %G"
669 #endif
671 #ifndef LINK_SSP_SPEC
672 #ifdef TARGET_LIBC_PROVIDES_SSP
673 #define LINK_SSP_SPEC "%{fstack-protector:}"
674 #else
675 #define LINK_SSP_SPEC "%{fstack-protector|fstack-protector-strong|fstack-protector-all:-lssp_nonshared -lssp}"
676 #endif
677 #endif
679 #ifndef LINK_PIE_SPEC
680 #ifdef HAVE_LD_PIE
681 #define LINK_PIE_SPEC "%{pie:-pie} %{no-pie:}"
682 #else
683 #define LINK_PIE_SPEC "%{pie:} %{no-pie:}"
684 #endif
685 #endif
687 #ifndef LINK_BUILDID_SPEC
688 # if defined(HAVE_LD_BUILDID) && defined(ENABLE_LD_BUILDID)
689 # define LINK_BUILDID_SPEC "%{!r:--build-id} "
690 # endif
691 #endif
693 /* Conditional to test whether the LTO plugin is used or not.
694 FIXME: For slim LTO we will need to enable plugin unconditionally. This
695 still cause problems with PLUGIN_LD != LD and when plugin is built but
696 not useable. For GCC 4.6 we don't support slim LTO and thus we can enable
697 plugin only when LTO is enabled. We still honor explicit
698 -fuse-linker-plugin if the linker used understands -plugin. */
700 /* The linker has some plugin support. */
701 #if HAVE_LTO_PLUGIN > 0
702 /* The linker used has full plugin support, use LTO plugin by default. */
703 #if HAVE_LTO_PLUGIN == 2
704 #define PLUGIN_COND "!fno-use-linker-plugin:%{!fno-lto"
705 #define PLUGIN_COND_CLOSE "}"
706 #else
707 /* The linker used has limited plugin support, use LTO plugin with explicit
708 -fuse-linker-plugin. */
709 #define PLUGIN_COND "fuse-linker-plugin"
710 #define PLUGIN_COND_CLOSE ""
711 #endif
712 #define LINK_PLUGIN_SPEC \
713 "%{"PLUGIN_COND": \
714 -plugin %(linker_plugin_file) \
715 -plugin-opt=%(lto_wrapper) \
716 -plugin-opt=-fresolution=%u.res \
717 %{!nostdlib:%{!nodefaultlibs:%:pass-through-libs(%(link_gcc_c_sequence))}} \
718 }"PLUGIN_COND_CLOSE
719 #else
720 /* The linker used doesn't support -plugin, reject -fuse-linker-plugin. */
721 #define LINK_PLUGIN_SPEC "%{fuse-linker-plugin:\
722 %e-fuse-linker-plugin is not supported in this configuration}"
723 #endif
725 /* Linker command line options for -fsanitize= early on the command line. */
726 #ifndef SANITIZER_EARLY_SPEC
727 #define SANITIZER_EARLY_SPEC "\
728 %{!nostdlib:%{!nodefaultlibs:%{%:sanitize(address):" LIBASAN_EARLY_SPEC "} \
729 %{%:sanitize(thread):" LIBTSAN_EARLY_SPEC "} \
730 %{%:sanitize(leak):" LIBLSAN_EARLY_SPEC "}}}"
731 #endif
733 /* Linker command line options for -fsanitize= late on the command line. */
734 #ifndef SANITIZER_SPEC
735 #define SANITIZER_SPEC "\
736 %{!nostdlib:%{!nodefaultlibs:%{%:sanitize(address):" LIBASAN_SPEC "\
737 %{static:%ecannot specify -static with -fsanitize=address}}\
738 %{%:sanitize(thread):" LIBTSAN_SPEC "\
739 %{!pie:%{!shared:%e-fsanitize=thread linking must be done with -pie or -shared}}}\
740 %{%:sanitize(undefined):" LIBUBSAN_SPEC "}\
741 %{%:sanitize(leak):" LIBLSAN_SPEC "}}}"
742 #endif
744 /* This is the spec to use, once the code for creating the vtable
745 verification runtime library, libvtv.so, has been created. Currently
746 the vtable verification runtime functions are in libstdc++, so we use
747 the spec just below this one. */
748 #ifndef VTABLE_VERIFICATION_SPEC
749 #define VTABLE_VERIFICATION_SPEC "\
750 %{!nostdlib:%{fvtable-verify=std: -lvtv -u_vtable_map_vars_start -u_vtable_map_vars_end}\
751 %{fvtable-verify=preinit: -lvtv -u_vtable_map_vars_start -u_vtable_map_vars_end}}"
752 #endif
754 /* -u* was put back because both BSD and SysV seem to support it. */
755 /* %{static:} simply prevents an error message if the target machine
756 doesn't handle -static. */
757 /* We want %{T*} after %{L*} and %D so that it can be used to specify linker
758 scripts which exist in user specified directories, or in standard
759 directories. */
760 /* We pass any -flto flags on to the linker, which is expected
761 to understand them. In practice, this means it had better be collect2. */
762 /* %{e*} includes -export-dynamic; see comment in common.opt. */
763 #ifndef LINK_COMMAND_SPEC
764 #define LINK_COMMAND_SPEC "\
765 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S:\
766 %(linker) " \
767 LINK_PLUGIN_SPEC \
768 "%{freorder-functions=*: \
769 -plugin %(func_reorder_linker_plugin_file) \
770 -plugin-opt=%(func_reorder_linker_plugin_opt)}" \
771 "%{flto|flto=*:%<fcompare-debug*} \
772 %{flto} %{fno-lto} %{flto=*} %l " LINK_PIE_SPEC \
773 "%{fuse-ld=*:-fuse-ld=%*}\
774 %X %{o*} %{e*} %{N} %{n} %{r}\
775 %{s} %{t} %{u*} %{z} %{Z} %{!nostdlib:%{!nostartfiles:%S}} " VTABLE_VERIFICATION_SPEC " \
776 %{static:} %{L*} %(mfwrap) %(link_libgcc) " SANITIZER_EARLY_SPEC " %o\
777 %{fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)}\
778 %{fcilkplus:%:include(libcilkrts.spec)%(link_cilkrts)}\
779 %{fgnu-tm:%:include(libitm.spec)%(link_itm)}\
780 %(mflib) " STACK_SPLIT_SPEC "\
781 %{fprofile-arcs|fprofile-generate*|coverage:-lgcov " \
782 LINUX_OR_ANDROID_LD("", "-lgcc") "}" SANITIZER_SPEC " \
783 %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
784 %{!nostdlib:%{!nostartfiles:%E}} %{T*} }}}}}}"
785 #endif
787 #ifndef LINK_LIBGCC_SPEC
788 /* Generate -L options for startfile prefix list. */
789 # define LINK_LIBGCC_SPEC "%D"
790 #endif
792 #ifndef STARTFILE_PREFIX_SPEC
793 # define STARTFILE_PREFIX_SPEC ""
794 #endif
796 #ifndef SYSROOT_SPEC
797 # define SYSROOT_SPEC "--sysroot=%R"
798 #endif
800 #ifndef SYSROOT_SUFFIX_SPEC
801 # define SYSROOT_SUFFIX_SPEC ""
802 #endif
804 #ifndef SYSROOT_HEADERS_SUFFIX_SPEC
805 # define SYSROOT_HEADERS_SUFFIX_SPEC ""
806 #endif
808 static const char *asm_debug = ASM_DEBUG_SPEC;
809 static const char *cpp_spec = CPP_SPEC;
810 static const char *cc1_spec = CC1_SPEC;
811 static const char *cc1plus_spec = CC1PLUS_SPEC;
812 static const char *link_gcc_c_sequence_spec = LINK_GCC_C_SEQUENCE_SPEC;
813 static const char *link_ssp_spec = LINK_SSP_SPEC;
814 static const char *asm_spec = ASM_SPEC;
815 static const char *asm_final_spec = ASM_FINAL_SPEC;
816 static const char *link_spec = LINK_SPEC;
817 static const char *lib_spec = LIB_SPEC;
818 static const char *link_gomp_spec = "";
819 static const char *libgcc_spec = LIBGCC_SPEC;
820 static const char *endfile_spec = ENDFILE_SPEC;
821 static const char *startfile_spec = STARTFILE_SPEC;
822 static const char *linker_name_spec = LINKER_NAME;
823 static const char *linker_plugin_file_spec = "";
824 static const char *func_reorder_linker_plugin_file_spec = "";
825 static const char *func_reorder_linker_plugin_opt = "";
826 static const char *lto_wrapper_spec = "";
827 static const char *lto_gcc_spec = "";
828 static const char *link_command_spec = LINK_COMMAND_SPEC;
829 static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
830 static const char *startfile_prefix_spec = STARTFILE_PREFIX_SPEC;
831 static const char *sysroot_spec = SYSROOT_SPEC;
832 static const char *sysroot_suffix_spec = SYSROOT_SUFFIX_SPEC;
833 static const char *sysroot_hdrs_suffix_spec = SYSROOT_HEADERS_SUFFIX_SPEC;
834 static const char *self_spec = "";
836 /* Standard options to cpp, cc1, and as, to reduce duplication in specs.
837 There should be no need to override these in target dependent files,
838 but we need to copy them to the specs file so that newer versions
839 of the GCC driver can correctly drive older tool chains with the
840 appropriate -B options. */
842 /* When cpplib handles traditional preprocessing, get rid of this, and
843 call cc1 (or cc1obj in objc/lang-specs.h) from the main specs so
844 that we default the front end language better. */
845 static const char *trad_capable_cpp =
846 "cc1 -E %{traditional|traditional-cpp:-traditional-cpp}";
848 /* We don't wrap .d files in %W{} since a missing .d file, and
849 therefore no dependency entry, confuses make into thinking a .o
850 file that happens to exist is up-to-date. */
851 static const char *cpp_unique_options =
852 "%{!Q:-quiet} %{nostdinc*} %{C} %{CC} %{v} %{I*&F*} %{P} %I\
853 %{MD:-MD %{!o:%b.d}%{o*:%.d%*}}\
854 %{MMD:-MMD %{!o:%b.d}%{o*:%.d%*}}\
855 %{M} %{MM} %{MF*} %{MG} %{MP} %{MQ*} %{MT*}\
856 %{!E:%{!M:%{!MM:%{!MT:%{!MQ:%{MD|MMD:%{o*:-MQ %*}}}}}}}\
857 %{remap} %{g3|ggdb3|gstabs3|gcoff3|gxcoff3|gvms3:-dD}\
858 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
859 %{H} %C %{D*&U*&A*} %{i*} %Z %i\
860 %{E|M|MM:%W{o*}}";
862 /* This contains cpp options which are common with cc1_options and are passed
863 only when preprocessing only to avoid duplication. We pass the cc1 spec
864 options to the preprocessor so that it the cc1 spec may manipulate
865 options used to set target flags. Those special target flags settings may
866 in turn cause preprocessor symbols to be defined specially. */
867 static const char *cpp_options =
868 "%(cpp_unique_options) %1 %{m*} %{std*&ansi&trigraphs} %{W*&pedantic*} %{w}\
869 %{f*} %{g*:%{!g0:%{g*} %{!fno-working-directory:-fworking-directory}}} %{O*}\
870 %{undef} %{save-temps*:-fpch-preprocess}";
872 /* This contains cpp options which are not passed when the preprocessor
873 output will be used by another program. */
874 static const char *cpp_debug_options = "%{d*}";
876 /* NB: This is shared amongst all front-ends, except for Ada. */
877 static const char *cc1_options =
878 "%{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
879 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
880 %1 %{!Q:-quiet} %{!dumpbase:-dumpbase %B} %{d*} %{m*} %{aux-info*}\
881 %{fcompare-debug-second:%:compare-debug-auxbase-opt(%b)} \
882 %{!fcompare-debug-second:%{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}}%{!c:%{!S:-auxbase %b}} \
883 %{g*} %{O*} %{W*&pedantic*} %{w} %{std*&ansi&trigraphs}\
884 %{v:-version} %{pg:-p} %{p} %{f*} %{undef}\
885 %{Qn:-fno-ident} %{Qy:} %{-help:--help}\
886 %{-target-help:--target-help}\
887 %{-version:--version}\
888 %{-help=*:--help=%*}\
889 %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\
890 %{fsyntax-only:-o %j} %{-param*}\
891 %{coverage:-fprofile-arcs -ftest-coverage -fno-early-inlining}";
893 static const char *asm_options =
894 "%{-target-help:%:print-asm-header()} "
895 #if HAVE_GNU_AS
896 /* If GNU AS is used, then convert -w (no warnings), -I, and -v
897 to the assembler equivalents. */
898 "%{v} %{w:-W} %{I*} "
899 #endif
900 "%a %Y %{c:%W{o*}%{!o*:-o %w%b%O}}%{!c:-o %d%w%u%O}";
902 static const char *invoke_as =
903 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
904 "%{!fwpa*:\
905 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
906 %{!S:-o %|.s |\n as %(asm_options) %|.s %A }\
908 #else
909 "%{!fwpa*:\
910 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
911 %{!S:-o %|.s |\n as %(asm_options) %m.s %A }\
913 #endif
915 /* Some compilers have limits on line lengths, and the multilib_select
916 and/or multilib_matches strings can be very long, so we build them at
917 run time. */
918 static struct obstack multilib_obstack;
919 static const char *multilib_select;
920 static const char *multilib_matches;
921 static const char *multilib_defaults;
922 static const char *multilib_exclusions;
923 static const char *multilib_reuse;
925 /* Check whether a particular argument is a default argument. */
927 #ifndef MULTILIB_DEFAULTS
928 #define MULTILIB_DEFAULTS { "" }
929 #endif
931 static const char *const multilib_defaults_raw[] = MULTILIB_DEFAULTS;
933 #ifndef DRIVER_SELF_SPECS
934 #define DRIVER_SELF_SPECS ""
935 #endif
937 /* Linking to libgomp implies pthreads. This is particularly important
938 for targets that use different start files and suchlike. */
939 #ifndef GOMP_SELF_SPECS
940 #define GOMP_SELF_SPECS "%{fopenmp|ftree-parallelize-loops=*: -pthread}"
941 #endif
943 /* Likewise for -fgnu-tm. */
944 #ifndef GTM_SELF_SPECS
945 #define GTM_SELF_SPECS "%{fgnu-tm: -pthread}"
946 #endif
948 /* Likewise for -fcilkplus. */
949 #ifndef CILK_SELF_SPECS
950 #define CILK_SELF_SPECS "%{fcilkplus: -pthread}"
951 #endif
953 static const char *const driver_self_specs[] = {
954 "%{fdump-final-insns:-fdump-final-insns=.} %<fdump-final-insns",
955 DRIVER_SELF_SPECS, CONFIGURE_SPECS, GOMP_SELF_SPECS, GTM_SELF_SPECS,
956 CILK_SELF_SPECS
959 #ifndef OPTION_DEFAULT_SPECS
960 #define OPTION_DEFAULT_SPECS { "", "" }
961 #endif
963 struct default_spec
965 const char *name;
966 const char *spec;
969 static const struct default_spec
970 option_default_specs[] = { OPTION_DEFAULT_SPECS };
972 struct user_specs
974 struct user_specs *next;
975 const char *filename;
978 static struct user_specs *user_specs_head, *user_specs_tail;
981 /* Record the mapping from file suffixes for compilation specs. */
983 struct compiler
985 const char *suffix; /* Use this compiler for input files
986 whose names end in this suffix. */
988 const char *spec; /* To use this compiler, run this spec. */
990 const char *cpp_spec; /* If non-NULL, substitute this spec
991 for `%C', rather than the usual
992 cpp_spec. */
993 const int combinable; /* If nonzero, compiler can deal with
994 multiple source files at once (IMA). */
995 const int needs_preprocessing; /* If nonzero, source files need to
996 be run through a preprocessor. */
999 /* Pointer to a vector of `struct compiler' that gives the spec for
1000 compiling a file, based on its suffix.
1001 A file that does not end in any of these suffixes will be passed
1002 unchanged to the loader and nothing else will be done to it.
1004 An entry containing two 0s is used to terminate the vector.
1006 If multiple entries match a file, the last matching one is used. */
1008 static struct compiler *compilers;
1010 /* Number of entries in `compilers', not counting the null terminator. */
1012 static int n_compilers;
1014 /* The default list of file name suffixes and their compilation specs. */
1016 static const struct compiler default_compilers[] =
1018 /* Add lists of suffixes of known languages here. If those languages
1019 were not present when we built the driver, we will hit these copies
1020 and be given a more meaningful error than "file not used since
1021 linking is not done". */
1022 {".m", "#Objective-C", 0, 0, 0}, {".mi", "#Objective-C", 0, 0, 0},
1023 {".mm", "#Objective-C++", 0, 0, 0}, {".M", "#Objective-C++", 0, 0, 0},
1024 {".mii", "#Objective-C++", 0, 0, 0},
1025 {".cc", "#C++", 0, 0, 0}, {".cxx", "#C++", 0, 0, 0},
1026 {".cpp", "#C++", 0, 0, 0}, {".cp", "#C++", 0, 0, 0},
1027 {".c++", "#C++", 0, 0, 0}, {".C", "#C++", 0, 0, 0},
1028 {".CPP", "#C++", 0, 0, 0}, {".ii", "#C++", 0, 0, 0},
1029 {".ads", "#Ada", 0, 0, 0}, {".adb", "#Ada", 0, 0, 0},
1030 {".f", "#Fortran", 0, 0, 0}, {".F", "#Fortran", 0, 0, 0},
1031 {".for", "#Fortran", 0, 0, 0}, {".FOR", "#Fortran", 0, 0, 0},
1032 {".ftn", "#Fortran", 0, 0, 0}, {".FTN", "#Fortran", 0, 0, 0},
1033 {".fpp", "#Fortran", 0, 0, 0}, {".FPP", "#Fortran", 0, 0, 0},
1034 {".f90", "#Fortran", 0, 0, 0}, {".F90", "#Fortran", 0, 0, 0},
1035 {".f95", "#Fortran", 0, 0, 0}, {".F95", "#Fortran", 0, 0, 0},
1036 {".f03", "#Fortran", 0, 0, 0}, {".F03", "#Fortran", 0, 0, 0},
1037 {".f08", "#Fortran", 0, 0, 0}, {".F08", "#Fortran", 0, 0, 0},
1038 {".r", "#Ratfor", 0, 0, 0},
1039 {".p", "#Pascal", 0, 0, 0}, {".pas", "#Pascal", 0, 0, 0},
1040 {".java", "#Java", 0, 0, 0}, {".class", "#Java", 0, 0, 0},
1041 {".zip", "#Java", 0, 0, 0}, {".jar", "#Java", 0, 0, 0},
1042 {".go", "#Go", 0, 1, 0},
1043 /* Next come the entries for C. */
1044 {".c", "@c", 0, 0, 1},
1045 {"@c",
1046 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1047 external preprocessor if -save-temps is given. */
1048 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1049 %{!E:%{!M:%{!MM:\
1050 %{traditional:\
1051 %eGNU C no longer supports -traditional without -E}\
1052 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1053 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1054 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1055 %(cc1_options)}\
1056 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1057 cc1 %(cpp_unique_options) %(cc1_options)}}}\
1058 %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 1},
1059 {"-",
1060 "%{!E:%e-E or -x required when input is from standard input}\
1061 %(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)", 0, 0, 0},
1062 {".h", "@c-header", 0, 0, 0},
1063 {"@c-header",
1064 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1065 external preprocessor if -save-temps is given. */
1066 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1067 %{!E:%{!M:%{!MM:\
1068 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1069 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1070 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1071 %(cc1_options)\
1072 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1073 %W{o*:--output-pch=%*}}%V}\
1074 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1075 cc1 %(cpp_unique_options) %(cc1_options)\
1076 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1077 %W{o*:--output-pch=%*}}%V}}}}}}", 0, 0, 0},
1078 {".i", "@cpp-output", 0, 0, 0},
1079 {"@cpp-output",
1080 "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 0},
1081 {".s", "@assembler", 0, 0, 0},
1082 {"@assembler",
1083 "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0, 0, 0},
1084 {".sx", "@assembler-with-cpp", 0, 0, 0},
1085 {".S", "@assembler-with-cpp", 0, 0, 0},
1086 {"@assembler-with-cpp",
1087 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
1088 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1089 %{E|M|MM:%(cpp_debug_options)}\
1090 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1091 as %(asm_debug) %(asm_options) %|.s %A }}}}"
1092 #else
1093 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1094 %{E|M|MM:%(cpp_debug_options)}\
1095 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1096 as %(asm_debug) %(asm_options) %m.s %A }}}}"
1097 #endif
1098 , 0, 0, 0},
1100 #include "specs.h"
1101 /* Mark end of table. */
1102 {0, 0, 0, 0, 0}
1105 /* Number of elements in default_compilers, not counting the terminator. */
1107 static const int n_default_compilers = ARRAY_SIZE (default_compilers) - 1;
1109 typedef char *char_p; /* For DEF_VEC_P. */
1111 /* A vector of options to give to the linker.
1112 These options are accumulated by %x,
1113 and substituted into the linker command with %X. */
1114 static vec<char_p> linker_options;
1116 /* A vector of options to give to the assembler.
1117 These options are accumulated by -Wa,
1118 and substituted into the assembler command with %Y. */
1119 static vec<char_p> assembler_options;
1121 /* A vector of options to give to the preprocessor.
1122 These options are accumulated by -Wp,
1123 and substituted into the preprocessor command with %Z. */
1124 static vec<char_p> preprocessor_options;
1126 static char *
1127 skip_whitespace (char *p)
1129 while (1)
1131 /* A fully-blank line is a delimiter in the SPEC file and shouldn't
1132 be considered whitespace. */
1133 if (p[0] == '\n' && p[1] == '\n' && p[2] == '\n')
1134 return p + 1;
1135 else if (*p == '\n' || *p == ' ' || *p == '\t')
1136 p++;
1137 else if (*p == '#')
1139 while (*p != '\n')
1140 p++;
1141 p++;
1143 else
1144 break;
1147 return p;
1149 /* Structures to keep track of prefixes to try when looking for files. */
1151 struct prefix_list
1153 const char *prefix; /* String to prepend to the path. */
1154 struct prefix_list *next; /* Next in linked list. */
1155 int require_machine_suffix; /* Don't use without machine_suffix. */
1156 /* 2 means try both machine_suffix and just_machine_suffix. */
1157 int priority; /* Sort key - priority within list. */
1158 int os_multilib; /* 1 if OS multilib scheme should be used,
1159 0 for GCC multilib scheme. */
1162 struct path_prefix
1164 struct prefix_list *plist; /* List of prefixes to try */
1165 int max_len; /* Max length of a prefix in PLIST */
1166 const char *name; /* Name of this list (used in config stuff) */
1169 /* List of prefixes to try when looking for executables. */
1171 static struct path_prefix exec_prefixes = { 0, 0, "exec" };
1173 /* List of prefixes to try when looking for startup (crt0) files. */
1175 static struct path_prefix startfile_prefixes = { 0, 0, "startfile" };
1177 /* List of prefixes to try when looking for include files. */
1179 static struct path_prefix include_prefixes = { 0, 0, "include" };
1181 /* Suffix to attach to directories searched for commands.
1182 This looks like `MACHINE/VERSION/'. */
1184 static const char *machine_suffix = 0;
1186 /* Suffix to attach to directories searched for commands.
1187 This is just `MACHINE/'. */
1189 static const char *just_machine_suffix = 0;
1191 /* Adjusted value of GCC_EXEC_PREFIX envvar. */
1193 static const char *gcc_exec_prefix;
1195 /* Adjusted value of standard_libexec_prefix. */
1197 static const char *gcc_libexec_prefix;
1199 /* Default prefixes to attach to command names. */
1201 #ifndef STANDARD_STARTFILE_PREFIX_1
1202 #define STANDARD_STARTFILE_PREFIX_1 "/lib/"
1203 #endif
1204 #ifndef STANDARD_STARTFILE_PREFIX_2
1205 #define STANDARD_STARTFILE_PREFIX_2 "/usr/lib/"
1206 #endif
1208 #ifdef CROSS_DIRECTORY_STRUCTURE /* Don't use these prefixes for a cross compiler. */
1209 #undef MD_EXEC_PREFIX
1210 #undef MD_STARTFILE_PREFIX
1211 #undef MD_STARTFILE_PREFIX_1
1212 #endif
1214 /* If no prefixes defined, use the null string, which will disable them. */
1215 #ifndef MD_EXEC_PREFIX
1216 #define MD_EXEC_PREFIX ""
1217 #endif
1218 #ifndef MD_STARTFILE_PREFIX
1219 #define MD_STARTFILE_PREFIX ""
1220 #endif
1221 #ifndef MD_STARTFILE_PREFIX_1
1222 #define MD_STARTFILE_PREFIX_1 ""
1223 #endif
1225 /* These directories are locations set at configure-time based on the
1226 --prefix option provided to configure. Their initializers are
1227 defined in Makefile.in. These paths are not *directly* used when
1228 gcc_exec_prefix is set because, in that case, we know where the
1229 compiler has been installed, and use paths relative to that
1230 location instead. */
1231 static const char *const standard_exec_prefix = STANDARD_EXEC_PREFIX;
1232 static const char *const standard_libexec_prefix = STANDARD_LIBEXEC_PREFIX;
1233 static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
1234 static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
1236 /* For native compilers, these are well-known paths containing
1237 components that may be provided by the system. For cross
1238 compilers, these paths are not used. */
1239 static const char *md_exec_prefix = MD_EXEC_PREFIX;
1240 static const char *md_startfile_prefix = MD_STARTFILE_PREFIX;
1241 static const char *md_startfile_prefix_1 = MD_STARTFILE_PREFIX_1;
1242 static const char *const standard_startfile_prefix_1
1243 = STANDARD_STARTFILE_PREFIX_1;
1244 static const char *const standard_startfile_prefix_2
1245 = STANDARD_STARTFILE_PREFIX_2;
1247 /* A relative path to be used in finding the location of tools
1248 relative to the driver. */
1249 static const char *const tooldir_base_prefix = TOOLDIR_BASE_PREFIX;
1251 /* Subdirectory to use for locating libraries. Set by
1252 set_multilib_dir based on the compilation options. */
1254 static const char *multilib_dir;
1256 /* Subdirectory to use for locating libraries in OS conventions. Set by
1257 set_multilib_dir based on the compilation options. */
1259 static const char *multilib_os_dir;
1261 /* Subdirectory to use for locating libraries in multiarch conventions. Set by
1262 set_multilib_dir based on the compilation options. */
1264 static const char *multiarch_dir;
1266 /* Structure to keep track of the specs that have been defined so far.
1267 These are accessed using %(specname) in a compiler or link
1268 spec. */
1270 struct spec_list
1272 /* The following 2 fields must be first */
1273 /* to allow EXTRA_SPECS to be initialized */
1274 const char *name; /* name of the spec. */
1275 const char *ptr; /* available ptr if no static pointer */
1277 /* The following fields are not initialized */
1278 /* by EXTRA_SPECS */
1279 const char **ptr_spec; /* pointer to the spec itself. */
1280 struct spec_list *next; /* Next spec in linked list. */
1281 int name_len; /* length of the name */
1282 bool user_p; /* whether string come from file spec. */
1283 bool alloc_p; /* whether string was allocated */
1286 #define INIT_STATIC_SPEC(NAME,PTR) \
1287 { NAME, NULL, PTR, (struct spec_list *) 0, sizeof (NAME) - 1, false, false }
1289 /* List of statically defined specs. */
1290 static struct spec_list static_specs[] =
1292 INIT_STATIC_SPEC ("asm", &asm_spec),
1293 INIT_STATIC_SPEC ("asm_debug", &asm_debug),
1294 INIT_STATIC_SPEC ("asm_final", &asm_final_spec),
1295 INIT_STATIC_SPEC ("asm_options", &asm_options),
1296 INIT_STATIC_SPEC ("invoke_as", &invoke_as),
1297 INIT_STATIC_SPEC ("cpp", &cpp_spec),
1298 INIT_STATIC_SPEC ("cpp_options", &cpp_options),
1299 INIT_STATIC_SPEC ("cpp_debug_options", &cpp_debug_options),
1300 INIT_STATIC_SPEC ("cpp_unique_options", &cpp_unique_options),
1301 INIT_STATIC_SPEC ("trad_capable_cpp", &trad_capable_cpp),
1302 INIT_STATIC_SPEC ("cc1", &cc1_spec),
1303 INIT_STATIC_SPEC ("cc1_options", &cc1_options),
1304 INIT_STATIC_SPEC ("cc1plus", &cc1plus_spec),
1305 INIT_STATIC_SPEC ("link_gcc_c_sequence", &link_gcc_c_sequence_spec),
1306 INIT_STATIC_SPEC ("link_ssp", &link_ssp_spec),
1307 INIT_STATIC_SPEC ("endfile", &endfile_spec),
1308 INIT_STATIC_SPEC ("link", &link_spec),
1309 INIT_STATIC_SPEC ("lib", &lib_spec),
1310 INIT_STATIC_SPEC ("link_gomp", &link_gomp_spec),
1311 INIT_STATIC_SPEC ("libgcc", &libgcc_spec),
1312 INIT_STATIC_SPEC ("startfile", &startfile_spec),
1313 INIT_STATIC_SPEC ("cross_compile", &cross_compile),
1314 INIT_STATIC_SPEC ("version", &compiler_version),
1315 INIT_STATIC_SPEC ("multilib", &multilib_select),
1316 INIT_STATIC_SPEC ("multilib_defaults", &multilib_defaults),
1317 INIT_STATIC_SPEC ("multilib_extra", &multilib_extra),
1318 INIT_STATIC_SPEC ("multilib_matches", &multilib_matches),
1319 INIT_STATIC_SPEC ("multilib_exclusions", &multilib_exclusions),
1320 INIT_STATIC_SPEC ("multilib_options", &multilib_options),
1321 INIT_STATIC_SPEC ("multilib_reuse", &multilib_reuse),
1322 INIT_STATIC_SPEC ("linker", &linker_name_spec),
1323 INIT_STATIC_SPEC ("linker_plugin_file", &linker_plugin_file_spec),
1324 INIT_STATIC_SPEC ("func_reorder_linker_plugin_file",
1325 &func_reorder_linker_plugin_file_spec),
1326 INIT_STATIC_SPEC ("func_reorder_linker_plugin_opt",
1327 &func_reorder_linker_plugin_opt),
1328 INIT_STATIC_SPEC ("lto_wrapper", &lto_wrapper_spec),
1329 INIT_STATIC_SPEC ("lto_gcc", &lto_gcc_spec),
1330 INIT_STATIC_SPEC ("link_libgcc", &link_libgcc_spec),
1331 INIT_STATIC_SPEC ("md_exec_prefix", &md_exec_prefix),
1332 INIT_STATIC_SPEC ("md_startfile_prefix", &md_startfile_prefix),
1333 INIT_STATIC_SPEC ("md_startfile_prefix_1", &md_startfile_prefix_1),
1334 INIT_STATIC_SPEC ("startfile_prefix_spec", &startfile_prefix_spec),
1335 INIT_STATIC_SPEC ("sysroot_spec", &sysroot_spec),
1336 INIT_STATIC_SPEC ("sysroot_suffix_spec", &sysroot_suffix_spec),
1337 INIT_STATIC_SPEC ("sysroot_hdrs_suffix_spec", &sysroot_hdrs_suffix_spec),
1338 INIT_STATIC_SPEC ("self_spec", &self_spec),
1341 #ifdef EXTRA_SPECS /* additional specs needed */
1342 /* Structure to keep track of just the first two args of a spec_list.
1343 That is all that the EXTRA_SPECS macro gives us. */
1344 struct spec_list_1
1346 const char *const name;
1347 const char *const ptr;
1350 static const struct spec_list_1 extra_specs_1[] = { EXTRA_SPECS };
1351 static struct spec_list *extra_specs = (struct spec_list *) 0;
1352 #endif
1354 /* List of dynamically allocates specs that have been defined so far. */
1356 static struct spec_list *specs = (struct spec_list *) 0;
1358 /* List of static spec functions. */
1360 static const struct spec_function static_spec_functions[] =
1362 { "getenv", getenv_spec_function },
1363 { "if-exists", if_exists_spec_function },
1364 { "if-exists-else", if_exists_else_spec_function },
1365 { "sanitize", sanitize_spec_function },
1366 { "replace-outfile", replace_outfile_spec_function },
1367 { "remove-outfile", remove_outfile_spec_function },
1368 { "version-compare", version_compare_spec_function },
1369 { "include", include_spec_function },
1370 { "find-file", find_file_spec_function },
1371 { "find-plugindir", find_plugindir_spec_function },
1372 { "print-asm-header", print_asm_header_spec_function },
1373 { "compare-debug-dump-opt", compare_debug_dump_opt_spec_function },
1374 { "compare-debug-self-opt", compare_debug_self_opt_spec_function },
1375 { "compare-debug-auxbase-opt", compare_debug_auxbase_opt_spec_function },
1376 { "pass-through-libs", pass_through_libs_spec_func },
1377 { "replace-extension", replace_extension_spec_func },
1378 #ifdef EXTRA_SPEC_FUNCTIONS
1379 EXTRA_SPEC_FUNCTIONS
1380 #endif
1381 { 0, 0 }
1384 static int processing_spec_function;
1386 /* Add appropriate libgcc specs to OBSTACK, taking into account
1387 various permutations of -shared-libgcc, -shared, and such. */
1389 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1391 #ifndef USE_LD_AS_NEEDED
1392 #define USE_LD_AS_NEEDED 0
1393 #endif
1395 static void
1396 init_gcc_specs (struct obstack *obstack, const char *shared_name,
1397 const char *static_name, const char *eh_name)
1399 char *buf;
1401 buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name, "}"
1402 "%{!static:%{!static-libgcc:"
1403 #if USE_LD_AS_NEEDED
1404 "%{!shared-libgcc:",
1405 static_name, " " LD_AS_NEEDED_OPTION " ",
1406 shared_name, " " LD_NO_AS_NEEDED_OPTION
1408 "%{shared-libgcc:",
1409 shared_name, "%{!shared: ", static_name, "}"
1411 #else
1412 "%{!shared:"
1413 "%{!shared-libgcc:", static_name, " ", eh_name, "}"
1414 "%{shared-libgcc:", shared_name, " ", static_name, "}"
1416 #ifdef LINK_EH_SPEC
1417 "%{shared:"
1418 "%{shared-libgcc:", shared_name, "}"
1419 "%{!shared-libgcc:", static_name, "}"
1421 #else
1422 "%{shared:", shared_name, "}"
1423 #endif
1424 #endif
1425 "}}", NULL);
1427 obstack_grow (obstack, buf, strlen (buf));
1428 free (buf);
1430 #endif /* ENABLE_SHARED_LIBGCC */
1432 /* Initialize the specs lookup routines. */
1434 static void
1435 init_spec (void)
1437 struct spec_list *next = (struct spec_list *) 0;
1438 struct spec_list *sl = (struct spec_list *) 0;
1439 int i;
1441 if (specs)
1442 return; /* Already initialized. */
1444 if (verbose_flag)
1445 fnotice (stderr, "Using built-in specs.\n");
1447 #ifdef EXTRA_SPECS
1448 extra_specs = XCNEWVEC (struct spec_list, ARRAY_SIZE (extra_specs_1));
1450 for (i = ARRAY_SIZE (extra_specs_1) - 1; i >= 0; i--)
1452 sl = &extra_specs[i];
1453 sl->name = extra_specs_1[i].name;
1454 sl->ptr = extra_specs_1[i].ptr;
1455 sl->next = next;
1456 sl->name_len = strlen (sl->name);
1457 sl->ptr_spec = &sl->ptr;
1458 next = sl;
1460 #endif
1462 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1464 sl = &static_specs[i];
1465 sl->next = next;
1466 next = sl;
1469 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1470 /* ??? If neither -shared-libgcc nor --static-libgcc was
1471 seen, then we should be making an educated guess. Some proposed
1472 heuristics for ELF include:
1474 (1) If "-Wl,--export-dynamic", then it's a fair bet that the
1475 program will be doing dynamic loading, which will likely
1476 need the shared libgcc.
1478 (2) If "-ldl", then it's also a fair bet that we're doing
1479 dynamic loading.
1481 (3) For each ET_DYN we're linking against (either through -lfoo
1482 or /some/path/foo.so), check to see whether it or one of
1483 its dependencies depends on a shared libgcc.
1485 (4) If "-shared"
1487 If the runtime is fixed to look for program headers instead
1488 of calling __register_frame_info at all, for each object,
1489 use the shared libgcc if any EH symbol referenced.
1491 If crtstuff is fixed to not invoke __register_frame_info
1492 automatically, for each object, use the shared libgcc if
1493 any non-empty unwind section found.
1495 Doing any of this probably requires invoking an external program to
1496 do the actual object file scanning. */
1498 const char *p = libgcc_spec;
1499 int in_sep = 1;
1501 /* Transform the extant libgcc_spec into one that uses the shared libgcc
1502 when given the proper command line arguments. */
1503 while (*p)
1505 if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
1507 init_gcc_specs (&obstack,
1508 "-lgcc_s"
1509 #ifdef USE_LIBUNWIND_EXCEPTIONS
1510 " -lunwind"
1511 #endif
1513 "-lgcc",
1514 "-lgcc_eh"
1515 #ifdef USE_LIBUNWIND_EXCEPTIONS
1516 # ifdef HAVE_LD_STATIC_DYNAMIC
1517 " %{!static:" LD_STATIC_OPTION "} -lunwind"
1518 " %{!static:" LD_DYNAMIC_OPTION "}"
1519 # else
1520 " -lunwind"
1521 # endif
1522 #endif
1525 p += 5;
1526 in_sep = 0;
1528 else if (in_sep && *p == 'l' && strncmp (p, "libgcc.a%s", 10) == 0)
1530 /* Ug. We don't know shared library extensions. Hope that
1531 systems that use this form don't do shared libraries. */
1532 init_gcc_specs (&obstack,
1533 "-lgcc_s",
1534 "libgcc.a%s",
1535 "libgcc_eh.a%s"
1536 #ifdef USE_LIBUNWIND_EXCEPTIONS
1537 " -lunwind"
1538 #endif
1540 p += 10;
1541 in_sep = 0;
1543 else
1545 obstack_1grow (&obstack, *p);
1546 in_sep = (*p == ' ');
1547 p += 1;
1551 obstack_1grow (&obstack, '\0');
1552 libgcc_spec = XOBFINISH (&obstack, const char *);
1554 #endif
1555 #ifdef USE_AS_TRADITIONAL_FORMAT
1556 /* Prepend "--traditional-format" to whatever asm_spec we had before. */
1558 static const char tf[] = "--traditional-format ";
1559 obstack_grow (&obstack, tf, sizeof (tf) - 1);
1560 obstack_grow0 (&obstack, asm_spec, strlen (asm_spec));
1561 asm_spec = XOBFINISH (&obstack, const char *);
1563 #endif
1565 #if defined LINK_EH_SPEC || defined LINK_BUILDID_SPEC || \
1566 defined LINKER_HASH_STYLE
1567 # ifdef LINK_BUILDID_SPEC
1568 /* Prepend LINK_BUILDID_SPEC to whatever link_spec we had before. */
1569 obstack_grow (&obstack, LINK_BUILDID_SPEC, sizeof (LINK_BUILDID_SPEC) - 1);
1570 # endif
1571 # ifdef LINK_EH_SPEC
1572 /* Prepend LINK_EH_SPEC to whatever link_spec we had before. */
1573 obstack_grow (&obstack, LINK_EH_SPEC, sizeof (LINK_EH_SPEC) - 1);
1574 # endif
1575 # ifdef LINKER_HASH_STYLE
1576 /* Prepend --hash-style=LINKER_HASH_STYLE to whatever link_spec we had
1577 before. */
1579 static const char hash_style[] = "--hash-style=";
1580 obstack_grow (&obstack, hash_style, sizeof (hash_style) - 1);
1581 obstack_grow (&obstack, LINKER_HASH_STYLE, sizeof (LINKER_HASH_STYLE) - 1);
1582 obstack_1grow (&obstack, ' ');
1584 # endif
1585 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
1586 link_spec = XOBFINISH (&obstack, const char *);
1587 #endif
1589 specs = sl;
1592 /* Change the value of spec NAME to SPEC. If SPEC is empty, then the spec is
1593 removed; If the spec starts with a + then SPEC is added to the end of the
1594 current spec. */
1596 static void
1597 set_spec (const char *name, const char *spec, bool user_p)
1599 struct spec_list *sl;
1600 const char *old_spec;
1601 int name_len = strlen (name);
1602 int i;
1604 /* If this is the first call, initialize the statically allocated specs. */
1605 if (!specs)
1607 struct spec_list *next = (struct spec_list *) 0;
1608 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1610 sl = &static_specs[i];
1611 sl->next = next;
1612 next = sl;
1614 specs = sl;
1617 /* See if the spec already exists. */
1618 for (sl = specs; sl; sl = sl->next)
1619 if (name_len == sl->name_len && !strcmp (sl->name, name))
1620 break;
1622 if (!sl)
1624 /* Not found - make it. */
1625 sl = XNEW (struct spec_list);
1626 sl->name = xstrdup (name);
1627 sl->name_len = name_len;
1628 sl->ptr_spec = &sl->ptr;
1629 sl->alloc_p = 0;
1630 *(sl->ptr_spec) = "";
1631 sl->next = specs;
1632 specs = sl;
1635 old_spec = *(sl->ptr_spec);
1636 *(sl->ptr_spec) = ((spec[0] == '+' && ISSPACE ((unsigned char)spec[1]))
1637 ? concat (old_spec, spec + 1, NULL)
1638 : xstrdup (spec));
1640 #ifdef DEBUG_SPECS
1641 if (verbose_flag)
1642 fnotice (stderr, "Setting spec %s to '%s'\n\n", name, *(sl->ptr_spec));
1643 #endif
1645 /* Free the old spec. */
1646 if (old_spec && sl->alloc_p)
1647 free (CONST_CAST (char *, old_spec));
1649 sl->user_p = user_p;
1650 sl->alloc_p = true;
1653 /* Accumulate a command (program name and args), and run it. */
1655 typedef const char *const_char_p; /* For DEF_VEC_P. */
1657 /* Vector of pointers to arguments in the current line of specifications. */
1659 static vec<const_char_p> argbuf;
1661 /* Position in the argbuf vector containing the name of the output file
1662 (the value associated with the "-o" flag). */
1664 static int have_o_argbuf_index = 0;
1666 /* Were the options -c, -S or -E passed. */
1667 static int have_c = 0;
1669 /* Was the option -o passed. */
1670 static int have_o = 0;
1672 /* This is the list of suffixes and codes (%g/%u/%U/%j) and the associated
1673 temp file. If the HOST_BIT_BUCKET is used for %j, no entry is made for
1674 it here. */
1676 static struct temp_name {
1677 const char *suffix; /* suffix associated with the code. */
1678 int length; /* strlen (suffix). */
1679 int unique; /* Indicates whether %g or %u/%U was used. */
1680 const char *filename; /* associated filename. */
1681 int filename_length; /* strlen (filename). */
1682 struct temp_name *next;
1683 } *temp_names;
1685 /* Number of commands executed so far. */
1687 static int execution_count;
1689 /* Number of commands that exited with a signal. */
1691 static int signal_count;
1693 /* Allocate the argument vector. */
1695 static void
1696 alloc_args (void)
1698 argbuf.create (10);
1701 /* Clear out the vector of arguments (after a command is executed). */
1703 static void
1704 clear_args (void)
1706 argbuf.truncate (0);
1709 /* Add one argument to the vector at the end.
1710 This is done when a space is seen or at the end of the line.
1711 If DELETE_ALWAYS is nonzero, the arg is a filename
1712 and the file should be deleted eventually.
1713 If DELETE_FAILURE is nonzero, the arg is a filename
1714 and the file should be deleted if this compilation fails. */
1716 static void
1717 store_arg (const char *arg, int delete_always, int delete_failure)
1719 argbuf.safe_push (arg);
1721 if (strcmp (arg, "-o") == 0)
1722 have_o_argbuf_index = argbuf.length ();
1723 if (delete_always || delete_failure)
1725 const char *p;
1726 /* If the temporary file we should delete is specified as
1727 part of a joined argument extract the filename. */
1728 if (arg[0] == '-'
1729 && (p = strrchr (arg, '=')))
1730 arg = p + 1;
1731 record_temp_file (arg, delete_always, delete_failure);
1735 /* Load specs from a file name named FILENAME, replacing occurrences of
1736 various different types of line-endings, \r\n, \n\r and just \r, with
1737 a single \n. */
1739 static char *
1740 load_specs (const char *filename)
1742 int desc;
1743 int readlen;
1744 struct stat statbuf;
1745 char *buffer;
1746 char *buffer_p;
1747 char *specs;
1748 char *specs_p;
1750 if (verbose_flag)
1751 fnotice (stderr, "Reading specs from %s\n", filename);
1753 /* Open and stat the file. */
1754 desc = open (filename, O_RDONLY, 0);
1755 if (desc < 0)
1756 pfatal_with_name (filename);
1757 if (stat (filename, &statbuf) < 0)
1758 pfatal_with_name (filename);
1760 /* Read contents of file into BUFFER. */
1761 buffer = XNEWVEC (char, statbuf.st_size + 1);
1762 readlen = read (desc, buffer, (unsigned) statbuf.st_size);
1763 if (readlen < 0)
1764 pfatal_with_name (filename);
1765 buffer[readlen] = 0;
1766 close (desc);
1768 specs = XNEWVEC (char, readlen + 1);
1769 specs_p = specs;
1770 for (buffer_p = buffer; buffer_p && *buffer_p; buffer_p++)
1772 int skip = 0;
1773 char c = *buffer_p;
1774 if (c == '\r')
1776 if (buffer_p > buffer && *(buffer_p - 1) == '\n') /* \n\r */
1777 skip = 1;
1778 else if (*(buffer_p + 1) == '\n') /* \r\n */
1779 skip = 1;
1780 else /* \r */
1781 c = '\n';
1783 if (! skip)
1784 *specs_p++ = c;
1786 *specs_p = '\0';
1788 free (buffer);
1789 return (specs);
1792 /* Read compilation specs from a file named FILENAME,
1793 replacing the default ones.
1795 A suffix which starts with `*' is a definition for
1796 one of the machine-specific sub-specs. The "suffix" should be
1797 *asm, *cc1, *cpp, *link, *startfile, etc.
1798 The corresponding spec is stored in asm_spec, etc.,
1799 rather than in the `compilers' vector.
1801 Anything invalid in the file is a fatal error. */
1803 static void
1804 read_specs (const char *filename, bool main_p, bool user_p)
1806 char *buffer;
1807 char *p;
1809 buffer = load_specs (filename);
1811 /* Scan BUFFER for specs, putting them in the vector. */
1812 p = buffer;
1813 while (1)
1815 char *suffix;
1816 char *spec;
1817 char *in, *out, *p1, *p2, *p3;
1819 /* Advance P in BUFFER to the next nonblank nocomment line. */
1820 p = skip_whitespace (p);
1821 if (*p == 0)
1822 break;
1824 /* Is this a special command that starts with '%'? */
1825 /* Don't allow this for the main specs file, since it would
1826 encourage people to overwrite it. */
1827 if (*p == '%' && !main_p)
1829 p1 = p;
1830 while (*p && *p != '\n')
1831 p++;
1833 /* Skip '\n'. */
1834 p++;
1836 if (!strncmp (p1, "%include", sizeof ("%include") - 1)
1837 && (p1[sizeof "%include" - 1] == ' '
1838 || p1[sizeof "%include" - 1] == '\t'))
1840 char *new_filename;
1842 p1 += sizeof ("%include");
1843 while (*p1 == ' ' || *p1 == '\t')
1844 p1++;
1846 if (*p1++ != '<' || p[-2] != '>')
1847 fatal_error ("specs %%include syntax malformed after "
1848 "%ld characters",
1849 (long) (p1 - buffer + 1));
1851 p[-2] = '\0';
1852 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1853 read_specs (new_filename ? new_filename : p1, false, user_p);
1854 continue;
1856 else if (!strncmp (p1, "%include_noerr", sizeof "%include_noerr" - 1)
1857 && (p1[sizeof "%include_noerr" - 1] == ' '
1858 || p1[sizeof "%include_noerr" - 1] == '\t'))
1860 char *new_filename;
1862 p1 += sizeof "%include_noerr";
1863 while (*p1 == ' ' || *p1 == '\t')
1864 p1++;
1866 if (*p1++ != '<' || p[-2] != '>')
1867 fatal_error ("specs %%include syntax malformed after "
1868 "%ld characters",
1869 (long) (p1 - buffer + 1));
1871 p[-2] = '\0';
1872 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1873 if (new_filename)
1874 read_specs (new_filename, false, user_p);
1875 else if (verbose_flag)
1876 fnotice (stderr, "could not find specs file %s\n", p1);
1877 continue;
1879 else if (!strncmp (p1, "%rename", sizeof "%rename" - 1)
1880 && (p1[sizeof "%rename" - 1] == ' '
1881 || p1[sizeof "%rename" - 1] == '\t'))
1883 int name_len;
1884 struct spec_list *sl;
1885 struct spec_list *newsl;
1887 /* Get original name. */
1888 p1 += sizeof "%rename";
1889 while (*p1 == ' ' || *p1 == '\t')
1890 p1++;
1892 if (! ISALPHA ((unsigned char) *p1))
1893 fatal_error ("specs %%rename syntax malformed after "
1894 "%ld characters",
1895 (long) (p1 - buffer));
1897 p2 = p1;
1898 while (*p2 && !ISSPACE ((unsigned char) *p2))
1899 p2++;
1901 if (*p2 != ' ' && *p2 != '\t')
1902 fatal_error ("specs %%rename syntax malformed after "
1903 "%ld characters",
1904 (long) (p2 - buffer));
1906 name_len = p2 - p1;
1907 *p2++ = '\0';
1908 while (*p2 == ' ' || *p2 == '\t')
1909 p2++;
1911 if (! ISALPHA ((unsigned char) *p2))
1912 fatal_error ("specs %%rename syntax malformed after "
1913 "%ld characters",
1914 (long) (p2 - buffer));
1916 /* Get new spec name. */
1917 p3 = p2;
1918 while (*p3 && !ISSPACE ((unsigned char) *p3))
1919 p3++;
1921 if (p3 != p - 1)
1922 fatal_error ("specs %%rename syntax malformed after "
1923 "%ld characters",
1924 (long) (p3 - buffer));
1925 *p3 = '\0';
1927 for (sl = specs; sl; sl = sl->next)
1928 if (name_len == sl->name_len && !strcmp (sl->name, p1))
1929 break;
1931 if (!sl)
1932 fatal_error ("specs %s spec was not found to be renamed", p1);
1934 if (strcmp (p1, p2) == 0)
1935 continue;
1937 for (newsl = specs; newsl; newsl = newsl->next)
1938 if (strcmp (newsl->name, p2) == 0)
1939 fatal_error ("%s: attempt to rename spec %qs to "
1940 "already defined spec %qs",
1941 filename, p1, p2);
1943 if (verbose_flag)
1945 fnotice (stderr, "rename spec %s to %s\n", p1, p2);
1946 #ifdef DEBUG_SPECS
1947 fnotice (stderr, "spec is '%s'\n\n", *(sl->ptr_spec));
1948 #endif
1951 set_spec (p2, *(sl->ptr_spec), user_p);
1952 if (sl->alloc_p)
1953 free (CONST_CAST (char *, *(sl->ptr_spec)));
1955 *(sl->ptr_spec) = "";
1956 sl->alloc_p = 0;
1957 continue;
1959 else
1960 fatal_error ("specs unknown %% command after %ld characters",
1961 (long) (p1 - buffer));
1964 /* Find the colon that should end the suffix. */
1965 p1 = p;
1966 while (*p1 && *p1 != ':' && *p1 != '\n')
1967 p1++;
1969 /* The colon shouldn't be missing. */
1970 if (*p1 != ':')
1971 fatal_error ("specs file malformed after %ld characters",
1972 (long) (p1 - buffer));
1974 /* Skip back over trailing whitespace. */
1975 p2 = p1;
1976 while (p2 > buffer && (p2[-1] == ' ' || p2[-1] == '\t'))
1977 p2--;
1979 /* Copy the suffix to a string. */
1980 suffix = save_string (p, p2 - p);
1981 /* Find the next line. */
1982 p = skip_whitespace (p1 + 1);
1983 if (p[1] == 0)
1984 fatal_error ("specs file malformed after %ld characters",
1985 (long) (p - buffer));
1987 p1 = p;
1988 /* Find next blank line or end of string. */
1989 while (*p1 && !(*p1 == '\n' && (p1[1] == '\n' || p1[1] == '\0')))
1990 p1++;
1992 /* Specs end at the blank line and do not include the newline. */
1993 spec = save_string (p, p1 - p);
1994 p = p1;
1996 /* Delete backslash-newline sequences from the spec. */
1997 in = spec;
1998 out = spec;
1999 while (*in != 0)
2001 if (in[0] == '\\' && in[1] == '\n')
2002 in += 2;
2003 else if (in[0] == '#')
2004 while (*in && *in != '\n')
2005 in++;
2007 else
2008 *out++ = *in++;
2010 *out = 0;
2012 if (suffix[0] == '*')
2014 if (! strcmp (suffix, "*link_command"))
2015 link_command_spec = spec;
2016 else
2017 set_spec (suffix + 1, spec, user_p);
2019 else
2021 /* Add this pair to the vector. */
2022 compilers
2023 = XRESIZEVEC (struct compiler, compilers, n_compilers + 2);
2025 compilers[n_compilers].suffix = suffix;
2026 compilers[n_compilers].spec = spec;
2027 n_compilers++;
2028 memset (&compilers[n_compilers], 0, sizeof compilers[n_compilers]);
2031 if (*suffix == 0)
2032 link_command_spec = spec;
2035 if (link_command_spec == 0)
2036 fatal_error ("spec file has no spec for linking");
2039 /* Record the names of temporary files we tell compilers to write,
2040 and delete them at the end of the run. */
2042 /* This is the common prefix we use to make temp file names.
2043 It is chosen once for each run of this program.
2044 It is substituted into a spec by %g or %j.
2045 Thus, all temp file names contain this prefix.
2046 In practice, all temp file names start with this prefix.
2048 This prefix comes from the envvar TMPDIR if it is defined;
2049 otherwise, from the P_tmpdir macro if that is defined;
2050 otherwise, in /usr/tmp or /tmp;
2051 or finally the current directory if all else fails. */
2053 static const char *temp_filename;
2055 /* Length of the prefix. */
2057 static int temp_filename_length;
2059 /* Define the list of temporary files to delete. */
2061 struct temp_file
2063 const char *name;
2064 struct temp_file *next;
2067 /* Queue of files to delete on success or failure of compilation. */
2068 static struct temp_file *always_delete_queue;
2069 /* Queue of files to delete on failure of compilation. */
2070 static struct temp_file *failure_delete_queue;
2072 /* Record FILENAME as a file to be deleted automatically.
2073 ALWAYS_DELETE nonzero means delete it if all compilation succeeds;
2074 otherwise delete it in any case.
2075 FAIL_DELETE nonzero means delete it if a compilation step fails;
2076 otherwise delete it in any case. */
2078 void
2079 record_temp_file (const char *filename, int always_delete, int fail_delete)
2081 char *const name = xstrdup (filename);
2083 if (always_delete)
2085 struct temp_file *temp;
2086 for (temp = always_delete_queue; temp; temp = temp->next)
2087 if (! filename_cmp (name, temp->name))
2088 goto already1;
2090 temp = XNEW (struct temp_file);
2091 temp->next = always_delete_queue;
2092 temp->name = name;
2093 always_delete_queue = temp;
2095 already1:;
2098 if (fail_delete)
2100 struct temp_file *temp;
2101 for (temp = failure_delete_queue; temp; temp = temp->next)
2102 if (! filename_cmp (name, temp->name))
2104 free (name);
2105 goto already2;
2108 temp = XNEW (struct temp_file);
2109 temp->next = failure_delete_queue;
2110 temp->name = name;
2111 failure_delete_queue = temp;
2113 already2:;
2117 /* Delete all the temporary files whose names we previously recorded. */
2119 #ifndef DELETE_IF_ORDINARY
2120 #define DELETE_IF_ORDINARY(NAME,ST,VERBOSE_FLAG) \
2121 do \
2123 if (stat (NAME, &ST) >= 0 && S_ISREG (ST.st_mode)) \
2124 if (unlink (NAME) < 0) \
2125 if (VERBOSE_FLAG) \
2126 perror_with_name (NAME); \
2127 } while (0)
2128 #endif
2130 static void
2131 delete_if_ordinary (const char *name)
2133 struct stat st;
2134 #ifdef DEBUG
2135 int i, c;
2137 printf ("Delete %s? (y or n) ", name);
2138 fflush (stdout);
2139 i = getchar ();
2140 if (i != '\n')
2141 while ((c = getchar ()) != '\n' && c != EOF)
2144 if (i == 'y' || i == 'Y')
2145 #endif /* DEBUG */
2146 DELETE_IF_ORDINARY (name, st, verbose_flag);
2149 static void
2150 delete_temp_files (void)
2152 struct temp_file *temp;
2154 for (temp = always_delete_queue; temp; temp = temp->next)
2155 delete_if_ordinary (temp->name);
2156 always_delete_queue = 0;
2159 /* Delete all the files to be deleted on error. */
2161 static void
2162 delete_failure_queue (void)
2164 struct temp_file *temp;
2166 for (temp = failure_delete_queue; temp; temp = temp->next)
2167 delete_if_ordinary (temp->name);
2170 static void
2171 clear_failure_queue (void)
2173 failure_delete_queue = 0;
2176 /* Call CALLBACK for each path in PATHS, breaking out early if CALLBACK
2177 returns non-NULL.
2178 If DO_MULTI is true iterate over the paths twice, first with multilib
2179 suffix then without, otherwise iterate over the paths once without
2180 adding a multilib suffix. When DO_MULTI is true, some attempt is made
2181 to avoid visiting the same path twice, but we could do better. For
2182 instance, /usr/lib/../lib is considered different from /usr/lib.
2183 At least EXTRA_SPACE chars past the end of the path passed to
2184 CALLBACK are available for use by the callback.
2185 CALLBACK_INFO allows extra parameters to be passed to CALLBACK.
2187 Returns the value returned by CALLBACK. */
2189 static void *
2190 for_each_path (const struct path_prefix *paths,
2191 bool do_multi,
2192 size_t extra_space,
2193 void *(*callback) (char *, void *),
2194 void *callback_info)
2196 struct prefix_list *pl;
2197 const char *multi_dir = NULL;
2198 const char *multi_os_dir = NULL;
2199 const char *multiarch_suffix = NULL;
2200 const char *multi_suffix;
2201 const char *just_multi_suffix;
2202 char *path = NULL;
2203 void *ret = NULL;
2204 bool skip_multi_dir = false;
2205 bool skip_multi_os_dir = false;
2207 multi_suffix = machine_suffix;
2208 just_multi_suffix = just_machine_suffix;
2209 if (do_multi && multilib_dir && strcmp (multilib_dir, ".") != 0)
2211 multi_dir = concat (multilib_dir, dir_separator_str, NULL);
2212 multi_suffix = concat (multi_suffix, multi_dir, NULL);
2213 just_multi_suffix = concat (just_multi_suffix, multi_dir, NULL);
2215 if (do_multi && multilib_os_dir && strcmp (multilib_os_dir, ".") != 0)
2216 multi_os_dir = concat (multilib_os_dir, dir_separator_str, NULL);
2217 if (multiarch_dir)
2218 multiarch_suffix = concat (multiarch_dir, dir_separator_str, NULL);
2220 while (1)
2222 size_t multi_dir_len = 0;
2223 size_t multi_os_dir_len = 0;
2224 size_t multiarch_len = 0;
2225 size_t suffix_len;
2226 size_t just_suffix_len;
2227 size_t len;
2229 if (multi_dir)
2230 multi_dir_len = strlen (multi_dir);
2231 if (multi_os_dir)
2232 multi_os_dir_len = strlen (multi_os_dir);
2233 if (multiarch_suffix)
2234 multiarch_len = strlen (multiarch_suffix);
2235 suffix_len = strlen (multi_suffix);
2236 just_suffix_len = strlen (just_multi_suffix);
2238 if (path == NULL)
2240 len = paths->max_len + extra_space + 1;
2241 len += MAX (MAX (suffix_len, multi_os_dir_len), multiarch_len);
2242 path = XNEWVEC (char, len);
2245 for (pl = paths->plist; pl != 0; pl = pl->next)
2247 len = strlen (pl->prefix);
2248 memcpy (path, pl->prefix, len);
2250 /* Look first in MACHINE/VERSION subdirectory. */
2251 if (!skip_multi_dir)
2253 memcpy (path + len, multi_suffix, suffix_len + 1);
2254 ret = callback (path, callback_info);
2255 if (ret)
2256 break;
2259 /* Some paths are tried with just the machine (ie. target)
2260 subdir. This is used for finding as, ld, etc. */
2261 if (!skip_multi_dir
2262 && pl->require_machine_suffix == 2)
2264 memcpy (path + len, just_multi_suffix, just_suffix_len + 1);
2265 ret = callback (path, callback_info);
2266 if (ret)
2267 break;
2270 /* Now try the multiarch path. */
2271 if (!skip_multi_dir
2272 && !pl->require_machine_suffix && multiarch_dir)
2274 memcpy (path + len, multiarch_suffix, multiarch_len + 1);
2275 ret = callback (path, callback_info);
2276 if (ret)
2277 break;
2280 /* Now try the base path. */
2281 if (!pl->require_machine_suffix
2282 && !(pl->os_multilib ? skip_multi_os_dir : skip_multi_dir))
2284 const char *this_multi;
2285 size_t this_multi_len;
2287 if (pl->os_multilib)
2289 this_multi = multi_os_dir;
2290 this_multi_len = multi_os_dir_len;
2292 else
2294 this_multi = multi_dir;
2295 this_multi_len = multi_dir_len;
2298 if (this_multi_len)
2299 memcpy (path + len, this_multi, this_multi_len + 1);
2300 else
2301 path[len] = '\0';
2303 ret = callback (path, callback_info);
2304 if (ret)
2305 break;
2308 if (pl)
2309 break;
2311 if (multi_dir == NULL && multi_os_dir == NULL)
2312 break;
2314 /* Run through the paths again, this time without multilibs.
2315 Don't repeat any we have already seen. */
2316 if (multi_dir)
2318 free (CONST_CAST (char *, multi_dir));
2319 multi_dir = NULL;
2320 free (CONST_CAST (char *, multi_suffix));
2321 multi_suffix = machine_suffix;
2322 free (CONST_CAST (char *, just_multi_suffix));
2323 just_multi_suffix = just_machine_suffix;
2325 else
2326 skip_multi_dir = true;
2327 if (multi_os_dir)
2329 free (CONST_CAST (char *, multi_os_dir));
2330 multi_os_dir = NULL;
2332 else
2333 skip_multi_os_dir = true;
2336 if (multi_dir)
2338 free (CONST_CAST (char *, multi_dir));
2339 free (CONST_CAST (char *, multi_suffix));
2340 free (CONST_CAST (char *, just_multi_suffix));
2342 if (multi_os_dir)
2343 free (CONST_CAST (char *, multi_os_dir));
2344 if (ret != path)
2345 free (path);
2346 return ret;
2349 /* Callback for build_search_list. Adds path to obstack being built. */
2351 struct add_to_obstack_info {
2352 struct obstack *ob;
2353 bool check_dir;
2354 bool first_time;
2357 static void *
2358 add_to_obstack (char *path, void *data)
2360 struct add_to_obstack_info *info = (struct add_to_obstack_info *) data;
2362 if (info->check_dir && !is_directory (path, false))
2363 return NULL;
2365 if (!info->first_time)
2366 obstack_1grow (info->ob, PATH_SEPARATOR);
2368 obstack_grow (info->ob, path, strlen (path));
2370 info->first_time = false;
2371 return NULL;
2374 /* Add or change the value of an environment variable, outputting the
2375 change to standard error if in verbose mode. */
2376 static void
2377 xputenv (const char *string)
2379 if (verbose_flag)
2380 fnotice (stderr, "%s\n", string);
2381 putenv (CONST_CAST (char *, string));
2384 /* Build a list of search directories from PATHS.
2385 PREFIX is a string to prepend to the list.
2386 If CHECK_DIR_P is true we ensure the directory exists.
2387 If DO_MULTI is true, multilib paths are output first, then
2388 non-multilib paths.
2389 This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
2390 It is also used by the --print-search-dirs flag. */
2392 static char *
2393 build_search_list (const struct path_prefix *paths, const char *prefix,
2394 bool check_dir, bool do_multi)
2396 struct add_to_obstack_info info;
2398 info.ob = &collect_obstack;
2399 info.check_dir = check_dir;
2400 info.first_time = true;
2402 obstack_grow (&collect_obstack, prefix, strlen (prefix));
2403 obstack_1grow (&collect_obstack, '=');
2405 for_each_path (paths, do_multi, 0, add_to_obstack, &info);
2407 obstack_1grow (&collect_obstack, '\0');
2408 return XOBFINISH (&collect_obstack, char *);
2411 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
2412 for collect. */
2414 static void
2415 putenv_from_prefixes (const struct path_prefix *paths, const char *env_var,
2416 bool do_multi)
2418 xputenv (build_search_list (paths, env_var, true, do_multi));
2421 /* Check whether NAME can be accessed in MODE. This is like access,
2422 except that it never considers directories to be executable. */
2424 static int
2425 access_check (const char *name, int mode)
2427 if (mode == X_OK)
2429 struct stat st;
2431 if (stat (name, &st) < 0
2432 || S_ISDIR (st.st_mode))
2433 return -1;
2436 return access (name, mode);
2439 /* Callback for find_a_file. Appends the file name to the directory
2440 path. If the resulting file exists in the right mode, return the
2441 full pathname to the file. */
2443 struct file_at_path_info {
2444 const char *name;
2445 const char *suffix;
2446 int name_len;
2447 int suffix_len;
2448 int mode;
2451 static void *
2452 file_at_path (char *path, void *data)
2454 struct file_at_path_info *info = (struct file_at_path_info *) data;
2455 size_t len = strlen (path);
2457 memcpy (path + len, info->name, info->name_len);
2458 len += info->name_len;
2460 /* Some systems have a suffix for executable files.
2461 So try appending that first. */
2462 if (info->suffix_len)
2464 memcpy (path + len, info->suffix, info->suffix_len + 1);
2465 if (access_check (path, info->mode) == 0)
2466 return path;
2469 path[len] = '\0';
2470 if (access_check (path, info->mode) == 0)
2471 return path;
2473 return NULL;
2476 /* Search for NAME using the prefix list PREFIXES. MODE is passed to
2477 access to check permissions. If DO_MULTI is true, search multilib
2478 paths then non-multilib paths, otherwise do not search multilib paths.
2479 Return 0 if not found, otherwise return its name, allocated with malloc. */
2481 static char *
2482 find_a_file (const struct path_prefix *pprefix, const char *name, int mode,
2483 bool do_multi)
2485 struct file_at_path_info info;
2487 #ifdef DEFAULT_ASSEMBLER
2488 if (! strcmp (name, "as") && access (DEFAULT_ASSEMBLER, mode) == 0)
2489 return xstrdup (DEFAULT_ASSEMBLER);
2490 #endif
2492 #ifdef DEFAULT_LINKER
2493 if (! strcmp (name, "ld") && access (DEFAULT_LINKER, mode) == 0)
2494 return xstrdup (DEFAULT_LINKER);
2495 #endif
2497 /* Determine the filename to execute (special case for absolute paths). */
2499 if (IS_ABSOLUTE_PATH (name))
2501 if (access (name, mode) == 0)
2502 return xstrdup (name);
2504 return NULL;
2507 info.name = name;
2508 info.suffix = (mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "";
2509 info.name_len = strlen (info.name);
2510 info.suffix_len = strlen (info.suffix);
2511 info.mode = mode;
2513 return (char*) for_each_path (pprefix, do_multi,
2514 info.name_len + info.suffix_len,
2515 file_at_path, &info);
2518 /* Ranking of prefixes in the sort list. -B prefixes are put before
2519 all others. */
2521 enum path_prefix_priority
2523 PREFIX_PRIORITY_B_OPT,
2524 PREFIX_PRIORITY_LAST
2527 /* Add an entry for PREFIX in PLIST. The PLIST is kept in ascending
2528 order according to PRIORITY. Within each PRIORITY, new entries are
2529 appended.
2531 If WARN is nonzero, we will warn if no file is found
2532 through this prefix. WARN should point to an int
2533 which will be set to 1 if this entry is used.
2535 COMPONENT is the value to be passed to update_path.
2537 REQUIRE_MACHINE_SUFFIX is 1 if this prefix can't be used without
2538 the complete value of machine_suffix.
2539 2 means try both machine_suffix and just_machine_suffix. */
2541 static void
2542 add_prefix (struct path_prefix *pprefix, const char *prefix,
2543 const char *component, /* enum prefix_priority */ int priority,
2544 int require_machine_suffix, int os_multilib)
2546 struct prefix_list *pl, **prev;
2547 int len;
2549 for (prev = &pprefix->plist;
2550 (*prev) != NULL && (*prev)->priority <= priority;
2551 prev = &(*prev)->next)
2554 /* Keep track of the longest prefix. */
2556 prefix = update_path (prefix, component);
2557 len = strlen (prefix);
2558 if (len > pprefix->max_len)
2559 pprefix->max_len = len;
2561 pl = XNEW (struct prefix_list);
2562 pl->prefix = prefix;
2563 pl->require_machine_suffix = require_machine_suffix;
2564 pl->priority = priority;
2565 pl->os_multilib = os_multilib;
2567 /* Insert after PREV. */
2568 pl->next = (*prev);
2569 (*prev) = pl;
2572 /* Same as add_prefix, but prepending target_system_root to prefix. */
2573 /* The target_system_root prefix has been relocated by gcc_exec_prefix. */
2574 static void
2575 add_sysrooted_prefix (struct path_prefix *pprefix, const char *prefix,
2576 const char *component,
2577 /* enum prefix_priority */ int priority,
2578 int require_machine_suffix, int os_multilib)
2580 if (!IS_ABSOLUTE_PATH (prefix))
2581 fatal_error ("system path %qs is not absolute", prefix);
2583 if (target_system_root)
2585 char *sysroot_no_trailing_dir_separator = xstrdup (target_system_root);
2586 size_t sysroot_len = strlen (target_system_root);
2588 if (sysroot_len > 0
2589 && target_system_root[sysroot_len - 1] == DIR_SEPARATOR)
2590 sysroot_no_trailing_dir_separator[sysroot_len - 1] = '\0';
2592 if (target_sysroot_suffix)
2593 prefix = concat (sysroot_no_trailing_dir_separator,
2594 target_sysroot_suffix, prefix, NULL);
2595 else
2596 prefix = concat (sysroot_no_trailing_dir_separator, prefix, NULL);
2598 free (sysroot_no_trailing_dir_separator);
2600 /* We have to override this because GCC's notion of sysroot
2601 moves along with GCC. */
2602 component = "GCC";
2605 add_prefix (pprefix, prefix, component, priority,
2606 require_machine_suffix, os_multilib);
2609 /* Execute the command specified by the arguments on the current line of spec.
2610 When using pipes, this includes several piped-together commands
2611 with `|' between them.
2613 Return 0 if successful, -1 if failed. */
2615 static int
2616 execute (void)
2618 int i;
2619 int n_commands; /* # of command. */
2620 char *string;
2621 struct pex_obj *pex;
2622 struct command
2624 const char *prog; /* program name. */
2625 const char **argv; /* vector of args. */
2627 const char *arg;
2629 struct command *commands; /* each command buffer with above info. */
2631 gcc_assert (!processing_spec_function);
2633 if (wrapper_string)
2635 string = find_a_file (&exec_prefixes,
2636 argbuf[0], X_OK, false);
2637 if (string)
2638 argbuf[0] = string;
2639 insert_wrapper (wrapper_string);
2642 /* Count # of piped commands. */
2643 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2644 if (strcmp (arg, "|") == 0)
2645 n_commands++;
2647 /* Get storage for each command. */
2648 commands = (struct command *) alloca (n_commands * sizeof (struct command));
2650 /* Split argbuf into its separate piped processes,
2651 and record info about each one.
2652 Also search for the programs that are to be run. */
2654 argbuf.safe_push (0);
2656 commands[0].prog = argbuf[0]; /* first command. */
2657 commands[0].argv = argbuf.address ();
2659 if (!wrapper_string)
2661 string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, false);
2662 commands[0].argv[0] = (string) ? string : commands[0].argv[0];
2665 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2666 if (arg && strcmp (arg, "|") == 0)
2667 { /* each command. */
2668 #if defined (__MSDOS__) || defined (OS2) || defined (VMS)
2669 fatal_error ("-pipe not supported");
2670 #endif
2671 argbuf[i] = 0; /* Termination of
2672 command args. */
2673 commands[n_commands].prog = argbuf[i + 1];
2674 commands[n_commands].argv
2675 = &(argbuf.address ())[i + 1];
2676 string = find_a_file (&exec_prefixes, commands[n_commands].prog,
2677 X_OK, false);
2678 if (string)
2679 commands[n_commands].argv[0] = string;
2680 n_commands++;
2683 /* If -v, print what we are about to do, and maybe query. */
2685 if (verbose_flag)
2687 /* For help listings, put a blank line between sub-processes. */
2688 if (print_help_list)
2689 fputc ('\n', stderr);
2691 /* Print each piped command as a separate line. */
2692 for (i = 0; i < n_commands; i++)
2694 const char *const *j;
2696 if (verbose_only_flag)
2698 for (j = commands[i].argv; *j; j++)
2700 const char *p;
2701 for (p = *j; *p; ++p)
2702 if (!ISALNUM ((unsigned char) *p)
2703 && *p != '_' && *p != '/' && *p != '-' && *p != '.')
2704 break;
2705 if (*p || !*j)
2707 fprintf (stderr, " \"");
2708 for (p = *j; *p; ++p)
2710 if (*p == '"' || *p == '\\' || *p == '$')
2711 fputc ('\\', stderr);
2712 fputc (*p, stderr);
2714 fputc ('"', stderr);
2716 /* If it's empty, print "". */
2717 else if (!**j)
2718 fprintf (stderr, " \"\"");
2719 else
2720 fprintf (stderr, " %s", *j);
2723 else
2724 for (j = commands[i].argv; *j; j++)
2725 /* If it's empty, print "". */
2726 if (!**j)
2727 fprintf (stderr, " \"\"");
2728 else
2729 fprintf (stderr, " %s", *j);
2731 /* Print a pipe symbol after all but the last command. */
2732 if (i + 1 != n_commands)
2733 fprintf (stderr, " |");
2734 fprintf (stderr, "\n");
2736 fflush (stderr);
2737 if (verbose_only_flag != 0)
2739 /* verbose_only_flag should act as if the spec was
2740 executed, so increment execution_count before
2741 returning. This prevents spurious warnings about
2742 unused linker input files, etc. */
2743 execution_count++;
2744 return 0;
2746 #ifdef DEBUG
2747 fnotice (stderr, "\nGo ahead? (y or n) ");
2748 fflush (stderr);
2749 i = getchar ();
2750 if (i != '\n')
2751 while (getchar () != '\n')
2754 if (i != 'y' && i != 'Y')
2755 return 0;
2756 #endif /* DEBUG */
2759 #ifdef ENABLE_VALGRIND_CHECKING
2760 /* Run the each command through valgrind. To simplify prepending the
2761 path to valgrind and the option "-q" (for quiet operation unless
2762 something triggers), we allocate a separate argv array. */
2764 for (i = 0; i < n_commands; i++)
2766 const char **argv;
2767 int argc;
2768 int j;
2770 for (argc = 0; commands[i].argv[argc] != NULL; argc++)
2773 argv = XALLOCAVEC (const char *, argc + 3);
2775 argv[0] = VALGRIND_PATH;
2776 argv[1] = "-q";
2777 for (j = 2; j < argc + 2; j++)
2778 argv[j] = commands[i].argv[j - 2];
2779 argv[j] = NULL;
2781 commands[i].argv = argv;
2782 commands[i].prog = argv[0];
2784 #endif
2786 /* Run each piped subprocess. */
2788 pex = pex_init (PEX_USE_PIPES | ((report_times || report_times_to_file)
2789 ? PEX_RECORD_TIMES : 0),
2790 progname, temp_filename);
2791 if (pex == NULL)
2792 fatal_error ("pex_init failed: %m");
2794 for (i = 0; i < n_commands; i++)
2796 const char *errmsg;
2797 int err;
2798 const char *string = commands[i].argv[0];
2800 errmsg = pex_run (pex,
2801 ((i + 1 == n_commands ? PEX_LAST : 0)
2802 | (string == commands[i].prog ? PEX_SEARCH : 0)),
2803 string, CONST_CAST (char **, commands[i].argv),
2804 NULL, NULL, &err);
2805 if (errmsg != NULL)
2807 if (err == 0)
2808 fatal_error (errmsg);
2809 else
2811 errno = err;
2812 pfatal_with_name (errmsg);
2816 if (string != commands[i].prog)
2817 free (CONST_CAST (char *, string));
2820 execution_count++;
2822 /* Wait for all the subprocesses to finish. */
2825 int *statuses;
2826 struct pex_time *times = NULL;
2827 int ret_code = 0;
2829 statuses = (int *) alloca (n_commands * sizeof (int));
2830 if (!pex_get_status (pex, n_commands, statuses))
2831 fatal_error ("failed to get exit status: %m");
2833 if (report_times || report_times_to_file)
2835 times = (struct pex_time *) alloca (n_commands * sizeof (struct pex_time));
2836 if (!pex_get_times (pex, n_commands, times))
2837 fatal_error ("failed to get process times: %m");
2840 pex_free (pex);
2842 for (i = 0; i < n_commands; ++i)
2844 int status = statuses[i];
2846 if (WIFSIGNALED (status))
2848 #ifdef SIGPIPE
2849 /* SIGPIPE is a special case. It happens in -pipe mode
2850 when the compiler dies before the preprocessor is done,
2851 or the assembler dies before the compiler is done.
2852 There's generally been an error already, and this is
2853 just fallout. So don't generate another error unless
2854 we would otherwise have succeeded. */
2855 if (WTERMSIG (status) == SIGPIPE
2856 && (signal_count || greatest_status >= MIN_FATAL_STATUS))
2858 signal_count++;
2859 ret_code = -1;
2861 else
2862 #endif
2863 internal_error ("%s (program %s)",
2864 strsignal (WTERMSIG (status)), commands[i].prog);
2866 else if (WIFEXITED (status)
2867 && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
2869 if (WEXITSTATUS (status) > greatest_status)
2870 greatest_status = WEXITSTATUS (status);
2871 ret_code = -1;
2874 if (report_times || report_times_to_file)
2876 struct pex_time *pt = &times[i];
2877 double ut, st;
2879 ut = ((double) pt->user_seconds
2880 + (double) pt->user_microseconds / 1.0e6);
2881 st = ((double) pt->system_seconds
2882 + (double) pt->system_microseconds / 1.0e6);
2884 if (ut + st != 0)
2886 if (report_times)
2887 fnotice (stderr, "# %s %.2f %.2f\n",
2888 commands[i].prog, ut, st);
2890 if (report_times_to_file)
2892 int c = 0;
2893 const char *const *j;
2895 fprintf (report_times_to_file, "%g %g", ut, st);
2897 for (j = &commands[i].prog; *j; j = &commands[i].argv[++c])
2899 const char *p;
2900 for (p = *j; *p; ++p)
2901 if (*p == '"' || *p == '\\' || *p == '$'
2902 || ISSPACE (*p))
2903 break;
2905 if (*p)
2907 fprintf (report_times_to_file, " \"");
2908 for (p = *j; *p; ++p)
2910 if (*p == '"' || *p == '\\' || *p == '$')
2911 fputc ('\\', report_times_to_file);
2912 fputc (*p, report_times_to_file);
2914 fputc ('"', report_times_to_file);
2916 else
2917 fprintf (report_times_to_file, " %s", *j);
2920 fputc ('\n', report_times_to_file);
2926 return ret_code;
2930 /* Find all the switches given to us
2931 and make a vector describing them.
2932 The elements of the vector are strings, one per switch given.
2933 If a switch uses following arguments, then the `part1' field
2934 is the switch itself and the `args' field
2935 is a null-terminated vector containing the following arguments.
2936 Bits in the `live_cond' field are:
2937 SWITCH_LIVE to indicate this switch is true in a conditional spec.
2938 SWITCH_FALSE to indicate this switch is overridden by a later switch.
2939 SWITCH_IGNORE to indicate this switch should be ignored (used in %<S).
2940 SWITCH_IGNORE_PERMANENTLY to indicate this switch should be ignored
2941 in all do_spec calls afterwards. Used for %<S from self specs.
2942 The `validated' field is nonzero if any spec has looked at this switch;
2943 if it remains zero at the end of the run, it must be meaningless. */
2945 #define SWITCH_LIVE (1 << 0)
2946 #define SWITCH_FALSE (1 << 1)
2947 #define SWITCH_IGNORE (1 << 2)
2948 #define SWITCH_IGNORE_PERMANENTLY (1 << 3)
2949 #define SWITCH_KEEP_FOR_GCC (1 << 4)
2951 struct switchstr
2953 const char *part1;
2954 const char **args;
2955 unsigned int live_cond;
2956 bool known;
2957 bool validated;
2958 bool ordering;
2961 static struct switchstr *switches;
2963 static int n_switches;
2965 static int n_switches_alloc;
2967 /* Set to zero if -fcompare-debug is disabled, positive if it's
2968 enabled and we're running the first compilation, negative if it's
2969 enabled and we're running the second compilation. For most of the
2970 time, it's in the range -1..1, but it can be temporarily set to 2
2971 or 3 to indicate that the -fcompare-debug flags didn't come from
2972 the command-line, but rather from the GCC_COMPARE_DEBUG environment
2973 variable, until a synthesized -fcompare-debug flag is added to the
2974 command line. */
2975 int compare_debug;
2977 /* Set to nonzero if we've seen the -fcompare-debug-second flag. */
2978 int compare_debug_second;
2980 /* Set to the flags that should be passed to the second compilation in
2981 a -fcompare-debug compilation. */
2982 const char *compare_debug_opt;
2984 static struct switchstr *switches_debug_check[2];
2986 static int n_switches_debug_check[2];
2988 static int n_switches_alloc_debug_check[2];
2990 static char *debug_check_temp_file[2];
2992 /* Language is one of three things:
2994 1) The name of a real programming language.
2995 2) NULL, indicating that no one has figured out
2996 what it is yet.
2997 3) '*', indicating that the file should be passed
2998 to the linker. */
2999 struct infile
3001 const char *name;
3002 const char *language;
3003 struct compiler *incompiler;
3004 bool compiled;
3005 bool preprocessed;
3008 /* Also a vector of input files specified. */
3010 static struct infile *infiles;
3012 int n_infiles;
3014 static int n_infiles_alloc;
3016 /* True if multiple input files are being compiled to a single
3017 assembly file. */
3019 static bool combine_inputs;
3021 /* This counts the number of libraries added by lang_specific_driver, so that
3022 we can tell if there were any user supplied any files or libraries. */
3024 static int added_libraries;
3026 /* And a vector of corresponding output files is made up later. */
3028 const char **outfiles;
3030 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3032 /* Convert NAME to a new name if it is the standard suffix. DO_EXE
3033 is true if we should look for an executable suffix. DO_OBJ
3034 is true if we should look for an object suffix. */
3036 static const char *
3037 convert_filename (const char *name, int do_exe ATTRIBUTE_UNUSED,
3038 int do_obj ATTRIBUTE_UNUSED)
3040 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3041 int i;
3042 #endif
3043 int len;
3045 if (name == NULL)
3046 return NULL;
3048 len = strlen (name);
3050 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3051 /* Convert x.o to x.obj if TARGET_OBJECT_SUFFIX is ".obj". */
3052 if (do_obj && len > 2
3053 && name[len - 2] == '.'
3054 && name[len - 1] == 'o')
3056 obstack_grow (&obstack, name, len - 2);
3057 obstack_grow0 (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
3058 name = XOBFINISH (&obstack, const char *);
3060 #endif
3062 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3063 /* If there is no filetype, make it the executable suffix (which includes
3064 the "."). But don't get confused if we have just "-o". */
3065 if (! do_exe || TARGET_EXECUTABLE_SUFFIX[0] == 0 || (len == 2 && name[0] == '-'))
3066 return name;
3068 for (i = len - 1; i >= 0; i--)
3069 if (IS_DIR_SEPARATOR (name[i]))
3070 break;
3072 for (i++; i < len; i++)
3073 if (name[i] == '.')
3074 return name;
3076 obstack_grow (&obstack, name, len);
3077 obstack_grow0 (&obstack, TARGET_EXECUTABLE_SUFFIX,
3078 strlen (TARGET_EXECUTABLE_SUFFIX));
3079 name = XOBFINISH (&obstack, const char *);
3080 #endif
3082 return name;
3084 #endif
3086 /* Display the command line switches accepted by gcc. */
3087 static void
3088 display_help (void)
3090 printf (_("Usage: %s [options] file...\n"), progname);
3091 fputs (_("Options:\n"), stdout);
3093 fputs (_(" -pass-exit-codes Exit with highest error code from a phase\n"), stdout);
3094 fputs (_(" --help Display this information\n"), stdout);
3095 fputs (_(" --target-help Display target specific command line options\n"), stdout);
3096 fputs (_(" --help={common|optimizers|params|target|warnings|[^]{joined|separate|undocumented}}[,...]\n"), stdout);
3097 fputs (_(" Display specific types of command line options\n"), stdout);
3098 if (! verbose_flag)
3099 fputs (_(" (Use '-v --help' to display command line options of sub-processes)\n"), stdout);
3100 fputs (_(" --version Display compiler version information\n"), stdout);
3101 fputs (_(" -dumpspecs Display all of the built in spec strings\n"), stdout);
3102 fputs (_(" -dumpversion Display the version of the compiler\n"), stdout);
3103 fputs (_(" -dumpmachine Display the compiler's target processor\n"), stdout);
3104 fputs (_(" -print-search-dirs Display the directories in the compiler's search path\n"), stdout);
3105 fputs (_(" -print-libgcc-file-name Display the name of the compiler's companion library\n"), stdout);
3106 fputs (_(" -print-file-name=<lib> Display the full path to library <lib>\n"), stdout);
3107 fputs (_(" -print-prog-name=<prog> Display the full path to compiler component <prog>\n"), stdout);
3108 fputs (_("\
3109 -print-multiarch Display the target's normalized GNU triplet, used as\n\
3110 a component in the library path\n"), stdout);
3111 fputs (_(" -print-multi-directory Display the root directory for versions of libgcc\n"), stdout);
3112 fputs (_("\
3113 -print-multi-lib Display the mapping between command line options and\n\
3114 multiple library search directories\n"), stdout);
3115 fputs (_(" -print-multi-os-directory Display the relative path to OS libraries\n"), stdout);
3116 fputs (_(" -print-sysroot Display the target libraries directory\n"), stdout);
3117 fputs (_(" -print-sysroot-headers-suffix Display the sysroot suffix used to find headers\n"), stdout);
3118 fputs (_(" -Wa,<options> Pass comma-separated <options> on to the assembler\n"), stdout);
3119 fputs (_(" -Wp,<options> Pass comma-separated <options> on to the preprocessor\n"), stdout);
3120 fputs (_(" -Wl,<options> Pass comma-separated <options> on to the linker\n"), stdout);
3121 fputs (_(" -Xassembler <arg> Pass <arg> on to the assembler\n"), stdout);
3122 fputs (_(" -Xpreprocessor <arg> Pass <arg> on to the preprocessor\n"), stdout);
3123 fputs (_(" -Xlinker <arg> Pass <arg> on to the linker\n"), stdout);
3124 fputs (_(" -Xclang-only=<arg> Ignore <arg>\n"), stdout);
3125 fputs (_(" -save-temps Do not delete intermediate files\n"), stdout);
3126 fputs (_(" -save-temps=<arg> Do not delete intermediate files\n"), stdout);
3127 fputs (_("\
3128 -[no-]canonical-prefixes Specify the path canonicalization for relative\n\
3129 prefixes to other gcc components\n"), stdout);
3130 fputs (_(" -pipe Use pipes rather than intermediate files\n"), stdout);
3131 fputs (_(" -time Time the execution of each subprocess\n"), stdout);
3132 fputs (_(" -specs=<file> Override built-in specs with the contents of <file>\n"), stdout);
3133 fputs (_(" -std=<standard> Assume that the input sources are for <standard>\n"), stdout);
3134 fputs (_("\
3135 --sysroot=<directory> Use <directory> as the root directory for headers\n\
3136 and libraries\n"), stdout);
3137 fputs (_(" -B <directory> Add <directory> to the compiler's search paths\n"), stdout);
3138 fputs (_(" -v Display the programs invoked by the compiler\n"), stdout);
3139 fputs (_(" -### Like -v but options quoted and commands not executed\n"), stdout);
3140 fputs (_(" -E Preprocess only; do not compile, assemble or link\n"), stdout);
3141 fputs (_(" -S Compile only; do not assemble or link\n"), stdout);
3142 fputs (_(" -c Compile and assemble, but do not link\n"), stdout);
3143 fputs (_(" -o <file> Place the output into <file>\n"), stdout);
3144 fputs (_(" -pie Create a position independent executable\n"), stdout);
3145 fputs (_(" -no-pie Create a position dependent executable\n"), stdout);
3146 fputs (_(" -shared Create a shared library\n"), stdout);
3147 fputs (_("\
3148 -x <language> Specify the language of the following input files\n\
3149 Permissible languages include: c c++ assembler none\n\
3150 'none' means revert to the default behavior of\n\
3151 guessing the language based on the file's extension\n\
3152 "), stdout);
3154 printf (_("\
3155 \nOptions starting with -g, -f, -m, -O, -W, or --param are automatically\n\
3156 passed on to the various sub-processes invoked by %s. In order to pass\n\
3157 other options on to these processes the -W<letter> options must be used.\n\
3158 "), progname);
3160 /* The rest of the options are displayed by invocations of the various
3161 sub-processes. */
3164 static void
3165 add_preprocessor_option (const char *option, int len)
3167 preprocessor_options.safe_push (save_string (option, len));
3170 static void
3171 add_assembler_option (const char *option, int len)
3173 assembler_options.safe_push (save_string (option, len));
3176 static void
3177 add_linker_option (const char *option, int len)
3179 linker_options.safe_push (save_string (option, len));
3182 /* Allocate space for an input file in infiles. */
3184 static void
3185 alloc_infile (void)
3187 if (n_infiles_alloc == 0)
3189 n_infiles_alloc = 16;
3190 infiles = XNEWVEC (struct infile, n_infiles_alloc);
3192 else if (n_infiles_alloc == n_infiles)
3194 n_infiles_alloc *= 2;
3195 infiles = XRESIZEVEC (struct infile, infiles, n_infiles_alloc);
3199 /* Store an input file with the given NAME and LANGUAGE in
3200 infiles. */
3202 static void
3203 add_infile (const char *name, const char *language)
3205 alloc_infile ();
3206 infiles[n_infiles].name = name;
3207 infiles[n_infiles++].language = language;
3210 /* Allocate space for a switch in switches. */
3212 static void
3213 alloc_switch (void)
3215 if (n_switches_alloc == 0)
3217 n_switches_alloc = 16;
3218 switches = XNEWVEC (struct switchstr, n_switches_alloc);
3220 else if (n_switches_alloc == n_switches)
3222 n_switches_alloc *= 2;
3223 switches = XRESIZEVEC (struct switchstr, switches, n_switches_alloc);
3227 /* Save an option OPT with N_ARGS arguments in array ARGS, marking it
3228 as validated if VALIDATED and KNOWN if it is an internal switch. */
3230 static void
3231 save_switch (const char *opt, size_t n_args, const char *const *args,
3232 bool validated, bool known)
3234 alloc_switch ();
3235 switches[n_switches].part1 = opt + 1;
3236 if (n_args == 0)
3237 switches[n_switches].args = 0;
3238 else
3240 switches[n_switches].args = XNEWVEC (const char *, n_args + 1);
3241 memcpy (switches[n_switches].args, args, n_args * sizeof (const char *));
3242 switches[n_switches].args[n_args] = NULL;
3245 switches[n_switches].live_cond = 0;
3246 switches[n_switches].validated = validated;
3247 switches[n_switches].known = known;
3248 switches[n_switches].ordering = 0;
3249 n_switches++;
3252 /* Handle an option DECODED that is unknown to the option-processing
3253 machinery. */
3255 static bool
3256 driver_unknown_option_callback (const struct cl_decoded_option *decoded)
3258 const char *opt = decoded->arg;
3259 if (opt[1] == 'W' && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-'
3260 && !(decoded->errors & CL_ERR_NEGATIVE))
3262 /* Leave unknown -Wno-* options for the compiler proper, to be
3263 diagnosed only if there are warnings. */
3264 save_switch (decoded->canonical_option[0],
3265 decoded->canonical_option_num_elements - 1,
3266 &decoded->canonical_option[1], false, true);
3267 return false;
3269 if (decoded->opt_index == OPT_SPECIAL_unknown)
3271 /* Give it a chance to define it a a spec file. */
3272 save_switch (decoded->canonical_option[0],
3273 decoded->canonical_option_num_elements - 1,
3274 &decoded->canonical_option[1], false, false);
3275 return false;
3277 else
3278 return true;
3281 /* Handle an option DECODED that is not marked as CL_DRIVER.
3282 LANG_MASK will always be CL_DRIVER. */
3284 static void
3285 driver_wrong_lang_callback (const struct cl_decoded_option *decoded,
3286 unsigned int lang_mask ATTRIBUTE_UNUSED)
3288 /* At this point, non-driver options are accepted (and expected to
3289 be passed down by specs) unless marked to be rejected by the
3290 driver. Options to be rejected by the driver but accepted by the
3291 compilers proper are treated just like completely unknown
3292 options. */
3293 const struct cl_option *option = &cl_options[decoded->opt_index];
3295 if (option->cl_reject_driver)
3296 error ("unrecognized command line option %qs",
3297 decoded->orig_option_with_args_text);
3298 else
3299 save_switch (decoded->canonical_option[0],
3300 decoded->canonical_option_num_elements - 1,
3301 &decoded->canonical_option[1], false, true);
3304 static const char *spec_lang = 0;
3305 static int last_language_n_infiles;
3307 /* Handle a driver option; arguments and return value as for
3308 handle_option. */
3310 static bool
3311 driver_handle_option (struct gcc_options *opts,
3312 struct gcc_options *opts_set,
3313 const struct cl_decoded_option *decoded,
3314 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
3315 location_t loc,
3316 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED,
3317 diagnostic_context *dc)
3319 size_t opt_index = decoded->opt_index;
3320 const char *arg = decoded->arg;
3321 const char *compare_debug_replacement_opt;
3322 int value = decoded->value;
3323 bool validated = false;
3324 bool do_save = true;
3326 gcc_assert (opts == &global_options);
3327 gcc_assert (opts_set == &global_options_set);
3328 gcc_assert (kind == DK_UNSPECIFIED);
3329 gcc_assert (loc == UNKNOWN_LOCATION);
3330 gcc_assert (dc == global_dc);
3332 switch (opt_index)
3334 case OPT_dumpspecs:
3336 struct spec_list *sl;
3337 init_spec ();
3338 for (sl = specs; sl; sl = sl->next)
3339 printf ("*%s:\n%s\n\n", sl->name, *(sl->ptr_spec));
3340 if (link_command_spec)
3341 printf ("*link_command:\n%s\n\n", link_command_spec);
3342 exit (0);
3345 case OPT_dumpversion:
3346 printf ("%s\n", spec_version);
3347 exit (0);
3349 case OPT_dumpmachine:
3350 printf ("%s\n", spec_machine);
3351 exit (0);
3353 case OPT__version:
3354 print_version = 1;
3356 /* CPP driver cannot obtain switch from cc1_options. */
3357 if (is_cpp_driver)
3358 add_preprocessor_option ("--version", strlen ("--version"));
3359 add_assembler_option ("--version", strlen ("--version"));
3360 add_linker_option ("--version", strlen ("--version"));
3361 break;
3363 case OPT__help:
3364 print_help_list = 1;
3366 /* CPP driver cannot obtain switch from cc1_options. */
3367 if (is_cpp_driver)
3368 add_preprocessor_option ("--help", 6);
3369 add_assembler_option ("--help", 6);
3370 add_linker_option ("--help", 6);
3371 break;
3373 case OPT__help_:
3374 print_subprocess_help = 2;
3375 break;
3377 case OPT__target_help:
3378 print_subprocess_help = 1;
3380 /* CPP driver cannot obtain switch from cc1_options. */
3381 if (is_cpp_driver)
3382 add_preprocessor_option ("--target-help", 13);
3383 add_assembler_option ("--target-help", 13);
3384 add_linker_option ("--target-help", 13);
3385 break;
3387 case OPT__no_sysroot_suffix:
3388 case OPT_pass_exit_codes:
3389 case OPT_print_search_dirs:
3390 case OPT_print_file_name_:
3391 case OPT_print_prog_name_:
3392 case OPT_print_multi_lib:
3393 case OPT_print_multi_directory:
3394 case OPT_print_sysroot:
3395 case OPT_print_multi_os_directory:
3396 case OPT_print_multiarch:
3397 case OPT_print_sysroot_headers_suffix:
3398 case OPT_time:
3399 case OPT_wrapper:
3400 /* These options set the variables specified in common.opt
3401 automatically, and do not need to be saved for spec
3402 processing. */
3403 do_save = false;
3404 break;
3406 case OPT_print_libgcc_file_name:
3407 print_file_name = "libgcc.a";
3408 do_save = false;
3409 break;
3411 case OPT_fuse_ld_bfd:
3412 use_ld = ".bfd";
3413 break;
3415 case OPT_fuse_ld_gold:
3416 use_ld = ".gold";
3417 break;
3419 case OPT_fcompare_debug_second:
3420 compare_debug_second = 1;
3421 break;
3423 case OPT_fcompare_debug:
3424 switch (value)
3426 case 0:
3427 compare_debug_replacement_opt = "-fcompare-debug=";
3428 arg = "";
3429 goto compare_debug_with_arg;
3431 case 1:
3432 compare_debug_replacement_opt = "-fcompare-debug=-gtoggle";
3433 arg = "-gtoggle";
3434 goto compare_debug_with_arg;
3436 default:
3437 gcc_unreachable ();
3439 break;
3441 case OPT_fcompare_debug_:
3442 compare_debug_replacement_opt = decoded->canonical_option[0];
3443 compare_debug_with_arg:
3444 gcc_assert (decoded->canonical_option_num_elements == 1);
3445 gcc_assert (arg != NULL);
3446 if (*arg)
3447 compare_debug = 1;
3448 else
3449 compare_debug = -1;
3450 if (compare_debug < 0)
3451 compare_debug_opt = NULL;
3452 else
3453 compare_debug_opt = arg;
3454 save_switch (compare_debug_replacement_opt, 0, NULL, validated, true);
3455 return true;
3457 case OPT_Wa_:
3459 int prev, j;
3460 /* Pass the rest of this option to the assembler. */
3462 /* Split the argument at commas. */
3463 prev = 0;
3464 for (j = 0; arg[j]; j++)
3465 if (arg[j] == ',')
3467 add_assembler_option (arg + prev, j - prev);
3468 prev = j + 1;
3471 /* Record the part after the last comma. */
3472 add_assembler_option (arg + prev, j - prev);
3474 do_save = false;
3475 break;
3477 case OPT_Wp_:
3479 int prev, j;
3480 /* Pass the rest of this option to the preprocessor. */
3482 /* Split the argument at commas. */
3483 prev = 0;
3484 for (j = 0; arg[j]; j++)
3485 if (arg[j] == ',')
3487 add_preprocessor_option (arg + prev, j - prev);
3488 prev = j + 1;
3491 /* Record the part after the last comma. */
3492 add_preprocessor_option (arg + prev, j - prev);
3494 do_save = false;
3495 break;
3497 case OPT_Wl_:
3499 int prev, j;
3500 /* Split the argument at commas. */
3501 prev = 0;
3502 for (j = 0; arg[j]; j++)
3503 if (arg[j] == ',')
3505 add_infile (save_string (arg + prev, j - prev), "*");
3506 prev = j + 1;
3508 /* Record the part after the last comma. */
3509 add_infile (arg + prev, "*");
3511 do_save = false;
3512 break;
3514 case OPT_Xlinker:
3515 add_infile (arg, "*");
3516 do_save = false;
3517 break;
3519 case OPT_Xpreprocessor:
3520 add_preprocessor_option (arg, strlen (arg));
3521 do_save = false;
3522 break;
3524 case OPT_Xassembler:
3525 add_assembler_option (arg, strlen (arg));
3526 do_save = false;
3527 break;
3529 case OPT_l:
3530 /* POSIX allows separation of -l and the lib arg; canonicalize
3531 by concatenating -l with its arg */
3532 add_infile (concat ("-l", arg, NULL), "*");
3533 do_save = false;
3534 break;
3536 case OPT_L:
3537 /* Similarly, canonicalize -L for linkers that may not accept
3538 separate arguments. */
3539 save_switch (concat ("-L", arg, NULL), 0, NULL, validated, true);
3540 return true;
3542 case OPT_F:
3543 /* Likewise -F. */
3544 save_switch (concat ("-F", arg, NULL), 0, NULL, validated, true);
3545 return true;
3547 case OPT_save_temps:
3548 save_temps_flag = SAVE_TEMPS_CWD;
3549 validated = true;
3550 break;
3552 case OPT_save_temps_:
3553 if (strcmp (arg, "cwd") == 0)
3554 save_temps_flag = SAVE_TEMPS_CWD;
3555 else if (strcmp (arg, "obj") == 0
3556 || strcmp (arg, "object") == 0)
3557 save_temps_flag = SAVE_TEMPS_OBJ;
3558 else
3559 fatal_error ("%qs is an unknown -save-temps option",
3560 decoded->orig_option_with_args_text);
3561 break;
3563 case OPT_canonical_prefixes:
3564 case OPT_no_canonical_prefixes:
3565 /* Already handled as a special case, so ignored here. */
3566 do_save = false;
3567 break;
3569 case OPT_pipe:
3570 validated = true;
3571 /* These options set the variables specified in common.opt
3572 automatically, but do need to be saved for spec
3573 processing. */
3574 break;
3576 case OPT_specs_:
3578 struct user_specs *user = XNEW (struct user_specs);
3580 user->next = (struct user_specs *) 0;
3581 user->filename = arg;
3582 if (user_specs_tail)
3583 user_specs_tail->next = user;
3584 else
3585 user_specs_head = user;
3586 user_specs_tail = user;
3588 validated = true;
3589 break;
3591 case OPT__sysroot_:
3592 target_system_root = arg;
3593 target_system_root_changed = 1;
3594 do_save = false;
3595 break;
3597 case OPT_time_:
3598 if (report_times_to_file)
3599 fclose (report_times_to_file);
3600 report_times_to_file = fopen (arg, "a");
3601 do_save = false;
3602 break;
3604 case OPT____:
3605 /* "-###"
3606 This is similar to -v except that there is no execution
3607 of the commands and the echoed arguments are quoted. It
3608 is intended for use in shell scripts to capture the
3609 driver-generated command line. */
3610 verbose_only_flag++;
3611 verbose_flag = 1;
3612 do_save = false;
3613 break;
3615 case OPT_B:
3617 size_t len = strlen (arg);
3619 /* Catch the case where the user has forgotten to append a
3620 directory separator to the path. Note, they may be using
3621 -B to add an executable name prefix, eg "i386-elf-", in
3622 order to distinguish between multiple installations of
3623 GCC in the same directory. Hence we must check to see
3624 if appending a directory separator actually makes a
3625 valid directory name. */
3626 if (!IS_DIR_SEPARATOR (arg[len - 1])
3627 && is_directory (arg, false))
3629 char *tmp = XNEWVEC (char, len + 2);
3630 strcpy (tmp, arg);
3631 tmp[len] = DIR_SEPARATOR;
3632 tmp[++len] = 0;
3633 arg = tmp;
3636 add_prefix (&exec_prefixes, arg, NULL,
3637 PREFIX_PRIORITY_B_OPT, 0, 0);
3638 add_prefix (&startfile_prefixes, arg, NULL,
3639 PREFIX_PRIORITY_B_OPT, 0, 0);
3640 add_prefix (&include_prefixes, arg, NULL,
3641 PREFIX_PRIORITY_B_OPT, 0, 0);
3643 validated = true;
3644 break;
3646 case OPT_x:
3647 spec_lang = arg;
3648 if (!strcmp (spec_lang, "none"))
3649 /* Suppress the warning if -xnone comes after the last input
3650 file, because alternate command interfaces like g++ might
3651 find it useful to place -xnone after each input file. */
3652 spec_lang = 0;
3653 else
3654 last_language_n_infiles = n_infiles;
3655 do_save = false;
3656 break;
3658 case OPT_o:
3659 have_o = 1;
3660 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX) || defined(HAVE_TARGET_OBJECT_SUFFIX)
3661 arg = convert_filename (arg, ! have_c, 0);
3662 #endif
3663 /* Save the output name in case -save-temps=obj was used. */
3664 save_temps_prefix = xstrdup (arg);
3665 /* On some systems, ld cannot handle "-o" without a space. So
3666 split the option from its argument. */
3667 save_switch ("-o", 1, &arg, validated, true);
3668 return true;
3670 case OPT_static_libgcc:
3671 case OPT_shared_libgcc:
3672 case OPT_static_libgfortran:
3673 case OPT_static_libstdc__:
3674 /* These are always valid, since gcc.c itself understands the
3675 first two, gfortranspec.c understands -static-libgfortran and
3676 g++spec.c understands -static-libstdc++ */
3677 validated = true;
3678 break;
3680 case OPT_fwpa:
3681 flag_wpa = "";
3682 break;
3684 default:
3685 /* Various driver options need no special processing at this
3686 point, having been handled in a prescan above or being
3687 handled by specs. */
3688 break;
3691 if (do_save)
3692 save_switch (decoded->canonical_option[0],
3693 decoded->canonical_option_num_elements - 1,
3694 &decoded->canonical_option[1], validated, true);
3695 return true;
3698 /* Put the driver's standard set of option handlers in *HANDLERS. */
3700 static void
3701 set_option_handlers (struct cl_option_handlers *handlers)
3703 handlers->unknown_option_callback = driver_unknown_option_callback;
3704 handlers->wrong_lang_callback = driver_wrong_lang_callback;
3705 handlers->num_handlers = 3;
3706 handlers->handlers[0].handler = driver_handle_option;
3707 handlers->handlers[0].mask = CL_DRIVER;
3708 handlers->handlers[1].handler = common_handle_option;
3709 handlers->handlers[1].mask = CL_COMMON;
3710 handlers->handlers[2].handler = target_handle_option;
3711 handlers->handlers[2].mask = CL_TARGET;
3714 /* Create the vector `switches' and its contents.
3715 Store its length in `n_switches'. */
3717 static void
3718 process_command (unsigned int decoded_options_count,
3719 struct cl_decoded_option *decoded_options)
3721 const char *temp;
3722 char *temp1;
3723 char *tooldir_prefix, *tooldir_prefix2;
3724 char *(*get_relative_prefix) (const char *, const char *,
3725 const char *) = NULL;
3726 struct cl_option_handlers handlers;
3727 unsigned int j;
3729 gcc_exec_prefix = getenv ("GCC_EXEC_PREFIX");
3731 n_switches = 0;
3732 n_infiles = 0;
3733 added_libraries = 0;
3735 /* Figure compiler version from version string. */
3737 compiler_version = temp1 = xstrdup (version_string);
3739 for (; *temp1; ++temp1)
3741 if (*temp1 == ' ')
3743 *temp1 = '\0';
3744 break;
3748 /* Handle any -[no-]canonical-prefixes flags early, to assign the function
3749 that builds relative prefixes. This function creates default search
3750 paths that are needed later in normal option handling. */
3752 for (j = 1; j < decoded_options_count; j++)
3754 if (decoded_options[j].opt_index == OPT_canonical_prefixes)
3755 get_relative_prefix = make_relative_prefix;
3756 else if (decoded_options[j].opt_index == OPT_no_canonical_prefixes)
3757 get_relative_prefix = make_relative_prefix_ignore_links;
3759 if (! get_relative_prefix)
3761 #ifdef ENABLE_CANONICAL_PREFIXES
3762 get_relative_prefix = make_relative_prefix;
3763 #else
3764 get_relative_prefix = make_relative_prefix_ignore_links;
3765 #endif
3768 /* Set up the default search paths. If there is no GCC_EXEC_PREFIX,
3769 see if we can create it from the pathname specified in
3770 decoded_options[0].arg. */
3772 gcc_libexec_prefix = standard_libexec_prefix;
3773 #ifndef VMS
3774 /* FIXME: make_relative_prefix doesn't yet work for VMS. */
3775 if (!gcc_exec_prefix)
3777 gcc_exec_prefix = get_relative_prefix (decoded_options[0].arg,
3778 standard_bindir_prefix,
3779 standard_exec_prefix);
3780 gcc_libexec_prefix = get_relative_prefix (decoded_options[0].arg,
3781 standard_bindir_prefix,
3782 standard_libexec_prefix);
3783 if (gcc_exec_prefix)
3784 xputenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
3786 else
3788 /* make_relative_prefix requires a program name, but
3789 GCC_EXEC_PREFIX is typically a directory name with a trailing
3790 / (which is ignored by make_relative_prefix), so append a
3791 program name. */
3792 char *tmp_prefix = concat (gcc_exec_prefix, "gcc", NULL);
3793 gcc_libexec_prefix = get_relative_prefix (tmp_prefix,
3794 standard_exec_prefix,
3795 standard_libexec_prefix);
3797 /* The path is unrelocated, so fallback to the original setting. */
3798 if (!gcc_libexec_prefix)
3799 gcc_libexec_prefix = standard_libexec_prefix;
3801 free (tmp_prefix);
3803 #else
3804 #endif
3805 /* From this point onward, gcc_exec_prefix is non-null if the toolchain
3806 is relocated. The toolchain was either relocated using GCC_EXEC_PREFIX
3807 or an automatically created GCC_EXEC_PREFIX from
3808 decoded_options[0].arg. */
3810 /* Do language-specific adjustment/addition of flags. */
3811 lang_specific_driver (&decoded_options, &decoded_options_count,
3812 &added_libraries);
3814 if (gcc_exec_prefix)
3816 int len = strlen (gcc_exec_prefix);
3818 if (len > (int) sizeof ("/lib/gcc/") - 1
3819 && (IS_DIR_SEPARATOR (gcc_exec_prefix[len-1])))
3821 temp = gcc_exec_prefix + len - sizeof ("/lib/gcc/") + 1;
3822 if (IS_DIR_SEPARATOR (*temp)
3823 && filename_ncmp (temp + 1, "lib", 3) == 0
3824 && IS_DIR_SEPARATOR (temp[4])
3825 && filename_ncmp (temp + 5, "gcc", 3) == 0)
3826 len -= sizeof ("/lib/gcc/") - 1;
3829 set_std_prefix (gcc_exec_prefix, len);
3830 add_prefix (&exec_prefixes, gcc_libexec_prefix, "GCC",
3831 PREFIX_PRIORITY_LAST, 0, 0);
3832 add_prefix (&startfile_prefixes, gcc_exec_prefix, "GCC",
3833 PREFIX_PRIORITY_LAST, 0, 0);
3836 /* COMPILER_PATH and LIBRARY_PATH have values
3837 that are lists of directory names with colons. */
3839 temp = getenv ("COMPILER_PATH");
3840 if (temp)
3842 const char *startp, *endp;
3843 char *nstore = (char *) alloca (strlen (temp) + 3);
3845 startp = endp = temp;
3846 while (1)
3848 if (*endp == PATH_SEPARATOR || *endp == 0)
3850 strncpy (nstore, startp, endp - startp);
3851 if (endp == startp)
3852 strcpy (nstore, concat (".", dir_separator_str, NULL));
3853 else if (!IS_DIR_SEPARATOR (endp[-1]))
3855 nstore[endp - startp] = DIR_SEPARATOR;
3856 nstore[endp - startp + 1] = 0;
3858 else
3859 nstore[endp - startp] = 0;
3860 add_prefix (&exec_prefixes, nstore, 0,
3861 PREFIX_PRIORITY_LAST, 0, 0);
3862 add_prefix (&include_prefixes, nstore, 0,
3863 PREFIX_PRIORITY_LAST, 0, 0);
3864 if (*endp == 0)
3865 break;
3866 endp = startp = endp + 1;
3868 else
3869 endp++;
3873 temp = getenv (LIBRARY_PATH_ENV);
3874 if (temp && *cross_compile == '0')
3876 const char *startp, *endp;
3877 char *nstore = (char *) alloca (strlen (temp) + 3);
3879 startp = endp = temp;
3880 while (1)
3882 if (*endp == PATH_SEPARATOR || *endp == 0)
3884 strncpy (nstore, startp, endp - startp);
3885 if (endp == startp)
3886 strcpy (nstore, concat (".", dir_separator_str, NULL));
3887 else if (!IS_DIR_SEPARATOR (endp[-1]))
3889 nstore[endp - startp] = DIR_SEPARATOR;
3890 nstore[endp - startp + 1] = 0;
3892 else
3893 nstore[endp - startp] = 0;
3894 add_prefix (&startfile_prefixes, nstore, NULL,
3895 PREFIX_PRIORITY_LAST, 0, 1);
3896 if (*endp == 0)
3897 break;
3898 endp = startp = endp + 1;
3900 else
3901 endp++;
3905 /* Use LPATH like LIBRARY_PATH (for the CMU build program). */
3906 temp = getenv ("LPATH");
3907 if (temp && *cross_compile == '0')
3909 const char *startp, *endp;
3910 char *nstore = (char *) alloca (strlen (temp) + 3);
3912 startp = endp = temp;
3913 while (1)
3915 if (*endp == PATH_SEPARATOR || *endp == 0)
3917 strncpy (nstore, startp, endp - startp);
3918 if (endp == startp)
3919 strcpy (nstore, concat (".", dir_separator_str, NULL));
3920 else if (!IS_DIR_SEPARATOR (endp[-1]))
3922 nstore[endp - startp] = DIR_SEPARATOR;
3923 nstore[endp - startp + 1] = 0;
3925 else
3926 nstore[endp - startp] = 0;
3927 add_prefix (&startfile_prefixes, nstore, NULL,
3928 PREFIX_PRIORITY_LAST, 0, 1);
3929 if (*endp == 0)
3930 break;
3931 endp = startp = endp + 1;
3933 else
3934 endp++;
3938 /* Process the options and store input files and switches in their
3939 vectors. */
3941 last_language_n_infiles = -1;
3943 set_option_handlers (&handlers);
3945 for (j = 1; j < decoded_options_count; j++)
3947 switch (decoded_options[j].opt_index)
3949 case OPT_S:
3950 case OPT_c:
3951 case OPT_E:
3952 have_c = 1;
3953 break;
3955 if (have_c)
3956 break;
3959 for (j = 1; j < decoded_options_count; j++)
3961 if (decoded_options[j].opt_index == OPT_SPECIAL_input_file)
3963 const char *arg = decoded_options[j].arg;
3964 const char *p = strrchr (arg, '@');
3965 char *fname;
3966 long offset;
3967 int consumed;
3968 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3969 arg = convert_filename (arg, 0, access (arg, F_OK));
3970 #endif
3971 /* For LTO static archive support we handle input file
3972 specifications that are composed of a filename and
3973 an offset like FNAME@OFFSET. */
3974 if (p
3975 && p != arg
3976 && sscanf (p, "@%li%n", &offset, &consumed) >= 1
3977 && strlen (p) == (unsigned int)consumed)
3979 fname = (char *)xmalloc (p - arg + 1);
3980 memcpy (fname, arg, p - arg);
3981 fname[p - arg] = '\0';
3982 /* Only accept non-stdin and existing FNAME parts, otherwise
3983 try with the full name. */
3984 if (strcmp (fname, "-") == 0 || access (fname, F_OK) < 0)
3986 free (fname);
3987 fname = xstrdup (arg);
3990 else
3991 fname = xstrdup (arg);
3993 if (strcmp (fname, "-") != 0 && access (fname, F_OK) < 0)
3994 perror_with_name (fname);
3995 else
3996 add_infile (arg, spec_lang);
3998 free (fname);
3999 continue;
4002 read_cmdline_option (&global_options, &global_options_set,
4003 decoded_options + j, UNKNOWN_LOCATION,
4004 CL_DRIVER, &handlers, global_dc);
4007 /* If -save-temps=obj and -o name, create the prefix to use for %b.
4008 Otherwise just make -save-temps=obj the same as -save-temps=cwd. */
4009 if (save_temps_flag == SAVE_TEMPS_OBJ && save_temps_prefix != NULL)
4011 save_temps_length = strlen (save_temps_prefix);
4012 temp = strrchr (lbasename (save_temps_prefix), '.');
4013 if (temp)
4015 save_temps_length -= strlen (temp);
4016 save_temps_prefix[save_temps_length] = '\0';
4020 else if (save_temps_prefix != NULL)
4022 free (save_temps_prefix);
4023 save_temps_prefix = NULL;
4026 if (save_temps_flag && use_pipes)
4028 /* -save-temps overrides -pipe, so that temp files are produced */
4029 if (save_temps_flag)
4030 warning (0, "-pipe ignored because -save-temps specified");
4031 use_pipes = 0;
4034 if (!compare_debug)
4036 const char *gcd = getenv ("GCC_COMPARE_DEBUG");
4038 if (gcd && gcd[0] == '-')
4040 compare_debug = 2;
4041 compare_debug_opt = gcd;
4043 else if (gcd && *gcd && strcmp (gcd, "0"))
4045 compare_debug = 3;
4046 compare_debug_opt = "-gtoggle";
4049 else if (compare_debug < 0)
4051 compare_debug = 0;
4052 gcc_assert (!compare_debug_opt);
4055 /* Set up the search paths. We add directories that we expect to
4056 contain GNU Toolchain components before directories specified by
4057 the machine description so that we will find GNU components (like
4058 the GNU assembler) before those of the host system. */
4060 /* If we don't know where the toolchain has been installed, use the
4061 configured-in locations. */
4062 if (!gcc_exec_prefix)
4064 #ifndef OS2
4065 add_prefix (&exec_prefixes, standard_libexec_prefix, "GCC",
4066 PREFIX_PRIORITY_LAST, 1, 0);
4067 add_prefix (&exec_prefixes, standard_libexec_prefix, "BINUTILS",
4068 PREFIX_PRIORITY_LAST, 2, 0);
4069 add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
4070 PREFIX_PRIORITY_LAST, 2, 0);
4071 #endif
4072 add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
4073 PREFIX_PRIORITY_LAST, 1, 0);
4076 gcc_assert (!IS_ABSOLUTE_PATH (tooldir_base_prefix));
4077 tooldir_prefix2 = concat (tooldir_base_prefix, spec_machine,
4078 dir_separator_str, NULL);
4080 /* Look for tools relative to the location from which the driver is
4081 running, or, if that is not available, the configured prefix. */
4082 tooldir_prefix
4083 = concat (gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
4084 spec_machine, dir_separator_str,
4085 spec_version, dir_separator_str, tooldir_prefix2, NULL);
4086 free (tooldir_prefix2);
4088 add_prefix (&exec_prefixes,
4089 concat (tooldir_prefix, "bin", dir_separator_str, NULL),
4090 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 0);
4091 add_prefix (&startfile_prefixes,
4092 concat (tooldir_prefix, "lib", dir_separator_str, NULL),
4093 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 1);
4094 free (tooldir_prefix);
4096 #if defined(TARGET_SYSTEM_ROOT_RELOCATABLE) && !defined(VMS)
4097 /* If the normal TARGET_SYSTEM_ROOT is inside of $exec_prefix,
4098 then consider it to relocate with the rest of the GCC installation
4099 if GCC_EXEC_PREFIX is set.
4100 ``make_relative_prefix'' is not compiled for VMS, so don't call it. */
4101 if (target_system_root && !target_system_root_changed && gcc_exec_prefix)
4103 char *tmp_prefix = get_relative_prefix (decoded_options[0].arg,
4104 standard_bindir_prefix,
4105 target_system_root);
4106 if (tmp_prefix && access_check (tmp_prefix, F_OK) == 0)
4108 target_system_root = tmp_prefix;
4109 target_system_root_changed = 1;
4112 #endif
4114 /* More prefixes are enabled in main, after we read the specs file
4115 and determine whether this is cross-compilation or not. */
4117 if (n_infiles == last_language_n_infiles && spec_lang != 0)
4118 warning (0, "%<-x %s%> after last input file has no effect", spec_lang);
4120 /* Synthesize -fcompare-debug flag from the GCC_COMPARE_DEBUG
4121 environment variable. */
4122 if (compare_debug == 2 || compare_debug == 3)
4124 const char *opt = concat ("-fcompare-debug=", compare_debug_opt, NULL);
4125 save_switch (opt, 0, NULL, false, true);
4126 compare_debug = 1;
4129 /* Ensure we only invoke each subprocess once. */
4130 if (print_subprocess_help || print_help_list || print_version)
4132 n_infiles = 0;
4134 /* Create a dummy input file, so that we can pass
4135 the help option on to the various sub-processes. */
4136 add_infile ("help-dummy", "c");
4139 alloc_switch ();
4140 switches[n_switches].part1 = 0;
4141 alloc_infile ();
4142 infiles[n_infiles].name = 0;
4145 /* Store switches not filtered out by %<S in spec in COLLECT_GCC_OPTIONS
4146 and place that in the environment. */
4148 static void
4149 set_collect_gcc_options (void)
4151 int i;
4152 int first_time;
4154 /* Build COLLECT_GCC_OPTIONS to have all of the options specified to
4155 the compiler. */
4156 obstack_grow (&collect_obstack, "COLLECT_GCC_OPTIONS=",
4157 sizeof ("COLLECT_GCC_OPTIONS=") - 1);
4159 first_time = TRUE;
4160 for (i = 0; (int) i < n_switches; i++)
4162 const char *const *args;
4163 const char *p, *q;
4164 if (!first_time)
4165 obstack_grow (&collect_obstack, " ", 1);
4167 first_time = FALSE;
4169 /* Ignore elided switches. */
4170 if ((switches[i].live_cond
4171 & (SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC))
4172 == SWITCH_IGNORE)
4173 continue;
4175 obstack_grow (&collect_obstack, "'-", 2);
4176 q = switches[i].part1;
4177 while ((p = strchr (q, '\'')))
4179 obstack_grow (&collect_obstack, q, p - q);
4180 obstack_grow (&collect_obstack, "'\\''", 4);
4181 q = ++p;
4183 obstack_grow (&collect_obstack, q, strlen (q));
4184 obstack_grow (&collect_obstack, "'", 1);
4186 for (args = switches[i].args; args && *args; args++)
4188 obstack_grow (&collect_obstack, " '", 2);
4189 q = *args;
4190 while ((p = strchr (q, '\'')))
4192 obstack_grow (&collect_obstack, q, p - q);
4193 obstack_grow (&collect_obstack, "'\\''", 4);
4194 q = ++p;
4196 obstack_grow (&collect_obstack, q, strlen (q));
4197 obstack_grow (&collect_obstack, "'", 1);
4200 obstack_grow (&collect_obstack, "\0", 1);
4201 xputenv (XOBFINISH (&collect_obstack, char *));
4204 /* Process a spec string, accumulating and running commands. */
4206 /* These variables describe the input file name.
4207 input_file_number is the index on outfiles of this file,
4208 so that the output file name can be stored for later use by %o.
4209 input_basename is the start of the part of the input file
4210 sans all directory names, and basename_length is the number
4211 of characters starting there excluding the suffix .c or whatever. */
4213 static const char *gcc_input_filename;
4214 static int input_file_number;
4215 size_t input_filename_length;
4216 static int basename_length;
4217 static int suffixed_basename_length;
4218 static const char *input_basename;
4219 static const char *input_suffix;
4220 #ifndef HOST_LACKS_INODE_NUMBERS
4221 static struct stat input_stat;
4222 #endif
4223 static int input_stat_set;
4225 /* The compiler used to process the current input file. */
4226 static struct compiler *input_file_compiler;
4228 /* These are variables used within do_spec and do_spec_1. */
4230 /* Nonzero if an arg has been started and not yet terminated
4231 (with space, tab or newline). */
4232 static int arg_going;
4234 /* Nonzero means %d or %g has been seen; the next arg to be terminated
4235 is a temporary file name. */
4236 static int delete_this_arg;
4238 /* Nonzero means %w has been seen; the next arg to be terminated
4239 is the output file name of this compilation. */
4240 static int this_is_output_file;
4242 /* Nonzero means %s has been seen; the next arg to be terminated
4243 is the name of a library file and we should try the standard
4244 search dirs for it. */
4245 static int this_is_library_file;
4247 /* Nonzero means %T has been seen; the next arg to be terminated
4248 is the name of a linker script and we should try all of the
4249 standard search dirs for it. If it is found insert a --script
4250 command line switch and then substitute the full path in place,
4251 otherwise generate an error message. */
4252 static int this_is_linker_script;
4254 /* Nonzero means that the input of this command is coming from a pipe. */
4255 static int input_from_pipe;
4257 /* Nonnull means substitute this for any suffix when outputting a switches
4258 arguments. */
4259 static const char *suffix_subst;
4261 /* If there is an argument being accumulated, terminate it and store it. */
4263 static void
4264 end_going_arg (void)
4266 if (arg_going)
4268 const char *string;
4270 obstack_1grow (&obstack, 0);
4271 string = XOBFINISH (&obstack, const char *);
4272 if (this_is_library_file)
4273 string = find_file (string);
4274 if (this_is_linker_script)
4276 char * full_script_path = find_a_file (&startfile_prefixes, string, R_OK, true);
4278 if (full_script_path == NULL)
4280 error ("unable to locate default linker script %qs in the library search paths", string);
4281 /* Script was not found on search path. */
4282 return;
4284 store_arg ("--script", false, false);
4285 string = full_script_path;
4287 store_arg (string, delete_this_arg, this_is_output_file);
4288 if (this_is_output_file)
4289 outfiles[input_file_number] = string;
4290 arg_going = 0;
4295 /* Parse the WRAPPER string which is a comma separated list of the command line
4296 and insert them into the beginning of argbuf. */
4298 static void
4299 insert_wrapper (const char *wrapper)
4301 int n = 0;
4302 int i;
4303 char *buf = xstrdup (wrapper);
4304 char *p = buf;
4305 unsigned int old_length = argbuf.length ();
4309 n++;
4310 while (*p == ',')
4311 p++;
4313 while ((p = strchr (p, ',')) != NULL);
4315 argbuf.safe_grow (old_length + n);
4316 memmove (argbuf.address () + n,
4317 argbuf.address (),
4318 old_length * sizeof (const_char_p));
4320 i = 0;
4321 p = buf;
4324 while (*p == ',')
4326 *p = 0;
4327 p++;
4329 argbuf[i] = p;
4330 i++;
4332 while ((p = strchr (p, ',')) != NULL);
4333 gcc_assert (i == n);
4336 /* Process the spec SPEC and run the commands specified therein.
4337 Returns 0 if the spec is successfully processed; -1 if failed. */
4340 do_spec (const char *spec)
4342 int value;
4344 value = do_spec_2 (spec);
4346 /* Force out any unfinished command.
4347 If -pipe, this forces out the last command if it ended in `|'. */
4348 if (value == 0)
4350 if (argbuf.length () > 0
4351 && !strcmp (argbuf.last (), "|"))
4352 argbuf.pop ();
4354 set_collect_gcc_options ();
4356 if (argbuf.length () > 0)
4357 value = execute ();
4360 return value;
4363 static int
4364 do_spec_2 (const char *spec)
4366 int result;
4368 clear_args ();
4369 arg_going = 0;
4370 delete_this_arg = 0;
4371 this_is_output_file = 0;
4372 this_is_library_file = 0;
4373 this_is_linker_script = 0;
4374 input_from_pipe = 0;
4375 suffix_subst = NULL;
4377 result = do_spec_1 (spec, 0, NULL);
4379 end_going_arg ();
4381 return result;
4385 /* Process the given spec string and add any new options to the end
4386 of the switches/n_switches array. */
4388 static void
4389 do_option_spec (const char *name, const char *spec)
4391 unsigned int i, value_count, value_len;
4392 const char *p, *q, *value;
4393 char *tmp_spec, *tmp_spec_p;
4395 if (configure_default_options[0].name == NULL)
4396 return;
4398 for (i = 0; i < ARRAY_SIZE (configure_default_options); i++)
4399 if (strcmp (configure_default_options[i].name, name) == 0)
4400 break;
4401 if (i == ARRAY_SIZE (configure_default_options))
4402 return;
4404 value = configure_default_options[i].value;
4405 value_len = strlen (value);
4407 /* Compute the size of the final spec. */
4408 value_count = 0;
4409 p = spec;
4410 while ((p = strstr (p, "%(VALUE)")) != NULL)
4412 p ++;
4413 value_count ++;
4416 /* Replace each %(VALUE) by the specified value. */
4417 tmp_spec = (char *) alloca (strlen (spec) + 1
4418 + value_count * (value_len - strlen ("%(VALUE)")));
4419 tmp_spec_p = tmp_spec;
4420 q = spec;
4421 while ((p = strstr (q, "%(VALUE)")) != NULL)
4423 memcpy (tmp_spec_p, q, p - q);
4424 tmp_spec_p = tmp_spec_p + (p - q);
4425 memcpy (tmp_spec_p, value, value_len);
4426 tmp_spec_p += value_len;
4427 q = p + strlen ("%(VALUE)");
4429 strcpy (tmp_spec_p, q);
4431 do_self_spec (tmp_spec);
4434 /* Process the given spec string and add any new options to the end
4435 of the switches/n_switches array. */
4437 static void
4438 do_self_spec (const char *spec)
4440 int i;
4442 do_spec_2 (spec);
4443 do_spec_1 (" ", 0, NULL);
4445 /* Mark %<S switches processed by do_self_spec to be ignored permanently.
4446 do_self_specs adds the replacements to switches array, so it shouldn't
4447 be processed afterwards. */
4448 for (i = 0; i < n_switches; i++)
4449 if ((switches[i].live_cond & SWITCH_IGNORE))
4450 switches[i].live_cond |= SWITCH_IGNORE_PERMANENTLY;
4452 if (argbuf.length () > 0)
4454 const char **argbuf_copy;
4455 struct cl_decoded_option *decoded_options;
4456 struct cl_option_handlers handlers;
4457 unsigned int decoded_options_count;
4458 unsigned int j;
4460 /* Create a copy of argbuf with a dummy argv[0] entry for
4461 decode_cmdline_options_to_array. */
4462 argbuf_copy = XNEWVEC (const char *,
4463 argbuf.length () + 1);
4464 argbuf_copy[0] = "";
4465 memcpy (argbuf_copy + 1, argbuf.address (),
4466 argbuf.length () * sizeof (const char *));
4468 decode_cmdline_options_to_array (argbuf.length () + 1,
4469 argbuf_copy,
4470 CL_DRIVER, &decoded_options,
4471 &decoded_options_count);
4472 free (argbuf_copy);
4474 set_option_handlers (&handlers);
4476 for (j = 1; j < decoded_options_count; j++)
4478 switch (decoded_options[j].opt_index)
4480 case OPT_SPECIAL_input_file:
4481 /* Specs should only generate options, not input
4482 files. */
4483 if (strcmp (decoded_options[j].arg, "-") != 0)
4484 fatal_error ("switch %qs does not start with %<-%>",
4485 decoded_options[j].arg);
4486 else
4487 fatal_error ("spec-generated switch is just %<-%>");
4488 break;
4490 case OPT_fcompare_debug_second:
4491 case OPT_fcompare_debug:
4492 case OPT_fcompare_debug_:
4493 case OPT_o:
4494 /* Avoid duplicate processing of some options from
4495 compare-debug specs; just save them here. */
4496 save_switch (decoded_options[j].canonical_option[0],
4497 (decoded_options[j].canonical_option_num_elements
4498 - 1),
4499 &decoded_options[j].canonical_option[1], false, true);
4500 break;
4502 default:
4503 read_cmdline_option (&global_options, &global_options_set,
4504 decoded_options + j, UNKNOWN_LOCATION,
4505 CL_DRIVER, &handlers, global_dc);
4506 break;
4510 alloc_switch ();
4511 switches[n_switches].part1 = 0;
4515 /* Callback for processing %D and %I specs. */
4517 struct spec_path_info {
4518 const char *option;
4519 const char *append;
4520 size_t append_len;
4521 bool omit_relative;
4522 bool separate_options;
4525 static void *
4526 spec_path (char *path, void *data)
4528 struct spec_path_info *info = (struct spec_path_info *) data;
4529 size_t len = 0;
4530 char save = 0;
4532 if (info->omit_relative && !IS_ABSOLUTE_PATH (path))
4533 return NULL;
4535 if (info->append_len != 0)
4537 len = strlen (path);
4538 memcpy (path + len, info->append, info->append_len + 1);
4541 if (!is_directory (path, true))
4542 return NULL;
4544 do_spec_1 (info->option, 1, NULL);
4545 if (info->separate_options)
4546 do_spec_1 (" ", 0, NULL);
4548 if (info->append_len == 0)
4550 len = strlen (path);
4551 save = path[len - 1];
4552 if (IS_DIR_SEPARATOR (path[len - 1]))
4553 path[len - 1] = '\0';
4556 do_spec_1 (path, 1, NULL);
4557 do_spec_1 (" ", 0, NULL);
4559 /* Must not damage the original path. */
4560 if (info->append_len == 0)
4561 path[len - 1] = save;
4563 return NULL;
4566 /* Create a temporary FILE with the contents of ARGV. Add @FILE to the
4567 argument list. */
4569 static void
4570 create_at_file (char **argv)
4572 char *temp_file = make_temp_file ("");
4573 char *at_argument = concat ("@", temp_file, NULL);
4574 FILE *f = fopen (temp_file, "w");
4575 int status;
4577 if (f == NULL)
4578 fatal_error ("could not open temporary response file %s",
4579 temp_file);
4581 status = writeargv (argv, f);
4583 if (status)
4584 fatal_error ("could not write to temporary response file %s",
4585 temp_file);
4587 status = fclose (f);
4589 if (EOF == status)
4590 fatal_error ("could not close temporary response file %s",
4591 temp_file);
4593 store_arg (at_argument, 0, 0);
4595 record_temp_file (temp_file, !save_temps_flag, !save_temps_flag);
4598 /* True if we should compile INFILE. */
4600 static bool
4601 compile_input_file_p (struct infile *infile)
4603 if ((!infile->language) || (infile->language[0] != '*'))
4604 if (infile->incompiler == input_file_compiler)
4605 return true;
4606 return false;
4609 /* Process each member of VEC as a spec. */
4611 static void
4612 do_specs_vec (vec<char_p> vec)
4614 unsigned ix;
4615 char *opt;
4617 FOR_EACH_VEC_ELT (vec, ix, opt)
4619 do_spec_1 (opt, 1, NULL);
4620 /* Make each accumulated option a separate argument. */
4621 do_spec_1 (" ", 0, NULL);
4625 /* Process the sub-spec SPEC as a portion of a larger spec.
4626 This is like processing a whole spec except that we do
4627 not initialize at the beginning and we do not supply a
4628 newline by default at the end.
4629 INSWITCH nonzero means don't process %-sequences in SPEC;
4630 in this case, % is treated as an ordinary character.
4631 This is used while substituting switches.
4632 INSWITCH nonzero also causes SPC not to terminate an argument.
4634 Value is zero unless a line was finished
4635 and the command on that line reported an error. */
4637 static int
4638 do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
4640 const char *p = spec;
4641 int c;
4642 int i;
4643 int value;
4645 /* If it's an empty string argument to a switch, keep it as is. */
4646 if (inswitch && !*p)
4647 arg_going = 1;
4649 while ((c = *p++))
4650 /* If substituting a switch, treat all chars like letters.
4651 Otherwise, NL, SPC, TAB and % are special. */
4652 switch (inswitch ? 'a' : c)
4654 case '\n':
4655 end_going_arg ();
4657 if (argbuf.length () > 0
4658 && !strcmp (argbuf.last (), "|"))
4660 /* A `|' before the newline means use a pipe here,
4661 but only if -pipe was specified.
4662 Otherwise, execute now and don't pass the `|' as an arg. */
4663 if (use_pipes)
4665 input_from_pipe = 1;
4666 break;
4668 else
4669 argbuf.pop ();
4672 set_collect_gcc_options ();
4674 if (argbuf.length () > 0)
4676 value = execute ();
4677 if (value)
4678 return value;
4680 /* Reinitialize for a new command, and for a new argument. */
4681 clear_args ();
4682 arg_going = 0;
4683 delete_this_arg = 0;
4684 this_is_output_file = 0;
4685 this_is_library_file = 0;
4686 this_is_linker_script = 0;
4687 input_from_pipe = 0;
4688 break;
4690 case '|':
4691 end_going_arg ();
4693 /* Use pipe */
4694 obstack_1grow (&obstack, c);
4695 arg_going = 1;
4696 break;
4698 case '\t':
4699 case ' ':
4700 end_going_arg ();
4702 /* Reinitialize for a new argument. */
4703 delete_this_arg = 0;
4704 this_is_output_file = 0;
4705 this_is_library_file = 0;
4706 this_is_linker_script = 0;
4707 break;
4709 case '%':
4710 switch (c = *p++)
4712 case 0:
4713 fatal_error ("spec %qs invalid", spec);
4715 case 'b':
4716 if (save_temps_length)
4717 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4718 else
4719 obstack_grow (&obstack, input_basename, basename_length);
4720 if (compare_debug < 0)
4721 obstack_grow (&obstack, ".gk", 3);
4722 arg_going = 1;
4723 break;
4725 case 'B':
4726 if (save_temps_length)
4727 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4728 else
4729 obstack_grow (&obstack, input_basename, suffixed_basename_length);
4730 if (compare_debug < 0)
4731 obstack_grow (&obstack, ".gk", 3);
4732 arg_going = 1;
4733 break;
4735 case 'd':
4736 delete_this_arg = 2;
4737 break;
4739 /* Dump out the directories specified with LIBRARY_PATH,
4740 followed by the absolute directories
4741 that we search for startfiles. */
4742 case 'D':
4744 struct spec_path_info info;
4746 info.option = "-L";
4747 info.append_len = 0;
4748 #ifdef RELATIVE_PREFIX_NOT_LINKDIR
4749 /* Used on systems which record the specified -L dirs
4750 and use them to search for dynamic linking.
4751 Relative directories always come from -B,
4752 and it is better not to use them for searching
4753 at run time. In particular, stage1 loses. */
4754 info.omit_relative = true;
4755 #else
4756 info.omit_relative = false;
4757 #endif
4758 info.separate_options = false;
4760 for_each_path (&startfile_prefixes, true, 0, spec_path, &info);
4762 break;
4764 case 'e':
4765 /* %efoo means report an error with `foo' as error message
4766 and don't execute any more commands for this file. */
4768 const char *q = p;
4769 char *buf;
4770 while (*p != 0 && *p != '\n')
4771 p++;
4772 buf = (char *) alloca (p - q + 1);
4773 strncpy (buf, q, p - q);
4774 buf[p - q] = 0;
4775 error ("%s", _(buf));
4776 return -1;
4778 break;
4779 case 'n':
4780 /* %nfoo means report a notice with `foo' on stderr. */
4782 const char *q = p;
4783 char *buf;
4784 while (*p != 0 && *p != '\n')
4785 p++;
4786 buf = (char *) alloca (p - q + 1);
4787 strncpy (buf, q, p - q);
4788 buf[p - q] = 0;
4789 inform (0, "%s", _(buf));
4790 if (*p)
4791 p++;
4793 break;
4795 case 'j':
4797 struct stat st;
4799 /* If save_temps_flag is off, and the HOST_BIT_BUCKET is
4800 defined, and it is not a directory, and it is
4801 writable, use it. Otherwise, treat this like any
4802 other temporary file. */
4804 if ((!save_temps_flag)
4805 && (stat (HOST_BIT_BUCKET, &st) == 0) && (!S_ISDIR (st.st_mode))
4806 && (access (HOST_BIT_BUCKET, W_OK) == 0))
4808 obstack_grow (&obstack, HOST_BIT_BUCKET,
4809 strlen (HOST_BIT_BUCKET));
4810 delete_this_arg = 0;
4811 arg_going = 1;
4812 break;
4815 goto create_temp_file;
4816 case '|':
4817 if (use_pipes)
4819 obstack_1grow (&obstack, '-');
4820 delete_this_arg = 0;
4821 arg_going = 1;
4823 /* consume suffix */
4824 while (*p == '.' || ISALNUM ((unsigned char) *p))
4825 p++;
4826 if (p[0] == '%' && p[1] == 'O')
4827 p += 2;
4829 break;
4831 goto create_temp_file;
4832 case 'm':
4833 if (use_pipes)
4835 /* consume suffix */
4836 while (*p == '.' || ISALNUM ((unsigned char) *p))
4837 p++;
4838 if (p[0] == '%' && p[1] == 'O')
4839 p += 2;
4841 break;
4843 goto create_temp_file;
4844 case 'g':
4845 case 'u':
4846 case 'U':
4847 create_temp_file:
4849 struct temp_name *t;
4850 int suffix_length;
4851 const char *suffix = p;
4852 char *saved_suffix = NULL;
4854 while (*p == '.' || ISALNUM ((unsigned char) *p))
4855 p++;
4856 suffix_length = p - suffix;
4857 if (p[0] == '%' && p[1] == 'O')
4859 p += 2;
4860 /* We don't support extra suffix characters after %O. */
4861 if (*p == '.' || ISALNUM ((unsigned char) *p))
4862 fatal_error ("spec %qs has invalid %<%%0%c%>", spec, *p);
4863 if (suffix_length == 0)
4864 suffix = TARGET_OBJECT_SUFFIX;
4865 else
4867 saved_suffix
4868 = XNEWVEC (char, suffix_length
4869 + strlen (TARGET_OBJECT_SUFFIX));
4870 strncpy (saved_suffix, suffix, suffix_length);
4871 strcpy (saved_suffix + suffix_length,
4872 TARGET_OBJECT_SUFFIX);
4874 suffix_length += strlen (TARGET_OBJECT_SUFFIX);
4877 if (compare_debug < 0)
4879 suffix = concat (".gk", suffix, NULL);
4880 suffix_length += 3;
4883 /* If -save-temps=obj and -o were specified, use that for the
4884 temp file. */
4885 if (save_temps_length)
4887 char *tmp;
4888 temp_filename_length
4889 = save_temps_length + suffix_length + 1;
4890 tmp = (char *) alloca (temp_filename_length);
4891 memcpy (tmp, save_temps_prefix, save_temps_length);
4892 memcpy (tmp + save_temps_length, suffix, suffix_length);
4893 tmp[save_temps_length + suffix_length] = '\0';
4894 temp_filename = save_string (tmp, save_temps_length
4895 + suffix_length);
4896 obstack_grow (&obstack, temp_filename,
4897 temp_filename_length);
4898 arg_going = 1;
4899 delete_this_arg = 0;
4900 break;
4903 /* If the gcc_input_filename has the same suffix specified
4904 for the %g, %u, or %U, and -save-temps is specified,
4905 we could end up using that file as an intermediate
4906 thus clobbering the user's source file (.e.g.,
4907 gcc -save-temps foo.s would clobber foo.s with the
4908 output of cpp0). So check for this condition and
4909 generate a temp file as the intermediate. */
4911 if (save_temps_flag)
4913 char *tmp;
4914 temp_filename_length = basename_length + suffix_length + 1;
4915 tmp = (char *) alloca (temp_filename_length);
4916 memcpy (tmp, input_basename, basename_length);
4917 memcpy (tmp + basename_length, suffix, suffix_length);
4918 tmp[basename_length + suffix_length] = '\0';
4919 temp_filename = tmp;
4921 if (filename_cmp (temp_filename, gcc_input_filename) != 0)
4923 #ifndef HOST_LACKS_INODE_NUMBERS
4924 struct stat st_temp;
4926 /* Note, set_input() resets input_stat_set to 0. */
4927 if (input_stat_set == 0)
4929 input_stat_set = stat (gcc_input_filename,
4930 &input_stat);
4931 if (input_stat_set >= 0)
4932 input_stat_set = 1;
4935 /* If we have the stat for the gcc_input_filename
4936 and we can do the stat for the temp_filename
4937 then the they could still refer to the same
4938 file if st_dev/st_ino's are the same. */
4939 if (input_stat_set != 1
4940 || stat (temp_filename, &st_temp) < 0
4941 || input_stat.st_dev != st_temp.st_dev
4942 || input_stat.st_ino != st_temp.st_ino)
4943 #else
4944 /* Just compare canonical pathnames. */
4945 char* input_realname = lrealpath (gcc_input_filename);
4946 char* temp_realname = lrealpath (temp_filename);
4947 bool files_differ = filename_cmp (input_realname, temp_realname);
4948 free (input_realname);
4949 free (temp_realname);
4950 if (files_differ)
4951 #endif
4953 temp_filename = save_string (temp_filename,
4954 temp_filename_length + 1);
4955 obstack_grow (&obstack, temp_filename,
4956 temp_filename_length);
4957 arg_going = 1;
4958 delete_this_arg = 0;
4959 break;
4964 /* See if we already have an association of %g/%u/%U and
4965 suffix. */
4966 for (t = temp_names; t; t = t->next)
4967 if (t->length == suffix_length
4968 && strncmp (t->suffix, suffix, suffix_length) == 0
4969 && t->unique == (c == 'u' || c == 'U' || c == 'j'))
4970 break;
4972 /* Make a new association if needed. %u and %j
4973 require one. */
4974 if (t == 0 || c == 'u' || c == 'j')
4976 if (t == 0)
4978 t = XNEW (struct temp_name);
4979 t->next = temp_names;
4980 temp_names = t;
4982 t->length = suffix_length;
4983 if (saved_suffix)
4985 t->suffix = saved_suffix;
4986 saved_suffix = NULL;
4988 else
4989 t->suffix = save_string (suffix, suffix_length);
4990 t->unique = (c == 'u' || c == 'U' || c == 'j');
4991 temp_filename = make_temp_file (t->suffix);
4992 temp_filename_length = strlen (temp_filename);
4993 t->filename = temp_filename;
4994 t->filename_length = temp_filename_length;
4997 free (saved_suffix);
4999 obstack_grow (&obstack, t->filename, t->filename_length);
5000 delete_this_arg = 1;
5002 arg_going = 1;
5003 break;
5005 case 'i':
5006 if (combine_inputs)
5008 if (at_file_supplied)
5010 /* We are going to expand `%i' to `@FILE', where FILE
5011 is a newly-created temporary filename. The filenames
5012 that would usually be expanded in place of %o will be
5013 written to the temporary file. */
5014 char **argv;
5015 int n_files = 0;
5016 int j;
5018 for (i = 0; i < n_infiles; i++)
5019 if (compile_input_file_p (&infiles[i]))
5020 n_files++;
5022 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
5024 /* Copy the strings over. */
5025 for (i = 0, j = 0; i < n_infiles; i++)
5026 if (compile_input_file_p (&infiles[i]))
5028 argv[j] = CONST_CAST (char *, infiles[i].name);
5029 infiles[i].compiled = true;
5030 j++;
5032 argv[j] = NULL;
5034 create_at_file (argv);
5036 else
5037 for (i = 0; (int) i < n_infiles; i++)
5038 if (compile_input_file_p (&infiles[i]))
5040 store_arg (infiles[i].name, 0, 0);
5041 infiles[i].compiled = true;
5044 else
5046 obstack_grow (&obstack, gcc_input_filename,
5047 input_filename_length);
5048 arg_going = 1;
5050 break;
5052 case 'I':
5054 struct spec_path_info info;
5056 if (multilib_dir)
5058 do_spec_1 ("-imultilib", 1, NULL);
5059 /* Make this a separate argument. */
5060 do_spec_1 (" ", 0, NULL);
5061 do_spec_1 (multilib_dir, 1, NULL);
5062 do_spec_1 (" ", 0, NULL);
5065 if (multiarch_dir)
5067 do_spec_1 ("-imultiarch", 1, NULL);
5068 /* Make this a separate argument. */
5069 do_spec_1 (" ", 0, NULL);
5070 do_spec_1 (multiarch_dir, 1, NULL);
5071 do_spec_1 (" ", 0, NULL);
5074 if (gcc_exec_prefix)
5076 do_spec_1 ("-iprefix", 1, NULL);
5077 /* Make this a separate argument. */
5078 do_spec_1 (" ", 0, NULL);
5079 do_spec_1 (gcc_exec_prefix, 1, NULL);
5080 do_spec_1 (" ", 0, NULL);
5083 if (target_system_root_changed ||
5084 (target_system_root && target_sysroot_hdrs_suffix))
5086 do_spec_1 ("-isysroot", 1, NULL);
5087 /* Make this a separate argument. */
5088 do_spec_1 (" ", 0, NULL);
5089 do_spec_1 (target_system_root, 1, NULL);
5090 if (target_sysroot_hdrs_suffix)
5091 do_spec_1 (target_sysroot_hdrs_suffix, 1, NULL);
5092 do_spec_1 (" ", 0, NULL);
5095 info.option = "-isystem";
5096 info.append = "include";
5097 info.append_len = strlen (info.append);
5098 info.omit_relative = false;
5099 info.separate_options = true;
5101 for_each_path (&include_prefixes, false, info.append_len,
5102 spec_path, &info);
5104 info.append = "include-fixed";
5105 if (*sysroot_hdrs_suffix_spec)
5106 info.append = concat (info.append, dir_separator_str,
5107 multilib_dir, NULL);
5108 info.append_len = strlen (info.append);
5109 for_each_path (&include_prefixes, false, info.append_len,
5110 spec_path, &info);
5112 break;
5114 case 'o':
5116 int max = n_infiles;
5117 max += lang_specific_extra_outfiles;
5119 if (HAVE_GNU_LD && at_file_supplied)
5121 /* We are going to expand `%o' to `@FILE', where FILE
5122 is a newly-created temporary filename. The filenames
5123 that would usually be expanded in place of %o will be
5124 written to the temporary file. */
5126 char **argv;
5127 int n_files, j;
5129 /* Convert OUTFILES into a form suitable for writeargv. */
5131 /* Determine how many are non-NULL. */
5132 for (n_files = 0, i = 0; i < max; i++)
5133 n_files += outfiles[i] != NULL;
5135 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
5137 /* Copy the strings over. */
5138 for (i = 0, j = 0; i < max; i++)
5139 if (outfiles[i])
5141 argv[j] = CONST_CAST (char *, outfiles[i]);
5142 j++;
5144 argv[j] = NULL;
5146 create_at_file (argv);
5148 else
5149 for (i = 0; i < max; i++)
5150 if (outfiles[i])
5151 store_arg (outfiles[i], 0, 0);
5152 break;
5155 case 'O':
5156 obstack_grow (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
5157 arg_going = 1;
5158 break;
5160 case 's':
5161 this_is_library_file = 1;
5162 break;
5164 case 'T':
5165 this_is_linker_script = 1;
5166 break;
5168 case 'V':
5169 outfiles[input_file_number] = NULL;
5170 break;
5172 case 'w':
5173 this_is_output_file = 1;
5174 break;
5176 case 'W':
5178 unsigned int cur_index = argbuf.length ();
5179 /* Handle the {...} following the %W. */
5180 if (*p != '{')
5181 fatal_error ("spec %qs has invalid %<%%W%c%>", spec, *p);
5182 p = handle_braces (p + 1);
5183 if (p == 0)
5184 return -1;
5185 end_going_arg ();
5186 /* If any args were output, mark the last one for deletion
5187 on failure. */
5188 if (argbuf.length () != cur_index)
5189 record_temp_file (argbuf.last (), 0, 1);
5190 break;
5193 /* %x{OPTION} records OPTION for %X to output. */
5194 case 'x':
5196 const char *p1 = p;
5197 char *string;
5198 char *opt;
5199 unsigned ix;
5201 /* Skip past the option value and make a copy. */
5202 if (*p != '{')
5203 fatal_error ("spec %qs has invalid %<%%x%c%>", spec, *p);
5204 while (*p++ != '}')
5206 string = save_string (p1 + 1, p - p1 - 2);
5208 /* See if we already recorded this option. */
5209 FOR_EACH_VEC_ELT (linker_options, ix, opt)
5210 if (! strcmp (string, opt))
5212 free (string);
5213 return 0;
5216 /* This option is new; add it. */
5217 add_linker_option (string, strlen (string));
5218 free (string);
5220 break;
5222 /* Dump out the options accumulated previously using %x. */
5223 case 'X':
5224 do_specs_vec (linker_options);
5225 break;
5227 /* Dump out the options accumulated previously using -Wa,. */
5228 case 'Y':
5229 do_specs_vec (assembler_options);
5230 break;
5232 /* Dump out the options accumulated previously using -Wp,. */
5233 case 'Z':
5234 do_specs_vec (preprocessor_options);
5235 break;
5237 /* Here are digits and numbers that just process
5238 a certain constant string as a spec. */
5240 case '1':
5241 value = do_spec_1 (cc1_spec, 0, NULL);
5242 if (value != 0)
5243 return value;
5244 break;
5246 case '2':
5247 value = do_spec_1 (cc1plus_spec, 0, NULL);
5248 if (value != 0)
5249 return value;
5250 break;
5252 case 'a':
5253 value = do_spec_1 (asm_spec, 0, NULL);
5254 if (value != 0)
5255 return value;
5256 break;
5258 case 'A':
5259 value = do_spec_1 (asm_final_spec, 0, NULL);
5260 if (value != 0)
5261 return value;
5262 break;
5264 case 'C':
5266 const char *const spec
5267 = (input_file_compiler->cpp_spec
5268 ? input_file_compiler->cpp_spec
5269 : cpp_spec);
5270 value = do_spec_1 (spec, 0, NULL);
5271 if (value != 0)
5272 return value;
5274 break;
5276 case 'E':
5277 value = do_spec_1 (endfile_spec, 0, NULL);
5278 if (value != 0)
5279 return value;
5280 break;
5282 case 'l':
5283 value = do_spec_1 (link_spec, 0, NULL);
5284 if (value != 0)
5285 return value;
5286 break;
5288 case 'L':
5289 value = do_spec_1 (lib_spec, 0, NULL);
5290 if (value != 0)
5291 return value;
5292 break;
5294 case 'M':
5295 if (multilib_os_dir == NULL)
5296 obstack_1grow (&obstack, '.');
5297 else
5298 obstack_grow (&obstack, multilib_os_dir,
5299 strlen (multilib_os_dir));
5300 break;
5302 case 'G':
5303 value = do_spec_1 (libgcc_spec, 0, NULL);
5304 if (value != 0)
5305 return value;
5306 break;
5308 case 'R':
5309 /* We assume there is a directory
5310 separator at the end of this string. */
5311 if (target_system_root)
5313 obstack_grow (&obstack, target_system_root,
5314 strlen (target_system_root));
5315 if (target_sysroot_suffix)
5316 obstack_grow (&obstack, target_sysroot_suffix,
5317 strlen (target_sysroot_suffix));
5319 break;
5321 case 'S':
5322 value = do_spec_1 (startfile_spec, 0, NULL);
5323 if (value != 0)
5324 return value;
5325 break;
5327 /* Here we define characters other than letters and digits. */
5329 case '{':
5330 p = handle_braces (p);
5331 if (p == 0)
5332 return -1;
5333 break;
5335 case ':':
5336 p = handle_spec_function (p, NULL);
5337 if (p == 0)
5338 return -1;
5339 break;
5341 case '%':
5342 obstack_1grow (&obstack, '%');
5343 break;
5345 case '.':
5347 unsigned len = 0;
5349 while (p[len] && p[len] != ' ' && p[len] != '%')
5350 len++;
5351 suffix_subst = save_string (p - 1, len + 1);
5352 p += len;
5354 break;
5356 /* Henceforth ignore the option(s) matching the pattern
5357 after the %<. */
5358 case '<':
5359 case '>':
5361 unsigned len = 0;
5362 int have_wildcard = 0;
5363 int i;
5364 int switch_option;
5366 if (c == '>')
5367 switch_option = SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC;
5368 else
5369 switch_option = SWITCH_IGNORE;
5371 while (p[len] && p[len] != ' ' && p[len] != '\t')
5372 len++;
5374 if (p[len-1] == '*')
5375 have_wildcard = 1;
5377 for (i = 0; i < n_switches; i++)
5378 if (!strncmp (switches[i].part1, p, len - have_wildcard)
5379 && (have_wildcard || switches[i].part1[len] == '\0'))
5381 switches[i].live_cond |= switch_option;
5382 /* User switch be validated from validate_all_switches.
5383 when the definition is seen from the spec file.
5384 If not defined anywhere, will be rejected. */
5385 if (switches[i].known)
5386 switches[i].validated = true;
5389 p += len;
5391 break;
5393 case '*':
5394 if (soft_matched_part)
5396 if (soft_matched_part[0])
5397 do_spec_1 (soft_matched_part, 1, NULL);
5398 /* Only insert a space after the substitution if it is at the
5399 end of the current sequence. So if:
5401 "%{foo=*:bar%*}%{foo=*:one%*two}"
5403 matches -foo=hello then it will produce:
5405 barhello onehellotwo
5407 if (*p == 0 || *p == '}')
5408 do_spec_1 (" ", 0, NULL);
5410 else
5411 /* Catch the case where a spec string contains something like
5412 '%{foo:%*}'. i.e. there is no * in the pattern on the left
5413 hand side of the :. */
5414 error ("spec failure: %<%%*%> has not been initialized by pattern match");
5415 break;
5417 /* Process a string found as the value of a spec given by name.
5418 This feature allows individual machine descriptions
5419 to add and use their own specs. */
5420 case '(':
5422 const char *name = p;
5423 struct spec_list *sl;
5424 int len;
5426 /* The string after the S/P is the name of a spec that is to be
5427 processed. */
5428 while (*p && *p != ')')
5429 p++;
5431 /* See if it's in the list. */
5432 for (len = p - name, sl = specs; sl; sl = sl->next)
5433 if (sl->name_len == len && !strncmp (sl->name, name, len))
5435 name = *(sl->ptr_spec);
5436 #ifdef DEBUG_SPECS
5437 fnotice (stderr, "Processing spec (%s), which is '%s'\n",
5438 sl->name, name);
5439 #endif
5440 break;
5443 if (sl)
5445 value = do_spec_1 (name, 0, NULL);
5446 if (value != 0)
5447 return value;
5450 /* Discard the closing paren. */
5451 if (*p)
5452 p++;
5454 break;
5456 default:
5457 error ("spec failure: unrecognized spec option %qc", c);
5458 break;
5460 break;
5462 case '\\':
5463 /* Backslash: treat next character as ordinary. */
5464 c = *p++;
5466 /* Fall through. */
5467 default:
5468 /* Ordinary character: put it into the current argument. */
5469 obstack_1grow (&obstack, c);
5470 arg_going = 1;
5473 /* End of string. If we are processing a spec function, we need to
5474 end any pending argument. */
5475 if (processing_spec_function)
5476 end_going_arg ();
5478 return 0;
5481 /* Look up a spec function. */
5483 static const struct spec_function *
5484 lookup_spec_function (const char *name)
5486 const struct spec_function *sf;
5488 for (sf = static_spec_functions; sf->name != NULL; sf++)
5489 if (strcmp (sf->name, name) == 0)
5490 return sf;
5492 return NULL;
5495 /* Evaluate a spec function. */
5497 static const char *
5498 eval_spec_function (const char *func, const char *args)
5500 const struct spec_function *sf;
5501 const char *funcval;
5503 /* Saved spec processing context. */
5504 vec<const_char_p> save_argbuf;
5506 int save_arg_going;
5507 int save_delete_this_arg;
5508 int save_this_is_output_file;
5509 int save_this_is_library_file;
5510 int save_input_from_pipe;
5511 int save_this_is_linker_script;
5512 const char *save_suffix_subst;
5514 int save_growing_size;
5515 void *save_growing_value = NULL;
5517 sf = lookup_spec_function (func);
5518 if (sf == NULL)
5519 fatal_error ("unknown spec function %qs", func);
5521 /* Push the spec processing context. */
5522 save_argbuf = argbuf;
5524 save_arg_going = arg_going;
5525 save_delete_this_arg = delete_this_arg;
5526 save_this_is_output_file = this_is_output_file;
5527 save_this_is_library_file = this_is_library_file;
5528 save_this_is_linker_script = this_is_linker_script;
5529 save_input_from_pipe = input_from_pipe;
5530 save_suffix_subst = suffix_subst;
5532 /* If we have some object growing now, finalize it so the args and function
5533 eval proceed from a cleared context. This is needed to prevent the first
5534 constructed arg from mistakenly including the growing value. We'll push
5535 this value back on the obstack once the function evaluation is done, to
5536 restore a consistent processing context for our caller. This is fine as
5537 the address of growing objects isn't guaranteed to remain stable until
5538 they are finalized, and we expect this situation to be rare enough for
5539 the extra copy not to be an issue. */
5540 save_growing_size = obstack_object_size (&obstack);
5541 if (save_growing_size > 0)
5542 save_growing_value = obstack_finish (&obstack);
5544 /* Create a new spec processing context, and build the function
5545 arguments. */
5547 alloc_args ();
5548 if (do_spec_2 (args) < 0)
5549 fatal_error ("error in args to spec function %qs", func);
5551 /* argbuf_index is an index for the next argument to be inserted, and
5552 so contains the count of the args already inserted. */
5554 funcval = (*sf->func) (argbuf.length (),
5555 argbuf.address ());
5557 /* Pop the spec processing context. */
5558 argbuf.release ();
5559 argbuf = save_argbuf;
5561 arg_going = save_arg_going;
5562 delete_this_arg = save_delete_this_arg;
5563 this_is_output_file = save_this_is_output_file;
5564 this_is_library_file = save_this_is_library_file;
5565 this_is_linker_script = save_this_is_linker_script;
5566 input_from_pipe = save_input_from_pipe;
5567 suffix_subst = save_suffix_subst;
5569 if (save_growing_size > 0)
5570 obstack_grow (&obstack, save_growing_value, save_growing_size);
5572 return funcval;
5575 /* Handle a spec function call of the form:
5577 %:function(args)
5579 ARGS is processed as a spec in a separate context and split into an
5580 argument vector in the normal fashion. The function returns a string
5581 containing a spec which we then process in the caller's context, or
5582 NULL if no processing is required.
5584 If RETVAL_NONNULL is not NULL, then store a bool whether function
5585 returned non-NULL. */
5587 static const char *
5588 handle_spec_function (const char *p, bool *retval_nonnull)
5590 char *func, *args;
5591 const char *endp, *funcval;
5592 int count;
5594 processing_spec_function++;
5596 /* Get the function name. */
5597 for (endp = p; *endp != '\0'; endp++)
5599 if (*endp == '(') /* ) */
5600 break;
5601 /* Only allow [A-Za-z0-9], -, and _ in function names. */
5602 if (!ISALNUM (*endp) && !(*endp == '-' || *endp == '_'))
5603 fatal_error ("malformed spec function name");
5605 if (*endp != '(') /* ) */
5606 fatal_error ("no arguments for spec function");
5607 func = save_string (p, endp - p);
5608 p = ++endp;
5610 /* Get the arguments. */
5611 for (count = 0; *endp != '\0'; endp++)
5613 /* ( */
5614 if (*endp == ')')
5616 if (count == 0)
5617 break;
5618 count--;
5620 else if (*endp == '(') /* ) */
5621 count++;
5623 /* ( */
5624 if (*endp != ')')
5625 fatal_error ("malformed spec function arguments");
5626 args = save_string (p, endp - p);
5627 p = ++endp;
5629 /* p now points to just past the end of the spec function expression. */
5631 funcval = eval_spec_function (func, args);
5632 if (funcval != NULL && do_spec_1 (funcval, 0, NULL) < 0)
5633 p = NULL;
5634 if (retval_nonnull)
5635 *retval_nonnull = funcval != NULL;
5637 free (func);
5638 free (args);
5640 processing_spec_function--;
5642 return p;
5645 /* Inline subroutine of handle_braces. Returns true if the current
5646 input suffix matches the atom bracketed by ATOM and END_ATOM. */
5647 static inline bool
5648 input_suffix_matches (const char *atom, const char *end_atom)
5650 return (input_suffix
5651 && !strncmp (input_suffix, atom, end_atom - atom)
5652 && input_suffix[end_atom - atom] == '\0');
5655 /* Subroutine of handle_braces. Returns true if the current
5656 input file's spec name matches the atom bracketed by ATOM and END_ATOM. */
5657 static bool
5658 input_spec_matches (const char *atom, const char *end_atom)
5660 return (input_file_compiler
5661 && input_file_compiler->suffix
5662 && input_file_compiler->suffix[0] != '\0'
5663 && !strncmp (input_file_compiler->suffix + 1, atom,
5664 end_atom - atom)
5665 && input_file_compiler->suffix[end_atom - atom + 1] == '\0');
5668 /* Subroutine of handle_braces. Returns true if a switch
5669 matching the atom bracketed by ATOM and END_ATOM appeared on the
5670 command line. */
5671 static bool
5672 switch_matches (const char *atom, const char *end_atom, int starred)
5674 int i;
5675 int len = end_atom - atom;
5676 int plen = starred ? len : -1;
5678 for (i = 0; i < n_switches; i++)
5679 if (!strncmp (switches[i].part1, atom, len)
5680 && (starred || switches[i].part1[len] == '\0')
5681 && check_live_switch (i, plen))
5682 return true;
5684 /* Check if a switch with separated form matching the atom.
5685 We check -D and -U switches. */
5686 else if (switches[i].args != 0)
5688 if ((*switches[i].part1 == 'D' || *switches[i].part1 == 'U')
5689 && *switches[i].part1 == atom[0])
5691 if (!strncmp (switches[i].args[0], &atom[1], len - 1)
5692 && (starred || (switches[i].part1[1] == '\0'
5693 && switches[i].args[0][len - 1] == '\0'))
5694 && check_live_switch (i, (starred ? 1 : -1)))
5695 return true;
5699 return false;
5702 /* Inline subroutine of handle_braces. Mark all of the switches which
5703 match ATOM (extends to END_ATOM; STARRED indicates whether there
5704 was a star after the atom) for later processing. */
5705 static inline void
5706 mark_matching_switches (const char *atom, const char *end_atom, int starred)
5708 int i;
5709 int len = end_atom - atom;
5710 int plen = starred ? len : -1;
5712 for (i = 0; i < n_switches; i++)
5713 if (!strncmp (switches[i].part1, atom, len)
5714 && (starred || switches[i].part1[len] == '\0')
5715 && check_live_switch (i, plen))
5716 switches[i].ordering = 1;
5719 /* Inline subroutine of handle_braces. Process all the currently
5720 marked switches through give_switch, and clear the marks. */
5721 static inline void
5722 process_marked_switches (void)
5724 int i;
5726 for (i = 0; i < n_switches; i++)
5727 if (switches[i].ordering == 1)
5729 switches[i].ordering = 0;
5730 give_switch (i, 0);
5734 /* Handle a %{ ... } construct. P points just inside the leading {.
5735 Returns a pointer one past the end of the brace block, or 0
5736 if we call do_spec_1 and that returns -1. */
5738 static const char *
5739 handle_braces (const char *p)
5741 const char *atom, *end_atom;
5742 const char *d_atom = NULL, *d_end_atom = NULL;
5743 const char *orig = p;
5745 bool a_is_suffix;
5746 bool a_is_spectype;
5747 bool a_is_starred;
5748 bool a_is_negated;
5749 bool a_matched;
5751 bool a_must_be_last = false;
5752 bool ordered_set = false;
5753 bool disjunct_set = false;
5754 bool disj_matched = false;
5755 bool disj_starred = true;
5756 bool n_way_choice = false;
5757 bool n_way_matched = false;
5759 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
5763 if (a_must_be_last)
5764 goto invalid;
5766 /* Scan one "atom" (S in the description above of %{}, possibly
5767 with '!', '.', '@', ',', or '*' modifiers). */
5768 a_matched = false;
5769 a_is_suffix = false;
5770 a_is_starred = false;
5771 a_is_negated = false;
5772 a_is_spectype = false;
5774 SKIP_WHITE ();
5775 if (*p == '!')
5776 p++, a_is_negated = true;
5778 SKIP_WHITE ();
5779 if (*p == '%' && p[1] == ':')
5781 atom = NULL;
5782 end_atom = NULL;
5783 p = handle_spec_function (p + 2, &a_matched);
5785 else
5787 if (*p == '.')
5788 p++, a_is_suffix = true;
5789 else if (*p == ',')
5790 p++, a_is_spectype = true;
5792 atom = p;
5793 while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
5794 || *p == ',' || *p == '.' || *p == '@')
5795 p++;
5796 end_atom = p;
5798 if (*p == '*')
5799 p++, a_is_starred = 1;
5802 SKIP_WHITE ();
5803 switch (*p)
5805 case '&': case '}':
5806 /* Substitute the switch(es) indicated by the current atom. */
5807 ordered_set = true;
5808 if (disjunct_set || n_way_choice || a_is_negated || a_is_suffix
5809 || a_is_spectype || atom == end_atom)
5810 goto invalid;
5812 mark_matching_switches (atom, end_atom, a_is_starred);
5814 if (*p == '}')
5815 process_marked_switches ();
5816 break;
5818 case '|': case ':':
5819 /* Substitute some text if the current atom appears as a switch
5820 or suffix. */
5821 disjunct_set = true;
5822 if (ordered_set)
5823 goto invalid;
5825 if (atom && atom == end_atom)
5827 if (!n_way_choice || disj_matched || *p == '|'
5828 || a_is_negated || a_is_suffix || a_is_spectype
5829 || a_is_starred)
5830 goto invalid;
5832 /* An empty term may appear as the last choice of an
5833 N-way choice set; it means "otherwise". */
5834 a_must_be_last = true;
5835 disj_matched = !n_way_matched;
5836 disj_starred = false;
5838 else
5840 if ((a_is_suffix || a_is_spectype) && a_is_starred)
5841 goto invalid;
5843 if (!a_is_starred)
5844 disj_starred = false;
5846 /* Don't bother testing this atom if we already have a
5847 match. */
5848 if (!disj_matched && !n_way_matched)
5850 if (atom == NULL)
5851 /* a_matched is already set by handle_spec_function. */;
5852 else if (a_is_suffix)
5853 a_matched = input_suffix_matches (atom, end_atom);
5854 else if (a_is_spectype)
5855 a_matched = input_spec_matches (atom, end_atom);
5856 else
5857 a_matched = switch_matches (atom, end_atom, a_is_starred);
5859 if (a_matched != a_is_negated)
5861 disj_matched = true;
5862 d_atom = atom;
5863 d_end_atom = end_atom;
5868 if (*p == ':')
5870 /* Found the body, that is, the text to substitute if the
5871 current disjunction matches. */
5872 p = process_brace_body (p + 1, d_atom, d_end_atom, disj_starred,
5873 disj_matched && !n_way_matched);
5874 if (p == 0)
5875 return 0;
5877 /* If we have an N-way choice, reset state for the next
5878 disjunction. */
5879 if (*p == ';')
5881 n_way_choice = true;
5882 n_way_matched |= disj_matched;
5883 disj_matched = false;
5884 disj_starred = true;
5885 d_atom = d_end_atom = NULL;
5888 break;
5890 default:
5891 goto invalid;
5894 while (*p++ != '}');
5896 return p;
5898 invalid:
5899 fatal_error ("braced spec %qs is invalid at %qc", orig, *p);
5901 #undef SKIP_WHITE
5904 /* Subroutine of handle_braces. Scan and process a brace substitution body
5905 (X in the description of %{} syntax). P points one past the colon;
5906 ATOM and END_ATOM bracket the first atom which was found to be true
5907 (present) in the current disjunction; STARRED indicates whether all
5908 the atoms in the current disjunction were starred (for syntax validation);
5909 MATCHED indicates whether the disjunction matched or not, and therefore
5910 whether or not the body is to be processed through do_spec_1 or just
5911 skipped. Returns a pointer to the closing } or ;, or 0 if do_spec_1
5912 returns -1. */
5914 static const char *
5915 process_brace_body (const char *p, const char *atom, const char *end_atom,
5916 int starred, int matched)
5918 const char *body, *end_body;
5919 unsigned int nesting_level;
5920 bool have_subst = false;
5922 /* Locate the closing } or ;, honoring nested braces.
5923 Trim trailing whitespace. */
5924 body = p;
5925 nesting_level = 1;
5926 for (;;)
5928 if (*p == '{')
5929 nesting_level++;
5930 else if (*p == '}')
5932 if (!--nesting_level)
5933 break;
5935 else if (*p == ';' && nesting_level == 1)
5936 break;
5937 else if (*p == '%' && p[1] == '*' && nesting_level == 1)
5938 have_subst = true;
5939 else if (*p == '\0')
5940 goto invalid;
5941 p++;
5944 end_body = p;
5945 while (end_body[-1] == ' ' || end_body[-1] == '\t')
5946 end_body--;
5948 if (have_subst && !starred)
5949 goto invalid;
5951 if (matched)
5953 /* Copy the substitution body to permanent storage and execute it.
5954 If have_subst is false, this is a simple matter of running the
5955 body through do_spec_1... */
5956 char *string = save_string (body, end_body - body);
5957 if (!have_subst)
5959 if (do_spec_1 (string, 0, NULL) < 0)
5960 return 0;
5962 else
5964 /* ... but if have_subst is true, we have to process the
5965 body once for each matching switch, with %* set to the
5966 variant part of the switch. */
5967 unsigned int hard_match_len = end_atom - atom;
5968 int i;
5970 for (i = 0; i < n_switches; i++)
5971 if (!strncmp (switches[i].part1, atom, hard_match_len)
5972 && check_live_switch (i, hard_match_len))
5974 if (do_spec_1 (string, 0,
5975 &switches[i].part1[hard_match_len]) < 0)
5976 return 0;
5977 /* Pass any arguments this switch has. */
5978 give_switch (i, 1);
5979 suffix_subst = NULL;
5984 return p;
5986 invalid:
5987 fatal_error ("braced spec body %qs is invalid", body);
5990 /* Return 0 iff switch number SWITCHNUM is obsoleted by a later switch
5991 on the command line. PREFIX_LENGTH is the length of XXX in an {XXX*}
5992 spec, or -1 if either exact match or %* is used.
5994 A -O switch is obsoleted by a later -O switch. A -f, -g, -m, or -W switch
5995 whose value does not begin with "no-" is obsoleted by the same value
5996 with the "no-", similarly for a switch with the "no-" prefix. */
5998 static int
5999 check_live_switch (int switchnum, int prefix_length)
6001 const char *name = switches[switchnum].part1;
6002 int i;
6004 /* If we already processed this switch and determined if it was
6005 live or not, return our past determination. */
6006 if (switches[switchnum].live_cond != 0)
6007 return ((switches[switchnum].live_cond & SWITCH_LIVE) != 0
6008 && (switches[switchnum].live_cond & SWITCH_FALSE) == 0
6009 && (switches[switchnum].live_cond & SWITCH_IGNORE_PERMANENTLY)
6010 == 0);
6012 /* In the common case of {<at-most-one-letter>*}, a negating
6013 switch would always match, so ignore that case. We will just
6014 send the conflicting switches to the compiler phase. */
6015 if (prefix_length >= 0 && prefix_length <= 1)
6016 return 1;
6018 /* Now search for duplicate in a manner that depends on the name. */
6019 switch (*name)
6021 case 'O':
6022 for (i = switchnum + 1; i < n_switches; i++)
6023 if (switches[i].part1[0] == 'O')
6025 switches[switchnum].validated = true;
6026 switches[switchnum].live_cond = SWITCH_FALSE;
6027 return 0;
6029 break;
6031 case 'W': case 'f': case 'm': case 'g':
6032 if (! strncmp (name + 1, "no-", 3))
6034 /* We have Xno-YYY, search for XYYY. */
6035 for (i = switchnum + 1; i < n_switches; i++)
6036 if (switches[i].part1[0] == name[0]
6037 && ! strcmp (&switches[i].part1[1], &name[4]))
6039 /* --specs are validated with the validate_switches mechanism. */
6040 if (switches[switchnum].known)
6041 switches[switchnum].validated = true;
6042 switches[switchnum].live_cond = SWITCH_FALSE;
6043 return 0;
6046 else
6048 /* We have XYYY, search for Xno-YYY. */
6049 for (i = switchnum + 1; i < n_switches; i++)
6050 if (switches[i].part1[0] == name[0]
6051 && switches[i].part1[1] == 'n'
6052 && switches[i].part1[2] == 'o'
6053 && switches[i].part1[3] == '-'
6054 && !strcmp (&switches[i].part1[4], &name[1]))
6056 /* --specs are validated with the validate_switches mechanism. */
6057 if (switches[switchnum].known)
6058 switches[switchnum].validated = true;
6059 switches[switchnum].live_cond = SWITCH_FALSE;
6060 return 0;
6063 break;
6066 /* Otherwise the switch is live. */
6067 switches[switchnum].live_cond |= SWITCH_LIVE;
6068 return 1;
6071 /* Pass a switch to the current accumulating command
6072 in the same form that we received it.
6073 SWITCHNUM identifies the switch; it is an index into
6074 the vector of switches gcc received, which is `switches'.
6075 This cannot fail since it never finishes a command line.
6077 If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument. */
6079 static void
6080 give_switch (int switchnum, int omit_first_word)
6082 if ((switches[switchnum].live_cond & SWITCH_IGNORE) != 0)
6083 return;
6085 if (!omit_first_word)
6087 do_spec_1 ("-", 0, NULL);
6088 do_spec_1 (switches[switchnum].part1, 1, NULL);
6091 if (switches[switchnum].args != 0)
6093 const char **p;
6094 for (p = switches[switchnum].args; *p; p++)
6096 const char *arg = *p;
6098 do_spec_1 (" ", 0, NULL);
6099 if (suffix_subst)
6101 unsigned length = strlen (arg);
6102 int dot = 0;
6104 while (length-- && !IS_DIR_SEPARATOR (arg[length]))
6105 if (arg[length] == '.')
6107 (CONST_CAST (char *, arg))[length] = 0;
6108 dot = 1;
6109 break;
6111 do_spec_1 (arg, 1, NULL);
6112 if (dot)
6113 (CONST_CAST (char *, arg))[length] = '.';
6114 do_spec_1 (suffix_subst, 1, NULL);
6116 else
6117 do_spec_1 (arg, 1, NULL);
6121 do_spec_1 (" ", 0, NULL);
6122 switches[switchnum].validated = true;
6125 /* Search for a file named NAME trying various prefixes including the
6126 user's -B prefix and some standard ones.
6127 Return the absolute file name found. If nothing is found, return NAME. */
6129 static const char *
6130 find_file (const char *name)
6132 char *newname = find_a_file (&startfile_prefixes, name, R_OK, true);
6133 return newname ? newname : name;
6136 /* Determine whether a directory exists. If LINKER, return 0 for
6137 certain fixed names not needed by the linker. */
6139 static int
6140 is_directory (const char *path1, bool linker)
6142 int len1;
6143 char *path;
6144 char *cp;
6145 struct stat st;
6147 /* Ensure the string ends with "/.". The resulting path will be a
6148 directory even if the given path is a symbolic link. */
6149 len1 = strlen (path1);
6150 path = (char *) alloca (3 + len1);
6151 memcpy (path, path1, len1);
6152 cp = path + len1;
6153 if (!IS_DIR_SEPARATOR (cp[-1]))
6154 *cp++ = DIR_SEPARATOR;
6155 *cp++ = '.';
6156 *cp = '\0';
6158 /* Exclude directories that the linker is known to search. */
6159 if (linker
6160 && IS_DIR_SEPARATOR (path[0])
6161 && ((cp - path == 6
6162 && filename_ncmp (path + 1, "lib", 3) == 0)
6163 || (cp - path == 10
6164 && filename_ncmp (path + 1, "usr", 3) == 0
6165 && IS_DIR_SEPARATOR (path[4])
6166 && filename_ncmp (path + 5, "lib", 3) == 0)))
6167 return 0;
6169 return (stat (path, &st) >= 0 && S_ISDIR (st.st_mode));
6172 /* Set up the various global variables to indicate that we're processing
6173 the input file named FILENAME. */
6175 void
6176 set_input (const char *filename)
6178 const char *p;
6180 gcc_input_filename = filename;
6181 input_filename_length = strlen (gcc_input_filename);
6182 input_basename = lbasename (gcc_input_filename);
6184 /* Find a suffix starting with the last period,
6185 and set basename_length to exclude that suffix. */
6186 basename_length = strlen (input_basename);
6187 suffixed_basename_length = basename_length;
6188 p = input_basename + basename_length;
6189 while (p != input_basename && *p != '.')
6190 --p;
6191 if (*p == '.' && p != input_basename)
6193 basename_length = p - input_basename;
6194 input_suffix = p + 1;
6196 else
6197 input_suffix = "";
6199 /* If a spec for 'g', 'u', or 'U' is seen with -save-temps then
6200 we will need to do a stat on the gcc_input_filename. The
6201 INPUT_STAT_SET signals that the stat is needed. */
6202 input_stat_set = 0;
6205 /* On fatal signals, delete all the temporary files. */
6207 static void
6208 fatal_signal (int signum)
6210 signal (signum, SIG_DFL);
6211 delete_failure_queue ();
6212 delete_temp_files ();
6213 /* Get the same signal again, this time not handled,
6214 so its normal effect occurs. */
6215 kill (getpid (), signum);
6218 /* Compare the contents of the two files named CMPFILE[0] and
6219 CMPFILE[1]. Return zero if they're identical, nonzero
6220 otherwise. */
6222 static int
6223 compare_files (char *cmpfile[])
6225 int ret = 0;
6226 FILE *temp[2] = { NULL, NULL };
6227 int i;
6229 #if HAVE_MMAP_FILE
6231 size_t length[2];
6232 void *map[2] = { NULL, NULL };
6234 for (i = 0; i < 2; i++)
6236 struct stat st;
6238 if (stat (cmpfile[i], &st) < 0 || !S_ISREG (st.st_mode))
6240 error ("%s: could not determine length of compare-debug file %s",
6241 gcc_input_filename, cmpfile[i]);
6242 ret = 1;
6243 break;
6246 length[i] = st.st_size;
6249 if (!ret && length[0] != length[1])
6251 error ("%s: -fcompare-debug failure (length)", gcc_input_filename);
6252 ret = 1;
6255 if (!ret)
6256 for (i = 0; i < 2; i++)
6258 int fd = open (cmpfile[i], O_RDONLY);
6259 if (fd < 0)
6261 error ("%s: could not open compare-debug file %s",
6262 gcc_input_filename, cmpfile[i]);
6263 ret = 1;
6264 break;
6267 map[i] = mmap (NULL, length[i], PROT_READ, MAP_PRIVATE, fd, 0);
6268 close (fd);
6270 if (map[i] == (void *) MAP_FAILED)
6272 ret = -1;
6273 break;
6277 if (!ret)
6279 if (memcmp (map[0], map[1], length[0]) != 0)
6281 error ("%s: -fcompare-debug failure", gcc_input_filename);
6282 ret = 1;
6286 for (i = 0; i < 2; i++)
6287 if (map[i])
6288 munmap ((caddr_t) map[i], length[i]);
6290 if (ret >= 0)
6291 return ret;
6293 ret = 0;
6295 #endif
6297 for (i = 0; i < 2; i++)
6299 temp[i] = fopen (cmpfile[i], "r");
6300 if (!temp[i])
6302 error ("%s: could not open compare-debug file %s",
6303 gcc_input_filename, cmpfile[i]);
6304 ret = 1;
6305 break;
6309 if (!ret && temp[0] && temp[1])
6310 for (;;)
6312 int c0, c1;
6313 c0 = fgetc (temp[0]);
6314 c1 = fgetc (temp[1]);
6316 if (c0 != c1)
6318 error ("%s: -fcompare-debug failure",
6319 gcc_input_filename);
6320 ret = 1;
6321 break;
6324 if (c0 == EOF)
6325 break;
6328 for (i = 1; i >= 0; i--)
6330 if (temp[i])
6331 fclose (temp[i]);
6334 return ret;
6337 /* Set func_reorder_linker_plugin_file_spec and func_reorder_linker_plugin_opt
6338 here. This is the linker plugin to do global function reordering and is
6339 enabled with -freorder-functions=*. */
6341 static void
6342 set_func_reorder_linker_plugin_spec (void)
6344 int i;
6345 const char *plugin_opt_none = "group=none";
6346 const char *plugin_opt_callgraph = "group=callgraph";
6348 /* Find the linker plugin that does function ordering. */
6349 func_reorder_linker_plugin_file_spec = find_a_file (&exec_prefixes,
6350 FRPLUGINSONAME, R_OK, false);
6352 if (!func_reorder_linker_plugin_file_spec)
6353 fatal_error ("-freorder-functions=*, but "
6354 FRPLUGINSONAME " file not found");
6356 func_reorder_linker_plugin_opt = plugin_opt_none;
6358 /* Set linker plugin options here. Option ordering is also checked here.
6359 -fno-reorder-functions or -freorder-functions should disable any
6360 previous -freorder-functions=*. */
6361 for (i = 0; (int) i < n_switches; i++)
6363 /* Check for match with "-freorder-functions=callgraph". */
6364 if (func_reorder_linker_plugin_opt != plugin_opt_callgraph
6365 && !strcmp (switches[i].part1, "freorder-functions=callgraph"))
6367 func_reorder_linker_plugin_opt = plugin_opt_callgraph;
6368 continue;
6370 /* Set option to none if it matches -fno-reorder-functions
6371 or -freorder-functions */
6372 if (func_reorder_linker_plugin_opt != plugin_opt_none
6373 && (!strcmp (switches[i].part1, "fno-reorder-functions")
6374 || !strcmp (switches[i].part1, "freorder-functions")))
6376 func_reorder_linker_plugin_opt = plugin_opt_none;
6377 continue;
6382 extern int main (int, char **);
6385 main (int argc, char **argv)
6387 size_t i;
6388 int value;
6389 int linker_was_run = 0;
6390 int lang_n_infiles = 0;
6391 int num_linker_inputs = 0;
6392 char *explicit_link_files;
6393 char *specs_file;
6394 char *lto_wrapper_file;
6395 const char *p;
6396 struct user_specs *uptr;
6397 char **old_argv = argv;
6398 struct cl_decoded_option *decoded_options;
6399 unsigned int decoded_options_count;
6401 p = argv[0] + strlen (argv[0]);
6402 while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
6403 --p;
6404 progname = p;
6406 xmalloc_set_program_name (progname);
6408 expandargv (&argc, &argv);
6410 /* Determine if any expansions were made. */
6411 if (argv != old_argv)
6412 at_file_supplied = true;
6414 /* Register the language-independent parameters. */
6415 global_init_params ();
6416 finish_params ();
6418 init_options_struct (&global_options, &global_options_set);
6420 decode_cmdline_options_to_array (argc, CONST_CAST2 (const char **, char **,
6421 argv),
6422 CL_DRIVER,
6423 &decoded_options, &decoded_options_count);
6425 /* Unlock the stdio streams. */
6426 unlock_std_streams ();
6428 gcc_init_libintl ();
6430 diagnostic_initialize (global_dc, 0);
6432 #ifdef GCC_DRIVER_HOST_INITIALIZATION
6433 /* Perform host dependent initialization when needed. */
6434 GCC_DRIVER_HOST_INITIALIZATION;
6435 #endif
6437 if (atexit (delete_temp_files) != 0)
6438 fatal_error ("atexit failed");
6440 if (signal (SIGINT, SIG_IGN) != SIG_IGN)
6441 signal (SIGINT, fatal_signal);
6442 #ifdef SIGHUP
6443 if (signal (SIGHUP, SIG_IGN) != SIG_IGN)
6444 signal (SIGHUP, fatal_signal);
6445 #endif
6446 if (signal (SIGTERM, SIG_IGN) != SIG_IGN)
6447 signal (SIGTERM, fatal_signal);
6448 #ifdef SIGPIPE
6449 if (signal (SIGPIPE, SIG_IGN) != SIG_IGN)
6450 signal (SIGPIPE, fatal_signal);
6451 #endif
6452 #ifdef SIGCHLD
6453 /* We *MUST* set SIGCHLD to SIG_DFL so that the wait4() call will
6454 receive the signal. A different setting is inheritable */
6455 signal (SIGCHLD, SIG_DFL);
6456 #endif
6458 /* Parsing and gimplification sometimes need quite large stack.
6459 Increase stack size limits if possible. */
6460 stack_limit_increase (64 * 1024 * 1024);
6462 /* Allocate the argument vector. */
6463 alloc_args ();
6465 obstack_init (&obstack);
6467 /* Build multilib_select, et. al from the separate lines that make up each
6468 multilib selection. */
6470 const char *const *q = multilib_raw;
6471 int need_space;
6473 obstack_init (&multilib_obstack);
6474 while ((p = *q++) != (char *) 0)
6475 obstack_grow (&multilib_obstack, p, strlen (p));
6477 obstack_1grow (&multilib_obstack, 0);
6478 multilib_select = XOBFINISH (&multilib_obstack, const char *);
6480 q = multilib_matches_raw;
6481 while ((p = *q++) != (char *) 0)
6482 obstack_grow (&multilib_obstack, p, strlen (p));
6484 obstack_1grow (&multilib_obstack, 0);
6485 multilib_matches = XOBFINISH (&multilib_obstack, const char *);
6487 q = multilib_exclusions_raw;
6488 while ((p = *q++) != (char *) 0)
6489 obstack_grow (&multilib_obstack, p, strlen (p));
6491 obstack_1grow (&multilib_obstack, 0);
6492 multilib_exclusions = XOBFINISH (&multilib_obstack, const char *);
6494 q = multilib_reuse_raw;
6495 while ((p = *q++) != (char *) 0)
6496 obstack_grow (&multilib_obstack, p, strlen (p));
6498 obstack_1grow (&multilib_obstack, 0);
6499 multilib_reuse = XOBFINISH (&multilib_obstack, const char *);
6501 need_space = FALSE;
6502 for (i = 0; i < ARRAY_SIZE (multilib_defaults_raw); i++)
6504 if (need_space)
6505 obstack_1grow (&multilib_obstack, ' ');
6506 obstack_grow (&multilib_obstack,
6507 multilib_defaults_raw[i],
6508 strlen (multilib_defaults_raw[i]));
6509 need_space = TRUE;
6512 obstack_1grow (&multilib_obstack, 0);
6513 multilib_defaults = XOBFINISH (&multilib_obstack, const char *);
6516 #ifdef INIT_ENVIRONMENT
6517 /* Set up any other necessary machine specific environment variables. */
6518 xputenv (INIT_ENVIRONMENT);
6519 #endif
6521 /* Make a table of what switches there are (switches, n_switches).
6522 Make a table of specified input files (infiles, n_infiles).
6523 Decode switches that are handled locally. */
6525 process_command (decoded_options_count, decoded_options);
6527 /* Initialize the vector of specs to just the default.
6528 This means one element containing 0s, as a terminator. */
6530 compilers = XNEWVAR (struct compiler, sizeof default_compilers);
6531 memcpy (compilers, default_compilers, sizeof default_compilers);
6532 n_compilers = n_default_compilers;
6534 /* Read specs from a file if there is one. */
6536 machine_suffix = concat (spec_machine, dir_separator_str,
6537 spec_version, dir_separator_str, NULL);
6538 just_machine_suffix = concat (spec_machine, dir_separator_str, NULL);
6540 specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, true);
6541 /* Read the specs file unless it is a default one. */
6542 if (specs_file != 0 && strcmp (specs_file, "specs"))
6543 read_specs (specs_file, true, false);
6544 else
6545 init_spec ();
6547 /* We need to check standard_exec_prefix/just_machine_suffix/specs
6548 for any override of as, ld and libraries. */
6549 specs_file = (char *) alloca (strlen (standard_exec_prefix)
6550 + strlen (just_machine_suffix) + sizeof ("specs"));
6552 strcpy (specs_file, standard_exec_prefix);
6553 strcat (specs_file, just_machine_suffix);
6554 strcat (specs_file, "specs");
6555 if (access (specs_file, R_OK) == 0)
6556 read_specs (specs_file, true, false);
6558 /* Process any configure-time defaults specified for the command line
6559 options, via OPTION_DEFAULT_SPECS. */
6560 for (i = 0; i < ARRAY_SIZE (option_default_specs); i++)
6561 do_option_spec (option_default_specs[i].name,
6562 option_default_specs[i].spec);
6564 /* Process DRIVER_SELF_SPECS, adding any new options to the end
6565 of the command line. */
6567 for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
6568 do_self_spec (driver_self_specs[i]);
6570 /* If not cross-compiling, look for executables in the standard
6571 places. */
6572 if (*cross_compile == '0')
6574 if (*md_exec_prefix)
6576 add_prefix (&exec_prefixes, md_exec_prefix, "GCC",
6577 PREFIX_PRIORITY_LAST, 0, 0);
6581 /* Process sysroot_suffix_spec. */
6582 if (*sysroot_suffix_spec != 0
6583 && !no_sysroot_suffix
6584 && do_spec_2 (sysroot_suffix_spec) == 0)
6586 if (argbuf.length () > 1)
6587 error ("spec failure: more than one arg to SYSROOT_SUFFIX_SPEC");
6588 else if (argbuf.length () == 1)
6589 target_sysroot_suffix = xstrdup (argbuf.last ());
6592 #ifdef HAVE_LD_SYSROOT
6593 /* Pass the --sysroot option to the linker, if it supports that. If
6594 there is a sysroot_suffix_spec, it has already been processed by
6595 this point, so target_system_root really is the system root we
6596 should be using. */
6597 if (target_system_root)
6599 obstack_grow (&obstack, "%(sysroot_spec) ", strlen ("%(sysroot_spec) "));
6600 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
6601 set_spec ("link", XOBFINISH (&obstack, const char *), false);
6603 #endif
6605 /* Process sysroot_hdrs_suffix_spec. */
6606 if (*sysroot_hdrs_suffix_spec != 0
6607 && !no_sysroot_suffix
6608 && do_spec_2 (sysroot_hdrs_suffix_spec) == 0)
6610 if (argbuf.length () > 1)
6611 error ("spec failure: more than one arg to SYSROOT_HEADERS_SUFFIX_SPEC");
6612 else if (argbuf.length () == 1)
6613 target_sysroot_hdrs_suffix = xstrdup (argbuf.last ());
6616 /* Look for startfiles in the standard places. */
6617 if (*startfile_prefix_spec != 0
6618 && do_spec_2 (startfile_prefix_spec) == 0
6619 && do_spec_1 (" ", 0, NULL) == 0)
6621 const char *arg;
6622 int ndx;
6623 FOR_EACH_VEC_ELT (argbuf, ndx, arg)
6624 add_sysrooted_prefix (&startfile_prefixes, arg, "BINUTILS",
6625 PREFIX_PRIORITY_LAST, 0, 1);
6627 /* We should eventually get rid of all these and stick to
6628 startfile_prefix_spec exclusively. */
6629 else if (*cross_compile == '0' || target_system_root)
6631 if (*md_startfile_prefix)
6632 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix,
6633 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6635 if (*md_startfile_prefix_1)
6636 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix_1,
6637 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6639 /* If standard_startfile_prefix is relative, base it on
6640 standard_exec_prefix. This lets us move the installed tree
6641 as a unit. If GCC_EXEC_PREFIX is defined, base
6642 standard_startfile_prefix on that as well.
6644 If the prefix is relative, only search it for native compilers;
6645 otherwise we will search a directory containing host libraries. */
6646 if (IS_ABSOLUTE_PATH (standard_startfile_prefix))
6647 add_sysrooted_prefix (&startfile_prefixes,
6648 standard_startfile_prefix, "BINUTILS",
6649 PREFIX_PRIORITY_LAST, 0, 1);
6650 else if (*cross_compile == '0')
6652 add_prefix (&startfile_prefixes,
6653 concat (gcc_exec_prefix
6654 ? gcc_exec_prefix : standard_exec_prefix,
6655 machine_suffix,
6656 standard_startfile_prefix, NULL),
6657 NULL, PREFIX_PRIORITY_LAST, 0, 1);
6660 /* Sysrooted prefixes are relocated because target_system_root is
6661 also relocated by gcc_exec_prefix. */
6662 if (*standard_startfile_prefix_1)
6663 add_sysrooted_prefix (&startfile_prefixes,
6664 standard_startfile_prefix_1, "BINUTILS",
6665 PREFIX_PRIORITY_LAST, 0, 1);
6666 if (*standard_startfile_prefix_2)
6667 add_sysrooted_prefix (&startfile_prefixes,
6668 standard_startfile_prefix_2, "BINUTILS",
6669 PREFIX_PRIORITY_LAST, 0, 1);
6672 /* Process any user specified specs in the order given on the command
6673 line. */
6674 for (uptr = user_specs_head; uptr; uptr = uptr->next)
6676 char *filename = find_a_file (&startfile_prefixes, uptr->filename,
6677 R_OK, true);
6678 read_specs (filename ? filename : uptr->filename, false, true);
6681 /* Process any user self specs. */
6683 struct spec_list *sl;
6684 for (sl = specs; sl; sl = sl->next)
6685 if (sl->name_len == sizeof "self_spec" - 1
6686 && !strcmp (sl->name, "self_spec"))
6687 do_self_spec (*sl->ptr_spec);
6690 if (compare_debug)
6692 enum save_temps save;
6694 if (!compare_debug_second)
6696 n_switches_debug_check[1] = n_switches;
6697 n_switches_alloc_debug_check[1] = n_switches_alloc;
6698 switches_debug_check[1] = XDUPVEC (struct switchstr, switches,
6699 n_switches_alloc);
6701 do_self_spec ("%:compare-debug-self-opt()");
6702 n_switches_debug_check[0] = n_switches;
6703 n_switches_alloc_debug_check[0] = n_switches_alloc;
6704 switches_debug_check[0] = switches;
6706 n_switches = n_switches_debug_check[1];
6707 n_switches_alloc = n_switches_alloc_debug_check[1];
6708 switches = switches_debug_check[1];
6711 /* Avoid crash when computing %j in this early. */
6712 save = save_temps_flag;
6713 save_temps_flag = SAVE_TEMPS_NONE;
6715 compare_debug = -compare_debug;
6716 do_self_spec ("%:compare-debug-self-opt()");
6718 save_temps_flag = save;
6720 if (!compare_debug_second)
6722 n_switches_debug_check[1] = n_switches;
6723 n_switches_alloc_debug_check[1] = n_switches_alloc;
6724 switches_debug_check[1] = switches;
6725 compare_debug = -compare_debug;
6726 n_switches = n_switches_debug_check[0];
6727 n_switches_alloc = n_switches_debug_check[0];
6728 switches = switches_debug_check[0];
6733 /* If we have a GCC_EXEC_PREFIX envvar, modify it for cpp's sake. */
6734 if (gcc_exec_prefix)
6735 gcc_exec_prefix = concat (gcc_exec_prefix, spec_machine, dir_separator_str,
6736 spec_version, dir_separator_str, NULL);
6738 /* Now we have the specs.
6739 Set the `valid' bits for switches that match anything in any spec. */
6741 validate_all_switches ();
6743 /* Now that we have the switches and the specs, set
6744 the subdirectory based on the options. */
6745 set_multilib_dir ();
6747 /* Set up to remember the pathname of gcc and any options
6748 needed for collect. We use argv[0] instead of progname because
6749 we need the complete pathname. */
6750 obstack_init (&collect_obstack);
6751 obstack_grow (&collect_obstack, "COLLECT_GCC=", sizeof ("COLLECT_GCC=") - 1);
6752 obstack_grow (&collect_obstack, argv[0], strlen (argv[0]) + 1);
6753 xputenv (XOBFINISH (&collect_obstack, char *));
6755 /* Set up to remember the pathname of the lto wrapper. */
6757 if (have_c)
6758 lto_wrapper_file = NULL;
6759 else
6760 lto_wrapper_file = find_a_file (&exec_prefixes, "lto-wrapper",
6761 X_OK, false);
6762 if (lto_wrapper_file)
6764 lto_wrapper_file = convert_white_space (lto_wrapper_file);
6765 lto_wrapper_spec = lto_wrapper_file;
6766 obstack_init (&collect_obstack);
6767 obstack_grow (&collect_obstack, "COLLECT_LTO_WRAPPER=",
6768 sizeof ("COLLECT_LTO_WRAPPER=") - 1);
6769 obstack_grow (&collect_obstack, lto_wrapper_spec,
6770 strlen (lto_wrapper_spec) + 1);
6771 xputenv (XOBFINISH (&collect_obstack, char *));
6774 /* Reject switches that no pass was interested in. */
6776 for (i = 0; (int) i < n_switches; i++)
6777 if (! switches[i].validated)
6778 error ("unrecognized command line option %<-%s%>", switches[i].part1);
6780 /* Obey some of the options. */
6782 if (print_search_dirs)
6784 printf (_("install: %s%s\n"),
6785 gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
6786 gcc_exec_prefix ? "" : machine_suffix);
6787 printf (_("programs: %s\n"),
6788 build_search_list (&exec_prefixes, "", false, false));
6789 printf (_("libraries: %s\n"),
6790 build_search_list (&startfile_prefixes, "", false, true));
6791 return (0);
6794 if (print_file_name)
6796 printf ("%s\n", find_file (print_file_name));
6797 return (0);
6800 if (print_prog_name)
6802 if (use_ld != NULL && ! strcmp (print_prog_name, "ld"))
6804 /* Append USE_LD to to the default linker. */
6805 #ifdef DEFAULT_LINKER
6806 char *ld;
6807 # ifdef HAVE_HOST_EXECUTABLE_SUFFIX
6808 int len = (sizeof (DEFAULT_LINKER)
6809 - sizeof (HOST_EXECUTABLE_SUFFIX));
6810 ld = NULL;
6811 if (len > 0)
6813 char *default_linker = xstrdup (DEFAULT_LINKER);
6814 /* Strip HOST_EXECUTABLE_SUFFIX if DEFAULT_LINKER contains
6815 HOST_EXECUTABLE_SUFFIX. */
6816 if (! strcmp (&default_linker[len], HOST_EXECUTABLE_SUFFIX))
6818 default_linker[len] = '\0';
6819 ld = concat (default_linker, use_ld,
6820 HOST_EXECUTABLE_SUFFIX, NULL);
6823 if (ld == NULL)
6824 # endif
6825 ld = concat (DEFAULT_LINKER, use_ld, NULL);
6826 if (access (ld, X_OK) == 0)
6828 printf ("%s\n", ld);
6829 return (0);
6831 #endif
6832 print_prog_name = concat (print_prog_name, use_ld, NULL);
6834 char *newname = find_a_file (&exec_prefixes, print_prog_name, X_OK, 0);
6835 printf ("%s\n", (newname ? newname : print_prog_name));
6836 return (0);
6839 if (print_multi_lib)
6841 print_multilib_info ();
6842 return (0);
6845 if (print_multi_directory)
6847 if (multilib_dir == NULL)
6848 printf (".\n");
6849 else
6850 printf ("%s\n", multilib_dir);
6851 return (0);
6854 if (print_multiarch)
6856 if (multiarch_dir == NULL)
6857 printf ("\n");
6858 else
6859 printf ("%s\n", multiarch_dir);
6860 return (0);
6863 if (print_sysroot)
6865 if (target_system_root)
6867 if (target_sysroot_suffix)
6868 printf ("%s%s\n", target_system_root, target_sysroot_suffix);
6869 else
6870 printf ("%s\n", target_system_root);
6872 return (0);
6875 if (print_multi_os_directory)
6877 if (multilib_os_dir == NULL)
6878 printf (".\n");
6879 else
6880 printf ("%s\n", multilib_os_dir);
6881 return (0);
6884 if (print_sysroot_headers_suffix)
6886 if (*sysroot_hdrs_suffix_spec)
6888 printf("%s\n", (target_sysroot_hdrs_suffix
6889 ? target_sysroot_hdrs_suffix
6890 : ""));
6891 return (0);
6893 else
6894 /* The error status indicates that only one set of fixed
6895 headers should be built. */
6896 fatal_error ("not configured with sysroot headers suffix");
6899 if (print_help_list)
6901 display_help ();
6903 if (! verbose_flag)
6905 printf (_("\nFor bug reporting instructions, please see:\n"));
6906 printf ("%s.\n", bug_report_url);
6908 return (0);
6911 /* We do not exit here. Instead we have created a fake input file
6912 called 'help-dummy' which needs to be compiled, and we pass this
6913 on the various sub-processes, along with the --help switch.
6914 Ensure their output appears after ours. */
6915 fputc ('\n', stdout);
6916 fflush (stdout);
6919 if (print_version)
6921 printf (_("%s %s%s\n"), progname, pkgversion_string,
6922 version_string);
6923 printf ("Copyright %s 2014 Free Software Foundation, Inc.\n",
6924 _("(C)"));
6925 fputs (_("This is free software; see the source for copying conditions. There is NO\n\
6926 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"),
6927 stdout);
6928 if (! verbose_flag)
6929 return 0;
6931 /* We do not exit here. We use the same mechanism of --help to print
6932 the version of the sub-processes. */
6933 fputc ('\n', stdout);
6934 fflush (stdout);
6937 if (verbose_flag)
6939 int n;
6940 const char *thrmod;
6942 fnotice (stderr, "Target: %s\n", spec_machine);
6943 fnotice (stderr, "Configured with: %s\n", configuration_arguments);
6945 #ifdef THREAD_MODEL_SPEC
6946 /* We could have defined THREAD_MODEL_SPEC to "%*" by default,
6947 but there's no point in doing all this processing just to get
6948 thread_model back. */
6949 obstack_init (&obstack);
6950 do_spec_1 (THREAD_MODEL_SPEC, 0, thread_model);
6951 obstack_1grow (&obstack, '\0');
6952 thrmod = XOBFINISH (&obstack, const char *);
6953 #else
6954 thrmod = thread_model;
6955 #endif
6957 fnotice (stderr, "Thread model: %s\n", thrmod);
6959 /* compiler_version is truncated at the first space when initialized
6960 from version string, so truncate version_string at the first space
6961 before comparing. */
6962 for (n = 0; version_string[n]; n++)
6963 if (version_string[n] == ' ')
6964 break;
6966 if (! strncmp (version_string, compiler_version, n)
6967 && compiler_version[n] == 0)
6968 fnotice (stderr, "gcc version %s %s\n", version_string,
6969 pkgversion_string);
6970 else
6971 fnotice (stderr, "gcc driver version %s %sexecuting gcc version %s\n",
6972 version_string, pkgversion_string, compiler_version);
6974 if (n_infiles == 0)
6975 return (0);
6978 if (n_infiles == added_libraries)
6979 fatal_error ("no input files");
6981 if (seen_error ())
6982 goto out;
6984 /* Make a place to record the compiler output file names
6985 that correspond to the input files. */
6987 i = n_infiles;
6988 i += lang_specific_extra_outfiles;
6989 outfiles = XCNEWVEC (const char *, i);
6991 /* Record which files were specified explicitly as link input. */
6993 explicit_link_files = XCNEWVEC (char, n_infiles);
6995 combine_inputs = have_o || flag_wpa;
6997 for (i = 0; (int) i < n_infiles; i++)
6999 const char *name = infiles[i].name;
7000 struct compiler *compiler = lookup_compiler (name,
7001 strlen (name),
7002 infiles[i].language);
7004 if (compiler && !(compiler->combinable))
7005 combine_inputs = false;
7007 if (lang_n_infiles > 0 && compiler != input_file_compiler
7008 && infiles[i].language && infiles[i].language[0] != '*')
7009 infiles[i].incompiler = compiler;
7010 else if (compiler)
7012 lang_n_infiles++;
7013 input_file_compiler = compiler;
7014 infiles[i].incompiler = compiler;
7016 else
7018 /* Since there is no compiler for this input file, assume it is a
7019 linker file. */
7020 explicit_link_files[i] = 1;
7021 infiles[i].incompiler = NULL;
7023 infiles[i].compiled = false;
7024 infiles[i].preprocessed = false;
7027 if (!combine_inputs && have_c && have_o && lang_n_infiles > 1)
7028 fatal_error ("cannot specify -o with -c, -S or -E with multiple files");
7030 for (i = 0; (int) i < n_infiles; i++)
7032 int this_file_error = 0;
7034 /* Tell do_spec what to substitute for %i. */
7036 input_file_number = i;
7037 set_input (infiles[i].name);
7039 if (infiles[i].compiled)
7040 continue;
7042 /* Use the same thing in %o, unless cp->spec says otherwise. */
7044 outfiles[i] = gcc_input_filename;
7046 /* Figure out which compiler from the file's suffix. */
7048 input_file_compiler
7049 = lookup_compiler (infiles[i].name, input_filename_length,
7050 infiles[i].language);
7052 if (input_file_compiler)
7054 /* Ok, we found an applicable compiler. Run its spec. */
7056 if (input_file_compiler->spec[0] == '#')
7058 error ("%s: %s compiler not installed on this system",
7059 gcc_input_filename, &input_file_compiler->spec[1]);
7060 this_file_error = 1;
7062 else
7064 if (compare_debug)
7066 free (debug_check_temp_file[0]);
7067 debug_check_temp_file[0] = NULL;
7069 free (debug_check_temp_file[1]);
7070 debug_check_temp_file[1] = NULL;
7073 value = do_spec (input_file_compiler->spec);
7074 infiles[i].compiled = true;
7075 if (value < 0)
7076 this_file_error = 1;
7077 else if (compare_debug && debug_check_temp_file[0])
7079 if (verbose_flag)
7080 inform (0, "recompiling with -fcompare-debug");
7082 compare_debug = -compare_debug;
7083 n_switches = n_switches_debug_check[1];
7084 n_switches_alloc = n_switches_alloc_debug_check[1];
7085 switches = switches_debug_check[1];
7087 value = do_spec (input_file_compiler->spec);
7089 compare_debug = -compare_debug;
7090 n_switches = n_switches_debug_check[0];
7091 n_switches_alloc = n_switches_alloc_debug_check[0];
7092 switches = switches_debug_check[0];
7094 if (value < 0)
7096 error ("during -fcompare-debug recompilation");
7097 this_file_error = 1;
7100 gcc_assert (debug_check_temp_file[1]
7101 && filename_cmp (debug_check_temp_file[0],
7102 debug_check_temp_file[1]));
7104 if (verbose_flag)
7105 inform (0, "comparing final insns dumps");
7107 if (compare_files (debug_check_temp_file))
7108 this_file_error = 1;
7111 if (compare_debug)
7113 free (debug_check_temp_file[0]);
7114 debug_check_temp_file[0] = NULL;
7116 free (debug_check_temp_file[1]);
7117 debug_check_temp_file[1] = NULL;
7122 /* If this file's name does not contain a recognized suffix,
7123 record it as explicit linker input. */
7125 else
7126 explicit_link_files[i] = 1;
7128 /* Clear the delete-on-failure queue, deleting the files in it
7129 if this compilation failed. */
7131 if (this_file_error)
7133 delete_failure_queue ();
7134 errorcount++;
7136 /* If this compilation succeeded, don't delete those files later. */
7137 clear_failure_queue ();
7140 /* Reset the input file name to the first compile/object file name, for use
7141 with %b in LINK_SPEC. We use the first input file that we can find
7142 a compiler to compile it instead of using infiles.language since for
7143 languages other than C we use aliases that we then lookup later. */
7144 if (n_infiles > 0)
7146 int i;
7148 for (i = 0; i < n_infiles ; i++)
7149 if (infiles[i].incompiler
7150 || (infiles[i].language && infiles[i].language[0] != '*'))
7152 set_input (infiles[i].name);
7153 break;
7157 if (!seen_error ())
7159 /* Make sure INPUT_FILE_NUMBER points to first available open
7160 slot. */
7161 input_file_number = n_infiles;
7162 if (lang_specific_pre_link ())
7163 errorcount++;
7166 /* Determine if there are any linker input files. */
7167 num_linker_inputs = 0;
7168 for (i = 0; (int) i < n_infiles; i++)
7169 if (explicit_link_files[i] || outfiles[i] != NULL)
7170 num_linker_inputs++;
7172 /* Run ld to link all the compiler output files. */
7174 if (num_linker_inputs > 0 && !seen_error () && print_subprocess_help < 2)
7176 int tmp = execution_count;
7178 if (! have_c)
7180 #if HAVE_LTO_PLUGIN > 0
7181 #if HAVE_LTO_PLUGIN == 2
7182 const char *fno_use_linker_plugin = "fno-use-linker-plugin";
7183 #else
7184 const char *fuse_linker_plugin = "fuse-linker-plugin";
7185 #endif
7186 #endif
7188 const char *freorder_functions_ = "freorder-functions=";
7190 /* We'll use ld if we can't find collect2. */
7191 if (! strcmp (linker_name_spec, "collect2"))
7193 char *s = find_a_file (&exec_prefixes, "collect2", X_OK, false);
7194 if (s == NULL)
7195 linker_name_spec = "ld";
7198 #if HAVE_LTO_PLUGIN > 0
7199 #if HAVE_LTO_PLUGIN == 2
7200 if (!switch_matches (fno_use_linker_plugin,
7201 fno_use_linker_plugin
7202 + strlen (fno_use_linker_plugin), 0))
7203 #else
7204 if (switch_matches (fuse_linker_plugin,
7205 fuse_linker_plugin
7206 + strlen (fuse_linker_plugin), 0))
7207 #endif
7209 char *temp_spec = find_a_file (&exec_prefixes,
7210 LTOPLUGINSONAME, R_OK,
7211 false);
7212 if (!temp_spec)
7213 fatal_error ("-fuse-linker-plugin, but %s not found",
7214 LTOPLUGINSONAME);
7215 linker_plugin_file_spec = convert_white_space (temp_spec);
7217 #endif
7218 lto_gcc_spec = argv[0];
7220 /* The function reordering linker plugin will be loaded if the option
7221 -freorder-functions= is present in the command-line. */
7222 if (switch_matches (freorder_functions_,
7223 freorder_functions_ + strlen (freorder_functions_), 1))
7224 set_func_reorder_linker_plugin_spec ();
7227 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
7228 for collect. */
7229 putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH", false);
7230 putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV, true);
7232 if (print_subprocess_help == 1)
7234 printf (_("\nLinker options\n==============\n\n"));
7235 printf (_("Use \"-Wl,OPTION\" to pass \"OPTION\""
7236 " to the linker.\n\n"));
7237 fflush (stdout);
7239 value = do_spec (link_command_spec);
7240 if (value < 0)
7241 errorcount = 1;
7242 linker_was_run = (tmp != execution_count);
7245 /* If options said don't run linker,
7246 complain about input files to be given to the linker. */
7248 if (! linker_was_run && !seen_error ())
7249 for (i = 0; (int) i < n_infiles; i++)
7250 if (explicit_link_files[i]
7251 && !(infiles[i].language && infiles[i].language[0] == '*'))
7252 warning (0, "%s: linker input file unused because linking not done",
7253 outfiles[i]);
7255 /* Delete some or all of the temporary files we made. */
7257 if (seen_error ())
7258 delete_failure_queue ();
7259 delete_temp_files ();
7261 if (print_help_list)
7263 printf (("\nFor bug reporting instructions, please see:\n"));
7264 printf ("%s\n", bug_report_url);
7267 out:
7268 return (signal_count != 0 ? 2
7269 : seen_error () ? (pass_exit_codes ? greatest_status : 1)
7270 : 0);
7273 /* Find the proper compilation spec for the file name NAME,
7274 whose length is LENGTH. LANGUAGE is the specified language,
7275 or 0 if this file is to be passed to the linker. */
7277 static struct compiler *
7278 lookup_compiler (const char *name, size_t length, const char *language)
7280 struct compiler *cp;
7282 /* If this was specified by the user to be a linker input, indicate that. */
7283 if (language != 0 && language[0] == '*')
7284 return 0;
7286 /* Otherwise, look for the language, if one is spec'd. */
7287 if (language != 0)
7289 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7290 if (cp->suffix[0] == '@' && !strcmp (cp->suffix + 1, language))
7291 return cp;
7293 error ("language %s not recognized", language);
7294 return 0;
7297 /* Look for a suffix. */
7298 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7300 if (/* The suffix `-' matches only the file name `-'. */
7301 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7302 || (strlen (cp->suffix) < length
7303 /* See if the suffix matches the end of NAME. */
7304 && !strcmp (cp->suffix,
7305 name + length - strlen (cp->suffix))
7307 break;
7310 #if defined (OS2) ||defined (HAVE_DOS_BASED_FILE_SYSTEM)
7311 /* Look again, but case-insensitively this time. */
7312 if (cp < compilers)
7313 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7315 if (/* The suffix `-' matches only the file name `-'. */
7316 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7317 || (strlen (cp->suffix) < length
7318 /* See if the suffix matches the end of NAME. */
7319 && ((!strcmp (cp->suffix,
7320 name + length - strlen (cp->suffix))
7321 || !strpbrk (cp->suffix, "ABCDEFGHIJKLMNOPQRSTUVWXYZ"))
7322 && !strcasecmp (cp->suffix,
7323 name + length - strlen (cp->suffix)))
7325 break;
7327 #endif
7329 if (cp >= compilers)
7331 if (cp->spec[0] != '@')
7332 /* A non-alias entry: return it. */
7333 return cp;
7335 /* An alias entry maps a suffix to a language.
7336 Search for the language; pass 0 for NAME and LENGTH
7337 to avoid infinite recursion if language not found. */
7338 return lookup_compiler (NULL, 0, cp->spec + 1);
7340 return 0;
7343 static char *
7344 save_string (const char *s, int len)
7346 char *result = XNEWVEC (char, len + 1);
7348 memcpy (result, s, len);
7349 result[len] = 0;
7350 return result;
7353 void
7354 pfatal_with_name (const char *name)
7356 perror_with_name (name);
7357 delete_temp_files ();
7358 exit (1);
7361 static void
7362 perror_with_name (const char *name)
7364 error ("%s: %m", name);
7367 static inline void
7368 validate_switches_from_spec (const char *spec, bool user)
7370 const char *p = spec;
7371 char c;
7372 while ((c = *p++))
7373 if (c == '%' && (*p == '{' || *p == '<' || (*p == 'W' && *++p == '{')))
7374 /* We have a switch spec. */
7375 p = validate_switches (p + 1, user);
7378 static void
7379 validate_all_switches (void)
7381 struct compiler *comp;
7382 struct spec_list *spec;
7384 for (comp = compilers; comp->spec; comp++)
7385 validate_switches_from_spec (comp->spec, false);
7387 /* Look through the linked list of specs read from the specs file. */
7388 for (spec = specs; spec; spec = spec->next)
7389 validate_switches_from_spec (*spec->ptr_spec, spec->user_p);
7391 validate_switches_from_spec (link_command_spec, false);
7394 /* Look at the switch-name that comes after START
7395 and mark as valid all supplied switches that match it. */
7397 static const char *
7398 validate_switches (const char *start, bool user_spec)
7400 const char *p = start;
7401 const char *atom;
7402 size_t len;
7403 int i;
7404 bool suffix = false;
7405 bool starred = false;
7407 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
7409 next_member:
7410 SKIP_WHITE ();
7412 if (*p == '!')
7413 p++;
7415 SKIP_WHITE ();
7416 if (*p == '.' || *p == ',')
7417 suffix = true, p++;
7419 atom = p;
7420 while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
7421 || *p == ',' || *p == '.' || *p == '@')
7422 p++;
7423 len = p - atom;
7425 if (*p == '*')
7426 starred = true, p++;
7428 SKIP_WHITE ();
7430 if (!suffix)
7432 /* Mark all matching switches as valid. */
7433 for (i = 0; i < n_switches; i++)
7434 if (!strncmp (switches[i].part1, atom, len)
7435 && (starred || switches[i].part1[len] == '\0')
7436 && (switches[i].known || user_spec))
7437 switches[i].validated = true;
7440 if (*p) p++;
7441 if (*p && (p[-1] == '|' || p[-1] == '&'))
7442 goto next_member;
7444 if (*p && p[-1] == ':')
7446 while (*p && *p != ';' && *p != '}')
7448 if (*p == '%')
7450 p++;
7451 if (*p == '{' || *p == '<')
7452 p = validate_switches (p+1, user_spec);
7453 else if (p[0] == 'W' && p[1] == '{')
7454 p = validate_switches (p+2, user_spec);
7456 else
7457 p++;
7460 if (*p) p++;
7461 if (*p && p[-1] == ';')
7462 goto next_member;
7465 return p;
7466 #undef SKIP_WHITE
7469 struct mdswitchstr
7471 const char *str;
7472 int len;
7475 static struct mdswitchstr *mdswitches;
7476 static int n_mdswitches;
7478 /* Check whether a particular argument was used. The first time we
7479 canonicalize the switches to keep only the ones we care about. */
7481 static int
7482 used_arg (const char *p, int len)
7484 struct mswitchstr
7486 const char *str;
7487 const char *replace;
7488 int len;
7489 int rep_len;
7492 static struct mswitchstr *mswitches;
7493 static int n_mswitches;
7494 int i, j;
7496 if (!mswitches)
7498 struct mswitchstr *matches;
7499 const char *q;
7500 int cnt = 0;
7502 /* Break multilib_matches into the component strings of string
7503 and replacement string. */
7504 for (q = multilib_matches; *q != '\0'; q++)
7505 if (*q == ';')
7506 cnt++;
7508 matches
7509 = (struct mswitchstr *) alloca ((sizeof (struct mswitchstr)) * cnt);
7510 i = 0;
7511 q = multilib_matches;
7512 while (*q != '\0')
7514 matches[i].str = q;
7515 while (*q != ' ')
7517 if (*q == '\0')
7519 invalid_matches:
7520 fatal_error ("multilib spec %qs is invalid",
7521 multilib_matches);
7523 q++;
7525 matches[i].len = q - matches[i].str;
7527 matches[i].replace = ++q;
7528 while (*q != ';' && *q != '\0')
7530 if (*q == ' ')
7531 goto invalid_matches;
7532 q++;
7534 matches[i].rep_len = q - matches[i].replace;
7535 i++;
7536 if (*q == ';')
7537 q++;
7540 /* Now build a list of the replacement string for switches that we care
7541 about. Make sure we allocate at least one entry. This prevents
7542 xmalloc from calling fatal, and prevents us from re-executing this
7543 block of code. */
7544 mswitches
7545 = XNEWVEC (struct mswitchstr, n_mdswitches + (n_switches ? n_switches : 1));
7546 for (i = 0; i < n_switches; i++)
7547 if ((switches[i].live_cond & SWITCH_IGNORE) == 0)
7549 int xlen = strlen (switches[i].part1);
7550 for (j = 0; j < cnt; j++)
7551 if (xlen == matches[j].len
7552 && ! strncmp (switches[i].part1, matches[j].str, xlen))
7554 mswitches[n_mswitches].str = matches[j].replace;
7555 mswitches[n_mswitches].len = matches[j].rep_len;
7556 mswitches[n_mswitches].replace = (char *) 0;
7557 mswitches[n_mswitches].rep_len = 0;
7558 n_mswitches++;
7559 break;
7563 /* Add MULTILIB_DEFAULTS switches too, as long as they were not present
7564 on the command line nor any options mutually incompatible with
7565 them. */
7566 for (i = 0; i < n_mdswitches; i++)
7568 const char *r;
7570 for (q = multilib_options; *q != '\0'; q++)
7572 while (*q == ' ')
7573 q++;
7575 r = q;
7576 while (strncmp (q, mdswitches[i].str, mdswitches[i].len) != 0
7577 || strchr (" /", q[mdswitches[i].len]) == NULL)
7579 while (*q != ' ' && *q != '/' && *q != '\0')
7580 q++;
7581 if (*q != '/')
7582 break;
7583 q++;
7586 if (*q != ' ' && *q != '\0')
7588 while (*r != ' ' && *r != '\0')
7590 q = r;
7591 while (*q != ' ' && *q != '/' && *q != '\0')
7592 q++;
7594 if (used_arg (r, q - r))
7595 break;
7597 if (*q != '/')
7599 mswitches[n_mswitches].str = mdswitches[i].str;
7600 mswitches[n_mswitches].len = mdswitches[i].len;
7601 mswitches[n_mswitches].replace = (char *) 0;
7602 mswitches[n_mswitches].rep_len = 0;
7603 n_mswitches++;
7604 break;
7607 r = q + 1;
7609 break;
7615 for (i = 0; i < n_mswitches; i++)
7616 if (len == mswitches[i].len && ! strncmp (p, mswitches[i].str, len))
7617 return 1;
7619 return 0;
7622 static int
7623 default_arg (const char *p, int len)
7625 int i;
7627 for (i = 0; i < n_mdswitches; i++)
7628 if (len == mdswitches[i].len && ! strncmp (p, mdswitches[i].str, len))
7629 return 1;
7631 return 0;
7634 /* Work out the subdirectory to use based on the options. The format of
7635 multilib_select is a list of elements. Each element is a subdirectory
7636 name followed by a list of options followed by a semicolon. The format
7637 of multilib_exclusions is the same, but without the preceding
7638 directory. First gcc will check the exclusions, if none of the options
7639 beginning with an exclamation point are present, and all of the other
7640 options are present, then we will ignore this completely. Passing
7641 that, gcc will consider each multilib_select in turn using the same
7642 rules for matching the options. If a match is found, that subdirectory
7643 will be used.
7644 A subdirectory name is optionally followed by a colon and the corresponding
7645 multiarch name. */
7647 static void
7648 set_multilib_dir (void)
7650 const char *p;
7651 unsigned int this_path_len;
7652 const char *this_path, *this_arg;
7653 const char *start, *end;
7654 int not_arg;
7655 int ok, ndfltok, first;
7657 n_mdswitches = 0;
7658 start = multilib_defaults;
7659 while (*start == ' ' || *start == '\t')
7660 start++;
7661 while (*start != '\0')
7663 n_mdswitches++;
7664 while (*start != ' ' && *start != '\t' && *start != '\0')
7665 start++;
7666 while (*start == ' ' || *start == '\t')
7667 start++;
7670 if (n_mdswitches)
7672 int i = 0;
7674 mdswitches = XNEWVEC (struct mdswitchstr, n_mdswitches);
7675 for (start = multilib_defaults; *start != '\0'; start = end + 1)
7677 while (*start == ' ' || *start == '\t')
7678 start++;
7680 if (*start == '\0')
7681 break;
7683 for (end = start + 1;
7684 *end != ' ' && *end != '\t' && *end != '\0'; end++)
7687 obstack_grow (&multilib_obstack, start, end - start);
7688 obstack_1grow (&multilib_obstack, 0);
7689 mdswitches[i].str = XOBFINISH (&multilib_obstack, const char *);
7690 mdswitches[i++].len = end - start;
7692 if (*end == '\0')
7693 break;
7697 p = multilib_exclusions;
7698 while (*p != '\0')
7700 /* Ignore newlines. */
7701 if (*p == '\n')
7703 ++p;
7704 continue;
7707 /* Check the arguments. */
7708 ok = 1;
7709 while (*p != ';')
7711 if (*p == '\0')
7713 invalid_exclusions:
7714 fatal_error ("multilib exclusions %qs is invalid",
7715 multilib_exclusions);
7718 if (! ok)
7720 ++p;
7721 continue;
7724 this_arg = p;
7725 while (*p != ' ' && *p != ';')
7727 if (*p == '\0')
7728 goto invalid_exclusions;
7729 ++p;
7732 if (*this_arg != '!')
7733 not_arg = 0;
7734 else
7736 not_arg = 1;
7737 ++this_arg;
7740 ok = used_arg (this_arg, p - this_arg);
7741 if (not_arg)
7742 ok = ! ok;
7744 if (*p == ' ')
7745 ++p;
7748 if (ok)
7749 return;
7751 ++p;
7754 first = 1;
7755 p = multilib_select;
7757 /* Append multilib reuse rules if any. With those rules, we can reuse
7758 one multilib for certain different options sets. */
7759 if (strlen (multilib_reuse) > 0)
7760 p = concat (p, multilib_reuse, NULL);
7762 while (*p != '\0')
7764 /* Ignore newlines. */
7765 if (*p == '\n')
7767 ++p;
7768 continue;
7771 /* Get the initial path. */
7772 this_path = p;
7773 while (*p != ' ')
7775 if (*p == '\0')
7777 invalid_select:
7778 fatal_error ("multilib select %qs %qs is invalid",
7779 multilib_select, multilib_reuse);
7781 ++p;
7783 this_path_len = p - this_path;
7785 /* Check the arguments. */
7786 ok = 1;
7787 ndfltok = 1;
7788 ++p;
7789 while (*p != ';')
7791 if (*p == '\0')
7792 goto invalid_select;
7794 if (! ok)
7796 ++p;
7797 continue;
7800 this_arg = p;
7801 while (*p != ' ' && *p != ';')
7803 if (*p == '\0')
7804 goto invalid_select;
7805 ++p;
7808 if (*this_arg != '!')
7809 not_arg = 0;
7810 else
7812 not_arg = 1;
7813 ++this_arg;
7816 /* If this is a default argument, we can just ignore it.
7817 This is true even if this_arg begins with '!'. Beginning
7818 with '!' does not mean that this argument is necessarily
7819 inappropriate for this library: it merely means that
7820 there is a more specific library which uses this
7821 argument. If this argument is a default, we need not
7822 consider that more specific library. */
7823 ok = used_arg (this_arg, p - this_arg);
7824 if (not_arg)
7825 ok = ! ok;
7827 if (! ok)
7828 ndfltok = 0;
7830 if (default_arg (this_arg, p - this_arg))
7831 ok = 1;
7833 if (*p == ' ')
7834 ++p;
7837 if (ok && first)
7839 if (this_path_len != 1
7840 || this_path[0] != '.')
7842 char *new_multilib_dir = XNEWVEC (char, this_path_len + 1);
7843 char *q;
7845 strncpy (new_multilib_dir, this_path, this_path_len);
7846 new_multilib_dir[this_path_len] = '\0';
7847 q = strchr (new_multilib_dir, ':');
7848 if (q != NULL)
7849 *q = '\0';
7850 multilib_dir = new_multilib_dir;
7852 first = 0;
7855 if (ndfltok)
7857 const char *q = this_path, *end = this_path + this_path_len;
7859 while (q < end && *q != ':')
7860 q++;
7861 if (q < end)
7863 const char *q2 = q + 1, *ml_end = end;
7864 char *new_multilib_os_dir;
7866 while (q2 < end && *q2 != ':')
7867 q2++;
7868 if (*q2 == ':')
7869 ml_end = q2;
7870 new_multilib_os_dir = XNEWVEC (char, ml_end - q);
7871 memcpy (new_multilib_os_dir, q + 1, ml_end - q - 1);
7872 new_multilib_os_dir[ml_end - q - 1] = '\0';
7873 multilib_os_dir = *new_multilib_os_dir ? new_multilib_os_dir : ".";
7875 if (q2 < end && *q2 == ':')
7877 char *new_multiarch_dir = XNEWVEC (char, end - q2);
7878 memcpy (new_multiarch_dir, q2 + 1, end - q2 - 1);
7879 new_multiarch_dir[end - q2 - 1] = '\0';
7880 multiarch_dir = new_multiarch_dir;
7882 break;
7886 ++p;
7889 if (multilib_dir == NULL && multilib_os_dir != NULL
7890 && strcmp (multilib_os_dir, ".") == 0)
7892 free (CONST_CAST (char *, multilib_os_dir));
7893 multilib_os_dir = NULL;
7895 else if (multilib_dir != NULL && multilib_os_dir == NULL)
7896 multilib_os_dir = multilib_dir;
7899 /* Print out the multiple library subdirectory selection
7900 information. This prints out a series of lines. Each line looks
7901 like SUBDIRECTORY;@OPTION@OPTION, with as many options as is
7902 required. Only the desired options are printed out, the negative
7903 matches. The options are print without a leading dash. There are
7904 no spaces to make it easy to use the information in the shell.
7905 Each subdirectory is printed only once. This assumes the ordering
7906 generated by the genmultilib script. Also, we leave out ones that match
7907 the exclusions. */
7909 static void
7910 print_multilib_info (void)
7912 const char *p = multilib_select;
7913 const char *last_path = 0, *this_path;
7914 int skip;
7915 unsigned int last_path_len = 0;
7917 while (*p != '\0')
7919 skip = 0;
7920 /* Ignore newlines. */
7921 if (*p == '\n')
7923 ++p;
7924 continue;
7927 /* Get the initial path. */
7928 this_path = p;
7929 while (*p != ' ')
7931 if (*p == '\0')
7933 invalid_select:
7934 fatal_error ("multilib select %qs is invalid", multilib_select);
7937 ++p;
7940 /* When --disable-multilib was used but target defines
7941 MULTILIB_OSDIRNAMES, entries starting with .: (and not starting
7942 with .:: for multiarch configurations) are there just to find
7943 multilib_os_dir, so skip them from output. */
7944 if (this_path[0] == '.' && this_path[1] == ':' && this_path[2] != ':')
7945 skip = 1;
7947 /* Check for matches with the multilib_exclusions. We don't bother
7948 with the '!' in either list. If any of the exclusion rules match
7949 all of its options with the select rule, we skip it. */
7951 const char *e = multilib_exclusions;
7952 const char *this_arg;
7954 while (*e != '\0')
7956 int m = 1;
7957 /* Ignore newlines. */
7958 if (*e == '\n')
7960 ++e;
7961 continue;
7964 /* Check the arguments. */
7965 while (*e != ';')
7967 const char *q;
7968 int mp = 0;
7970 if (*e == '\0')
7972 invalid_exclusion:
7973 fatal_error ("multilib exclusion %qs is invalid",
7974 multilib_exclusions);
7977 if (! m)
7979 ++e;
7980 continue;
7983 this_arg = e;
7985 while (*e != ' ' && *e != ';')
7987 if (*e == '\0')
7988 goto invalid_exclusion;
7989 ++e;
7992 q = p + 1;
7993 while (*q != ';')
7995 const char *arg;
7996 int len = e - this_arg;
7998 if (*q == '\0')
7999 goto invalid_select;
8001 arg = q;
8003 while (*q != ' ' && *q != ';')
8005 if (*q == '\0')
8006 goto invalid_select;
8007 ++q;
8010 if (! strncmp (arg, this_arg,
8011 (len < q - arg) ? q - arg : len)
8012 || default_arg (this_arg, e - this_arg))
8014 mp = 1;
8015 break;
8018 if (*q == ' ')
8019 ++q;
8022 if (! mp)
8023 m = 0;
8025 if (*e == ' ')
8026 ++e;
8029 if (m)
8031 skip = 1;
8032 break;
8035 if (*e != '\0')
8036 ++e;
8040 if (! skip)
8042 /* If this is a duplicate, skip it. */
8043 skip = (last_path != 0
8044 && (unsigned int) (p - this_path) == last_path_len
8045 && ! filename_ncmp (last_path, this_path, last_path_len));
8047 last_path = this_path;
8048 last_path_len = p - this_path;
8051 /* If this directory requires any default arguments, we can skip
8052 it. We will already have printed a directory identical to
8053 this one which does not require that default argument. */
8054 if (! skip)
8056 const char *q;
8058 q = p + 1;
8059 while (*q != ';')
8061 const char *arg;
8063 if (*q == '\0')
8064 goto invalid_select;
8066 if (*q == '!')
8067 arg = NULL;
8068 else
8069 arg = q;
8071 while (*q != ' ' && *q != ';')
8073 if (*q == '\0')
8074 goto invalid_select;
8075 ++q;
8078 if (arg != NULL
8079 && default_arg (arg, q - arg))
8081 skip = 1;
8082 break;
8085 if (*q == ' ')
8086 ++q;
8090 if (! skip)
8092 const char *p1;
8094 for (p1 = last_path; p1 < p && *p1 != ':'; p1++)
8095 putchar (*p1);
8096 putchar (';');
8099 ++p;
8100 while (*p != ';')
8102 int use_arg;
8104 if (*p == '\0')
8105 goto invalid_select;
8107 if (skip)
8109 ++p;
8110 continue;
8113 use_arg = *p != '!';
8115 if (use_arg)
8116 putchar ('@');
8118 while (*p != ' ' && *p != ';')
8120 if (*p == '\0')
8121 goto invalid_select;
8122 if (use_arg)
8123 putchar (*p);
8124 ++p;
8127 if (*p == ' ')
8128 ++p;
8131 if (! skip)
8133 /* If there are extra options, print them now. */
8134 if (multilib_extra && *multilib_extra)
8136 int print_at = TRUE;
8137 const char *q;
8139 for (q = multilib_extra; *q != '\0'; q++)
8141 if (*q == ' ')
8142 print_at = TRUE;
8143 else
8145 if (print_at)
8146 putchar ('@');
8147 putchar (*q);
8148 print_at = FALSE;
8153 putchar ('\n');
8156 ++p;
8160 /* getenv built-in spec function.
8162 Returns the value of the environment variable given by its first
8163 argument, concatenated with the second argument. If the
8164 environment variable is not defined, a fatal error is issued. */
8166 static const char *
8167 getenv_spec_function (int argc, const char **argv)
8169 char *value;
8170 char *result;
8171 char *ptr;
8172 size_t len;
8174 if (argc != 2)
8175 return NULL;
8177 value = getenv (argv[0]);
8178 if (!value)
8179 fatal_error ("environment variable %qs not defined", argv[0]);
8181 /* We have to escape every character of the environment variable so
8182 they are not interpreted as active spec characters. A
8183 particularly painful case is when we are reading a variable
8184 holding a windows path complete with \ separators. */
8185 len = strlen (value) * 2 + strlen (argv[1]) + 1;
8186 result = XNEWVAR (char, len);
8187 for (ptr = result; *value; ptr += 2)
8189 ptr[0] = '\\';
8190 ptr[1] = *value++;
8193 strcpy (ptr, argv[1]);
8195 return result;
8198 /* if-exists built-in spec function.
8200 Checks to see if the file specified by the absolute pathname in
8201 ARGS exists. Returns that pathname if found.
8203 The usual use for this function is to check for a library file
8204 (whose name has been expanded with %s). */
8206 static const char *
8207 if_exists_spec_function (int argc, const char **argv)
8209 /* Must have only one argument. */
8210 if (argc == 1 && IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8211 return argv[0];
8213 return NULL;
8216 /* if-exists-else built-in spec function.
8218 This is like if-exists, but takes an additional argument which
8219 is returned if the first argument does not exist. */
8221 static const char *
8222 if_exists_else_spec_function (int argc, const char **argv)
8224 /* Must have exactly two arguments. */
8225 if (argc != 2)
8226 return NULL;
8228 if (IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8229 return argv[0];
8231 return argv[1];
8234 /* sanitize built-in spec function.
8236 This returns non-NULL, if sanitizing address, thread or
8237 any of the undefined behavior sanitizers. */
8239 static const char *
8240 sanitize_spec_function (int argc, const char **argv)
8242 if (argc != 1)
8243 return NULL;
8245 if (strcmp (argv[0], "address") == 0)
8246 return (flag_sanitize & SANITIZE_USER_ADDRESS) ? "" : NULL;
8247 if (strcmp (argv[0], "kernel-address") == 0)
8248 return (flag_sanitize & SANITIZE_KERNEL_ADDRESS) ? "" : NULL;
8249 if (strcmp (argv[0], "thread") == 0)
8250 return (flag_sanitize & SANITIZE_THREAD) ? "" : NULL;
8251 if (strcmp (argv[0], "undefined") == 0)
8252 return (flag_sanitize & SANITIZE_UNDEFINED) ? "" : NULL;
8253 if (strcmp (argv[0], "leak") == 0)
8254 return ((flag_sanitize
8255 & (SANITIZE_ADDRESS | SANITIZE_LEAK | SANITIZE_THREAD))
8256 == SANITIZE_LEAK) ? "" : NULL;
8257 return NULL;
8260 /* replace-outfile built-in spec function.
8262 This looks for the first argument in the outfiles array's name and
8263 replaces it with the second argument. */
8265 static const char *
8266 replace_outfile_spec_function (int argc, const char **argv)
8268 int i;
8269 /* Must have exactly two arguments. */
8270 if (argc != 2)
8271 abort ();
8273 for (i = 0; i < n_infiles; i++)
8275 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8276 outfiles[i] = xstrdup (argv[1]);
8278 return NULL;
8281 /* remove-outfile built-in spec function.
8283 * This looks for the first argument in the outfiles array's name and
8284 * removes it. */
8286 static const char *
8287 remove_outfile_spec_function (int argc, const char **argv)
8289 int i;
8290 /* Must have exactly one argument. */
8291 if (argc != 1)
8292 abort ();
8294 for (i = 0; i < n_infiles; i++)
8296 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8297 outfiles[i] = NULL;
8299 return NULL;
8302 /* Given two version numbers, compares the two numbers.
8303 A version number must match the regular expression
8304 ([1-9][0-9]*|0)(\.([1-9][0-9]*|0))*
8306 static int
8307 compare_version_strings (const char *v1, const char *v2)
8309 int rresult;
8310 regex_t r;
8312 if (regcomp (&r, "^([1-9][0-9]*|0)(\\.([1-9][0-9]*|0))*$",
8313 REG_EXTENDED | REG_NOSUB) != 0)
8314 abort ();
8315 rresult = regexec (&r, v1, 0, NULL, 0);
8316 if (rresult == REG_NOMATCH)
8317 fatal_error ("invalid version number %qs", v1);
8318 else if (rresult != 0)
8319 abort ();
8320 rresult = regexec (&r, v2, 0, NULL, 0);
8321 if (rresult == REG_NOMATCH)
8322 fatal_error ("invalid version number %qs", v2);
8323 else if (rresult != 0)
8324 abort ();
8326 return strverscmp (v1, v2);
8330 /* version_compare built-in spec function.
8332 This takes an argument of the following form:
8334 <comparison-op> <arg1> [<arg2>] <switch> <result>
8336 and produces "result" if the comparison evaluates to true,
8337 and nothing if it doesn't.
8339 The supported <comparison-op> values are:
8341 >= true if switch is a later (or same) version than arg1
8342 !> opposite of >=
8343 < true if switch is an earlier version than arg1
8344 !< opposite of <
8345 >< true if switch is arg1 or later, and earlier than arg2
8346 <> true if switch is earlier than arg1 or is arg2 or later
8348 If the switch is not present, the condition is false unless
8349 the first character of the <comparison-op> is '!'.
8351 For example,
8352 %:version-compare(>= 10.3 mmacosx-version-min= -lmx)
8353 adds -lmx if -mmacosx-version-min=10.3.9 was passed. */
8355 static const char *
8356 version_compare_spec_function (int argc, const char **argv)
8358 int comp1, comp2;
8359 size_t switch_len;
8360 const char *switch_value = NULL;
8361 int nargs = 1, i;
8362 bool result;
8364 if (argc < 3)
8365 fatal_error ("too few arguments to %%:version-compare");
8366 if (argv[0][0] == '\0')
8367 abort ();
8368 if ((argv[0][1] == '<' || argv[0][1] == '>') && argv[0][0] != '!')
8369 nargs = 2;
8370 if (argc != nargs + 3)
8371 fatal_error ("too many arguments to %%:version-compare");
8373 switch_len = strlen (argv[nargs + 1]);
8374 for (i = 0; i < n_switches; i++)
8375 if (!strncmp (switches[i].part1, argv[nargs + 1], switch_len)
8376 && check_live_switch (i, switch_len))
8377 switch_value = switches[i].part1 + switch_len;
8379 if (switch_value == NULL)
8380 comp1 = comp2 = -1;
8381 else
8383 comp1 = compare_version_strings (switch_value, argv[1]);
8384 if (nargs == 2)
8385 comp2 = compare_version_strings (switch_value, argv[2]);
8386 else
8387 comp2 = -1; /* This value unused. */
8390 switch (argv[0][0] << 8 | argv[0][1])
8392 case '>' << 8 | '=':
8393 result = comp1 >= 0;
8394 break;
8395 case '!' << 8 | '<':
8396 result = comp1 >= 0 || switch_value == NULL;
8397 break;
8398 case '<' << 8:
8399 result = comp1 < 0;
8400 break;
8401 case '!' << 8 | '>':
8402 result = comp1 < 0 || switch_value == NULL;
8403 break;
8404 case '>' << 8 | '<':
8405 result = comp1 >= 0 && comp2 < 0;
8406 break;
8407 case '<' << 8 | '>':
8408 result = comp1 < 0 || comp2 >= 0;
8409 break;
8411 default:
8412 fatal_error ("unknown operator %qs in %%:version-compare", argv[0]);
8414 if (! result)
8415 return NULL;
8417 return argv[nargs + 2];
8420 /* %:include builtin spec function. This differs from %include in that it
8421 can be nested inside a spec, and thus be conditionalized. It takes
8422 one argument, the filename, and looks for it in the startfile path.
8423 The result is always NULL, i.e. an empty expansion. */
8425 static const char *
8426 include_spec_function (int argc, const char **argv)
8428 char *file;
8430 if (argc != 1)
8431 abort ();
8433 file = find_a_file (&startfile_prefixes, argv[0], R_OK, true);
8434 read_specs (file ? file : argv[0], false, false);
8436 return NULL;
8439 /* %:find-file spec function. This function replaces its argument by
8440 the file found through find_file, that is the -print-file-name gcc
8441 program option. */
8442 static const char *
8443 find_file_spec_function (int argc, const char **argv)
8445 const char *file;
8447 if (argc != 1)
8448 abort ();
8450 file = find_file (argv[0]);
8451 return file;
8455 /* %:find-plugindir spec function. This function replaces its argument
8456 by the -iplugindir=<dir> option. `dir' is found through find_file, that
8457 is the -print-file-name gcc program option. */
8458 static const char *
8459 find_plugindir_spec_function (int argc, const char **argv ATTRIBUTE_UNUSED)
8461 const char *option;
8463 if (argc != 0)
8464 abort ();
8466 option = concat ("-iplugindir=", find_file ("plugin"), NULL);
8467 return option;
8471 /* %:print-asm-header spec function. Print a banner to say that the
8472 following output is from the assembler. */
8474 static const char *
8475 print_asm_header_spec_function (int arg ATTRIBUTE_UNUSED,
8476 const char **argv ATTRIBUTE_UNUSED)
8478 printf (_("Assembler options\n=================\n\n"));
8479 printf (_("Use \"-Wa,OPTION\" to pass \"OPTION\" to the assembler.\n\n"));
8480 fflush (stdout);
8481 return NULL;
8484 /* Get a random number for -frandom-seed */
8486 static unsigned HOST_WIDE_INT
8487 get_random_number (void)
8489 unsigned HOST_WIDE_INT ret = 0;
8490 int fd;
8492 fd = open ("/dev/urandom", O_RDONLY);
8493 if (fd >= 0)
8495 read (fd, &ret, sizeof (HOST_WIDE_INT));
8496 close (fd);
8497 if (ret)
8498 return ret;
8501 /* Get some more or less random data. */
8502 #ifdef HAVE_GETTIMEOFDAY
8504 struct timeval tv;
8506 gettimeofday (&tv, NULL);
8507 ret = tv.tv_sec * 1000 + tv.tv_usec / 1000;
8509 #else
8511 time_t now = time (NULL);
8513 if (now != (time_t)-1)
8514 ret = (unsigned) now;
8516 #endif
8518 return ret ^ getpid ();
8521 /* %:compare-debug-dump-opt spec function. Save the last argument,
8522 expected to be the last -fdump-final-insns option, or generate a
8523 temporary. */
8525 static const char *
8526 compare_debug_dump_opt_spec_function (int arg,
8527 const char **argv ATTRIBUTE_UNUSED)
8529 char *ret;
8530 char *name;
8531 int which;
8532 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
8534 if (arg != 0)
8535 fatal_error ("too many arguments to %%:compare-debug-dump-opt");
8537 do_spec_2 ("%{fdump-final-insns=*:%*}");
8538 do_spec_1 (" ", 0, NULL);
8540 if (argbuf.length () > 0
8541 && strcmp (argv[argbuf.length () - 1], "."))
8543 if (!compare_debug)
8544 return NULL;
8546 name = xstrdup (argv[argbuf.length () - 1]);
8547 ret = NULL;
8549 else
8551 const char *ext = NULL;
8553 if (argbuf.length () > 0)
8555 do_spec_2 ("%{o*:%*}%{!o:%{!S:%b%O}%{S:%b.s}}");
8556 ext = ".gkd";
8558 else if (!compare_debug)
8559 return NULL;
8560 else
8561 do_spec_2 ("%g.gkd");
8563 do_spec_1 (" ", 0, NULL);
8565 gcc_assert (argbuf.length () > 0);
8567 name = concat (argbuf.last (), ext, NULL);
8569 ret = concat ("-fdump-final-insns=", name, NULL);
8572 which = compare_debug < 0;
8573 debug_check_temp_file[which] = name;
8575 if (!which)
8577 unsigned HOST_WIDE_INT value = get_random_number ();
8579 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
8582 if (*random_seed)
8584 char *tmp = ret;
8585 ret = concat ("%{!frandom-seed=*:-frandom-seed=", random_seed, "} ",
8586 ret, NULL);
8587 free (tmp);
8590 if (which)
8591 *random_seed = 0;
8593 return ret;
8596 static const char *debug_auxbase_opt;
8598 /* %:compare-debug-self-opt spec function. Expands to the options
8599 that are to be passed in the second compilation of
8600 compare-debug. */
8602 static const char *
8603 compare_debug_self_opt_spec_function (int arg,
8604 const char **argv ATTRIBUTE_UNUSED)
8606 if (arg != 0)
8607 fatal_error ("too many arguments to %%:compare-debug-self-opt");
8609 if (compare_debug >= 0)
8610 return NULL;
8612 do_spec_2 ("%{c|S:%{o*:%*}}");
8613 do_spec_1 (" ", 0, NULL);
8615 if (argbuf.length () > 0)
8616 debug_auxbase_opt = concat ("-auxbase-strip ",
8617 argbuf.last (),
8618 NULL);
8619 else
8620 debug_auxbase_opt = NULL;
8622 return concat ("\
8623 %<o %<MD %<MMD %<MF* %<MG %<MP %<MQ* %<MT* \
8624 %<fdump-final-insns=* -w -S -o %j \
8625 %{!fcompare-debug-second:-fcompare-debug-second} \
8626 ", compare_debug_opt, NULL);
8629 /* %:compare-debug-auxbase-opt spec function. Expands to the auxbase
8630 options that are to be passed in the second compilation of
8631 compare-debug. It expects, as an argument, the basename of the
8632 current input file name, with the .gk suffix appended to it. */
8634 static const char *
8635 compare_debug_auxbase_opt_spec_function (int arg,
8636 const char **argv)
8638 char *name;
8639 int len;
8641 if (arg == 0)
8642 fatal_error ("too few arguments to %%:compare-debug-auxbase-opt");
8644 if (arg != 1)
8645 fatal_error ("too many arguments to %%:compare-debug-auxbase-opt");
8647 if (compare_debug >= 0)
8648 return NULL;
8650 len = strlen (argv[0]);
8651 if (len < 3 || strcmp (argv[0] + len - 3, ".gk") != 0)
8652 fatal_error ("argument to %%:compare-debug-auxbase-opt "
8653 "does not end in .gk");
8655 if (debug_auxbase_opt)
8656 return debug_auxbase_opt;
8658 #define OPT "-auxbase "
8660 len -= 3;
8661 name = (char*) xmalloc (sizeof (OPT) + len);
8662 memcpy (name, OPT, sizeof (OPT) - 1);
8663 memcpy (name + sizeof (OPT) - 1, argv[0], len);
8664 name[sizeof (OPT) - 1 + len] = '\0';
8666 #undef OPT
8668 return name;
8671 /* %:pass-through-libs spec function. Finds all -l options and input
8672 file names in the lib spec passed to it, and makes a list of them
8673 prepended with the plugin option to cause them to be passed through
8674 to the final link after all the new object files have been added. */
8676 const char *
8677 pass_through_libs_spec_func (int argc, const char **argv)
8679 char *prepended = xstrdup (" ");
8680 int n;
8681 /* Shlemiel the painter's algorithm. Innately horrible, but at least
8682 we know that there will never be more than a handful of strings to
8683 concat, and it's only once per run, so it's not worth optimising. */
8684 for (n = 0; n < argc; n++)
8686 char *old = prepended;
8687 /* Anything that isn't an option is a full path to an output
8688 file; pass it through if it ends in '.a'. Among options,
8689 pass only -l. */
8690 if (argv[n][0] == '-' && argv[n][1] == 'l')
8692 const char *lopt = argv[n] + 2;
8693 /* Handle both joined and non-joined -l options. If for any
8694 reason there's a trailing -l with no joined or following
8695 arg just discard it. */
8696 if (!*lopt && ++n >= argc)
8697 break;
8698 else if (!*lopt)
8699 lopt = argv[n];
8700 prepended = concat (prepended, "-plugin-opt=-pass-through=-l",
8701 lopt, " ", NULL);
8703 else if (!strcmp (".a", argv[n] + strlen (argv[n]) - 2))
8705 prepended = concat (prepended, "-plugin-opt=-pass-through=",
8706 argv[n], " ", NULL);
8708 if (prepended != old)
8709 free (old);
8711 return prepended;
8714 /* %:replace-extension spec function. Replaces the extension of the
8715 first argument with the second argument. */
8717 const char *
8718 replace_extension_spec_func (int argc, const char **argv)
8720 char *name;
8721 char *p;
8722 char *result;
8723 int i;
8725 if (argc != 2)
8726 fatal_error ("too few arguments to %%:replace-extension");
8728 name = xstrdup (argv[0]);
8730 for (i = strlen (name) - 1; i >= 0; i--)
8731 if (IS_DIR_SEPARATOR (name[i]))
8732 break;
8734 p = strrchr (name + i + 1, '.');
8735 if (p != NULL)
8736 *p = '\0';
8738 result = concat (name, argv[1], NULL);
8740 free (name);
8741 return result;
8744 /* Insert backslash before spaces in ORIG (usually a file path), to
8745 avoid being broken by spec parser.
8747 This function is needed as do_spec_1 treats white space (' ' and '\t')
8748 as the end of an argument. But in case of -plugin /usr/gcc install/xxx.so,
8749 the file name should be treated as a single argument rather than being
8750 broken into multiple. Solution is to insert '\\' before the space in a
8751 file name.
8753 This function converts and only converts all occurrence of ' '
8754 to '\\' + ' ' and '\t' to '\\' + '\t'. For example:
8755 "a b" -> "a\\ b"
8756 "a b" -> "a\\ \\ b"
8757 "a\tb" -> "a\\\tb"
8758 "a\\ b" -> "a\\\\ b"
8760 orig: input null-terminating string that was allocated by xalloc. The
8761 memory it points to might be freed in this function. Behavior undefined
8762 if ORIG wasn't xalloced or was freed already at entry.
8764 Return: ORIG if no conversion needed. Otherwise a newly allocated string
8765 that was converted from ORIG. */
8767 static char *
8768 convert_white_space (char *orig)
8770 int len, number_of_space = 0;
8772 for (len = 0; orig[len]; len++)
8773 if (orig[len] == ' ' || orig[len] == '\t') number_of_space++;
8775 if (number_of_space)
8777 char *new_spec = (char *) xmalloc (len + number_of_space + 1);
8778 int j, k;
8779 for (j = 0, k = 0; j <= len; j++, k++)
8781 if (orig[j] == ' ' || orig[j] == '\t')
8782 new_spec[k++] = '\\';
8783 new_spec[k] = orig[j];
8785 free (orig);
8786 return new_spec;
8788 else
8789 return orig;