Backport r203445 from v17
[official-gcc.git] / gcc-4_8 / gcc / gcc.c
blobc63526fb4a59315c25ffe80b2568603321c29285
1 /* Compiler driver program that can handle many languages.
2 Copyright (C) 1987-2013 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 /* Whether we should report subprocess execution times to a file. */
110 FILE *report_times_to_file = NULL;
112 /* Nonzero means place this string before uses of /, so that include
113 and library files can be found in an alternate location. */
115 #ifdef TARGET_SYSTEM_ROOT
116 static const char *target_system_root = TARGET_SYSTEM_ROOT;
117 #else
118 static const char *target_system_root = 0;
119 #endif
121 /* Nonzero means pass the updated target_system_root to the compiler. */
123 static int target_system_root_changed;
125 /* Nonzero means append this string to target_system_root. */
127 static const char *target_sysroot_suffix = 0;
129 /* Nonzero means append this string to target_system_root for headers. */
131 static const char *target_sysroot_hdrs_suffix = 0;
133 /* Nonzero means write "temp" files in source directory
134 and use the source file's name in them, and don't delete them. */
136 static enum save_temps {
137 SAVE_TEMPS_NONE, /* no -save-temps */
138 SAVE_TEMPS_CWD, /* -save-temps in current directory */
139 SAVE_TEMPS_OBJ /* -save-temps in object directory */
140 } save_temps_flag;
142 /* Output file to use to get the object directory for -save-temps=obj */
143 static char *save_temps_prefix = 0;
144 static size_t save_temps_length = 0;
146 /* The compiler version. */
148 static const char *compiler_version;
150 /* The target version. */
152 static const char *const spec_version = DEFAULT_TARGET_VERSION;
154 /* The target machine. */
156 static const char *spec_machine = DEFAULT_TARGET_MACHINE;
158 /* Nonzero if cross-compiling.
159 When -b is used, the value comes from the `specs' file. */
161 #ifdef CROSS_DIRECTORY_STRUCTURE
162 static const char *cross_compile = "1";
163 #else
164 static const char *cross_compile = "0";
165 #endif
167 /* Greatest exit code of sub-processes that has been encountered up to
168 now. */
169 static int greatest_status = 1;
171 /* This is the obstack which we use to allocate many strings. */
173 static struct obstack obstack;
175 /* This is the obstack to build an environment variable to pass to
176 collect2 that describes all of the relevant switches of what to
177 pass the compiler in building the list of pointers to constructors
178 and destructors. */
180 static struct obstack collect_obstack;
182 /* Forward declaration for prototypes. */
183 struct path_prefix;
184 struct prefix_list;
186 static void init_spec (void);
187 static void store_arg (const char *, int, int);
188 static void insert_wrapper (const char *);
189 static char *load_specs (const char *);
190 static void read_specs (const char *, bool, bool);
191 static void set_spec (const char *, const char *, bool);
192 static struct compiler *lookup_compiler (const char *, size_t, const char *);
193 static char *build_search_list (const struct path_prefix *, const char *,
194 bool, bool);
195 static void xputenv (const char *);
196 static void putenv_from_prefixes (const struct path_prefix *, const char *,
197 bool);
198 static int access_check (const char *, int);
199 static char *find_a_file (const struct path_prefix *, const char *, int, bool);
200 static void add_prefix (struct path_prefix *, const char *, const char *,
201 int, int, int);
202 static void add_sysrooted_prefix (struct path_prefix *, const char *,
203 const char *, int, int, int);
204 static char *skip_whitespace (char *);
205 static void delete_if_ordinary (const char *);
206 static void delete_temp_files (void);
207 static void delete_failure_queue (void);
208 static void clear_failure_queue (void);
209 static int check_live_switch (int, int);
210 static const char *handle_braces (const char *);
211 static inline bool input_suffix_matches (const char *, const char *);
212 static inline bool switch_matches (const char *, const char *, int);
213 static inline void mark_matching_switches (const char *, const char *, int);
214 static inline void process_marked_switches (void);
215 static const char *process_brace_body (const char *, const char *, const char *, int, int);
216 static const struct spec_function *lookup_spec_function (const char *);
217 static const char *eval_spec_function (const char *, const char *);
218 static const char *handle_spec_function (const char *);
219 static char *save_string (const char *, int);
220 static void set_collect_gcc_options (void);
221 static int do_spec_1 (const char *, int, const char *);
222 static int do_spec_2 (const char *);
223 static void do_option_spec (const char *, const char *);
224 static void do_self_spec (const char *);
225 static const char *find_file (const char *);
226 static int is_directory (const char *, bool);
227 static const char *validate_switches (const char *, bool);
228 static void validate_all_switches (void);
229 static inline void validate_switches_from_spec (const char *, bool);
230 static void give_switch (int, int);
231 static int used_arg (const char *, int);
232 static int default_arg (const char *, int);
233 static void set_multilib_dir (void);
234 static void print_multilib_info (void);
235 static void perror_with_name (const char *);
236 static void display_help (void);
237 static void add_preprocessor_option (const char *, int);
238 static void add_assembler_option (const char *, int);
239 static void add_linker_option (const char *, int);
240 static void process_command (unsigned int, struct cl_decoded_option *);
241 static int execute (void);
242 static void alloc_args (void);
243 static void clear_args (void);
244 static void fatal_signal (int);
245 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
246 static void init_gcc_specs (struct obstack *, const char *, const char *,
247 const char *);
248 #endif
249 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
250 static const char *convert_filename (const char *, int, int);
251 #endif
253 static const char *getenv_spec_function (int, const char **);
254 static const char *if_exists_spec_function (int, const char **);
255 static const char *if_exists_else_spec_function (int, const char **);
256 static const char *replace_outfile_spec_function (int, const char **);
257 static const char *remove_outfile_spec_function (int, const char **);
258 static const char *version_compare_spec_function (int, const char **);
259 static const char *include_spec_function (int, const char **);
260 static const char *find_file_spec_function (int, const char **);
261 static const char *find_plugindir_spec_function (int, const char **);
262 static const char *print_asm_header_spec_function (int, const char **);
263 static const char *compare_debug_dump_opt_spec_function (int, const char **);
264 static const char *compare_debug_self_opt_spec_function (int, const char **);
265 static const char *compare_debug_auxbase_opt_spec_function (int, const char **);
266 static const char *pass_through_libs_spec_func (int, const char **);
267 static const char *replace_extension_spec_func (int, const char **);
268 static char *convert_white_space (char *);
270 /* The Specs Language
272 Specs are strings containing lines, each of which (if not blank)
273 is made up of a program name, and arguments separated by spaces.
274 The program name must be exact and start from root, since no path
275 is searched and it is unreliable to depend on the current working directory.
276 Redirection of input or output is not supported; the subprograms must
277 accept filenames saying what files to read and write.
279 In addition, the specs can contain %-sequences to substitute variable text
280 or for conditional text. Here is a table of all defined %-sequences.
281 Note that spaces are not generated automatically around the results of
282 expanding these sequences; therefore, you can concatenate them together
283 or with constant text in a single argument.
285 %% substitute one % into the program name or argument.
286 %i substitute the name of the input file being processed.
287 %b substitute the basename of the input file being processed.
288 This is the substring up to (and not including) the last period
289 and not including the directory unless -save-temps was specified
290 to put temporaries in a different location.
291 %B same as %b, but include the file suffix (text after the last period).
292 %gSUFFIX
293 substitute a file name that has suffix SUFFIX and is chosen
294 once per compilation, and mark the argument a la %d. To reduce
295 exposure to denial-of-service attacks, the file name is now
296 chosen in a way that is hard to predict even when previously
297 chosen file names are known. For example, `%g.s ... %g.o ... %g.s'
298 might turn into `ccUVUUAU.s ccXYAXZ12.o ccUVUUAU.s'. SUFFIX matches
299 the regexp "[.0-9A-Za-z]*%O"; "%O" is treated exactly as if it
300 had been pre-processed. Previously, %g was simply substituted
301 with a file name chosen once per compilation, without regard
302 to any appended suffix (which was therefore treated just like
303 ordinary text), making such attacks more likely to succeed.
304 %|SUFFIX
305 like %g, but if -pipe is in effect, expands simply to "-".
306 %mSUFFIX
307 like %g, but if -pipe is in effect, expands to nothing. (We have both
308 %| and %m to accommodate differences between system assemblers; see
309 the AS_NEEDS_DASH_FOR_PIPED_INPUT target macro.)
310 %uSUFFIX
311 like %g, but generates a new temporary file name even if %uSUFFIX
312 was already seen.
313 %USUFFIX
314 substitutes the last file name generated with %uSUFFIX, generating a
315 new one if there is no such last file name. In the absence of any
316 %uSUFFIX, this is just like %gSUFFIX, except they don't share
317 the same suffix "space", so `%g.s ... %U.s ... %g.s ... %U.s'
318 would involve the generation of two distinct file names, one
319 for each `%g.s' and another for each `%U.s'. Previously, %U was
320 simply substituted with a file name chosen for the previous %u,
321 without regard to any appended suffix.
322 %jSUFFIX
323 substitutes the name of the HOST_BIT_BUCKET, if any, and if it is
324 writable, and if save-temps is off; otherwise, substitute the name
325 of a temporary file, just like %u. This temporary file is not
326 meant for communication between processes, but rather as a junk
327 disposal mechanism.
328 %.SUFFIX
329 substitutes .SUFFIX for the suffixes of a matched switch's args when
330 it is subsequently output with %*. SUFFIX is terminated by the next
331 space or %.
332 %d marks the argument containing or following the %d as a
333 temporary file name, so that that file will be deleted if GCC exits
334 successfully. Unlike %g, this contributes no text to the argument.
335 %w marks the argument containing or following the %w as the
336 "output file" of this compilation. This puts the argument
337 into the sequence of arguments that %o will substitute later.
338 %V indicates that this compilation produces no "output file".
339 %W{...}
340 like %{...} but mark last argument supplied within
341 as a file to be deleted on failure.
342 %o substitutes the names of all the output files, with spaces
343 automatically placed around them. You should write spaces
344 around the %o as well or the results are undefined.
345 %o is for use in the specs for running the linker.
346 Input files whose names have no recognized suffix are not compiled
347 at all, but they are included among the output files, so they will
348 be linked.
349 %O substitutes the suffix for object files. Note that this is
350 handled specially when it immediately follows %g, %u, or %U
351 (with or without a suffix argument) because of the need for
352 those to form complete file names. The handling is such that
353 %O is treated exactly as if it had already been substituted,
354 except that %g, %u, and %U do not currently support additional
355 SUFFIX characters following %O as they would following, for
356 example, `.o'.
357 %I Substitute any of -iprefix (made from GCC_EXEC_PREFIX), -isysroot
358 (made from TARGET_SYSTEM_ROOT), -isystem (made from COMPILER_PATH
359 and -B options) and -imultilib as necessary.
360 %s current argument is the name of a library or startup file of some sort.
361 Search for that file in a standard list of directories
362 and substitute the full name found.
363 %eSTR Print STR as an error message. STR is terminated by a newline.
364 Use this when inconsistent options are detected.
365 %nSTR Print STR as a notice. STR is terminated by a newline.
366 %x{OPTION} Accumulate an option for %X.
367 %X Output the accumulated linker options specified by compilations.
368 %Y Output the accumulated assembler options specified by compilations.
369 %Z Output the accumulated preprocessor options specified by compilations.
370 %a process ASM_SPEC as a spec.
371 This allows config.h to specify part of the spec for running as.
372 %A process ASM_FINAL_SPEC as a spec. A capital A is actually
373 used here. This can be used to run a post-processor after the
374 assembler has done its job.
375 %D Dump out a -L option for each directory in startfile_prefixes.
376 If multilib_dir is set, extra entries are generated with it affixed.
377 %l process LINK_SPEC as a spec.
378 %L process LIB_SPEC as a spec.
379 %M Output multilib_os_dir.
380 %G process LIBGCC_SPEC as a spec.
381 %R Output the concatenation of target_system_root and
382 target_sysroot_suffix.
383 %S process STARTFILE_SPEC as a spec. A capital S is actually used here.
384 %E process ENDFILE_SPEC as a spec. A capital E is actually used here.
385 %C process CPP_SPEC as a spec.
386 %1 process CC1_SPEC as a spec.
387 %2 process CC1PLUS_SPEC as a spec.
388 %* substitute the variable part of a matched option. (See below.)
389 Note that each comma in the substituted string is replaced by
390 a single space.
391 %<S remove all occurrences of -S from the command line.
392 Note - this command is position dependent. % commands in the
393 spec string before this one will see -S, % commands in the
394 spec string after this one will not.
395 %>S Similar to "%<S", but keep it in the GCC command line.
396 %<S* remove all occurrences of all switches beginning with -S from the
397 command line.
398 %:function(args)
399 Call the named function FUNCTION, passing it ARGS. ARGS is
400 first processed as a nested spec string, then split into an
401 argument vector in the usual fashion. The function returns
402 a string which is processed as if it had appeared literally
403 as part of the current spec.
404 %{S} substitutes the -S switch, if that switch was given to GCC.
405 If that switch was not specified, this substitutes nothing.
406 Here S is a metasyntactic variable.
407 %{S*} substitutes all the switches specified to GCC whose names start
408 with -S. This is used for -o, -I, etc; switches that take
409 arguments. GCC considers `-o foo' as being one switch whose
410 name starts with `o'. %{o*} would substitute this text,
411 including the space; thus, two arguments would be generated.
412 %{S*&T*} likewise, but preserve order of S and T options (the order
413 of S and T in the spec is not significant). Can be any number
414 of ampersand-separated variables; for each the wild card is
415 optional. Useful for CPP as %{D*&U*&A*}.
417 %{S:X} substitutes X, if the -S switch was given to GCC.
418 %{!S:X} substitutes X, if the -S switch was NOT given to GCC.
419 %{S*:X} substitutes X if one or more switches whose names start
420 with -S was given to GCC. Normally X is substituted only
421 once, no matter how many such switches appeared. However,
422 if %* appears somewhere in X, then X will be substituted
423 once for each matching switch, with the %* replaced by the
424 part of that switch that matched the '*'.
425 %{.S:X} substitutes X, if processing a file with suffix S.
426 %{!.S:X} substitutes X, if NOT processing a file with suffix S.
427 %{,S:X} substitutes X, if processing a file which will use spec S.
428 %{!,S:X} substitutes X, if NOT processing a file which will use spec S.
430 %{S|T:X} substitutes X if either -S or -T was given to GCC. This may be
431 combined with '!', '.', ',', and '*' as above binding stronger
432 than the OR.
433 If %* appears in X, all of the alternatives must be starred, and
434 only the first matching alternative is substituted.
435 %{S:X; if S was given to GCC, substitutes X;
436 T:Y; else if T was given to GCC, substitutes Y;
437 :D} else substitutes D. There can be as many clauses as you need.
438 This may be combined with '.', '!', ',', '|', and '*' as above.
440 %(Spec) processes a specification defined in a specs file as *Spec:
442 The conditional text X in a %{S:X} or similar construct may contain
443 other nested % constructs or spaces, or even newlines. They are
444 processed as usual, as described above. Trailing white space in X is
445 ignored. White space may also appear anywhere on the left side of the
446 colon in these constructs, except between . or * and the corresponding
447 word.
449 The -O, -f, -g, -m, and -W switches are handled specifically in these
450 constructs. If another value of -O or the negated form of a -f, -m, or
451 -W switch is found later in the command line, the earlier switch
452 value is ignored, except with {S*} where S is just one letter; this
453 passes all matching options.
455 The character | at the beginning of the predicate text is used to indicate
456 that a command should be piped to the following command, but only if -pipe
457 is specified.
459 Note that it is built into GCC which switches take arguments and which
460 do not. You might think it would be useful to generalize this to
461 allow each compiler's spec to say which switches take arguments. But
462 this cannot be done in a consistent fashion. GCC cannot even decide
463 which input files have been specified without knowing which switches
464 take arguments, and it must know which input files to compile in order
465 to tell which compilers to run.
467 GCC also knows implicitly that arguments starting in `-l' are to be
468 treated as compiler output files, and passed to the linker in their
469 proper position among the other output files. */
471 /* Define the macros used for specs %a, %l, %L, %S, %C, %1. */
473 /* config.h can define ASM_SPEC to provide extra args to the assembler
474 or extra switch-translations. */
475 #ifndef ASM_SPEC
476 #define ASM_SPEC ""
477 #endif
479 /* config.h can define ASM_FINAL_SPEC to run a post processor after
480 the assembler has run. */
481 #ifndef ASM_FINAL_SPEC
482 #define ASM_FINAL_SPEC \
483 "%{gsplit-dwarf: \n\
484 objcopy --extract-dwo \
485 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
486 %{c:%{o*:%:replace-extension(%{o*:%*} .dwo)}%{!o*:%b.dwo}}%{!c:%b.dwo} \n\
487 objcopy --strip-dwo \
488 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
490 #endif
492 /* config.h can define CPP_SPEC to provide extra args to the C preprocessor
493 or extra switch-translations. */
494 #ifndef CPP_SPEC
495 #define CPP_SPEC ""
496 #endif
498 /* config.h can define CC1_SPEC to provide extra args to cc1 and cc1plus
499 or extra switch-translations. */
500 #ifndef CC1_SPEC
501 #define CC1_SPEC ""
502 #endif
504 /* config.h can define CC1PLUS_SPEC to provide extra args to cc1plus
505 or extra switch-translations. */
506 #ifndef CC1PLUS_SPEC
507 #define CC1PLUS_SPEC ""
508 #endif
510 /* config.h can define LINK_SPEC to provide extra args to the linker
511 or extra switch-translations. */
512 #ifndef LINK_SPEC
513 #define LINK_SPEC ""
514 #endif
516 /* config.h can define LIB_SPEC to override the default libraries. */
517 #ifndef LIB_SPEC
518 #define LIB_SPEC "%{!shared:%{g*:-lg} %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
519 #endif
521 /* mudflap specs */
522 #ifndef MFWRAP_SPEC
523 /* XXX: valid only for GNU ld */
524 /* XXX: should exactly match hooks provided by libmudflap.a */
525 #define MFWRAP_SPEC " %{static: %{fmudflap|fmudflapth: \
526 --wrap=malloc --wrap=free --wrap=calloc --wrap=realloc\
527 --wrap=mmap --wrap=mmap64 --wrap=munmap --wrap=alloca\
528 } %{fmudflapth: --wrap=pthread_create\
529 }} %{fmudflap|fmudflapth: --wrap=main}"
530 #endif
531 #ifndef MFLIB_SPEC
532 #define MFLIB_SPEC "%{fmudflap|fmudflapth: -export-dynamic}"
533 #endif
535 /* When using -fsplit-stack we need to wrap pthread_create, in order
536 to initialize the stack guard. We always use wrapping, rather than
537 shared library ordering, and we keep the wrapper function in
538 libgcc. This is not yet a real spec, though it could become one;
539 it is currently just stuffed into LINK_SPEC. FIXME: This wrapping
540 only works with GNU ld and gold. FIXME: This is incompatible with
541 -fmudflap when linking statically, which wants to do its own
542 wrapping. */
543 #define STACK_SPLIT_SPEC " %{fsplit-stack: --wrap=pthread_create}"
545 #ifndef LIBASAN_SPEC
546 #ifdef STATIC_LIBASAN_LIBS
547 #define ADD_STATIC_LIBASAN_LIBS \
548 " %{static-libasan:" STATIC_LIBASAN_LIBS "}"
549 #else
550 #define ADD_STATIC_LIBASAN_LIBS
551 #endif
552 #ifdef LIBASAN_EARLY_SPEC
553 #define LIBASAN_SPEC ADD_STATIC_LIBASAN_LIBS
554 #elif defined(HAVE_LD_STATIC_DYNAMIC)
555 #define LIBASAN_SPEC "%{static-libasan:" LD_STATIC_OPTION \
556 "} -lasan %{static-libasan:" LD_DYNAMIC_OPTION "}" \
557 ADD_STATIC_LIBASAN_LIBS
558 #else
559 #define LIBASAN_SPEC "-lasan" ADD_STATIC_LIBASAN_LIBS
560 #endif
561 #endif
563 #ifndef LIBASAN_EARLY_SPEC
564 #define LIBASAN_EARLY_SPEC ""
565 #endif
567 #ifndef LIBTSAN_SPEC
568 #ifdef STATIC_LIBTSAN_LIBS
569 #define ADD_STATIC_LIBTSAN_LIBS \
570 " %{static-libtsan:" STATIC_LIBTSAN_LIBS "}"
571 #else
572 #define ADD_STATIC_LIBTSAN_LIBS
573 #endif
574 #ifdef LIBTSAN_EARLY_SPEC
575 #define LIBTSAN_SPEC ADD_STATIC_LIBTSAN_LIBS
576 #elif defined(HAVE_LD_STATIC_DYNAMIC)
577 #define LIBTSAN_SPEC "%{static-libtsan:" LD_STATIC_OPTION \
578 "} -ltsan %{static-libtsan:" LD_DYNAMIC_OPTION "}" \
579 ADD_STATIC_LIBTSAN_LIBS
580 #else
581 #define LIBTSAN_SPEC "-ltsan" ADD_STATIC_LIBTSAN_LIBS
582 #endif
583 #endif
585 #ifndef LIBTSAN_EARLY_SPEC
586 #define LIBTSAN_EARLY_SPEC ""
587 #endif
589 /* config.h can define LIBGCC_SPEC to override how and when libgcc.a is
590 included. */
591 #ifndef LIBGCC_SPEC
592 #if defined(REAL_LIBGCC_SPEC)
593 #define LIBGCC_SPEC REAL_LIBGCC_SPEC
594 #elif defined(LINK_LIBGCC_SPECIAL_1)
595 /* Have gcc do the search for libgcc.a. */
596 #define LIBGCC_SPEC "libgcc.a%s"
597 #else
598 #define LIBGCC_SPEC "-lgcc"
599 #endif
600 #endif
602 /* config.h can define STARTFILE_SPEC to override the default crt0 files. */
603 #ifndef STARTFILE_SPEC
604 #define STARTFILE_SPEC \
605 "%{!shared:%{pg:gcrt0%O%s}%{!pg:%{p:mcrt0%O%s}%{!p:crt0%O%s}}}"
606 #endif
608 /* config.h can define ENDFILE_SPEC to override the default crtn files. */
609 #ifndef ENDFILE_SPEC
610 #define ENDFILE_SPEC ""
611 #endif
613 #ifndef LINKER_NAME
614 #define LINKER_NAME "collect2"
615 #endif
617 #ifdef HAVE_AS_DEBUG_PREFIX_MAP
618 #define ASM_MAP " %{fdebug-prefix-map=*:--debug-prefix-map %*}"
619 #else
620 #define ASM_MAP ""
621 #endif
623 /* Define ASM_DEBUG_SPEC to be a spec suitable for translating '-g'
624 to the assembler. */
625 #ifndef ASM_DEBUG_SPEC
626 # if defined(DBX_DEBUGGING_INFO) && defined(DWARF2_DEBUGGING_INFO) \
627 && defined(HAVE_AS_GDWARF2_DEBUG_FLAG) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
628 # define ASM_DEBUG_SPEC \
629 (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG \
630 ? "%{!g0:%{gdwarf-2*:--gdwarf2}%{!gdwarf-2*:%{g*:--gstabs}}}" ASM_MAP \
631 : "%{!g0:%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}}" ASM_MAP)
632 # else
633 # if defined(DBX_DEBUGGING_INFO) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
634 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gstabs}}" ASM_MAP
635 # endif
636 # if defined(DWARF2_DEBUGGING_INFO) && defined(HAVE_AS_GDWARF2_DEBUG_FLAG)
637 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gdwarf2}}" ASM_MAP
638 # endif
639 # endif
640 #endif
641 #ifndef ASM_DEBUG_SPEC
642 # define ASM_DEBUG_SPEC ""
643 #endif
645 /* Here is the spec for running the linker, after compiling all files. */
647 /* This is overridable by the target in case they need to specify the
648 -lgcc and -lc order specially, yet not require them to override all
649 of LINK_COMMAND_SPEC. */
650 #ifndef LINK_GCC_C_SEQUENCE_SPEC
651 #define LINK_GCC_C_SEQUENCE_SPEC "%G %L %G"
652 #endif
654 #ifndef LINK_SSP_SPEC
655 #ifdef TARGET_LIBC_PROVIDES_SSP
656 #define LINK_SSP_SPEC "%{fstack-protector:}"
657 #else
658 #define LINK_SSP_SPEC "%{fstack-protector|fstack-protector-all:-lssp_nonshared -lssp}"
659 #endif
660 #endif
662 #ifndef LINK_PIE_SPEC
663 #ifdef HAVE_LD_PIE
664 #define LINK_PIE_SPEC "%{pie:-pie} "
665 #else
666 #define LINK_PIE_SPEC "%{pie:} "
667 #endif
668 #endif
670 #ifndef LINK_BUILDID_SPEC
671 # if defined(HAVE_LD_BUILDID) && defined(ENABLE_LD_BUILDID)
672 # define LINK_BUILDID_SPEC "%{!r:--build-id} "
673 # endif
674 #endif
676 /* Conditional to test whether the LTO plugin is used or not.
677 FIXME: For slim LTO we will need to enable plugin unconditionally. This
678 still cause problems with PLUGIN_LD != LD and when plugin is built but
679 not useable. For GCC 4.6 we don't support slim LTO and thus we can enable
680 plugin only when LTO is enabled. We still honor explicit
681 -fuse-linker-plugin if the linker used understands -plugin. */
683 /* The linker has some plugin support. */
684 #if HAVE_LTO_PLUGIN > 0
685 /* The linker used has full plugin support, use LTO plugin by default. */
686 #if HAVE_LTO_PLUGIN == 2
687 #define PLUGIN_COND "!fno-use-linker-plugin:%{flto|flto=*|fuse-linker-plugin"
688 #define PLUGIN_COND_CLOSE "}"
689 #else
690 /* The linker used has limited plugin support, use LTO plugin with explicit
691 -fuse-linker-plugin. */
692 #define PLUGIN_COND "fuse-linker-plugin"
693 #define PLUGIN_COND_CLOSE ""
694 #endif
695 #define LINK_PLUGIN_SPEC \
696 "%{"PLUGIN_COND": \
697 -plugin %(linker_plugin_file) \
698 -plugin-opt=%(lto_wrapper) \
699 -plugin-opt=-fresolution=%u.res \
700 %{!nostdlib:%{!nodefaultlibs:%:pass-through-libs(%(link_gcc_c_sequence))}} \
701 }"PLUGIN_COND_CLOSE
702 #else
703 /* The linker used doesn't support -plugin, reject -fuse-linker-plugin. */
704 #define LINK_PLUGIN_SPEC "%{fuse-linker-plugin:\
705 %e-fuse-linker-plugin is not supported in this configuration}"
706 #endif
708 /* Linker command line options for -fsanitize= early on the command line. */
709 #ifndef SANITIZER_EARLY_SPEC
710 #define SANITIZER_EARLY_SPEC "\
711 %{!nostdlib:%{!nodefaultlibs:%{fsanitize=address:" LIBASAN_EARLY_SPEC "} \
712 %{fsanitize=thread:" LIBTSAN_EARLY_SPEC "}}}"
713 #endif
715 /* Linker command line options for -fsanitize= late on the command line. */
716 #ifndef SANITIZER_SPEC
717 #define SANITIZER_SPEC "\
718 %{!nostdlib:%{!nodefaultlibs:%{fsanitize=address:" LIBASAN_SPEC "\
719 %{static:%ecannot specify -static with -fsanitize=address}\
720 %{fsanitize=thread:%e-fsanitize=address is incompatible with -fsanitize=thread}}\
721 %{fsanitize=thread:" LIBTSAN_SPEC "\
722 %{!pie:%{!shared:%e-fsanitize=thread linking must be done with -pie or -shared}}}}}"
723 #endif
725 /* -u* was put back because both BSD and SysV seem to support it. */
726 /* %{static:} simply prevents an error message if the target machine
727 doesn't handle -static. */
728 /* We want %{T*} after %{L*} and %D so that it can be used to specify linker
729 scripts which exist in user specified directories, or in standard
730 directories. */
731 /* We pass any -flto flags on to the linker, which is expected
732 to understand them. In practice, this means it had better be collect2. */
733 /* %{e*} includes -export-dynamic; see comment in common.opt. */
734 #ifndef LINK_COMMAND_SPEC
735 #define LINK_COMMAND_SPEC "\
736 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S:\
737 %(linker) " \
738 LINK_PLUGIN_SPEC \
739 "%{freorder-functions=*: \
740 -plugin %(func_reorder_linker_plugin_file) \
741 -plugin-opt=%(func_reorder_linker_plugin_opt)}" \
742 "%{flto|flto=*:%<fcompare-debug*} \
743 %{flto} %{flto=*} %l " LINK_PIE_SPEC \
744 "%{fuse-ld=*:-fuse-ld=%*}\
745 %X %{o*} %{e*} %{N} %{n} %{r}\
746 %{s} %{t} %{u*} %{z} %{Z} %{!nostdlib:%{!nostartfiles:%S}}\
747 %{static:} %{L*} %(mfwrap) %(link_libgcc) " SANITIZER_EARLY_SPEC " %o\
748 %{fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)}\
749 %{fgnu-tm:%:include(libitm.spec)%(link_itm)}\
750 %(mflib) " STACK_SPLIT_SPEC "\
751 %{fprofile-arcs|fprofile-generate*|coverage:-lgcov} " SANITIZER_SPEC " \
752 %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
753 %{!nostdlib:%{!nostartfiles:%E}} %{T*} }}}}}}"
754 #endif
756 #ifndef LINK_LIBGCC_SPEC
757 /* Generate -L options for startfile prefix list. */
758 # define LINK_LIBGCC_SPEC "%D"
759 #endif
761 #ifndef STARTFILE_PREFIX_SPEC
762 # define STARTFILE_PREFIX_SPEC ""
763 #endif
765 #ifndef SYSROOT_SPEC
766 # define SYSROOT_SPEC "--sysroot=%R"
767 #endif
769 #ifndef SYSROOT_SUFFIX_SPEC
770 # define SYSROOT_SUFFIX_SPEC ""
771 #endif
773 #ifndef SYSROOT_HEADERS_SUFFIX_SPEC
774 # define SYSROOT_HEADERS_SUFFIX_SPEC ""
775 #endif
777 static const char *asm_debug = ASM_DEBUG_SPEC;
778 static const char *cpp_spec = CPP_SPEC;
779 static const char *cc1_spec = CC1_SPEC;
780 static const char *cc1plus_spec = CC1PLUS_SPEC;
781 static const char *link_gcc_c_sequence_spec = LINK_GCC_C_SEQUENCE_SPEC;
782 static const char *link_ssp_spec = LINK_SSP_SPEC;
783 static const char *asm_spec = ASM_SPEC;
784 static const char *asm_final_spec = ASM_FINAL_SPEC;
785 static const char *link_spec = LINK_SPEC;
786 static const char *lib_spec = LIB_SPEC;
787 static const char *mfwrap_spec = MFWRAP_SPEC;
788 static const char *mflib_spec = MFLIB_SPEC;
789 static const char *link_gomp_spec = "";
790 static const char *libgcc_spec = LIBGCC_SPEC;
791 static const char *endfile_spec = ENDFILE_SPEC;
792 static const char *startfile_spec = STARTFILE_SPEC;
793 static const char *linker_name_spec = LINKER_NAME;
794 static const char *linker_plugin_file_spec = "";
795 static const char *func_reorder_linker_plugin_file_spec = "";
796 static const char *func_reorder_linker_plugin_opt = "";
797 static const char *lto_wrapper_spec = "";
798 static const char *lto_gcc_spec = "";
799 static const char *link_command_spec = LINK_COMMAND_SPEC;
800 static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
801 static const char *startfile_prefix_spec = STARTFILE_PREFIX_SPEC;
802 static const char *sysroot_spec = SYSROOT_SPEC;
803 static const char *sysroot_suffix_spec = SYSROOT_SUFFIX_SPEC;
804 static const char *sysroot_hdrs_suffix_spec = SYSROOT_HEADERS_SUFFIX_SPEC;
805 static const char *self_spec = "";
807 /* Standard options to cpp, cc1, and as, to reduce duplication in specs.
808 There should be no need to override these in target dependent files,
809 but we need to copy them to the specs file so that newer versions
810 of the GCC driver can correctly drive older tool chains with the
811 appropriate -B options. */
813 /* When cpplib handles traditional preprocessing, get rid of this, and
814 call cc1 (or cc1obj in objc/lang-specs.h) from the main specs so
815 that we default the front end language better. */
816 static const char *trad_capable_cpp =
817 "cc1 -E %{traditional|traditional-cpp:-traditional-cpp}";
819 /* We don't wrap .d files in %W{} since a missing .d file, and
820 therefore no dependency entry, confuses make into thinking a .o
821 file that happens to exist is up-to-date. */
822 static const char *cpp_unique_options =
823 "%{!Q:-quiet} %{nostdinc*} %{C} %{CC} %{v} %{I*&F*} %{P} %I\
824 %{MD:-MD %{!o:%b.d}%{o*:%.d%*}}\
825 %{MMD:-MMD %{!o:%b.d}%{o*:%.d%*}}\
826 %{M} %{MM} %{MF*} %{MG} %{MP} %{MQ*} %{MT*}\
827 %{!E:%{!M:%{!MM:%{!MT:%{!MQ:%{MD|MMD:%{o*:-MQ %*}}}}}}}\
828 %{remap} %{g3|ggdb3|gstabs3|gcoff3|gxcoff3|gvms3:-dD}\
829 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
830 %{H} %C %{D*&U*&A*} %{i*} %Z %i\
831 %{fmudflap:-D_MUDFLAP -include mf-runtime.h}\
832 %{fmudflapth:-D_MUDFLAP -D_MUDFLAPTH -include mf-runtime.h}\
833 %{E|M|MM:%W{o*}}";
835 /* This contains cpp options which are common with cc1_options and are passed
836 only when preprocessing only to avoid duplication. We pass the cc1 spec
837 options to the preprocessor so that it the cc1 spec may manipulate
838 options used to set target flags. Those special target flags settings may
839 in turn cause preprocessor symbols to be defined specially. */
840 static const char *cpp_options =
841 "%(cpp_unique_options) %1 %{m*} %{std*&ansi&trigraphs} %{W*&pedantic*} %{w}\
842 %{f*} %{g*:%{!g0:%{g*} %{!fno-working-directory:-fworking-directory}}} %{O*}\
843 %{undef} %{save-temps*:-fpch-preprocess}";
845 /* This contains cpp options which are not passed when the preprocessor
846 output will be used by another program. */
847 static const char *cpp_debug_options = "%{d*}";
849 /* NB: This is shared amongst all front-ends, except for Ada. */
850 static const char *cc1_options =
851 "%{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
852 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
853 %1 %{!Q:-quiet} %{!dumpbase:-dumpbase %B} %{d*} %{m*} %{aux-info*}\
854 %{fcompare-debug-second:%:compare-debug-auxbase-opt(%b)} \
855 %{!fcompare-debug-second:%{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}}%{!c:%{!S:-auxbase %b}} \
856 %{g*} %{O*} %{W*&pedantic*} %{w} %{std*&ansi&trigraphs}\
857 %{v:-version} %{pg:-p} %{p} %{f*} %{undef}\
858 %{Qn:-fno-ident} %{Qy:} %{-help:--help}\
859 %{-target-help:--target-help}\
860 %{-version:--version}\
861 %{-help=*:--help=%*}\
862 %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\
863 %{fsyntax-only:-o %j} %{-param*}\
864 %{fmudflap|fmudflapth:-fno-builtin -fno-merge-constants}\
865 %{coverage:-fprofile-arcs -ftest-coverage -fno-early-inlining}";
867 static const char *asm_options =
868 "%{-target-help:%:print-asm-header()} "
869 #if HAVE_GNU_AS
870 /* If GNU AS is used, then convert -w (no warnings), -I, and -v
871 to the assembler equivalents. */
872 "%{v} %{w:-W} %{I*} "
873 #endif
874 "%a %Y %{c:%W{o*}%{!o*:-o %w%b%O}}%{!c:-o %d%w%u%O}";
876 static const char *invoke_as =
877 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
878 "%{!fwpa:\
879 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
880 %{!S:-o %|.s |\n as %(asm_options) %|.s %A }\
882 #else
883 "%{!fwpa:\
884 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
885 %{!S:-o %|.s |\n as %(asm_options) %m.s %A }\
887 #endif
889 /* Some compilers have limits on line lengths, and the multilib_select
890 and/or multilib_matches strings can be very long, so we build them at
891 run time. */
892 static struct obstack multilib_obstack;
893 static const char *multilib_select;
894 static const char *multilib_matches;
895 static const char *multilib_defaults;
896 static const char *multilib_exclusions;
897 static const char *multilib_reuse;
899 /* Check whether a particular argument is a default argument. */
901 #ifndef MULTILIB_DEFAULTS
902 #define MULTILIB_DEFAULTS { "" }
903 #endif
905 static const char *const multilib_defaults_raw[] = MULTILIB_DEFAULTS;
907 #ifndef DRIVER_SELF_SPECS
908 #define DRIVER_SELF_SPECS ""
909 #endif
911 /* Adding -fopenmp should imply pthreads. This is particularly important
912 for targets that use different start files and suchlike. */
913 #ifndef GOMP_SELF_SPECS
914 #define GOMP_SELF_SPECS "%{fopenmp|ftree-parallelize-loops=*: -pthread}"
915 #endif
917 /* Likewise for -fgnu-tm. */
918 #ifndef GTM_SELF_SPECS
919 #define GTM_SELF_SPECS "%{fgnu-tm: -pthread}"
920 #endif
922 static const char *const driver_self_specs[] = {
923 "%{fdump-final-insns:-fdump-final-insns=.} %<fdump-final-insns",
924 DRIVER_SELF_SPECS, CONFIGURE_SPECS, GOMP_SELF_SPECS, GTM_SELF_SPECS
927 #ifndef OPTION_DEFAULT_SPECS
928 #define OPTION_DEFAULT_SPECS { "", "" }
929 #endif
931 struct default_spec
933 const char *name;
934 const char *spec;
937 static const struct default_spec
938 option_default_specs[] = { OPTION_DEFAULT_SPECS };
940 struct user_specs
942 struct user_specs *next;
943 const char *filename;
946 static struct user_specs *user_specs_head, *user_specs_tail;
949 /* Record the mapping from file suffixes for compilation specs. */
951 struct compiler
953 const char *suffix; /* Use this compiler for input files
954 whose names end in this suffix. */
956 const char *spec; /* To use this compiler, run this spec. */
958 const char *cpp_spec; /* If non-NULL, substitute this spec
959 for `%C', rather than the usual
960 cpp_spec. */
961 const int combinable; /* If nonzero, compiler can deal with
962 multiple source files at once (IMA). */
963 const int needs_preprocessing; /* If nonzero, source files need to
964 be run through a preprocessor. */
967 /* Pointer to a vector of `struct compiler' that gives the spec for
968 compiling a file, based on its suffix.
969 A file that does not end in any of these suffixes will be passed
970 unchanged to the loader and nothing else will be done to it.
972 An entry containing two 0s is used to terminate the vector.
974 If multiple entries match a file, the last matching one is used. */
976 static struct compiler *compilers;
978 /* Number of entries in `compilers', not counting the null terminator. */
980 static int n_compilers;
982 /* The default list of file name suffixes and their compilation specs. */
984 static const struct compiler default_compilers[] =
986 /* Add lists of suffixes of known languages here. If those languages
987 were not present when we built the driver, we will hit these copies
988 and be given a more meaningful error than "file not used since
989 linking is not done". */
990 {".m", "#Objective-C", 0, 0, 0}, {".mi", "#Objective-C", 0, 0, 0},
991 {".mm", "#Objective-C++", 0, 0, 0}, {".M", "#Objective-C++", 0, 0, 0},
992 {".mii", "#Objective-C++", 0, 0, 0},
993 {".cc", "#C++", 0, 0, 0}, {".cxx", "#C++", 0, 0, 0},
994 {".cpp", "#C++", 0, 0, 0}, {".cp", "#C++", 0, 0, 0},
995 {".c++", "#C++", 0, 0, 0}, {".C", "#C++", 0, 0, 0},
996 {".CPP", "#C++", 0, 0, 0}, {".ii", "#C++", 0, 0, 0},
997 {".ads", "#Ada", 0, 0, 0}, {".adb", "#Ada", 0, 0, 0},
998 {".f", "#Fortran", 0, 0, 0}, {".F", "#Fortran", 0, 0, 0},
999 {".for", "#Fortran", 0, 0, 0}, {".FOR", "#Fortran", 0, 0, 0},
1000 {".ftn", "#Fortran", 0, 0, 0}, {".FTN", "#Fortran", 0, 0, 0},
1001 {".fpp", "#Fortran", 0, 0, 0}, {".FPP", "#Fortran", 0, 0, 0},
1002 {".f90", "#Fortran", 0, 0, 0}, {".F90", "#Fortran", 0, 0, 0},
1003 {".f95", "#Fortran", 0, 0, 0}, {".F95", "#Fortran", 0, 0, 0},
1004 {".f03", "#Fortran", 0, 0, 0}, {".F03", "#Fortran", 0, 0, 0},
1005 {".f08", "#Fortran", 0, 0, 0}, {".F08", "#Fortran", 0, 0, 0},
1006 {".r", "#Ratfor", 0, 0, 0},
1007 {".p", "#Pascal", 0, 0, 0}, {".pas", "#Pascal", 0, 0, 0},
1008 {".java", "#Java", 0, 0, 0}, {".class", "#Java", 0, 0, 0},
1009 {".zip", "#Java", 0, 0, 0}, {".jar", "#Java", 0, 0, 0},
1010 {".go", "#Go", 0, 1, 0},
1011 /* Next come the entries for C. */
1012 {".c", "@c", 0, 0, 1},
1013 {"@c",
1014 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1015 external preprocessor if -save-temps is given. */
1016 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1017 %{!E:%{!M:%{!MM:\
1018 %{traditional:\
1019 %eGNU C no longer supports -traditional without -E}\
1020 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1021 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1022 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1023 %(cc1_options)}\
1024 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1025 cc1 %(cpp_unique_options) %(cc1_options)}}}\
1026 %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 1},
1027 {"-",
1028 "%{!E:%e-E or -x required when input is from standard input}\
1029 %(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)", 0, 0, 0},
1030 {".h", "@c-header", 0, 0, 0},
1031 {"@c-header",
1032 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1033 external preprocessor if -save-temps is given. */
1034 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1035 %{!E:%{!M:%{!MM:\
1036 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1037 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1038 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1039 %(cc1_options)\
1040 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1041 %W{o*:--output-pch=%*}}%V}\
1042 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1043 cc1 %(cpp_unique_options) %(cc1_options)\
1044 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1045 %W{o*:--output-pch=%*}}%V}}}}}}", 0, 0, 0},
1046 {".i", "@cpp-output", 0, 0, 0},
1047 {"@cpp-output",
1048 "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 0},
1049 {".s", "@assembler", 0, 0, 0},
1050 {"@assembler",
1051 "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0, 0, 0},
1052 {".sx", "@assembler-with-cpp", 0, 0, 0},
1053 {".S", "@assembler-with-cpp", 0, 0, 0},
1054 {"@assembler-with-cpp",
1055 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
1056 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1057 %{E|M|MM:%(cpp_debug_options)}\
1058 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1059 as %(asm_debug) %(asm_options) %|.s %A }}}}"
1060 #else
1061 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1062 %{E|M|MM:%(cpp_debug_options)}\
1063 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1064 as %(asm_debug) %(asm_options) %m.s %A }}}}"
1065 #endif
1066 , 0, 0, 0},
1068 #include "specs.h"
1069 /* Mark end of table. */
1070 {0, 0, 0, 0, 0}
1073 /* Number of elements in default_compilers, not counting the terminator. */
1075 static const int n_default_compilers = ARRAY_SIZE (default_compilers) - 1;
1077 typedef char *char_p; /* For DEF_VEC_P. */
1079 /* A vector of options to give to the linker.
1080 These options are accumulated by %x,
1081 and substituted into the linker command with %X. */
1082 static vec<char_p> linker_options;
1084 /* A vector of options to give to the assembler.
1085 These options are accumulated by -Wa,
1086 and substituted into the assembler command with %Y. */
1087 static vec<char_p> assembler_options;
1089 /* A vector of options to give to the preprocessor.
1090 These options are accumulated by -Wp,
1091 and substituted into the preprocessor command with %Z. */
1092 static vec<char_p> preprocessor_options;
1094 static char *
1095 skip_whitespace (char *p)
1097 while (1)
1099 /* A fully-blank line is a delimiter in the SPEC file and shouldn't
1100 be considered whitespace. */
1101 if (p[0] == '\n' && p[1] == '\n' && p[2] == '\n')
1102 return p + 1;
1103 else if (*p == '\n' || *p == ' ' || *p == '\t')
1104 p++;
1105 else if (*p == '#')
1107 while (*p != '\n')
1108 p++;
1109 p++;
1111 else
1112 break;
1115 return p;
1117 /* Structures to keep track of prefixes to try when looking for files. */
1119 struct prefix_list
1121 const char *prefix; /* String to prepend to the path. */
1122 struct prefix_list *next; /* Next in linked list. */
1123 int require_machine_suffix; /* Don't use without machine_suffix. */
1124 /* 2 means try both machine_suffix and just_machine_suffix. */
1125 int priority; /* Sort key - priority within list. */
1126 int os_multilib; /* 1 if OS multilib scheme should be used,
1127 0 for GCC multilib scheme. */
1130 struct path_prefix
1132 struct prefix_list *plist; /* List of prefixes to try */
1133 int max_len; /* Max length of a prefix in PLIST */
1134 const char *name; /* Name of this list (used in config stuff) */
1137 /* List of prefixes to try when looking for executables. */
1139 static struct path_prefix exec_prefixes = { 0, 0, "exec" };
1141 /* List of prefixes to try when looking for startup (crt0) files. */
1143 static struct path_prefix startfile_prefixes = { 0, 0, "startfile" };
1145 /* List of prefixes to try when looking for include files. */
1147 static struct path_prefix include_prefixes = { 0, 0, "include" };
1149 /* Suffix to attach to directories searched for commands.
1150 This looks like `MACHINE/VERSION/'. */
1152 static const char *machine_suffix = 0;
1154 /* Suffix to attach to directories searched for commands.
1155 This is just `MACHINE/'. */
1157 static const char *just_machine_suffix = 0;
1159 /* Adjusted value of GCC_EXEC_PREFIX envvar. */
1161 static const char *gcc_exec_prefix;
1163 /* Adjusted value of standard_libexec_prefix. */
1165 static const char *gcc_libexec_prefix;
1167 /* Default prefixes to attach to command names. */
1169 #ifndef STANDARD_STARTFILE_PREFIX_1
1170 #define STANDARD_STARTFILE_PREFIX_1 "/lib/"
1171 #endif
1172 #ifndef STANDARD_STARTFILE_PREFIX_2
1173 #define STANDARD_STARTFILE_PREFIX_2 "/usr/lib/"
1174 #endif
1176 #ifdef CROSS_DIRECTORY_STRUCTURE /* Don't use these prefixes for a cross compiler. */
1177 #undef MD_EXEC_PREFIX
1178 #undef MD_STARTFILE_PREFIX
1179 #undef MD_STARTFILE_PREFIX_1
1180 #endif
1182 /* If no prefixes defined, use the null string, which will disable them. */
1183 #ifndef MD_EXEC_PREFIX
1184 #define MD_EXEC_PREFIX ""
1185 #endif
1186 #ifndef MD_STARTFILE_PREFIX
1187 #define MD_STARTFILE_PREFIX ""
1188 #endif
1189 #ifndef MD_STARTFILE_PREFIX_1
1190 #define MD_STARTFILE_PREFIX_1 ""
1191 #endif
1193 /* These directories are locations set at configure-time based on the
1194 --prefix option provided to configure. Their initializers are
1195 defined in Makefile.in. These paths are not *directly* used when
1196 gcc_exec_prefix is set because, in that case, we know where the
1197 compiler has been installed, and use paths relative to that
1198 location instead. */
1199 static const char *const standard_exec_prefix = STANDARD_EXEC_PREFIX;
1200 static const char *const standard_libexec_prefix = STANDARD_LIBEXEC_PREFIX;
1201 static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
1202 static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
1204 /* For native compilers, these are well-known paths containing
1205 components that may be provided by the system. For cross
1206 compilers, these paths are not used. */
1207 static const char *md_exec_prefix = MD_EXEC_PREFIX;
1208 static const char *md_startfile_prefix = MD_STARTFILE_PREFIX;
1209 static const char *md_startfile_prefix_1 = MD_STARTFILE_PREFIX_1;
1210 static const char *const standard_startfile_prefix_1
1211 = STANDARD_STARTFILE_PREFIX_1;
1212 static const char *const standard_startfile_prefix_2
1213 = STANDARD_STARTFILE_PREFIX_2;
1215 /* A relative path to be used in finding the location of tools
1216 relative to the driver. */
1217 static const char *const tooldir_base_prefix = TOOLDIR_BASE_PREFIX;
1219 /* Subdirectory to use for locating libraries. Set by
1220 set_multilib_dir based on the compilation options. */
1222 static const char *multilib_dir;
1224 /* Subdirectory to use for locating libraries in OS conventions. Set by
1225 set_multilib_dir based on the compilation options. */
1227 static const char *multilib_os_dir;
1229 /* Subdirectory to use for locating libraries in multiarch conventions. Set by
1230 set_multilib_dir based on the compilation options. */
1232 static const char *multiarch_dir;
1234 /* Structure to keep track of the specs that have been defined so far.
1235 These are accessed using %(specname) in a compiler or link
1236 spec. */
1238 struct spec_list
1240 /* The following 2 fields must be first */
1241 /* to allow EXTRA_SPECS to be initialized */
1242 const char *name; /* name of the spec. */
1243 const char *ptr; /* available ptr if no static pointer */
1245 /* The following fields are not initialized */
1246 /* by EXTRA_SPECS */
1247 const char **ptr_spec; /* pointer to the spec itself. */
1248 struct spec_list *next; /* Next spec in linked list. */
1249 int name_len; /* length of the name */
1250 bool user_p; /* whether string come from file spec. */
1251 bool alloc_p; /* whether string was allocated */
1254 #define INIT_STATIC_SPEC(NAME,PTR) \
1255 { NAME, NULL, PTR, (struct spec_list *) 0, sizeof (NAME) - 1, false, false }
1257 /* List of statically defined specs. */
1258 static struct spec_list static_specs[] =
1260 INIT_STATIC_SPEC ("asm", &asm_spec),
1261 INIT_STATIC_SPEC ("asm_debug", &asm_debug),
1262 INIT_STATIC_SPEC ("asm_final", &asm_final_spec),
1263 INIT_STATIC_SPEC ("asm_options", &asm_options),
1264 INIT_STATIC_SPEC ("invoke_as", &invoke_as),
1265 INIT_STATIC_SPEC ("cpp", &cpp_spec),
1266 INIT_STATIC_SPEC ("cpp_options", &cpp_options),
1267 INIT_STATIC_SPEC ("cpp_debug_options", &cpp_debug_options),
1268 INIT_STATIC_SPEC ("cpp_unique_options", &cpp_unique_options),
1269 INIT_STATIC_SPEC ("trad_capable_cpp", &trad_capable_cpp),
1270 INIT_STATIC_SPEC ("cc1", &cc1_spec),
1271 INIT_STATIC_SPEC ("cc1_options", &cc1_options),
1272 INIT_STATIC_SPEC ("cc1plus", &cc1plus_spec),
1273 INIT_STATIC_SPEC ("link_gcc_c_sequence", &link_gcc_c_sequence_spec),
1274 INIT_STATIC_SPEC ("link_ssp", &link_ssp_spec),
1275 INIT_STATIC_SPEC ("endfile", &endfile_spec),
1276 INIT_STATIC_SPEC ("link", &link_spec),
1277 INIT_STATIC_SPEC ("lib", &lib_spec),
1278 INIT_STATIC_SPEC ("mfwrap", &mfwrap_spec),
1279 INIT_STATIC_SPEC ("mflib", &mflib_spec),
1280 INIT_STATIC_SPEC ("link_gomp", &link_gomp_spec),
1281 INIT_STATIC_SPEC ("libgcc", &libgcc_spec),
1282 INIT_STATIC_SPEC ("startfile", &startfile_spec),
1283 INIT_STATIC_SPEC ("cross_compile", &cross_compile),
1284 INIT_STATIC_SPEC ("version", &compiler_version),
1285 INIT_STATIC_SPEC ("multilib", &multilib_select),
1286 INIT_STATIC_SPEC ("multilib_defaults", &multilib_defaults),
1287 INIT_STATIC_SPEC ("multilib_extra", &multilib_extra),
1288 INIT_STATIC_SPEC ("multilib_matches", &multilib_matches),
1289 INIT_STATIC_SPEC ("multilib_exclusions", &multilib_exclusions),
1290 INIT_STATIC_SPEC ("multilib_options", &multilib_options),
1291 INIT_STATIC_SPEC ("multilib_reuse", &multilib_reuse),
1292 INIT_STATIC_SPEC ("linker", &linker_name_spec),
1293 INIT_STATIC_SPEC ("linker_plugin_file", &linker_plugin_file_spec),
1294 INIT_STATIC_SPEC ("func_reorder_linker_plugin_file",
1295 &func_reorder_linker_plugin_file_spec),
1296 INIT_STATIC_SPEC ("func_reorder_linker_plugin_opt",
1297 &func_reorder_linker_plugin_opt),
1298 INIT_STATIC_SPEC ("lto_wrapper", &lto_wrapper_spec),
1299 INIT_STATIC_SPEC ("lto_gcc", &lto_gcc_spec),
1300 INIT_STATIC_SPEC ("link_libgcc", &link_libgcc_spec),
1301 INIT_STATIC_SPEC ("md_exec_prefix", &md_exec_prefix),
1302 INIT_STATIC_SPEC ("md_startfile_prefix", &md_startfile_prefix),
1303 INIT_STATIC_SPEC ("md_startfile_prefix_1", &md_startfile_prefix_1),
1304 INIT_STATIC_SPEC ("startfile_prefix_spec", &startfile_prefix_spec),
1305 INIT_STATIC_SPEC ("sysroot_spec", &sysroot_spec),
1306 INIT_STATIC_SPEC ("sysroot_suffix_spec", &sysroot_suffix_spec),
1307 INIT_STATIC_SPEC ("sysroot_hdrs_suffix_spec", &sysroot_hdrs_suffix_spec),
1308 INIT_STATIC_SPEC ("self_spec", &self_spec),
1311 #ifdef EXTRA_SPECS /* additional specs needed */
1312 /* Structure to keep track of just the first two args of a spec_list.
1313 That is all that the EXTRA_SPECS macro gives us. */
1314 struct spec_list_1
1316 const char *const name;
1317 const char *const ptr;
1320 static const struct spec_list_1 extra_specs_1[] = { EXTRA_SPECS };
1321 static struct spec_list *extra_specs = (struct spec_list *) 0;
1322 #endif
1324 /* List of dynamically allocates specs that have been defined so far. */
1326 static struct spec_list *specs = (struct spec_list *) 0;
1328 /* List of static spec functions. */
1330 static const struct spec_function static_spec_functions[] =
1332 { "getenv", getenv_spec_function },
1333 { "if-exists", if_exists_spec_function },
1334 { "if-exists-else", if_exists_else_spec_function },
1335 { "replace-outfile", replace_outfile_spec_function },
1336 { "remove-outfile", remove_outfile_spec_function },
1337 { "version-compare", version_compare_spec_function },
1338 { "include", include_spec_function },
1339 { "find-file", find_file_spec_function },
1340 { "find-plugindir", find_plugindir_spec_function },
1341 { "print-asm-header", print_asm_header_spec_function },
1342 { "compare-debug-dump-opt", compare_debug_dump_opt_spec_function },
1343 { "compare-debug-self-opt", compare_debug_self_opt_spec_function },
1344 { "compare-debug-auxbase-opt", compare_debug_auxbase_opt_spec_function },
1345 { "pass-through-libs", pass_through_libs_spec_func },
1346 { "replace-extension", replace_extension_spec_func },
1347 #ifdef EXTRA_SPEC_FUNCTIONS
1348 EXTRA_SPEC_FUNCTIONS
1349 #endif
1350 { 0, 0 }
1353 static int processing_spec_function;
1355 /* Add appropriate libgcc specs to OBSTACK, taking into account
1356 various permutations of -shared-libgcc, -shared, and such. */
1358 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1360 #ifndef USE_LD_AS_NEEDED
1361 #define USE_LD_AS_NEEDED 0
1362 #endif
1364 static void
1365 init_gcc_specs (struct obstack *obstack, const char *shared_name,
1366 const char *static_name, const char *eh_name)
1368 char *buf;
1370 buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name, "}"
1371 "%{!static:%{!static-libgcc:"
1372 #if USE_LD_AS_NEEDED
1373 "%{!shared-libgcc:",
1374 static_name, " --as-needed ", shared_name, " --no-as-needed"
1376 "%{shared-libgcc:",
1377 shared_name, "%{!shared: ", static_name, "}"
1379 #else
1380 "%{!shared:"
1381 "%{!shared-libgcc:", static_name, " ", eh_name, "}"
1382 "%{shared-libgcc:", shared_name, " ", static_name, "}"
1384 #ifdef LINK_EH_SPEC
1385 "%{shared:"
1386 "%{shared-libgcc:", shared_name, "}"
1387 "%{!shared-libgcc:", static_name, "}"
1389 #else
1390 "%{shared:", shared_name, "}"
1391 #endif
1392 #endif
1393 "}}", NULL);
1395 obstack_grow (obstack, buf, strlen (buf));
1396 free (buf);
1398 #endif /* ENABLE_SHARED_LIBGCC */
1400 /* Initialize the specs lookup routines. */
1402 static void
1403 init_spec (void)
1405 struct spec_list *next = (struct spec_list *) 0;
1406 struct spec_list *sl = (struct spec_list *) 0;
1407 int i;
1409 if (specs)
1410 return; /* Already initialized. */
1412 if (verbose_flag)
1413 fnotice (stderr, "Using built-in specs.\n");
1415 #ifdef EXTRA_SPECS
1416 extra_specs = XCNEWVEC (struct spec_list, ARRAY_SIZE (extra_specs_1));
1418 for (i = ARRAY_SIZE (extra_specs_1) - 1; i >= 0; i--)
1420 sl = &extra_specs[i];
1421 sl->name = extra_specs_1[i].name;
1422 sl->ptr = extra_specs_1[i].ptr;
1423 sl->next = next;
1424 sl->name_len = strlen (sl->name);
1425 sl->ptr_spec = &sl->ptr;
1426 next = sl;
1428 #endif
1430 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1432 sl = &static_specs[i];
1433 sl->next = next;
1434 next = sl;
1437 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1438 /* ??? If neither -shared-libgcc nor --static-libgcc was
1439 seen, then we should be making an educated guess. Some proposed
1440 heuristics for ELF include:
1442 (1) If "-Wl,--export-dynamic", then it's a fair bet that the
1443 program will be doing dynamic loading, which will likely
1444 need the shared libgcc.
1446 (2) If "-ldl", then it's also a fair bet that we're doing
1447 dynamic loading.
1449 (3) For each ET_DYN we're linking against (either through -lfoo
1450 or /some/path/foo.so), check to see whether it or one of
1451 its dependencies depends on a shared libgcc.
1453 (4) If "-shared"
1455 If the runtime is fixed to look for program headers instead
1456 of calling __register_frame_info at all, for each object,
1457 use the shared libgcc if any EH symbol referenced.
1459 If crtstuff is fixed to not invoke __register_frame_info
1460 automatically, for each object, use the shared libgcc if
1461 any non-empty unwind section found.
1463 Doing any of this probably requires invoking an external program to
1464 do the actual object file scanning. */
1466 const char *p = libgcc_spec;
1467 int in_sep = 1;
1469 /* Transform the extant libgcc_spec into one that uses the shared libgcc
1470 when given the proper command line arguments. */
1471 while (*p)
1473 if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
1475 init_gcc_specs (&obstack,
1476 "-lgcc_s"
1477 #ifdef USE_LIBUNWIND_EXCEPTIONS
1478 " -lunwind"
1479 #endif
1481 "-lgcc",
1482 "-lgcc_eh"
1483 #ifdef USE_LIBUNWIND_EXCEPTIONS
1484 # ifdef HAVE_LD_STATIC_DYNAMIC
1485 " %{!static:" LD_STATIC_OPTION "} -lunwind"
1486 " %{!static:" LD_DYNAMIC_OPTION "}"
1487 # else
1488 " -lunwind"
1489 # endif
1490 #endif
1493 p += 5;
1494 in_sep = 0;
1496 else if (in_sep && *p == 'l' && strncmp (p, "libgcc.a%s", 10) == 0)
1498 /* Ug. We don't know shared library extensions. Hope that
1499 systems that use this form don't do shared libraries. */
1500 init_gcc_specs (&obstack,
1501 "-lgcc_s",
1502 "libgcc.a%s",
1503 "libgcc_eh.a%s"
1504 #ifdef USE_LIBUNWIND_EXCEPTIONS
1505 " -lunwind"
1506 #endif
1508 p += 10;
1509 in_sep = 0;
1511 else
1513 obstack_1grow (&obstack, *p);
1514 in_sep = (*p == ' ');
1515 p += 1;
1519 obstack_1grow (&obstack, '\0');
1520 libgcc_spec = XOBFINISH (&obstack, const char *);
1522 #endif
1523 #ifdef USE_AS_TRADITIONAL_FORMAT
1524 /* Prepend "--traditional-format" to whatever asm_spec we had before. */
1526 static const char tf[] = "--traditional-format ";
1527 obstack_grow (&obstack, tf, sizeof(tf) - 1);
1528 obstack_grow0 (&obstack, asm_spec, strlen (asm_spec));
1529 asm_spec = XOBFINISH (&obstack, const char *);
1531 #endif
1533 #if defined LINK_EH_SPEC || defined LINK_BUILDID_SPEC || \
1534 defined LINKER_HASH_STYLE
1535 # ifdef LINK_BUILDID_SPEC
1536 /* Prepend LINK_BUILDID_SPEC to whatever link_spec we had before. */
1537 obstack_grow (&obstack, LINK_BUILDID_SPEC, sizeof(LINK_BUILDID_SPEC) - 1);
1538 # endif
1539 # ifdef LINK_EH_SPEC
1540 /* Prepend LINK_EH_SPEC to whatever link_spec we had before. */
1541 obstack_grow (&obstack, LINK_EH_SPEC, sizeof(LINK_EH_SPEC) - 1);
1542 # endif
1543 # ifdef LINKER_HASH_STYLE
1544 /* Prepend --hash-style=LINKER_HASH_STYLE to whatever link_spec we had
1545 before. */
1547 static const char hash_style[] = "--hash-style=";
1548 obstack_grow (&obstack, hash_style, sizeof(hash_style) - 1);
1549 obstack_grow (&obstack, LINKER_HASH_STYLE, sizeof(LINKER_HASH_STYLE) - 1);
1550 obstack_1grow (&obstack, ' ');
1552 # endif
1553 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
1554 link_spec = XOBFINISH (&obstack, const char *);
1555 #endif
1557 specs = sl;
1560 /* Change the value of spec NAME to SPEC. If SPEC is empty, then the spec is
1561 removed; If the spec starts with a + then SPEC is added to the end of the
1562 current spec. */
1564 static void
1565 set_spec (const char *name, const char *spec, bool user_p)
1567 struct spec_list *sl;
1568 const char *old_spec;
1569 int name_len = strlen (name);
1570 int i;
1572 /* If this is the first call, initialize the statically allocated specs. */
1573 if (!specs)
1575 struct spec_list *next = (struct spec_list *) 0;
1576 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1578 sl = &static_specs[i];
1579 sl->next = next;
1580 next = sl;
1582 specs = sl;
1585 /* See if the spec already exists. */
1586 for (sl = specs; sl; sl = sl->next)
1587 if (name_len == sl->name_len && !strcmp (sl->name, name))
1588 break;
1590 if (!sl)
1592 /* Not found - make it. */
1593 sl = XNEW (struct spec_list);
1594 sl->name = xstrdup (name);
1595 sl->name_len = name_len;
1596 sl->ptr_spec = &sl->ptr;
1597 sl->alloc_p = 0;
1598 *(sl->ptr_spec) = "";
1599 sl->next = specs;
1600 specs = sl;
1603 old_spec = *(sl->ptr_spec);
1604 *(sl->ptr_spec) = ((spec[0] == '+' && ISSPACE ((unsigned char)spec[1]))
1605 ? concat (old_spec, spec + 1, NULL)
1606 : xstrdup (spec));
1608 #ifdef DEBUG_SPECS
1609 if (verbose_flag)
1610 fnotice (stderr, "Setting spec %s to '%s'\n\n", name, *(sl->ptr_spec));
1611 #endif
1613 /* Free the old spec. */
1614 if (old_spec && sl->alloc_p)
1615 free (CONST_CAST(char *, old_spec));
1617 sl->user_p = user_p;
1618 sl->alloc_p = true;
1621 /* Accumulate a command (program name and args), and run it. */
1623 typedef const char *const_char_p; /* For DEF_VEC_P. */
1625 /* Vector of pointers to arguments in the current line of specifications. */
1627 static vec<const_char_p> argbuf;
1629 /* Position in the argbuf vector containing the name of the output file
1630 (the value associated with the "-o" flag). */
1632 static int have_o_argbuf_index = 0;
1634 /* Were the options -c, -S or -E passed. */
1635 static int have_c = 0;
1637 /* Was the option -o passed. */
1638 static int have_o = 0;
1640 /* This is the list of suffixes and codes (%g/%u/%U/%j) and the associated
1641 temp file. If the HOST_BIT_BUCKET is used for %j, no entry is made for
1642 it here. */
1644 static struct temp_name {
1645 const char *suffix; /* suffix associated with the code. */
1646 int length; /* strlen (suffix). */
1647 int unique; /* Indicates whether %g or %u/%U was used. */
1648 const char *filename; /* associated filename. */
1649 int filename_length; /* strlen (filename). */
1650 struct temp_name *next;
1651 } *temp_names;
1653 /* Number of commands executed so far. */
1655 static int execution_count;
1657 /* Number of commands that exited with a signal. */
1659 static int signal_count;
1661 /* Allocate the argument vector. */
1663 static void
1664 alloc_args (void)
1666 argbuf.create (10);
1669 /* Clear out the vector of arguments (after a command is executed). */
1671 static void
1672 clear_args (void)
1674 argbuf.truncate (0);
1677 /* Add one argument to the vector at the end.
1678 This is done when a space is seen or at the end of the line.
1679 If DELETE_ALWAYS is nonzero, the arg is a filename
1680 and the file should be deleted eventually.
1681 If DELETE_FAILURE is nonzero, the arg is a filename
1682 and the file should be deleted if this compilation fails. */
1684 static void
1685 store_arg (const char *arg, int delete_always, int delete_failure)
1687 argbuf.safe_push (arg);
1689 if (strcmp (arg, "-o") == 0)
1690 have_o_argbuf_index = argbuf.length ();
1691 if (delete_always || delete_failure)
1693 const char *p;
1694 /* If the temporary file we should delete is specified as
1695 part of a joined argument extract the filename. */
1696 if (arg[0] == '-'
1697 && (p = strrchr (arg, '=')))
1698 arg = p + 1;
1699 record_temp_file (arg, delete_always, delete_failure);
1703 /* Load specs from a file name named FILENAME, replacing occurrences of
1704 various different types of line-endings, \r\n, \n\r and just \r, with
1705 a single \n. */
1707 static char *
1708 load_specs (const char *filename)
1710 int desc;
1711 int readlen;
1712 struct stat statbuf;
1713 char *buffer;
1714 char *buffer_p;
1715 char *specs;
1716 char *specs_p;
1718 if (verbose_flag)
1719 fnotice (stderr, "Reading specs from %s\n", filename);
1721 /* Open and stat the file. */
1722 desc = open (filename, O_RDONLY, 0);
1723 if (desc < 0)
1724 pfatal_with_name (filename);
1725 if (stat (filename, &statbuf) < 0)
1726 pfatal_with_name (filename);
1728 /* Read contents of file into BUFFER. */
1729 buffer = XNEWVEC (char, statbuf.st_size + 1);
1730 readlen = read (desc, buffer, (unsigned) statbuf.st_size);
1731 if (readlen < 0)
1732 pfatal_with_name (filename);
1733 buffer[readlen] = 0;
1734 close (desc);
1736 specs = XNEWVEC (char, readlen + 1);
1737 specs_p = specs;
1738 for (buffer_p = buffer; buffer_p && *buffer_p; buffer_p++)
1740 int skip = 0;
1741 char c = *buffer_p;
1742 if (c == '\r')
1744 if (buffer_p > buffer && *(buffer_p - 1) == '\n') /* \n\r */
1745 skip = 1;
1746 else if (*(buffer_p + 1) == '\n') /* \r\n */
1747 skip = 1;
1748 else /* \r */
1749 c = '\n';
1751 if (! skip)
1752 *specs_p++ = c;
1754 *specs_p = '\0';
1756 free (buffer);
1757 return (specs);
1760 /* Read compilation specs from a file named FILENAME,
1761 replacing the default ones.
1763 A suffix which starts with `*' is a definition for
1764 one of the machine-specific sub-specs. The "suffix" should be
1765 *asm, *cc1, *cpp, *link, *startfile, etc.
1766 The corresponding spec is stored in asm_spec, etc.,
1767 rather than in the `compilers' vector.
1769 Anything invalid in the file is a fatal error. */
1771 static void
1772 read_specs (const char *filename, bool main_p, bool user_p)
1774 char *buffer;
1775 char *p;
1777 buffer = load_specs (filename);
1779 /* Scan BUFFER for specs, putting them in the vector. */
1780 p = buffer;
1781 while (1)
1783 char *suffix;
1784 char *spec;
1785 char *in, *out, *p1, *p2, *p3;
1787 /* Advance P in BUFFER to the next nonblank nocomment line. */
1788 p = skip_whitespace (p);
1789 if (*p == 0)
1790 break;
1792 /* Is this a special command that starts with '%'? */
1793 /* Don't allow this for the main specs file, since it would
1794 encourage people to overwrite it. */
1795 if (*p == '%' && !main_p)
1797 p1 = p;
1798 while (*p && *p != '\n')
1799 p++;
1801 /* Skip '\n'. */
1802 p++;
1804 if (!strncmp (p1, "%include", sizeof ("%include") - 1)
1805 && (p1[sizeof "%include" - 1] == ' '
1806 || p1[sizeof "%include" - 1] == '\t'))
1808 char *new_filename;
1810 p1 += sizeof ("%include");
1811 while (*p1 == ' ' || *p1 == '\t')
1812 p1++;
1814 if (*p1++ != '<' || p[-2] != '>')
1815 fatal_error ("specs %%include syntax malformed after "
1816 "%ld characters",
1817 (long) (p1 - buffer + 1));
1819 p[-2] = '\0';
1820 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1821 read_specs (new_filename ? new_filename : p1, false, user_p);
1822 continue;
1824 else if (!strncmp (p1, "%include_noerr", sizeof "%include_noerr" - 1)
1825 && (p1[sizeof "%include_noerr" - 1] == ' '
1826 || p1[sizeof "%include_noerr" - 1] == '\t'))
1828 char *new_filename;
1830 p1 += sizeof "%include_noerr";
1831 while (*p1 == ' ' || *p1 == '\t')
1832 p1++;
1834 if (*p1++ != '<' || p[-2] != '>')
1835 fatal_error ("specs %%include syntax malformed after "
1836 "%ld characters",
1837 (long) (p1 - buffer + 1));
1839 p[-2] = '\0';
1840 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1841 if (new_filename)
1842 read_specs (new_filename, false, user_p);
1843 else if (verbose_flag)
1844 fnotice (stderr, "could not find specs file %s\n", p1);
1845 continue;
1847 else if (!strncmp (p1, "%rename", sizeof "%rename" - 1)
1848 && (p1[sizeof "%rename" - 1] == ' '
1849 || p1[sizeof "%rename" - 1] == '\t'))
1851 int name_len;
1852 struct spec_list *sl;
1853 struct spec_list *newsl;
1855 /* Get original name. */
1856 p1 += sizeof "%rename";
1857 while (*p1 == ' ' || *p1 == '\t')
1858 p1++;
1860 if (! ISALPHA ((unsigned char) *p1))
1861 fatal_error ("specs %%rename syntax malformed after "
1862 "%ld characters",
1863 (long) (p1 - buffer));
1865 p2 = p1;
1866 while (*p2 && !ISSPACE ((unsigned char) *p2))
1867 p2++;
1869 if (*p2 != ' ' && *p2 != '\t')
1870 fatal_error ("specs %%rename syntax malformed after "
1871 "%ld characters",
1872 (long) (p2 - buffer));
1874 name_len = p2 - p1;
1875 *p2++ = '\0';
1876 while (*p2 == ' ' || *p2 == '\t')
1877 p2++;
1879 if (! ISALPHA ((unsigned char) *p2))
1880 fatal_error ("specs %%rename syntax malformed after "
1881 "%ld characters",
1882 (long) (p2 - buffer));
1884 /* Get new spec name. */
1885 p3 = p2;
1886 while (*p3 && !ISSPACE ((unsigned char) *p3))
1887 p3++;
1889 if (p3 != p - 1)
1890 fatal_error ("specs %%rename syntax malformed after "
1891 "%ld characters",
1892 (long) (p3 - buffer));
1893 *p3 = '\0';
1895 for (sl = specs; sl; sl = sl->next)
1896 if (name_len == sl->name_len && !strcmp (sl->name, p1))
1897 break;
1899 if (!sl)
1900 fatal_error ("specs %s spec was not found to be renamed", p1);
1902 if (strcmp (p1, p2) == 0)
1903 continue;
1905 for (newsl = specs; newsl; newsl = newsl->next)
1906 if (strcmp (newsl->name, p2) == 0)
1907 fatal_error ("%s: attempt to rename spec %qs to "
1908 "already defined spec %qs",
1909 filename, p1, p2);
1911 if (verbose_flag)
1913 fnotice (stderr, "rename spec %s to %s\n", p1, p2);
1914 #ifdef DEBUG_SPECS
1915 fnotice (stderr, "spec is '%s'\n\n", *(sl->ptr_spec));
1916 #endif
1919 set_spec (p2, *(sl->ptr_spec), user_p);
1920 if (sl->alloc_p)
1921 free (CONST_CAST (char *, *(sl->ptr_spec)));
1923 *(sl->ptr_spec) = "";
1924 sl->alloc_p = 0;
1925 continue;
1927 else
1928 fatal_error ("specs unknown %% command after %ld characters",
1929 (long) (p1 - buffer));
1932 /* Find the colon that should end the suffix. */
1933 p1 = p;
1934 while (*p1 && *p1 != ':' && *p1 != '\n')
1935 p1++;
1937 /* The colon shouldn't be missing. */
1938 if (*p1 != ':')
1939 fatal_error ("specs file malformed after %ld characters",
1940 (long) (p1 - buffer));
1942 /* Skip back over trailing whitespace. */
1943 p2 = p1;
1944 while (p2 > buffer && (p2[-1] == ' ' || p2[-1] == '\t'))
1945 p2--;
1947 /* Copy the suffix to a string. */
1948 suffix = save_string (p, p2 - p);
1949 /* Find the next line. */
1950 p = skip_whitespace (p1 + 1);
1951 if (p[1] == 0)
1952 fatal_error ("specs file malformed after %ld characters",
1953 (long) (p - buffer));
1955 p1 = p;
1956 /* Find next blank line or end of string. */
1957 while (*p1 && !(*p1 == '\n' && (p1[1] == '\n' || p1[1] == '\0')))
1958 p1++;
1960 /* Specs end at the blank line and do not include the newline. */
1961 spec = save_string (p, p1 - p);
1962 p = p1;
1964 /* Delete backslash-newline sequences from the spec. */
1965 in = spec;
1966 out = spec;
1967 while (*in != 0)
1969 if (in[0] == '\\' && in[1] == '\n')
1970 in += 2;
1971 else if (in[0] == '#')
1972 while (*in && *in != '\n')
1973 in++;
1975 else
1976 *out++ = *in++;
1978 *out = 0;
1980 if (suffix[0] == '*')
1982 if (! strcmp (suffix, "*link_command"))
1983 link_command_spec = spec;
1984 else
1985 set_spec (suffix + 1, spec, user_p);
1987 else
1989 /* Add this pair to the vector. */
1990 compilers
1991 = XRESIZEVEC (struct compiler, compilers, n_compilers + 2);
1993 compilers[n_compilers].suffix = suffix;
1994 compilers[n_compilers].spec = spec;
1995 n_compilers++;
1996 memset (&compilers[n_compilers], 0, sizeof compilers[n_compilers]);
1999 if (*suffix == 0)
2000 link_command_spec = spec;
2003 if (link_command_spec == 0)
2004 fatal_error ("spec file has no spec for linking");
2007 /* Record the names of temporary files we tell compilers to write,
2008 and delete them at the end of the run. */
2010 /* This is the common prefix we use to make temp file names.
2011 It is chosen once for each run of this program.
2012 It is substituted into a spec by %g or %j.
2013 Thus, all temp file names contain this prefix.
2014 In practice, all temp file names start with this prefix.
2016 This prefix comes from the envvar TMPDIR if it is defined;
2017 otherwise, from the P_tmpdir macro if that is defined;
2018 otherwise, in /usr/tmp or /tmp;
2019 or finally the current directory if all else fails. */
2021 static const char *temp_filename;
2023 /* Length of the prefix. */
2025 static int temp_filename_length;
2027 /* Define the list of temporary files to delete. */
2029 struct temp_file
2031 const char *name;
2032 struct temp_file *next;
2035 /* Queue of files to delete on success or failure of compilation. */
2036 static struct temp_file *always_delete_queue;
2037 /* Queue of files to delete on failure of compilation. */
2038 static struct temp_file *failure_delete_queue;
2040 /* Record FILENAME as a file to be deleted automatically.
2041 ALWAYS_DELETE nonzero means delete it if all compilation succeeds;
2042 otherwise delete it in any case.
2043 FAIL_DELETE nonzero means delete it if a compilation step fails;
2044 otherwise delete it in any case. */
2046 void
2047 record_temp_file (const char *filename, int always_delete, int fail_delete)
2049 char *const name = xstrdup (filename);
2051 if (always_delete)
2053 struct temp_file *temp;
2054 for (temp = always_delete_queue; temp; temp = temp->next)
2055 if (! filename_cmp (name, temp->name))
2056 goto already1;
2058 temp = XNEW (struct temp_file);
2059 temp->next = always_delete_queue;
2060 temp->name = name;
2061 always_delete_queue = temp;
2063 already1:;
2066 if (fail_delete)
2068 struct temp_file *temp;
2069 for (temp = failure_delete_queue; temp; temp = temp->next)
2070 if (! filename_cmp (name, temp->name))
2072 free (name);
2073 goto already2;
2076 temp = XNEW (struct temp_file);
2077 temp->next = failure_delete_queue;
2078 temp->name = name;
2079 failure_delete_queue = temp;
2081 already2:;
2085 /* Delete all the temporary files whose names we previously recorded. */
2087 #ifndef DELETE_IF_ORDINARY
2088 #define DELETE_IF_ORDINARY(NAME,ST,VERBOSE_FLAG) \
2089 do \
2091 if (stat (NAME, &ST) >= 0 && S_ISREG (ST.st_mode)) \
2092 if (unlink (NAME) < 0) \
2093 if (VERBOSE_FLAG) \
2094 perror_with_name (NAME); \
2095 } while (0)
2096 #endif
2098 static void
2099 delete_if_ordinary (const char *name)
2101 struct stat st;
2102 #ifdef DEBUG
2103 int i, c;
2105 printf ("Delete %s? (y or n) ", name);
2106 fflush (stdout);
2107 i = getchar ();
2108 if (i != '\n')
2109 while ((c = getchar ()) != '\n' && c != EOF)
2112 if (i == 'y' || i == 'Y')
2113 #endif /* DEBUG */
2114 DELETE_IF_ORDINARY (name, st, verbose_flag);
2117 static void
2118 delete_temp_files (void)
2120 struct temp_file *temp;
2122 for (temp = always_delete_queue; temp; temp = temp->next)
2123 delete_if_ordinary (temp->name);
2124 always_delete_queue = 0;
2127 /* Delete all the files to be deleted on error. */
2129 static void
2130 delete_failure_queue (void)
2132 struct temp_file *temp;
2134 for (temp = failure_delete_queue; temp; temp = temp->next)
2135 delete_if_ordinary (temp->name);
2138 static void
2139 clear_failure_queue (void)
2141 failure_delete_queue = 0;
2144 /* Call CALLBACK for each path in PATHS, breaking out early if CALLBACK
2145 returns non-NULL.
2146 If DO_MULTI is true iterate over the paths twice, first with multilib
2147 suffix then without, otherwise iterate over the paths once without
2148 adding a multilib suffix. When DO_MULTI is true, some attempt is made
2149 to avoid visiting the same path twice, but we could do better. For
2150 instance, /usr/lib/../lib is considered different from /usr/lib.
2151 At least EXTRA_SPACE chars past the end of the path passed to
2152 CALLBACK are available for use by the callback.
2153 CALLBACK_INFO allows extra parameters to be passed to CALLBACK.
2155 Returns the value returned by CALLBACK. */
2157 static void *
2158 for_each_path (const struct path_prefix *paths,
2159 bool do_multi,
2160 size_t extra_space,
2161 void *(*callback) (char *, void *),
2162 void *callback_info)
2164 struct prefix_list *pl;
2165 const char *multi_dir = NULL;
2166 const char *multi_os_dir = NULL;
2167 const char *multiarch_suffix = NULL;
2168 const char *multi_suffix;
2169 const char *just_multi_suffix;
2170 char *path = NULL;
2171 void *ret = NULL;
2172 bool skip_multi_dir = false;
2173 bool skip_multi_os_dir = false;
2175 multi_suffix = machine_suffix;
2176 just_multi_suffix = just_machine_suffix;
2177 if (do_multi && multilib_dir && strcmp (multilib_dir, ".") != 0)
2179 multi_dir = concat (multilib_dir, dir_separator_str, NULL);
2180 multi_suffix = concat (multi_suffix, multi_dir, NULL);
2181 just_multi_suffix = concat (just_multi_suffix, multi_dir, NULL);
2183 if (do_multi && multilib_os_dir && strcmp (multilib_os_dir, ".") != 0)
2184 multi_os_dir = concat (multilib_os_dir, dir_separator_str, NULL);
2185 if (multiarch_dir)
2186 multiarch_suffix = concat (multiarch_dir, dir_separator_str, NULL);
2188 while (1)
2190 size_t multi_dir_len = 0;
2191 size_t multi_os_dir_len = 0;
2192 size_t multiarch_len = 0;
2193 size_t suffix_len;
2194 size_t just_suffix_len;
2195 size_t len;
2197 if (multi_dir)
2198 multi_dir_len = strlen (multi_dir);
2199 if (multi_os_dir)
2200 multi_os_dir_len = strlen (multi_os_dir);
2201 if (multiarch_suffix)
2202 multiarch_len = strlen (multiarch_suffix);
2203 suffix_len = strlen (multi_suffix);
2204 just_suffix_len = strlen (just_multi_suffix);
2206 if (path == NULL)
2208 len = paths->max_len + extra_space + 1;
2209 len += MAX (MAX (suffix_len, multi_os_dir_len), multiarch_len);
2210 path = XNEWVEC (char, len);
2213 for (pl = paths->plist; pl != 0; pl = pl->next)
2215 len = strlen (pl->prefix);
2216 memcpy (path, pl->prefix, len);
2218 /* Look first in MACHINE/VERSION subdirectory. */
2219 if (!skip_multi_dir)
2221 memcpy (path + len, multi_suffix, suffix_len + 1);
2222 ret = callback (path, callback_info);
2223 if (ret)
2224 break;
2227 /* Some paths are tried with just the machine (ie. target)
2228 subdir. This is used for finding as, ld, etc. */
2229 if (!skip_multi_dir
2230 && pl->require_machine_suffix == 2)
2232 memcpy (path + len, just_multi_suffix, just_suffix_len + 1);
2233 ret = callback (path, callback_info);
2234 if (ret)
2235 break;
2238 /* Now try the multiarch path. */
2239 if (!skip_multi_dir
2240 && !pl->require_machine_suffix && multiarch_dir)
2242 memcpy (path + len, multiarch_suffix, multiarch_len + 1);
2243 ret = callback (path, callback_info);
2244 if (ret)
2245 break;
2248 /* Now try the base path. */
2249 if (!pl->require_machine_suffix
2250 && !(pl->os_multilib ? skip_multi_os_dir : skip_multi_dir))
2252 const char *this_multi;
2253 size_t this_multi_len;
2255 if (pl->os_multilib)
2257 this_multi = multi_os_dir;
2258 this_multi_len = multi_os_dir_len;
2260 else
2262 this_multi = multi_dir;
2263 this_multi_len = multi_dir_len;
2266 if (this_multi_len)
2267 memcpy (path + len, this_multi, this_multi_len + 1);
2268 else
2269 path[len] = '\0';
2271 ret = callback (path, callback_info);
2272 if (ret)
2273 break;
2276 if (pl)
2277 break;
2279 if (multi_dir == NULL && multi_os_dir == NULL)
2280 break;
2282 /* Run through the paths again, this time without multilibs.
2283 Don't repeat any we have already seen. */
2284 if (multi_dir)
2286 free (CONST_CAST (char *, multi_dir));
2287 multi_dir = NULL;
2288 free (CONST_CAST (char *, multi_suffix));
2289 multi_suffix = machine_suffix;
2290 free (CONST_CAST (char *, just_multi_suffix));
2291 just_multi_suffix = just_machine_suffix;
2293 else
2294 skip_multi_dir = true;
2295 if (multi_os_dir)
2297 free (CONST_CAST (char *, multi_os_dir));
2298 multi_os_dir = NULL;
2300 else
2301 skip_multi_os_dir = true;
2304 if (multi_dir)
2306 free (CONST_CAST (char *, multi_dir));
2307 free (CONST_CAST (char *, multi_suffix));
2308 free (CONST_CAST (char *, just_multi_suffix));
2310 if (multi_os_dir)
2311 free (CONST_CAST (char *, multi_os_dir));
2312 if (ret != path)
2313 free (path);
2314 return ret;
2317 /* Callback for build_search_list. Adds path to obstack being built. */
2319 struct add_to_obstack_info {
2320 struct obstack *ob;
2321 bool check_dir;
2322 bool first_time;
2325 static void *
2326 add_to_obstack (char *path, void *data)
2328 struct add_to_obstack_info *info = (struct add_to_obstack_info *) data;
2330 if (info->check_dir && !is_directory (path, false))
2331 return NULL;
2333 if (!info->first_time)
2334 obstack_1grow (info->ob, PATH_SEPARATOR);
2336 obstack_grow (info->ob, path, strlen (path));
2338 info->first_time = false;
2339 return NULL;
2342 /* Add or change the value of an environment variable, outputting the
2343 change to standard error if in verbose mode. */
2344 static void
2345 xputenv (const char *string)
2347 if (verbose_flag)
2348 fnotice (stderr, "%s\n", string);
2349 putenv (CONST_CAST (char *, string));
2352 /* Build a list of search directories from PATHS.
2353 PREFIX is a string to prepend to the list.
2354 If CHECK_DIR_P is true we ensure the directory exists.
2355 If DO_MULTI is true, multilib paths are output first, then
2356 non-multilib paths.
2357 This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
2358 It is also used by the --print-search-dirs flag. */
2360 static char *
2361 build_search_list (const struct path_prefix *paths, const char *prefix,
2362 bool check_dir, bool do_multi)
2364 struct add_to_obstack_info info;
2366 info.ob = &collect_obstack;
2367 info.check_dir = check_dir;
2368 info.first_time = true;
2370 obstack_grow (&collect_obstack, prefix, strlen (prefix));
2371 obstack_1grow (&collect_obstack, '=');
2373 for_each_path (paths, do_multi, 0, add_to_obstack, &info);
2375 obstack_1grow (&collect_obstack, '\0');
2376 return XOBFINISH (&collect_obstack, char *);
2379 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
2380 for collect. */
2382 static void
2383 putenv_from_prefixes (const struct path_prefix *paths, const char *env_var,
2384 bool do_multi)
2386 xputenv (build_search_list (paths, env_var, true, do_multi));
2389 /* Check whether NAME can be accessed in MODE. This is like access,
2390 except that it never considers directories to be executable. */
2392 static int
2393 access_check (const char *name, int mode)
2395 if (mode == X_OK)
2397 struct stat st;
2399 if (stat (name, &st) < 0
2400 || S_ISDIR (st.st_mode))
2401 return -1;
2404 return access (name, mode);
2407 /* Callback for find_a_file. Appends the file name to the directory
2408 path. If the resulting file exists in the right mode, return the
2409 full pathname to the file. */
2411 struct file_at_path_info {
2412 const char *name;
2413 const char *suffix;
2414 int name_len;
2415 int suffix_len;
2416 int mode;
2419 static void *
2420 file_at_path (char *path, void *data)
2422 struct file_at_path_info *info = (struct file_at_path_info *) data;
2423 size_t len = strlen (path);
2425 memcpy (path + len, info->name, info->name_len);
2426 len += info->name_len;
2428 /* Some systems have a suffix for executable files.
2429 So try appending that first. */
2430 if (info->suffix_len)
2432 memcpy (path + len, info->suffix, info->suffix_len + 1);
2433 if (access_check (path, info->mode) == 0)
2434 return path;
2437 path[len] = '\0';
2438 if (access_check (path, info->mode) == 0)
2439 return path;
2441 return NULL;
2444 /* Search for NAME using the prefix list PREFIXES. MODE is passed to
2445 access to check permissions. If DO_MULTI is true, search multilib
2446 paths then non-multilib paths, otherwise do not search multilib paths.
2447 Return 0 if not found, otherwise return its name, allocated with malloc. */
2449 static char *
2450 find_a_file (const struct path_prefix *pprefix, const char *name, int mode,
2451 bool do_multi)
2453 struct file_at_path_info info;
2455 #ifdef DEFAULT_ASSEMBLER
2456 if (! strcmp (name, "as") && access (DEFAULT_ASSEMBLER, mode) == 0)
2457 return xstrdup (DEFAULT_ASSEMBLER);
2458 #endif
2460 #ifdef DEFAULT_LINKER
2461 if (! strcmp(name, "ld") && access (DEFAULT_LINKER, mode) == 0)
2462 return xstrdup (DEFAULT_LINKER);
2463 #endif
2465 /* Determine the filename to execute (special case for absolute paths). */
2467 if (IS_ABSOLUTE_PATH (name))
2469 if (access (name, mode) == 0)
2470 return xstrdup (name);
2472 return NULL;
2475 info.name = name;
2476 info.suffix = (mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "";
2477 info.name_len = strlen (info.name);
2478 info.suffix_len = strlen (info.suffix);
2479 info.mode = mode;
2481 return (char*) for_each_path (pprefix, do_multi,
2482 info.name_len + info.suffix_len,
2483 file_at_path, &info);
2486 /* Ranking of prefixes in the sort list. -B prefixes are put before
2487 all others. */
2489 enum path_prefix_priority
2491 PREFIX_PRIORITY_B_OPT,
2492 PREFIX_PRIORITY_LAST
2495 /* Add an entry for PREFIX in PLIST. The PLIST is kept in ascending
2496 order according to PRIORITY. Within each PRIORITY, new entries are
2497 appended.
2499 If WARN is nonzero, we will warn if no file is found
2500 through this prefix. WARN should point to an int
2501 which will be set to 1 if this entry is used.
2503 COMPONENT is the value to be passed to update_path.
2505 REQUIRE_MACHINE_SUFFIX is 1 if this prefix can't be used without
2506 the complete value of machine_suffix.
2507 2 means try both machine_suffix and just_machine_suffix. */
2509 static void
2510 add_prefix (struct path_prefix *pprefix, const char *prefix,
2511 const char *component, /* enum prefix_priority */ int priority,
2512 int require_machine_suffix, int os_multilib)
2514 struct prefix_list *pl, **prev;
2515 int len;
2517 for (prev = &pprefix->plist;
2518 (*prev) != NULL && (*prev)->priority <= priority;
2519 prev = &(*prev)->next)
2522 /* Keep track of the longest prefix. */
2524 prefix = update_path (prefix, component);
2525 len = strlen (prefix);
2526 if (len > pprefix->max_len)
2527 pprefix->max_len = len;
2529 pl = XNEW (struct prefix_list);
2530 pl->prefix = prefix;
2531 pl->require_machine_suffix = require_machine_suffix;
2532 pl->priority = priority;
2533 pl->os_multilib = os_multilib;
2535 /* Insert after PREV. */
2536 pl->next = (*prev);
2537 (*prev) = pl;
2540 /* Same as add_prefix, but prepending target_system_root to prefix. */
2541 /* The target_system_root prefix has been relocated by gcc_exec_prefix. */
2542 static void
2543 add_sysrooted_prefix (struct path_prefix *pprefix, const char *prefix,
2544 const char *component,
2545 /* enum prefix_priority */ int priority,
2546 int require_machine_suffix, int os_multilib)
2548 if (!IS_ABSOLUTE_PATH (prefix))
2549 fatal_error ("system path %qs is not absolute", prefix);
2551 if (target_system_root)
2553 char *sysroot_no_trailing_dir_separator = xstrdup (target_system_root);
2554 size_t sysroot_len = strlen (target_system_root);
2556 if (sysroot_len > 0
2557 && target_system_root[sysroot_len - 1] == DIR_SEPARATOR)
2558 sysroot_no_trailing_dir_separator[sysroot_len - 1] = '\0';
2560 if (target_sysroot_suffix)
2561 prefix = concat (sysroot_no_trailing_dir_separator,
2562 target_sysroot_suffix, prefix, NULL);
2563 else
2564 prefix = concat (sysroot_no_trailing_dir_separator, prefix, NULL);
2566 free (sysroot_no_trailing_dir_separator);
2568 /* We have to override this because GCC's notion of sysroot
2569 moves along with GCC. */
2570 component = "GCC";
2573 add_prefix (pprefix, prefix, component, priority,
2574 require_machine_suffix, os_multilib);
2577 /* Execute the command specified by the arguments on the current line of spec.
2578 When using pipes, this includes several piped-together commands
2579 with `|' between them.
2581 Return 0 if successful, -1 if failed. */
2583 static int
2584 execute (void)
2586 int i;
2587 int n_commands; /* # of command. */
2588 char *string;
2589 struct pex_obj *pex;
2590 struct command
2592 const char *prog; /* program name. */
2593 const char **argv; /* vector of args. */
2595 const char *arg;
2597 struct command *commands; /* each command buffer with above info. */
2599 gcc_assert (!processing_spec_function);
2601 if (wrapper_string)
2603 string = find_a_file (&exec_prefixes,
2604 argbuf[0], X_OK, false);
2605 if (string)
2606 argbuf[0] = string;
2607 insert_wrapper (wrapper_string);
2610 /* Count # of piped commands. */
2611 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2612 if (strcmp (arg, "|") == 0)
2613 n_commands++;
2615 /* Get storage for each command. */
2616 commands = (struct command *) alloca (n_commands * sizeof (struct command));
2618 /* Split argbuf into its separate piped processes,
2619 and record info about each one.
2620 Also search for the programs that are to be run. */
2622 argbuf.safe_push (0);
2624 commands[0].prog = argbuf[0]; /* first command. */
2625 commands[0].argv = argbuf.address ();
2627 if (!wrapper_string)
2629 string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, false);
2630 commands[0].argv[0] = (string) ? string : commands[0].argv[0];
2633 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2634 if (arg && strcmp (arg, "|") == 0)
2635 { /* each command. */
2636 #if defined (__MSDOS__) || defined (OS2) || defined (VMS)
2637 fatal_error ("-pipe not supported");
2638 #endif
2639 argbuf[i] = 0; /* Termination of
2640 command args. */
2641 commands[n_commands].prog = argbuf[i + 1];
2642 commands[n_commands].argv
2643 = &(argbuf.address ())[i + 1];
2644 string = find_a_file (&exec_prefixes, commands[n_commands].prog,
2645 X_OK, false);
2646 if (string)
2647 commands[n_commands].argv[0] = string;
2648 n_commands++;
2651 /* If -v, print what we are about to do, and maybe query. */
2653 if (verbose_flag)
2655 /* For help listings, put a blank line between sub-processes. */
2656 if (print_help_list)
2657 fputc ('\n', stderr);
2659 /* Print each piped command as a separate line. */
2660 for (i = 0; i < n_commands; i++)
2662 const char *const *j;
2664 if (verbose_only_flag)
2666 for (j = commands[i].argv; *j; j++)
2668 const char *p;
2669 for (p = *j; *p; ++p)
2670 if (!ISALNUM ((unsigned char) *p)
2671 && *p != '_' && *p != '/' && *p != '-' && *p != '.')
2672 break;
2673 if (*p || !*j)
2675 fprintf (stderr, " \"");
2676 for (p = *j; *p; ++p)
2678 if (*p == '"' || *p == '\\' || *p == '$')
2679 fputc ('\\', stderr);
2680 fputc (*p, stderr);
2682 fputc ('"', stderr);
2684 /* If it's empty, print "". */
2685 else if (!**j)
2686 fprintf (stderr, " \"\"");
2687 else
2688 fprintf (stderr, " %s", *j);
2691 else
2692 for (j = commands[i].argv; *j; j++)
2693 /* If it's empty, print "". */
2694 if (!**j)
2695 fprintf (stderr, " \"\"");
2696 else
2697 fprintf (stderr, " %s", *j);
2699 /* Print a pipe symbol after all but the last command. */
2700 if (i + 1 != n_commands)
2701 fprintf (stderr, " |");
2702 fprintf (stderr, "\n");
2704 fflush (stderr);
2705 if (verbose_only_flag != 0)
2707 /* verbose_only_flag should act as if the spec was
2708 executed, so increment execution_count before
2709 returning. This prevents spurious warnings about
2710 unused linker input files, etc. */
2711 execution_count++;
2712 return 0;
2714 #ifdef DEBUG
2715 fnotice (stderr, "\nGo ahead? (y or n) ");
2716 fflush (stderr);
2717 i = getchar ();
2718 if (i != '\n')
2719 while (getchar () != '\n')
2722 if (i != 'y' && i != 'Y')
2723 return 0;
2724 #endif /* DEBUG */
2727 #ifdef ENABLE_VALGRIND_CHECKING
2728 /* Run the each command through valgrind. To simplify prepending the
2729 path to valgrind and the option "-q" (for quiet operation unless
2730 something triggers), we allocate a separate argv array. */
2732 for (i = 0; i < n_commands; i++)
2734 const char **argv;
2735 int argc;
2736 int j;
2738 for (argc = 0; commands[i].argv[argc] != NULL; argc++)
2741 argv = XALLOCAVEC (const char *, argc + 3);
2743 argv[0] = VALGRIND_PATH;
2744 argv[1] = "-q";
2745 for (j = 2; j < argc + 2; j++)
2746 argv[j] = commands[i].argv[j - 2];
2747 argv[j] = NULL;
2749 commands[i].argv = argv;
2750 commands[i].prog = argv[0];
2752 #endif
2754 /* Run each piped subprocess. */
2756 pex = pex_init (PEX_USE_PIPES | ((report_times || report_times_to_file)
2757 ? PEX_RECORD_TIMES : 0),
2758 progname, temp_filename);
2759 if (pex == NULL)
2760 fatal_error ("pex_init failed: %m");
2762 for (i = 0; i < n_commands; i++)
2764 const char *errmsg;
2765 int err;
2766 const char *string = commands[i].argv[0];
2768 errmsg = pex_run (pex,
2769 ((i + 1 == n_commands ? PEX_LAST : 0)
2770 | (string == commands[i].prog ? PEX_SEARCH : 0)),
2771 string, CONST_CAST (char **, commands[i].argv),
2772 NULL, NULL, &err);
2773 if (errmsg != NULL)
2775 if (err == 0)
2776 fatal_error (errmsg);
2777 else
2779 errno = err;
2780 pfatal_with_name (errmsg);
2784 if (string != commands[i].prog)
2785 free (CONST_CAST (char *, string));
2788 execution_count++;
2790 /* Wait for all the subprocesses to finish. */
2793 int *statuses;
2794 struct pex_time *times = NULL;
2795 int ret_code = 0;
2797 statuses = (int *) alloca (n_commands * sizeof (int));
2798 if (!pex_get_status (pex, n_commands, statuses))
2799 fatal_error ("failed to get exit status: %m");
2801 if (report_times || report_times_to_file)
2803 times = (struct pex_time *) alloca (n_commands * sizeof (struct pex_time));
2804 if (!pex_get_times (pex, n_commands, times))
2805 fatal_error ("failed to get process times: %m");
2808 pex_free (pex);
2810 for (i = 0; i < n_commands; ++i)
2812 int status = statuses[i];
2814 if (WIFSIGNALED (status))
2816 #ifdef SIGPIPE
2817 /* SIGPIPE is a special case. It happens in -pipe mode
2818 when the compiler dies before the preprocessor is done,
2819 or the assembler dies before the compiler is done.
2820 There's generally been an error already, and this is
2821 just fallout. So don't generate another error unless
2822 we would otherwise have succeeded. */
2823 if (WTERMSIG (status) == SIGPIPE
2824 && (signal_count || greatest_status >= MIN_FATAL_STATUS))
2826 signal_count++;
2827 ret_code = -1;
2829 else
2830 #endif
2831 internal_error ("%s (program %s)",
2832 strsignal (WTERMSIG (status)), commands[i].prog);
2834 else if (WIFEXITED (status)
2835 && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
2837 if (WEXITSTATUS (status) > greatest_status)
2838 greatest_status = WEXITSTATUS (status);
2839 ret_code = -1;
2842 if (report_times || report_times_to_file)
2844 struct pex_time *pt = &times[i];
2845 double ut, st;
2847 ut = ((double) pt->user_seconds
2848 + (double) pt->user_microseconds / 1.0e6);
2849 st = ((double) pt->system_seconds
2850 + (double) pt->system_microseconds / 1.0e6);
2852 if (ut + st != 0)
2854 if (report_times)
2855 fnotice (stderr, "# %s %.2f %.2f\n",
2856 commands[i].prog, ut, st);
2858 if (report_times_to_file)
2860 int c = 0;
2861 const char *const *j;
2863 fprintf (report_times_to_file, "%g %g", ut, st);
2865 for (j = &commands[i].prog; *j; j = &commands[i].argv[++c])
2867 const char *p;
2868 for (p = *j; *p; ++p)
2869 if (*p == '"' || *p == '\\' || *p == '$'
2870 || ISSPACE (*p))
2871 break;
2873 if (*p)
2875 fprintf (report_times_to_file, " \"");
2876 for (p = *j; *p; ++p)
2878 if (*p == '"' || *p == '\\' || *p == '$')
2879 fputc ('\\', report_times_to_file);
2880 fputc (*p, report_times_to_file);
2882 fputc ('"', report_times_to_file);
2884 else
2885 fprintf (report_times_to_file, " %s", *j);
2888 fputc ('\n', report_times_to_file);
2894 return ret_code;
2898 /* Find all the switches given to us
2899 and make a vector describing them.
2900 The elements of the vector are strings, one per switch given.
2901 If a switch uses following arguments, then the `part1' field
2902 is the switch itself and the `args' field
2903 is a null-terminated vector containing the following arguments.
2904 Bits in the `live_cond' field are:
2905 SWITCH_LIVE to indicate this switch is true in a conditional spec.
2906 SWITCH_FALSE to indicate this switch is overridden by a later switch.
2907 SWITCH_IGNORE to indicate this switch should be ignored (used in %<S).
2908 SWITCH_IGNORE_PERMANENTLY to indicate this switch should be ignored
2909 in all do_spec calls afterwards. Used for %<S from self specs.
2910 The `validated' field is nonzero if any spec has looked at this switch;
2911 if it remains zero at the end of the run, it must be meaningless. */
2913 #define SWITCH_LIVE (1 << 0)
2914 #define SWITCH_FALSE (1 << 1)
2915 #define SWITCH_IGNORE (1 << 2)
2916 #define SWITCH_IGNORE_PERMANENTLY (1 << 3)
2917 #define SWITCH_KEEP_FOR_GCC (1 << 4)
2919 struct switchstr
2921 const char *part1;
2922 const char **args;
2923 unsigned int live_cond;
2924 bool known;
2925 bool validated;
2926 bool ordering;
2929 static struct switchstr *switches;
2931 static int n_switches;
2933 static int n_switches_alloc;
2935 /* Set to zero if -fcompare-debug is disabled, positive if it's
2936 enabled and we're running the first compilation, negative if it's
2937 enabled and we're running the second compilation. For most of the
2938 time, it's in the range -1..1, but it can be temporarily set to 2
2939 or 3 to indicate that the -fcompare-debug flags didn't come from
2940 the command-line, but rather from the GCC_COMPARE_DEBUG environment
2941 variable, until a synthesized -fcompare-debug flag is added to the
2942 command line. */
2943 int compare_debug;
2945 /* Set to nonzero if we've seen the -fcompare-debug-second flag. */
2946 int compare_debug_second;
2948 /* Set to the flags that should be passed to the second compilation in
2949 a -fcompare-debug compilation. */
2950 const char *compare_debug_opt;
2952 static struct switchstr *switches_debug_check[2];
2954 static int n_switches_debug_check[2];
2956 static int n_switches_alloc_debug_check[2];
2958 static char *debug_check_temp_file[2];
2960 /* Language is one of three things:
2962 1) The name of a real programming language.
2963 2) NULL, indicating that no one has figured out
2964 what it is yet.
2965 3) '*', indicating that the file should be passed
2966 to the linker. */
2967 struct infile
2969 const char *name;
2970 const char *language;
2971 struct compiler *incompiler;
2972 bool compiled;
2973 bool preprocessed;
2976 /* Also a vector of input files specified. */
2978 static struct infile *infiles;
2980 int n_infiles;
2982 static int n_infiles_alloc;
2984 /* True if multiple input files are being compiled to a single
2985 assembly file. */
2987 static bool combine_inputs;
2989 /* This counts the number of libraries added by lang_specific_driver, so that
2990 we can tell if there were any user supplied any files or libraries. */
2992 static int added_libraries;
2994 /* And a vector of corresponding output files is made up later. */
2996 const char **outfiles;
2998 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3000 /* Convert NAME to a new name if it is the standard suffix. DO_EXE
3001 is true if we should look for an executable suffix. DO_OBJ
3002 is true if we should look for an object suffix. */
3004 static const char *
3005 convert_filename (const char *name, int do_exe ATTRIBUTE_UNUSED,
3006 int do_obj ATTRIBUTE_UNUSED)
3008 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3009 int i;
3010 #endif
3011 int len;
3013 if (name == NULL)
3014 return NULL;
3016 len = strlen (name);
3018 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3019 /* Convert x.o to x.obj if TARGET_OBJECT_SUFFIX is ".obj". */
3020 if (do_obj && len > 2
3021 && name[len - 2] == '.'
3022 && name[len - 1] == 'o')
3024 obstack_grow (&obstack, name, len - 2);
3025 obstack_grow0 (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
3026 name = XOBFINISH (&obstack, const char *);
3028 #endif
3030 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3031 /* If there is no filetype, make it the executable suffix (which includes
3032 the "."). But don't get confused if we have just "-o". */
3033 if (! do_exe || TARGET_EXECUTABLE_SUFFIX[0] == 0 || (len == 2 && name[0] == '-'))
3034 return name;
3036 for (i = len - 1; i >= 0; i--)
3037 if (IS_DIR_SEPARATOR (name[i]))
3038 break;
3040 for (i++; i < len; i++)
3041 if (name[i] == '.')
3042 return name;
3044 obstack_grow (&obstack, name, len);
3045 obstack_grow0 (&obstack, TARGET_EXECUTABLE_SUFFIX,
3046 strlen (TARGET_EXECUTABLE_SUFFIX));
3047 name = XOBFINISH (&obstack, const char *);
3048 #endif
3050 return name;
3052 #endif
3054 /* Display the command line switches accepted by gcc. */
3055 static void
3056 display_help (void)
3058 printf (_("Usage: %s [options] file...\n"), progname);
3059 fputs (_("Options:\n"), stdout);
3061 fputs (_(" -pass-exit-codes Exit with highest error code from a phase\n"), stdout);
3062 fputs (_(" --help Display this information\n"), stdout);
3063 fputs (_(" --target-help Display target specific command line options\n"), stdout);
3064 fputs (_(" --help={common|optimizers|params|target|warnings|[^]{joined|separate|undocumented}}[,...]\n"), stdout);
3065 fputs (_(" Display specific types of command line options\n"), stdout);
3066 if (! verbose_flag)
3067 fputs (_(" (Use '-v --help' to display command line options of sub-processes)\n"), stdout);
3068 fputs (_(" --version Display compiler version information\n"), stdout);
3069 fputs (_(" -dumpspecs Display all of the built in spec strings\n"), stdout);
3070 fputs (_(" -dumpversion Display the version of the compiler\n"), stdout);
3071 fputs (_(" -dumpmachine Display the compiler's target processor\n"), stdout);
3072 fputs (_(" -print-search-dirs Display the directories in the compiler's search path\n"), stdout);
3073 fputs (_(" -print-libgcc-file-name Display the name of the compiler's companion library\n"), stdout);
3074 fputs (_(" -print-file-name=<lib> Display the full path to library <lib>\n"), stdout);
3075 fputs (_(" -print-prog-name=<prog> Display the full path to compiler component <prog>\n"), stdout);
3076 fputs (_("\
3077 -print-multiarch Display the target's normalized GNU triplet, used as\n\
3078 a component in the library path\n"), stdout);
3079 fputs (_(" -print-multi-directory Display the root directory for versions of libgcc\n"), stdout);
3080 fputs (_("\
3081 -print-multi-lib Display the mapping between command line options and\n\
3082 multiple library search directories\n"), stdout);
3083 fputs (_(" -print-multi-os-directory Display the relative path to OS libraries\n"), stdout);
3084 fputs (_(" -print-sysroot Display the target libraries directory\n"), stdout);
3085 fputs (_(" -print-sysroot-headers-suffix Display the sysroot suffix used to find headers\n"), stdout);
3086 fputs (_(" -Wa,<options> Pass comma-separated <options> on to the assembler\n"), stdout);
3087 fputs (_(" -Wp,<options> Pass comma-separated <options> on to the preprocessor\n"), stdout);
3088 fputs (_(" -Wl,<options> Pass comma-separated <options> on to the linker\n"), stdout);
3089 fputs (_(" -Xassembler <arg> Pass <arg> on to the assembler\n"), stdout);
3090 fputs (_(" -Xpreprocessor <arg> Pass <arg> on to the preprocessor\n"), stdout);
3091 fputs (_(" -Xlinker <arg> Pass <arg> on to the linker\n"), stdout);
3092 fputs (_(" -Xclang-only=<arg> Ignore <arg>\n"), stdout);
3093 fputs (_(" -save-temps Do not delete intermediate files\n"), stdout);
3094 fputs (_(" -save-temps=<arg> Do not delete intermediate files\n"), stdout);
3095 fputs (_("\
3096 -[no-]canonical-prefixes Specify the path canonicalization for relative\n\
3097 prefixes to other gcc components\n"), stdout);
3098 fputs (_(" -pipe Use pipes rather than intermediate files\n"), stdout);
3099 fputs (_(" -time Time the execution of each subprocess\n"), stdout);
3100 fputs (_(" -specs=<file> Override built-in specs with the contents of <file>\n"), stdout);
3101 fputs (_(" -std=<standard> Assume that the input sources are for <standard>\n"), stdout);
3102 fputs (_("\
3103 --sysroot=<directory> Use <directory> as the root directory for headers\n\
3104 and libraries\n"), stdout);
3105 fputs (_(" -B <directory> Add <directory> to the compiler's search paths\n"), stdout);
3106 fputs (_(" -v Display the programs invoked by the compiler\n"), stdout);
3107 fputs (_(" -### Like -v but options quoted and commands not executed\n"), stdout);
3108 fputs (_(" -E Preprocess only; do not compile, assemble or link\n"), stdout);
3109 fputs (_(" -S Compile only; do not assemble or link\n"), stdout);
3110 fputs (_(" -c Compile and assemble, but do not link\n"), stdout);
3111 fputs (_(" -o <file> Place the output into <file>\n"), stdout);
3112 fputs (_(" -pie Create a position independent executable\n"), stdout);
3113 fputs (_(" -shared Create a shared library\n"), stdout);
3114 fputs (_("\
3115 -x <language> Specify the language of the following input files\n\
3116 Permissible languages include: c c++ assembler none\n\
3117 'none' means revert to the default behavior of\n\
3118 guessing the language based on the file's extension\n\
3119 "), stdout);
3121 printf (_("\
3122 \nOptions starting with -g, -f, -m, -O, -W, or --param are automatically\n\
3123 passed on to the various sub-processes invoked by %s. In order to pass\n\
3124 other options on to these processes the -W<letter> options must be used.\n\
3125 "), progname);
3127 /* The rest of the options are displayed by invocations of the various
3128 sub-processes. */
3131 static void
3132 add_preprocessor_option (const char *option, int len)
3134 preprocessor_options.safe_push (save_string (option, len));
3137 static void
3138 add_assembler_option (const char *option, int len)
3140 assembler_options.safe_push (save_string (option, len));
3143 static void
3144 add_linker_option (const char *option, int len)
3146 linker_options.safe_push (save_string (option, len));
3149 /* Allocate space for an input file in infiles. */
3151 static void
3152 alloc_infile (void)
3154 if (n_infiles_alloc == 0)
3156 n_infiles_alloc = 16;
3157 infiles = XNEWVEC (struct infile, n_infiles_alloc);
3159 else if (n_infiles_alloc == n_infiles)
3161 n_infiles_alloc *= 2;
3162 infiles = XRESIZEVEC (struct infile, infiles, n_infiles_alloc);
3166 /* Store an input file with the given NAME and LANGUAGE in
3167 infiles. */
3169 static void
3170 add_infile (const char *name, const char *language)
3172 alloc_infile ();
3173 infiles[n_infiles].name = name;
3174 infiles[n_infiles++].language = language;
3177 /* Allocate space for a switch in switches. */
3179 static void
3180 alloc_switch (void)
3182 if (n_switches_alloc == 0)
3184 n_switches_alloc = 16;
3185 switches = XNEWVEC (struct switchstr, n_switches_alloc);
3187 else if (n_switches_alloc == n_switches)
3189 n_switches_alloc *= 2;
3190 switches = XRESIZEVEC (struct switchstr, switches, n_switches_alloc);
3194 /* Save an option OPT with N_ARGS arguments in array ARGS, marking it
3195 as validated if VALIDATED and KNOWN if it is an internal switch. */
3197 static void
3198 save_switch (const char *opt, size_t n_args, const char *const *args,
3199 bool validated, bool known)
3201 alloc_switch ();
3202 switches[n_switches].part1 = opt + 1;
3203 if (n_args == 0)
3204 switches[n_switches].args = 0;
3205 else
3207 switches[n_switches].args = XNEWVEC (const char *, n_args + 1);
3208 memcpy (switches[n_switches].args, args, n_args * sizeof (const char *));
3209 switches[n_switches].args[n_args] = NULL;
3212 switches[n_switches].live_cond = 0;
3213 switches[n_switches].validated = validated;
3214 switches[n_switches].known = known;
3215 switches[n_switches].ordering = 0;
3216 n_switches++;
3219 /* Handle an option DECODED that is unknown to the option-processing
3220 machinery. */
3222 static bool
3223 driver_unknown_option_callback (const struct cl_decoded_option *decoded)
3225 const char *opt = decoded->arg;
3226 if (opt[1] == 'W' && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-'
3227 && !(decoded->errors & CL_ERR_NEGATIVE))
3229 /* Leave unknown -Wno-* options for the compiler proper, to be
3230 diagnosed only if there are warnings. */
3231 save_switch (decoded->canonical_option[0],
3232 decoded->canonical_option_num_elements - 1,
3233 &decoded->canonical_option[1], false, true);
3234 return false;
3236 if (decoded->opt_index == OPT_SPECIAL_unknown)
3238 /* Give it a chance to define it a a spec file. */
3239 save_switch (decoded->canonical_option[0],
3240 decoded->canonical_option_num_elements - 1,
3241 &decoded->canonical_option[1], false, false);
3242 return false;
3244 else
3245 return true;
3248 /* Handle an option DECODED that is not marked as CL_DRIVER.
3249 LANG_MASK will always be CL_DRIVER. */
3251 static void
3252 driver_wrong_lang_callback (const struct cl_decoded_option *decoded,
3253 unsigned int lang_mask ATTRIBUTE_UNUSED)
3255 /* At this point, non-driver options are accepted (and expected to
3256 be passed down by specs) unless marked to be rejected by the
3257 driver. Options to be rejected by the driver but accepted by the
3258 compilers proper are treated just like completely unknown
3259 options. */
3260 const struct cl_option *option = &cl_options[decoded->opt_index];
3262 if (option->cl_reject_driver)
3263 error ("unrecognized command line option %qs",
3264 decoded->orig_option_with_args_text);
3265 else
3266 save_switch (decoded->canonical_option[0],
3267 decoded->canonical_option_num_elements - 1,
3268 &decoded->canonical_option[1], false, true);
3271 static const char *spec_lang = 0;
3272 static int last_language_n_infiles;
3274 /* Handle a driver option; arguments and return value as for
3275 handle_option. */
3277 static bool
3278 driver_handle_option (struct gcc_options *opts,
3279 struct gcc_options *opts_set,
3280 const struct cl_decoded_option *decoded,
3281 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
3282 location_t loc,
3283 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED,
3284 diagnostic_context *dc)
3286 size_t opt_index = decoded->opt_index;
3287 const char *arg = decoded->arg;
3288 const char *compare_debug_replacement_opt;
3289 int value = decoded->value;
3290 bool validated = false;
3291 bool do_save = true;
3293 gcc_assert (opts == &global_options);
3294 gcc_assert (opts_set == &global_options_set);
3295 gcc_assert (kind == DK_UNSPECIFIED);
3296 gcc_assert (loc == UNKNOWN_LOCATION);
3297 gcc_assert (dc == global_dc);
3299 switch (opt_index)
3301 case OPT_dumpspecs:
3303 struct spec_list *sl;
3304 init_spec ();
3305 for (sl = specs; sl; sl = sl->next)
3306 printf ("*%s:\n%s\n\n", sl->name, *(sl->ptr_spec));
3307 if (link_command_spec)
3308 printf ("*link_command:\n%s\n\n", link_command_spec);
3309 exit (0);
3312 case OPT_dumpversion:
3313 printf ("%s\n", spec_version);
3314 exit (0);
3316 case OPT_dumpmachine:
3317 printf ("%s\n", spec_machine);
3318 exit (0);
3320 case OPT__version:
3321 print_version = 1;
3323 /* CPP driver cannot obtain switch from cc1_options. */
3324 if (is_cpp_driver)
3325 add_preprocessor_option ("--version", strlen ("--version"));
3326 add_assembler_option ("--version", strlen ("--version"));
3327 add_linker_option ("--version", strlen ("--version"));
3328 break;
3330 case OPT__help:
3331 print_help_list = 1;
3333 /* CPP driver cannot obtain switch from cc1_options. */
3334 if (is_cpp_driver)
3335 add_preprocessor_option ("--help", 6);
3336 add_assembler_option ("--help", 6);
3337 add_linker_option ("--help", 6);
3338 break;
3340 case OPT__help_:
3341 print_subprocess_help = 2;
3342 break;
3344 case OPT__target_help:
3345 print_subprocess_help = 1;
3347 /* CPP driver cannot obtain switch from cc1_options. */
3348 if (is_cpp_driver)
3349 add_preprocessor_option ("--target-help", 13);
3350 add_assembler_option ("--target-help", 13);
3351 add_linker_option ("--target-help", 13);
3352 break;
3354 case OPT__no_sysroot_suffix:
3355 case OPT_pass_exit_codes:
3356 case OPT_print_search_dirs:
3357 case OPT_print_file_name_:
3358 case OPT_print_prog_name_:
3359 case OPT_print_multi_lib:
3360 case OPT_print_multi_directory:
3361 case OPT_print_sysroot:
3362 case OPT_print_multi_os_directory:
3363 case OPT_print_multiarch:
3364 case OPT_print_sysroot_headers_suffix:
3365 case OPT_time:
3366 case OPT_wrapper:
3367 /* These options set the variables specified in common.opt
3368 automatically, and do not need to be saved for spec
3369 processing. */
3370 do_save = false;
3371 break;
3373 case OPT_print_libgcc_file_name:
3374 print_file_name = "libgcc.a";
3375 do_save = false;
3376 break;
3378 case OPT_fcompare_debug_second:
3379 compare_debug_second = 1;
3380 break;
3382 case OPT_fcompare_debug:
3383 switch (value)
3385 case 0:
3386 compare_debug_replacement_opt = "-fcompare-debug=";
3387 arg = "";
3388 goto compare_debug_with_arg;
3390 case 1:
3391 compare_debug_replacement_opt = "-fcompare-debug=-gtoggle";
3392 arg = "-gtoggle";
3393 goto compare_debug_with_arg;
3395 default:
3396 gcc_unreachable ();
3398 break;
3400 case OPT_fcompare_debug_:
3401 compare_debug_replacement_opt = decoded->canonical_option[0];
3402 compare_debug_with_arg:
3403 gcc_assert (decoded->canonical_option_num_elements == 1);
3404 gcc_assert (arg != NULL);
3405 if (*arg)
3406 compare_debug = 1;
3407 else
3408 compare_debug = -1;
3409 if (compare_debug < 0)
3410 compare_debug_opt = NULL;
3411 else
3412 compare_debug_opt = arg;
3413 save_switch (compare_debug_replacement_opt, 0, NULL, validated, true);
3414 return true;
3416 case OPT_Wa_:
3418 int prev, j;
3419 /* Pass the rest of this option to the assembler. */
3421 /* Split the argument at commas. */
3422 prev = 0;
3423 for (j = 0; arg[j]; j++)
3424 if (arg[j] == ',')
3426 add_assembler_option (arg + prev, j - prev);
3427 prev = j + 1;
3430 /* Record the part after the last comma. */
3431 add_assembler_option (arg + prev, j - prev);
3433 do_save = false;
3434 break;
3436 case OPT_Wp_:
3438 int prev, j;
3439 /* Pass the rest of this option to the preprocessor. */
3441 /* Split the argument at commas. */
3442 prev = 0;
3443 for (j = 0; arg[j]; j++)
3444 if (arg[j] == ',')
3446 add_preprocessor_option (arg + prev, j - prev);
3447 prev = j + 1;
3450 /* Record the part after the last comma. */
3451 add_preprocessor_option (arg + prev, j - prev);
3453 do_save = false;
3454 break;
3456 case OPT_Wl_:
3458 int prev, j;
3459 /* Split the argument at commas. */
3460 prev = 0;
3461 for (j = 0; arg[j]; j++)
3462 if (arg[j] == ',')
3464 add_infile (save_string (arg + prev, j - prev), "*");
3465 prev = j + 1;
3467 /* Record the part after the last comma. */
3468 add_infile (arg + prev, "*");
3470 do_save = false;
3471 break;
3473 case OPT_Xlinker:
3474 add_infile (arg, "*");
3475 do_save = false;
3476 break;
3478 case OPT_Xpreprocessor:
3479 add_preprocessor_option (arg, strlen (arg));
3480 do_save = false;
3481 break;
3483 case OPT_Xassembler:
3484 add_assembler_option (arg, strlen (arg));
3485 do_save = false;
3486 break;
3488 case OPT_l:
3489 /* POSIX allows separation of -l and the lib arg; canonicalize
3490 by concatenating -l with its arg */
3491 add_infile (concat ("-l", arg, NULL), "*");
3492 do_save = false;
3493 break;
3495 case OPT_L:
3496 /* Similarly, canonicalize -L for linkers that may not accept
3497 separate arguments. */
3498 save_switch (concat ("-L", arg, NULL), 0, NULL, validated, true);
3499 return true;
3501 case OPT_F:
3502 /* Likewise -F. */
3503 save_switch (concat ("-F", arg, NULL), 0, NULL, validated, true);
3504 return true;
3506 case OPT_save_temps:
3507 save_temps_flag = SAVE_TEMPS_CWD;
3508 validated = true;
3509 break;
3511 case OPT_save_temps_:
3512 if (strcmp (arg, "cwd") == 0)
3513 save_temps_flag = SAVE_TEMPS_CWD;
3514 else if (strcmp (arg, "obj") == 0
3515 || strcmp (arg, "object") == 0)
3516 save_temps_flag = SAVE_TEMPS_OBJ;
3517 else
3518 fatal_error ("%qs is an unknown -save-temps option",
3519 decoded->orig_option_with_args_text);
3520 break;
3522 case OPT_canonical_prefixes:
3523 case OPT_no_canonical_prefixes:
3524 /* Already handled as a special case, so ignored here. */
3525 do_save = false;
3526 break;
3528 case OPT_pipe:
3529 validated = true;
3530 /* These options set the variables specified in common.opt
3531 automatically, but do need to be saved for spec
3532 processing. */
3533 break;
3535 case OPT_specs_:
3537 struct user_specs *user = XNEW (struct user_specs);
3539 user->next = (struct user_specs *) 0;
3540 user->filename = arg;
3541 if (user_specs_tail)
3542 user_specs_tail->next = user;
3543 else
3544 user_specs_head = user;
3545 user_specs_tail = user;
3547 validated = true;
3548 break;
3550 case OPT__sysroot_:
3551 target_system_root = arg;
3552 target_system_root_changed = 1;
3553 do_save = false;
3554 break;
3556 case OPT_time_:
3557 if (report_times_to_file)
3558 fclose (report_times_to_file);
3559 report_times_to_file = fopen (arg, "a");
3560 do_save = false;
3561 break;
3563 case OPT____:
3564 /* "-###"
3565 This is similar to -v except that there is no execution
3566 of the commands and the echoed arguments are quoted. It
3567 is intended for use in shell scripts to capture the
3568 driver-generated command line. */
3569 verbose_only_flag++;
3570 verbose_flag = 1;
3571 do_save = false;
3572 break;
3574 case OPT_B:
3576 size_t len = strlen (arg);
3578 /* Catch the case where the user has forgotten to append a
3579 directory separator to the path. Note, they may be using
3580 -B to add an executable name prefix, eg "i386-elf-", in
3581 order to distinguish between multiple installations of
3582 GCC in the same directory. Hence we must check to see
3583 if appending a directory separator actually makes a
3584 valid directory name. */
3585 if (!IS_DIR_SEPARATOR (arg[len - 1])
3586 && is_directory (arg, false))
3588 char *tmp = XNEWVEC (char, len + 2);
3589 strcpy (tmp, arg);
3590 tmp[len] = DIR_SEPARATOR;
3591 tmp[++len] = 0;
3592 arg = tmp;
3595 add_prefix (&exec_prefixes, arg, NULL,
3596 PREFIX_PRIORITY_B_OPT, 0, 0);
3597 add_prefix (&startfile_prefixes, arg, NULL,
3598 PREFIX_PRIORITY_B_OPT, 0, 0);
3599 add_prefix (&include_prefixes, arg, NULL,
3600 PREFIX_PRIORITY_B_OPT, 0, 0);
3602 validated = true;
3603 break;
3605 case OPT_x:
3606 spec_lang = arg;
3607 if (!strcmp (spec_lang, "none"))
3608 /* Suppress the warning if -xnone comes after the last input
3609 file, because alternate command interfaces like g++ might
3610 find it useful to place -xnone after each input file. */
3611 spec_lang = 0;
3612 else
3613 last_language_n_infiles = n_infiles;
3614 do_save = false;
3615 break;
3617 case OPT_o:
3618 have_o = 1;
3619 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX) || defined(HAVE_TARGET_OBJECT_SUFFIX)
3620 arg = convert_filename (arg, ! have_c, 0);
3621 #endif
3622 /* Save the output name in case -save-temps=obj was used. */
3623 save_temps_prefix = xstrdup (arg);
3624 /* On some systems, ld cannot handle "-o" without a space. So
3625 split the option from its argument. */
3626 save_switch ("-o", 1, &arg, validated, true);
3627 return true;
3629 case OPT_static_libgcc:
3630 case OPT_shared_libgcc:
3631 case OPT_static_libgfortran:
3632 case OPT_static_libstdc__:
3633 /* These are always valid, since gcc.c itself understands the
3634 first two, gfortranspec.c understands -static-libgfortran and
3635 g++spec.c understands -static-libstdc++ */
3636 validated = true;
3637 break;
3639 default:
3640 /* Various driver options need no special processing at this
3641 point, having been handled in a prescan above or being
3642 handled by specs. */
3643 break;
3646 if (do_save)
3647 save_switch (decoded->canonical_option[0],
3648 decoded->canonical_option_num_elements - 1,
3649 &decoded->canonical_option[1], validated, true);
3650 return true;
3653 /* Put the driver's standard set of option handlers in *HANDLERS. */
3655 static void
3656 set_option_handlers (struct cl_option_handlers *handlers)
3658 handlers->unknown_option_callback = driver_unknown_option_callback;
3659 handlers->wrong_lang_callback = driver_wrong_lang_callback;
3660 handlers->num_handlers = 3;
3661 handlers->handlers[0].handler = driver_handle_option;
3662 handlers->handlers[0].mask = CL_DRIVER;
3663 handlers->handlers[1].handler = common_handle_option;
3664 handlers->handlers[1].mask = CL_COMMON;
3665 handlers->handlers[2].handler = target_handle_option;
3666 handlers->handlers[2].mask = CL_TARGET;
3669 /* Create the vector `switches' and its contents.
3670 Store its length in `n_switches'. */
3672 static void
3673 process_command (unsigned int decoded_options_count,
3674 struct cl_decoded_option *decoded_options)
3676 const char *temp;
3677 char *temp1;
3678 char *tooldir_prefix, *tooldir_prefix2;
3679 char *(*get_relative_prefix) (const char *, const char *,
3680 const char *) = NULL;
3681 struct cl_option_handlers handlers;
3682 unsigned int j;
3684 gcc_exec_prefix = getenv ("GCC_EXEC_PREFIX");
3686 n_switches = 0;
3687 n_infiles = 0;
3688 added_libraries = 0;
3690 /* Figure compiler version from version string. */
3692 compiler_version = temp1 = xstrdup (version_string);
3694 for (; *temp1; ++temp1)
3696 if (*temp1 == ' ')
3698 *temp1 = '\0';
3699 break;
3703 /* Handle any -[no-]canonical-prefixes flags early, to assign the function
3704 that builds relative prefixes. This function creates default search
3705 paths that are needed later in normal option handling. */
3707 for (j = 1; j < decoded_options_count; j++)
3709 if (decoded_options[j].opt_index == OPT_canonical_prefixes)
3710 get_relative_prefix = make_relative_prefix;
3711 else if (decoded_options[j].opt_index == OPT_no_canonical_prefixes)
3712 get_relative_prefix = make_relative_prefix_ignore_links;
3714 if (! get_relative_prefix)
3716 #ifdef ENABLE_CANONICAL_PREFIXES
3717 get_relative_prefix = make_relative_prefix;
3718 #else
3719 get_relative_prefix = make_relative_prefix_ignore_links;
3720 #endif
3723 /* Set up the default search paths. If there is no GCC_EXEC_PREFIX,
3724 see if we can create it from the pathname specified in
3725 decoded_options[0].arg. */
3727 gcc_libexec_prefix = standard_libexec_prefix;
3728 #ifndef VMS
3729 /* FIXME: make_relative_prefix doesn't yet work for VMS. */
3730 if (!gcc_exec_prefix)
3732 gcc_exec_prefix = get_relative_prefix (decoded_options[0].arg,
3733 standard_bindir_prefix,
3734 standard_exec_prefix);
3735 gcc_libexec_prefix = get_relative_prefix (decoded_options[0].arg,
3736 standard_bindir_prefix,
3737 standard_libexec_prefix);
3738 if (gcc_exec_prefix)
3739 xputenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
3741 else
3743 /* make_relative_prefix requires a program name, but
3744 GCC_EXEC_PREFIX is typically a directory name with a trailing
3745 / (which is ignored by make_relative_prefix), so append a
3746 program name. */
3747 char *tmp_prefix = concat (gcc_exec_prefix, "gcc", NULL);
3748 gcc_libexec_prefix = get_relative_prefix (tmp_prefix,
3749 standard_exec_prefix,
3750 standard_libexec_prefix);
3752 /* The path is unrelocated, so fallback to the original setting. */
3753 if (!gcc_libexec_prefix)
3754 gcc_libexec_prefix = standard_libexec_prefix;
3756 free (tmp_prefix);
3758 #else
3759 #endif
3760 /* From this point onward, gcc_exec_prefix is non-null if the toolchain
3761 is relocated. The toolchain was either relocated using GCC_EXEC_PREFIX
3762 or an automatically created GCC_EXEC_PREFIX from
3763 decoded_options[0].arg. */
3765 /* Do language-specific adjustment/addition of flags. */
3766 lang_specific_driver (&decoded_options, &decoded_options_count,
3767 &added_libraries);
3769 if (gcc_exec_prefix)
3771 int len = strlen (gcc_exec_prefix);
3773 if (len > (int) sizeof ("/lib/gcc/") - 1
3774 && (IS_DIR_SEPARATOR (gcc_exec_prefix[len-1])))
3776 temp = gcc_exec_prefix + len - sizeof ("/lib/gcc/") + 1;
3777 if (IS_DIR_SEPARATOR (*temp)
3778 && filename_ncmp (temp + 1, "lib", 3) == 0
3779 && IS_DIR_SEPARATOR (temp[4])
3780 && filename_ncmp (temp + 5, "gcc", 3) == 0)
3781 len -= sizeof ("/lib/gcc/") - 1;
3784 set_std_prefix (gcc_exec_prefix, len);
3785 add_prefix (&exec_prefixes, gcc_libexec_prefix, "GCC",
3786 PREFIX_PRIORITY_LAST, 0, 0);
3787 add_prefix (&startfile_prefixes, gcc_exec_prefix, "GCC",
3788 PREFIX_PRIORITY_LAST, 0, 0);
3791 /* COMPILER_PATH and LIBRARY_PATH have values
3792 that are lists of directory names with colons. */
3794 temp = getenv ("COMPILER_PATH");
3795 if (temp)
3797 const char *startp, *endp;
3798 char *nstore = (char *) alloca (strlen (temp) + 3);
3800 startp = endp = temp;
3801 while (1)
3803 if (*endp == PATH_SEPARATOR || *endp == 0)
3805 strncpy (nstore, startp, endp - startp);
3806 if (endp == startp)
3807 strcpy (nstore, concat (".", dir_separator_str, NULL));
3808 else if (!IS_DIR_SEPARATOR (endp[-1]))
3810 nstore[endp - startp] = DIR_SEPARATOR;
3811 nstore[endp - startp + 1] = 0;
3813 else
3814 nstore[endp - startp] = 0;
3815 add_prefix (&exec_prefixes, nstore, 0,
3816 PREFIX_PRIORITY_LAST, 0, 0);
3817 add_prefix (&include_prefixes, nstore, 0,
3818 PREFIX_PRIORITY_LAST, 0, 0);
3819 if (*endp == 0)
3820 break;
3821 endp = startp = endp + 1;
3823 else
3824 endp++;
3828 temp = getenv (LIBRARY_PATH_ENV);
3829 if (temp && *cross_compile == '0')
3831 const char *startp, *endp;
3832 char *nstore = (char *) alloca (strlen (temp) + 3);
3834 startp = endp = temp;
3835 while (1)
3837 if (*endp == PATH_SEPARATOR || *endp == 0)
3839 strncpy (nstore, startp, endp - startp);
3840 if (endp == startp)
3841 strcpy (nstore, concat (".", dir_separator_str, NULL));
3842 else if (!IS_DIR_SEPARATOR (endp[-1]))
3844 nstore[endp - startp] = DIR_SEPARATOR;
3845 nstore[endp - startp + 1] = 0;
3847 else
3848 nstore[endp - startp] = 0;
3849 add_prefix (&startfile_prefixes, nstore, NULL,
3850 PREFIX_PRIORITY_LAST, 0, 1);
3851 if (*endp == 0)
3852 break;
3853 endp = startp = endp + 1;
3855 else
3856 endp++;
3860 /* Use LPATH like LIBRARY_PATH (for the CMU build program). */
3861 temp = getenv ("LPATH");
3862 if (temp && *cross_compile == '0')
3864 const char *startp, *endp;
3865 char *nstore = (char *) alloca (strlen (temp) + 3);
3867 startp = endp = temp;
3868 while (1)
3870 if (*endp == PATH_SEPARATOR || *endp == 0)
3872 strncpy (nstore, startp, endp - startp);
3873 if (endp == startp)
3874 strcpy (nstore, concat (".", dir_separator_str, NULL));
3875 else if (!IS_DIR_SEPARATOR (endp[-1]))
3877 nstore[endp - startp] = DIR_SEPARATOR;
3878 nstore[endp - startp + 1] = 0;
3880 else
3881 nstore[endp - startp] = 0;
3882 add_prefix (&startfile_prefixes, nstore, NULL,
3883 PREFIX_PRIORITY_LAST, 0, 1);
3884 if (*endp == 0)
3885 break;
3886 endp = startp = endp + 1;
3888 else
3889 endp++;
3893 /* Process the options and store input files and switches in their
3894 vectors. */
3896 last_language_n_infiles = -1;
3898 set_option_handlers (&handlers);
3900 for (j = 1; j < decoded_options_count; j++)
3902 switch (decoded_options[j].opt_index)
3904 case OPT_S:
3905 case OPT_c:
3906 case OPT_E:
3907 have_c = 1;
3908 break;
3910 if (have_c)
3911 break;
3914 for (j = 1; j < decoded_options_count; j++)
3916 if (decoded_options[j].opt_index == OPT_SPECIAL_input_file)
3918 const char *arg = decoded_options[j].arg;
3919 const char *p = strrchr (arg, '@');
3920 char *fname;
3921 long offset;
3922 int consumed;
3923 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3924 arg = convert_filename (arg, 0, access (arg, F_OK));
3925 #endif
3926 /* For LTO static archive support we handle input file
3927 specifications that are composed of a filename and
3928 an offset like FNAME@OFFSET. */
3929 if (p
3930 && p != arg
3931 && sscanf (p, "@%li%n", &offset, &consumed) >= 1
3932 && strlen (p) == (unsigned int)consumed)
3934 fname = (char *)xmalloc (p - arg + 1);
3935 memcpy (fname, arg, p - arg);
3936 fname[p - arg] = '\0';
3937 /* Only accept non-stdin and existing FNAME parts, otherwise
3938 try with the full name. */
3939 if (strcmp (fname, "-") == 0 || access (fname, F_OK) < 0)
3941 free (fname);
3942 fname = xstrdup (arg);
3945 else
3946 fname = xstrdup (arg);
3948 if (strcmp (fname, "-") != 0 && access (fname, F_OK) < 0)
3949 perror_with_name (fname);
3950 else
3951 add_infile (arg, spec_lang);
3953 free (fname);
3954 continue;
3957 read_cmdline_option (&global_options, &global_options_set,
3958 decoded_options + j, UNKNOWN_LOCATION,
3959 CL_DRIVER, &handlers, global_dc);
3962 /* If -save-temps=obj and -o name, create the prefix to use for %b.
3963 Otherwise just make -save-temps=obj the same as -save-temps=cwd. */
3964 if (save_temps_flag == SAVE_TEMPS_OBJ && save_temps_prefix != NULL)
3966 save_temps_length = strlen (save_temps_prefix);
3967 temp = strrchr (lbasename (save_temps_prefix), '.');
3968 if (temp)
3970 save_temps_length -= strlen (temp);
3971 save_temps_prefix[save_temps_length] = '\0';
3975 else if (save_temps_prefix != NULL)
3977 free (save_temps_prefix);
3978 save_temps_prefix = NULL;
3981 if (save_temps_flag && use_pipes)
3983 /* -save-temps overrides -pipe, so that temp files are produced */
3984 if (save_temps_flag)
3985 warning (0, "-pipe ignored because -save-temps specified");
3986 use_pipes = 0;
3989 if (!compare_debug)
3991 const char *gcd = getenv ("GCC_COMPARE_DEBUG");
3993 if (gcd && gcd[0] == '-')
3995 compare_debug = 2;
3996 compare_debug_opt = gcd;
3998 else if (gcd && *gcd && strcmp (gcd, "0"))
4000 compare_debug = 3;
4001 compare_debug_opt = "-gtoggle";
4004 else if (compare_debug < 0)
4006 compare_debug = 0;
4007 gcc_assert (!compare_debug_opt);
4010 /* Set up the search paths. We add directories that we expect to
4011 contain GNU Toolchain components before directories specified by
4012 the machine description so that we will find GNU components (like
4013 the GNU assembler) before those of the host system. */
4015 /* If we don't know where the toolchain has been installed, use the
4016 configured-in locations. */
4017 if (!gcc_exec_prefix)
4019 #ifndef OS2
4020 add_prefix (&exec_prefixes, standard_libexec_prefix, "GCC",
4021 PREFIX_PRIORITY_LAST, 1, 0);
4022 add_prefix (&exec_prefixes, standard_libexec_prefix, "BINUTILS",
4023 PREFIX_PRIORITY_LAST, 2, 0);
4024 add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
4025 PREFIX_PRIORITY_LAST, 2, 0);
4026 #endif
4027 add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
4028 PREFIX_PRIORITY_LAST, 1, 0);
4031 gcc_assert (!IS_ABSOLUTE_PATH (tooldir_base_prefix));
4032 tooldir_prefix2 = concat (tooldir_base_prefix, spec_machine,
4033 dir_separator_str, NULL);
4035 /* Look for tools relative to the location from which the driver is
4036 running, or, if that is not available, the configured prefix. */
4037 tooldir_prefix
4038 = concat (gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
4039 spec_machine, dir_separator_str,
4040 spec_version, dir_separator_str, tooldir_prefix2, NULL);
4041 free (tooldir_prefix2);
4043 add_prefix (&exec_prefixes,
4044 concat (tooldir_prefix, "bin", dir_separator_str, NULL),
4045 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 0);
4046 add_prefix (&startfile_prefixes,
4047 concat (tooldir_prefix, "lib", dir_separator_str, NULL),
4048 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 1);
4049 free (tooldir_prefix);
4051 #if defined(TARGET_SYSTEM_ROOT_RELOCATABLE) && !defined(VMS)
4052 /* If the normal TARGET_SYSTEM_ROOT is inside of $exec_prefix,
4053 then consider it to relocate with the rest of the GCC installation
4054 if GCC_EXEC_PREFIX is set.
4055 ``make_relative_prefix'' is not compiled for VMS, so don't call it. */
4056 if (target_system_root && !target_system_root_changed && gcc_exec_prefix)
4058 char *tmp_prefix = get_relative_prefix (decoded_options[0].arg,
4059 standard_bindir_prefix,
4060 target_system_root);
4061 if (tmp_prefix && access_check (tmp_prefix, F_OK) == 0)
4063 target_system_root = tmp_prefix;
4064 target_system_root_changed = 1;
4067 #endif
4069 /* More prefixes are enabled in main, after we read the specs file
4070 and determine whether this is cross-compilation or not. */
4072 if (n_infiles == last_language_n_infiles && spec_lang != 0)
4073 warning (0, "%<-x %s%> after last input file has no effect", spec_lang);
4075 /* Synthesize -fcompare-debug flag from the GCC_COMPARE_DEBUG
4076 environment variable. */
4077 if (compare_debug == 2 || compare_debug == 3)
4079 const char *opt = concat ("-fcompare-debug=", compare_debug_opt, NULL);
4080 save_switch (opt, 0, NULL, false, true);
4081 compare_debug = 1;
4084 /* Ensure we only invoke each subprocess once. */
4085 if (print_subprocess_help || print_help_list || print_version)
4087 n_infiles = 0;
4089 /* Create a dummy input file, so that we can pass
4090 the help option on to the various sub-processes. */
4091 add_infile ("help-dummy", "c");
4094 alloc_switch ();
4095 switches[n_switches].part1 = 0;
4096 alloc_infile ();
4097 infiles[n_infiles].name = 0;
4100 /* Store switches not filtered out by %<S in spec in COLLECT_GCC_OPTIONS
4101 and place that in the environment. */
4103 static void
4104 set_collect_gcc_options (void)
4106 int i;
4107 int first_time;
4109 /* Build COLLECT_GCC_OPTIONS to have all of the options specified to
4110 the compiler. */
4111 obstack_grow (&collect_obstack, "COLLECT_GCC_OPTIONS=",
4112 sizeof ("COLLECT_GCC_OPTIONS=") - 1);
4114 first_time = TRUE;
4115 for (i = 0; (int) i < n_switches; i++)
4117 const char *const *args;
4118 const char *p, *q;
4119 if (!first_time)
4120 obstack_grow (&collect_obstack, " ", 1);
4122 first_time = FALSE;
4124 /* Ignore elided switches. */
4125 if ((switches[i].live_cond
4126 & (SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC))
4127 == SWITCH_IGNORE)
4128 continue;
4130 obstack_grow (&collect_obstack, "'-", 2);
4131 q = switches[i].part1;
4132 while ((p = strchr (q, '\'')))
4134 obstack_grow (&collect_obstack, q, p - q);
4135 obstack_grow (&collect_obstack, "'\\''", 4);
4136 q = ++p;
4138 obstack_grow (&collect_obstack, q, strlen (q));
4139 obstack_grow (&collect_obstack, "'", 1);
4141 for (args = switches[i].args; args && *args; args++)
4143 obstack_grow (&collect_obstack, " '", 2);
4144 q = *args;
4145 while ((p = strchr (q, '\'')))
4147 obstack_grow (&collect_obstack, q, p - q);
4148 obstack_grow (&collect_obstack, "'\\''", 4);
4149 q = ++p;
4151 obstack_grow (&collect_obstack, q, strlen (q));
4152 obstack_grow (&collect_obstack, "'", 1);
4155 obstack_grow (&collect_obstack, "\0", 1);
4156 xputenv (XOBFINISH (&collect_obstack, char *));
4159 /* Process a spec string, accumulating and running commands. */
4161 /* These variables describe the input file name.
4162 input_file_number is the index on outfiles of this file,
4163 so that the output file name can be stored for later use by %o.
4164 input_basename is the start of the part of the input file
4165 sans all directory names, and basename_length is the number
4166 of characters starting there excluding the suffix .c or whatever. */
4168 static const char *gcc_input_filename;
4169 static int input_file_number;
4170 size_t input_filename_length;
4171 static int basename_length;
4172 static int suffixed_basename_length;
4173 static const char *input_basename;
4174 static const char *input_suffix;
4175 #ifndef HOST_LACKS_INODE_NUMBERS
4176 static struct stat input_stat;
4177 #endif
4178 static int input_stat_set;
4180 /* The compiler used to process the current input file. */
4181 static struct compiler *input_file_compiler;
4183 /* These are variables used within do_spec and do_spec_1. */
4185 /* Nonzero if an arg has been started and not yet terminated
4186 (with space, tab or newline). */
4187 static int arg_going;
4189 /* Nonzero means %d or %g has been seen; the next arg to be terminated
4190 is a temporary file name. */
4191 static int delete_this_arg;
4193 /* Nonzero means %w has been seen; the next arg to be terminated
4194 is the output file name of this compilation. */
4195 static int this_is_output_file;
4197 /* Nonzero means %s has been seen; the next arg to be terminated
4198 is the name of a library file and we should try the standard
4199 search dirs for it. */
4200 static int this_is_library_file;
4202 /* Nonzero means %T has been seen; the next arg to be terminated
4203 is the name of a linker script and we should try all of the
4204 standard search dirs for it. If it is found insert a --script
4205 command line switch and then substitute the full path in place,
4206 otherwise generate an error message. */
4207 static int this_is_linker_script;
4209 /* Nonzero means that the input of this command is coming from a pipe. */
4210 static int input_from_pipe;
4212 /* Nonnull means substitute this for any suffix when outputting a switches
4213 arguments. */
4214 static const char *suffix_subst;
4216 /* If there is an argument being accumulated, terminate it and store it. */
4218 static void
4219 end_going_arg (void)
4221 if (arg_going)
4223 const char *string;
4225 obstack_1grow (&obstack, 0);
4226 string = XOBFINISH (&obstack, const char *);
4227 if (this_is_library_file)
4228 string = find_file (string);
4229 if (this_is_linker_script)
4231 char * full_script_path = find_a_file (&startfile_prefixes, string, R_OK, true);
4233 if (full_script_path == NULL)
4235 error ("unable to locate default linker script %qs in the library search paths", string);
4236 /* Script was not found on search path. */
4237 return;
4239 store_arg ("--script", false, false);
4240 string = full_script_path;
4242 store_arg (string, delete_this_arg, this_is_output_file);
4243 if (this_is_output_file)
4244 outfiles[input_file_number] = string;
4245 arg_going = 0;
4250 /* Parse the WRAPPER string which is a comma separated list of the command line
4251 and insert them into the beginning of argbuf. */
4253 static void
4254 insert_wrapper (const char *wrapper)
4256 int n = 0;
4257 int i;
4258 char *buf = xstrdup (wrapper);
4259 char *p = buf;
4260 unsigned int old_length = argbuf.length ();
4264 n++;
4265 while (*p == ',')
4266 p++;
4268 while ((p = strchr (p, ',')) != NULL);
4270 argbuf.safe_grow (old_length + n);
4271 memmove (argbuf.address () + n,
4272 argbuf.address (),
4273 old_length * sizeof (const_char_p));
4275 i = 0;
4276 p = buf;
4279 while (*p == ',')
4281 *p = 0;
4282 p++;
4284 argbuf[i] = p;
4285 i++;
4287 while ((p = strchr (p, ',')) != NULL);
4288 gcc_assert (i == n);
4291 /* Process the spec SPEC and run the commands specified therein.
4292 Returns 0 if the spec is successfully processed; -1 if failed. */
4295 do_spec (const char *spec)
4297 int value;
4299 value = do_spec_2 (spec);
4301 /* Force out any unfinished command.
4302 If -pipe, this forces out the last command if it ended in `|'. */
4303 if (value == 0)
4305 if (argbuf.length () > 0
4306 && !strcmp (argbuf.last (), "|"))
4307 argbuf.pop ();
4309 set_collect_gcc_options ();
4311 if (argbuf.length () > 0)
4312 value = execute ();
4315 return value;
4318 static int
4319 do_spec_2 (const char *spec)
4321 int result;
4323 clear_args ();
4324 arg_going = 0;
4325 delete_this_arg = 0;
4326 this_is_output_file = 0;
4327 this_is_library_file = 0;
4328 this_is_linker_script = 0;
4329 input_from_pipe = 0;
4330 suffix_subst = NULL;
4332 result = do_spec_1 (spec, 0, NULL);
4334 end_going_arg ();
4336 return result;
4340 /* Process the given spec string and add any new options to the end
4341 of the switches/n_switches array. */
4343 static void
4344 do_option_spec (const char *name, const char *spec)
4346 unsigned int i, value_count, value_len;
4347 const char *p, *q, *value;
4348 char *tmp_spec, *tmp_spec_p;
4350 if (configure_default_options[0].name == NULL)
4351 return;
4353 for (i = 0; i < ARRAY_SIZE (configure_default_options); i++)
4354 if (strcmp (configure_default_options[i].name, name) == 0)
4355 break;
4356 if (i == ARRAY_SIZE (configure_default_options))
4357 return;
4359 value = configure_default_options[i].value;
4360 value_len = strlen (value);
4362 /* Compute the size of the final spec. */
4363 value_count = 0;
4364 p = spec;
4365 while ((p = strstr (p, "%(VALUE)")) != NULL)
4367 p ++;
4368 value_count ++;
4371 /* Replace each %(VALUE) by the specified value. */
4372 tmp_spec = (char *) alloca (strlen (spec) + 1
4373 + value_count * (value_len - strlen ("%(VALUE)")));
4374 tmp_spec_p = tmp_spec;
4375 q = spec;
4376 while ((p = strstr (q, "%(VALUE)")) != NULL)
4378 memcpy (tmp_spec_p, q, p - q);
4379 tmp_spec_p = tmp_spec_p + (p - q);
4380 memcpy (tmp_spec_p, value, value_len);
4381 tmp_spec_p += value_len;
4382 q = p + strlen ("%(VALUE)");
4384 strcpy (tmp_spec_p, q);
4386 do_self_spec (tmp_spec);
4389 /* Process the given spec string and add any new options to the end
4390 of the switches/n_switches array. */
4392 static void
4393 do_self_spec (const char *spec)
4395 int i;
4397 do_spec_2 (spec);
4398 do_spec_1 (" ", 0, NULL);
4400 /* Mark %<S switches processed by do_self_spec to be ignored permanently.
4401 do_self_specs adds the replacements to switches array, so it shouldn't
4402 be processed afterwards. */
4403 for (i = 0; i < n_switches; i++)
4404 if ((switches[i].live_cond & SWITCH_IGNORE))
4405 switches[i].live_cond |= SWITCH_IGNORE_PERMANENTLY;
4407 if (argbuf.length () > 0)
4409 const char **argbuf_copy;
4410 struct cl_decoded_option *decoded_options;
4411 struct cl_option_handlers handlers;
4412 unsigned int decoded_options_count;
4413 unsigned int j;
4415 /* Create a copy of argbuf with a dummy argv[0] entry for
4416 decode_cmdline_options_to_array. */
4417 argbuf_copy = XNEWVEC (const char *,
4418 argbuf.length () + 1);
4419 argbuf_copy[0] = "";
4420 memcpy (argbuf_copy + 1, argbuf.address (),
4421 argbuf.length () * sizeof (const char *));
4423 decode_cmdline_options_to_array (argbuf.length () + 1,
4424 argbuf_copy,
4425 CL_DRIVER, &decoded_options,
4426 &decoded_options_count);
4427 free (argbuf_copy);
4429 set_option_handlers (&handlers);
4431 for (j = 1; j < decoded_options_count; j++)
4433 switch (decoded_options[j].opt_index)
4435 case OPT_SPECIAL_input_file:
4436 /* Specs should only generate options, not input
4437 files. */
4438 if (strcmp (decoded_options[j].arg, "-") != 0)
4439 fatal_error ("switch %qs does not start with %<-%>",
4440 decoded_options[j].arg);
4441 else
4442 fatal_error ("spec-generated switch is just %<-%>");
4443 break;
4445 case OPT_fcompare_debug_second:
4446 case OPT_fcompare_debug:
4447 case OPT_fcompare_debug_:
4448 case OPT_o:
4449 /* Avoid duplicate processing of some options from
4450 compare-debug specs; just save them here. */
4451 save_switch (decoded_options[j].canonical_option[0],
4452 (decoded_options[j].canonical_option_num_elements
4453 - 1),
4454 &decoded_options[j].canonical_option[1], false, true);
4455 break;
4457 default:
4458 read_cmdline_option (&global_options, &global_options_set,
4459 decoded_options + j, UNKNOWN_LOCATION,
4460 CL_DRIVER, &handlers, global_dc);
4461 break;
4465 alloc_switch ();
4466 switches[n_switches].part1 = 0;
4470 /* Callback for processing %D and %I specs. */
4472 struct spec_path_info {
4473 const char *option;
4474 const char *append;
4475 size_t append_len;
4476 bool omit_relative;
4477 bool separate_options;
4480 static void *
4481 spec_path (char *path, void *data)
4483 struct spec_path_info *info = (struct spec_path_info *) data;
4484 size_t len = 0;
4485 char save = 0;
4487 if (info->omit_relative && !IS_ABSOLUTE_PATH (path))
4488 return NULL;
4490 if (info->append_len != 0)
4492 len = strlen (path);
4493 memcpy (path + len, info->append, info->append_len + 1);
4496 if (!is_directory (path, true))
4497 return NULL;
4499 do_spec_1 (info->option, 1, NULL);
4500 if (info->separate_options)
4501 do_spec_1 (" ", 0, NULL);
4503 if (info->append_len == 0)
4505 len = strlen (path);
4506 save = path[len - 1];
4507 if (IS_DIR_SEPARATOR (path[len - 1]))
4508 path[len - 1] = '\0';
4511 do_spec_1 (path, 1, NULL);
4512 do_spec_1 (" ", 0, NULL);
4514 /* Must not damage the original path. */
4515 if (info->append_len == 0)
4516 path[len - 1] = save;
4518 return NULL;
4521 /* Create a temporary FILE with the contents of ARGV. Add @FILE to the
4522 argument list. */
4524 static void
4525 create_at_file (char **argv)
4527 char *temp_file = make_temp_file ("");
4528 char *at_argument = concat ("@", temp_file, NULL);
4529 FILE *f = fopen (temp_file, "w");
4530 int status;
4532 if (f == NULL)
4533 fatal_error ("could not open temporary response file %s",
4534 temp_file);
4536 status = writeargv (argv, f);
4538 if (status)
4539 fatal_error ("could not write to temporary response file %s",
4540 temp_file);
4542 status = fclose (f);
4544 if (EOF == status)
4545 fatal_error ("could not close temporary response file %s",
4546 temp_file);
4548 store_arg (at_argument, 0, 0);
4550 record_temp_file (temp_file, !save_temps_flag, !save_temps_flag);
4553 /* True if we should compile INFILE. */
4555 static bool
4556 compile_input_file_p (struct infile *infile)
4558 if ((!infile->language) || (infile->language[0] != '*'))
4559 if (infile->incompiler == input_file_compiler)
4560 return true;
4561 return false;
4564 /* Process each member of VEC as a spec. */
4566 static void
4567 do_specs_vec (vec<char_p> vec)
4569 unsigned ix;
4570 char *opt;
4572 FOR_EACH_VEC_ELT (vec, ix, opt)
4574 do_spec_1 (opt, 1, NULL);
4575 /* Make each accumulated option a separate argument. */
4576 do_spec_1 (" ", 0, NULL);
4580 /* Process the sub-spec SPEC as a portion of a larger spec.
4581 This is like processing a whole spec except that we do
4582 not initialize at the beginning and we do not supply a
4583 newline by default at the end.
4584 INSWITCH nonzero means don't process %-sequences in SPEC;
4585 in this case, % is treated as an ordinary character.
4586 This is used while substituting switches.
4587 INSWITCH nonzero also causes SPC not to terminate an argument.
4589 Value is zero unless a line was finished
4590 and the command on that line reported an error. */
4592 static int
4593 do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
4595 const char *p = spec;
4596 int c;
4597 int i;
4598 int value;
4600 /* If it's an empty string argument to a switch, keep it as is. */
4601 if (inswitch && !*p)
4602 arg_going = 1;
4604 while ((c = *p++))
4605 /* If substituting a switch, treat all chars like letters.
4606 Otherwise, NL, SPC, TAB and % are special. */
4607 switch (inswitch ? 'a' : c)
4609 case '\n':
4610 end_going_arg ();
4612 if (argbuf.length () > 0
4613 && !strcmp (argbuf.last (), "|"))
4615 /* A `|' before the newline means use a pipe here,
4616 but only if -pipe was specified.
4617 Otherwise, execute now and don't pass the `|' as an arg. */
4618 if (use_pipes)
4620 input_from_pipe = 1;
4621 break;
4623 else
4624 argbuf.pop ();
4627 set_collect_gcc_options ();
4629 if (argbuf.length () > 0)
4631 value = execute ();
4632 if (value)
4633 return value;
4635 /* Reinitialize for a new command, and for a new argument. */
4636 clear_args ();
4637 arg_going = 0;
4638 delete_this_arg = 0;
4639 this_is_output_file = 0;
4640 this_is_library_file = 0;
4641 this_is_linker_script = 0;
4642 input_from_pipe = 0;
4643 break;
4645 case '|':
4646 end_going_arg ();
4648 /* Use pipe */
4649 obstack_1grow (&obstack, c);
4650 arg_going = 1;
4651 break;
4653 case '\t':
4654 case ' ':
4655 end_going_arg ();
4657 /* Reinitialize for a new argument. */
4658 delete_this_arg = 0;
4659 this_is_output_file = 0;
4660 this_is_library_file = 0;
4661 this_is_linker_script = 0;
4662 break;
4664 case '%':
4665 switch (c = *p++)
4667 case 0:
4668 fatal_error ("spec %qs invalid", spec);
4670 case 'b':
4671 if (save_temps_length)
4672 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4673 else
4674 obstack_grow (&obstack, input_basename, basename_length);
4675 if (compare_debug < 0)
4676 obstack_grow (&obstack, ".gk", 3);
4677 arg_going = 1;
4678 break;
4680 case 'B':
4681 if (save_temps_length)
4682 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4683 else
4684 obstack_grow (&obstack, input_basename, suffixed_basename_length);
4685 if (compare_debug < 0)
4686 obstack_grow (&obstack, ".gk", 3);
4687 arg_going = 1;
4688 break;
4690 case 'd':
4691 delete_this_arg = 2;
4692 break;
4694 /* Dump out the directories specified with LIBRARY_PATH,
4695 followed by the absolute directories
4696 that we search for startfiles. */
4697 case 'D':
4699 struct spec_path_info info;
4701 info.option = "-L";
4702 info.append_len = 0;
4703 #ifdef RELATIVE_PREFIX_NOT_LINKDIR
4704 /* Used on systems which record the specified -L dirs
4705 and use them to search for dynamic linking.
4706 Relative directories always come from -B,
4707 and it is better not to use them for searching
4708 at run time. In particular, stage1 loses. */
4709 info.omit_relative = true;
4710 #else
4711 info.omit_relative = false;
4712 #endif
4713 info.separate_options = false;
4715 for_each_path (&startfile_prefixes, true, 0, spec_path, &info);
4717 break;
4719 case 'e':
4720 /* %efoo means report an error with `foo' as error message
4721 and don't execute any more commands for this file. */
4723 const char *q = p;
4724 char *buf;
4725 while (*p != 0 && *p != '\n')
4726 p++;
4727 buf = (char *) alloca (p - q + 1);
4728 strncpy (buf, q, p - q);
4729 buf[p - q] = 0;
4730 error ("%s", _(buf));
4731 return -1;
4733 break;
4734 case 'n':
4735 /* %nfoo means report a notice with `foo' on stderr. */
4737 const char *q = p;
4738 char *buf;
4739 while (*p != 0 && *p != '\n')
4740 p++;
4741 buf = (char *) alloca (p - q + 1);
4742 strncpy (buf, q, p - q);
4743 buf[p - q] = 0;
4744 inform (0, "%s", _(buf));
4745 if (*p)
4746 p++;
4748 break;
4750 case 'j':
4752 struct stat st;
4754 /* If save_temps_flag is off, and the HOST_BIT_BUCKET is
4755 defined, and it is not a directory, and it is
4756 writable, use it. Otherwise, treat this like any
4757 other temporary file. */
4759 if ((!save_temps_flag)
4760 && (stat (HOST_BIT_BUCKET, &st) == 0) && (!S_ISDIR (st.st_mode))
4761 && (access (HOST_BIT_BUCKET, W_OK) == 0))
4763 obstack_grow (&obstack, HOST_BIT_BUCKET,
4764 strlen (HOST_BIT_BUCKET));
4765 delete_this_arg = 0;
4766 arg_going = 1;
4767 break;
4770 goto create_temp_file;
4771 case '|':
4772 if (use_pipes)
4774 obstack_1grow (&obstack, '-');
4775 delete_this_arg = 0;
4776 arg_going = 1;
4778 /* consume suffix */
4779 while (*p == '.' || ISALNUM ((unsigned char) *p))
4780 p++;
4781 if (p[0] == '%' && p[1] == 'O')
4782 p += 2;
4784 break;
4786 goto create_temp_file;
4787 case 'm':
4788 if (use_pipes)
4790 /* consume suffix */
4791 while (*p == '.' || ISALNUM ((unsigned char) *p))
4792 p++;
4793 if (p[0] == '%' && p[1] == 'O')
4794 p += 2;
4796 break;
4798 goto create_temp_file;
4799 case 'g':
4800 case 'u':
4801 case 'U':
4802 create_temp_file:
4804 struct temp_name *t;
4805 int suffix_length;
4806 const char *suffix = p;
4807 char *saved_suffix = NULL;
4809 while (*p == '.' || ISALNUM ((unsigned char) *p))
4810 p++;
4811 suffix_length = p - suffix;
4812 if (p[0] == '%' && p[1] == 'O')
4814 p += 2;
4815 /* We don't support extra suffix characters after %O. */
4816 if (*p == '.' || ISALNUM ((unsigned char) *p))
4817 fatal_error ("spec %qs has invalid %<%%0%c%>", spec, *p);
4818 if (suffix_length == 0)
4819 suffix = TARGET_OBJECT_SUFFIX;
4820 else
4822 saved_suffix
4823 = XNEWVEC (char, suffix_length
4824 + strlen (TARGET_OBJECT_SUFFIX));
4825 strncpy (saved_suffix, suffix, suffix_length);
4826 strcpy (saved_suffix + suffix_length,
4827 TARGET_OBJECT_SUFFIX);
4829 suffix_length += strlen (TARGET_OBJECT_SUFFIX);
4832 if (compare_debug < 0)
4834 suffix = concat (".gk", suffix, NULL);
4835 suffix_length += 3;
4838 /* If -save-temps=obj and -o were specified, use that for the
4839 temp file. */
4840 if (save_temps_length)
4842 char *tmp;
4843 temp_filename_length
4844 = save_temps_length + suffix_length + 1;
4845 tmp = (char *) alloca (temp_filename_length);
4846 memcpy (tmp, save_temps_prefix, save_temps_length);
4847 memcpy (tmp + save_temps_length, suffix, suffix_length);
4848 tmp[save_temps_length + suffix_length] = '\0';
4849 temp_filename = save_string (tmp, save_temps_length
4850 + suffix_length);
4851 obstack_grow (&obstack, temp_filename,
4852 temp_filename_length);
4853 arg_going = 1;
4854 delete_this_arg = 0;
4855 break;
4858 /* If the gcc_input_filename has the same suffix specified
4859 for the %g, %u, or %U, and -save-temps is specified,
4860 we could end up using that file as an intermediate
4861 thus clobbering the user's source file (.e.g.,
4862 gcc -save-temps foo.s would clobber foo.s with the
4863 output of cpp0). So check for this condition and
4864 generate a temp file as the intermediate. */
4866 if (save_temps_flag)
4868 char *tmp;
4869 temp_filename_length = basename_length + suffix_length + 1;
4870 tmp = (char *) alloca (temp_filename_length);
4871 memcpy (tmp, input_basename, basename_length);
4872 memcpy (tmp + basename_length, suffix, suffix_length);
4873 tmp[basename_length + suffix_length] = '\0';
4874 temp_filename = tmp;
4876 if (filename_cmp (temp_filename, gcc_input_filename) != 0)
4878 #ifndef HOST_LACKS_INODE_NUMBERS
4879 struct stat st_temp;
4881 /* Note, set_input() resets input_stat_set to 0. */
4882 if (input_stat_set == 0)
4884 input_stat_set = stat (gcc_input_filename,
4885 &input_stat);
4886 if (input_stat_set >= 0)
4887 input_stat_set = 1;
4890 /* If we have the stat for the gcc_input_filename
4891 and we can do the stat for the temp_filename
4892 then the they could still refer to the same
4893 file if st_dev/st_ino's are the same. */
4894 if (input_stat_set != 1
4895 || stat (temp_filename, &st_temp) < 0
4896 || input_stat.st_dev != st_temp.st_dev
4897 || input_stat.st_ino != st_temp.st_ino)
4898 #else
4899 /* Just compare canonical pathnames. */
4900 char* input_realname = lrealpath (gcc_input_filename);
4901 char* temp_realname = lrealpath (temp_filename);
4902 bool files_differ = filename_cmp (input_realname, temp_realname);
4903 free (input_realname);
4904 free (temp_realname);
4905 if (files_differ)
4906 #endif
4908 temp_filename = save_string (temp_filename,
4909 temp_filename_length + 1);
4910 obstack_grow (&obstack, temp_filename,
4911 temp_filename_length);
4912 arg_going = 1;
4913 delete_this_arg = 0;
4914 break;
4919 /* See if we already have an association of %g/%u/%U and
4920 suffix. */
4921 for (t = temp_names; t; t = t->next)
4922 if (t->length == suffix_length
4923 && strncmp (t->suffix, suffix, suffix_length) == 0
4924 && t->unique == (c == 'u' || c == 'U' || c == 'j'))
4925 break;
4927 /* Make a new association if needed. %u and %j
4928 require one. */
4929 if (t == 0 || c == 'u' || c == 'j')
4931 if (t == 0)
4933 t = XNEW (struct temp_name);
4934 t->next = temp_names;
4935 temp_names = t;
4937 t->length = suffix_length;
4938 if (saved_suffix)
4940 t->suffix = saved_suffix;
4941 saved_suffix = NULL;
4943 else
4944 t->suffix = save_string (suffix, suffix_length);
4945 t->unique = (c == 'u' || c == 'U' || c == 'j');
4946 temp_filename = make_temp_file (t->suffix);
4947 temp_filename_length = strlen (temp_filename);
4948 t->filename = temp_filename;
4949 t->filename_length = temp_filename_length;
4952 free (saved_suffix);
4954 obstack_grow (&obstack, t->filename, t->filename_length);
4955 delete_this_arg = 1;
4957 arg_going = 1;
4958 break;
4960 case 'i':
4961 if (combine_inputs)
4963 if (at_file_supplied)
4965 /* We are going to expand `%i' to `@FILE', where FILE
4966 is a newly-created temporary filename. The filenames
4967 that would usually be expanded in place of %o will be
4968 written to the temporary file. */
4969 char **argv;
4970 int n_files = 0;
4971 int j;
4973 for (i = 0; i < n_infiles; i++)
4974 if (compile_input_file_p (&infiles[i]))
4975 n_files++;
4977 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
4979 /* Copy the strings over. */
4980 for (i = 0, j = 0; i < n_infiles; i++)
4981 if (compile_input_file_p (&infiles[i]))
4983 argv[j] = CONST_CAST (char *, infiles[i].name);
4984 infiles[i].compiled = true;
4985 j++;
4987 argv[j] = NULL;
4989 create_at_file (argv);
4991 else
4992 for (i = 0; (int) i < n_infiles; i++)
4993 if (compile_input_file_p (&infiles[i]))
4995 store_arg (infiles[i].name, 0, 0);
4996 infiles[i].compiled = true;
4999 else
5001 obstack_grow (&obstack, gcc_input_filename,
5002 input_filename_length);
5003 arg_going = 1;
5005 break;
5007 case 'I':
5009 struct spec_path_info info;
5011 if (multilib_dir)
5013 do_spec_1 ("-imultilib", 1, NULL);
5014 /* Make this a separate argument. */
5015 do_spec_1 (" ", 0, NULL);
5016 do_spec_1 (multilib_dir, 1, NULL);
5017 do_spec_1 (" ", 0, NULL);
5020 if (multiarch_dir)
5022 do_spec_1 ("-imultiarch", 1, NULL);
5023 /* Make this a separate argument. */
5024 do_spec_1 (" ", 0, NULL);
5025 do_spec_1 (multiarch_dir, 1, NULL);
5026 do_spec_1 (" ", 0, NULL);
5029 if (gcc_exec_prefix)
5031 do_spec_1 ("-iprefix", 1, NULL);
5032 /* Make this a separate argument. */
5033 do_spec_1 (" ", 0, NULL);
5034 do_spec_1 (gcc_exec_prefix, 1, NULL);
5035 do_spec_1 (" ", 0, NULL);
5038 if (target_system_root_changed ||
5039 (target_system_root && target_sysroot_hdrs_suffix))
5041 do_spec_1 ("-isysroot", 1, NULL);
5042 /* Make this a separate argument. */
5043 do_spec_1 (" ", 0, NULL);
5044 do_spec_1 (target_system_root, 1, NULL);
5045 if (target_sysroot_hdrs_suffix)
5046 do_spec_1 (target_sysroot_hdrs_suffix, 1, NULL);
5047 do_spec_1 (" ", 0, NULL);
5050 info.option = "-isystem";
5051 info.append = "include";
5052 info.append_len = strlen (info.append);
5053 info.omit_relative = false;
5054 info.separate_options = true;
5056 for_each_path (&include_prefixes, false, info.append_len,
5057 spec_path, &info);
5059 info.append = "include-fixed";
5060 if (*sysroot_hdrs_suffix_spec)
5061 info.append = concat (info.append, dir_separator_str,
5062 multilib_dir, NULL);
5063 info.append_len = strlen (info.append);
5064 for_each_path (&include_prefixes, false, info.append_len,
5065 spec_path, &info);
5067 break;
5069 case 'o':
5071 int max = n_infiles;
5072 max += lang_specific_extra_outfiles;
5074 if (HAVE_GNU_LD && at_file_supplied)
5076 /* We are going to expand `%o' to `@FILE', where FILE
5077 is a newly-created temporary filename. The filenames
5078 that would usually be expanded in place of %o will be
5079 written to the temporary file. */
5081 char **argv;
5082 int n_files, j;
5084 /* Convert OUTFILES into a form suitable for writeargv. */
5086 /* Determine how many are non-NULL. */
5087 for (n_files = 0, i = 0; i < max; i++)
5088 n_files += outfiles[i] != NULL;
5090 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
5092 /* Copy the strings over. */
5093 for (i = 0, j = 0; i < max; i++)
5094 if (outfiles[i])
5096 argv[j] = CONST_CAST (char *, outfiles[i]);
5097 j++;
5099 argv[j] = NULL;
5101 create_at_file (argv);
5103 else
5104 for (i = 0; i < max; i++)
5105 if (outfiles[i])
5106 store_arg (outfiles[i], 0, 0);
5107 break;
5110 case 'O':
5111 obstack_grow (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
5112 arg_going = 1;
5113 break;
5115 case 's':
5116 this_is_library_file = 1;
5117 break;
5119 case 'T':
5120 this_is_linker_script = 1;
5121 break;
5123 case 'V':
5124 outfiles[input_file_number] = NULL;
5125 break;
5127 case 'w':
5128 this_is_output_file = 1;
5129 break;
5131 case 'W':
5133 unsigned int cur_index = argbuf.length ();
5134 /* Handle the {...} following the %W. */
5135 if (*p != '{')
5136 fatal_error ("spec %qs has invalid %<%%W%c%>", spec, *p);
5137 p = handle_braces (p + 1);
5138 if (p == 0)
5139 return -1;
5140 end_going_arg ();
5141 /* If any args were output, mark the last one for deletion
5142 on failure. */
5143 if (argbuf.length () != cur_index)
5144 record_temp_file (argbuf.last (), 0, 1);
5145 break;
5148 /* %x{OPTION} records OPTION for %X to output. */
5149 case 'x':
5151 const char *p1 = p;
5152 char *string;
5153 char *opt;
5154 unsigned ix;
5156 /* Skip past the option value and make a copy. */
5157 if (*p != '{')
5158 fatal_error ("spec %qs has invalid %<%%x%c%>", spec, *p);
5159 while (*p++ != '}')
5161 string = save_string (p1 + 1, p - p1 - 2);
5163 /* See if we already recorded this option. */
5164 FOR_EACH_VEC_ELT (linker_options, ix, opt)
5165 if (! strcmp (string, opt))
5167 free (string);
5168 return 0;
5171 /* This option is new; add it. */
5172 add_linker_option (string, strlen (string));
5173 free (string);
5175 break;
5177 /* Dump out the options accumulated previously using %x. */
5178 case 'X':
5179 do_specs_vec (linker_options);
5180 break;
5182 /* Dump out the options accumulated previously using -Wa,. */
5183 case 'Y':
5184 do_specs_vec (assembler_options);
5185 break;
5187 /* Dump out the options accumulated previously using -Wp,. */
5188 case 'Z':
5189 do_specs_vec (preprocessor_options);
5190 break;
5192 /* Here are digits and numbers that just process
5193 a certain constant string as a spec. */
5195 case '1':
5196 value = do_spec_1 (cc1_spec, 0, NULL);
5197 if (value != 0)
5198 return value;
5199 break;
5201 case '2':
5202 value = do_spec_1 (cc1plus_spec, 0, NULL);
5203 if (value != 0)
5204 return value;
5205 break;
5207 case 'a':
5208 value = do_spec_1 (asm_spec, 0, NULL);
5209 if (value != 0)
5210 return value;
5211 break;
5213 case 'A':
5214 value = do_spec_1 (asm_final_spec, 0, NULL);
5215 if (value != 0)
5216 return value;
5217 break;
5219 case 'C':
5221 const char *const spec
5222 = (input_file_compiler->cpp_spec
5223 ? input_file_compiler->cpp_spec
5224 : cpp_spec);
5225 value = do_spec_1 (spec, 0, NULL);
5226 if (value != 0)
5227 return value;
5229 break;
5231 case 'E':
5232 value = do_spec_1 (endfile_spec, 0, NULL);
5233 if (value != 0)
5234 return value;
5235 break;
5237 case 'l':
5238 value = do_spec_1 (link_spec, 0, NULL);
5239 if (value != 0)
5240 return value;
5241 break;
5243 case 'L':
5244 value = do_spec_1 (lib_spec, 0, NULL);
5245 if (value != 0)
5246 return value;
5247 break;
5249 case 'M':
5250 if (multilib_os_dir == NULL)
5251 obstack_1grow (&obstack, '.');
5252 else
5253 obstack_grow (&obstack, multilib_os_dir,
5254 strlen (multilib_os_dir));
5255 break;
5257 case 'G':
5258 value = do_spec_1 (libgcc_spec, 0, NULL);
5259 if (value != 0)
5260 return value;
5261 break;
5263 case 'R':
5264 /* We assume there is a directory
5265 separator at the end of this string. */
5266 if (target_system_root)
5268 obstack_grow (&obstack, target_system_root,
5269 strlen (target_system_root));
5270 if (target_sysroot_suffix)
5271 obstack_grow (&obstack, target_sysroot_suffix,
5272 strlen (target_sysroot_suffix));
5274 break;
5276 case 'S':
5277 value = do_spec_1 (startfile_spec, 0, NULL);
5278 if (value != 0)
5279 return value;
5280 break;
5282 /* Here we define characters other than letters and digits. */
5284 case '{':
5285 p = handle_braces (p);
5286 if (p == 0)
5287 return -1;
5288 break;
5290 case ':':
5291 p = handle_spec_function (p);
5292 if (p == 0)
5293 return -1;
5294 break;
5296 case '%':
5297 obstack_1grow (&obstack, '%');
5298 break;
5300 case '.':
5302 unsigned len = 0;
5304 while (p[len] && p[len] != ' ' && p[len] != '%')
5305 len++;
5306 suffix_subst = save_string (p - 1, len + 1);
5307 p += len;
5309 break;
5311 /* Henceforth ignore the option(s) matching the pattern
5312 after the %<. */
5313 case '<':
5314 case '>':
5316 unsigned len = 0;
5317 int have_wildcard = 0;
5318 int i;
5319 int switch_option;
5321 if (c == '>')
5322 switch_option = SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC;
5323 else
5324 switch_option = SWITCH_IGNORE;
5326 while (p[len] && p[len] != ' ' && p[len] != '\t')
5327 len++;
5329 if (p[len-1] == '*')
5330 have_wildcard = 1;
5332 for (i = 0; i < n_switches; i++)
5333 if (!strncmp (switches[i].part1, p, len - have_wildcard)
5334 && (have_wildcard || switches[i].part1[len] == '\0'))
5336 switches[i].live_cond |= switch_option;
5337 /* User switch be validated from validate_all_switches.
5338 when the definition is seen from the spec file.
5339 If not defined anywhere, will be rejected. */
5340 if (switches[i].known)
5341 switches[i].validated = true;
5344 p += len;
5346 break;
5348 case '*':
5349 if (soft_matched_part)
5351 if (soft_matched_part[0])
5352 do_spec_1 (soft_matched_part, 1, NULL);
5353 do_spec_1 (" ", 0, NULL);
5355 else
5356 /* Catch the case where a spec string contains something like
5357 '%{foo:%*}'. i.e. there is no * in the pattern on the left
5358 hand side of the :. */
5359 error ("spec failure: %<%%*%> has not been initialized by pattern match");
5360 break;
5362 /* Process a string found as the value of a spec given by name.
5363 This feature allows individual machine descriptions
5364 to add and use their own specs. */
5365 case '(':
5367 const char *name = p;
5368 struct spec_list *sl;
5369 int len;
5371 /* The string after the S/P is the name of a spec that is to be
5372 processed. */
5373 while (*p && *p != ')')
5374 p++;
5376 /* See if it's in the list. */
5377 for (len = p - name, sl = specs; sl; sl = sl->next)
5378 if (sl->name_len == len && !strncmp (sl->name, name, len))
5380 name = *(sl->ptr_spec);
5381 #ifdef DEBUG_SPECS
5382 fnotice (stderr, "Processing spec (%s), which is '%s'\n",
5383 sl->name, name);
5384 #endif
5385 break;
5388 if (sl)
5390 value = do_spec_1 (name, 0, NULL);
5391 if (value != 0)
5392 return value;
5395 /* Discard the closing paren. */
5396 if (*p)
5397 p++;
5399 break;
5401 default:
5402 error ("spec failure: unrecognized spec option %qc", c);
5403 break;
5405 break;
5407 case '\\':
5408 /* Backslash: treat next character as ordinary. */
5409 c = *p++;
5411 /* Fall through. */
5412 default:
5413 /* Ordinary character: put it into the current argument. */
5414 obstack_1grow (&obstack, c);
5415 arg_going = 1;
5418 /* End of string. If we are processing a spec function, we need to
5419 end any pending argument. */
5420 if (processing_spec_function)
5421 end_going_arg ();
5423 return 0;
5426 /* Look up a spec function. */
5428 static const struct spec_function *
5429 lookup_spec_function (const char *name)
5431 const struct spec_function *sf;
5433 for (sf = static_spec_functions; sf->name != NULL; sf++)
5434 if (strcmp (sf->name, name) == 0)
5435 return sf;
5437 return NULL;
5440 /* Evaluate a spec function. */
5442 static const char *
5443 eval_spec_function (const char *func, const char *args)
5445 const struct spec_function *sf;
5446 const char *funcval;
5448 /* Saved spec processing context. */
5449 vec<const_char_p> save_argbuf;
5451 int save_arg_going;
5452 int save_delete_this_arg;
5453 int save_this_is_output_file;
5454 int save_this_is_library_file;
5455 int save_input_from_pipe;
5456 int save_this_is_linker_script;
5457 const char *save_suffix_subst;
5459 int save_growing_size;
5460 void *save_growing_value;
5462 sf = lookup_spec_function (func);
5463 if (sf == NULL)
5464 fatal_error ("unknown spec function %qs", func);
5466 /* Push the spec processing context. */
5467 save_argbuf = argbuf;
5469 save_arg_going = arg_going;
5470 save_delete_this_arg = delete_this_arg;
5471 save_this_is_output_file = this_is_output_file;
5472 save_this_is_library_file = this_is_library_file;
5473 save_this_is_linker_script = this_is_linker_script;
5474 save_input_from_pipe = input_from_pipe;
5475 save_suffix_subst = suffix_subst;
5477 /* If we have some object growing now, finalize it so the args and function
5478 eval proceed from a cleared context. This is needed to prevent the first
5479 constructed arg from mistakenly including the growing value. We'll push
5480 this value back on the obstack once the function evaluation is done, to
5481 restore a consistent processing context for our caller. This is fine as
5482 the address of growing objects isn't guaranteed to remain stable until
5483 they are finalized, and we expect this situation to be rare enough for
5484 the extra copy not to be an issue. */
5485 save_growing_size = obstack_object_size (&obstack);
5486 if (save_growing_size > 0)
5487 save_growing_value = obstack_finish (&obstack);
5489 /* Create a new spec processing context, and build the function
5490 arguments. */
5492 alloc_args ();
5493 if (do_spec_2 (args) < 0)
5494 fatal_error ("error in args to spec function %qs", func);
5496 /* argbuf_index is an index for the next argument to be inserted, and
5497 so contains the count of the args already inserted. */
5499 funcval = (*sf->func) (argbuf.length (),
5500 argbuf.address ());
5502 /* Pop the spec processing context. */
5503 argbuf.release ();
5504 argbuf = save_argbuf;
5506 arg_going = save_arg_going;
5507 delete_this_arg = save_delete_this_arg;
5508 this_is_output_file = save_this_is_output_file;
5509 this_is_library_file = save_this_is_library_file;
5510 this_is_linker_script = save_this_is_linker_script;
5511 input_from_pipe = save_input_from_pipe;
5512 suffix_subst = save_suffix_subst;
5514 if (save_growing_size > 0)
5515 obstack_grow (&obstack, save_growing_value, save_growing_size);
5517 return funcval;
5520 /* Handle a spec function call of the form:
5522 %:function(args)
5524 ARGS is processed as a spec in a separate context and split into an
5525 argument vector in the normal fashion. The function returns a string
5526 containing a spec which we then process in the caller's context, or
5527 NULL if no processing is required. */
5529 static const char *
5530 handle_spec_function (const char *p)
5532 char *func, *args;
5533 const char *endp, *funcval;
5534 int count;
5536 processing_spec_function++;
5538 /* Get the function name. */
5539 for (endp = p; *endp != '\0'; endp++)
5541 if (*endp == '(') /* ) */
5542 break;
5543 /* Only allow [A-Za-z0-9], -, and _ in function names. */
5544 if (!ISALNUM (*endp) && !(*endp == '-' || *endp == '_'))
5545 fatal_error ("malformed spec function name");
5547 if (*endp != '(') /* ) */
5548 fatal_error ("no arguments for spec function");
5549 func = save_string (p, endp - p);
5550 p = ++endp;
5552 /* Get the arguments. */
5553 for (count = 0; *endp != '\0'; endp++)
5555 /* ( */
5556 if (*endp == ')')
5558 if (count == 0)
5559 break;
5560 count--;
5562 else if (*endp == '(') /* ) */
5563 count++;
5565 /* ( */
5566 if (*endp != ')')
5567 fatal_error ("malformed spec function arguments");
5568 args = save_string (p, endp - p);
5569 p = ++endp;
5571 /* p now points to just past the end of the spec function expression. */
5573 funcval = eval_spec_function (func, args);
5574 if (funcval != NULL && do_spec_1 (funcval, 0, NULL) < 0)
5575 p = NULL;
5577 free (func);
5578 free (args);
5580 processing_spec_function--;
5582 return p;
5585 /* Inline subroutine of handle_braces. Returns true if the current
5586 input suffix matches the atom bracketed by ATOM and END_ATOM. */
5587 static inline bool
5588 input_suffix_matches (const char *atom, const char *end_atom)
5590 return (input_suffix
5591 && !strncmp (input_suffix, atom, end_atom - atom)
5592 && input_suffix[end_atom - atom] == '\0');
5595 /* Subroutine of handle_braces. Returns true if the current
5596 input file's spec name matches the atom bracketed by ATOM and END_ATOM. */
5597 static bool
5598 input_spec_matches (const char *atom, const char *end_atom)
5600 return (input_file_compiler
5601 && input_file_compiler->suffix
5602 && input_file_compiler->suffix[0] != '\0'
5603 && !strncmp (input_file_compiler->suffix + 1, atom,
5604 end_atom - atom)
5605 && input_file_compiler->suffix[end_atom - atom + 1] == '\0');
5608 /* Subroutine of handle_braces. Returns true if a switch
5609 matching the atom bracketed by ATOM and END_ATOM appeared on the
5610 command line. */
5611 static bool
5612 switch_matches (const char *atom, const char *end_atom, int starred)
5614 int i;
5615 int len = end_atom - atom;
5616 int plen = starred ? len : -1;
5618 for (i = 0; i < n_switches; i++)
5619 if (!strncmp (switches[i].part1, atom, len)
5620 && (starred || switches[i].part1[len] == '\0')
5621 && check_live_switch (i, plen))
5622 return true;
5624 /* Check if a switch with separated form matching the atom.
5625 We check -D and -U switches. */
5626 else if (switches[i].args != 0)
5628 if ((*switches[i].part1 == 'D' || *switches[i].part1 == 'U')
5629 && *switches[i].part1 == atom[0])
5631 if (!strncmp (switches[i].args[0], &atom[1], len - 1)
5632 && (starred || (switches[i].part1[1] == '\0'
5633 && switches[i].args[0][len - 1] == '\0'))
5634 && check_live_switch (i, (starred ? 1 : -1)))
5635 return true;
5639 return false;
5642 /* Inline subroutine of handle_braces. Mark all of the switches which
5643 match ATOM (extends to END_ATOM; STARRED indicates whether there
5644 was a star after the atom) for later processing. */
5645 static inline void
5646 mark_matching_switches (const char *atom, const char *end_atom, int starred)
5648 int i;
5649 int len = end_atom - atom;
5650 int plen = starred ? len : -1;
5652 for (i = 0; i < n_switches; i++)
5653 if (!strncmp (switches[i].part1, atom, len)
5654 && (starred || switches[i].part1[len] == '\0')
5655 && check_live_switch (i, plen))
5656 switches[i].ordering = 1;
5659 /* Inline subroutine of handle_braces. Process all the currently
5660 marked switches through give_switch, and clear the marks. */
5661 static inline void
5662 process_marked_switches (void)
5664 int i;
5666 for (i = 0; i < n_switches; i++)
5667 if (switches[i].ordering == 1)
5669 switches[i].ordering = 0;
5670 give_switch (i, 0);
5674 /* Handle a %{ ... } construct. P points just inside the leading {.
5675 Returns a pointer one past the end of the brace block, or 0
5676 if we call do_spec_1 and that returns -1. */
5678 static const char *
5679 handle_braces (const char *p)
5681 const char *atom, *end_atom;
5682 const char *d_atom = NULL, *d_end_atom = NULL;
5683 const char *orig = p;
5685 bool a_is_suffix;
5686 bool a_is_spectype;
5687 bool a_is_starred;
5688 bool a_is_negated;
5689 bool a_matched;
5691 bool a_must_be_last = false;
5692 bool ordered_set = false;
5693 bool disjunct_set = false;
5694 bool disj_matched = false;
5695 bool disj_starred = true;
5696 bool n_way_choice = false;
5697 bool n_way_matched = false;
5699 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
5703 if (a_must_be_last)
5704 goto invalid;
5706 /* Scan one "atom" (S in the description above of %{}, possibly
5707 with '!', '.', '@', ',', or '*' modifiers). */
5708 a_matched = false;
5709 a_is_suffix = false;
5710 a_is_starred = false;
5711 a_is_negated = false;
5712 a_is_spectype = false;
5714 SKIP_WHITE();
5715 if (*p == '!')
5716 p++, a_is_negated = true;
5718 SKIP_WHITE();
5719 if (*p == '.')
5720 p++, a_is_suffix = true;
5721 else if (*p == ',')
5722 p++, a_is_spectype = true;
5724 atom = p;
5725 while (ISIDNUM(*p) || *p == '-' || *p == '+' || *p == '='
5726 || *p == ',' || *p == '.' || *p == '@')
5727 p++;
5728 end_atom = p;
5730 if (*p == '*')
5731 p++, a_is_starred = 1;
5733 SKIP_WHITE();
5734 switch (*p)
5736 case '&': case '}':
5737 /* Substitute the switch(es) indicated by the current atom. */
5738 ordered_set = true;
5739 if (disjunct_set || n_way_choice || a_is_negated || a_is_suffix
5740 || a_is_spectype || atom == end_atom)
5741 goto invalid;
5743 mark_matching_switches (atom, end_atom, a_is_starred);
5745 if (*p == '}')
5746 process_marked_switches ();
5747 break;
5749 case '|': case ':':
5750 /* Substitute some text if the current atom appears as a switch
5751 or suffix. */
5752 disjunct_set = true;
5753 if (ordered_set)
5754 goto invalid;
5756 if (atom == end_atom)
5758 if (!n_way_choice || disj_matched || *p == '|'
5759 || a_is_negated || a_is_suffix || a_is_spectype
5760 || a_is_starred)
5761 goto invalid;
5763 /* An empty term may appear as the last choice of an
5764 N-way choice set; it means "otherwise". */
5765 a_must_be_last = true;
5766 disj_matched = !n_way_matched;
5767 disj_starred = false;
5769 else
5771 if ((a_is_suffix || a_is_spectype) && a_is_starred)
5772 goto invalid;
5774 if (!a_is_starred)
5775 disj_starred = false;
5777 /* Don't bother testing this atom if we already have a
5778 match. */
5779 if (!disj_matched && !n_way_matched)
5781 if (a_is_suffix)
5782 a_matched = input_suffix_matches (atom, end_atom);
5783 else if (a_is_spectype)
5784 a_matched = input_spec_matches (atom, end_atom);
5785 else
5786 a_matched = switch_matches (atom, end_atom, a_is_starred);
5788 if (a_matched != a_is_negated)
5790 disj_matched = true;
5791 d_atom = atom;
5792 d_end_atom = end_atom;
5797 if (*p == ':')
5799 /* Found the body, that is, the text to substitute if the
5800 current disjunction matches. */
5801 p = process_brace_body (p + 1, d_atom, d_end_atom, disj_starred,
5802 disj_matched && !n_way_matched);
5803 if (p == 0)
5804 return 0;
5806 /* If we have an N-way choice, reset state for the next
5807 disjunction. */
5808 if (*p == ';')
5810 n_way_choice = true;
5811 n_way_matched |= disj_matched;
5812 disj_matched = false;
5813 disj_starred = true;
5814 d_atom = d_end_atom = NULL;
5817 break;
5819 default:
5820 goto invalid;
5823 while (*p++ != '}');
5825 return p;
5827 invalid:
5828 fatal_error ("braced spec %qs is invalid at %qc", orig, *p);
5830 #undef SKIP_WHITE
5833 /* Subroutine of handle_braces. Scan and process a brace substitution body
5834 (X in the description of %{} syntax). P points one past the colon;
5835 ATOM and END_ATOM bracket the first atom which was found to be true
5836 (present) in the current disjunction; STARRED indicates whether all
5837 the atoms in the current disjunction were starred (for syntax validation);
5838 MATCHED indicates whether the disjunction matched or not, and therefore
5839 whether or not the body is to be processed through do_spec_1 or just
5840 skipped. Returns a pointer to the closing } or ;, or 0 if do_spec_1
5841 returns -1. */
5843 static const char *
5844 process_brace_body (const char *p, const char *atom, const char *end_atom,
5845 int starred, int matched)
5847 const char *body, *end_body;
5848 unsigned int nesting_level;
5849 bool have_subst = false;
5851 /* Locate the closing } or ;, honoring nested braces.
5852 Trim trailing whitespace. */
5853 body = p;
5854 nesting_level = 1;
5855 for (;;)
5857 if (*p == '{')
5858 nesting_level++;
5859 else if (*p == '}')
5861 if (!--nesting_level)
5862 break;
5864 else if (*p == ';' && nesting_level == 1)
5865 break;
5866 else if (*p == '%' && p[1] == '*' && nesting_level == 1)
5867 have_subst = true;
5868 else if (*p == '\0')
5869 goto invalid;
5870 p++;
5873 end_body = p;
5874 while (end_body[-1] == ' ' || end_body[-1] == '\t')
5875 end_body--;
5877 if (have_subst && !starred)
5878 goto invalid;
5880 if (matched)
5882 /* Copy the substitution body to permanent storage and execute it.
5883 If have_subst is false, this is a simple matter of running the
5884 body through do_spec_1... */
5885 char *string = save_string (body, end_body - body);
5886 if (!have_subst)
5888 if (do_spec_1 (string, 0, NULL) < 0)
5889 return 0;
5891 else
5893 /* ... but if have_subst is true, we have to process the
5894 body once for each matching switch, with %* set to the
5895 variant part of the switch. */
5896 unsigned int hard_match_len = end_atom - atom;
5897 int i;
5899 for (i = 0; i < n_switches; i++)
5900 if (!strncmp (switches[i].part1, atom, hard_match_len)
5901 && check_live_switch (i, hard_match_len))
5903 if (do_spec_1 (string, 0,
5904 &switches[i].part1[hard_match_len]) < 0)
5905 return 0;
5906 /* Pass any arguments this switch has. */
5907 give_switch (i, 1);
5908 suffix_subst = NULL;
5913 return p;
5915 invalid:
5916 fatal_error ("braced spec body %qs is invalid", body);
5919 /* Return 0 iff switch number SWITCHNUM is obsoleted by a later switch
5920 on the command line. PREFIX_LENGTH is the length of XXX in an {XXX*}
5921 spec, or -1 if either exact match or %* is used.
5923 A -O switch is obsoleted by a later -O switch. A -f, -g, -m, or -W switch
5924 whose value does not begin with "no-" is obsoleted by the same value
5925 with the "no-", similarly for a switch with the "no-" prefix. */
5927 static int
5928 check_live_switch (int switchnum, int prefix_length)
5930 const char *name = switches[switchnum].part1;
5931 int i;
5933 /* If we already processed this switch and determined if it was
5934 live or not, return our past determination. */
5935 if (switches[switchnum].live_cond != 0)
5936 return ((switches[switchnum].live_cond & SWITCH_LIVE) != 0
5937 && (switches[switchnum].live_cond & SWITCH_FALSE) == 0
5938 && (switches[switchnum].live_cond & SWITCH_IGNORE_PERMANENTLY)
5939 == 0);
5941 /* In the common case of {<at-most-one-letter>*}, a negating
5942 switch would always match, so ignore that case. We will just
5943 send the conflicting switches to the compiler phase. */
5944 if (prefix_length >= 0 && prefix_length <= 1)
5945 return 1;
5947 /* Now search for duplicate in a manner that depends on the name. */
5948 switch (*name)
5950 case 'O':
5951 for (i = switchnum + 1; i < n_switches; i++)
5952 if (switches[i].part1[0] == 'O')
5954 switches[switchnum].validated = true;
5955 switches[switchnum].live_cond = SWITCH_FALSE;
5956 return 0;
5958 break;
5960 case 'W': case 'f': case 'm': case 'g':
5961 if (! strncmp (name + 1, "no-", 3))
5963 /* We have Xno-YYY, search for XYYY. */
5964 for (i = switchnum + 1; i < n_switches; i++)
5965 if (switches[i].part1[0] == name[0]
5966 && ! strcmp (&switches[i].part1[1], &name[4]))
5968 /* --specs are validated with the validate_switches mechanism. */
5969 if (switches[switchnum].known)
5970 switches[switchnum].validated = true;
5971 switches[switchnum].live_cond = SWITCH_FALSE;
5972 return 0;
5975 else
5977 /* We have XYYY, search for Xno-YYY. */
5978 for (i = switchnum + 1; i < n_switches; i++)
5979 if (switches[i].part1[0] == name[0]
5980 && switches[i].part1[1] == 'n'
5981 && switches[i].part1[2] == 'o'
5982 && switches[i].part1[3] == '-'
5983 && !strcmp (&switches[i].part1[4], &name[1]))
5985 /* --specs are validated with the validate_switches mechanism. */
5986 if (switches[switchnum].known)
5987 switches[switchnum].validated = true;
5988 switches[switchnum].live_cond = SWITCH_FALSE;
5989 return 0;
5992 break;
5995 /* Otherwise the switch is live. */
5996 switches[switchnum].live_cond |= SWITCH_LIVE;
5997 return 1;
6000 /* Pass a switch to the current accumulating command
6001 in the same form that we received it.
6002 SWITCHNUM identifies the switch; it is an index into
6003 the vector of switches gcc received, which is `switches'.
6004 This cannot fail since it never finishes a command line.
6006 If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument. */
6008 static void
6009 give_switch (int switchnum, int omit_first_word)
6011 if ((switches[switchnum].live_cond & SWITCH_IGNORE) != 0)
6012 return;
6014 if (!omit_first_word)
6016 do_spec_1 ("-", 0, NULL);
6017 do_spec_1 (switches[switchnum].part1, 1, NULL);
6020 if (switches[switchnum].args != 0)
6022 const char **p;
6023 for (p = switches[switchnum].args; *p; p++)
6025 const char *arg = *p;
6027 do_spec_1 (" ", 0, NULL);
6028 if (suffix_subst)
6030 unsigned length = strlen (arg);
6031 int dot = 0;
6033 while (length-- && !IS_DIR_SEPARATOR (arg[length]))
6034 if (arg[length] == '.')
6036 (CONST_CAST(char *, arg))[length] = 0;
6037 dot = 1;
6038 break;
6040 do_spec_1 (arg, 1, NULL);
6041 if (dot)
6042 (CONST_CAST(char *, arg))[length] = '.';
6043 do_spec_1 (suffix_subst, 1, NULL);
6045 else
6046 do_spec_1 (arg, 1, NULL);
6050 do_spec_1 (" ", 0, NULL);
6051 switches[switchnum].validated = true;
6054 /* Search for a file named NAME trying various prefixes including the
6055 user's -B prefix and some standard ones.
6056 Return the absolute file name found. If nothing is found, return NAME. */
6058 static const char *
6059 find_file (const char *name)
6061 char *newname = find_a_file (&startfile_prefixes, name, R_OK, true);
6062 return newname ? newname : name;
6065 /* Determine whether a directory exists. If LINKER, return 0 for
6066 certain fixed names not needed by the linker. */
6068 static int
6069 is_directory (const char *path1, bool linker)
6071 int len1;
6072 char *path;
6073 char *cp;
6074 struct stat st;
6076 /* Ensure the string ends with "/.". The resulting path will be a
6077 directory even if the given path is a symbolic link. */
6078 len1 = strlen (path1);
6079 path = (char *) alloca (3 + len1);
6080 memcpy (path, path1, len1);
6081 cp = path + len1;
6082 if (!IS_DIR_SEPARATOR (cp[-1]))
6083 *cp++ = DIR_SEPARATOR;
6084 *cp++ = '.';
6085 *cp = '\0';
6087 /* Exclude directories that the linker is known to search. */
6088 if (linker
6089 && IS_DIR_SEPARATOR (path[0])
6090 && ((cp - path == 6
6091 && filename_ncmp (path + 1, "lib", 3) == 0)
6092 || (cp - path == 10
6093 && filename_ncmp (path + 1, "usr", 3) == 0
6094 && IS_DIR_SEPARATOR (path[4])
6095 && filename_ncmp (path + 5, "lib", 3) == 0)))
6096 return 0;
6098 return (stat (path, &st) >= 0 && S_ISDIR (st.st_mode));
6101 /* Set up the various global variables to indicate that we're processing
6102 the input file named FILENAME. */
6104 void
6105 set_input (const char *filename)
6107 const char *p;
6109 gcc_input_filename = filename;
6110 input_filename_length = strlen (gcc_input_filename);
6111 input_basename = lbasename (gcc_input_filename);
6113 /* Find a suffix starting with the last period,
6114 and set basename_length to exclude that suffix. */
6115 basename_length = strlen (input_basename);
6116 suffixed_basename_length = basename_length;
6117 p = input_basename + basename_length;
6118 while (p != input_basename && *p != '.')
6119 --p;
6120 if (*p == '.' && p != input_basename)
6122 basename_length = p - input_basename;
6123 input_suffix = p + 1;
6125 else
6126 input_suffix = "";
6128 /* If a spec for 'g', 'u', or 'U' is seen with -save-temps then
6129 we will need to do a stat on the gcc_input_filename. The
6130 INPUT_STAT_SET signals that the stat is needed. */
6131 input_stat_set = 0;
6134 /* On fatal signals, delete all the temporary files. */
6136 static void
6137 fatal_signal (int signum)
6139 signal (signum, SIG_DFL);
6140 delete_failure_queue ();
6141 delete_temp_files ();
6142 /* Get the same signal again, this time not handled,
6143 so its normal effect occurs. */
6144 kill (getpid (), signum);
6147 /* Compare the contents of the two files named CMPFILE[0] and
6148 CMPFILE[1]. Return zero if they're identical, nonzero
6149 otherwise. */
6151 static int
6152 compare_files (char *cmpfile[])
6154 int ret = 0;
6155 FILE *temp[2] = { NULL, NULL };
6156 int i;
6158 #if HAVE_MMAP_FILE
6160 size_t length[2];
6161 void *map[2] = { NULL, NULL };
6163 for (i = 0; i < 2; i++)
6165 struct stat st;
6167 if (stat (cmpfile[i], &st) < 0 || !S_ISREG (st.st_mode))
6169 error ("%s: could not determine length of compare-debug file %s",
6170 gcc_input_filename, cmpfile[i]);
6171 ret = 1;
6172 break;
6175 length[i] = st.st_size;
6178 if (!ret && length[0] != length[1])
6180 error ("%s: -fcompare-debug failure (length)", gcc_input_filename);
6181 ret = 1;
6184 if (!ret)
6185 for (i = 0; i < 2; i++)
6187 int fd = open (cmpfile[i], O_RDONLY);
6188 if (fd < 0)
6190 error ("%s: could not open compare-debug file %s",
6191 gcc_input_filename, cmpfile[i]);
6192 ret = 1;
6193 break;
6196 map[i] = mmap (NULL, length[i], PROT_READ, MAP_PRIVATE, fd, 0);
6197 close (fd);
6199 if (map[i] == (void *) MAP_FAILED)
6201 ret = -1;
6202 break;
6206 if (!ret)
6208 if (memcmp (map[0], map[1], length[0]) != 0)
6210 error ("%s: -fcompare-debug failure", gcc_input_filename);
6211 ret = 1;
6215 for (i = 0; i < 2; i++)
6216 if (map[i])
6217 munmap ((caddr_t) map[i], length[i]);
6219 if (ret >= 0)
6220 return ret;
6222 ret = 0;
6224 #endif
6226 for (i = 0; i < 2; i++)
6228 temp[i] = fopen (cmpfile[i], "r");
6229 if (!temp[i])
6231 error ("%s: could not open compare-debug file %s",
6232 gcc_input_filename, cmpfile[i]);
6233 ret = 1;
6234 break;
6238 if (!ret && temp[0] && temp[1])
6239 for (;;)
6241 int c0, c1;
6242 c0 = fgetc (temp[0]);
6243 c1 = fgetc (temp[1]);
6245 if (c0 != c1)
6247 error ("%s: -fcompare-debug failure",
6248 gcc_input_filename);
6249 ret = 1;
6250 break;
6253 if (c0 == EOF)
6254 break;
6257 for (i = 1; i >= 0; i--)
6259 if (temp[i])
6260 fclose (temp[i]);
6263 return ret;
6266 /* Set func_reorder_linker_plugin_file_spec and func_reorder_linker_plugin_opt
6267 here. This is the linker plugin to do global function reordering and is
6268 enabled with -freorder-functions=*. */
6270 static void
6271 set_func_reorder_linker_plugin_spec (void)
6273 int i;
6274 const char *plugin_opt_none = "group=none";
6275 const char *plugin_opt_callgraph = "group=callgraph";
6277 /* Find the linker plugin that does function ordering. */
6278 func_reorder_linker_plugin_file_spec = find_a_file (&exec_prefixes,
6279 FRPLUGINSONAME, R_OK, false);
6281 if (!func_reorder_linker_plugin_file_spec)
6282 fatal_error ("-freorder-functions=*, but "
6283 FRPLUGINSONAME " file not found");
6285 func_reorder_linker_plugin_opt = plugin_opt_none;
6287 /* Set linker plugin options here. Option ordering is also checked here.
6288 -fno-reorder-functions or -freorder-functions should disable any
6289 previous -freorder-functions=*. */
6290 for (i = 0; (int) i < n_switches; i++)
6292 /* Check for match with "-freorder-functions=callgraph". */
6293 if (func_reorder_linker_plugin_opt != plugin_opt_callgraph
6294 && !strcmp (switches[i].part1, "freorder-functions=callgraph"))
6296 func_reorder_linker_plugin_opt = plugin_opt_callgraph;
6297 continue;
6299 /* Set option to none if it matches -fno-reorder-functions
6300 or -freorder-functions */
6301 if (func_reorder_linker_plugin_opt != plugin_opt_none
6302 && (!strcmp (switches[i].part1, "fno-reorder-functions")
6303 || !strcmp (switches[i].part1, "freorder-functions")))
6305 func_reorder_linker_plugin_opt = plugin_opt_none;
6306 continue;
6311 extern int main (int, char **);
6314 main (int argc, char **argv)
6316 size_t i;
6317 int value;
6318 int linker_was_run = 0;
6319 int lang_n_infiles = 0;
6320 int num_linker_inputs = 0;
6321 char *explicit_link_files;
6322 char *specs_file;
6323 char *lto_wrapper_file;
6324 const char *p;
6325 struct user_specs *uptr;
6326 char **old_argv = argv;
6327 struct cl_decoded_option *decoded_options;
6328 unsigned int decoded_options_count;
6330 p = argv[0] + strlen (argv[0]);
6331 while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
6332 --p;
6333 progname = p;
6335 xmalloc_set_program_name (progname);
6337 expandargv (&argc, &argv);
6339 /* Determine if any expansions were made. */
6340 if (argv != old_argv)
6341 at_file_supplied = true;
6343 /* Register the language-independent parameters. */
6344 global_init_params ();
6345 finish_params ();
6347 init_options_struct (&global_options, &global_options_set);
6349 decode_cmdline_options_to_array (argc, CONST_CAST2 (const char **, char **,
6350 argv),
6351 CL_DRIVER,
6352 &decoded_options, &decoded_options_count);
6354 /* Unlock the stdio streams. */
6355 unlock_std_streams ();
6357 gcc_init_libintl ();
6359 diagnostic_initialize (global_dc, 0);
6361 #ifdef GCC_DRIVER_HOST_INITIALIZATION
6362 /* Perform host dependent initialization when needed. */
6363 GCC_DRIVER_HOST_INITIALIZATION;
6364 #endif
6366 if (atexit (delete_temp_files) != 0)
6367 fatal_error ("atexit failed");
6369 if (signal (SIGINT, SIG_IGN) != SIG_IGN)
6370 signal (SIGINT, fatal_signal);
6371 #ifdef SIGHUP
6372 if (signal (SIGHUP, SIG_IGN) != SIG_IGN)
6373 signal (SIGHUP, fatal_signal);
6374 #endif
6375 if (signal (SIGTERM, SIG_IGN) != SIG_IGN)
6376 signal (SIGTERM, fatal_signal);
6377 #ifdef SIGPIPE
6378 if (signal (SIGPIPE, SIG_IGN) != SIG_IGN)
6379 signal (SIGPIPE, fatal_signal);
6380 #endif
6381 #ifdef SIGCHLD
6382 /* We *MUST* set SIGCHLD to SIG_DFL so that the wait4() call will
6383 receive the signal. A different setting is inheritable */
6384 signal (SIGCHLD, SIG_DFL);
6385 #endif
6387 /* Parsing and gimplification sometimes need quite large stack.
6388 Increase stack size limits if possible. */
6389 stack_limit_increase (64 * 1024 * 1024);
6391 /* Allocate the argument vector. */
6392 alloc_args ();
6394 obstack_init (&obstack);
6396 /* Build multilib_select, et. al from the separate lines that make up each
6397 multilib selection. */
6399 const char *const *q = multilib_raw;
6400 int need_space;
6402 obstack_init (&multilib_obstack);
6403 while ((p = *q++) != (char *) 0)
6404 obstack_grow (&multilib_obstack, p, strlen (p));
6406 obstack_1grow (&multilib_obstack, 0);
6407 multilib_select = XOBFINISH (&multilib_obstack, const char *);
6409 q = multilib_matches_raw;
6410 while ((p = *q++) != (char *) 0)
6411 obstack_grow (&multilib_obstack, p, strlen (p));
6413 obstack_1grow (&multilib_obstack, 0);
6414 multilib_matches = XOBFINISH (&multilib_obstack, const char *);
6416 q = multilib_exclusions_raw;
6417 while ((p = *q++) != (char *) 0)
6418 obstack_grow (&multilib_obstack, p, strlen (p));
6420 obstack_1grow (&multilib_obstack, 0);
6421 multilib_exclusions = XOBFINISH (&multilib_obstack, const char *);
6423 q = multilib_reuse_raw;
6424 while ((p = *q++) != (char *) 0)
6425 obstack_grow (&multilib_obstack, p, strlen (p));
6427 obstack_1grow (&multilib_obstack, 0);
6428 multilib_reuse = XOBFINISH (&multilib_obstack, const char *);
6430 need_space = FALSE;
6431 for (i = 0; i < ARRAY_SIZE (multilib_defaults_raw); i++)
6433 if (need_space)
6434 obstack_1grow (&multilib_obstack, ' ');
6435 obstack_grow (&multilib_obstack,
6436 multilib_defaults_raw[i],
6437 strlen (multilib_defaults_raw[i]));
6438 need_space = TRUE;
6441 obstack_1grow (&multilib_obstack, 0);
6442 multilib_defaults = XOBFINISH (&multilib_obstack, const char *);
6445 #ifdef INIT_ENVIRONMENT
6446 /* Set up any other necessary machine specific environment variables. */
6447 xputenv (INIT_ENVIRONMENT);
6448 #endif
6450 /* Make a table of what switches there are (switches, n_switches).
6451 Make a table of specified input files (infiles, n_infiles).
6452 Decode switches that are handled locally. */
6454 process_command (decoded_options_count, decoded_options);
6456 /* Initialize the vector of specs to just the default.
6457 This means one element containing 0s, as a terminator. */
6459 compilers = XNEWVAR (struct compiler, sizeof default_compilers);
6460 memcpy (compilers, default_compilers, sizeof default_compilers);
6461 n_compilers = n_default_compilers;
6463 /* Read specs from a file if there is one. */
6465 machine_suffix = concat (spec_machine, dir_separator_str,
6466 spec_version, dir_separator_str, NULL);
6467 just_machine_suffix = concat (spec_machine, dir_separator_str, NULL);
6469 specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, true);
6470 /* Read the specs file unless it is a default one. */
6471 if (specs_file != 0 && strcmp (specs_file, "specs"))
6472 read_specs (specs_file, true, false);
6473 else
6474 init_spec ();
6476 /* We need to check standard_exec_prefix/just_machine_suffix/specs
6477 for any override of as, ld and libraries. */
6478 specs_file = (char *) alloca (strlen (standard_exec_prefix)
6479 + strlen (just_machine_suffix) + sizeof ("specs"));
6481 strcpy (specs_file, standard_exec_prefix);
6482 strcat (specs_file, just_machine_suffix);
6483 strcat (specs_file, "specs");
6484 if (access (specs_file, R_OK) == 0)
6485 read_specs (specs_file, true, false);
6487 /* Process any configure-time defaults specified for the command line
6488 options, via OPTION_DEFAULT_SPECS. */
6489 for (i = 0; i < ARRAY_SIZE (option_default_specs); i++)
6490 do_option_spec (option_default_specs[i].name,
6491 option_default_specs[i].spec);
6493 /* Process DRIVER_SELF_SPECS, adding any new options to the end
6494 of the command line. */
6496 for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
6497 do_self_spec (driver_self_specs[i]);
6499 /* If not cross-compiling, look for executables in the standard
6500 places. */
6501 if (*cross_compile == '0')
6503 if (*md_exec_prefix)
6505 add_prefix (&exec_prefixes, md_exec_prefix, "GCC",
6506 PREFIX_PRIORITY_LAST, 0, 0);
6510 /* Process sysroot_suffix_spec. */
6511 if (*sysroot_suffix_spec != 0
6512 && !no_sysroot_suffix
6513 && do_spec_2 (sysroot_suffix_spec) == 0)
6515 if (argbuf.length () > 1)
6516 error ("spec failure: more than one arg to SYSROOT_SUFFIX_SPEC");
6517 else if (argbuf.length () == 1)
6518 target_sysroot_suffix = xstrdup (argbuf.last ());
6521 #ifdef HAVE_LD_SYSROOT
6522 /* Pass the --sysroot option to the linker, if it supports that. If
6523 there is a sysroot_suffix_spec, it has already been processed by
6524 this point, so target_system_root really is the system root we
6525 should be using. */
6526 if (target_system_root)
6528 obstack_grow (&obstack, "%(sysroot_spec) ", strlen ("%(sysroot_spec) "));
6529 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
6530 set_spec ("link", XOBFINISH (&obstack, const char *), false);
6532 #endif
6534 /* Process sysroot_hdrs_suffix_spec. */
6535 if (*sysroot_hdrs_suffix_spec != 0
6536 && !no_sysroot_suffix
6537 && do_spec_2 (sysroot_hdrs_suffix_spec) == 0)
6539 if (argbuf.length () > 1)
6540 error ("spec failure: more than one arg to SYSROOT_HEADERS_SUFFIX_SPEC");
6541 else if (argbuf.length () == 1)
6542 target_sysroot_hdrs_suffix = xstrdup (argbuf.last ());
6545 /* Look for startfiles in the standard places. */
6546 if (*startfile_prefix_spec != 0
6547 && do_spec_2 (startfile_prefix_spec) == 0
6548 && do_spec_1 (" ", 0, NULL) == 0)
6550 const char *arg;
6551 int ndx;
6552 FOR_EACH_VEC_ELT (argbuf, ndx, arg)
6553 add_sysrooted_prefix (&startfile_prefixes, arg, "BINUTILS",
6554 PREFIX_PRIORITY_LAST, 0, 1);
6556 /* We should eventually get rid of all these and stick to
6557 startfile_prefix_spec exclusively. */
6558 else if (*cross_compile == '0' || target_system_root)
6560 if (*md_startfile_prefix)
6561 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix,
6562 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6564 if (*md_startfile_prefix_1)
6565 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix_1,
6566 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6568 /* If standard_startfile_prefix is relative, base it on
6569 standard_exec_prefix. This lets us move the installed tree
6570 as a unit. If GCC_EXEC_PREFIX is defined, base
6571 standard_startfile_prefix on that as well.
6573 If the prefix is relative, only search it for native compilers;
6574 otherwise we will search a directory containing host libraries. */
6575 if (IS_ABSOLUTE_PATH (standard_startfile_prefix))
6576 add_sysrooted_prefix (&startfile_prefixes,
6577 standard_startfile_prefix, "BINUTILS",
6578 PREFIX_PRIORITY_LAST, 0, 1);
6579 else if (*cross_compile == '0')
6581 add_prefix (&startfile_prefixes,
6582 concat (gcc_exec_prefix
6583 ? gcc_exec_prefix : standard_exec_prefix,
6584 machine_suffix,
6585 standard_startfile_prefix, NULL),
6586 NULL, PREFIX_PRIORITY_LAST, 0, 1);
6589 /* Sysrooted prefixes are relocated because target_system_root is
6590 also relocated by gcc_exec_prefix. */
6591 if (*standard_startfile_prefix_1)
6592 add_sysrooted_prefix (&startfile_prefixes,
6593 standard_startfile_prefix_1, "BINUTILS",
6594 PREFIX_PRIORITY_LAST, 0, 1);
6595 if (*standard_startfile_prefix_2)
6596 add_sysrooted_prefix (&startfile_prefixes,
6597 standard_startfile_prefix_2, "BINUTILS",
6598 PREFIX_PRIORITY_LAST, 0, 1);
6601 /* Process any user specified specs in the order given on the command
6602 line. */
6603 for (uptr = user_specs_head; uptr; uptr = uptr->next)
6605 char *filename = find_a_file (&startfile_prefixes, uptr->filename,
6606 R_OK, true);
6607 read_specs (filename ? filename : uptr->filename, false, true);
6610 /* Process any user self specs. */
6612 struct spec_list *sl;
6613 for (sl = specs; sl; sl = sl->next)
6614 if (sl->name_len == sizeof "self_spec" - 1
6615 && !strcmp (sl->name, "self_spec"))
6616 do_self_spec (*sl->ptr_spec);
6619 if (compare_debug)
6621 enum save_temps save;
6623 if (!compare_debug_second)
6625 n_switches_debug_check[1] = n_switches;
6626 n_switches_alloc_debug_check[1] = n_switches_alloc;
6627 switches_debug_check[1] = XDUPVEC (struct switchstr, switches,
6628 n_switches_alloc);
6630 do_self_spec ("%:compare-debug-self-opt()");
6631 n_switches_debug_check[0] = n_switches;
6632 n_switches_alloc_debug_check[0] = n_switches_alloc;
6633 switches_debug_check[0] = switches;
6635 n_switches = n_switches_debug_check[1];
6636 n_switches_alloc = n_switches_alloc_debug_check[1];
6637 switches = switches_debug_check[1];
6640 /* Avoid crash when computing %j in this early. */
6641 save = save_temps_flag;
6642 save_temps_flag = SAVE_TEMPS_NONE;
6644 compare_debug = -compare_debug;
6645 do_self_spec ("%:compare-debug-self-opt()");
6647 save_temps_flag = save;
6649 if (!compare_debug_second)
6651 n_switches_debug_check[1] = n_switches;
6652 n_switches_alloc_debug_check[1] = n_switches_alloc;
6653 switches_debug_check[1] = switches;
6654 compare_debug = -compare_debug;
6655 n_switches = n_switches_debug_check[0];
6656 n_switches_alloc = n_switches_debug_check[0];
6657 switches = switches_debug_check[0];
6662 /* If we have a GCC_EXEC_PREFIX envvar, modify it for cpp's sake. */
6663 if (gcc_exec_prefix)
6664 gcc_exec_prefix = concat (gcc_exec_prefix, spec_machine, dir_separator_str,
6665 spec_version, dir_separator_str, NULL);
6667 /* Now we have the specs.
6668 Set the `valid' bits for switches that match anything in any spec. */
6670 validate_all_switches ();
6672 /* Now that we have the switches and the specs, set
6673 the subdirectory based on the options. */
6674 set_multilib_dir ();
6676 /* Set up to remember the pathname of gcc and any options
6677 needed for collect. We use argv[0] instead of progname because
6678 we need the complete pathname. */
6679 obstack_init (&collect_obstack);
6680 obstack_grow (&collect_obstack, "COLLECT_GCC=", sizeof ("COLLECT_GCC=") - 1);
6681 obstack_grow (&collect_obstack, argv[0], strlen (argv[0]) + 1);
6682 xputenv (XOBFINISH (&collect_obstack, char *));
6684 /* Set up to remember the pathname of the lto wrapper. */
6686 if (have_c)
6687 lto_wrapper_file = NULL;
6688 else
6689 lto_wrapper_file = find_a_file (&exec_prefixes, "lto-wrapper",
6690 X_OK, false);
6691 if (lto_wrapper_file)
6693 lto_wrapper_file = convert_white_space (lto_wrapper_file);
6694 lto_wrapper_spec = lto_wrapper_file;
6695 obstack_init (&collect_obstack);
6696 obstack_grow (&collect_obstack, "COLLECT_LTO_WRAPPER=",
6697 sizeof ("COLLECT_LTO_WRAPPER=") - 1);
6698 obstack_grow (&collect_obstack, lto_wrapper_spec,
6699 strlen (lto_wrapper_spec) + 1);
6700 xputenv (XOBFINISH (&collect_obstack, char *));
6703 /* Reject switches that no pass was interested in. */
6705 for (i = 0; (int) i < n_switches; i++)
6706 if (! switches[i].validated)
6707 error ("unrecognized command line option %<-%s%>", switches[i].part1);
6709 /* Obey some of the options. */
6711 if (print_search_dirs)
6713 printf (_("install: %s%s\n"),
6714 gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
6715 gcc_exec_prefix ? "" : machine_suffix);
6716 printf (_("programs: %s\n"),
6717 build_search_list (&exec_prefixes, "", false, false));
6718 printf (_("libraries: %s\n"),
6719 build_search_list (&startfile_prefixes, "", false, true));
6720 return (0);
6723 if (print_file_name)
6725 printf ("%s\n", find_file (print_file_name));
6726 return (0);
6729 if (print_prog_name)
6731 char *newname = find_a_file (&exec_prefixes, print_prog_name, X_OK, 0);
6732 printf ("%s\n", (newname ? newname : print_prog_name));
6733 return (0);
6736 if (print_multi_lib)
6738 print_multilib_info ();
6739 return (0);
6742 if (print_multi_directory)
6744 if (multilib_dir == NULL)
6745 printf (".\n");
6746 else
6747 printf ("%s\n", multilib_dir);
6748 return (0);
6751 if (print_multiarch)
6753 if (multiarch_dir == NULL)
6754 printf ("\n");
6755 else
6756 printf ("%s\n", multiarch_dir);
6757 return (0);
6760 if (print_sysroot)
6762 if (target_system_root)
6764 if (target_sysroot_suffix)
6765 printf ("%s%s\n", target_system_root, target_sysroot_suffix);
6766 else
6767 printf ("%s\n", target_system_root);
6769 return (0);
6772 if (print_multi_os_directory)
6774 if (multilib_os_dir == NULL)
6775 printf (".\n");
6776 else
6777 printf ("%s\n", multilib_os_dir);
6778 return (0);
6781 if (print_sysroot_headers_suffix)
6783 if (*sysroot_hdrs_suffix_spec)
6785 printf("%s\n", (target_sysroot_hdrs_suffix
6786 ? target_sysroot_hdrs_suffix
6787 : ""));
6788 return (0);
6790 else
6791 /* The error status indicates that only one set of fixed
6792 headers should be built. */
6793 fatal_error ("not configured with sysroot headers suffix");
6796 if (print_help_list)
6798 display_help ();
6800 if (! verbose_flag)
6802 printf (_("\nFor bug reporting instructions, please see:\n"));
6803 printf ("%s.\n", bug_report_url);
6805 return (0);
6808 /* We do not exit here. Instead we have created a fake input file
6809 called 'help-dummy' which needs to be compiled, and we pass this
6810 on the various sub-processes, along with the --help switch.
6811 Ensure their output appears after ours. */
6812 fputc ('\n', stdout);
6813 fflush (stdout);
6816 if (print_version)
6818 printf (_("%s %s%s\n"), progname, pkgversion_string,
6819 version_string);
6820 printf ("Copyright %s 2013 Free Software Foundation, Inc.\n",
6821 _("(C)"));
6822 fputs (_("This is free software; see the source for copying conditions. There is NO\n\
6823 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"),
6824 stdout);
6825 if (! verbose_flag)
6826 return 0;
6828 /* We do not exit here. We use the same mechanism of --help to print
6829 the version of the sub-processes. */
6830 fputc ('\n', stdout);
6831 fflush (stdout);
6834 if (verbose_flag)
6836 int n;
6837 const char *thrmod;
6839 fnotice (stderr, "Target: %s\n", spec_machine);
6840 fnotice (stderr, "Configured with: %s\n", configuration_arguments);
6842 #ifdef THREAD_MODEL_SPEC
6843 /* We could have defined THREAD_MODEL_SPEC to "%*" by default,
6844 but there's no point in doing all this processing just to get
6845 thread_model back. */
6846 obstack_init (&obstack);
6847 do_spec_1 (THREAD_MODEL_SPEC, 0, thread_model);
6848 obstack_1grow (&obstack, '\0');
6849 thrmod = XOBFINISH (&obstack, const char *);
6850 #else
6851 thrmod = thread_model;
6852 #endif
6854 fnotice (stderr, "Thread model: %s\n", thrmod);
6856 /* compiler_version is truncated at the first space when initialized
6857 from version string, so truncate version_string at the first space
6858 before comparing. */
6859 for (n = 0; version_string[n]; n++)
6860 if (version_string[n] == ' ')
6861 break;
6863 if (! strncmp (version_string, compiler_version, n)
6864 && compiler_version[n] == 0)
6865 fnotice (stderr, "gcc version %s %s\n", version_string,
6866 pkgversion_string);
6867 else
6868 fnotice (stderr, "gcc driver version %s %sexecuting gcc version %s\n",
6869 version_string, pkgversion_string, compiler_version);
6871 if (n_infiles == 0)
6872 return (0);
6875 if (n_infiles == added_libraries)
6876 fatal_error ("no input files");
6878 if (seen_error ())
6879 goto out;
6881 /* Make a place to record the compiler output file names
6882 that correspond to the input files. */
6884 i = n_infiles;
6885 i += lang_specific_extra_outfiles;
6886 outfiles = XCNEWVEC (const char *, i);
6888 /* Record which files were specified explicitly as link input. */
6890 explicit_link_files = XCNEWVEC (char, n_infiles);
6892 combine_inputs = have_o || flag_wpa;
6894 for (i = 0; (int) i < n_infiles; i++)
6896 const char *name = infiles[i].name;
6897 struct compiler *compiler = lookup_compiler (name,
6898 strlen (name),
6899 infiles[i].language);
6901 if (compiler && !(compiler->combinable))
6902 combine_inputs = false;
6904 if (lang_n_infiles > 0 && compiler != input_file_compiler
6905 && infiles[i].language && infiles[i].language[0] != '*')
6906 infiles[i].incompiler = compiler;
6907 else if (compiler)
6909 lang_n_infiles++;
6910 input_file_compiler = compiler;
6911 infiles[i].incompiler = compiler;
6913 else
6915 /* Since there is no compiler for this input file, assume it is a
6916 linker file. */
6917 explicit_link_files[i] = 1;
6918 infiles[i].incompiler = NULL;
6920 infiles[i].compiled = false;
6921 infiles[i].preprocessed = false;
6924 if (!combine_inputs && have_c && have_o && lang_n_infiles > 1)
6925 fatal_error ("cannot specify -o with -c, -S or -E with multiple files");
6927 for (i = 0; (int) i < n_infiles; i++)
6929 int this_file_error = 0;
6931 /* Tell do_spec what to substitute for %i. */
6933 input_file_number = i;
6934 set_input (infiles[i].name);
6936 if (infiles[i].compiled)
6937 continue;
6939 /* Use the same thing in %o, unless cp->spec says otherwise. */
6941 outfiles[i] = gcc_input_filename;
6943 /* Figure out which compiler from the file's suffix. */
6945 input_file_compiler
6946 = lookup_compiler (infiles[i].name, input_filename_length,
6947 infiles[i].language);
6949 if (input_file_compiler)
6951 /* Ok, we found an applicable compiler. Run its spec. */
6953 if (input_file_compiler->spec[0] == '#')
6955 error ("%s: %s compiler not installed on this system",
6956 gcc_input_filename, &input_file_compiler->spec[1]);
6957 this_file_error = 1;
6959 else
6961 if (compare_debug)
6963 free (debug_check_temp_file[0]);
6964 debug_check_temp_file[0] = NULL;
6966 free (debug_check_temp_file[1]);
6967 debug_check_temp_file[1] = NULL;
6970 value = do_spec (input_file_compiler->spec);
6971 infiles[i].compiled = true;
6972 if (value < 0)
6973 this_file_error = 1;
6974 else if (compare_debug && debug_check_temp_file[0])
6976 if (verbose_flag)
6977 inform (0, "recompiling with -fcompare-debug");
6979 compare_debug = -compare_debug;
6980 n_switches = n_switches_debug_check[1];
6981 n_switches_alloc = n_switches_alloc_debug_check[1];
6982 switches = switches_debug_check[1];
6984 value = do_spec (input_file_compiler->spec);
6986 compare_debug = -compare_debug;
6987 n_switches = n_switches_debug_check[0];
6988 n_switches_alloc = n_switches_alloc_debug_check[0];
6989 switches = switches_debug_check[0];
6991 if (value < 0)
6993 error ("during -fcompare-debug recompilation");
6994 this_file_error = 1;
6997 gcc_assert (debug_check_temp_file[1]
6998 && filename_cmp (debug_check_temp_file[0],
6999 debug_check_temp_file[1]));
7001 if (verbose_flag)
7002 inform (0, "comparing final insns dumps");
7004 if (compare_files (debug_check_temp_file))
7005 this_file_error = 1;
7008 if (compare_debug)
7010 free (debug_check_temp_file[0]);
7011 debug_check_temp_file[0] = NULL;
7013 free (debug_check_temp_file[1]);
7014 debug_check_temp_file[1] = NULL;
7019 /* If this file's name does not contain a recognized suffix,
7020 record it as explicit linker input. */
7022 else
7023 explicit_link_files[i] = 1;
7025 /* Clear the delete-on-failure queue, deleting the files in it
7026 if this compilation failed. */
7028 if (this_file_error)
7030 delete_failure_queue ();
7031 errorcount++;
7033 /* If this compilation succeeded, don't delete those files later. */
7034 clear_failure_queue ();
7037 /* Reset the input file name to the first compile/object file name, for use
7038 with %b in LINK_SPEC. We use the first input file that we can find
7039 a compiler to compile it instead of using infiles.language since for
7040 languages other than C we use aliases that we then lookup later. */
7041 if (n_infiles > 0)
7043 int i;
7045 for (i = 0; i < n_infiles ; i++)
7046 if (infiles[i].incompiler
7047 || (infiles[i].language && infiles[i].language[0] != '*'))
7049 set_input (infiles[i].name);
7050 break;
7054 if (!seen_error ())
7056 /* Make sure INPUT_FILE_NUMBER points to first available open
7057 slot. */
7058 input_file_number = n_infiles;
7059 if (lang_specific_pre_link ())
7060 errorcount++;
7063 /* Determine if there are any linker input files. */
7064 num_linker_inputs = 0;
7065 for (i = 0; (int) i < n_infiles; i++)
7066 if (explicit_link_files[i] || outfiles[i] != NULL)
7067 num_linker_inputs++;
7069 /* Run ld to link all the compiler output files. */
7071 if (num_linker_inputs > 0 && !seen_error () && print_subprocess_help < 2)
7073 int tmp = execution_count;
7075 if (! have_c)
7077 #if HAVE_LTO_PLUGIN > 0
7078 #if HAVE_LTO_PLUGIN == 2
7079 const char *fno_use_linker_plugin = "fno-use-linker-plugin";
7080 #else
7081 const char *fuse_linker_plugin = "fuse-linker-plugin";
7082 #endif
7083 #endif
7085 const char *freorder_functions_ = "freorder-functions=";
7087 /* We'll use ld if we can't find collect2. */
7088 if (! strcmp (linker_name_spec, "collect2"))
7090 char *s = find_a_file (&exec_prefixes, "collect2", X_OK, false);
7091 if (s == NULL)
7092 linker_name_spec = "ld";
7095 #if HAVE_LTO_PLUGIN > 0
7096 #if HAVE_LTO_PLUGIN == 2
7097 if (!switch_matches (fno_use_linker_plugin,
7098 fno_use_linker_plugin
7099 + strlen (fno_use_linker_plugin), 0))
7100 #else
7101 if (switch_matches (fuse_linker_plugin,
7102 fuse_linker_plugin
7103 + strlen (fuse_linker_plugin), 0))
7104 #endif
7106 char *temp_spec = find_a_file (&exec_prefixes,
7107 LTOPLUGINSONAME, R_OK,
7108 false);
7109 if (!temp_spec)
7110 fatal_error ("-fuse-linker-plugin, but %s not found",
7111 LTOPLUGINSONAME);
7112 linker_plugin_file_spec = convert_white_space (temp_spec);
7114 #endif
7115 lto_gcc_spec = argv[0];
7117 /* The function reordering linker plugin will be loaded if the option
7118 -freorder-functions= is present in the command-line. */
7119 if (switch_matches (freorder_functions_,
7120 freorder_functions_ + strlen (freorder_functions_), 1))
7121 set_func_reorder_linker_plugin_spec ();
7124 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
7125 for collect. */
7126 putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH", false);
7127 putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV, true);
7129 if (print_subprocess_help == 1)
7131 printf (_("\nLinker options\n==============\n\n"));
7132 printf (_("Use \"-Wl,OPTION\" to pass \"OPTION\""
7133 " to the linker.\n\n"));
7134 fflush (stdout);
7136 value = do_spec (link_command_spec);
7137 if (value < 0)
7138 errorcount = 1;
7139 linker_was_run = (tmp != execution_count);
7142 /* If options said don't run linker,
7143 complain about input files to be given to the linker. */
7145 if (! linker_was_run && !seen_error ())
7146 for (i = 0; (int) i < n_infiles; i++)
7147 if (explicit_link_files[i]
7148 && !(infiles[i].language && infiles[i].language[0] == '*'))
7149 warning (0, "%s: linker input file unused because linking not done",
7150 outfiles[i]);
7152 /* Delete some or all of the temporary files we made. */
7154 if (seen_error ())
7155 delete_failure_queue ();
7156 delete_temp_files ();
7158 if (print_help_list)
7160 printf (("\nFor bug reporting instructions, please see:\n"));
7161 printf ("%s\n", bug_report_url);
7164 out:
7165 return (signal_count != 0 ? 2
7166 : seen_error () ? (pass_exit_codes ? greatest_status : 1)
7167 : 0);
7170 /* Find the proper compilation spec for the file name NAME,
7171 whose length is LENGTH. LANGUAGE is the specified language,
7172 or 0 if this file is to be passed to the linker. */
7174 static struct compiler *
7175 lookup_compiler (const char *name, size_t length, const char *language)
7177 struct compiler *cp;
7179 /* If this was specified by the user to be a linker input, indicate that. */
7180 if (language != 0 && language[0] == '*')
7181 return 0;
7183 /* Otherwise, look for the language, if one is spec'd. */
7184 if (language != 0)
7186 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7187 if (cp->suffix[0] == '@' && !strcmp (cp->suffix + 1, language))
7188 return cp;
7190 error ("language %s not recognized", language);
7191 return 0;
7194 /* Look for a suffix. */
7195 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7197 if (/* The suffix `-' matches only the file name `-'. */
7198 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7199 || (strlen (cp->suffix) < length
7200 /* See if the suffix matches the end of NAME. */
7201 && !strcmp (cp->suffix,
7202 name + length - strlen (cp->suffix))
7204 break;
7207 #if defined (OS2) ||defined (HAVE_DOS_BASED_FILE_SYSTEM)
7208 /* Look again, but case-insensitively this time. */
7209 if (cp < compilers)
7210 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7212 if (/* The suffix `-' matches only the file name `-'. */
7213 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7214 || (strlen (cp->suffix) < length
7215 /* See if the suffix matches the end of NAME. */
7216 && ((!strcmp (cp->suffix,
7217 name + length - strlen (cp->suffix))
7218 || !strpbrk (cp->suffix, "ABCDEFGHIJKLMNOPQRSTUVWXYZ"))
7219 && !strcasecmp (cp->suffix,
7220 name + length - strlen (cp->suffix)))
7222 break;
7224 #endif
7226 if (cp >= compilers)
7228 if (cp->spec[0] != '@')
7229 /* A non-alias entry: return it. */
7230 return cp;
7232 /* An alias entry maps a suffix to a language.
7233 Search for the language; pass 0 for NAME and LENGTH
7234 to avoid infinite recursion if language not found. */
7235 return lookup_compiler (NULL, 0, cp->spec + 1);
7237 return 0;
7240 static char *
7241 save_string (const char *s, int len)
7243 char *result = XNEWVEC (char, len + 1);
7245 memcpy (result, s, len);
7246 result[len] = 0;
7247 return result;
7250 void
7251 pfatal_with_name (const char *name)
7253 perror_with_name (name);
7254 delete_temp_files ();
7255 exit (1);
7258 static void
7259 perror_with_name (const char *name)
7261 error ("%s: %m", name);
7264 static inline void
7265 validate_switches_from_spec (const char *spec, bool user)
7267 const char *p = spec;
7268 char c;
7269 while ((c = *p++))
7270 if (c == '%' && (*p == '{' || *p == '<' || (*p == 'W' && *++p == '{')))
7271 /* We have a switch spec. */
7272 p = validate_switches (p + 1, user);
7275 static void
7276 validate_all_switches (void)
7278 struct compiler *comp;
7279 struct spec_list *spec;
7281 for (comp = compilers; comp->spec; comp++)
7282 validate_switches_from_spec (comp->spec, false);
7284 /* Look through the linked list of specs read from the specs file. */
7285 for (spec = specs; spec; spec = spec->next)
7286 validate_switches_from_spec (*spec->ptr_spec, spec->user_p);
7288 validate_switches_from_spec (link_command_spec, false);
7291 /* Look at the switch-name that comes after START
7292 and mark as valid all supplied switches that match it. */
7294 static const char *
7295 validate_switches (const char *start, bool user_spec)
7297 const char *p = start;
7298 const char *atom;
7299 size_t len;
7300 int i;
7301 bool suffix = false;
7302 bool starred = false;
7304 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
7306 next_member:
7307 SKIP_WHITE ();
7309 if (*p == '!')
7310 p++;
7312 SKIP_WHITE ();
7313 if (*p == '.' || *p == ',')
7314 suffix = true, p++;
7316 atom = p;
7317 while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
7318 || *p == ',' || *p == '.' || *p == '@')
7319 p++;
7320 len = p - atom;
7322 if (*p == '*')
7323 starred = true, p++;
7325 SKIP_WHITE ();
7327 if (!suffix)
7329 /* Mark all matching switches as valid. */
7330 for (i = 0; i < n_switches; i++)
7331 if (!strncmp (switches[i].part1, atom, len)
7332 && (starred || switches[i].part1[len] == '\0')
7333 && (switches[i].known || user_spec))
7334 switches[i].validated = true;
7337 if (*p) p++;
7338 if (*p && (p[-1] == '|' || p[-1] == '&'))
7339 goto next_member;
7341 if (*p && p[-1] == ':')
7343 while (*p && *p != ';' && *p != '}')
7345 if (*p == '%')
7347 p++;
7348 if (*p == '{' || *p == '<')
7349 p = validate_switches (p+1, user_spec);
7350 else if (p[0] == 'W' && p[1] == '{')
7351 p = validate_switches (p+2, user_spec);
7353 else
7354 p++;
7357 if (*p) p++;
7358 if (*p && p[-1] == ';')
7359 goto next_member;
7362 return p;
7363 #undef SKIP_WHITE
7366 struct mdswitchstr
7368 const char *str;
7369 int len;
7372 static struct mdswitchstr *mdswitches;
7373 static int n_mdswitches;
7375 /* Check whether a particular argument was used. The first time we
7376 canonicalize the switches to keep only the ones we care about. */
7378 static int
7379 used_arg (const char *p, int len)
7381 struct mswitchstr
7383 const char *str;
7384 const char *replace;
7385 int len;
7386 int rep_len;
7389 static struct mswitchstr *mswitches;
7390 static int n_mswitches;
7391 int i, j;
7393 if (!mswitches)
7395 struct mswitchstr *matches;
7396 const char *q;
7397 int cnt = 0;
7399 /* Break multilib_matches into the component strings of string
7400 and replacement string. */
7401 for (q = multilib_matches; *q != '\0'; q++)
7402 if (*q == ';')
7403 cnt++;
7405 matches
7406 = (struct mswitchstr *) alloca ((sizeof (struct mswitchstr)) * cnt);
7407 i = 0;
7408 q = multilib_matches;
7409 while (*q != '\0')
7411 matches[i].str = q;
7412 while (*q != ' ')
7414 if (*q == '\0')
7416 invalid_matches:
7417 fatal_error ("multilib spec %qs is invalid",
7418 multilib_matches);
7420 q++;
7422 matches[i].len = q - matches[i].str;
7424 matches[i].replace = ++q;
7425 while (*q != ';' && *q != '\0')
7427 if (*q == ' ')
7428 goto invalid_matches;
7429 q++;
7431 matches[i].rep_len = q - matches[i].replace;
7432 i++;
7433 if (*q == ';')
7434 q++;
7437 /* Now build a list of the replacement string for switches that we care
7438 about. Make sure we allocate at least one entry. This prevents
7439 xmalloc from calling fatal, and prevents us from re-executing this
7440 block of code. */
7441 mswitches
7442 = XNEWVEC (struct mswitchstr, n_mdswitches + (n_switches ? n_switches : 1));
7443 for (i = 0; i < n_switches; i++)
7444 if ((switches[i].live_cond & SWITCH_IGNORE) == 0)
7446 int xlen = strlen (switches[i].part1);
7447 for (j = 0; j < cnt; j++)
7448 if (xlen == matches[j].len
7449 && ! strncmp (switches[i].part1, matches[j].str, xlen))
7451 mswitches[n_mswitches].str = matches[j].replace;
7452 mswitches[n_mswitches].len = matches[j].rep_len;
7453 mswitches[n_mswitches].replace = (char *) 0;
7454 mswitches[n_mswitches].rep_len = 0;
7455 n_mswitches++;
7456 break;
7460 /* Add MULTILIB_DEFAULTS switches too, as long as they were not present
7461 on the command line nor any options mutually incompatible with
7462 them. */
7463 for (i = 0; i < n_mdswitches; i++)
7465 const char *r;
7467 for (q = multilib_options; *q != '\0'; q++)
7469 while (*q == ' ')
7470 q++;
7472 r = q;
7473 while (strncmp (q, mdswitches[i].str, mdswitches[i].len) != 0
7474 || strchr (" /", q[mdswitches[i].len]) == NULL)
7476 while (*q != ' ' && *q != '/' && *q != '\0')
7477 q++;
7478 if (*q != '/')
7479 break;
7480 q++;
7483 if (*q != ' ' && *q != '\0')
7485 while (*r != ' ' && *r != '\0')
7487 q = r;
7488 while (*q != ' ' && *q != '/' && *q != '\0')
7489 q++;
7491 if (used_arg (r, q - r))
7492 break;
7494 if (*q != '/')
7496 mswitches[n_mswitches].str = mdswitches[i].str;
7497 mswitches[n_mswitches].len = mdswitches[i].len;
7498 mswitches[n_mswitches].replace = (char *) 0;
7499 mswitches[n_mswitches].rep_len = 0;
7500 n_mswitches++;
7501 break;
7504 r = q + 1;
7506 break;
7512 for (i = 0; i < n_mswitches; i++)
7513 if (len == mswitches[i].len && ! strncmp (p, mswitches[i].str, len))
7514 return 1;
7516 return 0;
7519 static int
7520 default_arg (const char *p, int len)
7522 int i;
7524 for (i = 0; i < n_mdswitches; i++)
7525 if (len == mdswitches[i].len && ! strncmp (p, mdswitches[i].str, len))
7526 return 1;
7528 return 0;
7531 /* Work out the subdirectory to use based on the options. The format of
7532 multilib_select is a list of elements. Each element is a subdirectory
7533 name followed by a list of options followed by a semicolon. The format
7534 of multilib_exclusions is the same, but without the preceding
7535 directory. First gcc will check the exclusions, if none of the options
7536 beginning with an exclamation point are present, and all of the other
7537 options are present, then we will ignore this completely. Passing
7538 that, gcc will consider each multilib_select in turn using the same
7539 rules for matching the options. If a match is found, that subdirectory
7540 will be used.
7541 A subdirectory name is optionally followed by a colon and the corresponding
7542 multiarch name. */
7544 static void
7545 set_multilib_dir (void)
7547 const char *p;
7548 unsigned int this_path_len;
7549 const char *this_path, *this_arg;
7550 const char *start, *end;
7551 int not_arg;
7552 int ok, ndfltok, first;
7554 n_mdswitches = 0;
7555 start = multilib_defaults;
7556 while (*start == ' ' || *start == '\t')
7557 start++;
7558 while (*start != '\0')
7560 n_mdswitches++;
7561 while (*start != ' ' && *start != '\t' && *start != '\0')
7562 start++;
7563 while (*start == ' ' || *start == '\t')
7564 start++;
7567 if (n_mdswitches)
7569 int i = 0;
7571 mdswitches = XNEWVEC (struct mdswitchstr, n_mdswitches);
7572 for (start = multilib_defaults; *start != '\0'; start = end + 1)
7574 while (*start == ' ' || *start == '\t')
7575 start++;
7577 if (*start == '\0')
7578 break;
7580 for (end = start + 1;
7581 *end != ' ' && *end != '\t' && *end != '\0'; end++)
7584 obstack_grow (&multilib_obstack, start, end - start);
7585 obstack_1grow (&multilib_obstack, 0);
7586 mdswitches[i].str = XOBFINISH (&multilib_obstack, const char *);
7587 mdswitches[i++].len = end - start;
7589 if (*end == '\0')
7590 break;
7594 p = multilib_exclusions;
7595 while (*p != '\0')
7597 /* Ignore newlines. */
7598 if (*p == '\n')
7600 ++p;
7601 continue;
7604 /* Check the arguments. */
7605 ok = 1;
7606 while (*p != ';')
7608 if (*p == '\0')
7610 invalid_exclusions:
7611 fatal_error ("multilib exclusions %qs is invalid",
7612 multilib_exclusions);
7615 if (! ok)
7617 ++p;
7618 continue;
7621 this_arg = p;
7622 while (*p != ' ' && *p != ';')
7624 if (*p == '\0')
7625 goto invalid_exclusions;
7626 ++p;
7629 if (*this_arg != '!')
7630 not_arg = 0;
7631 else
7633 not_arg = 1;
7634 ++this_arg;
7637 ok = used_arg (this_arg, p - this_arg);
7638 if (not_arg)
7639 ok = ! ok;
7641 if (*p == ' ')
7642 ++p;
7645 if (ok)
7646 return;
7648 ++p;
7651 first = 1;
7652 p = multilib_select;
7654 /* Append multilib reuse rules if any. With those rules, we can reuse
7655 one multilib for certain different options sets. */
7656 if (strlen (multilib_reuse) > 0)
7657 p = concat (p, multilib_reuse, NULL);
7659 while (*p != '\0')
7661 /* Ignore newlines. */
7662 if (*p == '\n')
7664 ++p;
7665 continue;
7668 /* Get the initial path. */
7669 this_path = p;
7670 while (*p != ' ')
7672 if (*p == '\0')
7674 invalid_select:
7675 fatal_error ("multilib select %qs %qs is invalid",
7676 multilib_select, multilib_reuse);
7678 ++p;
7680 this_path_len = p - this_path;
7682 /* Check the arguments. */
7683 ok = 1;
7684 ndfltok = 1;
7685 ++p;
7686 while (*p != ';')
7688 if (*p == '\0')
7689 goto invalid_select;
7691 if (! ok)
7693 ++p;
7694 continue;
7697 this_arg = p;
7698 while (*p != ' ' && *p != ';')
7700 if (*p == '\0')
7701 goto invalid_select;
7702 ++p;
7705 if (*this_arg != '!')
7706 not_arg = 0;
7707 else
7709 not_arg = 1;
7710 ++this_arg;
7713 /* If this is a default argument, we can just ignore it.
7714 This is true even if this_arg begins with '!'. Beginning
7715 with '!' does not mean that this argument is necessarily
7716 inappropriate for this library: it merely means that
7717 there is a more specific library which uses this
7718 argument. If this argument is a default, we need not
7719 consider that more specific library. */
7720 ok = used_arg (this_arg, p - this_arg);
7721 if (not_arg)
7722 ok = ! ok;
7724 if (! ok)
7725 ndfltok = 0;
7727 if (default_arg (this_arg, p - this_arg))
7728 ok = 1;
7730 if (*p == ' ')
7731 ++p;
7734 if (ok && first)
7736 if (this_path_len != 1
7737 || this_path[0] != '.')
7739 char *new_multilib_dir = XNEWVEC (char, this_path_len + 1);
7740 char *q;
7742 strncpy (new_multilib_dir, this_path, this_path_len);
7743 new_multilib_dir[this_path_len] = '\0';
7744 q = strchr (new_multilib_dir, ':');
7745 if (q != NULL)
7746 *q = '\0';
7747 multilib_dir = new_multilib_dir;
7749 first = 0;
7752 if (ndfltok)
7754 const char *q = this_path, *end = this_path + this_path_len;
7756 while (q < end && *q != ':')
7757 q++;
7758 if (q < end)
7760 const char *q2 = q + 1, *ml_end = end;
7761 char *new_multilib_os_dir;
7763 while (q2 < end && *q2 != ':')
7764 q2++;
7765 if (*q2 == ':')
7766 ml_end = q2;
7767 new_multilib_os_dir = XNEWVEC (char, ml_end - q);
7768 memcpy (new_multilib_os_dir, q + 1, ml_end - q - 1);
7769 new_multilib_os_dir[ml_end - q - 1] = '\0';
7770 multilib_os_dir = *new_multilib_os_dir ? new_multilib_os_dir : ".";
7772 if (q2 < end && *q2 == ':')
7774 char *new_multiarch_dir = XNEWVEC (char, end - q2);
7775 memcpy (new_multiarch_dir, q2 + 1, end - q2 - 1);
7776 new_multiarch_dir[end - q2 - 1] = '\0';
7777 multiarch_dir = new_multiarch_dir;
7779 break;
7783 ++p;
7786 if (multilib_dir == NULL && multilib_os_dir != NULL
7787 && strcmp (multilib_os_dir, ".") == 0)
7789 free (CONST_CAST (char *, multilib_os_dir));
7790 multilib_os_dir = NULL;
7792 else if (multilib_dir != NULL && multilib_os_dir == NULL)
7793 multilib_os_dir = multilib_dir;
7796 /* Print out the multiple library subdirectory selection
7797 information. This prints out a series of lines. Each line looks
7798 like SUBDIRECTORY;@OPTION@OPTION, with as many options as is
7799 required. Only the desired options are printed out, the negative
7800 matches. The options are print without a leading dash. There are
7801 no spaces to make it easy to use the information in the shell.
7802 Each subdirectory is printed only once. This assumes the ordering
7803 generated by the genmultilib script. Also, we leave out ones that match
7804 the exclusions. */
7806 static void
7807 print_multilib_info (void)
7809 const char *p = multilib_select;
7810 const char *last_path = 0, *this_path;
7811 int skip;
7812 unsigned int last_path_len = 0;
7814 while (*p != '\0')
7816 skip = 0;
7817 /* Ignore newlines. */
7818 if (*p == '\n')
7820 ++p;
7821 continue;
7824 /* Get the initial path. */
7825 this_path = p;
7826 while (*p != ' ')
7828 if (*p == '\0')
7830 invalid_select:
7831 fatal_error ("multilib select %qs is invalid", multilib_select);
7834 ++p;
7837 /* When --disable-multilib was used but target defines
7838 MULTILIB_OSDIRNAMES, entries starting with .: (and not starting
7839 with .:: for multiarch configurations) are there just to find
7840 multilib_os_dir, so skip them from output. */
7841 if (this_path[0] == '.' && this_path[1] == ':' && this_path[2] != ':')
7842 skip = 1;
7844 /* Check for matches with the multilib_exclusions. We don't bother
7845 with the '!' in either list. If any of the exclusion rules match
7846 all of its options with the select rule, we skip it. */
7848 const char *e = multilib_exclusions;
7849 const char *this_arg;
7851 while (*e != '\0')
7853 int m = 1;
7854 /* Ignore newlines. */
7855 if (*e == '\n')
7857 ++e;
7858 continue;
7861 /* Check the arguments. */
7862 while (*e != ';')
7864 const char *q;
7865 int mp = 0;
7867 if (*e == '\0')
7869 invalid_exclusion:
7870 fatal_error ("multilib exclusion %qs is invalid",
7871 multilib_exclusions);
7874 if (! m)
7876 ++e;
7877 continue;
7880 this_arg = e;
7882 while (*e != ' ' && *e != ';')
7884 if (*e == '\0')
7885 goto invalid_exclusion;
7886 ++e;
7889 q = p + 1;
7890 while (*q != ';')
7892 const char *arg;
7893 int len = e - this_arg;
7895 if (*q == '\0')
7896 goto invalid_select;
7898 arg = q;
7900 while (*q != ' ' && *q != ';')
7902 if (*q == '\0')
7903 goto invalid_select;
7904 ++q;
7907 if (! strncmp (arg, this_arg,
7908 (len < q - arg) ? q - arg : len)
7909 || default_arg (this_arg, e - this_arg))
7911 mp = 1;
7912 break;
7915 if (*q == ' ')
7916 ++q;
7919 if (! mp)
7920 m = 0;
7922 if (*e == ' ')
7923 ++e;
7926 if (m)
7928 skip = 1;
7929 break;
7932 if (*e != '\0')
7933 ++e;
7937 if (! skip)
7939 /* If this is a duplicate, skip it. */
7940 skip = (last_path != 0
7941 && (unsigned int) (p - this_path) == last_path_len
7942 && ! filename_ncmp (last_path, this_path, last_path_len));
7944 last_path = this_path;
7945 last_path_len = p - this_path;
7948 /* If this directory requires any default arguments, we can skip
7949 it. We will already have printed a directory identical to
7950 this one which does not require that default argument. */
7951 if (! skip)
7953 const char *q;
7955 q = p + 1;
7956 while (*q != ';')
7958 const char *arg;
7960 if (*q == '\0')
7961 goto invalid_select;
7963 if (*q == '!')
7964 arg = NULL;
7965 else
7966 arg = q;
7968 while (*q != ' ' && *q != ';')
7970 if (*q == '\0')
7971 goto invalid_select;
7972 ++q;
7975 if (arg != NULL
7976 && default_arg (arg, q - arg))
7978 skip = 1;
7979 break;
7982 if (*q == ' ')
7983 ++q;
7987 if (! skip)
7989 const char *p1;
7991 for (p1 = last_path; p1 < p && *p1 != ':'; p1++)
7992 putchar (*p1);
7993 putchar (';');
7996 ++p;
7997 while (*p != ';')
7999 int use_arg;
8001 if (*p == '\0')
8002 goto invalid_select;
8004 if (skip)
8006 ++p;
8007 continue;
8010 use_arg = *p != '!';
8012 if (use_arg)
8013 putchar ('@');
8015 while (*p != ' ' && *p != ';')
8017 if (*p == '\0')
8018 goto invalid_select;
8019 if (use_arg)
8020 putchar (*p);
8021 ++p;
8024 if (*p == ' ')
8025 ++p;
8028 if (! skip)
8030 /* If there are extra options, print them now. */
8031 if (multilib_extra && *multilib_extra)
8033 int print_at = TRUE;
8034 const char *q;
8036 for (q = multilib_extra; *q != '\0'; q++)
8038 if (*q == ' ')
8039 print_at = TRUE;
8040 else
8042 if (print_at)
8043 putchar ('@');
8044 putchar (*q);
8045 print_at = FALSE;
8050 putchar ('\n');
8053 ++p;
8057 /* getenv built-in spec function.
8059 Returns the value of the environment variable given by its first
8060 argument, concatenated with the second argument. If the
8061 environment variable is not defined, a fatal error is issued. */
8063 static const char *
8064 getenv_spec_function (int argc, const char **argv)
8066 char *value;
8067 char *result;
8068 char *ptr;
8069 size_t len;
8071 if (argc != 2)
8072 return NULL;
8074 value = getenv (argv[0]);
8075 if (!value)
8076 fatal_error ("environment variable %qs not defined", argv[0]);
8078 /* We have to escape every character of the environment variable so
8079 they are not interpreted as active spec characters. A
8080 particularly painful case is when we are reading a variable
8081 holding a windows path complete with \ separators. */
8082 len = strlen (value) * 2 + strlen (argv[1]) + 1;
8083 result = XNEWVAR (char, len);
8084 for (ptr = result; *value; ptr += 2)
8086 ptr[0] = '\\';
8087 ptr[1] = *value++;
8090 strcpy (ptr, argv[1]);
8092 return result;
8095 /* if-exists built-in spec function.
8097 Checks to see if the file specified by the absolute pathname in
8098 ARGS exists. Returns that pathname if found.
8100 The usual use for this function is to check for a library file
8101 (whose name has been expanded with %s). */
8103 static const char *
8104 if_exists_spec_function (int argc, const char **argv)
8106 /* Must have only one argument. */
8107 if (argc == 1 && IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8108 return argv[0];
8110 return NULL;
8113 /* if-exists-else built-in spec function.
8115 This is like if-exists, but takes an additional argument which
8116 is returned if the first argument does not exist. */
8118 static const char *
8119 if_exists_else_spec_function (int argc, const char **argv)
8121 /* Must have exactly two arguments. */
8122 if (argc != 2)
8123 return NULL;
8125 if (IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8126 return argv[0];
8128 return argv[1];
8131 /* replace-outfile built-in spec function.
8133 This looks for the first argument in the outfiles array's name and
8134 replaces it with the second argument. */
8136 static const char *
8137 replace_outfile_spec_function (int argc, const char **argv)
8139 int i;
8140 /* Must have exactly two arguments. */
8141 if (argc != 2)
8142 abort ();
8144 for (i = 0; i < n_infiles; i++)
8146 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8147 outfiles[i] = xstrdup (argv[1]);
8149 return NULL;
8152 /* remove-outfile built-in spec function.
8154 * This looks for the first argument in the outfiles array's name and
8155 * removes it. */
8157 static const char *
8158 remove_outfile_spec_function (int argc, const char **argv)
8160 int i;
8161 /* Must have exactly one argument. */
8162 if (argc != 1)
8163 abort ();
8165 for (i = 0; i < n_infiles; i++)
8167 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8168 outfiles[i] = NULL;
8170 return NULL;
8173 /* Given two version numbers, compares the two numbers.
8174 A version number must match the regular expression
8175 ([1-9][0-9]*|0)(\.([1-9][0-9]*|0))*
8177 static int
8178 compare_version_strings (const char *v1, const char *v2)
8180 int rresult;
8181 regex_t r;
8183 if (regcomp (&r, "^([1-9][0-9]*|0)(\\.([1-9][0-9]*|0))*$",
8184 REG_EXTENDED | REG_NOSUB) != 0)
8185 abort ();
8186 rresult = regexec (&r, v1, 0, NULL, 0);
8187 if (rresult == REG_NOMATCH)
8188 fatal_error ("invalid version number %qs", v1);
8189 else if (rresult != 0)
8190 abort ();
8191 rresult = regexec (&r, v2, 0, NULL, 0);
8192 if (rresult == REG_NOMATCH)
8193 fatal_error ("invalid version number %qs", v2);
8194 else if (rresult != 0)
8195 abort ();
8197 return strverscmp (v1, v2);
8201 /* version_compare built-in spec function.
8203 This takes an argument of the following form:
8205 <comparison-op> <arg1> [<arg2>] <switch> <result>
8207 and produces "result" if the comparison evaluates to true,
8208 and nothing if it doesn't.
8210 The supported <comparison-op> values are:
8212 >= true if switch is a later (or same) version than arg1
8213 !> opposite of >=
8214 < true if switch is an earlier version than arg1
8215 !< opposite of <
8216 >< true if switch is arg1 or later, and earlier than arg2
8217 <> true if switch is earlier than arg1 or is arg2 or later
8219 If the switch is not present, the condition is false unless
8220 the first character of the <comparison-op> is '!'.
8222 For example,
8223 %:version-compare(>= 10.3 mmacosx-version-min= -lmx)
8224 adds -lmx if -mmacosx-version-min=10.3.9 was passed. */
8226 static const char *
8227 version_compare_spec_function (int argc, const char **argv)
8229 int comp1, comp2;
8230 size_t switch_len;
8231 const char *switch_value = NULL;
8232 int nargs = 1, i;
8233 bool result;
8235 if (argc < 3)
8236 fatal_error ("too few arguments to %%:version-compare");
8237 if (argv[0][0] == '\0')
8238 abort ();
8239 if ((argv[0][1] == '<' || argv[0][1] == '>') && argv[0][0] != '!')
8240 nargs = 2;
8241 if (argc != nargs + 3)
8242 fatal_error ("too many arguments to %%:version-compare");
8244 switch_len = strlen (argv[nargs + 1]);
8245 for (i = 0; i < n_switches; i++)
8246 if (!strncmp (switches[i].part1, argv[nargs + 1], switch_len)
8247 && check_live_switch (i, switch_len))
8248 switch_value = switches[i].part1 + switch_len;
8250 if (switch_value == NULL)
8251 comp1 = comp2 = -1;
8252 else
8254 comp1 = compare_version_strings (switch_value, argv[1]);
8255 if (nargs == 2)
8256 comp2 = compare_version_strings (switch_value, argv[2]);
8257 else
8258 comp2 = -1; /* This value unused. */
8261 switch (argv[0][0] << 8 | argv[0][1])
8263 case '>' << 8 | '=':
8264 result = comp1 >= 0;
8265 break;
8266 case '!' << 8 | '<':
8267 result = comp1 >= 0 || switch_value == NULL;
8268 break;
8269 case '<' << 8:
8270 result = comp1 < 0;
8271 break;
8272 case '!' << 8 | '>':
8273 result = comp1 < 0 || switch_value == NULL;
8274 break;
8275 case '>' << 8 | '<':
8276 result = comp1 >= 0 && comp2 < 0;
8277 break;
8278 case '<' << 8 | '>':
8279 result = comp1 < 0 || comp2 >= 0;
8280 break;
8282 default:
8283 fatal_error ("unknown operator %qs in %%:version-compare", argv[0]);
8285 if (! result)
8286 return NULL;
8288 return argv[nargs + 2];
8291 /* %:include builtin spec function. This differs from %include in that it
8292 can be nested inside a spec, and thus be conditionalized. It takes
8293 one argument, the filename, and looks for it in the startfile path.
8294 The result is always NULL, i.e. an empty expansion. */
8296 static const char *
8297 include_spec_function (int argc, const char **argv)
8299 char *file;
8301 if (argc != 1)
8302 abort ();
8304 file = find_a_file (&startfile_prefixes, argv[0], R_OK, true);
8305 read_specs (file ? file : argv[0], false, false);
8307 return NULL;
8310 /* %:find-file spec function. This function replaces its argument by
8311 the file found through find_file, that is the -print-file-name gcc
8312 program option. */
8313 static const char *
8314 find_file_spec_function (int argc, const char **argv)
8316 const char *file;
8318 if (argc != 1)
8319 abort ();
8321 file = find_file (argv[0]);
8322 return file;
8326 /* %:find-plugindir spec function. This function replaces its argument
8327 by the -iplugindir=<dir> option. `dir' is found through find_file, that
8328 is the -print-file-name gcc program option. */
8329 static const char *
8330 find_plugindir_spec_function (int argc, const char **argv ATTRIBUTE_UNUSED)
8332 const char *option;
8334 if (argc != 0)
8335 abort ();
8337 option = concat ("-iplugindir=", find_file ("plugin"), NULL);
8338 return option;
8342 /* %:print-asm-header spec function. Print a banner to say that the
8343 following output is from the assembler. */
8345 static const char *
8346 print_asm_header_spec_function (int arg ATTRIBUTE_UNUSED,
8347 const char **argv ATTRIBUTE_UNUSED)
8349 printf (_("Assembler options\n=================\n\n"));
8350 printf (_("Use \"-Wa,OPTION\" to pass \"OPTION\" to the assembler.\n\n"));
8351 fflush (stdout);
8352 return NULL;
8355 /* Get a random number for -frandom-seed */
8357 static unsigned HOST_WIDE_INT
8358 get_random_number (void)
8360 unsigned HOST_WIDE_INT ret = 0;
8361 int fd;
8363 fd = open ("/dev/urandom", O_RDONLY);
8364 if (fd >= 0)
8366 read (fd, &ret, sizeof (HOST_WIDE_INT));
8367 close (fd);
8368 if (ret)
8369 return ret;
8372 /* Get some more or less random data. */
8373 #ifdef HAVE_GETTIMEOFDAY
8375 struct timeval tv;
8377 gettimeofday (&tv, NULL);
8378 ret = tv.tv_sec * 1000 + tv.tv_usec / 1000;
8380 #else
8382 time_t now = time (NULL);
8384 if (now != (time_t)-1)
8385 ret = (unsigned) now;
8387 #endif
8389 return ret ^ getpid();
8392 /* %:compare-debug-dump-opt spec function. Save the last argument,
8393 expected to be the last -fdump-final-insns option, or generate a
8394 temporary. */
8396 static const char *
8397 compare_debug_dump_opt_spec_function (int arg,
8398 const char **argv ATTRIBUTE_UNUSED)
8400 char *ret;
8401 char *name;
8402 int which;
8403 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
8405 if (arg != 0)
8406 fatal_error ("too many arguments to %%:compare-debug-dump-opt");
8408 do_spec_2 ("%{fdump-final-insns=*:%*}");
8409 do_spec_1 (" ", 0, NULL);
8411 if (argbuf.length () > 0
8412 && strcmp (argv[argbuf.length () - 1], "."))
8414 if (!compare_debug)
8415 return NULL;
8417 name = xstrdup (argv[argbuf.length () - 1]);
8418 ret = NULL;
8420 else
8422 const char *ext = NULL;
8424 if (argbuf.length () > 0)
8426 do_spec_2 ("%{o*:%*}%{!o:%{!S:%b%O}%{S:%b.s}}");
8427 ext = ".gkd";
8429 else if (!compare_debug)
8430 return NULL;
8431 else
8432 do_spec_2 ("%g.gkd");
8434 do_spec_1 (" ", 0, NULL);
8436 gcc_assert (argbuf.length () > 0);
8438 name = concat (argbuf.last (), ext, NULL);
8440 ret = concat ("-fdump-final-insns=", name, NULL);
8443 which = compare_debug < 0;
8444 debug_check_temp_file[which] = name;
8446 if (!which)
8448 unsigned HOST_WIDE_INT value = get_random_number ();
8450 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
8453 if (*random_seed)
8455 char *tmp = ret;
8456 ret = concat ("%{!frandom-seed=*:-frandom-seed=", random_seed, "} ",
8457 ret, NULL);
8458 free (tmp);
8461 if (which)
8462 *random_seed = 0;
8464 return ret;
8467 static const char *debug_auxbase_opt;
8469 /* %:compare-debug-self-opt spec function. Expands to the options
8470 that are to be passed in the second compilation of
8471 compare-debug. */
8473 static const char *
8474 compare_debug_self_opt_spec_function (int arg,
8475 const char **argv ATTRIBUTE_UNUSED)
8477 if (arg != 0)
8478 fatal_error ("too many arguments to %%:compare-debug-self-opt");
8480 if (compare_debug >= 0)
8481 return NULL;
8483 do_spec_2 ("%{c|S:%{o*:%*}}");
8484 do_spec_1 (" ", 0, NULL);
8486 if (argbuf.length () > 0)
8487 debug_auxbase_opt = concat ("-auxbase-strip ",
8488 argbuf.last (),
8489 NULL);
8490 else
8491 debug_auxbase_opt = NULL;
8493 return concat ("\
8494 %<o %<MD %<MMD %<MF* %<MG %<MP %<MQ* %<MT* \
8495 %<fdump-final-insns=* -w -S -o %j \
8496 %{!fcompare-debug-second:-fcompare-debug-second} \
8497 ", compare_debug_opt, NULL);
8500 /* %:compare-debug-auxbase-opt spec function. Expands to the auxbase
8501 options that are to be passed in the second compilation of
8502 compare-debug. It expects, as an argument, the basename of the
8503 current input file name, with the .gk suffix appended to it. */
8505 static const char *
8506 compare_debug_auxbase_opt_spec_function (int arg,
8507 const char **argv)
8509 char *name;
8510 int len;
8512 if (arg == 0)
8513 fatal_error ("too few arguments to %%:compare-debug-auxbase-opt");
8515 if (arg != 1)
8516 fatal_error ("too many arguments to %%:compare-debug-auxbase-opt");
8518 if (compare_debug >= 0)
8519 return NULL;
8521 len = strlen (argv[0]);
8522 if (len < 3 || strcmp (argv[0] + len - 3, ".gk") != 0)
8523 fatal_error ("argument to %%:compare-debug-auxbase-opt "
8524 "does not end in .gk");
8526 if (debug_auxbase_opt)
8527 return debug_auxbase_opt;
8529 #define OPT "-auxbase "
8531 len -= 3;
8532 name = (char*) xmalloc (sizeof (OPT) + len);
8533 memcpy (name, OPT, sizeof (OPT) - 1);
8534 memcpy (name + sizeof (OPT) - 1, argv[0], len);
8535 name[sizeof (OPT) - 1 + len] = '\0';
8537 #undef OPT
8539 return name;
8542 /* %:pass-through-libs spec function. Finds all -l options and input
8543 file names in the lib spec passed to it, and makes a list of them
8544 prepended with the plugin option to cause them to be passed through
8545 to the final link after all the new object files have been added. */
8547 const char *
8548 pass_through_libs_spec_func (int argc, const char **argv)
8550 char *prepended = xstrdup (" ");
8551 int n;
8552 /* Shlemiel the painter's algorithm. Innately horrible, but at least
8553 we know that there will never be more than a handful of strings to
8554 concat, and it's only once per run, so it's not worth optimising. */
8555 for (n = 0; n < argc; n++)
8557 char *old = prepended;
8558 /* Anything that isn't an option is a full path to an output
8559 file; pass it through if it ends in '.a'. Among options,
8560 pass only -l. */
8561 if (argv[n][0] == '-' && argv[n][1] == 'l')
8563 const char *lopt = argv[n] + 2;
8564 /* Handle both joined and non-joined -l options. If for any
8565 reason there's a trailing -l with no joined or following
8566 arg just discard it. */
8567 if (!*lopt && ++n >= argc)
8568 break;
8569 else if (!*lopt)
8570 lopt = argv[n];
8571 prepended = concat (prepended, "-plugin-opt=-pass-through=-l",
8572 lopt, " ", NULL);
8574 else if (!strcmp (".a", argv[n] + strlen (argv[n]) - 2))
8576 prepended = concat (prepended, "-plugin-opt=-pass-through=",
8577 argv[n], " ", NULL);
8579 if (prepended != old)
8580 free (old);
8582 return prepended;
8585 /* %:replace-extension spec function. Replaces the extension of the
8586 first argument with the second argument. */
8588 const char *
8589 replace_extension_spec_func (int argc, const char **argv)
8591 char *name;
8592 char *p;
8593 char *result;
8594 int i;
8596 if (argc != 2)
8597 fatal_error ("too few arguments to %%:replace-extension");
8599 name = xstrdup (argv[0]);
8601 for (i = strlen(name) - 1; i >= 0; i--)
8602 if (IS_DIR_SEPARATOR (name[i]))
8603 break;
8605 p = strrchr (name + i + 1, '.');
8606 if (p != NULL)
8607 *p = '\0';
8609 result = concat (name, argv[1], NULL);
8611 free (name);
8612 return result;
8615 /* Insert backslash before spaces in ORIG (usually a file path), to
8616 avoid being broken by spec parser.
8618 This function is needed as do_spec_1 treats white space (' ' and '\t')
8619 as the end of an argument. But in case of -plugin /usr/gcc install/xxx.so,
8620 the file name should be treated as a single argument rather than being
8621 broken into multiple. Solution is to insert '\\' before the space in a
8622 file name.
8624 This function converts and only converts all occurrence of ' '
8625 to '\\' + ' ' and '\t' to '\\' + '\t'. For example:
8626 "a b" -> "a\\ b"
8627 "a b" -> "a\\ \\ b"
8628 "a\tb" -> "a\\\tb"
8629 "a\\ b" -> "a\\\\ b"
8631 orig: input null-terminating string that was allocated by xalloc. The
8632 memory it points to might be freed in this function. Behavior undefined
8633 if ORIG wasn't xalloced or was freed already at entry.
8635 Return: ORIG if no conversion needed. Otherwise a newly allocated string
8636 that was converted from ORIG. */
8638 static char *
8639 convert_white_space (char *orig)
8641 int len, number_of_space = 0;
8643 for (len = 0; orig[len]; len++)
8644 if (orig[len] == ' ' || orig[len] == '\t') number_of_space++;
8646 if (number_of_space)
8648 char *new_spec = (char *) xmalloc (len + number_of_space + 1);
8649 int j, k;
8650 for (j = 0, k = 0; j <= len; j++, k++)
8652 if (orig[j] == ' ' || orig[j] == '\t')
8653 new_spec[k++] = '\\';
8654 new_spec[k] = orig[j];
8656 free (orig);
8657 return new_spec;
8659 else
8660 return orig;