* config/rl78/rl78-expand.md (umulqihi3): Disable for G10.
[official-gcc.git] / gcc / gcc.c
blob44d041602ed8bc13234cfa24743501ab614ebf13
1 /* Compiler driver program that can handle many languages.
2 Copyright (C) 1987-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This program is the user interface to the C compiler and possibly to
21 other compilers. It is used because compilation is a complicated procedure
22 which involves running several programs and passing temporary files between
23 them, forwarding the users switches to those programs selectively,
24 and deleting the temporary files at the end.
26 CC recognizes how to compile each input file by suffixes in the file names.
27 Once it knows which kind of compilation to perform, the procedure for
28 compilation is specified by a string called a "spec". */
30 #include "config.h"
31 #include "system.h"
32 #include "coretypes.h"
33 #include "multilib.h" /* before tm.h */
34 #include "tm.h"
35 #include "xregex.h"
36 #include "obstack.h"
37 #include "intl.h"
38 #include "prefix.h"
39 #include "gcc.h"
40 #include "diagnostic.h"
41 #include "flags.h"
42 #include "opts.h"
43 #include "params.h"
44 #include "vec.h"
45 #include "filenames.h"
47 /* By default there is no special suffix for target executables. */
48 /* FIXME: when autoconf is fixed, remove the host check - dj */
49 #if defined(TARGET_EXECUTABLE_SUFFIX) && defined(HOST_EXECUTABLE_SUFFIX)
50 #define HAVE_TARGET_EXECUTABLE_SUFFIX
51 #endif
53 /* By default there is no special suffix for host executables. */
54 #ifdef HOST_EXECUTABLE_SUFFIX
55 #define HAVE_HOST_EXECUTABLE_SUFFIX
56 #else
57 #define HOST_EXECUTABLE_SUFFIX ""
58 #endif
60 /* By default, the suffix for target object files is ".o". */
61 #ifdef TARGET_OBJECT_SUFFIX
62 #define HAVE_TARGET_OBJECT_SUFFIX
63 #else
64 #define TARGET_OBJECT_SUFFIX ".o"
65 #endif
67 static const char dir_separator_str[] = { DIR_SEPARATOR, 0 };
69 /* Most every one is fine with LIBRARY_PATH. For some, it conflicts. */
70 #ifndef LIBRARY_PATH_ENV
71 #define LIBRARY_PATH_ENV "LIBRARY_PATH"
72 #endif
74 /* If a stage of compilation returns an exit status >= 1,
75 compilation of that file ceases. */
77 #define MIN_FATAL_STATUS 1
79 /* Flag set by cppspec.c to 1. */
80 int is_cpp_driver;
82 /* Flag set to nonzero if an @file argument has been supplied to gcc. */
83 static bool at_file_supplied;
85 /* Definition of string containing the arguments given to configure. */
86 #include "configargs.h"
88 /* Flag saying to print the command line options understood by gcc and its
89 sub-processes. */
91 static int print_help_list;
93 /* Flag saying to print the version of gcc and its sub-processes. */
95 static int print_version;
97 /* Flag indicating whether we should ONLY print the command and
98 arguments (like verbose_flag) without executing the command.
99 Displayed arguments are quoted so that the generated command
100 line is suitable for execution. This is intended for use in
101 shell scripts to capture the driver-generated command line. */
102 static int verbose_only_flag;
104 /* Flag indicating how to print command line options of sub-processes. */
106 static int print_subprocess_help;
108 /* Linker suffix passed to -fuse-ld=... */
109 static const char *use_ld;
111 /* Whether we should report subprocess execution times to a file. */
113 FILE *report_times_to_file = NULL;
115 /* Nonzero means place this string before uses of /, so that include
116 and library files can be found in an alternate location. */
118 #ifdef TARGET_SYSTEM_ROOT
119 static const char *target_system_root = TARGET_SYSTEM_ROOT;
120 #else
121 static const char *target_system_root = 0;
122 #endif
124 /* Nonzero means pass the updated target_system_root to the compiler. */
126 static int target_system_root_changed;
128 /* Nonzero means append this string to target_system_root. */
130 static const char *target_sysroot_suffix = 0;
132 /* Nonzero means append this string to target_system_root for headers. */
134 static const char *target_sysroot_hdrs_suffix = 0;
136 /* Nonzero means write "temp" files in source directory
137 and use the source file's name in them, and don't delete them. */
139 static enum save_temps {
140 SAVE_TEMPS_NONE, /* no -save-temps */
141 SAVE_TEMPS_CWD, /* -save-temps in current directory */
142 SAVE_TEMPS_OBJ /* -save-temps in object directory */
143 } save_temps_flag;
145 /* Output file to use to get the object directory for -save-temps=obj */
146 static char *save_temps_prefix = 0;
147 static size_t save_temps_length = 0;
149 /* The compiler version. */
151 static const char *compiler_version;
153 /* The target version. */
155 static const char *const spec_version = DEFAULT_TARGET_VERSION;
157 /* The target machine. */
159 static const char *spec_machine = DEFAULT_TARGET_MACHINE;
161 /* Nonzero if cross-compiling.
162 When -b is used, the value comes from the `specs' file. */
164 #ifdef CROSS_DIRECTORY_STRUCTURE
165 static const char *cross_compile = "1";
166 #else
167 static const char *cross_compile = "0";
168 #endif
170 /* Greatest exit code of sub-processes that has been encountered up to
171 now. */
172 static int greatest_status = 1;
174 /* This is the obstack which we use to allocate many strings. */
176 static struct obstack obstack;
178 /* This is the obstack to build an environment variable to pass to
179 collect2 that describes all of the relevant switches of what to
180 pass the compiler in building the list of pointers to constructors
181 and destructors. */
183 static struct obstack collect_obstack;
185 /* Forward declaration for prototypes. */
186 struct path_prefix;
187 struct prefix_list;
189 static void init_spec (void);
190 static void store_arg (const char *, int, int);
191 static void insert_wrapper (const char *);
192 static char *load_specs (const char *);
193 static void read_specs (const char *, bool, bool);
194 static void set_spec (const char *, const char *, bool);
195 static struct compiler *lookup_compiler (const char *, size_t, const char *);
196 static char *build_search_list (const struct path_prefix *, const char *,
197 bool, bool);
198 static void xputenv (const char *);
199 static void putenv_from_prefixes (const struct path_prefix *, const char *,
200 bool);
201 static int access_check (const char *, int);
202 static char *find_a_file (const struct path_prefix *, const char *, int, bool);
203 static void add_prefix (struct path_prefix *, const char *, const char *,
204 int, int, int);
205 static void add_sysrooted_prefix (struct path_prefix *, const char *,
206 const char *, int, int, int);
207 static char *skip_whitespace (char *);
208 static void delete_if_ordinary (const char *);
209 static void delete_temp_files (void);
210 static void delete_failure_queue (void);
211 static void clear_failure_queue (void);
212 static int check_live_switch (int, int);
213 static const char *handle_braces (const char *);
214 static inline bool input_suffix_matches (const char *, const char *);
215 static inline bool switch_matches (const char *, const char *, int);
216 static inline void mark_matching_switches (const char *, const char *, int);
217 static inline void process_marked_switches (void);
218 static const char *process_brace_body (const char *, const char *, const char *, int, int);
219 static const struct spec_function *lookup_spec_function (const char *);
220 static const char *eval_spec_function (const char *, const char *);
221 static const char *handle_spec_function (const char *, bool *);
222 static char *save_string (const char *, int);
223 static void set_collect_gcc_options (void);
224 static int do_spec_1 (const char *, int, const char *);
225 static int do_spec_2 (const char *);
226 static void do_option_spec (const char *, const char *);
227 static void do_self_spec (const char *);
228 static const char *find_file (const char *);
229 static int is_directory (const char *, bool);
230 static const char *validate_switches (const char *, bool);
231 static void validate_all_switches (void);
232 static inline void validate_switches_from_spec (const char *, bool);
233 static void give_switch (int, int);
234 static int used_arg (const char *, int);
235 static int default_arg (const char *, int);
236 static void set_multilib_dir (void);
237 static void print_multilib_info (void);
238 static void perror_with_name (const char *);
239 static void display_help (void);
240 static void add_preprocessor_option (const char *, int);
241 static void add_assembler_option (const char *, int);
242 static void add_linker_option (const char *, int);
243 static void process_command (unsigned int, struct cl_decoded_option *);
244 static int execute (void);
245 static void alloc_args (void);
246 static void clear_args (void);
247 static void fatal_signal (int);
248 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
249 static void init_gcc_specs (struct obstack *, const char *, const char *,
250 const char *);
251 #endif
252 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
253 static const char *convert_filename (const char *, int, int);
254 #endif
256 static const char *getenv_spec_function (int, const char **);
257 static const char *if_exists_spec_function (int, const char **);
258 static const char *if_exists_else_spec_function (int, const char **);
259 static const char *sanitize_spec_function (int, const char **);
260 static const char *replace_outfile_spec_function (int, const char **);
261 static const char *remove_outfile_spec_function (int, const char **);
262 static const char *version_compare_spec_function (int, const char **);
263 static const char *include_spec_function (int, const char **);
264 static const char *find_file_spec_function (int, const char **);
265 static const char *find_plugindir_spec_function (int, const char **);
266 static const char *print_asm_header_spec_function (int, const char **);
267 static const char *compare_debug_dump_opt_spec_function (int, const char **);
268 static const char *compare_debug_self_opt_spec_function (int, const char **);
269 static const char *compare_debug_auxbase_opt_spec_function (int, const char **);
270 static const char *pass_through_libs_spec_func (int, const char **);
271 static const char *replace_extension_spec_func (int, const char **);
272 static char *convert_white_space (char *);
274 /* The Specs Language
276 Specs are strings containing lines, each of which (if not blank)
277 is made up of a program name, and arguments separated by spaces.
278 The program name must be exact and start from root, since no path
279 is searched and it is unreliable to depend on the current working directory.
280 Redirection of input or output is not supported; the subprograms must
281 accept filenames saying what files to read and write.
283 In addition, the specs can contain %-sequences to substitute variable text
284 or for conditional text. Here is a table of all defined %-sequences.
285 Note that spaces are not generated automatically around the results of
286 expanding these sequences; therefore, you can concatenate them together
287 or with constant text in a single argument.
289 %% substitute one % into the program name or argument.
290 %i substitute the name of the input file being processed.
291 %b substitute the basename of the input file being processed.
292 This is the substring up to (and not including) the last period
293 and not including the directory unless -save-temps was specified
294 to put temporaries in a different location.
295 %B same as %b, but include the file suffix (text after the last period).
296 %gSUFFIX
297 substitute a file name that has suffix SUFFIX and is chosen
298 once per compilation, and mark the argument a la %d. To reduce
299 exposure to denial-of-service attacks, the file name is now
300 chosen in a way that is hard to predict even when previously
301 chosen file names are known. For example, `%g.s ... %g.o ... %g.s'
302 might turn into `ccUVUUAU.s ccXYAXZ12.o ccUVUUAU.s'. SUFFIX matches
303 the regexp "[.0-9A-Za-z]*%O"; "%O" is treated exactly as if it
304 had been pre-processed. Previously, %g was simply substituted
305 with a file name chosen once per compilation, without regard
306 to any appended suffix (which was therefore treated just like
307 ordinary text), making such attacks more likely to succeed.
308 %|SUFFIX
309 like %g, but if -pipe is in effect, expands simply to "-".
310 %mSUFFIX
311 like %g, but if -pipe is in effect, expands to nothing. (We have both
312 %| and %m to accommodate differences between system assemblers; see
313 the AS_NEEDS_DASH_FOR_PIPED_INPUT target macro.)
314 %uSUFFIX
315 like %g, but generates a new temporary file name even if %uSUFFIX
316 was already seen.
317 %USUFFIX
318 substitutes the last file name generated with %uSUFFIX, generating a
319 new one if there is no such last file name. In the absence of any
320 %uSUFFIX, this is just like %gSUFFIX, except they don't share
321 the same suffix "space", so `%g.s ... %U.s ... %g.s ... %U.s'
322 would involve the generation of two distinct file names, one
323 for each `%g.s' and another for each `%U.s'. Previously, %U was
324 simply substituted with a file name chosen for the previous %u,
325 without regard to any appended suffix.
326 %jSUFFIX
327 substitutes the name of the HOST_BIT_BUCKET, if any, and if it is
328 writable, and if save-temps is off; otherwise, substitute the name
329 of a temporary file, just like %u. This temporary file is not
330 meant for communication between processes, but rather as a junk
331 disposal mechanism.
332 %.SUFFIX
333 substitutes .SUFFIX for the suffixes of a matched switch's args when
334 it is subsequently output with %*. SUFFIX is terminated by the next
335 space or %.
336 %d marks the argument containing or following the %d as a
337 temporary file name, so that that file will be deleted if GCC exits
338 successfully. Unlike %g, this contributes no text to the argument.
339 %w marks the argument containing or following the %w as the
340 "output file" of this compilation. This puts the argument
341 into the sequence of arguments that %o will substitute later.
342 %V indicates that this compilation produces no "output file".
343 %W{...}
344 like %{...} but mark last argument supplied within
345 as a file to be deleted on failure.
346 %o substitutes the names of all the output files, with spaces
347 automatically placed around them. You should write spaces
348 around the %o as well or the results are undefined.
349 %o is for use in the specs for running the linker.
350 Input files whose names have no recognized suffix are not compiled
351 at all, but they are included among the output files, so they will
352 be linked.
353 %O substitutes the suffix for object files. Note that this is
354 handled specially when it immediately follows %g, %u, or %U
355 (with or without a suffix argument) because of the need for
356 those to form complete file names. The handling is such that
357 %O is treated exactly as if it had already been substituted,
358 except that %g, %u, and %U do not currently support additional
359 SUFFIX characters following %O as they would following, for
360 example, `.o'.
361 %I Substitute any of -iprefix (made from GCC_EXEC_PREFIX), -isysroot
362 (made from TARGET_SYSTEM_ROOT), -isystem (made from COMPILER_PATH
363 and -B options) and -imultilib as necessary.
364 %s current argument is the name of a library or startup file of some sort.
365 Search for that file in a standard list of directories
366 and substitute the full name found.
367 %eSTR Print STR as an error message. STR is terminated by a newline.
368 Use this when inconsistent options are detected.
369 %nSTR Print STR as a notice. STR is terminated by a newline.
370 %x{OPTION} Accumulate an option for %X.
371 %X Output the accumulated linker options specified by compilations.
372 %Y Output the accumulated assembler options specified by compilations.
373 %Z Output the accumulated preprocessor options specified by compilations.
374 %a process ASM_SPEC as a spec.
375 This allows config.h to specify part of the spec for running as.
376 %A process ASM_FINAL_SPEC as a spec. A capital A is actually
377 used here. This can be used to run a post-processor after the
378 assembler has done its job.
379 %D Dump out a -L option for each directory in startfile_prefixes.
380 If multilib_dir is set, extra entries are generated with it affixed.
381 %l process LINK_SPEC as a spec.
382 %L process LIB_SPEC as a spec.
383 %M Output multilib_os_dir.
384 %G process LIBGCC_SPEC as a spec.
385 %R Output the concatenation of target_system_root and
386 target_sysroot_suffix.
387 %S process STARTFILE_SPEC as a spec. A capital S is actually used here.
388 %E process ENDFILE_SPEC as a spec. A capital E is actually used here.
389 %C process CPP_SPEC as a spec.
390 %1 process CC1_SPEC as a spec.
391 %2 process CC1PLUS_SPEC as a spec.
392 %* substitute the variable part of a matched option. (See below.)
393 Note that each comma in the substituted string is replaced by
394 a single space. A space is appended after the last substition
395 unless there is more text in current sequence.
396 %<S remove all occurrences of -S from the command line.
397 Note - this command is position dependent. % commands in the
398 spec string before this one will see -S, % commands in the
399 spec string after this one will not.
400 %>S Similar to "%<S", but keep it in the GCC command line.
401 %<S* remove all occurrences of all switches beginning with -S from the
402 command line.
403 %:function(args)
404 Call the named function FUNCTION, passing it ARGS. ARGS is
405 first processed as a nested spec string, then split into an
406 argument vector in the usual fashion. The function returns
407 a string which is processed as if it had appeared literally
408 as part of the current spec.
409 %{S} substitutes the -S switch, if that switch was given to GCC.
410 If that switch was not specified, this substitutes nothing.
411 Here S is a metasyntactic variable.
412 %{S*} substitutes all the switches specified to GCC whose names start
413 with -S. This is used for -o, -I, etc; switches that take
414 arguments. GCC considers `-o foo' as being one switch whose
415 name starts with `o'. %{o*} would substitute this text,
416 including the space; thus, two arguments would be generated.
417 %{S*&T*} likewise, but preserve order of S and T options (the order
418 of S and T in the spec is not significant). Can be any number
419 of ampersand-separated variables; for each the wild card is
420 optional. Useful for CPP as %{D*&U*&A*}.
422 %{S:X} substitutes X, if the -S switch was given to GCC.
423 %{!S:X} substitutes X, if the -S switch was NOT given to GCC.
424 %{S*:X} substitutes X if one or more switches whose names start
425 with -S was given to GCC. Normally X is substituted only
426 once, no matter how many such switches appeared. However,
427 if %* appears somewhere in X, then X will be substituted
428 once for each matching switch, with the %* replaced by the
429 part of that switch that matched the '*'. A space will be
430 appended after the last substition unless there is more
431 text in current sequence.
432 %{.S:X} substitutes X, if processing a file with suffix S.
433 %{!.S:X} substitutes X, if NOT processing a file with suffix S.
434 %{,S:X} substitutes X, if processing a file which will use spec S.
435 %{!,S:X} substitutes X, if NOT processing a file which will use spec S.
437 %{S|T:X} substitutes X if either -S or -T was given to GCC. This may be
438 combined with '!', '.', ',', and '*' as above binding stronger
439 than the OR.
440 If %* appears in X, all of the alternatives must be starred, and
441 only the first matching alternative is substituted.
442 %{%:function(args):X}
443 Call function named FUNCTION with args ARGS. If the function
444 returns non-NULL, then X is substituted, if it returns
445 NULL, it isn't substituted.
446 %{S:X; if S was given to GCC, substitutes X;
447 T:Y; else if T was given to GCC, substitutes Y;
448 :D} else substitutes D. There can be as many clauses as you need.
449 This may be combined with '.', '!', ',', '|', and '*' as above.
451 %(Spec) processes a specification defined in a specs file as *Spec:
453 The conditional text X in a %{S:X} or similar construct may contain
454 other nested % constructs or spaces, or even newlines. They are
455 processed as usual, as described above. Trailing white space in X is
456 ignored. White space may also appear anywhere on the left side of the
457 colon in these constructs, except between . or * and the corresponding
458 word.
460 The -O, -f, -g, -m, and -W switches are handled specifically in these
461 constructs. If another value of -O or the negated form of a -f, -m, or
462 -W switch is found later in the command line, the earlier switch
463 value is ignored, except with {S*} where S is just one letter; this
464 passes all matching options.
466 The character | at the beginning of the predicate text is used to indicate
467 that a command should be piped to the following command, but only if -pipe
468 is specified.
470 Note that it is built into GCC which switches take arguments and which
471 do not. You might think it would be useful to generalize this to
472 allow each compiler's spec to say which switches take arguments. But
473 this cannot be done in a consistent fashion. GCC cannot even decide
474 which input files have been specified without knowing which switches
475 take arguments, and it must know which input files to compile in order
476 to tell which compilers to run.
478 GCC also knows implicitly that arguments starting in `-l' are to be
479 treated as compiler output files, and passed to the linker in their
480 proper position among the other output files. */
482 /* Define the macros used for specs %a, %l, %L, %S, %C, %1. */
484 /* config.h can define ASM_SPEC to provide extra args to the assembler
485 or extra switch-translations. */
486 #ifndef ASM_SPEC
487 #define ASM_SPEC ""
488 #endif
490 /* config.h can define ASM_FINAL_SPEC to run a post processor after
491 the assembler has run. */
492 #ifndef ASM_FINAL_SPEC
493 #define ASM_FINAL_SPEC \
494 "%{gsplit-dwarf: \n\
495 objcopy --extract-dwo \
496 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
497 %{c:%{o*:%:replace-extension(%{o*:%*} .dwo)}%{!o*:%b.dwo}}%{!c:%b.dwo} \n\
498 objcopy --strip-dwo \
499 %{c:%{o*:%*}%{!o*:%b%O}}%{!c:%U%O} \
501 #endif
503 /* config.h can define CPP_SPEC to provide extra args to the C preprocessor
504 or extra switch-translations. */
505 #ifndef CPP_SPEC
506 #define CPP_SPEC ""
507 #endif
509 /* config.h can define CC1_SPEC to provide extra args to cc1 and cc1plus
510 or extra switch-translations. */
511 #ifndef CC1_SPEC
512 #define CC1_SPEC ""
513 #endif
515 /* config.h can define CC1PLUS_SPEC to provide extra args to cc1plus
516 or extra switch-translations. */
517 #ifndef CC1PLUS_SPEC
518 #define CC1PLUS_SPEC ""
519 #endif
521 /* config.h can define LINK_SPEC to provide extra args to the linker
522 or extra switch-translations. */
523 #ifndef LINK_SPEC
524 #define LINK_SPEC ""
525 #endif
527 /* config.h can define LIB_SPEC to override the default libraries. */
528 #ifndef LIB_SPEC
529 #define LIB_SPEC "%{!shared:%{g*:-lg} %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
530 #endif
532 /* When using -fsplit-stack we need to wrap pthread_create, in order
533 to initialize the stack guard. We always use wrapping, rather than
534 shared library ordering, and we keep the wrapper function in
535 libgcc. This is not yet a real spec, though it could become one;
536 it is currently just stuffed into LINK_SPEC. FIXME: This wrapping
537 only works with GNU ld and gold. */
538 #define STACK_SPLIT_SPEC " %{fsplit-stack: --wrap=pthread_create}"
540 #ifndef LIBASAN_SPEC
541 #define STATIC_LIBASAN_LIBS \
542 " %{static-libasan:%:include(libsanitizer.spec)%(link_libasan)}"
543 #ifdef LIBASAN_EARLY_SPEC
544 #define LIBASAN_SPEC STATIC_LIBASAN_LIBS
545 #elif defined(HAVE_LD_STATIC_DYNAMIC)
546 #define LIBASAN_SPEC "%{static-libasan:" LD_STATIC_OPTION \
547 "} -lasan %{static-libasan:" LD_DYNAMIC_OPTION "}" \
548 STATIC_LIBASAN_LIBS
549 #else
550 #define LIBASAN_SPEC "-lasan" STATIC_LIBASAN_LIBS
551 #endif
552 #endif
554 #ifndef LIBASAN_EARLY_SPEC
555 #define LIBASAN_EARLY_SPEC ""
556 #endif
558 #ifndef LIBTSAN_SPEC
559 #define STATIC_LIBTSAN_LIBS \
560 " %{static-libtsan:%:include(libsanitizer.spec)%(link_libtsan)}"
561 #ifdef LIBTSAN_EARLY_SPEC
562 #define LIBTSAN_SPEC STATIC_LIBTSAN_LIBS
563 #elif defined(HAVE_LD_STATIC_DYNAMIC)
564 #define LIBTSAN_SPEC "%{static-libtsan:" LD_STATIC_OPTION \
565 "} -ltsan %{static-libtsan:" LD_DYNAMIC_OPTION "}" \
566 STATIC_LIBTSAN_LIBS
567 #else
568 #define LIBTSAN_SPEC "-ltsan" STATIC_LIBTSAN_LIBS
569 #endif
570 #endif
572 #ifndef LIBTSAN_EARLY_SPEC
573 #define LIBTSAN_EARLY_SPEC ""
574 #endif
576 #ifndef LIBLSAN_SPEC
577 #define STATIC_LIBLSAN_LIBS \
578 " %{static-liblsan:%:include(libsanitizer.spec)%(link_liblsan)}"
579 #ifdef HAVE_LD_STATIC_DYNAMIC
580 #define LIBLSAN_SPEC "%{!shared:%{static-liblsan:" LD_STATIC_OPTION \
581 "} -llsan %{static-liblsan:" LD_DYNAMIC_OPTION "}" \
582 STATIC_LIBLSAN_LIBS "}"
583 #else
584 #define LIBLSAN_SPEC "%{!shared:-llsan" STATIC_LIBLSAN_LIBS "}"
585 #endif
586 #endif
588 #ifndef LIBUBSAN_SPEC
589 #define STATIC_LIBUBSAN_LIBS \
590 " %{static-libubsan:%:include(libsanitizer.spec)%(link_libubsan)}"
591 #ifdef HAVE_LD_STATIC_DYNAMIC
592 #define LIBUBSAN_SPEC "%{static-libubsan:" LD_STATIC_OPTION \
593 "} -lubsan %{static-libubsan:" LD_DYNAMIC_OPTION "}" \
594 STATIC_LIBUBSAN_LIBS
595 #else
596 #define LIBUBSAN_SPEC "-lubsan" STATIC_LIBUBSAN_LIBS
597 #endif
598 #endif
600 /* Linker options for compressed debug sections. */
601 #if HAVE_LD_COMPRESS_DEBUG == 0
602 /* No linker support. */
603 #define LINK_COMPRESS_DEBUG_SPEC \
604 " %{gz*:%e-gz is not supported in this configuration} "
605 #elif HAVE_LD_COMPRESS_DEBUG == 1
606 /* GNU style on input, GNU ld options. Reject, not useful. */
607 #define LINK_COMPRESS_DEBUG_SPEC \
608 " %{gz*:%e-gz is not supported in this configuration} "
609 #elif HAVE_LD_COMPRESS_DEBUG == 2
610 /* GNU style, GNU gold options. */
611 #define LINK_COMPRESS_DEBUG_SPEC \
612 " %{gz|gz=zlib-gnu:" LD_COMPRESS_DEBUG_OPTION "=zlib}" \
613 " %{gz=none:" LD_COMPRESS_DEBUG_OPTION "=none}" \
614 " %{gz=zlib:%e-gz=zlib is not supported in this configuration} "
615 #elif HAVE_LD_COMPRESS_DEBUG == 3
616 /* ELF gABI style. */
617 #define LINK_COMPRESS_DEBUG_SPEC \
618 " %{gz|gz=zlib:" LD_COMPRESS_DEBUG_OPTION "=zlib}" \
619 " %{gz=none:" LD_COMPRESS_DEBUG_OPTION "=none}" \
620 " %{gz=zlib-gnu:" LD_COMPRESS_DEBUG_OPTION "=zlib-gnu} "
621 #else
622 #error Unknown value for HAVE_LD_COMPRESS_DEBUG.
623 #endif
625 /* config.h can define LIBGCC_SPEC to override how and when libgcc.a is
626 included. */
627 #ifndef LIBGCC_SPEC
628 #if defined(REAL_LIBGCC_SPEC)
629 #define LIBGCC_SPEC REAL_LIBGCC_SPEC
630 #elif defined(LINK_LIBGCC_SPECIAL_1)
631 /* Have gcc do the search for libgcc.a. */
632 #define LIBGCC_SPEC "libgcc.a%s"
633 #else
634 #define LIBGCC_SPEC "-lgcc"
635 #endif
636 #endif
638 /* config.h can define STARTFILE_SPEC to override the default crt0 files. */
639 #ifndef STARTFILE_SPEC
640 #define STARTFILE_SPEC \
641 "%{!shared:%{pg:gcrt0%O%s}%{!pg:%{p:mcrt0%O%s}%{!p:crt0%O%s}}}"
642 #endif
644 /* config.h can define ENDFILE_SPEC to override the default crtn files. */
645 #ifndef ENDFILE_SPEC
646 #define ENDFILE_SPEC ""
647 #endif
649 #ifndef LINKER_NAME
650 #define LINKER_NAME "collect2"
651 #endif
653 #ifdef HAVE_AS_DEBUG_PREFIX_MAP
654 #define ASM_MAP " %{fdebug-prefix-map=*:--debug-prefix-map %*}"
655 #else
656 #define ASM_MAP ""
657 #endif
659 /* Assembler options for compressed debug sections. */
660 #if HAVE_LD_COMPRESS_DEBUG < 2
661 /* Reject if the linker cannot write compressed debug sections. */
662 #define ASM_COMPRESS_DEBUG_SPEC \
663 " %{gz*:%e-gz is not supported in this configuration} "
664 #else /* HAVE_LD_COMPRESS_DEBUG >= 2 */
665 #if HAVE_AS_COMPRESS_DEBUG == 0
666 /* No assembler support. Ignore silently. */
667 #define ASM_COMPRESS_DEBUG_SPEC \
668 " %{gz*:} "
669 #elif HAVE_AS_COMPRESS_DEBUG == 1
670 /* GNU style, GNU as options. */
671 #define ASM_COMPRESS_DEBUG_SPEC \
672 " %{gz|gz=zlib-gnu:" AS_COMPRESS_DEBUG_OPTION "}" \
673 " %{gz=none:" AS_NO_COMPRESS_DEBUG_OPTION "}" \
674 " %{gz=zlib:%e-gz=zlib is not supported in this configuration} "
675 #elif HAVE_AS_COMPRESS_DEBUG == 2
676 /* ELF gABI style. */
677 #define ASM_COMPRESS_DEBUG_SPEC \
678 " %{gz|gz=zlib:" AS_COMPRESS_DEBUG_OPTION "=zlib}" \
679 " %{gz=none:" AS_COMPRESS_DEBUG_OPTION "=none}" \
680 " %{gz=zlib-gnu:" AS_COMPRESS_DEBUG_OPTION "=zlib-gnu} "
681 #else
682 #error Unknown value for HAVE_AS_COMPRESS_DEBUG.
683 #endif
684 #endif /* HAVE_LD_COMPRESS_DEBUG >= 2 */
686 /* Define ASM_DEBUG_SPEC to be a spec suitable for translating '-g'
687 to the assembler. */
688 #ifndef ASM_DEBUG_SPEC
689 # if defined(DBX_DEBUGGING_INFO) && defined(DWARF2_DEBUGGING_INFO) \
690 && defined(HAVE_AS_GDWARF2_DEBUG_FLAG) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
691 # define ASM_DEBUG_SPEC \
692 (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG \
693 ? "%{!g0:%{gdwarf*:--gdwarf2}%{!gdwarf*:%{g*:--gstabs}}}" ASM_MAP \
694 : "%{!g0:%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}}" ASM_MAP)
695 # else
696 # if defined(DBX_DEBUGGING_INFO) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
697 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gstabs}}" ASM_MAP
698 # endif
699 # if defined(DWARF2_DEBUGGING_INFO) && defined(HAVE_AS_GDWARF2_DEBUG_FLAG)
700 # define ASM_DEBUG_SPEC "%{g*:%{!g0:--gdwarf2}}" ASM_MAP
701 # endif
702 # endif
703 #endif
704 #ifndef ASM_DEBUG_SPEC
705 # define ASM_DEBUG_SPEC ""
706 #endif
708 /* Here is the spec for running the linker, after compiling all files. */
710 /* This is overridable by the target in case they need to specify the
711 -lgcc and -lc order specially, yet not require them to override all
712 of LINK_COMMAND_SPEC. */
713 #ifndef LINK_GCC_C_SEQUENCE_SPEC
714 #define LINK_GCC_C_SEQUENCE_SPEC "%G %L %G"
715 #endif
717 #ifndef LINK_SSP_SPEC
718 #ifdef TARGET_LIBC_PROVIDES_SSP
719 #define LINK_SSP_SPEC "%{fstack-protector:}"
720 #else
721 #define LINK_SSP_SPEC "%{fstack-protector|fstack-protector-strong|fstack-protector-all:-lssp_nonshared -lssp}"
722 #endif
723 #endif
725 #ifndef LINK_PIE_SPEC
726 #ifdef HAVE_LD_PIE
727 #define LINK_PIE_SPEC "%{pie:-pie} "
728 #else
729 #define LINK_PIE_SPEC "%{pie:} "
730 #endif
731 #endif
733 #ifndef LINK_BUILDID_SPEC
734 # if defined(HAVE_LD_BUILDID) && defined(ENABLE_LD_BUILDID)
735 # define LINK_BUILDID_SPEC "%{!r:--build-id} "
736 # endif
737 #endif
739 /* Conditional to test whether the LTO plugin is used or not.
740 FIXME: For slim LTO we will need to enable plugin unconditionally. This
741 still cause problems with PLUGIN_LD != LD and when plugin is built but
742 not useable. For GCC 4.6 we don't support slim LTO and thus we can enable
743 plugin only when LTO is enabled. We still honor explicit
744 -fuse-linker-plugin if the linker used understands -plugin. */
746 /* The linker has some plugin support. */
747 #if HAVE_LTO_PLUGIN > 0
748 /* The linker used has full plugin support, use LTO plugin by default. */
749 #if HAVE_LTO_PLUGIN == 2
750 #define PLUGIN_COND "!fno-use-linker-plugin:%{!fno-lto"
751 #define PLUGIN_COND_CLOSE "}"
752 #else
753 /* The linker used has limited plugin support, use LTO plugin with explicit
754 -fuse-linker-plugin. */
755 #define PLUGIN_COND "fuse-linker-plugin"
756 #define PLUGIN_COND_CLOSE ""
757 #endif
758 #define LINK_PLUGIN_SPEC \
759 "%{"PLUGIN_COND": \
760 -plugin %(linker_plugin_file) \
761 -plugin-opt=%(lto_wrapper) \
762 -plugin-opt=-fresolution=%u.res \
763 %{!nostdlib:%{!nodefaultlibs:%:pass-through-libs(%(link_gcc_c_sequence))}} \
764 }"PLUGIN_COND_CLOSE
765 #else
766 /* The linker used doesn't support -plugin, reject -fuse-linker-plugin. */
767 #define LINK_PLUGIN_SPEC "%{fuse-linker-plugin:\
768 %e-fuse-linker-plugin is not supported in this configuration}"
769 #endif
771 /* Linker command line options for -fsanitize= early on the command line. */
772 #ifndef SANITIZER_EARLY_SPEC
773 #define SANITIZER_EARLY_SPEC "\
774 %{!nostdlib:%{!nodefaultlibs:%{%:sanitize(address):" LIBASAN_EARLY_SPEC "} \
775 %{%:sanitize(thread):" LIBTSAN_EARLY_SPEC "}}}"
776 #endif
778 /* Linker command line options for -fsanitize= late on the command line. */
779 #ifndef SANITIZER_SPEC
780 #define SANITIZER_SPEC "\
781 %{!nostdlib:%{!nodefaultlibs:%{%:sanitize(address):" LIBASAN_SPEC "\
782 %{static:%ecannot specify -static with -fsanitize=address}}\
783 %{%:sanitize(thread):" LIBTSAN_SPEC "\
784 %{!pie:%{!shared:%e-fsanitize=thread linking must be done with -pie or -shared}}}\
785 %{%:sanitize(undefined):" LIBUBSAN_SPEC "}\
786 %{%:sanitize(leak):" LIBLSAN_SPEC "}}}"
787 #endif
789 /* This is the spec to use, once the code for creating the vtable
790 verification runtime library, libvtv.so, has been created. Currently
791 the vtable verification runtime functions are in libstdc++, so we use
792 the spec just below this one. */
793 #ifndef VTABLE_VERIFICATION_SPEC
794 #define VTABLE_VERIFICATION_SPEC "\
795 %{!nostdlib:%{fvtable-verify=std: -lvtv -u_vtable_map_vars_start -u_vtable_map_vars_end}\
796 %{fvtable-verify=preinit: -lvtv -u_vtable_map_vars_start -u_vtable_map_vars_end}}"
797 #endif
799 /* -u* was put back because both BSD and SysV seem to support it. */
800 /* %{static:} simply prevents an error message if the target machine
801 doesn't handle -static. */
802 /* We want %{T*} after %{L*} and %D so that it can be used to specify linker
803 scripts which exist in user specified directories, or in standard
804 directories. */
805 /* We pass any -flto flags on to the linker, which is expected
806 to understand them. In practice, this means it had better be collect2. */
807 /* %{e*} includes -export-dynamic; see comment in common.opt. */
808 #ifndef LINK_COMMAND_SPEC
809 #define LINK_COMMAND_SPEC "\
810 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S:\
811 %(linker) " \
812 LINK_PLUGIN_SPEC \
813 "%{flto|flto=*:%<fcompare-debug*} \
814 %{flto} %{flto=*} %l " LINK_PIE_SPEC \
815 "%{fuse-ld=*:-fuse-ld=%*} " LINK_COMPRESS_DEBUG_SPEC \
816 "%X %{o*} %{e*} %{N} %{n} %{r}\
817 %{s} %{t} %{u*} %{z} %{Z} %{!nostdlib:%{!nostartfiles:%S}} " VTABLE_VERIFICATION_SPEC " \
818 %{static:} %{L*} %(mfwrap) %(link_libgcc) " SANITIZER_EARLY_SPEC " %o\
819 %{fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)}\
820 %{fcilkplus:%:include(libcilkrts.spec)%(link_cilkrts)}\
821 %{fgnu-tm:%:include(libitm.spec)%(link_itm)}\
822 %(mflib) " STACK_SPLIT_SPEC "\
823 %{fprofile-arcs|fprofile-generate*|coverage:-lgcov} " SANITIZER_SPEC " \
824 %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
825 %{!nostdlib:%{!nostartfiles:%E}} %{T*} }}}}}}"
826 #endif
828 #ifndef LINK_LIBGCC_SPEC
829 /* Generate -L options for startfile prefix list. */
830 # define LINK_LIBGCC_SPEC "%D"
831 #endif
833 #ifndef STARTFILE_PREFIX_SPEC
834 # define STARTFILE_PREFIX_SPEC ""
835 #endif
837 #ifndef SYSROOT_SPEC
838 # define SYSROOT_SPEC "--sysroot=%R"
839 #endif
841 #ifndef SYSROOT_SUFFIX_SPEC
842 # define SYSROOT_SUFFIX_SPEC ""
843 #endif
845 #ifndef SYSROOT_HEADERS_SUFFIX_SPEC
846 # define SYSROOT_HEADERS_SUFFIX_SPEC ""
847 #endif
849 static const char *asm_debug = ASM_DEBUG_SPEC;
850 static const char *cpp_spec = CPP_SPEC;
851 static const char *cc1_spec = CC1_SPEC;
852 static const char *cc1plus_spec = CC1PLUS_SPEC;
853 static const char *link_gcc_c_sequence_spec = LINK_GCC_C_SEQUENCE_SPEC;
854 static const char *link_ssp_spec = LINK_SSP_SPEC;
855 static const char *asm_spec = ASM_SPEC;
856 static const char *asm_final_spec = ASM_FINAL_SPEC;
857 static const char *link_spec = LINK_SPEC;
858 static const char *lib_spec = LIB_SPEC;
859 static const char *link_gomp_spec = "";
860 static const char *libgcc_spec = LIBGCC_SPEC;
861 static const char *endfile_spec = ENDFILE_SPEC;
862 static const char *startfile_spec = STARTFILE_SPEC;
863 static const char *linker_name_spec = LINKER_NAME;
864 static const char *linker_plugin_file_spec = "";
865 static const char *lto_wrapper_spec = "";
866 static const char *lto_gcc_spec = "";
867 static const char *link_command_spec = LINK_COMMAND_SPEC;
868 static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
869 static const char *startfile_prefix_spec = STARTFILE_PREFIX_SPEC;
870 static const char *sysroot_spec = SYSROOT_SPEC;
871 static const char *sysroot_suffix_spec = SYSROOT_SUFFIX_SPEC;
872 static const char *sysroot_hdrs_suffix_spec = SYSROOT_HEADERS_SUFFIX_SPEC;
873 static const char *self_spec = "";
875 /* Standard options to cpp, cc1, and as, to reduce duplication in specs.
876 There should be no need to override these in target dependent files,
877 but we need to copy them to the specs file so that newer versions
878 of the GCC driver can correctly drive older tool chains with the
879 appropriate -B options. */
881 /* When cpplib handles traditional preprocessing, get rid of this, and
882 call cc1 (or cc1obj in objc/lang-specs.h) from the main specs so
883 that we default the front end language better. */
884 static const char *trad_capable_cpp =
885 "cc1 -E %{traditional|traditional-cpp:-traditional-cpp}";
887 /* We don't wrap .d files in %W{} since a missing .d file, and
888 therefore no dependency entry, confuses make into thinking a .o
889 file that happens to exist is up-to-date. */
890 static const char *cpp_unique_options =
891 "%{!Q:-quiet} %{nostdinc*} %{C} %{CC} %{v} %{I*&F*} %{P} %I\
892 %{MD:-MD %{!o:%b.d}%{o*:%.d%*}}\
893 %{MMD:-MMD %{!o:%b.d}%{o*:%.d%*}}\
894 %{M} %{MM} %{MF*} %{MG} %{MP} %{MQ*} %{MT*}\
895 %{!E:%{!M:%{!MM:%{!MT:%{!MQ:%{MD|MMD:%{o*:-MQ %*}}}}}}}\
896 %{remap} %{g3|ggdb3|gstabs3|gcoff3|gxcoff3|gvms3:-dD}\
897 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
898 %{H} %C %{D*&U*&A*} %{i*} %Z %i\
899 %{E|M|MM:%W{o*}}";
901 /* This contains cpp options which are common with cc1_options and are passed
902 only when preprocessing only to avoid duplication. We pass the cc1 spec
903 options to the preprocessor so that it the cc1 spec may manipulate
904 options used to set target flags. Those special target flags settings may
905 in turn cause preprocessor symbols to be defined specially. */
906 static const char *cpp_options =
907 "%(cpp_unique_options) %1 %{m*} %{std*&ansi&trigraphs} %{W*&pedantic*} %{w}\
908 %{f*} %{g*:%{!g0:%{g*} %{!fno-working-directory:-fworking-directory}}} %{O*}\
909 %{undef} %{save-temps*:-fpch-preprocess}";
911 /* This contains cpp options which are not passed when the preprocessor
912 output will be used by another program. */
913 static const char *cpp_debug_options = "%{d*}";
915 /* NB: This is shared amongst all front-ends, except for Ada. */
916 static const char *cc1_options =
917 "%{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
918 %{!iplugindir*:%{fplugin*:%:find-plugindir()}}\
919 %1 %{!Q:-quiet} %{!dumpbase:-dumpbase %B} %{d*} %{m*} %{aux-info*}\
920 %{fcompare-debug-second:%:compare-debug-auxbase-opt(%b)} \
921 %{!fcompare-debug-second:%{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}}%{!c:%{!S:-auxbase %b}} \
922 %{g*} %{O*} %{W*&pedantic*} %{w} %{std*&ansi&trigraphs}\
923 %{v:-version} %{pg:-p} %{p} %{f*} %{undef}\
924 %{Qn:-fno-ident} %{Qy:} %{-help:--help}\
925 %{-target-help:--target-help}\
926 %{-version:--version}\
927 %{-help=*:--help=%*}\
928 %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\
929 %{fsyntax-only:-o %j} %{-param*}\
930 %{coverage:-fprofile-arcs -ftest-coverage}";
932 static const char *asm_options =
933 "%{-target-help:%:print-asm-header()} "
934 #if HAVE_GNU_AS
935 /* If GNU AS is used, then convert -w (no warnings), -I, and -v
936 to the assembler equivalents. */
937 "%{v} %{w:-W} %{I*} "
938 #endif
939 ASM_COMPRESS_DEBUG_SPEC
940 "%a %Y %{c:%W{o*}%{!o*:-o %w%b%O}}%{!c:-o %d%w%u%O}";
942 static const char *invoke_as =
943 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
944 "%{!fwpa*:\
945 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
946 %{!S:-o %|.s |\n as %(asm_options) %|.s %A }\
948 #else
949 "%{!fwpa*:\
950 %{fcompare-debug=*|fdump-final-insns=*:%:compare-debug-dump-opt()}\
951 %{!S:-o %|.s |\n as %(asm_options) %m.s %A }\
953 #endif
955 /* Some compilers have limits on line lengths, and the multilib_select
956 and/or multilib_matches strings can be very long, so we build them at
957 run time. */
958 static struct obstack multilib_obstack;
959 static const char *multilib_select;
960 static const char *multilib_matches;
961 static const char *multilib_defaults;
962 static const char *multilib_exclusions;
963 static const char *multilib_reuse;
965 /* Check whether a particular argument is a default argument. */
967 #ifndef MULTILIB_DEFAULTS
968 #define MULTILIB_DEFAULTS { "" }
969 #endif
971 static const char *const multilib_defaults_raw[] = MULTILIB_DEFAULTS;
973 #ifndef DRIVER_SELF_SPECS
974 #define DRIVER_SELF_SPECS ""
975 #endif
977 /* Linking to libgomp implies pthreads. This is particularly important
978 for targets that use different start files and suchlike. */
979 #ifndef GOMP_SELF_SPECS
980 #define GOMP_SELF_SPECS "%{fopenmp|ftree-parallelize-loops=*: -pthread}"
981 #endif
983 /* Likewise for -fgnu-tm. */
984 #ifndef GTM_SELF_SPECS
985 #define GTM_SELF_SPECS "%{fgnu-tm: -pthread}"
986 #endif
988 /* Likewise for -fcilkplus. */
989 #ifndef CILK_SELF_SPECS
990 #define CILK_SELF_SPECS "%{fcilkplus: -pthread}"
991 #endif
993 static const char *const driver_self_specs[] = {
994 "%{fdump-final-insns:-fdump-final-insns=.} %<fdump-final-insns",
995 DRIVER_SELF_SPECS, CONFIGURE_SPECS, GOMP_SELF_SPECS, GTM_SELF_SPECS,
996 CILK_SELF_SPECS
999 #ifndef OPTION_DEFAULT_SPECS
1000 #define OPTION_DEFAULT_SPECS { "", "" }
1001 #endif
1003 struct default_spec
1005 const char *name;
1006 const char *spec;
1009 static const struct default_spec
1010 option_default_specs[] = { OPTION_DEFAULT_SPECS };
1012 struct user_specs
1014 struct user_specs *next;
1015 const char *filename;
1018 static struct user_specs *user_specs_head, *user_specs_tail;
1021 /* Record the mapping from file suffixes for compilation specs. */
1023 struct compiler
1025 const char *suffix; /* Use this compiler for input files
1026 whose names end in this suffix. */
1028 const char *spec; /* To use this compiler, run this spec. */
1030 const char *cpp_spec; /* If non-NULL, substitute this spec
1031 for `%C', rather than the usual
1032 cpp_spec. */
1033 const int combinable; /* If nonzero, compiler can deal with
1034 multiple source files at once (IMA). */
1035 const int needs_preprocessing; /* If nonzero, source files need to
1036 be run through a preprocessor. */
1039 /* Pointer to a vector of `struct compiler' that gives the spec for
1040 compiling a file, based on its suffix.
1041 A file that does not end in any of these suffixes will be passed
1042 unchanged to the loader and nothing else will be done to it.
1044 An entry containing two 0s is used to terminate the vector.
1046 If multiple entries match a file, the last matching one is used. */
1048 static struct compiler *compilers;
1050 /* Number of entries in `compilers', not counting the null terminator. */
1052 static int n_compilers;
1054 /* The default list of file name suffixes and their compilation specs. */
1056 static const struct compiler default_compilers[] =
1058 /* Add lists of suffixes of known languages here. If those languages
1059 were not present when we built the driver, we will hit these copies
1060 and be given a more meaningful error than "file not used since
1061 linking is not done". */
1062 {".m", "#Objective-C", 0, 0, 0}, {".mi", "#Objective-C", 0, 0, 0},
1063 {".mm", "#Objective-C++", 0, 0, 0}, {".M", "#Objective-C++", 0, 0, 0},
1064 {".mii", "#Objective-C++", 0, 0, 0},
1065 {".cc", "#C++", 0, 0, 0}, {".cxx", "#C++", 0, 0, 0},
1066 {".cpp", "#C++", 0, 0, 0}, {".cp", "#C++", 0, 0, 0},
1067 {".c++", "#C++", 0, 0, 0}, {".C", "#C++", 0, 0, 0},
1068 {".CPP", "#C++", 0, 0, 0}, {".ii", "#C++", 0, 0, 0},
1069 {".ads", "#Ada", 0, 0, 0}, {".adb", "#Ada", 0, 0, 0},
1070 {".f", "#Fortran", 0, 0, 0}, {".F", "#Fortran", 0, 0, 0},
1071 {".for", "#Fortran", 0, 0, 0}, {".FOR", "#Fortran", 0, 0, 0},
1072 {".ftn", "#Fortran", 0, 0, 0}, {".FTN", "#Fortran", 0, 0, 0},
1073 {".fpp", "#Fortran", 0, 0, 0}, {".FPP", "#Fortran", 0, 0, 0},
1074 {".f90", "#Fortran", 0, 0, 0}, {".F90", "#Fortran", 0, 0, 0},
1075 {".f95", "#Fortran", 0, 0, 0}, {".F95", "#Fortran", 0, 0, 0},
1076 {".f03", "#Fortran", 0, 0, 0}, {".F03", "#Fortran", 0, 0, 0},
1077 {".f08", "#Fortran", 0, 0, 0}, {".F08", "#Fortran", 0, 0, 0},
1078 {".r", "#Ratfor", 0, 0, 0},
1079 {".p", "#Pascal", 0, 0, 0}, {".pas", "#Pascal", 0, 0, 0},
1080 {".java", "#Java", 0, 0, 0}, {".class", "#Java", 0, 0, 0},
1081 {".zip", "#Java", 0, 0, 0}, {".jar", "#Java", 0, 0, 0},
1082 {".go", "#Go", 0, 1, 0},
1083 /* Next come the entries for C. */
1084 {".c", "@c", 0, 0, 1},
1085 {"@c",
1086 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1087 external preprocessor if -save-temps is given. */
1088 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1089 %{!E:%{!M:%{!MM:\
1090 %{traditional:\
1091 %eGNU C no longer supports -traditional without -E}\
1092 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1093 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1094 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1095 %(cc1_options)}\
1096 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1097 cc1 %(cpp_unique_options) %(cc1_options)}}}\
1098 %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 1},
1099 {"-",
1100 "%{!E:%e-E or -x required when input is from standard input}\
1101 %(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)", 0, 0, 0},
1102 {".h", "@c-header", 0, 0, 0},
1103 {"@c-header",
1104 /* cc1 has an integrated ISO C preprocessor. We should invoke the
1105 external preprocessor if -save-temps is given. */
1106 "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
1107 %{!E:%{!M:%{!MM:\
1108 %{save-temps*|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
1109 %(cpp_options) -o %{save-temps*:%b.i} %{!save-temps*:%g.i} \n\
1110 cc1 -fpreprocessed %{save-temps*:%b.i} %{!save-temps*:%g.i} \
1111 %(cc1_options)\
1112 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1113 %W{o*:--output-pch=%*}}%V}\
1114 %{!save-temps*:%{!traditional-cpp:%{!no-integrated-cpp:\
1115 cc1 %(cpp_unique_options) %(cc1_options)\
1116 %{!fdump-ada-spec*:-o %g.s %{!o*:--output-pch=%i.gch}\
1117 %W{o*:--output-pch=%*}}%V}}}}}}", 0, 0, 0},
1118 {".i", "@cpp-output", 0, 0, 0},
1119 {"@cpp-output",
1120 "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0, 0, 0},
1121 {".s", "@assembler", 0, 0, 0},
1122 {"@assembler",
1123 "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0, 0, 0},
1124 {".sx", "@assembler-with-cpp", 0, 0, 0},
1125 {".S", "@assembler-with-cpp", 0, 0, 0},
1126 {"@assembler-with-cpp",
1127 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
1128 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1129 %{E|M|MM:%(cpp_debug_options)}\
1130 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1131 as %(asm_debug) %(asm_options) %|.s %A }}}}"
1132 #else
1133 "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
1134 %{E|M|MM:%(cpp_debug_options)}\
1135 %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
1136 as %(asm_debug) %(asm_options) %m.s %A }}}}"
1137 #endif
1138 , 0, 0, 0},
1140 #include "specs.h"
1141 /* Mark end of table. */
1142 {0, 0, 0, 0, 0}
1145 /* Number of elements in default_compilers, not counting the terminator. */
1147 static const int n_default_compilers = ARRAY_SIZE (default_compilers) - 1;
1149 typedef char *char_p; /* For DEF_VEC_P. */
1151 /* A vector of options to give to the linker.
1152 These options are accumulated by %x,
1153 and substituted into the linker command with %X. */
1154 static vec<char_p> linker_options;
1156 /* A vector of options to give to the assembler.
1157 These options are accumulated by -Wa,
1158 and substituted into the assembler command with %Y. */
1159 static vec<char_p> assembler_options;
1161 /* A vector of options to give to the preprocessor.
1162 These options are accumulated by -Wp,
1163 and substituted into the preprocessor command with %Z. */
1164 static vec<char_p> preprocessor_options;
1166 static char *
1167 skip_whitespace (char *p)
1169 while (1)
1171 /* A fully-blank line is a delimiter in the SPEC file and shouldn't
1172 be considered whitespace. */
1173 if (p[0] == '\n' && p[1] == '\n' && p[2] == '\n')
1174 return p + 1;
1175 else if (*p == '\n' || *p == ' ' || *p == '\t')
1176 p++;
1177 else if (*p == '#')
1179 while (*p != '\n')
1180 p++;
1181 p++;
1183 else
1184 break;
1187 return p;
1189 /* Structures to keep track of prefixes to try when looking for files. */
1191 struct prefix_list
1193 const char *prefix; /* String to prepend to the path. */
1194 struct prefix_list *next; /* Next in linked list. */
1195 int require_machine_suffix; /* Don't use without machine_suffix. */
1196 /* 2 means try both machine_suffix and just_machine_suffix. */
1197 int priority; /* Sort key - priority within list. */
1198 int os_multilib; /* 1 if OS multilib scheme should be used,
1199 0 for GCC multilib scheme. */
1202 struct path_prefix
1204 struct prefix_list *plist; /* List of prefixes to try */
1205 int max_len; /* Max length of a prefix in PLIST */
1206 const char *name; /* Name of this list (used in config stuff) */
1209 /* List of prefixes to try when looking for executables. */
1211 static struct path_prefix exec_prefixes = { 0, 0, "exec" };
1213 /* List of prefixes to try when looking for startup (crt0) files. */
1215 static struct path_prefix startfile_prefixes = { 0, 0, "startfile" };
1217 /* List of prefixes to try when looking for include files. */
1219 static struct path_prefix include_prefixes = { 0, 0, "include" };
1221 /* Suffix to attach to directories searched for commands.
1222 This looks like `MACHINE/VERSION/'. */
1224 static const char *machine_suffix = 0;
1226 /* Suffix to attach to directories searched for commands.
1227 This is just `MACHINE/'. */
1229 static const char *just_machine_suffix = 0;
1231 /* Adjusted value of GCC_EXEC_PREFIX envvar. */
1233 static const char *gcc_exec_prefix;
1235 /* Adjusted value of standard_libexec_prefix. */
1237 static const char *gcc_libexec_prefix;
1239 /* Default prefixes to attach to command names. */
1241 #ifndef STANDARD_STARTFILE_PREFIX_1
1242 #define STANDARD_STARTFILE_PREFIX_1 "/lib/"
1243 #endif
1244 #ifndef STANDARD_STARTFILE_PREFIX_2
1245 #define STANDARD_STARTFILE_PREFIX_2 "/usr/lib/"
1246 #endif
1248 #ifdef CROSS_DIRECTORY_STRUCTURE /* Don't use these prefixes for a cross compiler. */
1249 #undef MD_EXEC_PREFIX
1250 #undef MD_STARTFILE_PREFIX
1251 #undef MD_STARTFILE_PREFIX_1
1252 #endif
1254 /* If no prefixes defined, use the null string, which will disable them. */
1255 #ifndef MD_EXEC_PREFIX
1256 #define MD_EXEC_PREFIX ""
1257 #endif
1258 #ifndef MD_STARTFILE_PREFIX
1259 #define MD_STARTFILE_PREFIX ""
1260 #endif
1261 #ifndef MD_STARTFILE_PREFIX_1
1262 #define MD_STARTFILE_PREFIX_1 ""
1263 #endif
1265 /* These directories are locations set at configure-time based on the
1266 --prefix option provided to configure. Their initializers are
1267 defined in Makefile.in. These paths are not *directly* used when
1268 gcc_exec_prefix is set because, in that case, we know where the
1269 compiler has been installed, and use paths relative to that
1270 location instead. */
1271 static const char *const standard_exec_prefix = STANDARD_EXEC_PREFIX;
1272 static const char *const standard_libexec_prefix = STANDARD_LIBEXEC_PREFIX;
1273 static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
1274 static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
1276 /* For native compilers, these are well-known paths containing
1277 components that may be provided by the system. For cross
1278 compilers, these paths are not used. */
1279 static const char *md_exec_prefix = MD_EXEC_PREFIX;
1280 static const char *md_startfile_prefix = MD_STARTFILE_PREFIX;
1281 static const char *md_startfile_prefix_1 = MD_STARTFILE_PREFIX_1;
1282 static const char *const standard_startfile_prefix_1
1283 = STANDARD_STARTFILE_PREFIX_1;
1284 static const char *const standard_startfile_prefix_2
1285 = STANDARD_STARTFILE_PREFIX_2;
1287 /* A relative path to be used in finding the location of tools
1288 relative to the driver. */
1289 static const char *const tooldir_base_prefix = TOOLDIR_BASE_PREFIX;
1291 /* Subdirectory to use for locating libraries. Set by
1292 set_multilib_dir based on the compilation options. */
1294 static const char *multilib_dir;
1296 /* Subdirectory to use for locating libraries in OS conventions. Set by
1297 set_multilib_dir based on the compilation options. */
1299 static const char *multilib_os_dir;
1301 /* Subdirectory to use for locating libraries in multiarch conventions. Set by
1302 set_multilib_dir based on the compilation options. */
1304 static const char *multiarch_dir;
1306 /* Structure to keep track of the specs that have been defined so far.
1307 These are accessed using %(specname) in a compiler or link
1308 spec. */
1310 struct spec_list
1312 /* The following 2 fields must be first */
1313 /* to allow EXTRA_SPECS to be initialized */
1314 const char *name; /* name of the spec. */
1315 const char *ptr; /* available ptr if no static pointer */
1317 /* The following fields are not initialized */
1318 /* by EXTRA_SPECS */
1319 const char **ptr_spec; /* pointer to the spec itself. */
1320 struct spec_list *next; /* Next spec in linked list. */
1321 int name_len; /* length of the name */
1322 bool user_p; /* whether string come from file spec. */
1323 bool alloc_p; /* whether string was allocated */
1326 #define INIT_STATIC_SPEC(NAME,PTR) \
1327 { NAME, NULL, PTR, (struct spec_list *) 0, sizeof (NAME) - 1, false, false }
1329 /* List of statically defined specs. */
1330 static struct spec_list static_specs[] =
1332 INIT_STATIC_SPEC ("asm", &asm_spec),
1333 INIT_STATIC_SPEC ("asm_debug", &asm_debug),
1334 INIT_STATIC_SPEC ("asm_final", &asm_final_spec),
1335 INIT_STATIC_SPEC ("asm_options", &asm_options),
1336 INIT_STATIC_SPEC ("invoke_as", &invoke_as),
1337 INIT_STATIC_SPEC ("cpp", &cpp_spec),
1338 INIT_STATIC_SPEC ("cpp_options", &cpp_options),
1339 INIT_STATIC_SPEC ("cpp_debug_options", &cpp_debug_options),
1340 INIT_STATIC_SPEC ("cpp_unique_options", &cpp_unique_options),
1341 INIT_STATIC_SPEC ("trad_capable_cpp", &trad_capable_cpp),
1342 INIT_STATIC_SPEC ("cc1", &cc1_spec),
1343 INIT_STATIC_SPEC ("cc1_options", &cc1_options),
1344 INIT_STATIC_SPEC ("cc1plus", &cc1plus_spec),
1345 INIT_STATIC_SPEC ("link_gcc_c_sequence", &link_gcc_c_sequence_spec),
1346 INIT_STATIC_SPEC ("link_ssp", &link_ssp_spec),
1347 INIT_STATIC_SPEC ("endfile", &endfile_spec),
1348 INIT_STATIC_SPEC ("link", &link_spec),
1349 INIT_STATIC_SPEC ("lib", &lib_spec),
1350 INIT_STATIC_SPEC ("link_gomp", &link_gomp_spec),
1351 INIT_STATIC_SPEC ("libgcc", &libgcc_spec),
1352 INIT_STATIC_SPEC ("startfile", &startfile_spec),
1353 INIT_STATIC_SPEC ("cross_compile", &cross_compile),
1354 INIT_STATIC_SPEC ("version", &compiler_version),
1355 INIT_STATIC_SPEC ("multilib", &multilib_select),
1356 INIT_STATIC_SPEC ("multilib_defaults", &multilib_defaults),
1357 INIT_STATIC_SPEC ("multilib_extra", &multilib_extra),
1358 INIT_STATIC_SPEC ("multilib_matches", &multilib_matches),
1359 INIT_STATIC_SPEC ("multilib_exclusions", &multilib_exclusions),
1360 INIT_STATIC_SPEC ("multilib_options", &multilib_options),
1361 INIT_STATIC_SPEC ("multilib_reuse", &multilib_reuse),
1362 INIT_STATIC_SPEC ("linker", &linker_name_spec),
1363 INIT_STATIC_SPEC ("linker_plugin_file", &linker_plugin_file_spec),
1364 INIT_STATIC_SPEC ("lto_wrapper", &lto_wrapper_spec),
1365 INIT_STATIC_SPEC ("lto_gcc", &lto_gcc_spec),
1366 INIT_STATIC_SPEC ("link_libgcc", &link_libgcc_spec),
1367 INIT_STATIC_SPEC ("md_exec_prefix", &md_exec_prefix),
1368 INIT_STATIC_SPEC ("md_startfile_prefix", &md_startfile_prefix),
1369 INIT_STATIC_SPEC ("md_startfile_prefix_1", &md_startfile_prefix_1),
1370 INIT_STATIC_SPEC ("startfile_prefix_spec", &startfile_prefix_spec),
1371 INIT_STATIC_SPEC ("sysroot_spec", &sysroot_spec),
1372 INIT_STATIC_SPEC ("sysroot_suffix_spec", &sysroot_suffix_spec),
1373 INIT_STATIC_SPEC ("sysroot_hdrs_suffix_spec", &sysroot_hdrs_suffix_spec),
1374 INIT_STATIC_SPEC ("self_spec", &self_spec),
1377 #ifdef EXTRA_SPECS /* additional specs needed */
1378 /* Structure to keep track of just the first two args of a spec_list.
1379 That is all that the EXTRA_SPECS macro gives us. */
1380 struct spec_list_1
1382 const char *const name;
1383 const char *const ptr;
1386 static const struct spec_list_1 extra_specs_1[] = { EXTRA_SPECS };
1387 static struct spec_list *extra_specs = (struct spec_list *) 0;
1388 #endif
1390 /* List of dynamically allocates specs that have been defined so far. */
1392 static struct spec_list *specs = (struct spec_list *) 0;
1394 /* List of static spec functions. */
1396 static const struct spec_function static_spec_functions[] =
1398 { "getenv", getenv_spec_function },
1399 { "if-exists", if_exists_spec_function },
1400 { "if-exists-else", if_exists_else_spec_function },
1401 { "sanitize", sanitize_spec_function },
1402 { "replace-outfile", replace_outfile_spec_function },
1403 { "remove-outfile", remove_outfile_spec_function },
1404 { "version-compare", version_compare_spec_function },
1405 { "include", include_spec_function },
1406 { "find-file", find_file_spec_function },
1407 { "find-plugindir", find_plugindir_spec_function },
1408 { "print-asm-header", print_asm_header_spec_function },
1409 { "compare-debug-dump-opt", compare_debug_dump_opt_spec_function },
1410 { "compare-debug-self-opt", compare_debug_self_opt_spec_function },
1411 { "compare-debug-auxbase-opt", compare_debug_auxbase_opt_spec_function },
1412 { "pass-through-libs", pass_through_libs_spec_func },
1413 { "replace-extension", replace_extension_spec_func },
1414 #ifdef EXTRA_SPEC_FUNCTIONS
1415 EXTRA_SPEC_FUNCTIONS
1416 #endif
1417 { 0, 0 }
1420 static int processing_spec_function;
1422 /* Add appropriate libgcc specs to OBSTACK, taking into account
1423 various permutations of -shared-libgcc, -shared, and such. */
1425 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1427 #ifndef USE_LD_AS_NEEDED
1428 #define USE_LD_AS_NEEDED 0
1429 #endif
1431 static void
1432 init_gcc_specs (struct obstack *obstack, const char *shared_name,
1433 const char *static_name, const char *eh_name)
1435 char *buf;
1437 buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name, "}"
1438 "%{!static:%{!static-libgcc:"
1439 #if USE_LD_AS_NEEDED
1440 "%{!shared-libgcc:",
1441 static_name, " " LD_AS_NEEDED_OPTION " ",
1442 shared_name, " " LD_NO_AS_NEEDED_OPTION
1444 "%{shared-libgcc:",
1445 shared_name, "%{!shared: ", static_name, "}"
1447 #else
1448 "%{!shared:"
1449 "%{!shared-libgcc:", static_name, " ", eh_name, "}"
1450 "%{shared-libgcc:", shared_name, " ", static_name, "}"
1452 #ifdef LINK_EH_SPEC
1453 "%{shared:"
1454 "%{shared-libgcc:", shared_name, "}"
1455 "%{!shared-libgcc:", static_name, "}"
1457 #else
1458 "%{shared:", shared_name, "}"
1459 #endif
1460 #endif
1461 "}}", NULL);
1463 obstack_grow (obstack, buf, strlen (buf));
1464 free (buf);
1466 #endif /* ENABLE_SHARED_LIBGCC */
1468 /* Initialize the specs lookup routines. */
1470 static void
1471 init_spec (void)
1473 struct spec_list *next = (struct spec_list *) 0;
1474 struct spec_list *sl = (struct spec_list *) 0;
1475 int i;
1477 if (specs)
1478 return; /* Already initialized. */
1480 if (verbose_flag)
1481 fnotice (stderr, "Using built-in specs.\n");
1483 #ifdef EXTRA_SPECS
1484 extra_specs = XCNEWVEC (struct spec_list, ARRAY_SIZE (extra_specs_1));
1486 for (i = ARRAY_SIZE (extra_specs_1) - 1; i >= 0; i--)
1488 sl = &extra_specs[i];
1489 sl->name = extra_specs_1[i].name;
1490 sl->ptr = extra_specs_1[i].ptr;
1491 sl->next = next;
1492 sl->name_len = strlen (sl->name);
1493 sl->ptr_spec = &sl->ptr;
1494 next = sl;
1496 #endif
1498 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1500 sl = &static_specs[i];
1501 sl->next = next;
1502 next = sl;
1505 #if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
1506 /* ??? If neither -shared-libgcc nor --static-libgcc was
1507 seen, then we should be making an educated guess. Some proposed
1508 heuristics for ELF include:
1510 (1) If "-Wl,--export-dynamic", then it's a fair bet that the
1511 program will be doing dynamic loading, which will likely
1512 need the shared libgcc.
1514 (2) If "-ldl", then it's also a fair bet that we're doing
1515 dynamic loading.
1517 (3) For each ET_DYN we're linking against (either through -lfoo
1518 or /some/path/foo.so), check to see whether it or one of
1519 its dependencies depends on a shared libgcc.
1521 (4) If "-shared"
1523 If the runtime is fixed to look for program headers instead
1524 of calling __register_frame_info at all, for each object,
1525 use the shared libgcc if any EH symbol referenced.
1527 If crtstuff is fixed to not invoke __register_frame_info
1528 automatically, for each object, use the shared libgcc if
1529 any non-empty unwind section found.
1531 Doing any of this probably requires invoking an external program to
1532 do the actual object file scanning. */
1534 const char *p = libgcc_spec;
1535 int in_sep = 1;
1537 /* Transform the extant libgcc_spec into one that uses the shared libgcc
1538 when given the proper command line arguments. */
1539 while (*p)
1541 if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
1543 init_gcc_specs (&obstack,
1544 "-lgcc_s"
1545 #ifdef USE_LIBUNWIND_EXCEPTIONS
1546 " -lunwind"
1547 #endif
1549 "-lgcc",
1550 "-lgcc_eh"
1551 #ifdef USE_LIBUNWIND_EXCEPTIONS
1552 # ifdef HAVE_LD_STATIC_DYNAMIC
1553 " %{!static:" LD_STATIC_OPTION "} -lunwind"
1554 " %{!static:" LD_DYNAMIC_OPTION "}"
1555 # else
1556 " -lunwind"
1557 # endif
1558 #endif
1561 p += 5;
1562 in_sep = 0;
1564 else if (in_sep && *p == 'l' && strncmp (p, "libgcc.a%s", 10) == 0)
1566 /* Ug. We don't know shared library extensions. Hope that
1567 systems that use this form don't do shared libraries. */
1568 init_gcc_specs (&obstack,
1569 "-lgcc_s",
1570 "libgcc.a%s",
1571 "libgcc_eh.a%s"
1572 #ifdef USE_LIBUNWIND_EXCEPTIONS
1573 " -lunwind"
1574 #endif
1576 p += 10;
1577 in_sep = 0;
1579 else
1581 obstack_1grow (&obstack, *p);
1582 in_sep = (*p == ' ');
1583 p += 1;
1587 obstack_1grow (&obstack, '\0');
1588 libgcc_spec = XOBFINISH (&obstack, const char *);
1590 #endif
1591 #ifdef USE_AS_TRADITIONAL_FORMAT
1592 /* Prepend "--traditional-format" to whatever asm_spec we had before. */
1594 static const char tf[] = "--traditional-format ";
1595 obstack_grow (&obstack, tf, sizeof (tf) - 1);
1596 obstack_grow0 (&obstack, asm_spec, strlen (asm_spec));
1597 asm_spec = XOBFINISH (&obstack, const char *);
1599 #endif
1601 #if defined LINK_EH_SPEC || defined LINK_BUILDID_SPEC || \
1602 defined LINKER_HASH_STYLE
1603 # ifdef LINK_BUILDID_SPEC
1604 /* Prepend LINK_BUILDID_SPEC to whatever link_spec we had before. */
1605 obstack_grow (&obstack, LINK_BUILDID_SPEC, sizeof (LINK_BUILDID_SPEC) - 1);
1606 # endif
1607 # ifdef LINK_EH_SPEC
1608 /* Prepend LINK_EH_SPEC to whatever link_spec we had before. */
1609 obstack_grow (&obstack, LINK_EH_SPEC, sizeof (LINK_EH_SPEC) - 1);
1610 # endif
1611 # ifdef LINKER_HASH_STYLE
1612 /* Prepend --hash-style=LINKER_HASH_STYLE to whatever link_spec we had
1613 before. */
1615 static const char hash_style[] = "--hash-style=";
1616 obstack_grow (&obstack, hash_style, sizeof (hash_style) - 1);
1617 obstack_grow (&obstack, LINKER_HASH_STYLE, sizeof (LINKER_HASH_STYLE) - 1);
1618 obstack_1grow (&obstack, ' ');
1620 # endif
1621 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
1622 link_spec = XOBFINISH (&obstack, const char *);
1623 #endif
1625 specs = sl;
1628 /* Change the value of spec NAME to SPEC. If SPEC is empty, then the spec is
1629 removed; If the spec starts with a + then SPEC is added to the end of the
1630 current spec. */
1632 static void
1633 set_spec (const char *name, const char *spec, bool user_p)
1635 struct spec_list *sl;
1636 const char *old_spec;
1637 int name_len = strlen (name);
1638 int i;
1640 /* If this is the first call, initialize the statically allocated specs. */
1641 if (!specs)
1643 struct spec_list *next = (struct spec_list *) 0;
1644 for (i = ARRAY_SIZE (static_specs) - 1; i >= 0; i--)
1646 sl = &static_specs[i];
1647 sl->next = next;
1648 next = sl;
1650 specs = sl;
1653 /* See if the spec already exists. */
1654 for (sl = specs; sl; sl = sl->next)
1655 if (name_len == sl->name_len && !strcmp (sl->name, name))
1656 break;
1658 if (!sl)
1660 /* Not found - make it. */
1661 sl = XNEW (struct spec_list);
1662 sl->name = xstrdup (name);
1663 sl->name_len = name_len;
1664 sl->ptr_spec = &sl->ptr;
1665 sl->alloc_p = 0;
1666 *(sl->ptr_spec) = "";
1667 sl->next = specs;
1668 specs = sl;
1671 old_spec = *(sl->ptr_spec);
1672 *(sl->ptr_spec) = ((spec[0] == '+' && ISSPACE ((unsigned char)spec[1]))
1673 ? concat (old_spec, spec + 1, NULL)
1674 : xstrdup (spec));
1676 #ifdef DEBUG_SPECS
1677 if (verbose_flag)
1678 fnotice (stderr, "Setting spec %s to '%s'\n\n", name, *(sl->ptr_spec));
1679 #endif
1681 /* Free the old spec. */
1682 if (old_spec && sl->alloc_p)
1683 free (CONST_CAST (char *, old_spec));
1685 sl->user_p = user_p;
1686 sl->alloc_p = true;
1689 /* Accumulate a command (program name and args), and run it. */
1691 typedef const char *const_char_p; /* For DEF_VEC_P. */
1693 /* Vector of pointers to arguments in the current line of specifications. */
1695 static vec<const_char_p> argbuf;
1697 /* Position in the argbuf vector containing the name of the output file
1698 (the value associated with the "-o" flag). */
1700 static int have_o_argbuf_index = 0;
1702 /* Were the options -c, -S or -E passed. */
1703 static int have_c = 0;
1705 /* Was the option -o passed. */
1706 static int have_o = 0;
1708 /* This is the list of suffixes and codes (%g/%u/%U/%j) and the associated
1709 temp file. If the HOST_BIT_BUCKET is used for %j, no entry is made for
1710 it here. */
1712 static struct temp_name {
1713 const char *suffix; /* suffix associated with the code. */
1714 int length; /* strlen (suffix). */
1715 int unique; /* Indicates whether %g or %u/%U was used. */
1716 const char *filename; /* associated filename. */
1717 int filename_length; /* strlen (filename). */
1718 struct temp_name *next;
1719 } *temp_names;
1721 /* Number of commands executed so far. */
1723 static int execution_count;
1725 /* Number of commands that exited with a signal. */
1727 static int signal_count;
1729 /* Allocate the argument vector. */
1731 static void
1732 alloc_args (void)
1734 argbuf.create (10);
1737 /* Clear out the vector of arguments (after a command is executed). */
1739 static void
1740 clear_args (void)
1742 argbuf.truncate (0);
1745 /* Add one argument to the vector at the end.
1746 This is done when a space is seen or at the end of the line.
1747 If DELETE_ALWAYS is nonzero, the arg is a filename
1748 and the file should be deleted eventually.
1749 If DELETE_FAILURE is nonzero, the arg is a filename
1750 and the file should be deleted if this compilation fails. */
1752 static void
1753 store_arg (const char *arg, int delete_always, int delete_failure)
1755 argbuf.safe_push (arg);
1757 if (strcmp (arg, "-o") == 0)
1758 have_o_argbuf_index = argbuf.length ();
1759 if (delete_always || delete_failure)
1761 const char *p;
1762 /* If the temporary file we should delete is specified as
1763 part of a joined argument extract the filename. */
1764 if (arg[0] == '-'
1765 && (p = strrchr (arg, '=')))
1766 arg = p + 1;
1767 record_temp_file (arg, delete_always, delete_failure);
1771 /* Load specs from a file name named FILENAME, replacing occurrences of
1772 various different types of line-endings, \r\n, \n\r and just \r, with
1773 a single \n. */
1775 static char *
1776 load_specs (const char *filename)
1778 int desc;
1779 int readlen;
1780 struct stat statbuf;
1781 char *buffer;
1782 char *buffer_p;
1783 char *specs;
1784 char *specs_p;
1786 if (verbose_flag)
1787 fnotice (stderr, "Reading specs from %s\n", filename);
1789 /* Open and stat the file. */
1790 desc = open (filename, O_RDONLY, 0);
1791 if (desc < 0)
1792 pfatal_with_name (filename);
1793 if (stat (filename, &statbuf) < 0)
1794 pfatal_with_name (filename);
1796 /* Read contents of file into BUFFER. */
1797 buffer = XNEWVEC (char, statbuf.st_size + 1);
1798 readlen = read (desc, buffer, (unsigned) statbuf.st_size);
1799 if (readlen < 0)
1800 pfatal_with_name (filename);
1801 buffer[readlen] = 0;
1802 close (desc);
1804 specs = XNEWVEC (char, readlen + 1);
1805 specs_p = specs;
1806 for (buffer_p = buffer; buffer_p && *buffer_p; buffer_p++)
1808 int skip = 0;
1809 char c = *buffer_p;
1810 if (c == '\r')
1812 if (buffer_p > buffer && *(buffer_p - 1) == '\n') /* \n\r */
1813 skip = 1;
1814 else if (*(buffer_p + 1) == '\n') /* \r\n */
1815 skip = 1;
1816 else /* \r */
1817 c = '\n';
1819 if (! skip)
1820 *specs_p++ = c;
1822 *specs_p = '\0';
1824 free (buffer);
1825 return (specs);
1828 /* Read compilation specs from a file named FILENAME,
1829 replacing the default ones.
1831 A suffix which starts with `*' is a definition for
1832 one of the machine-specific sub-specs. The "suffix" should be
1833 *asm, *cc1, *cpp, *link, *startfile, etc.
1834 The corresponding spec is stored in asm_spec, etc.,
1835 rather than in the `compilers' vector.
1837 Anything invalid in the file is a fatal error. */
1839 static void
1840 read_specs (const char *filename, bool main_p, bool user_p)
1842 char *buffer;
1843 char *p;
1845 buffer = load_specs (filename);
1847 /* Scan BUFFER for specs, putting them in the vector. */
1848 p = buffer;
1849 while (1)
1851 char *suffix;
1852 char *spec;
1853 char *in, *out, *p1, *p2, *p3;
1855 /* Advance P in BUFFER to the next nonblank nocomment line. */
1856 p = skip_whitespace (p);
1857 if (*p == 0)
1858 break;
1860 /* Is this a special command that starts with '%'? */
1861 /* Don't allow this for the main specs file, since it would
1862 encourage people to overwrite it. */
1863 if (*p == '%' && !main_p)
1865 p1 = p;
1866 while (*p && *p != '\n')
1867 p++;
1869 /* Skip '\n'. */
1870 p++;
1872 if (!strncmp (p1, "%include", sizeof ("%include") - 1)
1873 && (p1[sizeof "%include" - 1] == ' '
1874 || p1[sizeof "%include" - 1] == '\t'))
1876 char *new_filename;
1878 p1 += sizeof ("%include");
1879 while (*p1 == ' ' || *p1 == '\t')
1880 p1++;
1882 if (*p1++ != '<' || p[-2] != '>')
1883 fatal_error ("specs %%include syntax malformed after "
1884 "%ld characters",
1885 (long) (p1 - buffer + 1));
1887 p[-2] = '\0';
1888 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1889 read_specs (new_filename ? new_filename : p1, false, user_p);
1890 continue;
1892 else if (!strncmp (p1, "%include_noerr", sizeof "%include_noerr" - 1)
1893 && (p1[sizeof "%include_noerr" - 1] == ' '
1894 || p1[sizeof "%include_noerr" - 1] == '\t'))
1896 char *new_filename;
1898 p1 += sizeof "%include_noerr";
1899 while (*p1 == ' ' || *p1 == '\t')
1900 p1++;
1902 if (*p1++ != '<' || p[-2] != '>')
1903 fatal_error ("specs %%include syntax malformed after "
1904 "%ld characters",
1905 (long) (p1 - buffer + 1));
1907 p[-2] = '\0';
1908 new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
1909 if (new_filename)
1910 read_specs (new_filename, false, user_p);
1911 else if (verbose_flag)
1912 fnotice (stderr, "could not find specs file %s\n", p1);
1913 continue;
1915 else if (!strncmp (p1, "%rename", sizeof "%rename" - 1)
1916 && (p1[sizeof "%rename" - 1] == ' '
1917 || p1[sizeof "%rename" - 1] == '\t'))
1919 int name_len;
1920 struct spec_list *sl;
1921 struct spec_list *newsl;
1923 /* Get original name. */
1924 p1 += sizeof "%rename";
1925 while (*p1 == ' ' || *p1 == '\t')
1926 p1++;
1928 if (! ISALPHA ((unsigned char) *p1))
1929 fatal_error ("specs %%rename syntax malformed after "
1930 "%ld characters",
1931 (long) (p1 - buffer));
1933 p2 = p1;
1934 while (*p2 && !ISSPACE ((unsigned char) *p2))
1935 p2++;
1937 if (*p2 != ' ' && *p2 != '\t')
1938 fatal_error ("specs %%rename syntax malformed after "
1939 "%ld characters",
1940 (long) (p2 - buffer));
1942 name_len = p2 - p1;
1943 *p2++ = '\0';
1944 while (*p2 == ' ' || *p2 == '\t')
1945 p2++;
1947 if (! ISALPHA ((unsigned char) *p2))
1948 fatal_error ("specs %%rename syntax malformed after "
1949 "%ld characters",
1950 (long) (p2 - buffer));
1952 /* Get new spec name. */
1953 p3 = p2;
1954 while (*p3 && !ISSPACE ((unsigned char) *p3))
1955 p3++;
1957 if (p3 != p - 1)
1958 fatal_error ("specs %%rename syntax malformed after "
1959 "%ld characters",
1960 (long) (p3 - buffer));
1961 *p3 = '\0';
1963 for (sl = specs; sl; sl = sl->next)
1964 if (name_len == sl->name_len && !strcmp (sl->name, p1))
1965 break;
1967 if (!sl)
1968 fatal_error ("specs %s spec was not found to be renamed", p1);
1970 if (strcmp (p1, p2) == 0)
1971 continue;
1973 for (newsl = specs; newsl; newsl = newsl->next)
1974 if (strcmp (newsl->name, p2) == 0)
1975 fatal_error ("%s: attempt to rename spec %qs to "
1976 "already defined spec %qs",
1977 filename, p1, p2);
1979 if (verbose_flag)
1981 fnotice (stderr, "rename spec %s to %s\n", p1, p2);
1982 #ifdef DEBUG_SPECS
1983 fnotice (stderr, "spec is '%s'\n\n", *(sl->ptr_spec));
1984 #endif
1987 set_spec (p2, *(sl->ptr_spec), user_p);
1988 if (sl->alloc_p)
1989 free (CONST_CAST (char *, *(sl->ptr_spec)));
1991 *(sl->ptr_spec) = "";
1992 sl->alloc_p = 0;
1993 continue;
1995 else
1996 fatal_error ("specs unknown %% command after %ld characters",
1997 (long) (p1 - buffer));
2000 /* Find the colon that should end the suffix. */
2001 p1 = p;
2002 while (*p1 && *p1 != ':' && *p1 != '\n')
2003 p1++;
2005 /* The colon shouldn't be missing. */
2006 if (*p1 != ':')
2007 fatal_error ("specs file malformed after %ld characters",
2008 (long) (p1 - buffer));
2010 /* Skip back over trailing whitespace. */
2011 p2 = p1;
2012 while (p2 > buffer && (p2[-1] == ' ' || p2[-1] == '\t'))
2013 p2--;
2015 /* Copy the suffix to a string. */
2016 suffix = save_string (p, p2 - p);
2017 /* Find the next line. */
2018 p = skip_whitespace (p1 + 1);
2019 if (p[1] == 0)
2020 fatal_error ("specs file malformed after %ld characters",
2021 (long) (p - buffer));
2023 p1 = p;
2024 /* Find next blank line or end of string. */
2025 while (*p1 && !(*p1 == '\n' && (p1[1] == '\n' || p1[1] == '\0')))
2026 p1++;
2028 /* Specs end at the blank line and do not include the newline. */
2029 spec = save_string (p, p1 - p);
2030 p = p1;
2032 /* Delete backslash-newline sequences from the spec. */
2033 in = spec;
2034 out = spec;
2035 while (*in != 0)
2037 if (in[0] == '\\' && in[1] == '\n')
2038 in += 2;
2039 else if (in[0] == '#')
2040 while (*in && *in != '\n')
2041 in++;
2043 else
2044 *out++ = *in++;
2046 *out = 0;
2048 if (suffix[0] == '*')
2050 if (! strcmp (suffix, "*link_command"))
2051 link_command_spec = spec;
2052 else
2053 set_spec (suffix + 1, spec, user_p);
2055 else
2057 /* Add this pair to the vector. */
2058 compilers
2059 = XRESIZEVEC (struct compiler, compilers, n_compilers + 2);
2061 compilers[n_compilers].suffix = suffix;
2062 compilers[n_compilers].spec = spec;
2063 n_compilers++;
2064 memset (&compilers[n_compilers], 0, sizeof compilers[n_compilers]);
2067 if (*suffix == 0)
2068 link_command_spec = spec;
2071 if (link_command_spec == 0)
2072 fatal_error ("spec file has no spec for linking");
2075 /* Record the names of temporary files we tell compilers to write,
2076 and delete them at the end of the run. */
2078 /* This is the common prefix we use to make temp file names.
2079 It is chosen once for each run of this program.
2080 It is substituted into a spec by %g or %j.
2081 Thus, all temp file names contain this prefix.
2082 In practice, all temp file names start with this prefix.
2084 This prefix comes from the envvar TMPDIR if it is defined;
2085 otherwise, from the P_tmpdir macro if that is defined;
2086 otherwise, in /usr/tmp or /tmp;
2087 or finally the current directory if all else fails. */
2089 static const char *temp_filename;
2091 /* Length of the prefix. */
2093 static int temp_filename_length;
2095 /* Define the list of temporary files to delete. */
2097 struct temp_file
2099 const char *name;
2100 struct temp_file *next;
2103 /* Queue of files to delete on success or failure of compilation. */
2104 static struct temp_file *always_delete_queue;
2105 /* Queue of files to delete on failure of compilation. */
2106 static struct temp_file *failure_delete_queue;
2108 /* Record FILENAME as a file to be deleted automatically.
2109 ALWAYS_DELETE nonzero means delete it if all compilation succeeds;
2110 otherwise delete it in any case.
2111 FAIL_DELETE nonzero means delete it if a compilation step fails;
2112 otherwise delete it in any case. */
2114 void
2115 record_temp_file (const char *filename, int always_delete, int fail_delete)
2117 char *const name = xstrdup (filename);
2119 if (always_delete)
2121 struct temp_file *temp;
2122 for (temp = always_delete_queue; temp; temp = temp->next)
2123 if (! filename_cmp (name, temp->name))
2124 goto already1;
2126 temp = XNEW (struct temp_file);
2127 temp->next = always_delete_queue;
2128 temp->name = name;
2129 always_delete_queue = temp;
2131 already1:;
2134 if (fail_delete)
2136 struct temp_file *temp;
2137 for (temp = failure_delete_queue; temp; temp = temp->next)
2138 if (! filename_cmp (name, temp->name))
2140 free (name);
2141 goto already2;
2144 temp = XNEW (struct temp_file);
2145 temp->next = failure_delete_queue;
2146 temp->name = name;
2147 failure_delete_queue = temp;
2149 already2:;
2153 /* Delete all the temporary files whose names we previously recorded. */
2155 #ifndef DELETE_IF_ORDINARY
2156 #define DELETE_IF_ORDINARY(NAME,ST,VERBOSE_FLAG) \
2157 do \
2159 if (stat (NAME, &ST) >= 0 && S_ISREG (ST.st_mode)) \
2160 if (unlink (NAME) < 0) \
2161 if (VERBOSE_FLAG) \
2162 perror_with_name (NAME); \
2163 } while (0)
2164 #endif
2166 static void
2167 delete_if_ordinary (const char *name)
2169 struct stat st;
2170 #ifdef DEBUG
2171 int i, c;
2173 printf ("Delete %s? (y or n) ", name);
2174 fflush (stdout);
2175 i = getchar ();
2176 if (i != '\n')
2177 while ((c = getchar ()) != '\n' && c != EOF)
2180 if (i == 'y' || i == 'Y')
2181 #endif /* DEBUG */
2182 DELETE_IF_ORDINARY (name, st, verbose_flag);
2185 static void
2186 delete_temp_files (void)
2188 struct temp_file *temp;
2190 for (temp = always_delete_queue; temp; temp = temp->next)
2191 delete_if_ordinary (temp->name);
2192 always_delete_queue = 0;
2195 /* Delete all the files to be deleted on error. */
2197 static void
2198 delete_failure_queue (void)
2200 struct temp_file *temp;
2202 for (temp = failure_delete_queue; temp; temp = temp->next)
2203 delete_if_ordinary (temp->name);
2206 static void
2207 clear_failure_queue (void)
2209 failure_delete_queue = 0;
2212 /* Call CALLBACK for each path in PATHS, breaking out early if CALLBACK
2213 returns non-NULL.
2214 If DO_MULTI is true iterate over the paths twice, first with multilib
2215 suffix then without, otherwise iterate over the paths once without
2216 adding a multilib suffix. When DO_MULTI is true, some attempt is made
2217 to avoid visiting the same path twice, but we could do better. For
2218 instance, /usr/lib/../lib is considered different from /usr/lib.
2219 At least EXTRA_SPACE chars past the end of the path passed to
2220 CALLBACK are available for use by the callback.
2221 CALLBACK_INFO allows extra parameters to be passed to CALLBACK.
2223 Returns the value returned by CALLBACK. */
2225 static void *
2226 for_each_path (const struct path_prefix *paths,
2227 bool do_multi,
2228 size_t extra_space,
2229 void *(*callback) (char *, void *),
2230 void *callback_info)
2232 struct prefix_list *pl;
2233 const char *multi_dir = NULL;
2234 const char *multi_os_dir = NULL;
2235 const char *multiarch_suffix = NULL;
2236 const char *multi_suffix;
2237 const char *just_multi_suffix;
2238 char *path = NULL;
2239 void *ret = NULL;
2240 bool skip_multi_dir = false;
2241 bool skip_multi_os_dir = false;
2243 multi_suffix = machine_suffix;
2244 just_multi_suffix = just_machine_suffix;
2245 if (do_multi && multilib_dir && strcmp (multilib_dir, ".") != 0)
2247 multi_dir = concat (multilib_dir, dir_separator_str, NULL);
2248 multi_suffix = concat (multi_suffix, multi_dir, NULL);
2249 just_multi_suffix = concat (just_multi_suffix, multi_dir, NULL);
2251 if (do_multi && multilib_os_dir && strcmp (multilib_os_dir, ".") != 0)
2252 multi_os_dir = concat (multilib_os_dir, dir_separator_str, NULL);
2253 if (multiarch_dir)
2254 multiarch_suffix = concat (multiarch_dir, dir_separator_str, NULL);
2256 while (1)
2258 size_t multi_dir_len = 0;
2259 size_t multi_os_dir_len = 0;
2260 size_t multiarch_len = 0;
2261 size_t suffix_len;
2262 size_t just_suffix_len;
2263 size_t len;
2265 if (multi_dir)
2266 multi_dir_len = strlen (multi_dir);
2267 if (multi_os_dir)
2268 multi_os_dir_len = strlen (multi_os_dir);
2269 if (multiarch_suffix)
2270 multiarch_len = strlen (multiarch_suffix);
2271 suffix_len = strlen (multi_suffix);
2272 just_suffix_len = strlen (just_multi_suffix);
2274 if (path == NULL)
2276 len = paths->max_len + extra_space + 1;
2277 len += MAX (MAX (suffix_len, multi_os_dir_len), multiarch_len);
2278 path = XNEWVEC (char, len);
2281 for (pl = paths->plist; pl != 0; pl = pl->next)
2283 len = strlen (pl->prefix);
2284 memcpy (path, pl->prefix, len);
2286 /* Look first in MACHINE/VERSION subdirectory. */
2287 if (!skip_multi_dir)
2289 memcpy (path + len, multi_suffix, suffix_len + 1);
2290 ret = callback (path, callback_info);
2291 if (ret)
2292 break;
2295 /* Some paths are tried with just the machine (ie. target)
2296 subdir. This is used for finding as, ld, etc. */
2297 if (!skip_multi_dir
2298 && pl->require_machine_suffix == 2)
2300 memcpy (path + len, just_multi_suffix, just_suffix_len + 1);
2301 ret = callback (path, callback_info);
2302 if (ret)
2303 break;
2306 /* Now try the multiarch path. */
2307 if (!skip_multi_dir
2308 && !pl->require_machine_suffix && multiarch_dir)
2310 memcpy (path + len, multiarch_suffix, multiarch_len + 1);
2311 ret = callback (path, callback_info);
2312 if (ret)
2313 break;
2316 /* Now try the base path. */
2317 if (!pl->require_machine_suffix
2318 && !(pl->os_multilib ? skip_multi_os_dir : skip_multi_dir))
2320 const char *this_multi;
2321 size_t this_multi_len;
2323 if (pl->os_multilib)
2325 this_multi = multi_os_dir;
2326 this_multi_len = multi_os_dir_len;
2328 else
2330 this_multi = multi_dir;
2331 this_multi_len = multi_dir_len;
2334 if (this_multi_len)
2335 memcpy (path + len, this_multi, this_multi_len + 1);
2336 else
2337 path[len] = '\0';
2339 ret = callback (path, callback_info);
2340 if (ret)
2341 break;
2344 if (pl)
2345 break;
2347 if (multi_dir == NULL && multi_os_dir == NULL)
2348 break;
2350 /* Run through the paths again, this time without multilibs.
2351 Don't repeat any we have already seen. */
2352 if (multi_dir)
2354 free (CONST_CAST (char *, multi_dir));
2355 multi_dir = NULL;
2356 free (CONST_CAST (char *, multi_suffix));
2357 multi_suffix = machine_suffix;
2358 free (CONST_CAST (char *, just_multi_suffix));
2359 just_multi_suffix = just_machine_suffix;
2361 else
2362 skip_multi_dir = true;
2363 if (multi_os_dir)
2365 free (CONST_CAST (char *, multi_os_dir));
2366 multi_os_dir = NULL;
2368 else
2369 skip_multi_os_dir = true;
2372 if (multi_dir)
2374 free (CONST_CAST (char *, multi_dir));
2375 free (CONST_CAST (char *, multi_suffix));
2376 free (CONST_CAST (char *, just_multi_suffix));
2378 if (multi_os_dir)
2379 free (CONST_CAST (char *, multi_os_dir));
2380 if (ret != path)
2381 free (path);
2382 return ret;
2385 /* Callback for build_search_list. Adds path to obstack being built. */
2387 struct add_to_obstack_info {
2388 struct obstack *ob;
2389 bool check_dir;
2390 bool first_time;
2393 static void *
2394 add_to_obstack (char *path, void *data)
2396 struct add_to_obstack_info *info = (struct add_to_obstack_info *) data;
2398 if (info->check_dir && !is_directory (path, false))
2399 return NULL;
2401 if (!info->first_time)
2402 obstack_1grow (info->ob, PATH_SEPARATOR);
2404 obstack_grow (info->ob, path, strlen (path));
2406 info->first_time = false;
2407 return NULL;
2410 /* Add or change the value of an environment variable, outputting the
2411 change to standard error if in verbose mode. */
2412 static void
2413 xputenv (const char *string)
2415 if (verbose_flag)
2416 fnotice (stderr, "%s\n", string);
2417 putenv (CONST_CAST (char *, string));
2420 /* Build a list of search directories from PATHS.
2421 PREFIX is a string to prepend to the list.
2422 If CHECK_DIR_P is true we ensure the directory exists.
2423 If DO_MULTI is true, multilib paths are output first, then
2424 non-multilib paths.
2425 This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
2426 It is also used by the --print-search-dirs flag. */
2428 static char *
2429 build_search_list (const struct path_prefix *paths, const char *prefix,
2430 bool check_dir, bool do_multi)
2432 struct add_to_obstack_info info;
2434 info.ob = &collect_obstack;
2435 info.check_dir = check_dir;
2436 info.first_time = true;
2438 obstack_grow (&collect_obstack, prefix, strlen (prefix));
2439 obstack_1grow (&collect_obstack, '=');
2441 for_each_path (paths, do_multi, 0, add_to_obstack, &info);
2443 obstack_1grow (&collect_obstack, '\0');
2444 return XOBFINISH (&collect_obstack, char *);
2447 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
2448 for collect. */
2450 static void
2451 putenv_from_prefixes (const struct path_prefix *paths, const char *env_var,
2452 bool do_multi)
2454 xputenv (build_search_list (paths, env_var, true, do_multi));
2457 /* Check whether NAME can be accessed in MODE. This is like access,
2458 except that it never considers directories to be executable. */
2460 static int
2461 access_check (const char *name, int mode)
2463 if (mode == X_OK)
2465 struct stat st;
2467 if (stat (name, &st) < 0
2468 || S_ISDIR (st.st_mode))
2469 return -1;
2472 return access (name, mode);
2475 /* Callback for find_a_file. Appends the file name to the directory
2476 path. If the resulting file exists in the right mode, return the
2477 full pathname to the file. */
2479 struct file_at_path_info {
2480 const char *name;
2481 const char *suffix;
2482 int name_len;
2483 int suffix_len;
2484 int mode;
2487 static void *
2488 file_at_path (char *path, void *data)
2490 struct file_at_path_info *info = (struct file_at_path_info *) data;
2491 size_t len = strlen (path);
2493 memcpy (path + len, info->name, info->name_len);
2494 len += info->name_len;
2496 /* Some systems have a suffix for executable files.
2497 So try appending that first. */
2498 if (info->suffix_len)
2500 memcpy (path + len, info->suffix, info->suffix_len + 1);
2501 if (access_check (path, info->mode) == 0)
2502 return path;
2505 path[len] = '\0';
2506 if (access_check (path, info->mode) == 0)
2507 return path;
2509 return NULL;
2512 /* Search for NAME using the prefix list PREFIXES. MODE is passed to
2513 access to check permissions. If DO_MULTI is true, search multilib
2514 paths then non-multilib paths, otherwise do not search multilib paths.
2515 Return 0 if not found, otherwise return its name, allocated with malloc. */
2517 static char *
2518 find_a_file (const struct path_prefix *pprefix, const char *name, int mode,
2519 bool do_multi)
2521 struct file_at_path_info info;
2523 #ifdef DEFAULT_ASSEMBLER
2524 if (! strcmp (name, "as") && access (DEFAULT_ASSEMBLER, mode) == 0)
2525 return xstrdup (DEFAULT_ASSEMBLER);
2526 #endif
2528 #ifdef DEFAULT_LINKER
2529 if (! strcmp (name, "ld") && access (DEFAULT_LINKER, mode) == 0)
2530 return xstrdup (DEFAULT_LINKER);
2531 #endif
2533 /* Determine the filename to execute (special case for absolute paths). */
2535 if (IS_ABSOLUTE_PATH (name))
2537 if (access (name, mode) == 0)
2538 return xstrdup (name);
2540 return NULL;
2543 info.name = name;
2544 info.suffix = (mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "";
2545 info.name_len = strlen (info.name);
2546 info.suffix_len = strlen (info.suffix);
2547 info.mode = mode;
2549 return (char*) for_each_path (pprefix, do_multi,
2550 info.name_len + info.suffix_len,
2551 file_at_path, &info);
2554 /* Ranking of prefixes in the sort list. -B prefixes are put before
2555 all others. */
2557 enum path_prefix_priority
2559 PREFIX_PRIORITY_B_OPT,
2560 PREFIX_PRIORITY_LAST
2563 /* Add an entry for PREFIX in PLIST. The PLIST is kept in ascending
2564 order according to PRIORITY. Within each PRIORITY, new entries are
2565 appended.
2567 If WARN is nonzero, we will warn if no file is found
2568 through this prefix. WARN should point to an int
2569 which will be set to 1 if this entry is used.
2571 COMPONENT is the value to be passed to update_path.
2573 REQUIRE_MACHINE_SUFFIX is 1 if this prefix can't be used without
2574 the complete value of machine_suffix.
2575 2 means try both machine_suffix and just_machine_suffix. */
2577 static void
2578 add_prefix (struct path_prefix *pprefix, const char *prefix,
2579 const char *component, /* enum prefix_priority */ int priority,
2580 int require_machine_suffix, int os_multilib)
2582 struct prefix_list *pl, **prev;
2583 int len;
2585 for (prev = &pprefix->plist;
2586 (*prev) != NULL && (*prev)->priority <= priority;
2587 prev = &(*prev)->next)
2590 /* Keep track of the longest prefix. */
2592 prefix = update_path (prefix, component);
2593 len = strlen (prefix);
2594 if (len > pprefix->max_len)
2595 pprefix->max_len = len;
2597 pl = XNEW (struct prefix_list);
2598 pl->prefix = prefix;
2599 pl->require_machine_suffix = require_machine_suffix;
2600 pl->priority = priority;
2601 pl->os_multilib = os_multilib;
2603 /* Insert after PREV. */
2604 pl->next = (*prev);
2605 (*prev) = pl;
2608 /* Same as add_prefix, but prepending target_system_root to prefix. */
2609 /* The target_system_root prefix has been relocated by gcc_exec_prefix. */
2610 static void
2611 add_sysrooted_prefix (struct path_prefix *pprefix, const char *prefix,
2612 const char *component,
2613 /* enum prefix_priority */ int priority,
2614 int require_machine_suffix, int os_multilib)
2616 if (!IS_ABSOLUTE_PATH (prefix))
2617 fatal_error ("system path %qs is not absolute", prefix);
2619 if (target_system_root)
2621 char *sysroot_no_trailing_dir_separator = xstrdup (target_system_root);
2622 size_t sysroot_len = strlen (target_system_root);
2624 if (sysroot_len > 0
2625 && target_system_root[sysroot_len - 1] == DIR_SEPARATOR)
2626 sysroot_no_trailing_dir_separator[sysroot_len - 1] = '\0';
2628 if (target_sysroot_suffix)
2629 prefix = concat (sysroot_no_trailing_dir_separator,
2630 target_sysroot_suffix, prefix, NULL);
2631 else
2632 prefix = concat (sysroot_no_trailing_dir_separator, prefix, NULL);
2634 free (sysroot_no_trailing_dir_separator);
2636 /* We have to override this because GCC's notion of sysroot
2637 moves along with GCC. */
2638 component = "GCC";
2641 add_prefix (pprefix, prefix, component, priority,
2642 require_machine_suffix, os_multilib);
2645 /* Execute the command specified by the arguments on the current line of spec.
2646 When using pipes, this includes several piped-together commands
2647 with `|' between them.
2649 Return 0 if successful, -1 if failed. */
2651 static int
2652 execute (void)
2654 int i;
2655 int n_commands; /* # of command. */
2656 char *string;
2657 struct pex_obj *pex;
2658 struct command
2660 const char *prog; /* program name. */
2661 const char **argv; /* vector of args. */
2663 const char *arg;
2665 struct command *commands; /* each command buffer with above info. */
2667 gcc_assert (!processing_spec_function);
2669 if (wrapper_string)
2671 string = find_a_file (&exec_prefixes,
2672 argbuf[0], X_OK, false);
2673 if (string)
2674 argbuf[0] = string;
2675 insert_wrapper (wrapper_string);
2678 /* Count # of piped commands. */
2679 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2680 if (strcmp (arg, "|") == 0)
2681 n_commands++;
2683 /* Get storage for each command. */
2684 commands = (struct command *) alloca (n_commands * sizeof (struct command));
2686 /* Split argbuf into its separate piped processes,
2687 and record info about each one.
2688 Also search for the programs that are to be run. */
2690 argbuf.safe_push (0);
2692 commands[0].prog = argbuf[0]; /* first command. */
2693 commands[0].argv = argbuf.address ();
2695 if (!wrapper_string)
2697 string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, false);
2698 commands[0].argv[0] = (string) ? string : commands[0].argv[0];
2701 for (n_commands = 1, i = 0; argbuf.iterate (i, &arg); i++)
2702 if (arg && strcmp (arg, "|") == 0)
2703 { /* each command. */
2704 #if defined (__MSDOS__) || defined (OS2) || defined (VMS)
2705 fatal_error ("-pipe not supported");
2706 #endif
2707 argbuf[i] = 0; /* Termination of
2708 command args. */
2709 commands[n_commands].prog = argbuf[i + 1];
2710 commands[n_commands].argv
2711 = &(argbuf.address ())[i + 1];
2712 string = find_a_file (&exec_prefixes, commands[n_commands].prog,
2713 X_OK, false);
2714 if (string)
2715 commands[n_commands].argv[0] = string;
2716 n_commands++;
2719 /* If -v, print what we are about to do, and maybe query. */
2721 if (verbose_flag)
2723 /* For help listings, put a blank line between sub-processes. */
2724 if (print_help_list)
2725 fputc ('\n', stderr);
2727 /* Print each piped command as a separate line. */
2728 for (i = 0; i < n_commands; i++)
2730 const char *const *j;
2732 if (verbose_only_flag)
2734 for (j = commands[i].argv; *j; j++)
2736 const char *p;
2737 for (p = *j; *p; ++p)
2738 if (!ISALNUM ((unsigned char) *p)
2739 && *p != '_' && *p != '/' && *p != '-' && *p != '.')
2740 break;
2741 if (*p || !*j)
2743 fprintf (stderr, " \"");
2744 for (p = *j; *p; ++p)
2746 if (*p == '"' || *p == '\\' || *p == '$')
2747 fputc ('\\', stderr);
2748 fputc (*p, stderr);
2750 fputc ('"', stderr);
2752 /* If it's empty, print "". */
2753 else if (!**j)
2754 fprintf (stderr, " \"\"");
2755 else
2756 fprintf (stderr, " %s", *j);
2759 else
2760 for (j = commands[i].argv; *j; j++)
2761 /* If it's empty, print "". */
2762 if (!**j)
2763 fprintf (stderr, " \"\"");
2764 else
2765 fprintf (stderr, " %s", *j);
2767 /* Print a pipe symbol after all but the last command. */
2768 if (i + 1 != n_commands)
2769 fprintf (stderr, " |");
2770 fprintf (stderr, "\n");
2772 fflush (stderr);
2773 if (verbose_only_flag != 0)
2775 /* verbose_only_flag should act as if the spec was
2776 executed, so increment execution_count before
2777 returning. This prevents spurious warnings about
2778 unused linker input files, etc. */
2779 execution_count++;
2780 return 0;
2782 #ifdef DEBUG
2783 fnotice (stderr, "\nGo ahead? (y or n) ");
2784 fflush (stderr);
2785 i = getchar ();
2786 if (i != '\n')
2787 while (getchar () != '\n')
2790 if (i != 'y' && i != 'Y')
2791 return 0;
2792 #endif /* DEBUG */
2795 #ifdef ENABLE_VALGRIND_CHECKING
2796 /* Run the each command through valgrind. To simplify prepending the
2797 path to valgrind and the option "-q" (for quiet operation unless
2798 something triggers), we allocate a separate argv array. */
2800 for (i = 0; i < n_commands; i++)
2802 const char **argv;
2803 int argc;
2804 int j;
2806 for (argc = 0; commands[i].argv[argc] != NULL; argc++)
2809 argv = XALLOCAVEC (const char *, argc + 3);
2811 argv[0] = VALGRIND_PATH;
2812 argv[1] = "-q";
2813 for (j = 2; j < argc + 2; j++)
2814 argv[j] = commands[i].argv[j - 2];
2815 argv[j] = NULL;
2817 commands[i].argv = argv;
2818 commands[i].prog = argv[0];
2820 #endif
2822 /* Run each piped subprocess. */
2824 pex = pex_init (PEX_USE_PIPES | ((report_times || report_times_to_file)
2825 ? PEX_RECORD_TIMES : 0),
2826 progname, temp_filename);
2827 if (pex == NULL)
2828 fatal_error ("pex_init failed: %m");
2830 for (i = 0; i < n_commands; i++)
2832 const char *errmsg;
2833 int err;
2834 const char *string = commands[i].argv[0];
2836 errmsg = pex_run (pex,
2837 ((i + 1 == n_commands ? PEX_LAST : 0)
2838 | (string == commands[i].prog ? PEX_SEARCH : 0)),
2839 string, CONST_CAST (char **, commands[i].argv),
2840 NULL, NULL, &err);
2841 if (errmsg != NULL)
2843 if (err == 0)
2844 fatal_error (errmsg);
2845 else
2847 errno = err;
2848 pfatal_with_name (errmsg);
2852 if (string != commands[i].prog)
2853 free (CONST_CAST (char *, string));
2856 execution_count++;
2858 /* Wait for all the subprocesses to finish. */
2861 int *statuses;
2862 struct pex_time *times = NULL;
2863 int ret_code = 0;
2865 statuses = (int *) alloca (n_commands * sizeof (int));
2866 if (!pex_get_status (pex, n_commands, statuses))
2867 fatal_error ("failed to get exit status: %m");
2869 if (report_times || report_times_to_file)
2871 times = (struct pex_time *) alloca (n_commands * sizeof (struct pex_time));
2872 if (!pex_get_times (pex, n_commands, times))
2873 fatal_error ("failed to get process times: %m");
2876 pex_free (pex);
2878 for (i = 0; i < n_commands; ++i)
2880 int status = statuses[i];
2882 if (WIFSIGNALED (status))
2884 #ifdef SIGPIPE
2885 /* SIGPIPE is a special case. It happens in -pipe mode
2886 when the compiler dies before the preprocessor is done,
2887 or the assembler dies before the compiler is done.
2888 There's generally been an error already, and this is
2889 just fallout. So don't generate another error unless
2890 we would otherwise have succeeded. */
2891 if (WTERMSIG (status) == SIGPIPE
2892 && (signal_count || greatest_status >= MIN_FATAL_STATUS))
2894 signal_count++;
2895 ret_code = -1;
2897 else
2898 #endif
2899 internal_error ("%s (program %s)",
2900 strsignal (WTERMSIG (status)), commands[i].prog);
2902 else if (WIFEXITED (status)
2903 && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
2905 if (WEXITSTATUS (status) > greatest_status)
2906 greatest_status = WEXITSTATUS (status);
2907 ret_code = -1;
2910 if (report_times || report_times_to_file)
2912 struct pex_time *pt = &times[i];
2913 double ut, st;
2915 ut = ((double) pt->user_seconds
2916 + (double) pt->user_microseconds / 1.0e6);
2917 st = ((double) pt->system_seconds
2918 + (double) pt->system_microseconds / 1.0e6);
2920 if (ut + st != 0)
2922 if (report_times)
2923 fnotice (stderr, "# %s %.2f %.2f\n",
2924 commands[i].prog, ut, st);
2926 if (report_times_to_file)
2928 int c = 0;
2929 const char *const *j;
2931 fprintf (report_times_to_file, "%g %g", ut, st);
2933 for (j = &commands[i].prog; *j; j = &commands[i].argv[++c])
2935 const char *p;
2936 for (p = *j; *p; ++p)
2937 if (*p == '"' || *p == '\\' || *p == '$'
2938 || ISSPACE (*p))
2939 break;
2941 if (*p)
2943 fprintf (report_times_to_file, " \"");
2944 for (p = *j; *p; ++p)
2946 if (*p == '"' || *p == '\\' || *p == '$')
2947 fputc ('\\', report_times_to_file);
2948 fputc (*p, report_times_to_file);
2950 fputc ('"', report_times_to_file);
2952 else
2953 fprintf (report_times_to_file, " %s", *j);
2956 fputc ('\n', report_times_to_file);
2962 return ret_code;
2966 /* Find all the switches given to us
2967 and make a vector describing them.
2968 The elements of the vector are strings, one per switch given.
2969 If a switch uses following arguments, then the `part1' field
2970 is the switch itself and the `args' field
2971 is a null-terminated vector containing the following arguments.
2972 Bits in the `live_cond' field are:
2973 SWITCH_LIVE to indicate this switch is true in a conditional spec.
2974 SWITCH_FALSE to indicate this switch is overridden by a later switch.
2975 SWITCH_IGNORE to indicate this switch should be ignored (used in %<S).
2976 SWITCH_IGNORE_PERMANENTLY to indicate this switch should be ignored
2977 in all do_spec calls afterwards. Used for %<S from self specs.
2978 The `validated' field is nonzero if any spec has looked at this switch;
2979 if it remains zero at the end of the run, it must be meaningless. */
2981 #define SWITCH_LIVE (1 << 0)
2982 #define SWITCH_FALSE (1 << 1)
2983 #define SWITCH_IGNORE (1 << 2)
2984 #define SWITCH_IGNORE_PERMANENTLY (1 << 3)
2985 #define SWITCH_KEEP_FOR_GCC (1 << 4)
2987 struct switchstr
2989 const char *part1;
2990 const char **args;
2991 unsigned int live_cond;
2992 bool known;
2993 bool validated;
2994 bool ordering;
2997 static struct switchstr *switches;
2999 static int n_switches;
3001 static int n_switches_alloc;
3003 /* Set to zero if -fcompare-debug is disabled, positive if it's
3004 enabled and we're running the first compilation, negative if it's
3005 enabled and we're running the second compilation. For most of the
3006 time, it's in the range -1..1, but it can be temporarily set to 2
3007 or 3 to indicate that the -fcompare-debug flags didn't come from
3008 the command-line, but rather from the GCC_COMPARE_DEBUG environment
3009 variable, until a synthesized -fcompare-debug flag is added to the
3010 command line. */
3011 int compare_debug;
3013 /* Set to nonzero if we've seen the -fcompare-debug-second flag. */
3014 int compare_debug_second;
3016 /* Set to the flags that should be passed to the second compilation in
3017 a -fcompare-debug compilation. */
3018 const char *compare_debug_opt;
3020 static struct switchstr *switches_debug_check[2];
3022 static int n_switches_debug_check[2];
3024 static int n_switches_alloc_debug_check[2];
3026 static char *debug_check_temp_file[2];
3028 /* Language is one of three things:
3030 1) The name of a real programming language.
3031 2) NULL, indicating that no one has figured out
3032 what it is yet.
3033 3) '*', indicating that the file should be passed
3034 to the linker. */
3035 struct infile
3037 const char *name;
3038 const char *language;
3039 struct compiler *incompiler;
3040 bool compiled;
3041 bool preprocessed;
3044 /* Also a vector of input files specified. */
3046 static struct infile *infiles;
3048 int n_infiles;
3050 static int n_infiles_alloc;
3052 /* True if multiple input files are being compiled to a single
3053 assembly file. */
3055 static bool combine_inputs;
3057 /* This counts the number of libraries added by lang_specific_driver, so that
3058 we can tell if there were any user supplied any files or libraries. */
3060 static int added_libraries;
3062 /* And a vector of corresponding output files is made up later. */
3064 const char **outfiles;
3066 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3068 /* Convert NAME to a new name if it is the standard suffix. DO_EXE
3069 is true if we should look for an executable suffix. DO_OBJ
3070 is true if we should look for an object suffix. */
3072 static const char *
3073 convert_filename (const char *name, int do_exe ATTRIBUTE_UNUSED,
3074 int do_obj ATTRIBUTE_UNUSED)
3076 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3077 int i;
3078 #endif
3079 int len;
3081 if (name == NULL)
3082 return NULL;
3084 len = strlen (name);
3086 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3087 /* Convert x.o to x.obj if TARGET_OBJECT_SUFFIX is ".obj". */
3088 if (do_obj && len > 2
3089 && name[len - 2] == '.'
3090 && name[len - 1] == 'o')
3092 obstack_grow (&obstack, name, len - 2);
3093 obstack_grow0 (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
3094 name = XOBFINISH (&obstack, const char *);
3096 #endif
3098 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
3099 /* If there is no filetype, make it the executable suffix (which includes
3100 the "."). But don't get confused if we have just "-o". */
3101 if (! do_exe || TARGET_EXECUTABLE_SUFFIX[0] == 0 || (len == 2 && name[0] == '-'))
3102 return name;
3104 for (i = len - 1; i >= 0; i--)
3105 if (IS_DIR_SEPARATOR (name[i]))
3106 break;
3108 for (i++; i < len; i++)
3109 if (name[i] == '.')
3110 return name;
3112 obstack_grow (&obstack, name, len);
3113 obstack_grow0 (&obstack, TARGET_EXECUTABLE_SUFFIX,
3114 strlen (TARGET_EXECUTABLE_SUFFIX));
3115 name = XOBFINISH (&obstack, const char *);
3116 #endif
3118 return name;
3120 #endif
3122 /* Display the command line switches accepted by gcc. */
3123 static void
3124 display_help (void)
3126 printf (_("Usage: %s [options] file...\n"), progname);
3127 fputs (_("Options:\n"), stdout);
3129 fputs (_(" -pass-exit-codes Exit with highest error code from a phase\n"), stdout);
3130 fputs (_(" --help Display this information\n"), stdout);
3131 fputs (_(" --target-help Display target specific command line options\n"), stdout);
3132 fputs (_(" --help={common|optimizers|params|target|warnings|[^]{joined|separate|undocumented}}[,...]\n"), stdout);
3133 fputs (_(" Display specific types of command line options\n"), stdout);
3134 if (! verbose_flag)
3135 fputs (_(" (Use '-v --help' to display command line options of sub-processes)\n"), stdout);
3136 fputs (_(" --version Display compiler version information\n"), stdout);
3137 fputs (_(" -dumpspecs Display all of the built in spec strings\n"), stdout);
3138 fputs (_(" -dumpversion Display the version of the compiler\n"), stdout);
3139 fputs (_(" -dumpmachine Display the compiler's target processor\n"), stdout);
3140 fputs (_(" -print-search-dirs Display the directories in the compiler's search path\n"), stdout);
3141 fputs (_(" -print-libgcc-file-name Display the name of the compiler's companion library\n"), stdout);
3142 fputs (_(" -print-file-name=<lib> Display the full path to library <lib>\n"), stdout);
3143 fputs (_(" -print-prog-name=<prog> Display the full path to compiler component <prog>\n"), stdout);
3144 fputs (_("\
3145 -print-multiarch Display the target's normalized GNU triplet, used as\n\
3146 a component in the library path\n"), stdout);
3147 fputs (_(" -print-multi-directory Display the root directory for versions of libgcc\n"), stdout);
3148 fputs (_("\
3149 -print-multi-lib Display the mapping between command line options and\n\
3150 multiple library search directories\n"), stdout);
3151 fputs (_(" -print-multi-os-directory Display the relative path to OS libraries\n"), stdout);
3152 fputs (_(" -print-sysroot Display the target libraries directory\n"), stdout);
3153 fputs (_(" -print-sysroot-headers-suffix Display the sysroot suffix used to find headers\n"), stdout);
3154 fputs (_(" -Wa,<options> Pass comma-separated <options> on to the assembler\n"), stdout);
3155 fputs (_(" -Wp,<options> Pass comma-separated <options> on to the preprocessor\n"), stdout);
3156 fputs (_(" -Wl,<options> Pass comma-separated <options> on to the linker\n"), stdout);
3157 fputs (_(" -Xassembler <arg> Pass <arg> on to the assembler\n"), stdout);
3158 fputs (_(" -Xpreprocessor <arg> Pass <arg> on to the preprocessor\n"), stdout);
3159 fputs (_(" -Xlinker <arg> Pass <arg> on to the linker\n"), stdout);
3160 fputs (_(" -save-temps Do not delete intermediate files\n"), stdout);
3161 fputs (_(" -save-temps=<arg> Do not delete intermediate files\n"), stdout);
3162 fputs (_("\
3163 -no-canonical-prefixes Do not canonicalize paths when building relative\n\
3164 prefixes to other gcc components\n"), stdout);
3165 fputs (_(" -pipe Use pipes rather than intermediate files\n"), stdout);
3166 fputs (_(" -time Time the execution of each subprocess\n"), stdout);
3167 fputs (_(" -specs=<file> Override built-in specs with the contents of <file>\n"), stdout);
3168 fputs (_(" -std=<standard> Assume that the input sources are for <standard>\n"), stdout);
3169 fputs (_("\
3170 --sysroot=<directory> Use <directory> as the root directory for headers\n\
3171 and libraries\n"), stdout);
3172 fputs (_(" -B <directory> Add <directory> to the compiler's search paths\n"), stdout);
3173 fputs (_(" -v Display the programs invoked by the compiler\n"), stdout);
3174 fputs (_(" -### Like -v but options quoted and commands not executed\n"), stdout);
3175 fputs (_(" -E Preprocess only; do not compile, assemble or link\n"), stdout);
3176 fputs (_(" -S Compile only; do not assemble or link\n"), stdout);
3177 fputs (_(" -c Compile and assemble, but do not link\n"), stdout);
3178 fputs (_(" -o <file> Place the output into <file>\n"), stdout);
3179 fputs (_(" -pie Create a position independent executable\n"), stdout);
3180 fputs (_(" -shared Create a shared library\n"), stdout);
3181 fputs (_("\
3182 -x <language> Specify the language of the following input files\n\
3183 Permissible languages include: c c++ assembler none\n\
3184 'none' means revert to the default behavior of\n\
3185 guessing the language based on the file's extension\n\
3186 "), stdout);
3188 printf (_("\
3189 \nOptions starting with -g, -f, -m, -O, -W, or --param are automatically\n\
3190 passed on to the various sub-processes invoked by %s. In order to pass\n\
3191 other options on to these processes the -W<letter> options must be used.\n\
3192 "), progname);
3194 /* The rest of the options are displayed by invocations of the various
3195 sub-processes. */
3198 static void
3199 add_preprocessor_option (const char *option, int len)
3201 preprocessor_options.safe_push (save_string (option, len));
3204 static void
3205 add_assembler_option (const char *option, int len)
3207 assembler_options.safe_push (save_string (option, len));
3210 static void
3211 add_linker_option (const char *option, int len)
3213 linker_options.safe_push (save_string (option, len));
3216 /* Allocate space for an input file in infiles. */
3218 static void
3219 alloc_infile (void)
3221 if (n_infiles_alloc == 0)
3223 n_infiles_alloc = 16;
3224 infiles = XNEWVEC (struct infile, n_infiles_alloc);
3226 else if (n_infiles_alloc == n_infiles)
3228 n_infiles_alloc *= 2;
3229 infiles = XRESIZEVEC (struct infile, infiles, n_infiles_alloc);
3233 /* Store an input file with the given NAME and LANGUAGE in
3234 infiles. */
3236 static void
3237 add_infile (const char *name, const char *language)
3239 alloc_infile ();
3240 infiles[n_infiles].name = name;
3241 infiles[n_infiles++].language = language;
3244 /* Allocate space for a switch in switches. */
3246 static void
3247 alloc_switch (void)
3249 if (n_switches_alloc == 0)
3251 n_switches_alloc = 16;
3252 switches = XNEWVEC (struct switchstr, n_switches_alloc);
3254 else if (n_switches_alloc == n_switches)
3256 n_switches_alloc *= 2;
3257 switches = XRESIZEVEC (struct switchstr, switches, n_switches_alloc);
3261 /* Save an option OPT with N_ARGS arguments in array ARGS, marking it
3262 as validated if VALIDATED and KNOWN if it is an internal switch. */
3264 static void
3265 save_switch (const char *opt, size_t n_args, const char *const *args,
3266 bool validated, bool known)
3268 alloc_switch ();
3269 switches[n_switches].part1 = opt + 1;
3270 if (n_args == 0)
3271 switches[n_switches].args = 0;
3272 else
3274 switches[n_switches].args = XNEWVEC (const char *, n_args + 1);
3275 memcpy (switches[n_switches].args, args, n_args * sizeof (const char *));
3276 switches[n_switches].args[n_args] = NULL;
3279 switches[n_switches].live_cond = 0;
3280 switches[n_switches].validated = validated;
3281 switches[n_switches].known = known;
3282 switches[n_switches].ordering = 0;
3283 n_switches++;
3286 /* Handle an option DECODED that is unknown to the option-processing
3287 machinery. */
3289 static bool
3290 driver_unknown_option_callback (const struct cl_decoded_option *decoded)
3292 const char *opt = decoded->arg;
3293 if (opt[1] == 'W' && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-'
3294 && !(decoded->errors & CL_ERR_NEGATIVE))
3296 /* Leave unknown -Wno-* options for the compiler proper, to be
3297 diagnosed only if there are warnings. */
3298 save_switch (decoded->canonical_option[0],
3299 decoded->canonical_option_num_elements - 1,
3300 &decoded->canonical_option[1], false, true);
3301 return false;
3303 if (decoded->opt_index == OPT_SPECIAL_unknown)
3305 /* Give it a chance to define it a a spec file. */
3306 save_switch (decoded->canonical_option[0],
3307 decoded->canonical_option_num_elements - 1,
3308 &decoded->canonical_option[1], false, false);
3309 return false;
3311 else
3312 return true;
3315 /* Handle an option DECODED that is not marked as CL_DRIVER.
3316 LANG_MASK will always be CL_DRIVER. */
3318 static void
3319 driver_wrong_lang_callback (const struct cl_decoded_option *decoded,
3320 unsigned int lang_mask ATTRIBUTE_UNUSED)
3322 /* At this point, non-driver options are accepted (and expected to
3323 be passed down by specs) unless marked to be rejected by the
3324 driver. Options to be rejected by the driver but accepted by the
3325 compilers proper are treated just like completely unknown
3326 options. */
3327 const struct cl_option *option = &cl_options[decoded->opt_index];
3329 if (option->cl_reject_driver)
3330 error ("unrecognized command line option %qs",
3331 decoded->orig_option_with_args_text);
3332 else
3333 save_switch (decoded->canonical_option[0],
3334 decoded->canonical_option_num_elements - 1,
3335 &decoded->canonical_option[1], false, true);
3338 static const char *spec_lang = 0;
3339 static int last_language_n_infiles;
3341 /* Handle a driver option; arguments and return value as for
3342 handle_option. */
3344 static bool
3345 driver_handle_option (struct gcc_options *opts,
3346 struct gcc_options *opts_set,
3347 const struct cl_decoded_option *decoded,
3348 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
3349 location_t loc,
3350 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED,
3351 diagnostic_context *dc)
3353 size_t opt_index = decoded->opt_index;
3354 const char *arg = decoded->arg;
3355 const char *compare_debug_replacement_opt;
3356 int value = decoded->value;
3357 bool validated = false;
3358 bool do_save = true;
3360 gcc_assert (opts == &global_options);
3361 gcc_assert (opts_set == &global_options_set);
3362 gcc_assert (kind == DK_UNSPECIFIED);
3363 gcc_assert (loc == UNKNOWN_LOCATION);
3364 gcc_assert (dc == global_dc);
3366 switch (opt_index)
3368 case OPT_dumpspecs:
3370 struct spec_list *sl;
3371 init_spec ();
3372 for (sl = specs; sl; sl = sl->next)
3373 printf ("*%s:\n%s\n\n", sl->name, *(sl->ptr_spec));
3374 if (link_command_spec)
3375 printf ("*link_command:\n%s\n\n", link_command_spec);
3376 exit (0);
3379 case OPT_dumpversion:
3380 printf ("%s\n", spec_version);
3381 exit (0);
3383 case OPT_dumpmachine:
3384 printf ("%s\n", spec_machine);
3385 exit (0);
3387 case OPT__version:
3388 print_version = 1;
3390 /* CPP driver cannot obtain switch from cc1_options. */
3391 if (is_cpp_driver)
3392 add_preprocessor_option ("--version", strlen ("--version"));
3393 add_assembler_option ("--version", strlen ("--version"));
3394 add_linker_option ("--version", strlen ("--version"));
3395 break;
3397 case OPT__help:
3398 print_help_list = 1;
3400 /* CPP driver cannot obtain switch from cc1_options. */
3401 if (is_cpp_driver)
3402 add_preprocessor_option ("--help", 6);
3403 add_assembler_option ("--help", 6);
3404 add_linker_option ("--help", 6);
3405 break;
3407 case OPT__help_:
3408 print_subprocess_help = 2;
3409 break;
3411 case OPT__target_help:
3412 print_subprocess_help = 1;
3414 /* CPP driver cannot obtain switch from cc1_options. */
3415 if (is_cpp_driver)
3416 add_preprocessor_option ("--target-help", 13);
3417 add_assembler_option ("--target-help", 13);
3418 add_linker_option ("--target-help", 13);
3419 break;
3421 case OPT__no_sysroot_suffix:
3422 case OPT_pass_exit_codes:
3423 case OPT_print_search_dirs:
3424 case OPT_print_file_name_:
3425 case OPT_print_prog_name_:
3426 case OPT_print_multi_lib:
3427 case OPT_print_multi_directory:
3428 case OPT_print_sysroot:
3429 case OPT_print_multi_os_directory:
3430 case OPT_print_multiarch:
3431 case OPT_print_sysroot_headers_suffix:
3432 case OPT_time:
3433 case OPT_wrapper:
3434 /* These options set the variables specified in common.opt
3435 automatically, and do not need to be saved for spec
3436 processing. */
3437 do_save = false;
3438 break;
3440 case OPT_print_libgcc_file_name:
3441 print_file_name = "libgcc.a";
3442 do_save = false;
3443 break;
3445 case OPT_fuse_ld_bfd:
3446 use_ld = ".bfd";
3447 break;
3449 case OPT_fuse_ld_gold:
3450 use_ld = ".gold";
3451 break;
3453 case OPT_fcompare_debug_second:
3454 compare_debug_second = 1;
3455 break;
3457 case OPT_fcompare_debug:
3458 switch (value)
3460 case 0:
3461 compare_debug_replacement_opt = "-fcompare-debug=";
3462 arg = "";
3463 goto compare_debug_with_arg;
3465 case 1:
3466 compare_debug_replacement_opt = "-fcompare-debug=-gtoggle";
3467 arg = "-gtoggle";
3468 goto compare_debug_with_arg;
3470 default:
3471 gcc_unreachable ();
3473 break;
3475 case OPT_fcompare_debug_:
3476 compare_debug_replacement_opt = decoded->canonical_option[0];
3477 compare_debug_with_arg:
3478 gcc_assert (decoded->canonical_option_num_elements == 1);
3479 gcc_assert (arg != NULL);
3480 if (*arg)
3481 compare_debug = 1;
3482 else
3483 compare_debug = -1;
3484 if (compare_debug < 0)
3485 compare_debug_opt = NULL;
3486 else
3487 compare_debug_opt = arg;
3488 save_switch (compare_debug_replacement_opt, 0, NULL, validated, true);
3489 return true;
3491 case OPT_Wa_:
3493 int prev, j;
3494 /* Pass the rest of this option to the assembler. */
3496 /* Split the argument at commas. */
3497 prev = 0;
3498 for (j = 0; arg[j]; j++)
3499 if (arg[j] == ',')
3501 add_assembler_option (arg + prev, j - prev);
3502 prev = j + 1;
3505 /* Record the part after the last comma. */
3506 add_assembler_option (arg + prev, j - prev);
3508 do_save = false;
3509 break;
3511 case OPT_Wp_:
3513 int prev, j;
3514 /* Pass the rest of this option to the preprocessor. */
3516 /* Split the argument at commas. */
3517 prev = 0;
3518 for (j = 0; arg[j]; j++)
3519 if (arg[j] == ',')
3521 add_preprocessor_option (arg + prev, j - prev);
3522 prev = j + 1;
3525 /* Record the part after the last comma. */
3526 add_preprocessor_option (arg + prev, j - prev);
3528 do_save = false;
3529 break;
3531 case OPT_Wl_:
3533 int prev, j;
3534 /* Split the argument at commas. */
3535 prev = 0;
3536 for (j = 0; arg[j]; j++)
3537 if (arg[j] == ',')
3539 add_infile (save_string (arg + prev, j - prev), "*");
3540 prev = j + 1;
3542 /* Record the part after the last comma. */
3543 add_infile (arg + prev, "*");
3545 do_save = false;
3546 break;
3548 case OPT_Xlinker:
3549 add_infile (arg, "*");
3550 do_save = false;
3551 break;
3553 case OPT_Xpreprocessor:
3554 add_preprocessor_option (arg, strlen (arg));
3555 do_save = false;
3556 break;
3558 case OPT_Xassembler:
3559 add_assembler_option (arg, strlen (arg));
3560 do_save = false;
3561 break;
3563 case OPT_l:
3564 /* POSIX allows separation of -l and the lib arg; canonicalize
3565 by concatenating -l with its arg */
3566 add_infile (concat ("-l", arg, NULL), "*");
3567 do_save = false;
3568 break;
3570 case OPT_L:
3571 /* Similarly, canonicalize -L for linkers that may not accept
3572 separate arguments. */
3573 save_switch (concat ("-L", arg, NULL), 0, NULL, validated, true);
3574 return true;
3576 case OPT_F:
3577 /* Likewise -F. */
3578 save_switch (concat ("-F", arg, NULL), 0, NULL, validated, true);
3579 return true;
3581 case OPT_save_temps:
3582 save_temps_flag = SAVE_TEMPS_CWD;
3583 validated = true;
3584 break;
3586 case OPT_save_temps_:
3587 if (strcmp (arg, "cwd") == 0)
3588 save_temps_flag = SAVE_TEMPS_CWD;
3589 else if (strcmp (arg, "obj") == 0
3590 || strcmp (arg, "object") == 0)
3591 save_temps_flag = SAVE_TEMPS_OBJ;
3592 else
3593 fatal_error ("%qs is an unknown -save-temps option",
3594 decoded->orig_option_with_args_text);
3595 break;
3597 case OPT_no_canonical_prefixes:
3598 /* Already handled as a special case, so ignored here. */
3599 do_save = false;
3600 break;
3602 case OPT_pipe:
3603 validated = true;
3604 /* These options set the variables specified in common.opt
3605 automatically, but do need to be saved for spec
3606 processing. */
3607 break;
3609 case OPT_specs_:
3611 struct user_specs *user = XNEW (struct user_specs);
3613 user->next = (struct user_specs *) 0;
3614 user->filename = arg;
3615 if (user_specs_tail)
3616 user_specs_tail->next = user;
3617 else
3618 user_specs_head = user;
3619 user_specs_tail = user;
3621 validated = true;
3622 break;
3624 case OPT__sysroot_:
3625 target_system_root = arg;
3626 target_system_root_changed = 1;
3627 do_save = false;
3628 break;
3630 case OPT_time_:
3631 if (report_times_to_file)
3632 fclose (report_times_to_file);
3633 report_times_to_file = fopen (arg, "a");
3634 do_save = false;
3635 break;
3637 case OPT____:
3638 /* "-###"
3639 This is similar to -v except that there is no execution
3640 of the commands and the echoed arguments are quoted. It
3641 is intended for use in shell scripts to capture the
3642 driver-generated command line. */
3643 verbose_only_flag++;
3644 verbose_flag = 1;
3645 do_save = false;
3646 break;
3648 case OPT_B:
3650 size_t len = strlen (arg);
3652 /* Catch the case where the user has forgotten to append a
3653 directory separator to the path. Note, they may be using
3654 -B to add an executable name prefix, eg "i386-elf-", in
3655 order to distinguish between multiple installations of
3656 GCC in the same directory. Hence we must check to see
3657 if appending a directory separator actually makes a
3658 valid directory name. */
3659 if (!IS_DIR_SEPARATOR (arg[len - 1])
3660 && is_directory (arg, false))
3662 char *tmp = XNEWVEC (char, len + 2);
3663 strcpy (tmp, arg);
3664 tmp[len] = DIR_SEPARATOR;
3665 tmp[++len] = 0;
3666 arg = tmp;
3669 add_prefix (&exec_prefixes, arg, NULL,
3670 PREFIX_PRIORITY_B_OPT, 0, 0);
3671 add_prefix (&startfile_prefixes, arg, NULL,
3672 PREFIX_PRIORITY_B_OPT, 0, 0);
3673 add_prefix (&include_prefixes, arg, NULL,
3674 PREFIX_PRIORITY_B_OPT, 0, 0);
3676 validated = true;
3677 break;
3679 case OPT_x:
3680 spec_lang = arg;
3681 if (!strcmp (spec_lang, "none"))
3682 /* Suppress the warning if -xnone comes after the last input
3683 file, because alternate command interfaces like g++ might
3684 find it useful to place -xnone after each input file. */
3685 spec_lang = 0;
3686 else
3687 last_language_n_infiles = n_infiles;
3688 do_save = false;
3689 break;
3691 case OPT_o:
3692 have_o = 1;
3693 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX) || defined(HAVE_TARGET_OBJECT_SUFFIX)
3694 arg = convert_filename (arg, ! have_c, 0);
3695 #endif
3696 /* Save the output name in case -save-temps=obj was used. */
3697 save_temps_prefix = xstrdup (arg);
3698 /* On some systems, ld cannot handle "-o" without a space. So
3699 split the option from its argument. */
3700 save_switch ("-o", 1, &arg, validated, true);
3701 return true;
3703 case OPT_static_libgcc:
3704 case OPT_shared_libgcc:
3705 case OPT_static_libgfortran:
3706 case OPT_static_libstdc__:
3707 /* These are always valid, since gcc.c itself understands the
3708 first two, gfortranspec.c understands -static-libgfortran and
3709 g++spec.c understands -static-libstdc++ */
3710 validated = true;
3711 break;
3713 case OPT_fwpa:
3714 flag_wpa = "";
3715 break;
3717 default:
3718 /* Various driver options need no special processing at this
3719 point, having been handled in a prescan above or being
3720 handled by specs. */
3721 break;
3724 if (do_save)
3725 save_switch (decoded->canonical_option[0],
3726 decoded->canonical_option_num_elements - 1,
3727 &decoded->canonical_option[1], validated, true);
3728 return true;
3731 /* Put the driver's standard set of option handlers in *HANDLERS. */
3733 static void
3734 set_option_handlers (struct cl_option_handlers *handlers)
3736 handlers->unknown_option_callback = driver_unknown_option_callback;
3737 handlers->wrong_lang_callback = driver_wrong_lang_callback;
3738 handlers->num_handlers = 3;
3739 handlers->handlers[0].handler = driver_handle_option;
3740 handlers->handlers[0].mask = CL_DRIVER;
3741 handlers->handlers[1].handler = common_handle_option;
3742 handlers->handlers[1].mask = CL_COMMON;
3743 handlers->handlers[2].handler = target_handle_option;
3744 handlers->handlers[2].mask = CL_TARGET;
3747 /* Create the vector `switches' and its contents.
3748 Store its length in `n_switches'. */
3750 static void
3751 process_command (unsigned int decoded_options_count,
3752 struct cl_decoded_option *decoded_options)
3754 const char *temp;
3755 char *temp1;
3756 char *tooldir_prefix, *tooldir_prefix2;
3757 char *(*get_relative_prefix) (const char *, const char *,
3758 const char *) = NULL;
3759 struct cl_option_handlers handlers;
3760 unsigned int j;
3762 gcc_exec_prefix = getenv ("GCC_EXEC_PREFIX");
3764 n_switches = 0;
3765 n_infiles = 0;
3766 added_libraries = 0;
3768 /* Figure compiler version from version string. */
3770 compiler_version = temp1 = xstrdup (version_string);
3772 for (; *temp1; ++temp1)
3774 if (*temp1 == ' ')
3776 *temp1 = '\0';
3777 break;
3781 /* Handle any -no-canonical-prefixes flag early, to assign the function
3782 that builds relative prefixes. This function creates default search
3783 paths that are needed later in normal option handling. */
3785 for (j = 1; j < decoded_options_count; j++)
3787 if (decoded_options[j].opt_index == OPT_no_canonical_prefixes)
3789 get_relative_prefix = make_relative_prefix_ignore_links;
3790 break;
3793 if (! get_relative_prefix)
3794 get_relative_prefix = make_relative_prefix;
3796 /* Set up the default search paths. If there is no GCC_EXEC_PREFIX,
3797 see if we can create it from the pathname specified in
3798 decoded_options[0].arg. */
3800 gcc_libexec_prefix = standard_libexec_prefix;
3801 #ifndef VMS
3802 /* FIXME: make_relative_prefix doesn't yet work for VMS. */
3803 if (!gcc_exec_prefix)
3805 gcc_exec_prefix = get_relative_prefix (decoded_options[0].arg,
3806 standard_bindir_prefix,
3807 standard_exec_prefix);
3808 gcc_libexec_prefix = get_relative_prefix (decoded_options[0].arg,
3809 standard_bindir_prefix,
3810 standard_libexec_prefix);
3811 if (gcc_exec_prefix)
3812 xputenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
3814 else
3816 /* make_relative_prefix requires a program name, but
3817 GCC_EXEC_PREFIX is typically a directory name with a trailing
3818 / (which is ignored by make_relative_prefix), so append a
3819 program name. */
3820 char *tmp_prefix = concat (gcc_exec_prefix, "gcc", NULL);
3821 gcc_libexec_prefix = get_relative_prefix (tmp_prefix,
3822 standard_exec_prefix,
3823 standard_libexec_prefix);
3825 /* The path is unrelocated, so fallback to the original setting. */
3826 if (!gcc_libexec_prefix)
3827 gcc_libexec_prefix = standard_libexec_prefix;
3829 free (tmp_prefix);
3831 #else
3832 #endif
3833 /* From this point onward, gcc_exec_prefix is non-null if the toolchain
3834 is relocated. The toolchain was either relocated using GCC_EXEC_PREFIX
3835 or an automatically created GCC_EXEC_PREFIX from
3836 decoded_options[0].arg. */
3838 /* Do language-specific adjustment/addition of flags. */
3839 lang_specific_driver (&decoded_options, &decoded_options_count,
3840 &added_libraries);
3842 if (gcc_exec_prefix)
3844 int len = strlen (gcc_exec_prefix);
3846 if (len > (int) sizeof ("/lib/gcc/") - 1
3847 && (IS_DIR_SEPARATOR (gcc_exec_prefix[len-1])))
3849 temp = gcc_exec_prefix + len - sizeof ("/lib/gcc/") + 1;
3850 if (IS_DIR_SEPARATOR (*temp)
3851 && filename_ncmp (temp + 1, "lib", 3) == 0
3852 && IS_DIR_SEPARATOR (temp[4])
3853 && filename_ncmp (temp + 5, "gcc", 3) == 0)
3854 len -= sizeof ("/lib/gcc/") - 1;
3857 set_std_prefix (gcc_exec_prefix, len);
3858 add_prefix (&exec_prefixes, gcc_libexec_prefix, "GCC",
3859 PREFIX_PRIORITY_LAST, 0, 0);
3860 add_prefix (&startfile_prefixes, gcc_exec_prefix, "GCC",
3861 PREFIX_PRIORITY_LAST, 0, 0);
3864 /* COMPILER_PATH and LIBRARY_PATH have values
3865 that are lists of directory names with colons. */
3867 temp = getenv ("COMPILER_PATH");
3868 if (temp)
3870 const char *startp, *endp;
3871 char *nstore = (char *) alloca (strlen (temp) + 3);
3873 startp = endp = temp;
3874 while (1)
3876 if (*endp == PATH_SEPARATOR || *endp == 0)
3878 strncpy (nstore, startp, endp - startp);
3879 if (endp == startp)
3880 strcpy (nstore, concat (".", dir_separator_str, NULL));
3881 else if (!IS_DIR_SEPARATOR (endp[-1]))
3883 nstore[endp - startp] = DIR_SEPARATOR;
3884 nstore[endp - startp + 1] = 0;
3886 else
3887 nstore[endp - startp] = 0;
3888 add_prefix (&exec_prefixes, nstore, 0,
3889 PREFIX_PRIORITY_LAST, 0, 0);
3890 add_prefix (&include_prefixes, nstore, 0,
3891 PREFIX_PRIORITY_LAST, 0, 0);
3892 if (*endp == 0)
3893 break;
3894 endp = startp = endp + 1;
3896 else
3897 endp++;
3901 temp = getenv (LIBRARY_PATH_ENV);
3902 if (temp && *cross_compile == '0')
3904 const char *startp, *endp;
3905 char *nstore = (char *) alloca (strlen (temp) + 3);
3907 startp = endp = temp;
3908 while (1)
3910 if (*endp == PATH_SEPARATOR || *endp == 0)
3912 strncpy (nstore, startp, endp - startp);
3913 if (endp == startp)
3914 strcpy (nstore, concat (".", dir_separator_str, NULL));
3915 else if (!IS_DIR_SEPARATOR (endp[-1]))
3917 nstore[endp - startp] = DIR_SEPARATOR;
3918 nstore[endp - startp + 1] = 0;
3920 else
3921 nstore[endp - startp] = 0;
3922 add_prefix (&startfile_prefixes, nstore, NULL,
3923 PREFIX_PRIORITY_LAST, 0, 1);
3924 if (*endp == 0)
3925 break;
3926 endp = startp = endp + 1;
3928 else
3929 endp++;
3933 /* Use LPATH like LIBRARY_PATH (for the CMU build program). */
3934 temp = getenv ("LPATH");
3935 if (temp && *cross_compile == '0')
3937 const char *startp, *endp;
3938 char *nstore = (char *) alloca (strlen (temp) + 3);
3940 startp = endp = temp;
3941 while (1)
3943 if (*endp == PATH_SEPARATOR || *endp == 0)
3945 strncpy (nstore, startp, endp - startp);
3946 if (endp == startp)
3947 strcpy (nstore, concat (".", dir_separator_str, NULL));
3948 else if (!IS_DIR_SEPARATOR (endp[-1]))
3950 nstore[endp - startp] = DIR_SEPARATOR;
3951 nstore[endp - startp + 1] = 0;
3953 else
3954 nstore[endp - startp] = 0;
3955 add_prefix (&startfile_prefixes, nstore, NULL,
3956 PREFIX_PRIORITY_LAST, 0, 1);
3957 if (*endp == 0)
3958 break;
3959 endp = startp = endp + 1;
3961 else
3962 endp++;
3966 /* Process the options and store input files and switches in their
3967 vectors. */
3969 last_language_n_infiles = -1;
3971 set_option_handlers (&handlers);
3973 for (j = 1; j < decoded_options_count; j++)
3975 switch (decoded_options[j].opt_index)
3977 case OPT_S:
3978 case OPT_c:
3979 case OPT_E:
3980 have_c = 1;
3981 break;
3983 if (have_c)
3984 break;
3987 for (j = 1; j < decoded_options_count; j++)
3989 if (decoded_options[j].opt_index == OPT_SPECIAL_input_file)
3991 const char *arg = decoded_options[j].arg;
3992 const char *p = strrchr (arg, '@');
3993 char *fname;
3994 long offset;
3995 int consumed;
3996 #ifdef HAVE_TARGET_OBJECT_SUFFIX
3997 arg = convert_filename (arg, 0, access (arg, F_OK));
3998 #endif
3999 /* For LTO static archive support we handle input file
4000 specifications that are composed of a filename and
4001 an offset like FNAME@OFFSET. */
4002 if (p
4003 && p != arg
4004 && sscanf (p, "@%li%n", &offset, &consumed) >= 1
4005 && strlen (p) == (unsigned int)consumed)
4007 fname = (char *)xmalloc (p - arg + 1);
4008 memcpy (fname, arg, p - arg);
4009 fname[p - arg] = '\0';
4010 /* Only accept non-stdin and existing FNAME parts, otherwise
4011 try with the full name. */
4012 if (strcmp (fname, "-") == 0 || access (fname, F_OK) < 0)
4014 free (fname);
4015 fname = xstrdup (arg);
4018 else
4019 fname = xstrdup (arg);
4021 if (strcmp (fname, "-") != 0 && access (fname, F_OK) < 0)
4022 perror_with_name (fname);
4023 else
4024 add_infile (arg, spec_lang);
4026 free (fname);
4027 continue;
4030 read_cmdline_option (&global_options, &global_options_set,
4031 decoded_options + j, UNKNOWN_LOCATION,
4032 CL_DRIVER, &handlers, global_dc);
4035 /* If -save-temps=obj and -o name, create the prefix to use for %b.
4036 Otherwise just make -save-temps=obj the same as -save-temps=cwd. */
4037 if (save_temps_flag == SAVE_TEMPS_OBJ && save_temps_prefix != NULL)
4039 save_temps_length = strlen (save_temps_prefix);
4040 temp = strrchr (lbasename (save_temps_prefix), '.');
4041 if (temp)
4043 save_temps_length -= strlen (temp);
4044 save_temps_prefix[save_temps_length] = '\0';
4048 else if (save_temps_prefix != NULL)
4050 free (save_temps_prefix);
4051 save_temps_prefix = NULL;
4054 if (save_temps_flag && use_pipes)
4056 /* -save-temps overrides -pipe, so that temp files are produced */
4057 if (save_temps_flag)
4058 warning (0, "-pipe ignored because -save-temps specified");
4059 use_pipes = 0;
4062 if (!compare_debug)
4064 const char *gcd = getenv ("GCC_COMPARE_DEBUG");
4066 if (gcd && gcd[0] == '-')
4068 compare_debug = 2;
4069 compare_debug_opt = gcd;
4071 else if (gcd && *gcd && strcmp (gcd, "0"))
4073 compare_debug = 3;
4074 compare_debug_opt = "-gtoggle";
4077 else if (compare_debug < 0)
4079 compare_debug = 0;
4080 gcc_assert (!compare_debug_opt);
4083 /* Set up the search paths. We add directories that we expect to
4084 contain GNU Toolchain components before directories specified by
4085 the machine description so that we will find GNU components (like
4086 the GNU assembler) before those of the host system. */
4088 /* If we don't know where the toolchain has been installed, use the
4089 configured-in locations. */
4090 if (!gcc_exec_prefix)
4092 #ifndef OS2
4093 add_prefix (&exec_prefixes, standard_libexec_prefix, "GCC",
4094 PREFIX_PRIORITY_LAST, 1, 0);
4095 add_prefix (&exec_prefixes, standard_libexec_prefix, "BINUTILS",
4096 PREFIX_PRIORITY_LAST, 2, 0);
4097 add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
4098 PREFIX_PRIORITY_LAST, 2, 0);
4099 #endif
4100 add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
4101 PREFIX_PRIORITY_LAST, 1, 0);
4104 gcc_assert (!IS_ABSOLUTE_PATH (tooldir_base_prefix));
4105 tooldir_prefix2 = concat (tooldir_base_prefix, spec_machine,
4106 dir_separator_str, NULL);
4108 /* Look for tools relative to the location from which the driver is
4109 running, or, if that is not available, the configured prefix. */
4110 tooldir_prefix
4111 = concat (gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
4112 spec_machine, dir_separator_str,
4113 spec_version, dir_separator_str, tooldir_prefix2, NULL);
4114 free (tooldir_prefix2);
4116 add_prefix (&exec_prefixes,
4117 concat (tooldir_prefix, "bin", dir_separator_str, NULL),
4118 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 0);
4119 add_prefix (&startfile_prefixes,
4120 concat (tooldir_prefix, "lib", dir_separator_str, NULL),
4121 "BINUTILS", PREFIX_PRIORITY_LAST, 0, 1);
4122 free (tooldir_prefix);
4124 #if defined(TARGET_SYSTEM_ROOT_RELOCATABLE) && !defined(VMS)
4125 /* If the normal TARGET_SYSTEM_ROOT is inside of $exec_prefix,
4126 then consider it to relocate with the rest of the GCC installation
4127 if GCC_EXEC_PREFIX is set.
4128 ``make_relative_prefix'' is not compiled for VMS, so don't call it. */
4129 if (target_system_root && !target_system_root_changed && gcc_exec_prefix)
4131 char *tmp_prefix = get_relative_prefix (decoded_options[0].arg,
4132 standard_bindir_prefix,
4133 target_system_root);
4134 if (tmp_prefix && access_check (tmp_prefix, F_OK) == 0)
4136 target_system_root = tmp_prefix;
4137 target_system_root_changed = 1;
4140 #endif
4142 /* More prefixes are enabled in main, after we read the specs file
4143 and determine whether this is cross-compilation or not. */
4145 if (n_infiles == last_language_n_infiles && spec_lang != 0)
4146 warning (0, "%<-x %s%> after last input file has no effect", spec_lang);
4148 /* Synthesize -fcompare-debug flag from the GCC_COMPARE_DEBUG
4149 environment variable. */
4150 if (compare_debug == 2 || compare_debug == 3)
4152 const char *opt = concat ("-fcompare-debug=", compare_debug_opt, NULL);
4153 save_switch (opt, 0, NULL, false, true);
4154 compare_debug = 1;
4157 /* Ensure we only invoke each subprocess once. */
4158 if (print_subprocess_help || print_help_list || print_version)
4160 n_infiles = 0;
4162 /* Create a dummy input file, so that we can pass
4163 the help option on to the various sub-processes. */
4164 add_infile ("help-dummy", "c");
4167 alloc_switch ();
4168 switches[n_switches].part1 = 0;
4169 alloc_infile ();
4170 infiles[n_infiles].name = 0;
4173 /* Store switches not filtered out by %<S in spec in COLLECT_GCC_OPTIONS
4174 and place that in the environment. */
4176 static void
4177 set_collect_gcc_options (void)
4179 int i;
4180 int first_time;
4182 /* Build COLLECT_GCC_OPTIONS to have all of the options specified to
4183 the compiler. */
4184 obstack_grow (&collect_obstack, "COLLECT_GCC_OPTIONS=",
4185 sizeof ("COLLECT_GCC_OPTIONS=") - 1);
4187 first_time = TRUE;
4188 for (i = 0; (int) i < n_switches; i++)
4190 const char *const *args;
4191 const char *p, *q;
4192 if (!first_time)
4193 obstack_grow (&collect_obstack, " ", 1);
4195 first_time = FALSE;
4197 /* Ignore elided switches. */
4198 if ((switches[i].live_cond
4199 & (SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC))
4200 == SWITCH_IGNORE)
4201 continue;
4203 obstack_grow (&collect_obstack, "'-", 2);
4204 q = switches[i].part1;
4205 while ((p = strchr (q, '\'')))
4207 obstack_grow (&collect_obstack, q, p - q);
4208 obstack_grow (&collect_obstack, "'\\''", 4);
4209 q = ++p;
4211 obstack_grow (&collect_obstack, q, strlen (q));
4212 obstack_grow (&collect_obstack, "'", 1);
4214 for (args = switches[i].args; args && *args; args++)
4216 obstack_grow (&collect_obstack, " '", 2);
4217 q = *args;
4218 while ((p = strchr (q, '\'')))
4220 obstack_grow (&collect_obstack, q, p - q);
4221 obstack_grow (&collect_obstack, "'\\''", 4);
4222 q = ++p;
4224 obstack_grow (&collect_obstack, q, strlen (q));
4225 obstack_grow (&collect_obstack, "'", 1);
4228 obstack_grow (&collect_obstack, "\0", 1);
4229 xputenv (XOBFINISH (&collect_obstack, char *));
4232 /* Process a spec string, accumulating and running commands. */
4234 /* These variables describe the input file name.
4235 input_file_number is the index on outfiles of this file,
4236 so that the output file name can be stored for later use by %o.
4237 input_basename is the start of the part of the input file
4238 sans all directory names, and basename_length is the number
4239 of characters starting there excluding the suffix .c or whatever. */
4241 static const char *gcc_input_filename;
4242 static int input_file_number;
4243 size_t input_filename_length;
4244 static int basename_length;
4245 static int suffixed_basename_length;
4246 static const char *input_basename;
4247 static const char *input_suffix;
4248 #ifndef HOST_LACKS_INODE_NUMBERS
4249 static struct stat input_stat;
4250 #endif
4251 static int input_stat_set;
4253 /* The compiler used to process the current input file. */
4254 static struct compiler *input_file_compiler;
4256 /* These are variables used within do_spec and do_spec_1. */
4258 /* Nonzero if an arg has been started and not yet terminated
4259 (with space, tab or newline). */
4260 static int arg_going;
4262 /* Nonzero means %d or %g has been seen; the next arg to be terminated
4263 is a temporary file name. */
4264 static int delete_this_arg;
4266 /* Nonzero means %w has been seen; the next arg to be terminated
4267 is the output file name of this compilation. */
4268 static int this_is_output_file;
4270 /* Nonzero means %s has been seen; the next arg to be terminated
4271 is the name of a library file and we should try the standard
4272 search dirs for it. */
4273 static int this_is_library_file;
4275 /* Nonzero means %T has been seen; the next arg to be terminated
4276 is the name of a linker script and we should try all of the
4277 standard search dirs for it. If it is found insert a --script
4278 command line switch and then substitute the full path in place,
4279 otherwise generate an error message. */
4280 static int this_is_linker_script;
4282 /* Nonzero means that the input of this command is coming from a pipe. */
4283 static int input_from_pipe;
4285 /* Nonnull means substitute this for any suffix when outputting a switches
4286 arguments. */
4287 static const char *suffix_subst;
4289 /* If there is an argument being accumulated, terminate it and store it. */
4291 static void
4292 end_going_arg (void)
4294 if (arg_going)
4296 const char *string;
4298 obstack_1grow (&obstack, 0);
4299 string = XOBFINISH (&obstack, const char *);
4300 if (this_is_library_file)
4301 string = find_file (string);
4302 if (this_is_linker_script)
4304 char * full_script_path = find_a_file (&startfile_prefixes, string, R_OK, true);
4306 if (full_script_path == NULL)
4308 error ("unable to locate default linker script %qs in the library search paths", string);
4309 /* Script was not found on search path. */
4310 return;
4312 store_arg ("--script", false, false);
4313 string = full_script_path;
4315 store_arg (string, delete_this_arg, this_is_output_file);
4316 if (this_is_output_file)
4317 outfiles[input_file_number] = string;
4318 arg_going = 0;
4323 /* Parse the WRAPPER string which is a comma separated list of the command line
4324 and insert them into the beginning of argbuf. */
4326 static void
4327 insert_wrapper (const char *wrapper)
4329 int n = 0;
4330 int i;
4331 char *buf = xstrdup (wrapper);
4332 char *p = buf;
4333 unsigned int old_length = argbuf.length ();
4337 n++;
4338 while (*p == ',')
4339 p++;
4341 while ((p = strchr (p, ',')) != NULL);
4343 argbuf.safe_grow (old_length + n);
4344 memmove (argbuf.address () + n,
4345 argbuf.address (),
4346 old_length * sizeof (const_char_p));
4348 i = 0;
4349 p = buf;
4352 while (*p == ',')
4354 *p = 0;
4355 p++;
4357 argbuf[i] = p;
4358 i++;
4360 while ((p = strchr (p, ',')) != NULL);
4361 gcc_assert (i == n);
4364 /* Process the spec SPEC and run the commands specified therein.
4365 Returns 0 if the spec is successfully processed; -1 if failed. */
4368 do_spec (const char *spec)
4370 int value;
4372 value = do_spec_2 (spec);
4374 /* Force out any unfinished command.
4375 If -pipe, this forces out the last command if it ended in `|'. */
4376 if (value == 0)
4378 if (argbuf.length () > 0
4379 && !strcmp (argbuf.last (), "|"))
4380 argbuf.pop ();
4382 set_collect_gcc_options ();
4384 if (argbuf.length () > 0)
4385 value = execute ();
4388 return value;
4391 static int
4392 do_spec_2 (const char *spec)
4394 int result;
4396 clear_args ();
4397 arg_going = 0;
4398 delete_this_arg = 0;
4399 this_is_output_file = 0;
4400 this_is_library_file = 0;
4401 this_is_linker_script = 0;
4402 input_from_pipe = 0;
4403 suffix_subst = NULL;
4405 result = do_spec_1 (spec, 0, NULL);
4407 end_going_arg ();
4409 return result;
4413 /* Process the given spec string and add any new options to the end
4414 of the switches/n_switches array. */
4416 static void
4417 do_option_spec (const char *name, const char *spec)
4419 unsigned int i, value_count, value_len;
4420 const char *p, *q, *value;
4421 char *tmp_spec, *tmp_spec_p;
4423 if (configure_default_options[0].name == NULL)
4424 return;
4426 for (i = 0; i < ARRAY_SIZE (configure_default_options); i++)
4427 if (strcmp (configure_default_options[i].name, name) == 0)
4428 break;
4429 if (i == ARRAY_SIZE (configure_default_options))
4430 return;
4432 value = configure_default_options[i].value;
4433 value_len = strlen (value);
4435 /* Compute the size of the final spec. */
4436 value_count = 0;
4437 p = spec;
4438 while ((p = strstr (p, "%(VALUE)")) != NULL)
4440 p ++;
4441 value_count ++;
4444 /* Replace each %(VALUE) by the specified value. */
4445 tmp_spec = (char *) alloca (strlen (spec) + 1
4446 + value_count * (value_len - strlen ("%(VALUE)")));
4447 tmp_spec_p = tmp_spec;
4448 q = spec;
4449 while ((p = strstr (q, "%(VALUE)")) != NULL)
4451 memcpy (tmp_spec_p, q, p - q);
4452 tmp_spec_p = tmp_spec_p + (p - q);
4453 memcpy (tmp_spec_p, value, value_len);
4454 tmp_spec_p += value_len;
4455 q = p + strlen ("%(VALUE)");
4457 strcpy (tmp_spec_p, q);
4459 do_self_spec (tmp_spec);
4462 /* Process the given spec string and add any new options to the end
4463 of the switches/n_switches array. */
4465 static void
4466 do_self_spec (const char *spec)
4468 int i;
4470 do_spec_2 (spec);
4471 do_spec_1 (" ", 0, NULL);
4473 /* Mark %<S switches processed by do_self_spec to be ignored permanently.
4474 do_self_specs adds the replacements to switches array, so it shouldn't
4475 be processed afterwards. */
4476 for (i = 0; i < n_switches; i++)
4477 if ((switches[i].live_cond & SWITCH_IGNORE))
4478 switches[i].live_cond |= SWITCH_IGNORE_PERMANENTLY;
4480 if (argbuf.length () > 0)
4482 const char **argbuf_copy;
4483 struct cl_decoded_option *decoded_options;
4484 struct cl_option_handlers handlers;
4485 unsigned int decoded_options_count;
4486 unsigned int j;
4488 /* Create a copy of argbuf with a dummy argv[0] entry for
4489 decode_cmdline_options_to_array. */
4490 argbuf_copy = XNEWVEC (const char *,
4491 argbuf.length () + 1);
4492 argbuf_copy[0] = "";
4493 memcpy (argbuf_copy + 1, argbuf.address (),
4494 argbuf.length () * sizeof (const char *));
4496 decode_cmdline_options_to_array (argbuf.length () + 1,
4497 argbuf_copy,
4498 CL_DRIVER, &decoded_options,
4499 &decoded_options_count);
4500 free (argbuf_copy);
4502 set_option_handlers (&handlers);
4504 for (j = 1; j < decoded_options_count; j++)
4506 switch (decoded_options[j].opt_index)
4508 case OPT_SPECIAL_input_file:
4509 /* Specs should only generate options, not input
4510 files. */
4511 if (strcmp (decoded_options[j].arg, "-") != 0)
4512 fatal_error ("switch %qs does not start with %<-%>",
4513 decoded_options[j].arg);
4514 else
4515 fatal_error ("spec-generated switch is just %<-%>");
4516 break;
4518 case OPT_fcompare_debug_second:
4519 case OPT_fcompare_debug:
4520 case OPT_fcompare_debug_:
4521 case OPT_o:
4522 /* Avoid duplicate processing of some options from
4523 compare-debug specs; just save them here. */
4524 save_switch (decoded_options[j].canonical_option[0],
4525 (decoded_options[j].canonical_option_num_elements
4526 - 1),
4527 &decoded_options[j].canonical_option[1], false, true);
4528 break;
4530 default:
4531 read_cmdline_option (&global_options, &global_options_set,
4532 decoded_options + j, UNKNOWN_LOCATION,
4533 CL_DRIVER, &handlers, global_dc);
4534 break;
4538 alloc_switch ();
4539 switches[n_switches].part1 = 0;
4543 /* Callback for processing %D and %I specs. */
4545 struct spec_path_info {
4546 const char *option;
4547 const char *append;
4548 size_t append_len;
4549 bool omit_relative;
4550 bool separate_options;
4553 static void *
4554 spec_path (char *path, void *data)
4556 struct spec_path_info *info = (struct spec_path_info *) data;
4557 size_t len = 0;
4558 char save = 0;
4560 if (info->omit_relative && !IS_ABSOLUTE_PATH (path))
4561 return NULL;
4563 if (info->append_len != 0)
4565 len = strlen (path);
4566 memcpy (path + len, info->append, info->append_len + 1);
4569 if (!is_directory (path, true))
4570 return NULL;
4572 do_spec_1 (info->option, 1, NULL);
4573 if (info->separate_options)
4574 do_spec_1 (" ", 0, NULL);
4576 if (info->append_len == 0)
4578 len = strlen (path);
4579 save = path[len - 1];
4580 if (IS_DIR_SEPARATOR (path[len - 1]))
4581 path[len - 1] = '\0';
4584 do_spec_1 (path, 1, NULL);
4585 do_spec_1 (" ", 0, NULL);
4587 /* Must not damage the original path. */
4588 if (info->append_len == 0)
4589 path[len - 1] = save;
4591 return NULL;
4594 /* Create a temporary FILE with the contents of ARGV. Add @FILE to the
4595 argument list. */
4597 static void
4598 create_at_file (char **argv)
4600 char *temp_file = make_temp_file ("");
4601 char *at_argument = concat ("@", temp_file, NULL);
4602 FILE *f = fopen (temp_file, "w");
4603 int status;
4605 if (f == NULL)
4606 fatal_error ("could not open temporary response file %s",
4607 temp_file);
4609 status = writeargv (argv, f);
4611 if (status)
4612 fatal_error ("could not write to temporary response file %s",
4613 temp_file);
4615 status = fclose (f);
4617 if (EOF == status)
4618 fatal_error ("could not close temporary response file %s",
4619 temp_file);
4621 store_arg (at_argument, 0, 0);
4623 record_temp_file (temp_file, !save_temps_flag, !save_temps_flag);
4626 /* True if we should compile INFILE. */
4628 static bool
4629 compile_input_file_p (struct infile *infile)
4631 if ((!infile->language) || (infile->language[0] != '*'))
4632 if (infile->incompiler == input_file_compiler)
4633 return true;
4634 return false;
4637 /* Process each member of VEC as a spec. */
4639 static void
4640 do_specs_vec (vec<char_p> vec)
4642 unsigned ix;
4643 char *opt;
4645 FOR_EACH_VEC_ELT (vec, ix, opt)
4647 do_spec_1 (opt, 1, NULL);
4648 /* Make each accumulated option a separate argument. */
4649 do_spec_1 (" ", 0, NULL);
4653 /* Process the sub-spec SPEC as a portion of a larger spec.
4654 This is like processing a whole spec except that we do
4655 not initialize at the beginning and we do not supply a
4656 newline by default at the end.
4657 INSWITCH nonzero means don't process %-sequences in SPEC;
4658 in this case, % is treated as an ordinary character.
4659 This is used while substituting switches.
4660 INSWITCH nonzero also causes SPC not to terminate an argument.
4662 Value is zero unless a line was finished
4663 and the command on that line reported an error. */
4665 static int
4666 do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
4668 const char *p = spec;
4669 int c;
4670 int i;
4671 int value;
4673 /* If it's an empty string argument to a switch, keep it as is. */
4674 if (inswitch && !*p)
4675 arg_going = 1;
4677 while ((c = *p++))
4678 /* If substituting a switch, treat all chars like letters.
4679 Otherwise, NL, SPC, TAB and % are special. */
4680 switch (inswitch ? 'a' : c)
4682 case '\n':
4683 end_going_arg ();
4685 if (argbuf.length () > 0
4686 && !strcmp (argbuf.last (), "|"))
4688 /* A `|' before the newline means use a pipe here,
4689 but only if -pipe was specified.
4690 Otherwise, execute now and don't pass the `|' as an arg. */
4691 if (use_pipes)
4693 input_from_pipe = 1;
4694 break;
4696 else
4697 argbuf.pop ();
4700 set_collect_gcc_options ();
4702 if (argbuf.length () > 0)
4704 value = execute ();
4705 if (value)
4706 return value;
4708 /* Reinitialize for a new command, and for a new argument. */
4709 clear_args ();
4710 arg_going = 0;
4711 delete_this_arg = 0;
4712 this_is_output_file = 0;
4713 this_is_library_file = 0;
4714 this_is_linker_script = 0;
4715 input_from_pipe = 0;
4716 break;
4718 case '|':
4719 end_going_arg ();
4721 /* Use pipe */
4722 obstack_1grow (&obstack, c);
4723 arg_going = 1;
4724 break;
4726 case '\t':
4727 case ' ':
4728 end_going_arg ();
4730 /* Reinitialize for a new argument. */
4731 delete_this_arg = 0;
4732 this_is_output_file = 0;
4733 this_is_library_file = 0;
4734 this_is_linker_script = 0;
4735 break;
4737 case '%':
4738 switch (c = *p++)
4740 case 0:
4741 fatal_error ("spec %qs invalid", spec);
4743 case 'b':
4744 if (save_temps_length)
4745 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4746 else
4747 obstack_grow (&obstack, input_basename, basename_length);
4748 if (compare_debug < 0)
4749 obstack_grow (&obstack, ".gk", 3);
4750 arg_going = 1;
4751 break;
4753 case 'B':
4754 if (save_temps_length)
4755 obstack_grow (&obstack, save_temps_prefix, save_temps_length);
4756 else
4757 obstack_grow (&obstack, input_basename, suffixed_basename_length);
4758 if (compare_debug < 0)
4759 obstack_grow (&obstack, ".gk", 3);
4760 arg_going = 1;
4761 break;
4763 case 'd':
4764 delete_this_arg = 2;
4765 break;
4767 /* Dump out the directories specified with LIBRARY_PATH,
4768 followed by the absolute directories
4769 that we search for startfiles. */
4770 case 'D':
4772 struct spec_path_info info;
4774 info.option = "-L";
4775 info.append_len = 0;
4776 #ifdef RELATIVE_PREFIX_NOT_LINKDIR
4777 /* Used on systems which record the specified -L dirs
4778 and use them to search for dynamic linking.
4779 Relative directories always come from -B,
4780 and it is better not to use them for searching
4781 at run time. In particular, stage1 loses. */
4782 info.omit_relative = true;
4783 #else
4784 info.omit_relative = false;
4785 #endif
4786 info.separate_options = false;
4788 for_each_path (&startfile_prefixes, true, 0, spec_path, &info);
4790 break;
4792 case 'e':
4793 /* %efoo means report an error with `foo' as error message
4794 and don't execute any more commands for this file. */
4796 const char *q = p;
4797 char *buf;
4798 while (*p != 0 && *p != '\n')
4799 p++;
4800 buf = (char *) alloca (p - q + 1);
4801 strncpy (buf, q, p - q);
4802 buf[p - q] = 0;
4803 error ("%s", _(buf));
4804 return -1;
4806 break;
4807 case 'n':
4808 /* %nfoo means report a notice with `foo' on stderr. */
4810 const char *q = p;
4811 char *buf;
4812 while (*p != 0 && *p != '\n')
4813 p++;
4814 buf = (char *) alloca (p - q + 1);
4815 strncpy (buf, q, p - q);
4816 buf[p - q] = 0;
4817 inform (0, "%s", _(buf));
4818 if (*p)
4819 p++;
4821 break;
4823 case 'j':
4825 struct stat st;
4827 /* If save_temps_flag is off, and the HOST_BIT_BUCKET is
4828 defined, and it is not a directory, and it is
4829 writable, use it. Otherwise, treat this like any
4830 other temporary file. */
4832 if ((!save_temps_flag)
4833 && (stat (HOST_BIT_BUCKET, &st) == 0) && (!S_ISDIR (st.st_mode))
4834 && (access (HOST_BIT_BUCKET, W_OK) == 0))
4836 obstack_grow (&obstack, HOST_BIT_BUCKET,
4837 strlen (HOST_BIT_BUCKET));
4838 delete_this_arg = 0;
4839 arg_going = 1;
4840 break;
4843 goto create_temp_file;
4844 case '|':
4845 if (use_pipes)
4847 obstack_1grow (&obstack, '-');
4848 delete_this_arg = 0;
4849 arg_going = 1;
4851 /* consume suffix */
4852 while (*p == '.' || ISALNUM ((unsigned char) *p))
4853 p++;
4854 if (p[0] == '%' && p[1] == 'O')
4855 p += 2;
4857 break;
4859 goto create_temp_file;
4860 case 'm':
4861 if (use_pipes)
4863 /* consume suffix */
4864 while (*p == '.' || ISALNUM ((unsigned char) *p))
4865 p++;
4866 if (p[0] == '%' && p[1] == 'O')
4867 p += 2;
4869 break;
4871 goto create_temp_file;
4872 case 'g':
4873 case 'u':
4874 case 'U':
4875 create_temp_file:
4877 struct temp_name *t;
4878 int suffix_length;
4879 const char *suffix = p;
4880 char *saved_suffix = NULL;
4882 while (*p == '.' || ISALNUM ((unsigned char) *p))
4883 p++;
4884 suffix_length = p - suffix;
4885 if (p[0] == '%' && p[1] == 'O')
4887 p += 2;
4888 /* We don't support extra suffix characters after %O. */
4889 if (*p == '.' || ISALNUM ((unsigned char) *p))
4890 fatal_error ("spec %qs has invalid %<%%0%c%>", spec, *p);
4891 if (suffix_length == 0)
4892 suffix = TARGET_OBJECT_SUFFIX;
4893 else
4895 saved_suffix
4896 = XNEWVEC (char, suffix_length
4897 + strlen (TARGET_OBJECT_SUFFIX) + 1);
4898 strncpy (saved_suffix, suffix, suffix_length);
4899 strcpy (saved_suffix + suffix_length,
4900 TARGET_OBJECT_SUFFIX);
4902 suffix_length += strlen (TARGET_OBJECT_SUFFIX);
4905 if (compare_debug < 0)
4907 suffix = concat (".gk", suffix, NULL);
4908 suffix_length += 3;
4911 /* If -save-temps=obj and -o were specified, use that for the
4912 temp file. */
4913 if (save_temps_length)
4915 char *tmp;
4916 temp_filename_length
4917 = save_temps_length + suffix_length + 1;
4918 tmp = (char *) alloca (temp_filename_length);
4919 memcpy (tmp, save_temps_prefix, save_temps_length);
4920 memcpy (tmp + save_temps_length, suffix, suffix_length);
4921 tmp[save_temps_length + suffix_length] = '\0';
4922 temp_filename = save_string (tmp, save_temps_length
4923 + suffix_length);
4924 obstack_grow (&obstack, temp_filename,
4925 temp_filename_length);
4926 arg_going = 1;
4927 delete_this_arg = 0;
4928 break;
4931 /* If the gcc_input_filename has the same suffix specified
4932 for the %g, %u, or %U, and -save-temps is specified,
4933 we could end up using that file as an intermediate
4934 thus clobbering the user's source file (.e.g.,
4935 gcc -save-temps foo.s would clobber foo.s with the
4936 output of cpp0). So check for this condition and
4937 generate a temp file as the intermediate. */
4939 if (save_temps_flag)
4941 char *tmp;
4942 temp_filename_length = basename_length + suffix_length + 1;
4943 tmp = (char *) alloca (temp_filename_length);
4944 memcpy (tmp, input_basename, basename_length);
4945 memcpy (tmp + basename_length, suffix, suffix_length);
4946 tmp[basename_length + suffix_length] = '\0';
4947 temp_filename = tmp;
4949 if (filename_cmp (temp_filename, gcc_input_filename) != 0)
4951 #ifndef HOST_LACKS_INODE_NUMBERS
4952 struct stat st_temp;
4954 /* Note, set_input() resets input_stat_set to 0. */
4955 if (input_stat_set == 0)
4957 input_stat_set = stat (gcc_input_filename,
4958 &input_stat);
4959 if (input_stat_set >= 0)
4960 input_stat_set = 1;
4963 /* If we have the stat for the gcc_input_filename
4964 and we can do the stat for the temp_filename
4965 then the they could still refer to the same
4966 file if st_dev/st_ino's are the same. */
4967 if (input_stat_set != 1
4968 || stat (temp_filename, &st_temp) < 0
4969 || input_stat.st_dev != st_temp.st_dev
4970 || input_stat.st_ino != st_temp.st_ino)
4971 #else
4972 /* Just compare canonical pathnames. */
4973 char* input_realname = lrealpath (gcc_input_filename);
4974 char* temp_realname = lrealpath (temp_filename);
4975 bool files_differ = filename_cmp (input_realname, temp_realname);
4976 free (input_realname);
4977 free (temp_realname);
4978 if (files_differ)
4979 #endif
4981 temp_filename = save_string (temp_filename,
4982 temp_filename_length + 1);
4983 obstack_grow (&obstack, temp_filename,
4984 temp_filename_length);
4985 arg_going = 1;
4986 delete_this_arg = 0;
4987 break;
4992 /* See if we already have an association of %g/%u/%U and
4993 suffix. */
4994 for (t = temp_names; t; t = t->next)
4995 if (t->length == suffix_length
4996 && strncmp (t->suffix, suffix, suffix_length) == 0
4997 && t->unique == (c == 'u' || c == 'U' || c == 'j'))
4998 break;
5000 /* Make a new association if needed. %u and %j
5001 require one. */
5002 if (t == 0 || c == 'u' || c == 'j')
5004 if (t == 0)
5006 t = XNEW (struct temp_name);
5007 t->next = temp_names;
5008 temp_names = t;
5010 t->length = suffix_length;
5011 if (saved_suffix)
5013 t->suffix = saved_suffix;
5014 saved_suffix = NULL;
5016 else
5017 t->suffix = save_string (suffix, suffix_length);
5018 t->unique = (c == 'u' || c == 'U' || c == 'j');
5019 temp_filename = make_temp_file (t->suffix);
5020 temp_filename_length = strlen (temp_filename);
5021 t->filename = temp_filename;
5022 t->filename_length = temp_filename_length;
5025 free (saved_suffix);
5027 obstack_grow (&obstack, t->filename, t->filename_length);
5028 delete_this_arg = 1;
5030 arg_going = 1;
5031 break;
5033 case 'i':
5034 if (combine_inputs)
5036 if (at_file_supplied)
5038 /* We are going to expand `%i' to `@FILE', where FILE
5039 is a newly-created temporary filename. The filenames
5040 that would usually be expanded in place of %o will be
5041 written to the temporary file. */
5042 char **argv;
5043 int n_files = 0;
5044 int j;
5046 for (i = 0; i < n_infiles; i++)
5047 if (compile_input_file_p (&infiles[i]))
5048 n_files++;
5050 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
5052 /* Copy the strings over. */
5053 for (i = 0, j = 0; i < n_infiles; i++)
5054 if (compile_input_file_p (&infiles[i]))
5056 argv[j] = CONST_CAST (char *, infiles[i].name);
5057 infiles[i].compiled = true;
5058 j++;
5060 argv[j] = NULL;
5062 create_at_file (argv);
5064 else
5065 for (i = 0; (int) i < n_infiles; i++)
5066 if (compile_input_file_p (&infiles[i]))
5068 store_arg (infiles[i].name, 0, 0);
5069 infiles[i].compiled = true;
5072 else
5074 obstack_grow (&obstack, gcc_input_filename,
5075 input_filename_length);
5076 arg_going = 1;
5078 break;
5080 case 'I':
5082 struct spec_path_info info;
5084 if (multilib_dir)
5086 do_spec_1 ("-imultilib", 1, NULL);
5087 /* Make this a separate argument. */
5088 do_spec_1 (" ", 0, NULL);
5089 do_spec_1 (multilib_dir, 1, NULL);
5090 do_spec_1 (" ", 0, NULL);
5093 if (multiarch_dir)
5095 do_spec_1 ("-imultiarch", 1, NULL);
5096 /* Make this a separate argument. */
5097 do_spec_1 (" ", 0, NULL);
5098 do_spec_1 (multiarch_dir, 1, NULL);
5099 do_spec_1 (" ", 0, NULL);
5102 if (gcc_exec_prefix)
5104 do_spec_1 ("-iprefix", 1, NULL);
5105 /* Make this a separate argument. */
5106 do_spec_1 (" ", 0, NULL);
5107 do_spec_1 (gcc_exec_prefix, 1, NULL);
5108 do_spec_1 (" ", 0, NULL);
5111 if (target_system_root_changed ||
5112 (target_system_root && target_sysroot_hdrs_suffix))
5114 do_spec_1 ("-isysroot", 1, NULL);
5115 /* Make this a separate argument. */
5116 do_spec_1 (" ", 0, NULL);
5117 do_spec_1 (target_system_root, 1, NULL);
5118 if (target_sysroot_hdrs_suffix)
5119 do_spec_1 (target_sysroot_hdrs_suffix, 1, NULL);
5120 do_spec_1 (" ", 0, NULL);
5123 info.option = "-isystem";
5124 info.append = "include";
5125 info.append_len = strlen (info.append);
5126 info.omit_relative = false;
5127 info.separate_options = true;
5129 for_each_path (&include_prefixes, false, info.append_len,
5130 spec_path, &info);
5132 info.append = "include-fixed";
5133 if (*sysroot_hdrs_suffix_spec)
5134 info.append = concat (info.append, dir_separator_str,
5135 multilib_dir, NULL);
5136 info.append_len = strlen (info.append);
5137 for_each_path (&include_prefixes, false, info.append_len,
5138 spec_path, &info);
5140 break;
5142 case 'o':
5144 int max = n_infiles;
5145 max += lang_specific_extra_outfiles;
5147 if (HAVE_GNU_LD && at_file_supplied)
5149 /* We are going to expand `%o' to `@FILE', where FILE
5150 is a newly-created temporary filename. The filenames
5151 that would usually be expanded in place of %o will be
5152 written to the temporary file. */
5154 char **argv;
5155 int n_files, j;
5157 /* Convert OUTFILES into a form suitable for writeargv. */
5159 /* Determine how many are non-NULL. */
5160 for (n_files = 0, i = 0; i < max; i++)
5161 n_files += outfiles[i] != NULL;
5163 argv = (char **) alloca (sizeof (char *) * (n_files + 1));
5165 /* Copy the strings over. */
5166 for (i = 0, j = 0; i < max; i++)
5167 if (outfiles[i])
5169 argv[j] = CONST_CAST (char *, outfiles[i]);
5170 j++;
5172 argv[j] = NULL;
5174 create_at_file (argv);
5176 else
5177 for (i = 0; i < max; i++)
5178 if (outfiles[i])
5179 store_arg (outfiles[i], 0, 0);
5180 break;
5183 case 'O':
5184 obstack_grow (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
5185 arg_going = 1;
5186 break;
5188 case 's':
5189 this_is_library_file = 1;
5190 break;
5192 case 'T':
5193 this_is_linker_script = 1;
5194 break;
5196 case 'V':
5197 outfiles[input_file_number] = NULL;
5198 break;
5200 case 'w':
5201 this_is_output_file = 1;
5202 break;
5204 case 'W':
5206 unsigned int cur_index = argbuf.length ();
5207 /* Handle the {...} following the %W. */
5208 if (*p != '{')
5209 fatal_error ("spec %qs has invalid %<%%W%c%>", spec, *p);
5210 p = handle_braces (p + 1);
5211 if (p == 0)
5212 return -1;
5213 end_going_arg ();
5214 /* If any args were output, mark the last one for deletion
5215 on failure. */
5216 if (argbuf.length () != cur_index)
5217 record_temp_file (argbuf.last (), 0, 1);
5218 break;
5221 /* %x{OPTION} records OPTION for %X to output. */
5222 case 'x':
5224 const char *p1 = p;
5225 char *string;
5226 char *opt;
5227 unsigned ix;
5229 /* Skip past the option value and make a copy. */
5230 if (*p != '{')
5231 fatal_error ("spec %qs has invalid %<%%x%c%>", spec, *p);
5232 while (*p++ != '}')
5234 string = save_string (p1 + 1, p - p1 - 2);
5236 /* See if we already recorded this option. */
5237 FOR_EACH_VEC_ELT (linker_options, ix, opt)
5238 if (! strcmp (string, opt))
5240 free (string);
5241 return 0;
5244 /* This option is new; add it. */
5245 add_linker_option (string, strlen (string));
5246 free (string);
5248 break;
5250 /* Dump out the options accumulated previously using %x. */
5251 case 'X':
5252 do_specs_vec (linker_options);
5253 break;
5255 /* Dump out the options accumulated previously using -Wa,. */
5256 case 'Y':
5257 do_specs_vec (assembler_options);
5258 break;
5260 /* Dump out the options accumulated previously using -Wp,. */
5261 case 'Z':
5262 do_specs_vec (preprocessor_options);
5263 break;
5265 /* Here are digits and numbers that just process
5266 a certain constant string as a spec. */
5268 case '1':
5269 value = do_spec_1 (cc1_spec, 0, NULL);
5270 if (value != 0)
5271 return value;
5272 break;
5274 case '2':
5275 value = do_spec_1 (cc1plus_spec, 0, NULL);
5276 if (value != 0)
5277 return value;
5278 break;
5280 case 'a':
5281 value = do_spec_1 (asm_spec, 0, NULL);
5282 if (value != 0)
5283 return value;
5284 break;
5286 case 'A':
5287 value = do_spec_1 (asm_final_spec, 0, NULL);
5288 if (value != 0)
5289 return value;
5290 break;
5292 case 'C':
5294 const char *const spec
5295 = (input_file_compiler->cpp_spec
5296 ? input_file_compiler->cpp_spec
5297 : cpp_spec);
5298 value = do_spec_1 (spec, 0, NULL);
5299 if (value != 0)
5300 return value;
5302 break;
5304 case 'E':
5305 value = do_spec_1 (endfile_spec, 0, NULL);
5306 if (value != 0)
5307 return value;
5308 break;
5310 case 'l':
5311 value = do_spec_1 (link_spec, 0, NULL);
5312 if (value != 0)
5313 return value;
5314 break;
5316 case 'L':
5317 value = do_spec_1 (lib_spec, 0, NULL);
5318 if (value != 0)
5319 return value;
5320 break;
5322 case 'M':
5323 if (multilib_os_dir == NULL)
5324 obstack_1grow (&obstack, '.');
5325 else
5326 obstack_grow (&obstack, multilib_os_dir,
5327 strlen (multilib_os_dir));
5328 break;
5330 case 'G':
5331 value = do_spec_1 (libgcc_spec, 0, NULL);
5332 if (value != 0)
5333 return value;
5334 break;
5336 case 'R':
5337 /* We assume there is a directory
5338 separator at the end of this string. */
5339 if (target_system_root)
5341 obstack_grow (&obstack, target_system_root,
5342 strlen (target_system_root));
5343 if (target_sysroot_suffix)
5344 obstack_grow (&obstack, target_sysroot_suffix,
5345 strlen (target_sysroot_suffix));
5347 break;
5349 case 'S':
5350 value = do_spec_1 (startfile_spec, 0, NULL);
5351 if (value != 0)
5352 return value;
5353 break;
5355 /* Here we define characters other than letters and digits. */
5357 case '{':
5358 p = handle_braces (p);
5359 if (p == 0)
5360 return -1;
5361 break;
5363 case ':':
5364 p = handle_spec_function (p, NULL);
5365 if (p == 0)
5366 return -1;
5367 break;
5369 case '%':
5370 obstack_1grow (&obstack, '%');
5371 break;
5373 case '.':
5375 unsigned len = 0;
5377 while (p[len] && p[len] != ' ' && p[len] != '%')
5378 len++;
5379 suffix_subst = save_string (p - 1, len + 1);
5380 p += len;
5382 break;
5384 /* Henceforth ignore the option(s) matching the pattern
5385 after the %<. */
5386 case '<':
5387 case '>':
5389 unsigned len = 0;
5390 int have_wildcard = 0;
5391 int i;
5392 int switch_option;
5394 if (c == '>')
5395 switch_option = SWITCH_IGNORE | SWITCH_KEEP_FOR_GCC;
5396 else
5397 switch_option = SWITCH_IGNORE;
5399 while (p[len] && p[len] != ' ' && p[len] != '\t')
5400 len++;
5402 if (p[len-1] == '*')
5403 have_wildcard = 1;
5405 for (i = 0; i < n_switches; i++)
5406 if (!strncmp (switches[i].part1, p, len - have_wildcard)
5407 && (have_wildcard || switches[i].part1[len] == '\0'))
5409 switches[i].live_cond |= switch_option;
5410 /* User switch be validated from validate_all_switches.
5411 when the definition is seen from the spec file.
5412 If not defined anywhere, will be rejected. */
5413 if (switches[i].known)
5414 switches[i].validated = true;
5417 p += len;
5419 break;
5421 case '*':
5422 if (soft_matched_part)
5424 if (soft_matched_part[0])
5425 do_spec_1 (soft_matched_part, 1, NULL);
5426 /* Only insert a space after the substitution if it is at the
5427 end of the current sequence. So if:
5429 "%{foo=*:bar%*}%{foo=*:one%*two}"
5431 matches -foo=hello then it will produce:
5433 barhello onehellotwo
5435 if (*p == 0 || *p == '}')
5436 do_spec_1 (" ", 0, NULL);
5438 else
5439 /* Catch the case where a spec string contains something like
5440 '%{foo:%*}'. i.e. there is no * in the pattern on the left
5441 hand side of the :. */
5442 error ("spec failure: %<%%*%> has not been initialized by pattern match");
5443 break;
5445 /* Process a string found as the value of a spec given by name.
5446 This feature allows individual machine descriptions
5447 to add and use their own specs. */
5448 case '(':
5450 const char *name = p;
5451 struct spec_list *sl;
5452 int len;
5454 /* The string after the S/P is the name of a spec that is to be
5455 processed. */
5456 while (*p && *p != ')')
5457 p++;
5459 /* See if it's in the list. */
5460 for (len = p - name, sl = specs; sl; sl = sl->next)
5461 if (sl->name_len == len && !strncmp (sl->name, name, len))
5463 name = *(sl->ptr_spec);
5464 #ifdef DEBUG_SPECS
5465 fnotice (stderr, "Processing spec (%s), which is '%s'\n",
5466 sl->name, name);
5467 #endif
5468 break;
5471 if (sl)
5473 value = do_spec_1 (name, 0, NULL);
5474 if (value != 0)
5475 return value;
5478 /* Discard the closing paren. */
5479 if (*p)
5480 p++;
5482 break;
5484 default:
5485 error ("spec failure: unrecognized spec option %qc", c);
5486 break;
5488 break;
5490 case '\\':
5491 /* Backslash: treat next character as ordinary. */
5492 c = *p++;
5494 /* Fall through. */
5495 default:
5496 /* Ordinary character: put it into the current argument. */
5497 obstack_1grow (&obstack, c);
5498 arg_going = 1;
5501 /* End of string. If we are processing a spec function, we need to
5502 end any pending argument. */
5503 if (processing_spec_function)
5504 end_going_arg ();
5506 return 0;
5509 /* Look up a spec function. */
5511 static const struct spec_function *
5512 lookup_spec_function (const char *name)
5514 const struct spec_function *sf;
5516 for (sf = static_spec_functions; sf->name != NULL; sf++)
5517 if (strcmp (sf->name, name) == 0)
5518 return sf;
5520 return NULL;
5523 /* Evaluate a spec function. */
5525 static const char *
5526 eval_spec_function (const char *func, const char *args)
5528 const struct spec_function *sf;
5529 const char *funcval;
5531 /* Saved spec processing context. */
5532 vec<const_char_p> save_argbuf;
5534 int save_arg_going;
5535 int save_delete_this_arg;
5536 int save_this_is_output_file;
5537 int save_this_is_library_file;
5538 int save_input_from_pipe;
5539 int save_this_is_linker_script;
5540 const char *save_suffix_subst;
5542 int save_growing_size;
5543 void *save_growing_value = NULL;
5545 sf = lookup_spec_function (func);
5546 if (sf == NULL)
5547 fatal_error ("unknown spec function %qs", func);
5549 /* Push the spec processing context. */
5550 save_argbuf = argbuf;
5552 save_arg_going = arg_going;
5553 save_delete_this_arg = delete_this_arg;
5554 save_this_is_output_file = this_is_output_file;
5555 save_this_is_library_file = this_is_library_file;
5556 save_this_is_linker_script = this_is_linker_script;
5557 save_input_from_pipe = input_from_pipe;
5558 save_suffix_subst = suffix_subst;
5560 /* If we have some object growing now, finalize it so the args and function
5561 eval proceed from a cleared context. This is needed to prevent the first
5562 constructed arg from mistakenly including the growing value. We'll push
5563 this value back on the obstack once the function evaluation is done, to
5564 restore a consistent processing context for our caller. This is fine as
5565 the address of growing objects isn't guaranteed to remain stable until
5566 they are finalized, and we expect this situation to be rare enough for
5567 the extra copy not to be an issue. */
5568 save_growing_size = obstack_object_size (&obstack);
5569 if (save_growing_size > 0)
5570 save_growing_value = obstack_finish (&obstack);
5572 /* Create a new spec processing context, and build the function
5573 arguments. */
5575 alloc_args ();
5576 if (do_spec_2 (args) < 0)
5577 fatal_error ("error in args to spec function %qs", func);
5579 /* argbuf_index is an index for the next argument to be inserted, and
5580 so contains the count of the args already inserted. */
5582 funcval = (*sf->func) (argbuf.length (),
5583 argbuf.address ());
5585 /* Pop the spec processing context. */
5586 argbuf.release ();
5587 argbuf = save_argbuf;
5589 arg_going = save_arg_going;
5590 delete_this_arg = save_delete_this_arg;
5591 this_is_output_file = save_this_is_output_file;
5592 this_is_library_file = save_this_is_library_file;
5593 this_is_linker_script = save_this_is_linker_script;
5594 input_from_pipe = save_input_from_pipe;
5595 suffix_subst = save_suffix_subst;
5597 if (save_growing_size > 0)
5598 obstack_grow (&obstack, save_growing_value, save_growing_size);
5600 return funcval;
5603 /* Handle a spec function call of the form:
5605 %:function(args)
5607 ARGS is processed as a spec in a separate context and split into an
5608 argument vector in the normal fashion. The function returns a string
5609 containing a spec which we then process in the caller's context, or
5610 NULL if no processing is required.
5612 If RETVAL_NONNULL is not NULL, then store a bool whether function
5613 returned non-NULL. */
5615 static const char *
5616 handle_spec_function (const char *p, bool *retval_nonnull)
5618 char *func, *args;
5619 const char *endp, *funcval;
5620 int count;
5622 processing_spec_function++;
5624 /* Get the function name. */
5625 for (endp = p; *endp != '\0'; endp++)
5627 if (*endp == '(') /* ) */
5628 break;
5629 /* Only allow [A-Za-z0-9], -, and _ in function names. */
5630 if (!ISALNUM (*endp) && !(*endp == '-' || *endp == '_'))
5631 fatal_error ("malformed spec function name");
5633 if (*endp != '(') /* ) */
5634 fatal_error ("no arguments for spec function");
5635 func = save_string (p, endp - p);
5636 p = ++endp;
5638 /* Get the arguments. */
5639 for (count = 0; *endp != '\0'; endp++)
5641 /* ( */
5642 if (*endp == ')')
5644 if (count == 0)
5645 break;
5646 count--;
5648 else if (*endp == '(') /* ) */
5649 count++;
5651 /* ( */
5652 if (*endp != ')')
5653 fatal_error ("malformed spec function arguments");
5654 args = save_string (p, endp - p);
5655 p = ++endp;
5657 /* p now points to just past the end of the spec function expression. */
5659 funcval = eval_spec_function (func, args);
5660 if (funcval != NULL && do_spec_1 (funcval, 0, NULL) < 0)
5661 p = NULL;
5662 if (retval_nonnull)
5663 *retval_nonnull = funcval != NULL;
5665 free (func);
5666 free (args);
5668 processing_spec_function--;
5670 return p;
5673 /* Inline subroutine of handle_braces. Returns true if the current
5674 input suffix matches the atom bracketed by ATOM and END_ATOM. */
5675 static inline bool
5676 input_suffix_matches (const char *atom, const char *end_atom)
5678 return (input_suffix
5679 && !strncmp (input_suffix, atom, end_atom - atom)
5680 && input_suffix[end_atom - atom] == '\0');
5683 /* Subroutine of handle_braces. Returns true if the current
5684 input file's spec name matches the atom bracketed by ATOM and END_ATOM. */
5685 static bool
5686 input_spec_matches (const char *atom, const char *end_atom)
5688 return (input_file_compiler
5689 && input_file_compiler->suffix
5690 && input_file_compiler->suffix[0] != '\0'
5691 && !strncmp (input_file_compiler->suffix + 1, atom,
5692 end_atom - atom)
5693 && input_file_compiler->suffix[end_atom - atom + 1] == '\0');
5696 /* Subroutine of handle_braces. Returns true if a switch
5697 matching the atom bracketed by ATOM and END_ATOM appeared on the
5698 command line. */
5699 static bool
5700 switch_matches (const char *atom, const char *end_atom, int starred)
5702 int i;
5703 int len = end_atom - atom;
5704 int plen = starred ? len : -1;
5706 for (i = 0; i < n_switches; i++)
5707 if (!strncmp (switches[i].part1, atom, len)
5708 && (starred || switches[i].part1[len] == '\0')
5709 && check_live_switch (i, plen))
5710 return true;
5712 /* Check if a switch with separated form matching the atom.
5713 We check -D and -U switches. */
5714 else if (switches[i].args != 0)
5716 if ((*switches[i].part1 == 'D' || *switches[i].part1 == 'U')
5717 && *switches[i].part1 == atom[0])
5719 if (!strncmp (switches[i].args[0], &atom[1], len - 1)
5720 && (starred || (switches[i].part1[1] == '\0'
5721 && switches[i].args[0][len - 1] == '\0'))
5722 && check_live_switch (i, (starred ? 1 : -1)))
5723 return true;
5727 return false;
5730 /* Inline subroutine of handle_braces. Mark all of the switches which
5731 match ATOM (extends to END_ATOM; STARRED indicates whether there
5732 was a star after the atom) for later processing. */
5733 static inline void
5734 mark_matching_switches (const char *atom, const char *end_atom, int starred)
5736 int i;
5737 int len = end_atom - atom;
5738 int plen = starred ? len : -1;
5740 for (i = 0; i < n_switches; i++)
5741 if (!strncmp (switches[i].part1, atom, len)
5742 && (starred || switches[i].part1[len] == '\0')
5743 && check_live_switch (i, plen))
5744 switches[i].ordering = 1;
5747 /* Inline subroutine of handle_braces. Process all the currently
5748 marked switches through give_switch, and clear the marks. */
5749 static inline void
5750 process_marked_switches (void)
5752 int i;
5754 for (i = 0; i < n_switches; i++)
5755 if (switches[i].ordering == 1)
5757 switches[i].ordering = 0;
5758 give_switch (i, 0);
5762 /* Handle a %{ ... } construct. P points just inside the leading {.
5763 Returns a pointer one past the end of the brace block, or 0
5764 if we call do_spec_1 and that returns -1. */
5766 static const char *
5767 handle_braces (const char *p)
5769 const char *atom, *end_atom;
5770 const char *d_atom = NULL, *d_end_atom = NULL;
5771 const char *orig = p;
5773 bool a_is_suffix;
5774 bool a_is_spectype;
5775 bool a_is_starred;
5776 bool a_is_negated;
5777 bool a_matched;
5779 bool a_must_be_last = false;
5780 bool ordered_set = false;
5781 bool disjunct_set = false;
5782 bool disj_matched = false;
5783 bool disj_starred = true;
5784 bool n_way_choice = false;
5785 bool n_way_matched = false;
5787 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
5791 if (a_must_be_last)
5792 goto invalid;
5794 /* Scan one "atom" (S in the description above of %{}, possibly
5795 with '!', '.', '@', ',', or '*' modifiers). */
5796 a_matched = false;
5797 a_is_suffix = false;
5798 a_is_starred = false;
5799 a_is_negated = false;
5800 a_is_spectype = false;
5802 SKIP_WHITE ();
5803 if (*p == '!')
5804 p++, a_is_negated = true;
5806 SKIP_WHITE ();
5807 if (*p == '%' && p[1] == ':')
5809 atom = NULL;
5810 end_atom = NULL;
5811 p = handle_spec_function (p + 2, &a_matched);
5813 else
5815 if (*p == '.')
5816 p++, a_is_suffix = true;
5817 else if (*p == ',')
5818 p++, a_is_spectype = true;
5820 atom = p;
5821 while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
5822 || *p == ',' || *p == '.' || *p == '@')
5823 p++;
5824 end_atom = p;
5826 if (*p == '*')
5827 p++, a_is_starred = 1;
5830 SKIP_WHITE ();
5831 switch (*p)
5833 case '&': case '}':
5834 /* Substitute the switch(es) indicated by the current atom. */
5835 ordered_set = true;
5836 if (disjunct_set || n_way_choice || a_is_negated || a_is_suffix
5837 || a_is_spectype || atom == end_atom)
5838 goto invalid;
5840 mark_matching_switches (atom, end_atom, a_is_starred);
5842 if (*p == '}')
5843 process_marked_switches ();
5844 break;
5846 case '|': case ':':
5847 /* Substitute some text if the current atom appears as a switch
5848 or suffix. */
5849 disjunct_set = true;
5850 if (ordered_set)
5851 goto invalid;
5853 if (atom && atom == end_atom)
5855 if (!n_way_choice || disj_matched || *p == '|'
5856 || a_is_negated || a_is_suffix || a_is_spectype
5857 || a_is_starred)
5858 goto invalid;
5860 /* An empty term may appear as the last choice of an
5861 N-way choice set; it means "otherwise". */
5862 a_must_be_last = true;
5863 disj_matched = !n_way_matched;
5864 disj_starred = false;
5866 else
5868 if ((a_is_suffix || a_is_spectype) && a_is_starred)
5869 goto invalid;
5871 if (!a_is_starred)
5872 disj_starred = false;
5874 /* Don't bother testing this atom if we already have a
5875 match. */
5876 if (!disj_matched && !n_way_matched)
5878 if (atom == NULL)
5879 /* a_matched is already set by handle_spec_function. */;
5880 else if (a_is_suffix)
5881 a_matched = input_suffix_matches (atom, end_atom);
5882 else if (a_is_spectype)
5883 a_matched = input_spec_matches (atom, end_atom);
5884 else
5885 a_matched = switch_matches (atom, end_atom, a_is_starred);
5887 if (a_matched != a_is_negated)
5889 disj_matched = true;
5890 d_atom = atom;
5891 d_end_atom = end_atom;
5896 if (*p == ':')
5898 /* Found the body, that is, the text to substitute if the
5899 current disjunction matches. */
5900 p = process_brace_body (p + 1, d_atom, d_end_atom, disj_starred,
5901 disj_matched && !n_way_matched);
5902 if (p == 0)
5903 return 0;
5905 /* If we have an N-way choice, reset state for the next
5906 disjunction. */
5907 if (*p == ';')
5909 n_way_choice = true;
5910 n_way_matched |= disj_matched;
5911 disj_matched = false;
5912 disj_starred = true;
5913 d_atom = d_end_atom = NULL;
5916 break;
5918 default:
5919 goto invalid;
5922 while (*p++ != '}');
5924 return p;
5926 invalid:
5927 fatal_error ("braced spec %qs is invalid at %qc", orig, *p);
5929 #undef SKIP_WHITE
5932 /* Subroutine of handle_braces. Scan and process a brace substitution body
5933 (X in the description of %{} syntax). P points one past the colon;
5934 ATOM and END_ATOM bracket the first atom which was found to be true
5935 (present) in the current disjunction; STARRED indicates whether all
5936 the atoms in the current disjunction were starred (for syntax validation);
5937 MATCHED indicates whether the disjunction matched or not, and therefore
5938 whether or not the body is to be processed through do_spec_1 or just
5939 skipped. Returns a pointer to the closing } or ;, or 0 if do_spec_1
5940 returns -1. */
5942 static const char *
5943 process_brace_body (const char *p, const char *atom, const char *end_atom,
5944 int starred, int matched)
5946 const char *body, *end_body;
5947 unsigned int nesting_level;
5948 bool have_subst = false;
5950 /* Locate the closing } or ;, honoring nested braces.
5951 Trim trailing whitespace. */
5952 body = p;
5953 nesting_level = 1;
5954 for (;;)
5956 if (*p == '{')
5957 nesting_level++;
5958 else if (*p == '}')
5960 if (!--nesting_level)
5961 break;
5963 else if (*p == ';' && nesting_level == 1)
5964 break;
5965 else if (*p == '%' && p[1] == '*' && nesting_level == 1)
5966 have_subst = true;
5967 else if (*p == '\0')
5968 goto invalid;
5969 p++;
5972 end_body = p;
5973 while (end_body[-1] == ' ' || end_body[-1] == '\t')
5974 end_body--;
5976 if (have_subst && !starred)
5977 goto invalid;
5979 if (matched)
5981 /* Copy the substitution body to permanent storage and execute it.
5982 If have_subst is false, this is a simple matter of running the
5983 body through do_spec_1... */
5984 char *string = save_string (body, end_body - body);
5985 if (!have_subst)
5987 if (do_spec_1 (string, 0, NULL) < 0)
5988 return 0;
5990 else
5992 /* ... but if have_subst is true, we have to process the
5993 body once for each matching switch, with %* set to the
5994 variant part of the switch. */
5995 unsigned int hard_match_len = end_atom - atom;
5996 int i;
5998 for (i = 0; i < n_switches; i++)
5999 if (!strncmp (switches[i].part1, atom, hard_match_len)
6000 && check_live_switch (i, hard_match_len))
6002 if (do_spec_1 (string, 0,
6003 &switches[i].part1[hard_match_len]) < 0)
6004 return 0;
6005 /* Pass any arguments this switch has. */
6006 give_switch (i, 1);
6007 suffix_subst = NULL;
6012 return p;
6014 invalid:
6015 fatal_error ("braced spec body %qs is invalid", body);
6018 /* Return 0 iff switch number SWITCHNUM is obsoleted by a later switch
6019 on the command line. PREFIX_LENGTH is the length of XXX in an {XXX*}
6020 spec, or -1 if either exact match or %* is used.
6022 A -O switch is obsoleted by a later -O switch. A -f, -g, -m, or -W switch
6023 whose value does not begin with "no-" is obsoleted by the same value
6024 with the "no-", similarly for a switch with the "no-" prefix. */
6026 static int
6027 check_live_switch (int switchnum, int prefix_length)
6029 const char *name = switches[switchnum].part1;
6030 int i;
6032 /* If we already processed this switch and determined if it was
6033 live or not, return our past determination. */
6034 if (switches[switchnum].live_cond != 0)
6035 return ((switches[switchnum].live_cond & SWITCH_LIVE) != 0
6036 && (switches[switchnum].live_cond & SWITCH_FALSE) == 0
6037 && (switches[switchnum].live_cond & SWITCH_IGNORE_PERMANENTLY)
6038 == 0);
6040 /* In the common case of {<at-most-one-letter>*}, a negating
6041 switch would always match, so ignore that case. We will just
6042 send the conflicting switches to the compiler phase. */
6043 if (prefix_length >= 0 && prefix_length <= 1)
6044 return 1;
6046 /* Now search for duplicate in a manner that depends on the name. */
6047 switch (*name)
6049 case 'O':
6050 for (i = switchnum + 1; i < n_switches; i++)
6051 if (switches[i].part1[0] == 'O')
6053 switches[switchnum].validated = true;
6054 switches[switchnum].live_cond = SWITCH_FALSE;
6055 return 0;
6057 break;
6059 case 'W': case 'f': case 'm': case 'g':
6060 if (! strncmp (name + 1, "no-", 3))
6062 /* We have Xno-YYY, search for XYYY. */
6063 for (i = switchnum + 1; i < n_switches; i++)
6064 if (switches[i].part1[0] == name[0]
6065 && ! strcmp (&switches[i].part1[1], &name[4]))
6067 /* --specs are validated with the validate_switches mechanism. */
6068 if (switches[switchnum].known)
6069 switches[switchnum].validated = true;
6070 switches[switchnum].live_cond = SWITCH_FALSE;
6071 return 0;
6074 else
6076 /* We have XYYY, search for Xno-YYY. */
6077 for (i = switchnum + 1; i < n_switches; i++)
6078 if (switches[i].part1[0] == name[0]
6079 && switches[i].part1[1] == 'n'
6080 && switches[i].part1[2] == 'o'
6081 && switches[i].part1[3] == '-'
6082 && !strcmp (&switches[i].part1[4], &name[1]))
6084 /* --specs are validated with the validate_switches mechanism. */
6085 if (switches[switchnum].known)
6086 switches[switchnum].validated = true;
6087 switches[switchnum].live_cond = SWITCH_FALSE;
6088 return 0;
6091 break;
6094 /* Otherwise the switch is live. */
6095 switches[switchnum].live_cond |= SWITCH_LIVE;
6096 return 1;
6099 /* Pass a switch to the current accumulating command
6100 in the same form that we received it.
6101 SWITCHNUM identifies the switch; it is an index into
6102 the vector of switches gcc received, which is `switches'.
6103 This cannot fail since it never finishes a command line.
6105 If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument. */
6107 static void
6108 give_switch (int switchnum, int omit_first_word)
6110 if ((switches[switchnum].live_cond & SWITCH_IGNORE) != 0)
6111 return;
6113 if (!omit_first_word)
6115 do_spec_1 ("-", 0, NULL);
6116 do_spec_1 (switches[switchnum].part1, 1, NULL);
6119 if (switches[switchnum].args != 0)
6121 const char **p;
6122 for (p = switches[switchnum].args; *p; p++)
6124 const char *arg = *p;
6126 do_spec_1 (" ", 0, NULL);
6127 if (suffix_subst)
6129 unsigned length = strlen (arg);
6130 int dot = 0;
6132 while (length-- && !IS_DIR_SEPARATOR (arg[length]))
6133 if (arg[length] == '.')
6135 (CONST_CAST (char *, arg))[length] = 0;
6136 dot = 1;
6137 break;
6139 do_spec_1 (arg, 1, NULL);
6140 if (dot)
6141 (CONST_CAST (char *, arg))[length] = '.';
6142 do_spec_1 (suffix_subst, 1, NULL);
6144 else
6145 do_spec_1 (arg, 1, NULL);
6149 do_spec_1 (" ", 0, NULL);
6150 switches[switchnum].validated = true;
6153 /* Search for a file named NAME trying various prefixes including the
6154 user's -B prefix and some standard ones.
6155 Return the absolute file name found. If nothing is found, return NAME. */
6157 static const char *
6158 find_file (const char *name)
6160 char *newname = find_a_file (&startfile_prefixes, name, R_OK, true);
6161 return newname ? newname : name;
6164 /* Determine whether a directory exists. If LINKER, return 0 for
6165 certain fixed names not needed by the linker. */
6167 static int
6168 is_directory (const char *path1, bool linker)
6170 int len1;
6171 char *path;
6172 char *cp;
6173 struct stat st;
6175 /* Ensure the string ends with "/.". The resulting path will be a
6176 directory even if the given path is a symbolic link. */
6177 len1 = strlen (path1);
6178 path = (char *) alloca (3 + len1);
6179 memcpy (path, path1, len1);
6180 cp = path + len1;
6181 if (!IS_DIR_SEPARATOR (cp[-1]))
6182 *cp++ = DIR_SEPARATOR;
6183 *cp++ = '.';
6184 *cp = '\0';
6186 /* Exclude directories that the linker is known to search. */
6187 if (linker
6188 && IS_DIR_SEPARATOR (path[0])
6189 && ((cp - path == 6
6190 && filename_ncmp (path + 1, "lib", 3) == 0)
6191 || (cp - path == 10
6192 && filename_ncmp (path + 1, "usr", 3) == 0
6193 && IS_DIR_SEPARATOR (path[4])
6194 && filename_ncmp (path + 5, "lib", 3) == 0)))
6195 return 0;
6197 return (stat (path, &st) >= 0 && S_ISDIR (st.st_mode));
6200 /* Set up the various global variables to indicate that we're processing
6201 the input file named FILENAME. */
6203 void
6204 set_input (const char *filename)
6206 const char *p;
6208 gcc_input_filename = filename;
6209 input_filename_length = strlen (gcc_input_filename);
6210 input_basename = lbasename (gcc_input_filename);
6212 /* Find a suffix starting with the last period,
6213 and set basename_length to exclude that suffix. */
6214 basename_length = strlen (input_basename);
6215 suffixed_basename_length = basename_length;
6216 p = input_basename + basename_length;
6217 while (p != input_basename && *p != '.')
6218 --p;
6219 if (*p == '.' && p != input_basename)
6221 basename_length = p - input_basename;
6222 input_suffix = p + 1;
6224 else
6225 input_suffix = "";
6227 /* If a spec for 'g', 'u', or 'U' is seen with -save-temps then
6228 we will need to do a stat on the gcc_input_filename. The
6229 INPUT_STAT_SET signals that the stat is needed. */
6230 input_stat_set = 0;
6233 /* On fatal signals, delete all the temporary files. */
6235 static void
6236 fatal_signal (int signum)
6238 signal (signum, SIG_DFL);
6239 delete_failure_queue ();
6240 delete_temp_files ();
6241 /* Get the same signal again, this time not handled,
6242 so its normal effect occurs. */
6243 kill (getpid (), signum);
6246 /* Compare the contents of the two files named CMPFILE[0] and
6247 CMPFILE[1]. Return zero if they're identical, nonzero
6248 otherwise. */
6250 static int
6251 compare_files (char *cmpfile[])
6253 int ret = 0;
6254 FILE *temp[2] = { NULL, NULL };
6255 int i;
6257 #if HAVE_MMAP_FILE
6259 size_t length[2];
6260 void *map[2] = { NULL, NULL };
6262 for (i = 0; i < 2; i++)
6264 struct stat st;
6266 if (stat (cmpfile[i], &st) < 0 || !S_ISREG (st.st_mode))
6268 error ("%s: could not determine length of compare-debug file %s",
6269 gcc_input_filename, cmpfile[i]);
6270 ret = 1;
6271 break;
6274 length[i] = st.st_size;
6277 if (!ret && length[0] != length[1])
6279 error ("%s: -fcompare-debug failure (length)", gcc_input_filename);
6280 ret = 1;
6283 if (!ret)
6284 for (i = 0; i < 2; i++)
6286 int fd = open (cmpfile[i], O_RDONLY);
6287 if (fd < 0)
6289 error ("%s: could not open compare-debug file %s",
6290 gcc_input_filename, cmpfile[i]);
6291 ret = 1;
6292 break;
6295 map[i] = mmap (NULL, length[i], PROT_READ, MAP_PRIVATE, fd, 0);
6296 close (fd);
6298 if (map[i] == (void *) MAP_FAILED)
6300 ret = -1;
6301 break;
6305 if (!ret)
6307 if (memcmp (map[0], map[1], length[0]) != 0)
6309 error ("%s: -fcompare-debug failure", gcc_input_filename);
6310 ret = 1;
6314 for (i = 0; i < 2; i++)
6315 if (map[i])
6316 munmap ((caddr_t) map[i], length[i]);
6318 if (ret >= 0)
6319 return ret;
6321 ret = 0;
6323 #endif
6325 for (i = 0; i < 2; i++)
6327 temp[i] = fopen (cmpfile[i], "r");
6328 if (!temp[i])
6330 error ("%s: could not open compare-debug file %s",
6331 gcc_input_filename, cmpfile[i]);
6332 ret = 1;
6333 break;
6337 if (!ret && temp[0] && temp[1])
6338 for (;;)
6340 int c0, c1;
6341 c0 = fgetc (temp[0]);
6342 c1 = fgetc (temp[1]);
6344 if (c0 != c1)
6346 error ("%s: -fcompare-debug failure",
6347 gcc_input_filename);
6348 ret = 1;
6349 break;
6352 if (c0 == EOF)
6353 break;
6356 for (i = 1; i >= 0; i--)
6358 if (temp[i])
6359 fclose (temp[i]);
6362 return ret;
6365 extern int main (int, char **);
6368 main (int argc, char **argv)
6370 size_t i;
6371 int value;
6372 int linker_was_run = 0;
6373 int lang_n_infiles = 0;
6374 int num_linker_inputs = 0;
6375 char *explicit_link_files;
6376 char *specs_file;
6377 char *lto_wrapper_file;
6378 const char *p;
6379 struct user_specs *uptr;
6380 char **old_argv = argv;
6381 struct cl_decoded_option *decoded_options;
6382 unsigned int decoded_options_count;
6384 p = argv[0] + strlen (argv[0]);
6385 while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
6386 --p;
6387 progname = p;
6389 xmalloc_set_program_name (progname);
6391 expandargv (&argc, &argv);
6393 /* Determine if any expansions were made. */
6394 if (argv != old_argv)
6395 at_file_supplied = true;
6397 /* Register the language-independent parameters. */
6398 global_init_params ();
6399 finish_params ();
6401 init_options_struct (&global_options, &global_options_set);
6403 decode_cmdline_options_to_array (argc, CONST_CAST2 (const char **, char **,
6404 argv),
6405 CL_DRIVER,
6406 &decoded_options, &decoded_options_count);
6408 /* Unlock the stdio streams. */
6409 unlock_std_streams ();
6411 gcc_init_libintl ();
6413 diagnostic_initialize (global_dc, 0);
6415 #ifdef GCC_DRIVER_HOST_INITIALIZATION
6416 /* Perform host dependent initialization when needed. */
6417 GCC_DRIVER_HOST_INITIALIZATION;
6418 #endif
6420 if (atexit (delete_temp_files) != 0)
6421 fatal_error ("atexit failed");
6423 if (signal (SIGINT, SIG_IGN) != SIG_IGN)
6424 signal (SIGINT, fatal_signal);
6425 #ifdef SIGHUP
6426 if (signal (SIGHUP, SIG_IGN) != SIG_IGN)
6427 signal (SIGHUP, fatal_signal);
6428 #endif
6429 if (signal (SIGTERM, SIG_IGN) != SIG_IGN)
6430 signal (SIGTERM, fatal_signal);
6431 #ifdef SIGPIPE
6432 if (signal (SIGPIPE, SIG_IGN) != SIG_IGN)
6433 signal (SIGPIPE, fatal_signal);
6434 #endif
6435 #ifdef SIGCHLD
6436 /* We *MUST* set SIGCHLD to SIG_DFL so that the wait4() call will
6437 receive the signal. A different setting is inheritable */
6438 signal (SIGCHLD, SIG_DFL);
6439 #endif
6441 /* Parsing and gimplification sometimes need quite large stack.
6442 Increase stack size limits if possible. */
6443 stack_limit_increase (64 * 1024 * 1024);
6445 /* Allocate the argument vector. */
6446 alloc_args ();
6448 obstack_init (&obstack);
6450 /* Build multilib_select, et. al from the separate lines that make up each
6451 multilib selection. */
6453 const char *const *q = multilib_raw;
6454 int need_space;
6456 obstack_init (&multilib_obstack);
6457 while ((p = *q++) != (char *) 0)
6458 obstack_grow (&multilib_obstack, p, strlen (p));
6460 obstack_1grow (&multilib_obstack, 0);
6461 multilib_select = XOBFINISH (&multilib_obstack, const char *);
6463 q = multilib_matches_raw;
6464 while ((p = *q++) != (char *) 0)
6465 obstack_grow (&multilib_obstack, p, strlen (p));
6467 obstack_1grow (&multilib_obstack, 0);
6468 multilib_matches = XOBFINISH (&multilib_obstack, const char *);
6470 q = multilib_exclusions_raw;
6471 while ((p = *q++) != (char *) 0)
6472 obstack_grow (&multilib_obstack, p, strlen (p));
6474 obstack_1grow (&multilib_obstack, 0);
6475 multilib_exclusions = XOBFINISH (&multilib_obstack, const char *);
6477 q = multilib_reuse_raw;
6478 while ((p = *q++) != (char *) 0)
6479 obstack_grow (&multilib_obstack, p, strlen (p));
6481 obstack_1grow (&multilib_obstack, 0);
6482 multilib_reuse = XOBFINISH (&multilib_obstack, const char *);
6484 need_space = FALSE;
6485 for (i = 0; i < ARRAY_SIZE (multilib_defaults_raw); i++)
6487 if (need_space)
6488 obstack_1grow (&multilib_obstack, ' ');
6489 obstack_grow (&multilib_obstack,
6490 multilib_defaults_raw[i],
6491 strlen (multilib_defaults_raw[i]));
6492 need_space = TRUE;
6495 obstack_1grow (&multilib_obstack, 0);
6496 multilib_defaults = XOBFINISH (&multilib_obstack, const char *);
6499 #ifdef INIT_ENVIRONMENT
6500 /* Set up any other necessary machine specific environment variables. */
6501 xputenv (INIT_ENVIRONMENT);
6502 #endif
6504 /* Make a table of what switches there are (switches, n_switches).
6505 Make a table of specified input files (infiles, n_infiles).
6506 Decode switches that are handled locally. */
6508 process_command (decoded_options_count, decoded_options);
6510 /* Initialize the vector of specs to just the default.
6511 This means one element containing 0s, as a terminator. */
6513 compilers = XNEWVAR (struct compiler, sizeof default_compilers);
6514 memcpy (compilers, default_compilers, sizeof default_compilers);
6515 n_compilers = n_default_compilers;
6517 /* Read specs from a file if there is one. */
6519 machine_suffix = concat (spec_machine, dir_separator_str,
6520 spec_version, dir_separator_str, NULL);
6521 just_machine_suffix = concat (spec_machine, dir_separator_str, NULL);
6523 specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, true);
6524 /* Read the specs file unless it is a default one. */
6525 if (specs_file != 0 && strcmp (specs_file, "specs"))
6526 read_specs (specs_file, true, false);
6527 else
6528 init_spec ();
6530 /* We need to check standard_exec_prefix/just_machine_suffix/specs
6531 for any override of as, ld and libraries. */
6532 specs_file = (char *) alloca (strlen (standard_exec_prefix)
6533 + strlen (just_machine_suffix) + sizeof ("specs"));
6535 strcpy (specs_file, standard_exec_prefix);
6536 strcat (specs_file, just_machine_suffix);
6537 strcat (specs_file, "specs");
6538 if (access (specs_file, R_OK) == 0)
6539 read_specs (specs_file, true, false);
6541 /* Process any configure-time defaults specified for the command line
6542 options, via OPTION_DEFAULT_SPECS. */
6543 for (i = 0; i < ARRAY_SIZE (option_default_specs); i++)
6544 do_option_spec (option_default_specs[i].name,
6545 option_default_specs[i].spec);
6547 /* Process DRIVER_SELF_SPECS, adding any new options to the end
6548 of the command line. */
6550 for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
6551 do_self_spec (driver_self_specs[i]);
6553 /* If not cross-compiling, look for executables in the standard
6554 places. */
6555 if (*cross_compile == '0')
6557 if (*md_exec_prefix)
6559 add_prefix (&exec_prefixes, md_exec_prefix, "GCC",
6560 PREFIX_PRIORITY_LAST, 0, 0);
6564 /* Process sysroot_suffix_spec. */
6565 if (*sysroot_suffix_spec != 0
6566 && !no_sysroot_suffix
6567 && do_spec_2 (sysroot_suffix_spec) == 0)
6569 if (argbuf.length () > 1)
6570 error ("spec failure: more than one arg to SYSROOT_SUFFIX_SPEC");
6571 else if (argbuf.length () == 1)
6572 target_sysroot_suffix = xstrdup (argbuf.last ());
6575 #ifdef HAVE_LD_SYSROOT
6576 /* Pass the --sysroot option to the linker, if it supports that. If
6577 there is a sysroot_suffix_spec, it has already been processed by
6578 this point, so target_system_root really is the system root we
6579 should be using. */
6580 if (target_system_root)
6582 obstack_grow (&obstack, "%(sysroot_spec) ", strlen ("%(sysroot_spec) "));
6583 obstack_grow0 (&obstack, link_spec, strlen (link_spec));
6584 set_spec ("link", XOBFINISH (&obstack, const char *), false);
6586 #endif
6588 /* Process sysroot_hdrs_suffix_spec. */
6589 if (*sysroot_hdrs_suffix_spec != 0
6590 && !no_sysroot_suffix
6591 && do_spec_2 (sysroot_hdrs_suffix_spec) == 0)
6593 if (argbuf.length () > 1)
6594 error ("spec failure: more than one arg to SYSROOT_HEADERS_SUFFIX_SPEC");
6595 else if (argbuf.length () == 1)
6596 target_sysroot_hdrs_suffix = xstrdup (argbuf.last ());
6599 /* Look for startfiles in the standard places. */
6600 if (*startfile_prefix_spec != 0
6601 && do_spec_2 (startfile_prefix_spec) == 0
6602 && do_spec_1 (" ", 0, NULL) == 0)
6604 const char *arg;
6605 int ndx;
6606 FOR_EACH_VEC_ELT (argbuf, ndx, arg)
6607 add_sysrooted_prefix (&startfile_prefixes, arg, "BINUTILS",
6608 PREFIX_PRIORITY_LAST, 0, 1);
6610 /* We should eventually get rid of all these and stick to
6611 startfile_prefix_spec exclusively. */
6612 else if (*cross_compile == '0' || target_system_root)
6614 if (*md_startfile_prefix)
6615 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix,
6616 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6618 if (*md_startfile_prefix_1)
6619 add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix_1,
6620 "GCC", PREFIX_PRIORITY_LAST, 0, 1);
6622 /* If standard_startfile_prefix is relative, base it on
6623 standard_exec_prefix. This lets us move the installed tree
6624 as a unit. If GCC_EXEC_PREFIX is defined, base
6625 standard_startfile_prefix on that as well.
6627 If the prefix is relative, only search it for native compilers;
6628 otherwise we will search a directory containing host libraries. */
6629 if (IS_ABSOLUTE_PATH (standard_startfile_prefix))
6630 add_sysrooted_prefix (&startfile_prefixes,
6631 standard_startfile_prefix, "BINUTILS",
6632 PREFIX_PRIORITY_LAST, 0, 1);
6633 else if (*cross_compile == '0')
6635 add_prefix (&startfile_prefixes,
6636 concat (gcc_exec_prefix
6637 ? gcc_exec_prefix : standard_exec_prefix,
6638 machine_suffix,
6639 standard_startfile_prefix, NULL),
6640 NULL, PREFIX_PRIORITY_LAST, 0, 1);
6643 /* Sysrooted prefixes are relocated because target_system_root is
6644 also relocated by gcc_exec_prefix. */
6645 if (*standard_startfile_prefix_1)
6646 add_sysrooted_prefix (&startfile_prefixes,
6647 standard_startfile_prefix_1, "BINUTILS",
6648 PREFIX_PRIORITY_LAST, 0, 1);
6649 if (*standard_startfile_prefix_2)
6650 add_sysrooted_prefix (&startfile_prefixes,
6651 standard_startfile_prefix_2, "BINUTILS",
6652 PREFIX_PRIORITY_LAST, 0, 1);
6655 /* Process any user specified specs in the order given on the command
6656 line. */
6657 for (uptr = user_specs_head; uptr; uptr = uptr->next)
6659 char *filename = find_a_file (&startfile_prefixes, uptr->filename,
6660 R_OK, true);
6661 read_specs (filename ? filename : uptr->filename, false, true);
6664 /* Process any user self specs. */
6666 struct spec_list *sl;
6667 for (sl = specs; sl; sl = sl->next)
6668 if (sl->name_len == sizeof "self_spec" - 1
6669 && !strcmp (sl->name, "self_spec"))
6670 do_self_spec (*sl->ptr_spec);
6673 if (compare_debug)
6675 enum save_temps save;
6677 if (!compare_debug_second)
6679 n_switches_debug_check[1] = n_switches;
6680 n_switches_alloc_debug_check[1] = n_switches_alloc;
6681 switches_debug_check[1] = XDUPVEC (struct switchstr, switches,
6682 n_switches_alloc);
6684 do_self_spec ("%:compare-debug-self-opt()");
6685 n_switches_debug_check[0] = n_switches;
6686 n_switches_alloc_debug_check[0] = n_switches_alloc;
6687 switches_debug_check[0] = switches;
6689 n_switches = n_switches_debug_check[1];
6690 n_switches_alloc = n_switches_alloc_debug_check[1];
6691 switches = switches_debug_check[1];
6694 /* Avoid crash when computing %j in this early. */
6695 save = save_temps_flag;
6696 save_temps_flag = SAVE_TEMPS_NONE;
6698 compare_debug = -compare_debug;
6699 do_self_spec ("%:compare-debug-self-opt()");
6701 save_temps_flag = save;
6703 if (!compare_debug_second)
6705 n_switches_debug_check[1] = n_switches;
6706 n_switches_alloc_debug_check[1] = n_switches_alloc;
6707 switches_debug_check[1] = switches;
6708 compare_debug = -compare_debug;
6709 n_switches = n_switches_debug_check[0];
6710 n_switches_alloc = n_switches_debug_check[0];
6711 switches = switches_debug_check[0];
6716 /* If we have a GCC_EXEC_PREFIX envvar, modify it for cpp's sake. */
6717 if (gcc_exec_prefix)
6718 gcc_exec_prefix = concat (gcc_exec_prefix, spec_machine, dir_separator_str,
6719 spec_version, dir_separator_str, NULL);
6721 /* Now we have the specs.
6722 Set the `valid' bits for switches that match anything in any spec. */
6724 validate_all_switches ();
6726 /* Now that we have the switches and the specs, set
6727 the subdirectory based on the options. */
6728 set_multilib_dir ();
6730 /* Set up to remember the pathname of gcc and any options
6731 needed for collect. We use argv[0] instead of progname because
6732 we need the complete pathname. */
6733 obstack_init (&collect_obstack);
6734 obstack_grow (&collect_obstack, "COLLECT_GCC=", sizeof ("COLLECT_GCC=") - 1);
6735 obstack_grow (&collect_obstack, argv[0], strlen (argv[0]) + 1);
6736 xputenv (XOBFINISH (&collect_obstack, char *));
6738 /* Set up to remember the pathname of the lto wrapper. */
6740 if (have_c)
6741 lto_wrapper_file = NULL;
6742 else
6743 lto_wrapper_file = find_a_file (&exec_prefixes, "lto-wrapper",
6744 X_OK, false);
6745 if (lto_wrapper_file)
6747 lto_wrapper_file = convert_white_space (lto_wrapper_file);
6748 lto_wrapper_spec = lto_wrapper_file;
6749 obstack_init (&collect_obstack);
6750 obstack_grow (&collect_obstack, "COLLECT_LTO_WRAPPER=",
6751 sizeof ("COLLECT_LTO_WRAPPER=") - 1);
6752 obstack_grow (&collect_obstack, lto_wrapper_spec,
6753 strlen (lto_wrapper_spec) + 1);
6754 xputenv (XOBFINISH (&collect_obstack, char *));
6757 /* Reject switches that no pass was interested in. */
6759 for (i = 0; (int) i < n_switches; i++)
6760 if (! switches[i].validated)
6761 error ("unrecognized command line option %<-%s%>", switches[i].part1);
6763 /* Obey some of the options. */
6765 if (print_search_dirs)
6767 printf (_("install: %s%s\n"),
6768 gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
6769 gcc_exec_prefix ? "" : machine_suffix);
6770 printf (_("programs: %s\n"),
6771 build_search_list (&exec_prefixes, "", false, false));
6772 printf (_("libraries: %s\n"),
6773 build_search_list (&startfile_prefixes, "", false, true));
6774 return (0);
6777 if (print_file_name)
6779 printf ("%s\n", find_file (print_file_name));
6780 return (0);
6783 if (print_prog_name)
6785 if (use_ld != NULL && ! strcmp (print_prog_name, "ld"))
6787 /* Append USE_LD to to the default linker. */
6788 #ifdef DEFAULT_LINKER
6789 char *ld;
6790 # ifdef HAVE_HOST_EXECUTABLE_SUFFIX
6791 int len = (sizeof (DEFAULT_LINKER)
6792 - sizeof (HOST_EXECUTABLE_SUFFIX));
6793 ld = NULL;
6794 if (len > 0)
6796 char *default_linker = xstrdup (DEFAULT_LINKER);
6797 /* Strip HOST_EXECUTABLE_SUFFIX if DEFAULT_LINKER contains
6798 HOST_EXECUTABLE_SUFFIX. */
6799 if (! strcmp (&default_linker[len], HOST_EXECUTABLE_SUFFIX))
6801 default_linker[len] = '\0';
6802 ld = concat (default_linker, use_ld,
6803 HOST_EXECUTABLE_SUFFIX, NULL);
6806 if (ld == NULL)
6807 # endif
6808 ld = concat (DEFAULT_LINKER, use_ld, NULL);
6809 if (access (ld, X_OK) == 0)
6811 printf ("%s\n", ld);
6812 return (0);
6814 #endif
6815 print_prog_name = concat (print_prog_name, use_ld, NULL);
6817 char *newname = find_a_file (&exec_prefixes, print_prog_name, X_OK, 0);
6818 printf ("%s\n", (newname ? newname : print_prog_name));
6819 return (0);
6822 if (print_multi_lib)
6824 print_multilib_info ();
6825 return (0);
6828 if (print_multi_directory)
6830 if (multilib_dir == NULL)
6831 printf (".\n");
6832 else
6833 printf ("%s\n", multilib_dir);
6834 return (0);
6837 if (print_multiarch)
6839 if (multiarch_dir == NULL)
6840 printf ("\n");
6841 else
6842 printf ("%s\n", multiarch_dir);
6843 return (0);
6846 if (print_sysroot)
6848 if (target_system_root)
6850 if (target_sysroot_suffix)
6851 printf ("%s%s\n", target_system_root, target_sysroot_suffix);
6852 else
6853 printf ("%s\n", target_system_root);
6855 return (0);
6858 if (print_multi_os_directory)
6860 if (multilib_os_dir == NULL)
6861 printf (".\n");
6862 else
6863 printf ("%s\n", multilib_os_dir);
6864 return (0);
6867 if (print_sysroot_headers_suffix)
6869 if (*sysroot_hdrs_suffix_spec)
6871 printf("%s\n", (target_sysroot_hdrs_suffix
6872 ? target_sysroot_hdrs_suffix
6873 : ""));
6874 return (0);
6876 else
6877 /* The error status indicates that only one set of fixed
6878 headers should be built. */
6879 fatal_error ("not configured with sysroot headers suffix");
6882 if (print_help_list)
6884 display_help ();
6886 if (! verbose_flag)
6888 printf (_("\nFor bug reporting instructions, please see:\n"));
6889 printf ("%s.\n", bug_report_url);
6891 return (0);
6894 /* We do not exit here. Instead we have created a fake input file
6895 called 'help-dummy' which needs to be compiled, and we pass this
6896 on the various sub-processes, along with the --help switch.
6897 Ensure their output appears after ours. */
6898 fputc ('\n', stdout);
6899 fflush (stdout);
6902 if (print_version)
6904 printf (_("%s %s%s\n"), progname, pkgversion_string,
6905 version_string);
6906 printf ("Copyright %s 2014 Free Software Foundation, Inc.\n",
6907 _("(C)"));
6908 fputs (_("This is free software; see the source for copying conditions. There is NO\n\
6909 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"),
6910 stdout);
6911 if (! verbose_flag)
6912 return 0;
6914 /* We do not exit here. We use the same mechanism of --help to print
6915 the version of the sub-processes. */
6916 fputc ('\n', stdout);
6917 fflush (stdout);
6920 if (verbose_flag)
6922 int n;
6923 const char *thrmod;
6925 fnotice (stderr, "Target: %s\n", spec_machine);
6926 fnotice (stderr, "Configured with: %s\n", configuration_arguments);
6928 #ifdef THREAD_MODEL_SPEC
6929 /* We could have defined THREAD_MODEL_SPEC to "%*" by default,
6930 but there's no point in doing all this processing just to get
6931 thread_model back. */
6932 obstack_init (&obstack);
6933 do_spec_1 (THREAD_MODEL_SPEC, 0, thread_model);
6934 obstack_1grow (&obstack, '\0');
6935 thrmod = XOBFINISH (&obstack, const char *);
6936 #else
6937 thrmod = thread_model;
6938 #endif
6940 fnotice (stderr, "Thread model: %s\n", thrmod);
6942 /* compiler_version is truncated at the first space when initialized
6943 from version string, so truncate version_string at the first space
6944 before comparing. */
6945 for (n = 0; version_string[n]; n++)
6946 if (version_string[n] == ' ')
6947 break;
6949 if (! strncmp (version_string, compiler_version, n)
6950 && compiler_version[n] == 0)
6951 fnotice (stderr, "gcc version %s %s\n", version_string,
6952 pkgversion_string);
6953 else
6954 fnotice (stderr, "gcc driver version %s %sexecuting gcc version %s\n",
6955 version_string, pkgversion_string, compiler_version);
6957 if (n_infiles == 0)
6958 return (0);
6961 if (n_infiles == added_libraries)
6962 fatal_error ("no input files");
6964 if (seen_error ())
6965 goto out;
6967 /* Make a place to record the compiler output file names
6968 that correspond to the input files. */
6970 i = n_infiles;
6971 i += lang_specific_extra_outfiles;
6972 outfiles = XCNEWVEC (const char *, i);
6974 /* Record which files were specified explicitly as link input. */
6976 explicit_link_files = XCNEWVEC (char, n_infiles);
6978 combine_inputs = have_o || flag_wpa;
6980 for (i = 0; (int) i < n_infiles; i++)
6982 const char *name = infiles[i].name;
6983 struct compiler *compiler = lookup_compiler (name,
6984 strlen (name),
6985 infiles[i].language);
6987 if (compiler && !(compiler->combinable))
6988 combine_inputs = false;
6990 if (lang_n_infiles > 0 && compiler != input_file_compiler
6991 && infiles[i].language && infiles[i].language[0] != '*')
6992 infiles[i].incompiler = compiler;
6993 else if (compiler)
6995 lang_n_infiles++;
6996 input_file_compiler = compiler;
6997 infiles[i].incompiler = compiler;
6999 else
7001 /* Since there is no compiler for this input file, assume it is a
7002 linker file. */
7003 explicit_link_files[i] = 1;
7004 infiles[i].incompiler = NULL;
7006 infiles[i].compiled = false;
7007 infiles[i].preprocessed = false;
7010 if (!combine_inputs && have_c && have_o && lang_n_infiles > 1)
7011 fatal_error ("cannot specify -o with -c, -S or -E with multiple files");
7013 for (i = 0; (int) i < n_infiles; i++)
7015 int this_file_error = 0;
7017 /* Tell do_spec what to substitute for %i. */
7019 input_file_number = i;
7020 set_input (infiles[i].name);
7022 if (infiles[i].compiled)
7023 continue;
7025 /* Use the same thing in %o, unless cp->spec says otherwise. */
7027 outfiles[i] = gcc_input_filename;
7029 /* Figure out which compiler from the file's suffix. */
7031 input_file_compiler
7032 = lookup_compiler (infiles[i].name, input_filename_length,
7033 infiles[i].language);
7035 if (input_file_compiler)
7037 /* Ok, we found an applicable compiler. Run its spec. */
7039 if (input_file_compiler->spec[0] == '#')
7041 error ("%s: %s compiler not installed on this system",
7042 gcc_input_filename, &input_file_compiler->spec[1]);
7043 this_file_error = 1;
7045 else
7047 if (compare_debug)
7049 free (debug_check_temp_file[0]);
7050 debug_check_temp_file[0] = NULL;
7052 free (debug_check_temp_file[1]);
7053 debug_check_temp_file[1] = NULL;
7056 value = do_spec (input_file_compiler->spec);
7057 infiles[i].compiled = true;
7058 if (value < 0)
7059 this_file_error = 1;
7060 else if (compare_debug && debug_check_temp_file[0])
7062 if (verbose_flag)
7063 inform (0, "recompiling with -fcompare-debug");
7065 compare_debug = -compare_debug;
7066 n_switches = n_switches_debug_check[1];
7067 n_switches_alloc = n_switches_alloc_debug_check[1];
7068 switches = switches_debug_check[1];
7070 value = do_spec (input_file_compiler->spec);
7072 compare_debug = -compare_debug;
7073 n_switches = n_switches_debug_check[0];
7074 n_switches_alloc = n_switches_alloc_debug_check[0];
7075 switches = switches_debug_check[0];
7077 if (value < 0)
7079 error ("during -fcompare-debug recompilation");
7080 this_file_error = 1;
7083 gcc_assert (debug_check_temp_file[1]
7084 && filename_cmp (debug_check_temp_file[0],
7085 debug_check_temp_file[1]));
7087 if (verbose_flag)
7088 inform (0, "comparing final insns dumps");
7090 if (compare_files (debug_check_temp_file))
7091 this_file_error = 1;
7094 if (compare_debug)
7096 free (debug_check_temp_file[0]);
7097 debug_check_temp_file[0] = NULL;
7099 free (debug_check_temp_file[1]);
7100 debug_check_temp_file[1] = NULL;
7105 /* If this file's name does not contain a recognized suffix,
7106 record it as explicit linker input. */
7108 else
7109 explicit_link_files[i] = 1;
7111 /* Clear the delete-on-failure queue, deleting the files in it
7112 if this compilation failed. */
7114 if (this_file_error)
7116 delete_failure_queue ();
7117 errorcount++;
7119 /* If this compilation succeeded, don't delete those files later. */
7120 clear_failure_queue ();
7123 /* Reset the input file name to the first compile/object file name, for use
7124 with %b in LINK_SPEC. We use the first input file that we can find
7125 a compiler to compile it instead of using infiles.language since for
7126 languages other than C we use aliases that we then lookup later. */
7127 if (n_infiles > 0)
7129 int i;
7131 for (i = 0; i < n_infiles ; i++)
7132 if (infiles[i].incompiler
7133 || (infiles[i].language && infiles[i].language[0] != '*'))
7135 set_input (infiles[i].name);
7136 break;
7140 if (!seen_error ())
7142 /* Make sure INPUT_FILE_NUMBER points to first available open
7143 slot. */
7144 input_file_number = n_infiles;
7145 if (lang_specific_pre_link ())
7146 errorcount++;
7149 /* Determine if there are any linker input files. */
7150 num_linker_inputs = 0;
7151 for (i = 0; (int) i < n_infiles; i++)
7152 if (explicit_link_files[i] || outfiles[i] != NULL)
7153 num_linker_inputs++;
7155 /* Run ld to link all the compiler output files. */
7157 if (num_linker_inputs > 0 && !seen_error () && print_subprocess_help < 2)
7159 int tmp = execution_count;
7161 if (! have_c)
7163 #if HAVE_LTO_PLUGIN > 0
7164 #if HAVE_LTO_PLUGIN == 2
7165 const char *fno_use_linker_plugin = "fno-use-linker-plugin";
7166 #else
7167 const char *fuse_linker_plugin = "fuse-linker-plugin";
7168 #endif
7169 #endif
7171 /* We'll use ld if we can't find collect2. */
7172 if (! strcmp (linker_name_spec, "collect2"))
7174 char *s = find_a_file (&exec_prefixes, "collect2", X_OK, false);
7175 if (s == NULL)
7176 linker_name_spec = "ld";
7179 #if HAVE_LTO_PLUGIN > 0
7180 #if HAVE_LTO_PLUGIN == 2
7181 if (!switch_matches (fno_use_linker_plugin,
7182 fno_use_linker_plugin
7183 + strlen (fno_use_linker_plugin), 0))
7184 #else
7185 if (switch_matches (fuse_linker_plugin,
7186 fuse_linker_plugin
7187 + strlen (fuse_linker_plugin), 0))
7188 #endif
7190 char *temp_spec = find_a_file (&exec_prefixes,
7191 LTOPLUGINSONAME, R_OK,
7192 false);
7193 if (!temp_spec)
7194 fatal_error ("-fuse-linker-plugin, but %s not found",
7195 LTOPLUGINSONAME);
7196 linker_plugin_file_spec = convert_white_space (temp_spec);
7198 #endif
7199 lto_gcc_spec = argv[0];
7202 /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
7203 for collect. */
7204 putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH", false);
7205 putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV, true);
7207 if (print_subprocess_help == 1)
7209 printf (_("\nLinker options\n==============\n\n"));
7210 printf (_("Use \"-Wl,OPTION\" to pass \"OPTION\""
7211 " to the linker.\n\n"));
7212 fflush (stdout);
7214 value = do_spec (link_command_spec);
7215 if (value < 0)
7216 errorcount = 1;
7217 linker_was_run = (tmp != execution_count);
7220 /* If options said don't run linker,
7221 complain about input files to be given to the linker. */
7223 if (! linker_was_run && !seen_error ())
7224 for (i = 0; (int) i < n_infiles; i++)
7225 if (explicit_link_files[i]
7226 && !(infiles[i].language && infiles[i].language[0] == '*'))
7227 warning (0, "%s: linker input file unused because linking not done",
7228 outfiles[i]);
7230 /* Delete some or all of the temporary files we made. */
7232 if (seen_error ())
7233 delete_failure_queue ();
7234 delete_temp_files ();
7236 if (print_help_list)
7238 printf (("\nFor bug reporting instructions, please see:\n"));
7239 printf ("%s\n", bug_report_url);
7242 out:
7243 return (signal_count != 0 ? 2
7244 : seen_error () ? (pass_exit_codes ? greatest_status : 1)
7245 : 0);
7248 /* Find the proper compilation spec for the file name NAME,
7249 whose length is LENGTH. LANGUAGE is the specified language,
7250 or 0 if this file is to be passed to the linker. */
7252 static struct compiler *
7253 lookup_compiler (const char *name, size_t length, const char *language)
7255 struct compiler *cp;
7257 /* If this was specified by the user to be a linker input, indicate that. */
7258 if (language != 0 && language[0] == '*')
7259 return 0;
7261 /* Otherwise, look for the language, if one is spec'd. */
7262 if (language != 0)
7264 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7265 if (cp->suffix[0] == '@' && !strcmp (cp->suffix + 1, language))
7266 return cp;
7268 error ("language %s not recognized", language);
7269 return 0;
7272 /* Look for a suffix. */
7273 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7275 if (/* The suffix `-' matches only the file name `-'. */
7276 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7277 || (strlen (cp->suffix) < length
7278 /* See if the suffix matches the end of NAME. */
7279 && !strcmp (cp->suffix,
7280 name + length - strlen (cp->suffix))
7282 break;
7285 #if defined (OS2) ||defined (HAVE_DOS_BASED_FILE_SYSTEM)
7286 /* Look again, but case-insensitively this time. */
7287 if (cp < compilers)
7288 for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
7290 if (/* The suffix `-' matches only the file name `-'. */
7291 (!strcmp (cp->suffix, "-") && !strcmp (name, "-"))
7292 || (strlen (cp->suffix) < length
7293 /* See if the suffix matches the end of NAME. */
7294 && ((!strcmp (cp->suffix,
7295 name + length - strlen (cp->suffix))
7296 || !strpbrk (cp->suffix, "ABCDEFGHIJKLMNOPQRSTUVWXYZ"))
7297 && !strcasecmp (cp->suffix,
7298 name + length - strlen (cp->suffix)))
7300 break;
7302 #endif
7304 if (cp >= compilers)
7306 if (cp->spec[0] != '@')
7307 /* A non-alias entry: return it. */
7308 return cp;
7310 /* An alias entry maps a suffix to a language.
7311 Search for the language; pass 0 for NAME and LENGTH
7312 to avoid infinite recursion if language not found. */
7313 return lookup_compiler (NULL, 0, cp->spec + 1);
7315 return 0;
7318 static char *
7319 save_string (const char *s, int len)
7321 char *result = XNEWVEC (char, len + 1);
7323 memcpy (result, s, len);
7324 result[len] = 0;
7325 return result;
7328 void
7329 pfatal_with_name (const char *name)
7331 perror_with_name (name);
7332 delete_temp_files ();
7333 exit (1);
7336 static void
7337 perror_with_name (const char *name)
7339 error ("%s: %m", name);
7342 static inline void
7343 validate_switches_from_spec (const char *spec, bool user)
7345 const char *p = spec;
7346 char c;
7347 while ((c = *p++))
7348 if (c == '%' && (*p == '{' || *p == '<' || (*p == 'W' && *++p == '{')))
7349 /* We have a switch spec. */
7350 p = validate_switches (p + 1, user);
7353 static void
7354 validate_all_switches (void)
7356 struct compiler *comp;
7357 struct spec_list *spec;
7359 for (comp = compilers; comp->spec; comp++)
7360 validate_switches_from_spec (comp->spec, false);
7362 /* Look through the linked list of specs read from the specs file. */
7363 for (spec = specs; spec; spec = spec->next)
7364 validate_switches_from_spec (*spec->ptr_spec, spec->user_p);
7366 validate_switches_from_spec (link_command_spec, false);
7369 /* Look at the switch-name that comes after START
7370 and mark as valid all supplied switches that match it. */
7372 static const char *
7373 validate_switches (const char *start, bool user_spec)
7375 const char *p = start;
7376 const char *atom;
7377 size_t len;
7378 int i;
7379 bool suffix = false;
7380 bool starred = false;
7382 #define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
7384 next_member:
7385 SKIP_WHITE ();
7387 if (*p == '!')
7388 p++;
7390 SKIP_WHITE ();
7391 if (*p == '.' || *p == ',')
7392 suffix = true, p++;
7394 atom = p;
7395 while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
7396 || *p == ',' || *p == '.' || *p == '@')
7397 p++;
7398 len = p - atom;
7400 if (*p == '*')
7401 starred = true, p++;
7403 SKIP_WHITE ();
7405 if (!suffix)
7407 /* Mark all matching switches as valid. */
7408 for (i = 0; i < n_switches; i++)
7409 if (!strncmp (switches[i].part1, atom, len)
7410 && (starred || switches[i].part1[len] == '\0')
7411 && (switches[i].known || user_spec))
7412 switches[i].validated = true;
7415 if (*p) p++;
7416 if (*p && (p[-1] == '|' || p[-1] == '&'))
7417 goto next_member;
7419 if (*p && p[-1] == ':')
7421 while (*p && *p != ';' && *p != '}')
7423 if (*p == '%')
7425 p++;
7426 if (*p == '{' || *p == '<')
7427 p = validate_switches (p+1, user_spec);
7428 else if (p[0] == 'W' && p[1] == '{')
7429 p = validate_switches (p+2, user_spec);
7431 else
7432 p++;
7435 if (*p) p++;
7436 if (*p && p[-1] == ';')
7437 goto next_member;
7440 return p;
7441 #undef SKIP_WHITE
7444 struct mdswitchstr
7446 const char *str;
7447 int len;
7450 static struct mdswitchstr *mdswitches;
7451 static int n_mdswitches;
7453 /* Check whether a particular argument was used. The first time we
7454 canonicalize the switches to keep only the ones we care about. */
7456 static int
7457 used_arg (const char *p, int len)
7459 struct mswitchstr
7461 const char *str;
7462 const char *replace;
7463 int len;
7464 int rep_len;
7467 static struct mswitchstr *mswitches;
7468 static int n_mswitches;
7469 int i, j;
7471 if (!mswitches)
7473 struct mswitchstr *matches;
7474 const char *q;
7475 int cnt = 0;
7477 /* Break multilib_matches into the component strings of string
7478 and replacement string. */
7479 for (q = multilib_matches; *q != '\0'; q++)
7480 if (*q == ';')
7481 cnt++;
7483 matches
7484 = (struct mswitchstr *) alloca ((sizeof (struct mswitchstr)) * cnt);
7485 i = 0;
7486 q = multilib_matches;
7487 while (*q != '\0')
7489 matches[i].str = q;
7490 while (*q != ' ')
7492 if (*q == '\0')
7494 invalid_matches:
7495 fatal_error ("multilib spec %qs is invalid",
7496 multilib_matches);
7498 q++;
7500 matches[i].len = q - matches[i].str;
7502 matches[i].replace = ++q;
7503 while (*q != ';' && *q != '\0')
7505 if (*q == ' ')
7506 goto invalid_matches;
7507 q++;
7509 matches[i].rep_len = q - matches[i].replace;
7510 i++;
7511 if (*q == ';')
7512 q++;
7515 /* Now build a list of the replacement string for switches that we care
7516 about. Make sure we allocate at least one entry. This prevents
7517 xmalloc from calling fatal, and prevents us from re-executing this
7518 block of code. */
7519 mswitches
7520 = XNEWVEC (struct mswitchstr, n_mdswitches + (n_switches ? n_switches : 1));
7521 for (i = 0; i < n_switches; i++)
7522 if ((switches[i].live_cond & SWITCH_IGNORE) == 0)
7524 int xlen = strlen (switches[i].part1);
7525 for (j = 0; j < cnt; j++)
7526 if (xlen == matches[j].len
7527 && ! strncmp (switches[i].part1, matches[j].str, xlen))
7529 mswitches[n_mswitches].str = matches[j].replace;
7530 mswitches[n_mswitches].len = matches[j].rep_len;
7531 mswitches[n_mswitches].replace = (char *) 0;
7532 mswitches[n_mswitches].rep_len = 0;
7533 n_mswitches++;
7534 break;
7538 /* Add MULTILIB_DEFAULTS switches too, as long as they were not present
7539 on the command line nor any options mutually incompatible with
7540 them. */
7541 for (i = 0; i < n_mdswitches; i++)
7543 const char *r;
7545 for (q = multilib_options; *q != '\0'; *q && q++)
7547 while (*q == ' ')
7548 q++;
7550 r = q;
7551 while (strncmp (q, mdswitches[i].str, mdswitches[i].len) != 0
7552 || strchr (" /", q[mdswitches[i].len]) == NULL)
7554 while (*q != ' ' && *q != '/' && *q != '\0')
7555 q++;
7556 if (*q != '/')
7557 break;
7558 q++;
7561 if (*q != ' ' && *q != '\0')
7563 while (*r != ' ' && *r != '\0')
7565 q = r;
7566 while (*q != ' ' && *q != '/' && *q != '\0')
7567 q++;
7569 if (used_arg (r, q - r))
7570 break;
7572 if (*q != '/')
7574 mswitches[n_mswitches].str = mdswitches[i].str;
7575 mswitches[n_mswitches].len = mdswitches[i].len;
7576 mswitches[n_mswitches].replace = (char *) 0;
7577 mswitches[n_mswitches].rep_len = 0;
7578 n_mswitches++;
7579 break;
7582 r = q + 1;
7584 break;
7590 for (i = 0; i < n_mswitches; i++)
7591 if (len == mswitches[i].len && ! strncmp (p, mswitches[i].str, len))
7592 return 1;
7594 return 0;
7597 static int
7598 default_arg (const char *p, int len)
7600 int i;
7602 for (i = 0; i < n_mdswitches; i++)
7603 if (len == mdswitches[i].len && ! strncmp (p, mdswitches[i].str, len))
7604 return 1;
7606 return 0;
7609 /* Work out the subdirectory to use based on the options. The format of
7610 multilib_select is a list of elements. Each element is a subdirectory
7611 name followed by a list of options followed by a semicolon. The format
7612 of multilib_exclusions is the same, but without the preceding
7613 directory. First gcc will check the exclusions, if none of the options
7614 beginning with an exclamation point are present, and all of the other
7615 options are present, then we will ignore this completely. Passing
7616 that, gcc will consider each multilib_select in turn using the same
7617 rules for matching the options. If a match is found, that subdirectory
7618 will be used.
7619 A subdirectory name is optionally followed by a colon and the corresponding
7620 multiarch name. */
7622 static void
7623 set_multilib_dir (void)
7625 const char *p;
7626 unsigned int this_path_len;
7627 const char *this_path, *this_arg;
7628 const char *start, *end;
7629 int not_arg;
7630 int ok, ndfltok, first;
7632 n_mdswitches = 0;
7633 start = multilib_defaults;
7634 while (*start == ' ' || *start == '\t')
7635 start++;
7636 while (*start != '\0')
7638 n_mdswitches++;
7639 while (*start != ' ' && *start != '\t' && *start != '\0')
7640 start++;
7641 while (*start == ' ' || *start == '\t')
7642 start++;
7645 if (n_mdswitches)
7647 int i = 0;
7649 mdswitches = XNEWVEC (struct mdswitchstr, n_mdswitches);
7650 for (start = multilib_defaults; *start != '\0'; start = end + 1)
7652 while (*start == ' ' || *start == '\t')
7653 start++;
7655 if (*start == '\0')
7656 break;
7658 for (end = start + 1;
7659 *end != ' ' && *end != '\t' && *end != '\0'; end++)
7662 obstack_grow (&multilib_obstack, start, end - start);
7663 obstack_1grow (&multilib_obstack, 0);
7664 mdswitches[i].str = XOBFINISH (&multilib_obstack, const char *);
7665 mdswitches[i++].len = end - start;
7667 if (*end == '\0')
7668 break;
7672 p = multilib_exclusions;
7673 while (*p != '\0')
7675 /* Ignore newlines. */
7676 if (*p == '\n')
7678 ++p;
7679 continue;
7682 /* Check the arguments. */
7683 ok = 1;
7684 while (*p != ';')
7686 if (*p == '\0')
7688 invalid_exclusions:
7689 fatal_error ("multilib exclusions %qs is invalid",
7690 multilib_exclusions);
7693 if (! ok)
7695 ++p;
7696 continue;
7699 this_arg = p;
7700 while (*p != ' ' && *p != ';')
7702 if (*p == '\0')
7703 goto invalid_exclusions;
7704 ++p;
7707 if (*this_arg != '!')
7708 not_arg = 0;
7709 else
7711 not_arg = 1;
7712 ++this_arg;
7715 ok = used_arg (this_arg, p - this_arg);
7716 if (not_arg)
7717 ok = ! ok;
7719 if (*p == ' ')
7720 ++p;
7723 if (ok)
7724 return;
7726 ++p;
7729 first = 1;
7730 p = multilib_select;
7732 /* Append multilib reuse rules if any. With those rules, we can reuse
7733 one multilib for certain different options sets. */
7734 if (strlen (multilib_reuse) > 0)
7735 p = concat (p, multilib_reuse, NULL);
7737 while (*p != '\0')
7739 /* Ignore newlines. */
7740 if (*p == '\n')
7742 ++p;
7743 continue;
7746 /* Get the initial path. */
7747 this_path = p;
7748 while (*p != ' ')
7750 if (*p == '\0')
7752 invalid_select:
7753 fatal_error ("multilib select %qs %qs is invalid",
7754 multilib_select, multilib_reuse);
7756 ++p;
7758 this_path_len = p - this_path;
7760 /* Check the arguments. */
7761 ok = 1;
7762 ndfltok = 1;
7763 ++p;
7764 while (*p != ';')
7766 if (*p == '\0')
7767 goto invalid_select;
7769 if (! ok)
7771 ++p;
7772 continue;
7775 this_arg = p;
7776 while (*p != ' ' && *p != ';')
7778 if (*p == '\0')
7779 goto invalid_select;
7780 ++p;
7783 if (*this_arg != '!')
7784 not_arg = 0;
7785 else
7787 not_arg = 1;
7788 ++this_arg;
7791 /* If this is a default argument, we can just ignore it.
7792 This is true even if this_arg begins with '!'. Beginning
7793 with '!' does not mean that this argument is necessarily
7794 inappropriate for this library: it merely means that
7795 there is a more specific library which uses this
7796 argument. If this argument is a default, we need not
7797 consider that more specific library. */
7798 ok = used_arg (this_arg, p - this_arg);
7799 if (not_arg)
7800 ok = ! ok;
7802 if (! ok)
7803 ndfltok = 0;
7805 if (default_arg (this_arg, p - this_arg))
7806 ok = 1;
7808 if (*p == ' ')
7809 ++p;
7812 if (ok && first)
7814 if (this_path_len != 1
7815 || this_path[0] != '.')
7817 char *new_multilib_dir = XNEWVEC (char, this_path_len + 1);
7818 char *q;
7820 strncpy (new_multilib_dir, this_path, this_path_len);
7821 new_multilib_dir[this_path_len] = '\0';
7822 q = strchr (new_multilib_dir, ':');
7823 if (q != NULL)
7824 *q = '\0';
7825 multilib_dir = new_multilib_dir;
7827 first = 0;
7830 if (ndfltok)
7832 const char *q = this_path, *end = this_path + this_path_len;
7834 while (q < end && *q != ':')
7835 q++;
7836 if (q < end)
7838 const char *q2 = q + 1, *ml_end = end;
7839 char *new_multilib_os_dir;
7841 while (q2 < end && *q2 != ':')
7842 q2++;
7843 if (*q2 == ':')
7844 ml_end = q2;
7845 if (ml_end - q == 1)
7846 multilib_os_dir = xstrdup (".");
7847 else
7849 new_multilib_os_dir = XNEWVEC (char, ml_end - q);
7850 memcpy (new_multilib_os_dir, q + 1, ml_end - q - 1);
7851 new_multilib_os_dir[ml_end - q - 1] = '\0';
7852 multilib_os_dir = new_multilib_os_dir;
7855 if (q2 < end && *q2 == ':')
7857 char *new_multiarch_dir = XNEWVEC (char, end - q2);
7858 memcpy (new_multiarch_dir, q2 + 1, end - q2 - 1);
7859 new_multiarch_dir[end - q2 - 1] = '\0';
7860 multiarch_dir = new_multiarch_dir;
7862 break;
7866 ++p;
7869 if (multilib_dir == NULL && multilib_os_dir != NULL
7870 && strcmp (multilib_os_dir, ".") == 0)
7872 free (CONST_CAST (char *, multilib_os_dir));
7873 multilib_os_dir = NULL;
7875 else if (multilib_dir != NULL && multilib_os_dir == NULL)
7876 multilib_os_dir = multilib_dir;
7879 /* Print out the multiple library subdirectory selection
7880 information. This prints out a series of lines. Each line looks
7881 like SUBDIRECTORY;@OPTION@OPTION, with as many options as is
7882 required. Only the desired options are printed out, the negative
7883 matches. The options are print without a leading dash. There are
7884 no spaces to make it easy to use the information in the shell.
7885 Each subdirectory is printed only once. This assumes the ordering
7886 generated by the genmultilib script. Also, we leave out ones that match
7887 the exclusions. */
7889 static void
7890 print_multilib_info (void)
7892 const char *p = multilib_select;
7893 const char *last_path = 0, *this_path;
7894 int skip;
7895 unsigned int last_path_len = 0;
7897 while (*p != '\0')
7899 skip = 0;
7900 /* Ignore newlines. */
7901 if (*p == '\n')
7903 ++p;
7904 continue;
7907 /* Get the initial path. */
7908 this_path = p;
7909 while (*p != ' ')
7911 if (*p == '\0')
7913 invalid_select:
7914 fatal_error ("multilib select %qs is invalid", multilib_select);
7917 ++p;
7920 /* When --disable-multilib was used but target defines
7921 MULTILIB_OSDIRNAMES, entries starting with .: (and not starting
7922 with .:: for multiarch configurations) are there just to find
7923 multilib_os_dir, so skip them from output. */
7924 if (this_path[0] == '.' && this_path[1] == ':' && this_path[2] != ':')
7925 skip = 1;
7927 /* Check for matches with the multilib_exclusions. We don't bother
7928 with the '!' in either list. If any of the exclusion rules match
7929 all of its options with the select rule, we skip it. */
7931 const char *e = multilib_exclusions;
7932 const char *this_arg;
7934 while (*e != '\0')
7936 int m = 1;
7937 /* Ignore newlines. */
7938 if (*e == '\n')
7940 ++e;
7941 continue;
7944 /* Check the arguments. */
7945 while (*e != ';')
7947 const char *q;
7948 int mp = 0;
7950 if (*e == '\0')
7952 invalid_exclusion:
7953 fatal_error ("multilib exclusion %qs is invalid",
7954 multilib_exclusions);
7957 if (! m)
7959 ++e;
7960 continue;
7963 this_arg = e;
7965 while (*e != ' ' && *e != ';')
7967 if (*e == '\0')
7968 goto invalid_exclusion;
7969 ++e;
7972 q = p + 1;
7973 while (*q != ';')
7975 const char *arg;
7976 int len = e - this_arg;
7978 if (*q == '\0')
7979 goto invalid_select;
7981 arg = q;
7983 while (*q != ' ' && *q != ';')
7985 if (*q == '\0')
7986 goto invalid_select;
7987 ++q;
7990 if (! strncmp (arg, this_arg,
7991 (len < q - arg) ? q - arg : len)
7992 || default_arg (this_arg, e - this_arg))
7994 mp = 1;
7995 break;
7998 if (*q == ' ')
7999 ++q;
8002 if (! mp)
8003 m = 0;
8005 if (*e == ' ')
8006 ++e;
8009 if (m)
8011 skip = 1;
8012 break;
8015 if (*e != '\0')
8016 ++e;
8020 if (! skip)
8022 /* If this is a duplicate, skip it. */
8023 skip = (last_path != 0
8024 && (unsigned int) (p - this_path) == last_path_len
8025 && ! filename_ncmp (last_path, this_path, last_path_len));
8027 last_path = this_path;
8028 last_path_len = p - this_path;
8031 /* If this directory requires any default arguments, we can skip
8032 it. We will already have printed a directory identical to
8033 this one which does not require that default argument. */
8034 if (! skip)
8036 const char *q;
8038 q = p + 1;
8039 while (*q != ';')
8041 const char *arg;
8043 if (*q == '\0')
8044 goto invalid_select;
8046 if (*q == '!')
8047 arg = NULL;
8048 else
8049 arg = q;
8051 while (*q != ' ' && *q != ';')
8053 if (*q == '\0')
8054 goto invalid_select;
8055 ++q;
8058 if (arg != NULL
8059 && default_arg (arg, q - arg))
8061 skip = 1;
8062 break;
8065 if (*q == ' ')
8066 ++q;
8070 if (! skip)
8072 const char *p1;
8074 for (p1 = last_path; p1 < p && *p1 != ':'; p1++)
8075 putchar (*p1);
8076 putchar (';');
8079 ++p;
8080 while (*p != ';')
8082 int use_arg;
8084 if (*p == '\0')
8085 goto invalid_select;
8087 if (skip)
8089 ++p;
8090 continue;
8093 use_arg = *p != '!';
8095 if (use_arg)
8096 putchar ('@');
8098 while (*p != ' ' && *p != ';')
8100 if (*p == '\0')
8101 goto invalid_select;
8102 if (use_arg)
8103 putchar (*p);
8104 ++p;
8107 if (*p == ' ')
8108 ++p;
8111 if (! skip)
8113 /* If there are extra options, print them now. */
8114 if (multilib_extra && *multilib_extra)
8116 int print_at = TRUE;
8117 const char *q;
8119 for (q = multilib_extra; *q != '\0'; q++)
8121 if (*q == ' ')
8122 print_at = TRUE;
8123 else
8125 if (print_at)
8126 putchar ('@');
8127 putchar (*q);
8128 print_at = FALSE;
8133 putchar ('\n');
8136 ++p;
8140 /* getenv built-in spec function.
8142 Returns the value of the environment variable given by its first
8143 argument, concatenated with the second argument. If the
8144 environment variable is not defined, a fatal error is issued. */
8146 static const char *
8147 getenv_spec_function (int argc, const char **argv)
8149 char *value;
8150 char *result;
8151 char *ptr;
8152 size_t len;
8154 if (argc != 2)
8155 return NULL;
8157 value = getenv (argv[0]);
8158 if (!value)
8159 fatal_error ("environment variable %qs not defined", argv[0]);
8161 /* We have to escape every character of the environment variable so
8162 they are not interpreted as active spec characters. A
8163 particularly painful case is when we are reading a variable
8164 holding a windows path complete with \ separators. */
8165 len = strlen (value) * 2 + strlen (argv[1]) + 1;
8166 result = XNEWVAR (char, len);
8167 for (ptr = result; *value; ptr += 2)
8169 ptr[0] = '\\';
8170 ptr[1] = *value++;
8173 strcpy (ptr, argv[1]);
8175 return result;
8178 /* if-exists built-in spec function.
8180 Checks to see if the file specified by the absolute pathname in
8181 ARGS exists. Returns that pathname if found.
8183 The usual use for this function is to check for a library file
8184 (whose name has been expanded with %s). */
8186 static const char *
8187 if_exists_spec_function (int argc, const char **argv)
8189 /* Must have only one argument. */
8190 if (argc == 1 && IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8191 return argv[0];
8193 return NULL;
8196 /* if-exists-else built-in spec function.
8198 This is like if-exists, but takes an additional argument which
8199 is returned if the first argument does not exist. */
8201 static const char *
8202 if_exists_else_spec_function (int argc, const char **argv)
8204 /* Must have exactly two arguments. */
8205 if (argc != 2)
8206 return NULL;
8208 if (IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
8209 return argv[0];
8211 return argv[1];
8214 /* sanitize built-in spec function.
8216 This returns non-NULL, if sanitizing address, thread or
8217 any of the undefined behavior sanitizers. */
8219 static const char *
8220 sanitize_spec_function (int argc, const char **argv)
8222 if (argc != 1)
8223 return NULL;
8225 if (strcmp (argv[0], "address") == 0)
8226 return (flag_sanitize & SANITIZE_USER_ADDRESS) ? "" : NULL;
8227 if (strcmp (argv[0], "kernel-address") == 0)
8228 return (flag_sanitize & SANITIZE_KERNEL_ADDRESS) ? "" : NULL;
8229 if (strcmp (argv[0], "thread") == 0)
8230 return (flag_sanitize & SANITIZE_THREAD) ? "" : NULL;
8231 if (strcmp (argv[0], "undefined") == 0)
8232 return ((flag_sanitize & (SANITIZE_UNDEFINED | SANITIZE_NONDEFAULT))
8233 && !flag_sanitize_undefined_trap_on_error) ? "" : NULL;
8234 if (strcmp (argv[0], "leak") == 0)
8235 return ((flag_sanitize
8236 & (SANITIZE_ADDRESS | SANITIZE_LEAK | SANITIZE_THREAD))
8237 == SANITIZE_LEAK) ? "" : NULL;
8238 return NULL;
8241 /* replace-outfile built-in spec function.
8243 This looks for the first argument in the outfiles array's name and
8244 replaces it with the second argument. */
8246 static const char *
8247 replace_outfile_spec_function (int argc, const char **argv)
8249 int i;
8250 /* Must have exactly two arguments. */
8251 if (argc != 2)
8252 abort ();
8254 for (i = 0; i < n_infiles; i++)
8256 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8257 outfiles[i] = xstrdup (argv[1]);
8259 return NULL;
8262 /* remove-outfile built-in spec function.
8264 * This looks for the first argument in the outfiles array's name and
8265 * removes it. */
8267 static const char *
8268 remove_outfile_spec_function (int argc, const char **argv)
8270 int i;
8271 /* Must have exactly one argument. */
8272 if (argc != 1)
8273 abort ();
8275 for (i = 0; i < n_infiles; i++)
8277 if (outfiles[i] && !filename_cmp (outfiles[i], argv[0]))
8278 outfiles[i] = NULL;
8280 return NULL;
8283 /* Given two version numbers, compares the two numbers.
8284 A version number must match the regular expression
8285 ([1-9][0-9]*|0)(\.([1-9][0-9]*|0))*
8287 static int
8288 compare_version_strings (const char *v1, const char *v2)
8290 int rresult;
8291 regex_t r;
8293 if (regcomp (&r, "^([1-9][0-9]*|0)(\\.([1-9][0-9]*|0))*$",
8294 REG_EXTENDED | REG_NOSUB) != 0)
8295 abort ();
8296 rresult = regexec (&r, v1, 0, NULL, 0);
8297 if (rresult == REG_NOMATCH)
8298 fatal_error ("invalid version number %qs", v1);
8299 else if (rresult != 0)
8300 abort ();
8301 rresult = regexec (&r, v2, 0, NULL, 0);
8302 if (rresult == REG_NOMATCH)
8303 fatal_error ("invalid version number %qs", v2);
8304 else if (rresult != 0)
8305 abort ();
8307 return strverscmp (v1, v2);
8311 /* version_compare built-in spec function.
8313 This takes an argument of the following form:
8315 <comparison-op> <arg1> [<arg2>] <switch> <result>
8317 and produces "result" if the comparison evaluates to true,
8318 and nothing if it doesn't.
8320 The supported <comparison-op> values are:
8322 >= true if switch is a later (or same) version than arg1
8323 !> opposite of >=
8324 < true if switch is an earlier version than arg1
8325 !< opposite of <
8326 >< true if switch is arg1 or later, and earlier than arg2
8327 <> true if switch is earlier than arg1 or is arg2 or later
8329 If the switch is not present, the condition is false unless
8330 the first character of the <comparison-op> is '!'.
8332 For example,
8333 %:version-compare(>= 10.3 mmacosx-version-min= -lmx)
8334 adds -lmx if -mmacosx-version-min=10.3.9 was passed. */
8336 static const char *
8337 version_compare_spec_function (int argc, const char **argv)
8339 int comp1, comp2;
8340 size_t switch_len;
8341 const char *switch_value = NULL;
8342 int nargs = 1, i;
8343 bool result;
8345 if (argc < 3)
8346 fatal_error ("too few arguments to %%:version-compare");
8347 if (argv[0][0] == '\0')
8348 abort ();
8349 if ((argv[0][1] == '<' || argv[0][1] == '>') && argv[0][0] != '!')
8350 nargs = 2;
8351 if (argc != nargs + 3)
8352 fatal_error ("too many arguments to %%:version-compare");
8354 switch_len = strlen (argv[nargs + 1]);
8355 for (i = 0; i < n_switches; i++)
8356 if (!strncmp (switches[i].part1, argv[nargs + 1], switch_len)
8357 && check_live_switch (i, switch_len))
8358 switch_value = switches[i].part1 + switch_len;
8360 if (switch_value == NULL)
8361 comp1 = comp2 = -1;
8362 else
8364 comp1 = compare_version_strings (switch_value, argv[1]);
8365 if (nargs == 2)
8366 comp2 = compare_version_strings (switch_value, argv[2]);
8367 else
8368 comp2 = -1; /* This value unused. */
8371 switch (argv[0][0] << 8 | argv[0][1])
8373 case '>' << 8 | '=':
8374 result = comp1 >= 0;
8375 break;
8376 case '!' << 8 | '<':
8377 result = comp1 >= 0 || switch_value == NULL;
8378 break;
8379 case '<' << 8:
8380 result = comp1 < 0;
8381 break;
8382 case '!' << 8 | '>':
8383 result = comp1 < 0 || switch_value == NULL;
8384 break;
8385 case '>' << 8 | '<':
8386 result = comp1 >= 0 && comp2 < 0;
8387 break;
8388 case '<' << 8 | '>':
8389 result = comp1 < 0 || comp2 >= 0;
8390 break;
8392 default:
8393 fatal_error ("unknown operator %qs in %%:version-compare", argv[0]);
8395 if (! result)
8396 return NULL;
8398 return argv[nargs + 2];
8401 /* %:include builtin spec function. This differs from %include in that it
8402 can be nested inside a spec, and thus be conditionalized. It takes
8403 one argument, the filename, and looks for it in the startfile path.
8404 The result is always NULL, i.e. an empty expansion. */
8406 static const char *
8407 include_spec_function (int argc, const char **argv)
8409 char *file;
8411 if (argc != 1)
8412 abort ();
8414 file = find_a_file (&startfile_prefixes, argv[0], R_OK, true);
8415 read_specs (file ? file : argv[0], false, false);
8417 return NULL;
8420 /* %:find-file spec function. This function replaces its argument by
8421 the file found through find_file, that is the -print-file-name gcc
8422 program option. */
8423 static const char *
8424 find_file_spec_function (int argc, const char **argv)
8426 const char *file;
8428 if (argc != 1)
8429 abort ();
8431 file = find_file (argv[0]);
8432 return file;
8436 /* %:find-plugindir spec function. This function replaces its argument
8437 by the -iplugindir=<dir> option. `dir' is found through find_file, that
8438 is the -print-file-name gcc program option. */
8439 static const char *
8440 find_plugindir_spec_function (int argc, const char **argv ATTRIBUTE_UNUSED)
8442 const char *option;
8444 if (argc != 0)
8445 abort ();
8447 option = concat ("-iplugindir=", find_file ("plugin"), NULL);
8448 return option;
8452 /* %:print-asm-header spec function. Print a banner to say that the
8453 following output is from the assembler. */
8455 static const char *
8456 print_asm_header_spec_function (int arg ATTRIBUTE_UNUSED,
8457 const char **argv ATTRIBUTE_UNUSED)
8459 printf (_("Assembler options\n=================\n\n"));
8460 printf (_("Use \"-Wa,OPTION\" to pass \"OPTION\" to the assembler.\n\n"));
8461 fflush (stdout);
8462 return NULL;
8465 /* Get a random number for -frandom-seed */
8467 static unsigned HOST_WIDE_INT
8468 get_random_number (void)
8470 unsigned HOST_WIDE_INT ret = 0;
8471 int fd;
8473 fd = open ("/dev/urandom", O_RDONLY);
8474 if (fd >= 0)
8476 read (fd, &ret, sizeof (HOST_WIDE_INT));
8477 close (fd);
8478 if (ret)
8479 return ret;
8482 /* Get some more or less random data. */
8483 #ifdef HAVE_GETTIMEOFDAY
8485 struct timeval tv;
8487 gettimeofday (&tv, NULL);
8488 ret = tv.tv_sec * 1000 + tv.tv_usec / 1000;
8490 #else
8492 time_t now = time (NULL);
8494 if (now != (time_t)-1)
8495 ret = (unsigned) now;
8497 #endif
8499 return ret ^ getpid ();
8502 /* %:compare-debug-dump-opt spec function. Save the last argument,
8503 expected to be the last -fdump-final-insns option, or generate a
8504 temporary. */
8506 static const char *
8507 compare_debug_dump_opt_spec_function (int arg,
8508 const char **argv ATTRIBUTE_UNUSED)
8510 char *ret;
8511 char *name;
8512 int which;
8513 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
8515 if (arg != 0)
8516 fatal_error ("too many arguments to %%:compare-debug-dump-opt");
8518 do_spec_2 ("%{fdump-final-insns=*:%*}");
8519 do_spec_1 (" ", 0, NULL);
8521 if (argbuf.length () > 0
8522 && strcmp (argv[argbuf.length () - 1], "."))
8524 if (!compare_debug)
8525 return NULL;
8527 name = xstrdup (argv[argbuf.length () - 1]);
8528 ret = NULL;
8530 else
8532 const char *ext = NULL;
8534 if (argbuf.length () > 0)
8536 do_spec_2 ("%{o*:%*}%{!o:%{!S:%b%O}%{S:%b.s}}");
8537 ext = ".gkd";
8539 else if (!compare_debug)
8540 return NULL;
8541 else
8542 do_spec_2 ("%g.gkd");
8544 do_spec_1 (" ", 0, NULL);
8546 gcc_assert (argbuf.length () > 0);
8548 name = concat (argbuf.last (), ext, NULL);
8550 ret = concat ("-fdump-final-insns=", name, NULL);
8553 which = compare_debug < 0;
8554 debug_check_temp_file[which] = name;
8556 if (!which)
8558 unsigned HOST_WIDE_INT value = get_random_number ();
8560 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
8563 if (*random_seed)
8565 char *tmp = ret;
8566 ret = concat ("%{!frandom-seed=*:-frandom-seed=", random_seed, "} ",
8567 ret, NULL);
8568 free (tmp);
8571 if (which)
8572 *random_seed = 0;
8574 return ret;
8577 static const char *debug_auxbase_opt;
8579 /* %:compare-debug-self-opt spec function. Expands to the options
8580 that are to be passed in the second compilation of
8581 compare-debug. */
8583 static const char *
8584 compare_debug_self_opt_spec_function (int arg,
8585 const char **argv ATTRIBUTE_UNUSED)
8587 if (arg != 0)
8588 fatal_error ("too many arguments to %%:compare-debug-self-opt");
8590 if (compare_debug >= 0)
8591 return NULL;
8593 do_spec_2 ("%{c|S:%{o*:%*}}");
8594 do_spec_1 (" ", 0, NULL);
8596 if (argbuf.length () > 0)
8597 debug_auxbase_opt = concat ("-auxbase-strip ",
8598 argbuf.last (),
8599 NULL);
8600 else
8601 debug_auxbase_opt = NULL;
8603 return concat ("\
8604 %<o %<MD %<MMD %<MF* %<MG %<MP %<MQ* %<MT* \
8605 %<fdump-final-insns=* -w -S -o %j \
8606 %{!fcompare-debug-second:-fcompare-debug-second} \
8607 ", compare_debug_opt, NULL);
8610 /* %:compare-debug-auxbase-opt spec function. Expands to the auxbase
8611 options that are to be passed in the second compilation of
8612 compare-debug. It expects, as an argument, the basename of the
8613 current input file name, with the .gk suffix appended to it. */
8615 static const char *
8616 compare_debug_auxbase_opt_spec_function (int arg,
8617 const char **argv)
8619 char *name;
8620 int len;
8622 if (arg == 0)
8623 fatal_error ("too few arguments to %%:compare-debug-auxbase-opt");
8625 if (arg != 1)
8626 fatal_error ("too many arguments to %%:compare-debug-auxbase-opt");
8628 if (compare_debug >= 0)
8629 return NULL;
8631 len = strlen (argv[0]);
8632 if (len < 3 || strcmp (argv[0] + len - 3, ".gk") != 0)
8633 fatal_error ("argument to %%:compare-debug-auxbase-opt "
8634 "does not end in .gk");
8636 if (debug_auxbase_opt)
8637 return debug_auxbase_opt;
8639 #define OPT "-auxbase "
8641 len -= 3;
8642 name = (char*) xmalloc (sizeof (OPT) + len);
8643 memcpy (name, OPT, sizeof (OPT) - 1);
8644 memcpy (name + sizeof (OPT) - 1, argv[0], len);
8645 name[sizeof (OPT) - 1 + len] = '\0';
8647 #undef OPT
8649 return name;
8652 /* %:pass-through-libs spec function. Finds all -l options and input
8653 file names in the lib spec passed to it, and makes a list of them
8654 prepended with the plugin option to cause them to be passed through
8655 to the final link after all the new object files have been added. */
8657 const char *
8658 pass_through_libs_spec_func (int argc, const char **argv)
8660 char *prepended = xstrdup (" ");
8661 int n;
8662 /* Shlemiel the painter's algorithm. Innately horrible, but at least
8663 we know that there will never be more than a handful of strings to
8664 concat, and it's only once per run, so it's not worth optimising. */
8665 for (n = 0; n < argc; n++)
8667 char *old = prepended;
8668 /* Anything that isn't an option is a full path to an output
8669 file; pass it through if it ends in '.a'. Among options,
8670 pass only -l. */
8671 if (argv[n][0] == '-' && argv[n][1] == 'l')
8673 const char *lopt = argv[n] + 2;
8674 /* Handle both joined and non-joined -l options. If for any
8675 reason there's a trailing -l with no joined or following
8676 arg just discard it. */
8677 if (!*lopt && ++n >= argc)
8678 break;
8679 else if (!*lopt)
8680 lopt = argv[n];
8681 prepended = concat (prepended, "-plugin-opt=-pass-through=-l",
8682 lopt, " ", NULL);
8684 else if (!strcmp (".a", argv[n] + strlen (argv[n]) - 2))
8686 prepended = concat (prepended, "-plugin-opt=-pass-through=",
8687 argv[n], " ", NULL);
8689 if (prepended != old)
8690 free (old);
8692 return prepended;
8695 /* %:replace-extension spec function. Replaces the extension of the
8696 first argument with the second argument. */
8698 const char *
8699 replace_extension_spec_func (int argc, const char **argv)
8701 char *name;
8702 char *p;
8703 char *result;
8704 int i;
8706 if (argc != 2)
8707 fatal_error ("too few arguments to %%:replace-extension");
8709 name = xstrdup (argv[0]);
8711 for (i = strlen (name) - 1; i >= 0; i--)
8712 if (IS_DIR_SEPARATOR (name[i]))
8713 break;
8715 p = strrchr (name + i + 1, '.');
8716 if (p != NULL)
8717 *p = '\0';
8719 result = concat (name, argv[1], NULL);
8721 free (name);
8722 return result;
8725 /* Insert backslash before spaces in ORIG (usually a file path), to
8726 avoid being broken by spec parser.
8728 This function is needed as do_spec_1 treats white space (' ' and '\t')
8729 as the end of an argument. But in case of -plugin /usr/gcc install/xxx.so,
8730 the file name should be treated as a single argument rather than being
8731 broken into multiple. Solution is to insert '\\' before the space in a
8732 file name.
8734 This function converts and only converts all occurrence of ' '
8735 to '\\' + ' ' and '\t' to '\\' + '\t'. For example:
8736 "a b" -> "a\\ b"
8737 "a b" -> "a\\ \\ b"
8738 "a\tb" -> "a\\\tb"
8739 "a\\ b" -> "a\\\\ b"
8741 orig: input null-terminating string that was allocated by xalloc. The
8742 memory it points to might be freed in this function. Behavior undefined
8743 if ORIG wasn't xalloced or was freed already at entry.
8745 Return: ORIG if no conversion needed. Otherwise a newly allocated string
8746 that was converted from ORIG. */
8748 static char *
8749 convert_white_space (char *orig)
8751 int len, number_of_space = 0;
8753 for (len = 0; orig[len]; len++)
8754 if (orig[len] == ' ' || orig[len] == '\t') number_of_space++;
8756 if (number_of_space)
8758 char *new_spec = (char *) xmalloc (len + number_of_space + 1);
8759 int j, k;
8760 for (j = 0, k = 0; j <= len; j++, k++)
8762 if (orig[j] == ' ' || orig[j] == '\t')
8763 new_spec[k++] = '\\';
8764 new_spec[k] = orig[j];
8766 free (orig);
8767 return new_spec;
8769 else
8770 return orig;