]> oss.titaniummirror.com Git - msp430-gcc.git/blobdiff - gcc/gcc.c
Imported gcc-4.4.3
[msp430-gcc.git] / gcc / gcc.c
index 7845fc3f013f04cca8b3f01099ccc395cb4cc151..1f1d85f0ed25e343d57fc4c66b3cd93b8522c329 100644 (file)
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -1,12 +1,13 @@
 /* Compiler driver program that can handle many languages.
    Copyright (C) 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-   1999, 2000, 2001, 2002 Free Software Foundation, Inc.
+   1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
+   Free Software Foundation, Inc.
 
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 2, or (at your option) any later
+Software Foundation; either version 3, or (at your option) any later
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
@@ -15,12 +16,8 @@ FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.
 
 You should have received a copy of the GNU General Public License
-along with GCC; see the file COPYING.  If not, write to the Free
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA.
-
-This paragraph is here to try to keep Sun CC from dying.
-The number of chars here seems crucial!!!!  */
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
 
 /* This program is the user interface to the C compiler and possibly to
 other compilers.  It is used because compilation is a complicated procedure
@@ -58,7 +55,7 @@ compilation is specified by a string called a "spec".  */
 
    4. If the argument takes an argument, e.g., `--baz argument1',
    modify either DEFAULT_SWITCH_TAKES_ARG or
-   DEFAULT_WORD_SWITCH_TAKES_ARG in this file.  Omit the first `-'
+   DEFAULT_WORD_SWITCH_TAKES_ARG in gcc.h.  Omit the first `-'
    from `--baz'.
 
    5. Document the option in this file's display_help().  If the
@@ -72,30 +69,25 @@ compilation is specified by a string called a "spec".  */
 
 #include "config.h"
 #include "system.h"
+#include "coretypes.h"
+#include "multilib.h" /* before tm.h */
+#include "tm.h"
 #include <signal.h>
 #if ! defined( SIGCHLD ) && defined( SIGCLD )
 #  define SIGCHLD SIGCLD
 #endif
+#include "xregex.h"
 #include "obstack.h"
 #include "intl.h"
 #include "prefix.h"
 #include "gcc.h"
 #include "flags.h"
-
-#ifdef HAVE_SYS_RESOURCE_H
-#include <sys/resource.h>
-#endif
-#if defined (HAVE_DECL_GETRUSAGE) && !HAVE_DECL_GETRUSAGE
-extern int getrusage PARAMS ((int, struct rusage *));
-#endif
+#include "opts.h"
 
 /* By default there is no special suffix for target executables.  */
 /* FIXME: when autoconf is fixed, remove the host check - dj */
 #if defined(TARGET_EXECUTABLE_SUFFIX) && defined(HOST_EXECUTABLE_SUFFIX)
 #define HAVE_TARGET_EXECUTABLE_SUFFIX
-#else
-#undef TARGET_EXECUTABLE_SUFFIX
-#define TARGET_EXECUTABLE_SUFFIX ""
 #endif
 
 /* By default there is no special suffix for host executables.  */
@@ -112,23 +104,8 @@ extern int getrusage PARAMS ((int, struct rusage *));
 #define TARGET_OBJECT_SUFFIX ".o"
 #endif
 
-#ifndef VMS
-/* FIXME: the location independence code for VMS is hairier than this,
-   and hasn't been written.  */
-#ifndef DIR_UP
-#define DIR_UP ".."
-#endif /* DIR_UP */
-#endif /* VMS */
-
 static const char dir_separator_str[] = { DIR_SEPARATOR, 0 };
 
-#define obstack_chunk_alloc xmalloc
-#define obstack_chunk_free free
-
-#ifndef GET_ENV_PATH_LIST
-#define GET_ENV_PATH_LIST(VAR,NAME)    do { (VAR) = getenv (NAME); } while (0)
-#endif
-
 /* Most every one is fine with LIBRARY_PATH.  For some, it conflicts.  */
 #ifndef LIBRARY_PATH_ENV
 #define LIBRARY_PATH_ENV "LIBRARY_PATH"
@@ -146,6 +123,9 @@ static const char dir_separator_str[] = { DIR_SEPARATOR, 0 };
 /* Flag set by cppspec.c to 1.  */
 int is_cpp_driver;
 
+/* Flag set to nonzero if an @file argument has been supplied to gcc.  */
+static bool at_file_supplied;
+
 /* Flag saying to pass the greatest exit code returned by a sub-process
    to the calling program.  */
 static int pass_exit_codes;
@@ -172,6 +152,8 @@ static const char *print_prog_name = NULL;
 
 static int print_multi_directory;
 
+static int print_sysroot;
+
 /* Flag saying to print the relative path we'd use to
    find OS libraries given the current compiler flags.  */
 
@@ -187,6 +169,11 @@ static int print_multi_lib;
 
 static int print_help_list;
 
+/* Flag saying to print the sysroot suffix used for searching for
+   headers.  */
+
+static int print_sysroot_headers_suffix;
+
 /* Flag indicating whether we should print the command and arguments */
 
 static int verbose_flag;
@@ -198,27 +185,57 @@ static int verbose_flag;
    shell scripts to capture the driver-generated command line.  */
 static int verbose_only_flag;
 
-/* Flag indicating to print target specific command line options.  */
+/* Flag indicating how to print command line options of sub-processes.  */
 
-static int target_help_flag;
+static int print_subprocess_help;
 
 /* Flag indicating whether we should report subprocess execution times
    (if this is supported by the system - see pexecute.c).  */
 
 static int report_times;
 
+/* Nonzero means place this string before uses of /, so that include
+   and library files can be found in an alternate location.  */
+
+#ifdef TARGET_SYSTEM_ROOT
+static const char *target_system_root = TARGET_SYSTEM_ROOT;
+#else
+static const char *target_system_root = 0;
+#endif
+
+/* Nonzero means pass the updated target_system_root to the compiler.  */
+
+static int target_system_root_changed;
+
+/* Nonzero means append this string to target_system_root.  */
+
+static const char *target_sysroot_suffix = 0;
+
+/* Nonzero means append this string to target_system_root for headers.  */
+
+static const char *target_sysroot_hdrs_suffix = 0;
+
 /* Nonzero means write "temp" files in source directory
    and use the source file's name in them, and don't delete them.  */
 
 static int save_temps_flag;
 
+/* Nonzero means pass multiple source files to the compiler at one time.  */
+
+static int combine_flag = 0;
+
+/* Nonzero means use pipes to communicate between subprocesses.
+   Overridden by either of the above two flags.  */
+
+static int use_pipes;
+
 /* The compiler version.  */
 
 static const char *compiler_version;
 
 /* The target version specified with -V */
 
-static const char *spec_version = DEFAULT_TARGET_VERSION;
+static const char *const spec_version = DEFAULT_TARGET_VERSION;
 
 /* The target machine specified with -b.  */
 
@@ -227,7 +244,7 @@ static const char *spec_machine = DEFAULT_TARGET_MACHINE;
 /* Nonzero if cross-compiling.
    When -b is used, the value comes from the `specs' file.  */
 
-#ifdef CROSS_COMPILE
+#ifdef CROSS_DIRECTORY_STRUCTURE
 static const char *cross_compile = "1";
 #else
 static const char *cross_compile = "0";
@@ -247,9 +264,9 @@ static const struct modify_target
 }
 modify_target[] = MODIFY_TARGET_NAME;
 #endif
+
 /* The number of errors that have occurred; the link phase will not be
-   run if this is non-zero.  */
+   run if this is nonzero.  */
 static int error_count = 0;
 
 /* Greatest exit code of sub-processes that has been encountered up to
@@ -267,74 +284,95 @@ static struct obstack obstack;
 
 static struct obstack collect_obstack;
 
-/* These structs are used to collect resource usage information for
-   subprocesses.  */
-#ifdef HAVE_GETRUSAGE
-static struct rusage rus, prus;
-#endif
+/* This is a list of a wrapper program and its arguments.
+   e.g. wrapper_string of "strace,-c"
+   will cause all programs to run as
+       strace -c program arguments
+   instead of just
+       program arguments */
+static const char  *wrapper_string;
 
 /* Forward declaration for prototypes.  */
 struct path_prefix;
-
-static void init_spec          PARAMS ((void));
-#ifndef VMS
-static char **split_directories        PARAMS ((const char *, int *));
-static void free_split_directories PARAMS ((char **));
-static char *make_relative_prefix PARAMS ((const char *, const char *, const char *));
-#endif /* VMS */
-static void store_arg          PARAMS ((const char *, int, int));
-static char *load_specs                PARAMS ((const char *));
-static void read_specs         PARAMS ((const char *, int));
-static void set_spec           PARAMS ((const char *, const char *));
-static struct compiler *lookup_compiler PARAMS ((const char *, size_t, const char *));
-static char *build_search_list PARAMS ((struct path_prefix *, const char *, int));
-static void putenv_from_prefixes PARAMS ((struct path_prefix *, const char *));
-static int access_check                PARAMS ((const char *, int));
-static char *find_a_file       PARAMS ((struct path_prefix *, const char *,
-                                        int, int));
-static void add_prefix         PARAMS ((struct path_prefix *, const char *,
-                                        const char *, int, int, int *, int));
-static void translate_options  PARAMS ((int *, const char *const **));
-static char *skip_whitespace   PARAMS ((char *));
-static void delete_if_ordinary PARAMS ((const char *));
-static void delete_temp_files  PARAMS ((void));
-static void delete_failure_queue PARAMS ((void));
-static void clear_failure_queue PARAMS ((void));
-static int check_live_switch   PARAMS ((int, int));
-static const char *handle_braces PARAMS ((const char *));
-static char *save_string       PARAMS ((const char *, int));
-static void set_collect_gcc_options PARAMS ((void));
-static int do_spec_1           PARAMS ((const char *, int, const char *));
-static const char *find_file   PARAMS ((const char *));
-static int is_directory                PARAMS ((const char *, const char *, int));
-static void validate_switches  PARAMS ((const char *));
-static void validate_all_switches PARAMS ((void));
-static void give_switch                PARAMS ((int, int, int));
-static int used_arg            PARAMS ((const char *, int));
-static int default_arg         PARAMS ((const char *, int));
-static void set_multilib_dir   PARAMS ((void));
-static void print_multilib_info        PARAMS ((void));
-static void perror_with_name   PARAMS ((const char *));
-static void pfatal_pexecute    PARAMS ((const char *, const char *))
-  ATTRIBUTE_NORETURN;
-static void notice             PARAMS ((const char *, ...))
-  ATTRIBUTE_PRINTF_1;
-static void display_help       PARAMS ((void));
-static void add_preprocessor_option    PARAMS ((const char *, int));
-static void add_assembler_option       PARAMS ((const char *, int));
-static void add_linker_option          PARAMS ((const char *, int));
-static void process_command            PARAMS ((int, const char *const *));
-static int execute                     PARAMS ((void));
-static void clear_args                 PARAMS ((void));
-static void fatal_error                        PARAMS ((int));
-#ifdef ENABLE_SHARED_LIBGCC
-static void init_gcc_specs              PARAMS ((struct obstack *,
-                                                const char *, const char *,
-                                                const char *));
+struct prefix_list;
+
+static void init_spec (void);
+static void store_arg (const char *, int, int);
+static void insert_wrapper (const char *);
+static char *load_specs (const char *);
+static void read_specs (const char *, int);
+static void set_spec (const char *, const char *);
+static struct compiler *lookup_compiler (const char *, size_t, const char *);
+static char *build_search_list (const struct path_prefix *, const char *,
+                               bool, bool);
+static void xputenv (const char *);
+static void putenv_from_prefixes (const struct path_prefix *, const char *,
+                                 bool);
+static int access_check (const char *, int);
+static char *find_a_file (const struct path_prefix *, const char *, int, bool);
+static void add_prefix (struct path_prefix *, const char *, const char *,
+                       int, int, int);
+static void add_sysrooted_prefix (struct path_prefix *, const char *,
+                                 const char *, int, int, int);
+static void translate_options (int *, const char *const **);
+static char *skip_whitespace (char *);
+static void delete_if_ordinary (const char *);
+static void delete_temp_files (void);
+static void delete_failure_queue (void);
+static void clear_failure_queue (void);
+static int check_live_switch (int, int);
+static const char *handle_braces (const char *);
+static inline bool input_suffix_matches (const char *, const char *);
+static inline bool switch_matches (const char *, const char *, int);
+static inline void mark_matching_switches (const char *, const char *, int);
+static inline void process_marked_switches (void);
+static const char *process_brace_body (const char *, const char *, const char *, int, int);
+static const struct spec_function *lookup_spec_function (const char *);
+static const char *eval_spec_function (const char *, const char *);
+static const char *handle_spec_function (const char *);
+static char *save_string (const char *, int);
+static void set_collect_gcc_options (void);
+static int do_spec_1 (const char *, int, const char *);
+static int do_spec_2 (const char *);
+static void do_option_spec (const char *, const char *);
+static void do_self_spec (const char *);
+static const char *find_file (const char *);
+static int is_directory (const char *, bool);
+static const char *validate_switches (const char *);
+static void validate_all_switches (void);
+static inline void validate_switches_from_spec (const char *);
+static void give_switch (int, int);
+static int used_arg (const char *, int);
+static int default_arg (const char *, int);
+static void set_multilib_dir (void);
+static void print_multilib_info (void);
+static void perror_with_name (const char *);
+static void fatal_ice (const char *, ...) ATTRIBUTE_PRINTF_1 ATTRIBUTE_NORETURN;
+static void notice (const char *, ...) ATTRIBUTE_PRINTF_1;
+static void display_help (void);
+static void add_preprocessor_option (const char *, int);
+static void add_assembler_option (const char *, int);
+static void add_linker_option (const char *, int);
+static void process_command (int, const char **);
+static int execute (void);
+static void alloc_args (void);
+static void clear_args (void);
+static void fatal_error (int);
+#if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
+static void init_gcc_specs (struct obstack *, const char *, const char *,
+                           const char *);
 #endif
 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
-static const char *convert_filename    PARAMS ((const char *, int, int));
+static const char *convert_filename (const char *, int, int);
 #endif
+
+static const char *getenv_spec_function (int, const char **);
+static const char *if_exists_spec_function (int, const char **);
+static const char *if_exists_else_spec_function (int, const char **);
+static const char *replace_outfile_spec_function (int, const char **);
+static const char *version_compare_spec_function (int, const char **);
+static const char *include_spec_function (int, const char **);
+static const char *print_asm_header_spec_function (int, const char **);
 \f
 /* The Specs Language
 
@@ -364,11 +402,17 @@ or with constant text in a single argument.
        chosen in a way that is hard to predict even when previously
        chosen file names are known.  For example, `%g.s ... %g.o ... %g.s'
        might turn into `ccUVUUAU.s ccXYAXZ12.o ccUVUUAU.s'.  SUFFIX matches
-       the regexp "[.A-Za-z]*%O"; "%O" is treated exactly as if it
+       the regexp "[.0-9A-Za-z]*%O"; "%O" is treated exactly as if it
        had been pre-processed.  Previously, %g was simply substituted
        with a file name chosen once per compilation, without regard
        to any appended suffix (which was therefore treated just like
        ordinary text), making such attacks more likely to succeed.
+ %|SUFFIX
+       like %g, but if -pipe is in effect, expands simply to "-".
+ %mSUFFIX
+        like %g, but if -pipe is in effect, expands to nothing.  (We have both
+       %| and %m to accommodate differences between system assemblers; see
+       the AS_NEEDS_DASH_FOR_PIPED_INPUT target macro.)
  %uSUFFIX
        like %g, but generates a new temporary file name even if %uSUFFIX
        was already seen.
@@ -397,6 +441,7 @@ or with constant text in a single argument.
  %w    marks the argument containing or following the %w as the
        "output file" of this compilation.  This puts the argument
        into the sequence of arguments that %o will substitute later.
+ %V    indicates that this compilation produces no "output file".
  %W{...}
        like %{...} but mark last argument supplied within
        as a file to be deleted on failure.
@@ -415,28 +460,19 @@ or with constant text in a single argument.
        except that %g, %u, and %U do not currently support additional
        SUFFIX characters following %O as they would following, for
        example, `.o'.
- %p    substitutes the standard macro predefinitions for the
-       current target machine.  Use this when running cpp.
- %P    like %p, but puts `__' before and after the name of each macro.
-       (Except macros that already have __.)
-       This is for ANSI C.
- %I    Substitute a -iprefix option made from GCC_EXEC_PREFIX.
+ %I    Substitute any of -iprefix (made from GCC_EXEC_PREFIX), -isysroot
+       (made from TARGET_SYSTEM_ROOT), -isystem (made from COMPILER_PATH
+       and -B options) and -imultilib as necessary.
  %s     current argument is the name of a library or startup file of some sort.
         Search for that file in a standard list of directories
        and substitute the full name found.
  %eSTR  Print STR as an error message.  STR is terminated by a newline.
         Use this when inconsistent options are detected.
- %nSTR  Print STR as an notice.  STR is terminated by a newline.
+ %nSTR  Print STR as a notice.  STR is terminated by a newline.
  %x{OPTION}    Accumulate an option for %X.
  %X    Output the accumulated linker options specified by compilations.
  %Y    Output the accumulated assembler options specified by compilations.
  %Z    Output the accumulated preprocessor options specified by compilations.
- %v1   Substitute the major version number of GCC.
-       (For version 2.5.3, this is 2.)
- %v2   Substitute the minor version number of GCC.
-       (For version 2.5.3, this is 5.)
- %v3   Substitute the patch level number of GCC.
-       (For version 2.5.3, this is 3.)
  %a     process ASM_SPEC as a spec.
         This allows config.h to specify part of the spec for running as.
  %A    process ASM_FINAL_SPEC as a spec.  A capital A is actually
@@ -447,17 +483,28 @@ or with constant text in a single argument.
  %l     process LINK_SPEC as a spec.
  %L     process LIB_SPEC as a spec.
  %G     process LIBGCC_SPEC as a spec.
- %M     output multilib_dir with directory separators replaced with "_";
-       if multilib_dir is not set or is ".", output "".
+ %R     Output the concatenation of target_system_root and
+        target_sysroot_suffix.
  %S     process STARTFILE_SPEC as a spec.  A capital S is actually used here.
  %E     process ENDFILE_SPEC as a spec.  A capital E is actually used here.
  %C     process CPP_SPEC as a spec.
  %1    process CC1_SPEC as a spec.
  %2    process CC1PLUS_SPEC as a spec.
- %|    output "-" if the input for the current command is coming from a pipe.
  %*    substitute the variable part of a matched option.  (See below.)
        Note that each comma in the substituted string is replaced by
        a single space.
+ %<S    remove all occurrences of -S from the command line.
+        Note - this command is position dependent.  % commands in the
+        spec string before this one will see -S, % commands in the
+        spec string after this one will not.
+ %<S*  remove all occurrences of all switches beginning with -S from the
+        command line.
+ %:function(args)
+       Call the named function FUNCTION, passing it ARGS.  ARGS is
+       first processed as a nested spec string, then split into an
+       argument vector in the usual fashion.  The function returns
+       a string which is processed as if it had appeared literally
+       as part of the current spec.
  %{S}   substitutes the -S switch, if that switch was given to CC.
        If that switch was not specified, this substitutes nothing.
        Here S is a metasyntactic variable.
@@ -466,33 +513,43 @@ or with constant text in a single argument.
        arguments.  CC considers `-o foo' as being one switch whose
        name starts with `o'.  %{o*} would substitute this text,
        including the space; thus, two arguments would be generated.
- %{^S*} likewise, but don't put a blank between a switch and any args.
  %{S*&T*} likewise, but preserve order of S and T options (the order
-       of S and T in the spec is not significant).  Can be any number
-       of ampersand-separated variables; for each the wild card is
-       optional.  Useful for CPP as %{D*&U*&A*}.
- %{S*:X} substitutes X if one or more switches whose names start with -S are
-       specified to CC.  Note that the tail part of the -S option
-       (i.e. the part matched by the `*') will be substituted for each
-       occurrence of %* within X.
- %{<S}  remove all occurrences of -S from the command line.
-        Note - this option is position dependent.  % commands in the
-        spec string before this option will see -S, % commands in the
-        spec string after this option will not.
- %{S:X} substitutes X, but only if the -S switch was given to CC.
- %{!S:X} substitutes X, but only if the -S switch was NOT given to CC.
- %{|S:X} like %{S:X}, but if no S switch, substitute `-'.
- %{|!S:X} like %{!S:X}, but if there is an S switch, substitute `-'.
- %{.S:X} substitutes X, but only if processing a file with suffix S.
- %{!.S:X} substitutes X, but only if NOT processing a file with suffix S.
- %{S|P:X} substitutes X if either -S or -P was given to CC.  This may be
-         combined with ! and . as above binding stronger than the OR.
+       of S and T in the spec is not significant).  Can be any number
+       of ampersand-separated variables; for each the wild card is
+       optional.  Useful for CPP as %{D*&U*&A*}.
+
+ %{S:X}   substitutes X, if the -S switch was given to CC.
+ %{!S:X}  substitutes X, if the -S switch was NOT given to CC.
+ %{S*:X}  substitutes X if one or more switches whose names start
+          with -S was given to CC.  Normally X is substituted only
+          once, no matter how many such switches appeared.  However,
+          if %* appears somewhere in X, then X will be substituted
+          once for each matching switch, with the %* replaced by the
+          part of that switch that matched the '*'.
+ %{.S:X}  substitutes X, if processing a file with suffix S.
+ %{!.S:X} substitutes X, if NOT processing a file with suffix S.
+ %{,S:X}  substitutes X, if processing a file which will use spec S.
+ %{!,S:X} substitutes X, if NOT processing a file which will use spec S.
+         
+ %{S|T:X} substitutes X if either -S or -T was given to CC.  This may be
+         combined with '!', '.', ',', and '*' as above binding stronger
+         than the OR.
+         If %* appears in X, all of the alternatives must be starred, and
+         only the first matching alternative is substituted.
+ %{S:X;   if S was given to CC, substitutes X;
+   T:Y;   else if T was given to CC, substitutes Y;
+    :D}   else substitutes D.  There can be as many clauses as you need.
+          This may be combined with '.', '!', ',', '|', and '*' as above.
+
  %(Spec) processes a specification defined in a specs file as *Spec:
  %[Spec] as above, but put __ around -D arguments
 
-The conditional text X in a %{S:X} or %{!S:X} construct may contain
+The conditional text X in a %{S:X} or similar construct may contain
 other nested % constructs or spaces, or even newlines.  They are
-processed as usual, as described above.
+processed as usual, as described above.  Trailing white space in X is
+ignored.  White space may also appear anywhere on the left side of the
+colon in these constructs, except between . or * and the corresponding
+word.
 
 The -O, -f, -m, and -W switches are handled specifically in these
 constructs.  If another value of -O or the negated form of a -f, -m, or
@@ -559,10 +616,26 @@ proper position among the other output files.  */
 #define LIB_SPEC "%{!shared:%{g*:-lg} %{!p:%{!pg:-lc}}%{p:-lc_p}%{pg:-lc_p}}"
 #endif
 
+/* mudflap specs */
+#ifndef MFWRAP_SPEC
+/* XXX: valid only for GNU ld */
+/* XXX: should exactly match hooks provided by libmudflap.a */
+#define MFWRAP_SPEC " %{static: %{fmudflap|fmudflapth: \
+ --wrap=malloc --wrap=free --wrap=calloc --wrap=realloc\
+ --wrap=mmap --wrap=munmap --wrap=alloca\
+} %{fmudflapth: --wrap=pthread_create\
+}} %{fmudflap|fmudflapth: --wrap=main}"
+#endif
+#ifndef MFLIB_SPEC
+#define MFLIB_SPEC "%{fmudflap|fmudflapth: -export-dynamic}"
+#endif
+
 /* config.h can define LIBGCC_SPEC to override how and when libgcc.a is
    included.  */
 #ifndef LIBGCC_SPEC
-#if defined(LINK_LIBGCC_SPECIAL) || defined(LINK_LIBGCC_SPECIAL_1)
+#if defined(REAL_LIBGCC_SPEC)
+#define LIBGCC_SPEC REAL_LIBGCC_SPEC
+#elif defined(LINK_LIBGCC_SPECIAL_1)
 /* Have gcc do the search for libgcc.a.  */
 #define LIBGCC_SPEC "libgcc.a%s"
 #else
@@ -591,21 +664,27 @@ proper position among the other output files.  */
 #define LINKER_NAME "collect2"
 #endif
 
+#ifdef HAVE_AS_DEBUG_PREFIX_MAP
+#define ASM_MAP " %{fdebug-prefix-map=*:--debug-prefix-map %*}"
+#else
+#define ASM_MAP ""
+#endif
+
 /* Define ASM_DEBUG_SPEC to be a spec suitable for translating '-g'
    to the assembler.  */
 #ifndef ASM_DEBUG_SPEC
 # if defined(DBX_DEBUGGING_INFO) && defined(DWARF2_DEBUGGING_INFO) \
      && defined(HAVE_AS_GDWARF2_DEBUG_FLAG) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
-#  define ASM_DEBUG_SPEC                                       \
-      (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG                   \
-       ? "%{gdwarf-2*:--gdwarf2}%{!gdwarf-2*:%{g*:--gstabs}}"  \
-       : "%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}")
+#  define ASM_DEBUG_SPEC                                               \
+      (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG                           \
+       ? "%{!g0:%{gdwarf-2*:--gdwarf2}%{!gdwarf-2*:%{g*:--gstabs}}}" ASM_MAP   \
+       : "%{!g0:%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}}" ASM_MAP)
 # else
 #  if defined(DBX_DEBUGGING_INFO) && defined(HAVE_AS_GSTABS_DEBUG_FLAG)
-#   define ASM_DEBUG_SPEC "%{g*:--gstabs}"
+#   define ASM_DEBUG_SPEC "%{g*:%{!g0:--gstabs}}" ASM_MAP
 #  endif
 #  if defined(DWARF2_DEBUGGING_INFO) && defined(HAVE_AS_GDWARF2_DEBUG_FLAG)
-#   define ASM_DEBUG_SPEC "%{g*:--gdwarf2}"
+#   define ASM_DEBUG_SPEC "%{g*:%{!g0:--gdwarf2}}" ASM_MAP
 #  endif
 # endif
 #endif
@@ -622,6 +701,22 @@ proper position among the other output files.  */
 #define LINK_GCC_C_SEQUENCE_SPEC "%G %L %G"
 #endif
 
+#ifndef LINK_SSP_SPEC
+#ifdef TARGET_LIBC_PROVIDES_SSP
+#define LINK_SSP_SPEC "%{fstack-protector:}"
+#else
+#define LINK_SSP_SPEC "%{fstack-protector|fstack-protector-all:-lssp_nonshared -lssp}"
+#endif
+#endif
+
+#ifndef LINK_PIE_SPEC
+#ifdef HAVE_LD_PIE
+#define LINK_PIE_SPEC "%{pie:-pie} "
+#else
+#define LINK_PIE_SPEC "%{pie:} "
+#endif
+#endif
+
 /* -u* was put back because both BSD and SysV seem to support it.  */
 /* %{static:} simply prevents an error message if the target machine
    doesn't handle -static.  */
@@ -631,32 +726,49 @@ proper position among the other output files.  */
 #ifndef LINK_COMMAND_SPEC
 #define LINK_COMMAND_SPEC "\
 %{!fsyntax-only:%{!c:%{!M:%{!MM:%{!E:%{!S:\
-    %(linker) %l %X %{o*} %{A} %{d} %{e*} %{m} %{N} %{n} %{r} %{s} %{t}\
-    %{u*} %{x} %{z} %{Z} %{!A:%{!nostdlib:%{!nostartfiles:%S}}}\
-    %{static:} %{L*} %(link_libgcc) %o %{!nostdlib:%{!nodefaultlibs:%(link_gcc_c_sequence)}}\
+    %(linker) %l " LINK_PIE_SPEC "%X %{o*} %{A} %{d} %{e*} %{m} %{N} %{n} %{r}\
+    %{s} %{t} %{u*} %{x} %{z} %{Z} %{!A:%{!nostdlib:%{!nostartfiles:%S}}}\
+    %{static:} %{L*} %(mfwrap) %(link_libgcc) %o\
+    %{fopenmp|ftree-parallelize-loops=*:%:include(libgomp.spec)%(link_gomp)} %(mflib)\
+    %{fprofile-arcs|fprofile-generate|coverage:-lgcov}\
+    %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
     %{!A:%{!nostdlib:%{!nostartfiles:%E}}} %{T*} }}}}}}"
 #endif
 
 #ifndef LINK_LIBGCC_SPEC
-# ifdef LINK_LIBGCC_SPECIAL
-/* Don't generate -L options for startfile prefix list.  */
-#  define LINK_LIBGCC_SPEC ""
-# else
-/* Do generate them.  */
-#  define LINK_LIBGCC_SPEC "%D"
-# endif
+/* Generate -L options for startfile prefix list.  */
+# define LINK_LIBGCC_SPEC "%D"
+#endif
+
+#ifndef STARTFILE_PREFIX_SPEC
+# define STARTFILE_PREFIX_SPEC ""
+#endif
+
+#ifndef SYSROOT_SPEC
+# define SYSROOT_SPEC "--sysroot=%R"
+#endif
+
+#ifndef SYSROOT_SUFFIX_SPEC
+# define SYSROOT_SUFFIX_SPEC ""
+#endif
+
+#ifndef SYSROOT_HEADERS_SUFFIX_SPEC
+# define SYSROOT_HEADERS_SUFFIX_SPEC ""
 #endif
 
-static const char *asm_debug = ASM_DEBUG_SPEC;
+static const char *asm_debug;
 static const char *cpp_spec = CPP_SPEC;
-static const char *cpp_predefines = CPP_PREDEFINES;
 static const char *cc1_spec = CC1_SPEC;
 static const char *cc1plus_spec = CC1PLUS_SPEC;
 static const char *link_gcc_c_sequence_spec = LINK_GCC_C_SEQUENCE_SPEC;
+static const char *link_ssp_spec = LINK_SSP_SPEC;
 static const char *asm_spec = ASM_SPEC;
 static const char *asm_final_spec = ASM_FINAL_SPEC;
 static const char *link_spec = LINK_SPEC;
 static const char *lib_spec = LIB_SPEC;
+static const char *mfwrap_spec = MFWRAP_SPEC;
+static const char *mflib_spec = MFLIB_SPEC;
+static const char *link_gomp_spec = "";
 static const char *libgcc_spec = LIBGCC_SPEC;
 static const char *endfile_spec = ENDFILE_SPEC;
 static const char *startfile_spec = STARTFILE_SPEC;
@@ -664,6 +776,10 @@ static const char *switches_need_spaces = SWITCHES_NEED_SPACES;
 static const char *linker_name_spec = LINKER_NAME;
 static const char *link_command_spec = LINK_COMMAND_SPEC;
 static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
+static const char *startfile_prefix_spec = STARTFILE_PREFIX_SPEC;
+static const char *sysroot_spec = SYSROOT_SPEC;
+static const char *sysroot_suffix_spec = SYSROOT_SUFFIX_SPEC;
+static const char *sysroot_hdrs_suffix_spec = SYSROOT_HEADERS_SUFFIX_SPEC;
 
 /* Standard options to cpp, cc1, and as, to reduce duplication in specs.
    There should be no need to override these in target dependent files,
@@ -671,55 +787,72 @@ static const char *link_libgcc_spec = LINK_LIBGCC_SPEC;
    of the GCC driver can correctly drive older tool chains with the
    appropriate -B options.  */
 
+/* When cpplib handles traditional preprocessing, get rid of this, and
+   call cc1 (or cc1obj in objc/lang-specs.h) from the main specs so
+   that we default the front end language better.  */
 static const char *trad_capable_cpp =
-"%{traditional|ftraditional|traditional-cpp:trad}cpp0";
+"cc1 -E %{traditional|ftraditional|traditional-cpp:-traditional-cpp}";
 
 /* We don't wrap .d files in %W{} since a missing .d file, and
    therefore no dependency entry, confuses make into thinking a .o
    file that happens to exist is up-to-date.  */
 static const char *cpp_unique_options =
-"%{C:%{!E:%eGNU C does not support -C without using -E}}\
- %{nostdinc*} %{C} %{v} %{I*} %{P} %{$} %I\
+"%{C|CC:%{!E:%eGCC does not support -C or -CC without -E}}\
+ %{!Q:-quiet} %{nostdinc*} %{C} %{CC} %{v} %{I*&F*} %{P} %I\
  %{MD:-MD %{!o:%b.d}%{o*:%.d%*}}\
  %{MMD:-MMD %{!o:%b.d}%{o*:%.d%*}}\
  %{M} %{MM} %{MF*} %{MG} %{MP} %{MQ*} %{MT*}\
- %{!E:%{!M:%{!MM:%{MD|MMD:%{o*:-MQ %*}}}}}\
- %{!no-gcc:-D__GNUC__=%v1 -D__GNUC_MINOR__=%v2 -D__GNUC_PATCHLEVEL__=%v3 -D__GXX_ABI_VERSION=102}\
- %{!undef:%{!ansi:%{!std=*:%p}%{std=gnu*:%p}} %P} %{trigraphs}\
- %{Os:-D__OPTIMIZE_SIZE__} %{O*:%{!O0:-D__OPTIMIZE__}}\
- %{fno-inline|O0|!O*:-D__NO_INLINE__} %{ffast-math:-D__FAST_MATH__}\
- %{ffreestanding:-D__STDC_HOSTED__=0} %{fno-hosted:-D__STDC_HOSTED__=0}\
- %{!ffreestanding:%{!fno-hosted:-D__STDC_HOSTED__=1}} %{remap}\
- %{g3:-dD} %{H} %C\
- %{fshort-wchar:-U__WCHAR_TYPE__ -D__WCHAR_TYPE__=short\\ unsigned\\ int}\
- %{D*&U*&A*} %{i*} %Z %i\
+ %{!E:%{!M:%{!MM:%{!MT:%{!MQ:%{MD|MMD:%{o*:-MQ %*}}}}}}}\
+ %{remap} %{g3|ggdb3|gstabs3|gcoff3|gxcoff3|gvms3:-dD}\
+ %{H} %C %{D*&U*&A*} %{i*} %Z %i\
+ %{fmudflap:-D_MUDFLAP -include mf-runtime.h}\
+ %{fmudflapth:-D_MUDFLAP -D_MUDFLAPTH -include mf-runtime.h}\
  %{E|M|MM:%W{o*}}";
 
 /* This contains cpp options which are common with cc1_options and are passed
-   only when preprocessing only to avoid duplication.  */
+   only when preprocessing only to avoid duplication.  We pass the cc1 spec
+   options to the preprocessor so that it the cc1 spec may manipulate
+   options used to set target flags.  Those special target flags settings may
+   in turn cause preprocessor symbols to be defined specially.  */
 static const char *cpp_options =
-"%(cpp_unique_options) %{std*} %{d*} %{W*} %{w} %{pedantic*}\
- %{fshow-column} %{fno-show-column}\
- %{fsigned-char&funsigned-char}\
- %{fleading-underscore} %{fno-leading-underscore}\
- %{fno-operator-names} %{ftabstop=*}";
+"%(cpp_unique_options) %1 %{m*} %{std*&ansi&trigraphs} %{W*&pedantic*} %{w}\
+ %{f*} %{g*:%{!g0:%{g*} %{!fno-working-directory:-fworking-directory}}} %{O*}\
+ %{undef} %{save-temps:-fpch-preprocess}";
+
+/* This contains cpp options which are not passed when the preprocessor
+   output will be used by another program.  */
+static const char *cpp_debug_options = "%{d*}";
 
-/* NB: This is shared amongst all front-ends.  */
+/* NB: This is shared amongst all front-ends, except for Ada.  */
 static const char *cc1_options =
 "%{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
  %1 %{!Q:-quiet} -dumpbase %B %{d*} %{m*} %{a*}\
- %{g*} %{O*} %{W*} %{w} %{pedantic*} %{std*} %{ansi}\
- %{traditional} %{v:-version} %{pg:-p} %{p} %{f*}\
+ %{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}%{!c:%{!S:-auxbase %b}}\
+ %{g*} %{O*} %{W*&pedantic*} %{w} %{std*&ansi&trigraphs}\
+ %{v:-version} %{pg:-p} %{p} %{f*} %{undef}\
  %{Qn:-fno-ident} %{--help:--help}\
  %{--target-help:--target-help}\
+ %{--help=*:--help=%(VALUE)}\
  %{!fsyntax-only:%{S:%W{o*}%{!o*:-o %b.s}}}\
- %{fsyntax-only:-o %j} %{-param*}";
+ %{fsyntax-only:-o %j} %{-param*}\
+ %{fmudflap|fmudflapth:-fno-builtin -fno-merge-constants}\
+ %{coverage:-fprofile-arcs -ftest-coverage}";
 
 static const char *asm_options =
+"%{--target-help:%:print-asm-header()} "
+#if HAVE_GNU_AS
+/* If GNU AS is used, then convert -w (no warnings), -I, and -v
+   to the assembler equivalents.  */
+"%{v} %{w:-W} %{I*} "
+#endif
 "%a %Y %{c:%W{o*}%{!o*:-o %w%b%O}}%{!c:-o %d%w%u%O}";
 
 static const char *invoke_as =
-"%{!S:-o %{|!pipe:%g.s} |\n as %(asm_options) %{!pipe:%g.s} %A }";
+#ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
+"%{!S:-o %|.s |\n as %(asm_options) %|.s %A }";
+#else
+"%{!S:-o %|.s |\n as %(asm_options) %m.s %A }";
+#endif
 
 /* Some compilers have limits on line lengths, and the multilib_select
    and/or multilib_matches strings can be very long, so we build them at
@@ -729,7 +862,6 @@ static const char *multilib_select;
 static const char *multilib_matches;
 static const char *multilib_defaults;
 static const char *multilib_exclusions;
-#include "multilib.h"
 
 /* Check whether a particular argument is a default argument.  */
 
@@ -739,6 +871,33 @@ static const char *multilib_exclusions;
 
 static const char *const multilib_defaults_raw[] = MULTILIB_DEFAULTS;
 
+#ifndef DRIVER_SELF_SPECS
+#define DRIVER_SELF_SPECS ""
+#endif
+
+/* Adding -fopenmp should imply pthreads.  This is particularly important
+   for targets that use different start files and suchlike.  */
+#ifndef GOMP_SELF_SPECS
+#define GOMP_SELF_SPECS "%{fopenmp|ftree-parallelize-loops=*: -pthread}"
+#endif
+
+static const char *const driver_self_specs[] = {
+  DRIVER_SELF_SPECS, GOMP_SELF_SPECS
+};
+
+#ifndef OPTION_DEFAULT_SPECS
+#define OPTION_DEFAULT_SPECS { "", "" }
+#endif
+
+struct default_spec
+{
+  const char *name;
+  const char *spec;
+};
+
+static const struct default_spec
+  option_default_specs[] = { OPTION_DEFAULT_SPECS };
+
 struct user_specs
 {
   struct user_specs *next;
@@ -747,31 +906,10 @@ struct user_specs
 
 static struct user_specs *user_specs_head, *user_specs_tail;
 
-/* This defines which switch letters take arguments.  */
-
-#define DEFAULT_SWITCH_TAKES_ARG(CHAR) \
-  ((CHAR) == 'D' || (CHAR) == 'U' || (CHAR) == 'o' \
-   || (CHAR) == 'e' || (CHAR) == 'T' || (CHAR) == 'u' \
-   || (CHAR) == 'I' || (CHAR) == 'm' || (CHAR) == 'x' \
-   || (CHAR) == 'L' || (CHAR) == 'A' || (CHAR) == 'V' \
-   || (CHAR) == 'B' || (CHAR) == 'b')
-
 #ifndef SWITCH_TAKES_ARG
 #define SWITCH_TAKES_ARG(CHAR) DEFAULT_SWITCH_TAKES_ARG(CHAR)
 #endif
 
-/* This defines which multi-letter switches take arguments.  */
-
-#define DEFAULT_WORD_SWITCH_TAKES_ARG(STR)             \
- (!strcmp (STR, "Tdata") || !strcmp (STR, "Ttext")     \
-  || !strcmp (STR, "Tbss") || !strcmp (STR, "include") \
-  || !strcmp (STR, "imacros") || !strcmp (STR, "aux-info") \
-  || !strcmp (STR, "idirafter") || !strcmp (STR, "iprefix") \
-  || !strcmp (STR, "iwithprefix") || !strcmp (STR, "iwithprefixbefore") \
-  || !strcmp (STR, "isystem") || !strcmp (STR, "-param") \
-  || !strcmp (STR, "specs") \
-  || !strcmp (STR, "MF") || !strcmp (STR, "MT") || !strcmp (STR, "MQ"))
-
 #ifndef WORD_SWITCH_TAKES_ARG
 #define WORD_SWITCH_TAKES_ARG(STR) DEFAULT_WORD_SWITCH_TAKES_ARG (STR)
 #endif
@@ -799,6 +937,10 @@ struct compiler
   const char *cpp_spec;         /* If non-NULL, substitute this spec
                                   for `%C', rather than the usual
                                   cpp_spec.  */
+  const int combinable;          /* If nonzero, compiler can deal with
+                                   multiple source files at once (IMA).  */
+  const int needs_preprocessing; /* If nonzero, source files need to
+                                   be run through a preprocessor.  */
 };
 
 /* Pointer to a vector of `struct compiler' that gives the spec for
@@ -824,61 +966,98 @@ static const struct compiler default_compilers[] =
      were not present when we built the driver, we will hit these copies
      and be given a more meaningful error than "file not used since
      linking is not done".  */
-  {".m",  "#Objective-C", 0}, {".mi",  "#Objective-C", 0},
-  {".cc", "#C++", 0}, {".cxx", "#C++", 0}, {".cpp", "#C++", 0},
-  {".cp", "#C++", 0}, {".c++", "#C++", 0}, {".C", "#C++", 0},
-  {".ii", "#C++", 0},
-  {".ads", "#Ada", 0}, {".adb", "#Ada", 0},
-  {".f", "#Fortran", 0}, {".for", "#Fortran", 0}, {".fpp", "#Fortran", 0},
-  {".F", "#Fortran", 0}, {".FOR", "#Fortran", 0}, {".FPP", "#Fortran", 0},
-  {".r", "#Ratfor", 0},
-  {".p", "#Pascal", 0}, {".pas", "#Pascal", 0},
-  {".java", "#Java", 0}, {".class", "#Java", 0},
-  {".zip", "#Java", 0}, {".jar", "#Java", 0},
+  {".m",  "#Objective-C", 0, 0, 0}, {".mi",  "#Objective-C", 0, 0, 0},
+  {".mm", "#Objective-C++", 0, 0, 0}, {".M", "#Objective-C++", 0, 0, 0},
+  {".mii", "#Objective-C++", 0, 0, 0},
+  {".cc", "#C++", 0, 0, 0}, {".cxx", "#C++", 0, 0, 0},
+  {".cpp", "#C++", 0, 0, 0}, {".cp", "#C++", 0, 0, 0},
+  {".c++", "#C++", 0, 0, 0}, {".C", "#C++", 0, 0, 0},
+  {".CPP", "#C++", 0, 0, 0}, {".ii", "#C++", 0, 0, 0},
+  {".ads", "#Ada", 0, 0, 0}, {".adb", "#Ada", 0, 0, 0},
+  {".f", "#Fortran", 0, 0, 0}, {".F", "#Fortran", 0, 0, 0},
+  {".for", "#Fortran", 0, 0, 0}, {".FOR", "#Fortran", 0, 0, 0},
+  {".ftn", "#Fortran", 0, 0, 0}, {".FTN", "#Fortran", 0, 0, 0},
+  {".fpp", "#Fortran", 0, 0, 0}, {".FPP", "#Fortran", 0, 0, 0},
+  {".f90", "#Fortran", 0, 0, 0}, {".F90", "#Fortran", 0, 0, 0},
+  {".f95", "#Fortran", 0, 0, 0}, {".F95", "#Fortran", 0, 0, 0},
+  {".f03", "#Fortran", 0, 0, 0}, {".F03", "#Fortran", 0, 0, 0},
+  {".f08", "#Fortran", 0, 0, 0}, {".F08", "#Fortran", 0, 0, 0},
+  {".r", "#Ratfor", 0, 0, 0},
+  {".p", "#Pascal", 0, 0, 0}, {".pas", "#Pascal", 0, 0, 0},
+  {".java", "#Java", 0, 0, 0}, {".class", "#Java", 0, 0, 0},
+  {".zip", "#Java", 0, 0, 0}, {".jar", "#Java", 0, 0, 0},
   /* Next come the entries for C.  */
-  {".c", "@c", 0},
+  {".c", "@c", 0, 1, 1},
   {"@c",
    /* cc1 has an integrated ISO C preprocessor.  We should invoke the
-      external preprocessor if -save-temps or -traditional is given.  */
-     "%{E|M|MM:%(trad_capable_cpp) -lang-c %{ansi:-std=c89} %(cpp_options)}\
+      external preprocessor if -save-temps is given.  */
+     "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
       %{!E:%{!M:%{!MM:\
-         %{save-temps|no-integrated-cpp:%(trad_capable_cpp) -lang-c %{ansi:-std=c89}\
-               %(cpp_options) %{save-temps:%b.i} %{!save-temps:%g.i} \n\
-                   cc1 -fpreprocessed %{save-temps:%b.i} %{!save-temps:%g.i} %(cc1_options)}\
-         %{!save-temps:%{!no-integrated-cpp:\
-           %{traditional|ftraditional|traditional-cpp:\
-               tradcpp0 -lang-c %{ansi:-std=c89} %(cpp_options) %{!pipe:%g.i} |\n\
-                   cc1 -fpreprocessed %{!pipe:%g.i} %(cc1_options)}\
-           %{!traditional:%{!ftraditional:%{!traditional-cpp:\
-               cc1 -lang-c %{ansi:-std=c89} %(cpp_unique_options) %(cc1_options)}}}}}\
-        %{!fsyntax-only:%(invoke_as)}}}}", 0},
+          %{traditional|ftraditional:\
+%eGNU C no longer supports -traditional without -E}\
+       %{!combine:\
+         %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
+               %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i} \n\
+                   cc1 -fpreprocessed %{save-temps:%b.i} %{!save-temps:%g.i} \
+                       %(cc1_options)}\
+         %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
+               cc1 %(cpp_unique_options) %(cc1_options)}}}\
+          %{!fsyntax-only:%(invoke_as)}} \
+      %{combine:\
+         %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
+               %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i}}\
+         %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
+               cc1 %(cpp_unique_options) %(cc1_options)}}\
+                %{!fsyntax-only:%(invoke_as)}}}}}}", 0, 1, 1},
   {"-",
-   "%{!E:%e-E required when input is from standard input}\
-    %(trad_capable_cpp) -lang-c %{ansi:-std=c89} %(cpp_options)", 0},
-  {".h", "@c-header", 0},
+   "%{!E:%e-E or -x required when input is from standard input}\
+    %(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)", 0, 0, 0},
+  {".h", "@c-header", 0, 0, 0},
   {"@c-header",
-   "%{!E:%ecompilation of header file requested} \
-    %(trad_capable_cpp) -lang-c %{ansi:-std=c89} %(cpp_options)", 0},
-  {".i", "@cpp-output", 0},
+   /* cc1 has an integrated ISO C preprocessor.  We should invoke the
+      external preprocessor if -save-temps is given.  */
+     "%{E|M|MM:%(trad_capable_cpp) %(cpp_options) %(cpp_debug_options)}\
+      %{!E:%{!M:%{!MM:\
+         %{save-temps|traditional-cpp|no-integrated-cpp:%(trad_capable_cpp) \
+               %(cpp_options) -o %{save-temps:%b.i} %{!save-temps:%g.i} \n\
+                   cc1 -fpreprocessed %{save-temps:%b.i} %{!save-temps:%g.i} \
+                       %(cc1_options)\
+                        -o %g.s %{!o*:--output-pch=%i.gch}\
+                        %W{o*:--output-pch=%*}%V}\
+         %{!save-temps:%{!traditional-cpp:%{!no-integrated-cpp:\
+               cc1 %(cpp_unique_options) %(cc1_options)\
+                    -o %g.s %{!o*:--output-pch=%i.gch}\
+                    %W{o*:--output-pch=%*}%V}}}}}}", 0, 0, 0},
+  {".i", "@cpp-output", 0, 1, 0},
   {"@cpp-output",
-   "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0},
-  {".s", "@assembler", 0},
+   "%{!M:%{!MM:%{!E:cc1 -fpreprocessed %i %(cc1_options) %{!fsyntax-only:%(invoke_as)}}}}", 0, 1, 0},
+  {".s", "@assembler", 0, 1, 0},
   {"@assembler",
-   "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0},
-  {".S", "@assembler-with-cpp", 0},
+   "%{!M:%{!MM:%{!E:%{!S:as %(asm_debug) %(asm_options) %i %A }}}}", 0, 1, 0},
+  {".sx", "@assembler-with-cpp", 0, 1, 0},
+  {".S", "@assembler-with-cpp", 0, 1, 0},
   {"@assembler-with-cpp",
-   "%(trad_capable_cpp) -lang-asm %(cpp_options)\
-      %{!M:%{!MM:%{!E:%{!S:-o %{|!pipe:%g.s} |\n\
-       as %(asm_debug) %(asm_options) %{!pipe:%g.s} %A }}}}", 0},
+#ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
+   "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
+      %{E|M|MM:%(cpp_debug_options)}\
+      %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
+       as %(asm_debug) %(asm_options) %|.s %A }}}}"
+#else
+   "%(trad_capable_cpp) -lang-asm %(cpp_options) -fno-directives-only\
+      %{E|M|MM:%(cpp_debug_options)}\
+      %{!M:%{!MM:%{!E:%{!S:-o %|.s |\n\
+       as %(asm_debug) %(asm_options) %m.s %A }}}}"
+#endif
+   , 0, 1, 0},
+
 #include "specs.h"
-  /* Mark end of table */
-  {0, 0, 0}
+  /* Mark end of table */
+  {0, 0, 0, 0, 0}
 };
 
 /* Number of elements in default_compilers, not counting the terminator.  */
 
-static int n_default_compilers
-  = (sizeof default_compilers / sizeof (struct compiler)) - 1;
+static const int n_default_compilers = ARRAY_SIZE (default_compilers) - 1;
 
 /* A vector of options to give to the linker.
    These options are accumulated by %x,
@@ -927,18 +1106,23 @@ static const struct option_map option_map[] =
    {"--classpath", "-fclasspath=", "aj"},
    {"--bootclasspath", "-fbootclasspath=", "aj"},
    {"--CLASSPATH", "-fclasspath=", "aj"},
+   {"--combine", "-combine", 0},
    {"--comments", "-C", 0},
+   {"--comments-in-macros", "-CC", 0},
    {"--compile", "-c", 0},
    {"--debug", "-g", "oj"},
    {"--define-macro", "-D", "aj"},
    {"--dependencies", "-M", 0},
    {"--dump", "-d", "a"},
    {"--dumpbase", "-dumpbase", "a"},
+   {"--encoding", "-fencoding=", "aj"},
    {"--entry", "-e", 0},
    {"--extra-warnings", "-W", 0},
+   {"--extdirs", "-fextdirs=", "aj"},
    {"--for-assembler", "-Wa", "a"},
    {"--for-linker", "-Xlinker", "a"},
    {"--force-link", "-u", "a"},
+   {"--coverage", "-coverage", 0},
    {"--imacros", "-imacros", "a"},
    {"--include", "-include", "a"},
    {"--include-barrier", "-I-", 0},
@@ -962,8 +1146,10 @@ static const struct option_map option_map[] =
    {"--output", "-o", "a"},
    {"--output-class-directory", "-foutput-class-dir=", "ja"},
    {"--param", "--param", "a"},
+   {"--pass-exit-codes", "-pass-exit-codes", 0},
    {"--pedantic", "-pedantic", 0},
    {"--pedantic-errors", "-pedantic-errors", 0},
+   {"--pie", "-pie", 0},
    {"--pipe", "-pipe", 0},
    {"--prefix", "-B", "a"},
    {"--preprocess", "-E", 0},
@@ -975,6 +1161,8 @@ static const struct option_map option_map[] =
    {"--print-multi-directory", "-print-multi-directory", 0},
    {"--print-multi-os-directory", "-print-multi-os-directory", 0},
    {"--print-prog-name", "-print-prog-name=", "aj"},
+   {"--print-sysroot", "-print-sysroot", 0},
+   {"--print-sysroot-headers-suffix", "-print-sysroot-headers-suffix", 0},
    {"--profile", "-p", 0},
    {"--profile-blocks", "-a", 0},
    {"--quiet", "-q", 0},
@@ -986,14 +1174,13 @@ static const struct option_map option_map[] =
    {"--static", "-static", 0},
    {"--std", "-std=", "aj"},
    {"--symbolic", "-symbolic", 0},
-   {"--target", "-b", "a"},
+   {"--sysroot", "--sysroot=", "aj"},
    {"--time", "-time", 0},
    {"--trace-includes", "-H", 0},
    {"--traditional", "-traditional", 0},
    {"--traditional-cpp", "-traditional-cpp", 0},
    {"--trigraphs", "-trigraphs", 0},
    {"--undefine-macro", "-U", "aj"},
-   {"--use-version", "-V", "a"},
    {"--user-dependencies", "-MM", 0},
    {"--verbose", "-v", 0},
    {"--warn-", "-W", "*j"},
@@ -1016,19 +1203,16 @@ static const struct {
 
 /* Translate the options described by *ARGCP and *ARGVP.
    Make a new vector and store it back in *ARGVP,
-   and store its length in *ARGVC.  */
+   and store its length in *ARGCP.  */
 
 static void
-translate_options (argcp, argvp)
-     int *argcp;
-     const char *const **argvp;
+translate_options (int *argcp, const char *const **argvp)
 {
   int i;
   int argc = *argcp;
   const char *const *argv = *argvp;
   int newvsize = (argc + 2) * 2 * sizeof (const char *);
-  const char **newv =
-    (const char **) xmalloc (newvsize);
+  const char **newv = XNEWVAR (const char *, newvsize);
   int newindex = 0;
 
   i = 0;
@@ -1058,7 +1242,7 @@ translate_options (argcp, argvp)
                }
 
              newvsize += spaces * sizeof (const char *);
-             newv = (const char **) xrealloc (newv, newvsize);
+             newv =  XRESIZEVAR (const char *, newv, newvsize);
 
              sp = target_option_translations[tott_idx].replacements;
              np = xstrdup (sp);
@@ -1138,7 +1322,7 @@ translate_options (argcp, argvp)
 
                  else if (strchr (arginfo, '*') != 0)
                    {
-                     error ("incomplete `%s' option", option_map[j].name);
+                     error ("incomplete '%s' option", option_map[j].name);
                      break;
                    }
 
@@ -1149,7 +1333,7 @@ translate_options (argcp, argvp)
                        {
                          if (i + 1 == argc)
                            {
-                             error ("missing argument to `%s' option",
+                             error ("missing argument to '%s' option",
                                     option_map[j].name);
                              break;
                            }
@@ -1162,7 +1346,7 @@ translate_options (argcp, argvp)
                  else if (strchr (arginfo, 'o') == 0)
                    {
                      if (arg != 0)
-                       error ("extraneous argument to `%s' option",
+                       error ("extraneous argument to '%s' option",
                               option_map[j].name);
                      arg = 0;
                    }
@@ -1197,11 +1381,15 @@ translate_options (argcp, argvp)
            nskip += SWITCH_TAKES_ARG (c) - (p[1] != 0);
          else if (WORD_SWITCH_TAKES_ARG (p))
            nskip += WORD_SWITCH_TAKES_ARG (p);
-         else if ((c == 'B' || c == 'b' || c == 'V' || c == 'x')
+         else if ((c == 'B' || c == 'b' || c == 'x')
                   && p[1] == 0)
            nskip += 1;
          else if (! strcmp (p, "Xlinker"))
            nskip += 1;
+         else if (! strcmp (p, "Xpreprocessor"))
+           nskip += 1;
+         else if (! strcmp (p, "Xassembler"))
+           nskip += 1;
 
          /* Watch out for an option at the end of the command line that
             is missing arguments, and avoid skipping past the end of the
@@ -1227,8 +1415,7 @@ translate_options (argcp, argvp)
 }
 \f
 static char *
-skip_whitespace (p)
-     char *p;
+skip_whitespace (char *p)
 {
   while (1)
     {
@@ -1258,7 +1445,6 @@ struct prefix_list
   struct prefix_list *next;   /* Next in linked list.  */
   int require_machine_suffix; /* Don't use without machine_suffix.  */
   /* 2 means try both machine_suffix and just_machine_suffix.  */
-  int *used_flag_ptr;        /* 1 if a file was found with this prefix.  */
   int priority;                      /* Sort key - priority within list.  */
   int os_multilib;           /* 1 if OS multilib scheme should be used,
                                 0 for GCC multilib scheme.  */
@@ -1297,9 +1483,20 @@ static const char *just_machine_suffix = 0;
 
 static const char *gcc_exec_prefix;
 
+/* Adjusted value of standard_libexec_prefix.  */
+
+static const char *gcc_libexec_prefix;
+
 /* Default prefixes to attach to command names.  */
 
-#ifdef CROSS_COMPILE  /* Don't use these prefixes for a cross compiler.  */
+#ifndef STANDARD_STARTFILE_PREFIX_1
+#define STANDARD_STARTFILE_PREFIX_1 "/lib/"
+#endif
+#ifndef STANDARD_STARTFILE_PREFIX_2
+#define STANDARD_STARTFILE_PREFIX_2 "/usr/lib/"
+#endif
+
+#ifdef CROSS_DIRECTORY_STRUCTURE  /* Don't use these prefixes for a cross compiler.  */
 #undef MD_EXEC_PREFIX
 #undef MD_STARTFILE_PREFIX
 #undef MD_STARTFILE_PREFIX_1
@@ -1316,35 +1513,33 @@ static const char *gcc_exec_prefix;
 #define MD_STARTFILE_PREFIX_1 ""
 #endif
 
-/* Supply defaults for the standard prefixes.  */
-
-#ifndef STANDARD_EXEC_PREFIX
-#define STANDARD_EXEC_PREFIX "/usr/local/lib/gcc-lib/"
-#endif
-#ifndef STANDARD_STARTFILE_PREFIX
-#define STANDARD_STARTFILE_PREFIX "/usr/local/lib/"
-#endif
-#ifndef TOOLDIR_BASE_PREFIX
-#define TOOLDIR_BASE_PREFIX "/usr/local/"
-#endif
-#ifndef STANDARD_BINDIR_PREFIX
-#define STANDARD_BINDIR_PREFIX "/usr/local/bin"
-#endif
-
+/* These directories are locations set at configure-time based on the
+   --prefix option provided to configure.  Their initializers are
+   defined in Makefile.in.  These paths are not *directly* used when
+   gcc_exec_prefix is set because, in that case, we know where the
+   compiler has been installed, and use paths relative to that
+   location instead.  */
 static const char *const standard_exec_prefix = STANDARD_EXEC_PREFIX;
-static const char *const standard_exec_prefix_1 = "/usr/lib/gcc/";
-static const char *md_exec_prefix = MD_EXEC_PREFIX;
+static const char *const standard_libexec_prefix = STANDARD_LIBEXEC_PREFIX;
+static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
+static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
 
+/* For native compilers, these are well-known paths containing
+   components that may be provided by the system.  For cross
+   compilers, these paths are not used.  */
+static const char *const standard_exec_prefix_1 = "/usr/libexec/gcc/";
+static const char *const standard_exec_prefix_2 = "/usr/lib/gcc/";
+static const char *md_exec_prefix = MD_EXEC_PREFIX;
 static const char *md_startfile_prefix = MD_STARTFILE_PREFIX;
 static const char *md_startfile_prefix_1 = MD_STARTFILE_PREFIX_1;
-static const char *const standard_startfile_prefix = STANDARD_STARTFILE_PREFIX;
-static const char *const standard_startfile_prefix_1 = "/lib/";
-static const char *const standard_startfile_prefix_2 = "/usr/lib/";
+static const char *const standard_startfile_prefix_1
+  = STANDARD_STARTFILE_PREFIX_1;
+static const char *const standard_startfile_prefix_2
+  = STANDARD_STARTFILE_PREFIX_2;
 
+/* A relative path to be used in finding the location of tools
+   relative to the driver.  */
 static const char *const tooldir_base_prefix = TOOLDIR_BASE_PREFIX;
-static const char *tooldir_prefix;
-
-static const char *const standard_bindir_prefix = STANDARD_BINDIR_PREFIX;
 
 /* Subdirectory to use for locating libraries.  Set by
    set_multilib_dir based on the compilation options.  */
@@ -1388,19 +1583,23 @@ static struct spec_list static_specs[] =
   INIT_STATIC_SPEC ("invoke_as",               &invoke_as),
   INIT_STATIC_SPEC ("cpp",                     &cpp_spec),
   INIT_STATIC_SPEC ("cpp_options",             &cpp_options),
+  INIT_STATIC_SPEC ("cpp_debug_options",       &cpp_debug_options),
   INIT_STATIC_SPEC ("cpp_unique_options",      &cpp_unique_options),
   INIT_STATIC_SPEC ("trad_capable_cpp",                &trad_capable_cpp),
   INIT_STATIC_SPEC ("cc1",                     &cc1_spec),
   INIT_STATIC_SPEC ("cc1_options",             &cc1_options),
   INIT_STATIC_SPEC ("cc1plus",                 &cc1plus_spec),
   INIT_STATIC_SPEC ("link_gcc_c_sequence",     &link_gcc_c_sequence_spec),
+  INIT_STATIC_SPEC ("link_ssp",                        &link_ssp_spec),
   INIT_STATIC_SPEC ("endfile",                 &endfile_spec),
   INIT_STATIC_SPEC ("link",                    &link_spec),
   INIT_STATIC_SPEC ("lib",                     &lib_spec),
+  INIT_STATIC_SPEC ("mfwrap",                  &mfwrap_spec),
+  INIT_STATIC_SPEC ("mflib",                   &mflib_spec),
+  INIT_STATIC_SPEC ("link_gomp",               &link_gomp_spec),
   INIT_STATIC_SPEC ("libgcc",                  &libgcc_spec),
   INIT_STATIC_SPEC ("startfile",               &startfile_spec),
   INIT_STATIC_SPEC ("switches_need_spaces",    &switches_need_spaces),
-  INIT_STATIC_SPEC ("predefines",              &cpp_predefines),
   INIT_STATIC_SPEC ("cross_compile",           &cross_compile),
   INIT_STATIC_SPEC ("version",                 &compiler_version),
   INIT_STATIC_SPEC ("multilib",                        &multilib_select),
@@ -1414,6 +1613,10 @@ static struct spec_list static_specs[] =
   INIT_STATIC_SPEC ("md_exec_prefix",          &md_exec_prefix),
   INIT_STATIC_SPEC ("md_startfile_prefix",     &md_startfile_prefix),
   INIT_STATIC_SPEC ("md_startfile_prefix_1",   &md_startfile_prefix_1),
+  INIT_STATIC_SPEC ("startfile_prefix_spec",   &startfile_prefix_spec),
+  INIT_STATIC_SPEC ("sysroot_spec",             &sysroot_spec),
+  INIT_STATIC_SPEC ("sysroot_suffix_spec",     &sysroot_suffix_spec),
+  INIT_STATIC_SPEC ("sysroot_hdrs_suffix_spec",        &sysroot_hdrs_suffix_spec),
 };
 
 #ifdef EXTRA_SPECS             /* additional specs needed */
@@ -1433,31 +1636,64 @@ static struct spec_list *extra_specs = (struct spec_list *) 0;
 
 static struct spec_list *specs = (struct spec_list *) 0;
 \f
+/* List of static spec functions.  */
+
+static const struct spec_function static_spec_functions[] =
+{
+  { "getenv",                   getenv_spec_function },
+  { "if-exists",               if_exists_spec_function },
+  { "if-exists-else",          if_exists_else_spec_function },
+  { "replace-outfile",         replace_outfile_spec_function },
+  { "version-compare",         version_compare_spec_function },
+  { "include",                 include_spec_function },
+  { "print-asm-header",                print_asm_header_spec_function },
+#ifdef EXTRA_SPEC_FUNCTIONS
+  EXTRA_SPEC_FUNCTIONS
+#endif
+  { 0, 0 }
+};
+
+static int processing_spec_function;
+\f
 /* Add appropriate libgcc specs to OBSTACK, taking into account
    various permutations of -shared-libgcc, -shared, and such.  */
 
-#ifdef ENABLE_SHARED_LIBGCC
+#if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
+
+#ifndef USE_LD_AS_NEEDED
+#define USE_LD_AS_NEEDED 0
+#endif
+
 static void
-init_gcc_specs (obstack, shared_name, static_name, eh_name)
-     struct obstack *obstack;
-     const char *shared_name;
-     const char *static_name;
-     const char *eh_name;
+init_gcc_specs (struct obstack *obstack, const char *shared_name,
+               const char *static_name, const char *eh_name)
 {
   char *buf;
 
-  buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name,
-               "}%{!static:%{!static-libgcc:",
-               "%{!shared:%{!shared-libgcc:", static_name, " ",
-               eh_name, "}%{shared-libgcc:", shared_name, " ",
-               static_name, "}}%{shared:",
+  buf = concat ("%{static|static-libgcc:", static_name, " ", eh_name, "}"
+               "%{!static:%{!static-libgcc:"
+#if USE_LD_AS_NEEDED
+               "%{!shared-libgcc:",
+               static_name, " --as-needed ", shared_name, " --no-as-needed"
+               "}"
+               "%{shared-libgcc:",
+               shared_name, "%{!shared: ", static_name, "}"
+               "}"
+#else
+               "%{!shared:"
+               "%{!shared-libgcc:", static_name, " ", eh_name, "}"
+               "%{shared-libgcc:", shared_name, " ", static_name, "}"
+               "}"
 #ifdef LINK_EH_SPEC
-               "%{shared-libgcc:", shared_name,
-               "}%{!shared-libgcc:", static_name, "}",
+               "%{shared:"
+               "%{shared-libgcc:", shared_name, "}"
+               "%{!shared-libgcc:", static_name, "}"
+               "}"
 #else
-               shared_name,
+               "%{shared:", shared_name, "}"
 #endif
-               "}}}", NULL);
+#endif
+               "}}", NULL);
 
   obstack_grow (obstack, buf, strlen (buf));
   free (buf);
@@ -1467,7 +1703,7 @@ init_gcc_specs (obstack, shared_name, static_name, eh_name)
 /* Initialize the specs lookup routines.  */
 
 static void
-init_spec ()
+init_spec (void)
 {
   struct spec_list *next = (struct spec_list *) 0;
   struct spec_list *sl   = (struct spec_list *) 0;
@@ -1480,8 +1716,7 @@ init_spec ()
     notice ("Using built-in specs.\n");
 
 #ifdef EXTRA_SPECS
-  extra_specs = (struct spec_list *)
-    xcalloc (sizeof (struct spec_list), ARRAY_SIZE (extra_specs_1));
+  extra_specs = XCNEWVEC (struct spec_list, ARRAY_SIZE (extra_specs_1));
 
   for (i = ARRAY_SIZE (extra_specs_1) - 1; i >= 0; i--)
     {
@@ -1502,7 +1737,7 @@ init_spec ()
       next = sl;
     }
 
-#ifdef ENABLE_SHARED_LIBGCC
+#if defined(ENABLE_SHARED_LIBGCC) && !defined(REAL_LIBGCC_SPEC)
   /* ??? If neither -shared-libgcc nor --static-libgcc was
      seen, then we should be making an educated guess.  Some proposed
      heuristics for ELF include:
@@ -1533,22 +1768,30 @@ init_spec ()
   {
     const char *p = libgcc_spec;
     int in_sep = 1;
+
     /* Transform the extant libgcc_spec into one that uses the shared libgcc
        when given the proper command line arguments.  */
     while (*p)
       {
-        if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
+       if (in_sep && *p == '-' && strncmp (p, "-lgcc", 5) == 0)
          {
            init_gcc_specs (&obstack,
-#ifdef NO_SHARED_LIBGCC_MULTILIB
                            "-lgcc_s"
-#else
-                           "-lgcc_s%M"
+#ifdef USE_LIBUNWIND_EXCEPTIONS
+                           " -lunwind"
 #endif
                            ,
                            "-lgcc",
-                           "-lgcc_eh");
+                           "-lgcc_eh"
+#ifdef USE_LIBUNWIND_EXCEPTIONS
+# ifdef HAVE_LD_STATIC_DYNAMIC
+                           " %{!static:-Bstatic} -lunwind %{!static:-Bdynamic}"
+# else
+                           " -lunwind"
+# endif
+#endif
+                           );
+
            p += 5;
            in_sep = 0;
          }
@@ -1557,14 +1800,13 @@ init_spec ()
            /* Ug.  We don't know shared library extensions.  Hope that
               systems that use this form don't do shared libraries.  */
            init_gcc_specs (&obstack,
-#ifdef NO_SHARED_LIBGCC_MULTILIB
-                           "-lgcc_s"
-#else
-                           "-lgcc_s%M"
-#endif
-                           ,
+                           "-lgcc_s",
                            "libgcc.a%s",
-                           "libgcc_eh.a%s");
+                           "libgcc_eh.a%s"
+#ifdef USE_LIBUNWIND_EXCEPTIONS
+                           " -lunwind"
+#endif
+                           );
            p += 10;
            in_sep = 0;
          }
@@ -1577,7 +1819,7 @@ init_spec ()
       }
 
     obstack_1grow (&obstack, '\0');
-    libgcc_spec = obstack_finish (&obstack);
+    libgcc_spec = XOBFINISH (&obstack, const char *);
   }
 #endif
 #ifdef USE_AS_TRADITIONAL_FORMAT
@@ -1586,14 +1828,14 @@ init_spec ()
     static const char tf[] = "--traditional-format ";
     obstack_grow (&obstack, tf, sizeof(tf) - 1);
     obstack_grow0 (&obstack, asm_spec, strlen (asm_spec));
-    asm_spec = obstack_finish (&obstack);
+    asm_spec = XOBFINISH (&obstack, const char *);
   }
 #endif
 #ifdef LINK_EH_SPEC
   /* Prepend LINK_EH_SPEC to whatever link_spec we had before.  */
   obstack_grow (&obstack, LINK_EH_SPEC, sizeof(LINK_EH_SPEC) - 1);
   obstack_grow0 (&obstack, link_spec, strlen (link_spec));
-  link_spec = obstack_finish (&obstack);
+  link_spec = XOBFINISH (&obstack, const char *);
 #endif
 
   specs = sl;
@@ -1604,9 +1846,7 @@ init_spec ()
    current spec.  */
 
 static void
-set_spec (name, spec)
-     const char *name;
-     const char *spec;
+set_spec (const char *name, const char *spec)
 {
   struct spec_list *sl;
   const char *old_spec;
@@ -1634,7 +1874,7 @@ set_spec (name, spec)
   if (!sl)
     {
       /* Not found - make it.  */
-      sl = (struct spec_list *) xmalloc (sizeof (struct spec_list));
+      sl = XNEW (struct spec_list);
       sl->name = xstrdup (name);
       sl->name_len = name_len;
       sl->ptr_spec = &sl->ptr;
@@ -1656,7 +1896,7 @@ set_spec (name, spec)
 
   /* Free the old spec.  */
   if (old_spec && sl->alloc_p)
-    free ((PTR) old_spec);
+    free (CONST_CAST(char *, old_spec));
 
   sl->alloc_p = 1;
 }
@@ -1675,6 +1915,17 @@ static int argbuf_length;
 
 static int argbuf_index;
 
+/* Position in the argbuf array containing the name of the output file
+   (the value associated with the "-o" flag).  */
+
+static int have_o_argbuf_index = 0;
+
+/* Were the options -c or -S passed.  */
+static int have_c = 0;
+
+/* Was the option -o passed.  */
+static int have_o = 0;
+
 /* This is the list of suffixes and codes (%g/%u/%U/%j) and the associated
    temp file.  If the HOST_BIT_BUCKET is used for %j, no entry is made for
    it here.  */
@@ -1700,10 +1951,19 @@ static int signal_count;
 
 static const char *programname;
 \f
+/* Allocate the argument vector.  */
+
+static void
+alloc_args (void)
+{
+  argbuf_length = 10;
+  argbuf = XNEWVEC (const char *, argbuf_length);
+}
+
 /* Clear out the vector of arguments (after a command is executed).  */
 
 static void
-clear_args ()
+clear_args (void)
 {
   argbuf_index = 0;
 }
@@ -1716,18 +1976,16 @@ clear_args ()
     and the file should be deleted if this compilation fails.  */
 
 static void
-store_arg (arg, delete_always, delete_failure)
-     const char *arg;
-     int delete_always, delete_failure;
+store_arg (const char *arg, int delete_always, int delete_failure)
 {
   if (argbuf_index + 1 == argbuf_length)
-    argbuf
-      = (const char **) xrealloc (argbuf,
-                                 (argbuf_length *= 2) * sizeof (const char *));
+    argbuf = XRESIZEVEC (const char *, argbuf, (argbuf_length *= 2));
 
   argbuf[argbuf_index++] = arg;
   argbuf[argbuf_index] = 0;
 
+  if (strcmp (arg, "-o") == 0)
+    have_o_argbuf_index = argbuf_index;
   if (delete_always || delete_failure)
     record_temp_file (arg, delete_always, delete_failure);
 }
@@ -1737,8 +1995,7 @@ store_arg (arg, delete_always, delete_failure)
    a single \n.  */
 
 static char *
-load_specs (filename)
-     const char *filename;
+load_specs (const char *filename)
 {
   int desc;
   int readlen;
@@ -1759,14 +2016,14 @@ load_specs (filename)
     pfatal_with_name (filename);
 
   /* Read contents of file into BUFFER.  */
-  buffer = xmalloc ((unsigned) statbuf.st_size + 1);
+  buffer = XNEWVEC (char, statbuf.st_size + 1);
   readlen = read (desc, buffer, (unsigned) statbuf.st_size);
   if (readlen < 0)
     pfatal_with_name (filename);
   buffer[readlen] = 0;
   close (desc);
 
-  specs = xmalloc (readlen + 1);
+  specs = XNEWVEC (char, readlen + 1);
   specs_p = specs;
   for (buffer_p = buffer; buffer_p && *buffer_p; buffer_p++)
     {
@@ -1802,9 +2059,7 @@ load_specs (filename)
    Anything invalid in the file is a fatal error.  */
 
 static void
-read_specs (filename, main_p)
-     const char *filename;
-     int main_p;
+read_specs (const char *filename, int main_p)
 {
   char *buffer;
   char *p;
@@ -1851,7 +2106,7 @@ read_specs (filename, main_p)
                       (long) (p1 - buffer + 1));
 
              p[-2] = '\0';
-             new_filename = find_a_file (&startfile_prefixes, p1, R_OK, 0);
+             new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
              read_specs (new_filename ? new_filename : p1, FALSE);
              continue;
            }
@@ -1870,7 +2125,7 @@ read_specs (filename, main_p)
                       (long) (p1 - buffer + 1));
 
              p[-2] = '\0';
-             new_filename = find_a_file (&startfile_prefixes, p1, R_OK, 0);
+             new_filename = find_a_file (&startfile_prefixes, p1, R_OK, true);
              if (new_filename)
                read_specs (new_filename, FALSE);
              else if (verbose_flag)
@@ -1883,8 +2138,9 @@ read_specs (filename, main_p)
            {
              int name_len;
              struct spec_list *sl;
+             struct spec_list *newsl;
 
-             /* Get original name */
+             /* Get original name */
              p1 += sizeof "%rename";
              while (*p1 == ' ' || *p1 == '\t')
                p1++;
@@ -1930,6 +2186,11 @@ read_specs (filename, main_p)
              if (strcmp (p1, p2) == 0)
                continue;
 
+             for (newsl = specs; newsl; newsl = newsl->next)
+               if (strcmp (newsl->name, p2) == 0)
+                 fatal ("%s: attempt to rename spec '%s' to already defined spec '%s'",
+                   filename, p1, p2);
+
              if (verbose_flag)
                {
                  notice ("rename spec %s to %s\n", p1, p2);
@@ -1940,7 +2201,7 @@ read_specs (filename, main_p)
 
              set_spec (p2, *(sl->ptr_spec));
              if (sl->alloc_p)
-               free ((PTR) *(sl->ptr_spec));
+               free (CONST_CAST (char *, *(sl->ptr_spec)));
 
              *(sl->ptr_spec) = "";
              sl->alloc_p = 0;
@@ -2010,9 +2271,7 @@ read_specs (filename, main_p)
        {
          /* Add this pair to the vector.  */
          compilers
-           = ((struct compiler *)
-              xrealloc (compilers,
-                        (n_compilers + 2) * sizeof (struct compiler)));
+           = XRESIZEVEC (struct compiler, compilers, n_compilers + 2);
 
          compilers[n_compilers].suffix = suffix;
          compilers[n_compilers].spec = spec;
@@ -2068,10 +2327,7 @@ static struct temp_file *failure_delete_queue;
    otherwise delete it in any case.  */
 
 void
-record_temp_file (filename, always_delete, fail_delete)
-     const char *filename;
-     int always_delete;
-     int fail_delete;
+record_temp_file (const char *filename, int always_delete, int fail_delete)
 {
   char *const name = xstrdup (filename);
 
@@ -2082,7 +2338,7 @@ record_temp_file (filename, always_delete, fail_delete)
        if (! strcmp (name, temp->name))
          goto already1;
 
-      temp = (struct temp_file *) xmalloc (sizeof (struct temp_file));
+      temp = XNEW (struct temp_file);
       temp->next = always_delete_queue;
       temp->name = name;
       always_delete_queue = temp;
@@ -2097,7 +2353,7 @@ record_temp_file (filename, always_delete, fail_delete)
        if (! strcmp (name, temp->name))
          goto already2;
 
-      temp = (struct temp_file *) xmalloc (sizeof (struct temp_file));
+      temp = XNEW (struct temp_file);
       temp->next = failure_delete_queue;
       temp->name = name;
       failure_delete_queue = temp;
@@ -2108,9 +2364,19 @@ record_temp_file (filename, always_delete, fail_delete)
 
 /* Delete all the temporary files whose names we previously recorded.  */
 
+#ifndef DELETE_IF_ORDINARY
+#define DELETE_IF_ORDINARY(NAME,ST,VERBOSE_FLAG)        \
+do                                                      \
+  {                                                     \
+    if (stat (NAME, &ST) >= 0 && S_ISREG (ST.st_mode))  \
+      if (unlink (NAME) < 0)                            \
+       if (VERBOSE_FLAG)                               \
+         perror_with_name (NAME);                      \
+  } while (0)
+#endif
+
 static void
-delete_if_ordinary (name)
-     const char *name;
+delete_if_ordinary (const char *name)
 {
   struct stat st;
 #ifdef DEBUG
@@ -2125,14 +2391,11 @@ delete_if_ordinary (name)
 
   if (i == 'y' || i == 'Y')
 #endif /* DEBUG */
-    if (stat (name, &st) >= 0 && S_ISREG (st.st_mode))
-      if (unlink (name) < 0)
-       if (verbose_flag)
-         perror_with_name (name);
+  DELETE_IF_ORDINARY (name, st, verbose_flag);
 }
 
 static void
-delete_temp_files ()
+delete_temp_files (void)
 {
   struct temp_file *temp;
 
@@ -2144,7 +2407,7 @@ delete_temp_files ()
 /* Delete all the files to be deleted on error.  */
 
 static void
-delete_failure_queue ()
+delete_failure_queue (void)
 {
   struct temp_file *temp;
 
@@ -2153,363 +2416,308 @@ delete_failure_queue ()
 }
 
 static void
-clear_failure_queue ()
+clear_failure_queue (void)
 {
   failure_delete_queue = 0;
 }
 \f
-/* Build a list of search directories from PATHS.
-   PREFIX is a string to prepend to the list.
-   If CHECK_DIR_P is non-zero we ensure the directory exists.
-   This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
-   It is also used by the --print-search-dirs flag.  */
-
-static char *
-build_search_list (paths, prefix, check_dir_p)
-     struct path_prefix *paths;
-     const char *prefix;
-     int check_dir_p;
+/* Call CALLBACK for each path in PATHS, breaking out early if CALLBACK
+   returns non-NULL.
+   If DO_MULTI is true iterate over the paths twice, first with multilib
+   suffix then without, otherwise iterate over the paths once without
+   adding a multilib suffix.  When DO_MULTI is true, some attempt is made
+   to avoid visiting the same path twice, but we could do better.  For
+   instance, /usr/lib/../lib is considered different from /usr/lib.
+   At least EXTRA_SPACE chars past the end of the path passed to
+   CALLBACK are available for use by the callback.
+   CALLBACK_INFO allows extra parameters to be passed to CALLBACK.
+
+   Returns the value returned by CALLBACK.  */
+
+static void *
+for_each_path (const struct path_prefix *paths,
+              bool do_multi,
+              size_t extra_space,
+              void *(*callback) (char *, void *),
+              void *callback_info)
 {
-  int suffix_len = (machine_suffix) ? strlen (machine_suffix) : 0;
-  int just_suffix_len
-    = (just_machine_suffix) ? strlen (just_machine_suffix) : 0;
-  int first_time = TRUE;
-  struct prefix_list *pprefix;
-
-  obstack_grow (&collect_obstack, prefix, strlen (prefix));
-  obstack_1grow (&collect_obstack, '=');
-
-  for (pprefix = paths->plist; pprefix != 0; pprefix = pprefix->next)
+  struct prefix_list *pl;
+  const char *multi_dir = NULL;
+  const char *multi_os_dir = NULL;
+  const char *multi_suffix;
+  const char *just_multi_suffix;
+  char *path = NULL;
+  void *ret = NULL;
+  bool skip_multi_dir = false;
+  bool skip_multi_os_dir = false;
+
+  multi_suffix = machine_suffix;
+  just_multi_suffix = just_machine_suffix;
+  if (do_multi && multilib_dir && strcmp (multilib_dir, ".") != 0)
     {
-      int len = strlen (pprefix->prefix);
+      multi_dir = concat (multilib_dir, dir_separator_str, NULL);
+      multi_suffix = concat (multi_suffix, multi_dir, NULL);
+      just_multi_suffix = concat (just_multi_suffix, multi_dir, NULL);
+    }
+  if (do_multi && multilib_os_dir && strcmp (multilib_os_dir, ".") != 0)
+    multi_os_dir = concat (multilib_os_dir, dir_separator_str, NULL);
 
-      if (machine_suffix
-         && (! check_dir_p
-             || is_directory (pprefix->prefix, machine_suffix, 0)))
+  while (1)
+    {
+      size_t multi_dir_len = 0;
+      size_t multi_os_dir_len = 0;
+      size_t suffix_len;
+      size_t just_suffix_len;
+      size_t len;
+
+      if (multi_dir)
+       multi_dir_len = strlen (multi_dir);
+      if (multi_os_dir)
+       multi_os_dir_len = strlen (multi_os_dir);
+      suffix_len = strlen (multi_suffix);
+      just_suffix_len = strlen (just_multi_suffix);
+
+      if (path == NULL)
        {
-         if (!first_time)
-           obstack_1grow (&collect_obstack, PATH_SEPARATOR);
-
-         first_time = FALSE;
-         obstack_grow (&collect_obstack, pprefix->prefix, len);
-         obstack_grow (&collect_obstack, machine_suffix, suffix_len);
+         len = paths->max_len + extra_space + 1;
+         if (suffix_len > multi_os_dir_len)
+           len += suffix_len;
+         else
+           len += multi_os_dir_len;
+         path = XNEWVEC (char, len);
        }
 
-      if (just_machine_suffix
-         && pprefix->require_machine_suffix == 2
-         && (! check_dir_p
-             || is_directory (pprefix->prefix, just_machine_suffix, 0)))
+      for (pl = paths->plist; pl != 0; pl = pl->next)
        {
-         if (! first_time)
-           obstack_1grow (&collect_obstack, PATH_SEPARATOR);
+         len = strlen (pl->prefix);
+         memcpy (path, pl->prefix, len);
+
+         /* Look first in MACHINE/VERSION subdirectory.  */
+         if (!skip_multi_dir)
+           {
+             memcpy (path + len, multi_suffix, suffix_len + 1);
+             ret = callback (path, callback_info);
+             if (ret)
+               break;
+           }
+
+         /* Some paths are tried with just the machine (ie. target)
+            subdir.  This is used for finding as, ld, etc.  */
+         if (!skip_multi_dir
+             && pl->require_machine_suffix == 2)
+           {
+             memcpy (path + len, just_multi_suffix, just_suffix_len + 1);
+             ret = callback (path, callback_info);
+             if (ret)
+               break;
+           }
+
+         /* Now try the base path.  */
+         if (!pl->require_machine_suffix
+             && !(pl->os_multilib ? skip_multi_os_dir : skip_multi_dir))
+           {
+             const char *this_multi;
+             size_t this_multi_len;
+
+             if (pl->os_multilib)
+               {
+                 this_multi = multi_os_dir;
+                 this_multi_len = multi_os_dir_len;
+               }
+             else
+               {
+                 this_multi = multi_dir;
+                 this_multi_len = multi_dir_len;
+               }
+
+             if (this_multi_len)
+               memcpy (path + len, this_multi, this_multi_len + 1);
+             else
+               path[len] = '\0';
 
-         first_time = FALSE;
-         obstack_grow (&collect_obstack, pprefix->prefix, len);
-         obstack_grow (&collect_obstack, just_machine_suffix,
-                       just_suffix_len);
+             ret = callback (path, callback_info);
+             if (ret)
+               break;
+           }
        }
+      if (pl)
+       break;
 
-      if (! pprefix->require_machine_suffix)
-       {
-         if (! first_time)
-           obstack_1grow (&collect_obstack, PATH_SEPARATOR);
+      if (multi_dir == NULL && multi_os_dir == NULL)
+       break;
 
-         first_time = FALSE;
-         obstack_grow (&collect_obstack, pprefix->prefix, len);
+      /* Run through the paths again, this time without multilibs.
+        Don't repeat any we have already seen.  */
+      if (multi_dir)
+       {
+         free (CONST_CAST (char *, multi_dir));
+         multi_dir = NULL;
+         free (CONST_CAST (char *, multi_suffix));
+         multi_suffix = machine_suffix;
+         free (CONST_CAST (char *, just_multi_suffix));
+         just_multi_suffix = just_machine_suffix;
+       }
+      else
+       skip_multi_dir = true;
+      if (multi_os_dir)
+       {
+         free (CONST_CAST (char *, multi_os_dir));
+         multi_os_dir = NULL;
        }
+      else
+       skip_multi_os_dir = true;
     }
 
-  obstack_1grow (&collect_obstack, '\0');
-  return obstack_finish (&collect_obstack);
+  if (multi_dir)
+    {
+      free (CONST_CAST (char *, multi_dir));
+      free (CONST_CAST (char *, multi_suffix));
+      free (CONST_CAST (char *, just_multi_suffix));
+    }
+  if (multi_os_dir)
+    free (CONST_CAST (char *, multi_os_dir));
+  if (ret != path)
+    free (path);
+  return ret;
 }
 
-/* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
-   for collect.  */
+/* Callback for build_search_list.  Adds path to obstack being built.  */
 
-static void
-putenv_from_prefixes (paths, env_var)
-     struct path_prefix *paths;
-     const char *env_var;
+struct add_to_obstack_info {
+  struct obstack *ob;
+  bool check_dir;
+  bool first_time;
+};
+
+static void *
+add_to_obstack (char *path, void *data)
 {
-  putenv (build_search_list (paths, env_var, 1));
-}
-\f
-#ifndef VMS
+  struct add_to_obstack_info *info = (struct add_to_obstack_info *) data;
 
-/* FIXME: the location independence code for VMS is hairier than this,
-   and hasn't been written.  */
+  if (info->check_dir && !is_directory (path, false))
+    return NULL;
 
-/* Split a filename into component directories.  */
+  if (!info->first_time)
+    obstack_1grow (info->ob, PATH_SEPARATOR);
 
-static char **
-split_directories (name, ptr_num_dirs)
-     const char *name;
-     int *ptr_num_dirs;
-{
-  int num_dirs = 0;
-  char **dirs;
-  const char *p, *q;
-  int ch;
-
-  /* Count the number of directories.  Special case MSDOS disk names as part
-     of the initial directory.  */
-  p = name;
-#ifdef HAVE_DOS_BASED_FILE_SYSTEM
-  if (name[1] == ':' && IS_DIR_SEPARATOR (name[2]))
-    {
-      p += 3;
-      num_dirs++;
-    }
-#endif /* HAVE_DOS_BASED_FILE_SYSTEM */
+  obstack_grow (info->ob, path, strlen (path));
 
-  while ((ch = *p++) != '\0')
-    {
-      if (IS_DIR_SEPARATOR (ch))
-       {
-         num_dirs++;
-         while (IS_DIR_SEPARATOR (*p))
-           p++;
-       }
-    }
+  info->first_time = false;
+  return NULL;
+}
 
-  dirs = (char **) xmalloc (sizeof (char *) * (num_dirs + 2));
+/* Add or change the value of an environment variable, outputting the
+   change to standard error if in verbose mode.  */
+static void
+xputenv (const char *string)
+{
+  if (verbose_flag)
+    notice ("%s\n", string);
+  putenv (CONST_CAST (char *, string));
+}
 
-  /* Now copy the directory parts.  */
-  num_dirs = 0;
-  p = name;
-#ifdef HAVE_DOS_BASED_FILE_SYSTEM
-  if (name[1] == ':' && IS_DIR_SEPARATOR (name[2]))
-    {
-      dirs[num_dirs++] = save_string (p, 3);
-      p += 3;
-    }
-#endif /* HAVE_DOS_BASED_FILE_SYSTEM */
+/* Build a list of search directories from PATHS.
+   PREFIX is a string to prepend to the list.
+   If CHECK_DIR_P is true we ensure the directory exists.
+   If DO_MULTI is true, multilib paths are output first, then
+   non-multilib paths.
+   This is used mostly by putenv_from_prefixes so we use `collect_obstack'.
+   It is also used by the --print-search-dirs flag.  */
 
-  q = p;
-  while ((ch = *p++) != '\0')
-    {
-      if (IS_DIR_SEPARATOR (ch))
-       {
-         while (IS_DIR_SEPARATOR (*p))
-           p++;
+static char *
+build_search_list (const struct path_prefix *paths, const char *prefix,
+                  bool check_dir, bool do_multi)
+{
+  struct add_to_obstack_info info;
 
-         dirs[num_dirs++] = save_string (q, p - q);
-         q = p;
-       }
-    }
+  info.ob = &collect_obstack;
+  info.check_dir = check_dir;
+  info.first_time = true;
 
-  if (p - 1 - q > 0)
-    dirs[num_dirs++] = save_string (q, p - 1 - q);
+  obstack_grow (&collect_obstack, prefix, strlen (prefix));
+  obstack_1grow (&collect_obstack, '=');
 
-  dirs[num_dirs] = NULL;
-  if (ptr_num_dirs)
-    *ptr_num_dirs = num_dirs;
+  for_each_path (paths, do_multi, 0, add_to_obstack, &info);
 
-  return dirs;
+  obstack_1grow (&collect_obstack, '\0');
+  return XOBFINISH (&collect_obstack, char *);
 }
 
-/* Release storage held by split directories.  */
+/* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
+   for collect.  */
 
 static void
-free_split_directories (dirs)
-     char **dirs;
+putenv_from_prefixes (const struct path_prefix *paths, const char *env_var,
+                     bool do_multi)
+{
+  xputenv (build_search_list (paths, env_var, true, do_multi));
+}
+\f
+/* Check whether NAME can be accessed in MODE.  This is like access,
+   except that it never considers directories to be executable.  */
+
+static int
+access_check (const char *name, int mode)
 {
-  int i = 0;
+  if (mode == X_OK)
+    {
+      struct stat st;
 
-  while (dirs[i] != NULL)
-    free (dirs[i++]);
+      if (stat (name, &st) < 0
+         || S_ISDIR (st.st_mode))
+       return -1;
+    }
 
-  free ((char *) dirs);
+  return access (name, mode);
 }
 
-/* Given three strings PROGNAME, BIN_PREFIX, PREFIX, return a string that gets
-   to PREFIX starting with the directory portion of PROGNAME and a relative
-   pathname of the difference between BIN_PREFIX and PREFIX.
+/* Callback for find_a_file.  Appends the file name to the directory
+   path.  If the resulting file exists in the right mode, return the
+   full pathname to the file.  */
 
-   For example, if BIN_PREFIX is /alpha/beta/gamma/gcc/delta, PREFIX is
-   /alpha/beta/gamma/omega/, and PROGNAME is /red/green/blue/gcc, then this
-   function will return /red/green/blue/../omega.
-
-   If no relative prefix can be found, return NULL.  */
+struct file_at_path_info {
+  const char *name;
+  const char *suffix;
+  int name_len;
+  int suffix_len;
+  int mode;
+};
 
-static char *
-make_relative_prefix (progname, bin_prefix, prefix)
-     const char *progname;
-     const char *bin_prefix;
-     const char *prefix;
+static void *
+file_at_path (char *path, void *data)
 {
-  char **prog_dirs, **bin_dirs, **prefix_dirs;
-  int prog_num, bin_num, prefix_num, std_loc_p;
-  int i, n, common;
+  struct file_at_path_info *info = (struct file_at_path_info *) data;
+  size_t len = strlen (path);
 
-  prog_dirs = split_directories (progname, &prog_num);
-  bin_dirs = split_directories (bin_prefix, &bin_num);
+  memcpy (path + len, info->name, info->name_len);
+  len += info->name_len;
 
-  /* If there is no full pathname, try to find the program by checking in each
-     of the directories specified in the PATH environment variable.  */
-  if (prog_num == 1)
+  /* Some systems have a suffix for executable files.
+     So try appending that first.  */
+  if (info->suffix_len)
     {
-      char *temp;
+      memcpy (path + len, info->suffix, info->suffix_len + 1);
+      if (access_check (path, info->mode) == 0)
+       return path;
+    }
 
-      GET_ENV_PATH_LIST (temp, "PATH");
-      if (temp)
-       {
-         char *startp, *endp, *nstore;
-         size_t prefixlen = strlen (temp) + 1;
-         if (prefixlen < 2)
-           prefixlen = 2;
+  path[len] = '\0';
+  if (access_check (path, info->mode) == 0)
+    return path;
 
-         nstore = (char *) alloca (prefixlen + strlen (progname) + 1);
-
-         startp = endp = temp;
-         while (1)
-           {
-             if (*endp == PATH_SEPARATOR || *endp == 0)
-               {
-                 if (endp == startp)
-                   {
-                     nstore[0] = '.';
-                     nstore[1] = DIR_SEPARATOR;
-                     nstore[2] = '\0';
-                   }
-                 else
-                   {
-                     strncpy (nstore, startp, endp - startp);
-                     if (! IS_DIR_SEPARATOR (endp[-1]))
-                       {
-                         nstore[endp - startp] = DIR_SEPARATOR;
-                         nstore[endp - startp + 1] = 0;
-                       }
-                     else
-                       nstore[endp - startp] = 0;
-                   }
-                 strcat (nstore, progname);
-                 if (! access (nstore, X_OK)
-#ifdef HAVE_HOST_EXECUTABLE_SUFFIX
-                      || ! access (strcat (nstore, HOST_EXECUTABLE_SUFFIX), X_OK)
-#endif
-                     )
-                   {
-                     free_split_directories (prog_dirs);
-                     progname = nstore;
-                     prog_dirs = split_directories (progname, &prog_num);
-                     break;
-                   }
-
-                 if (*endp == 0)
-                   break;
-                 endp = startp = endp + 1;
-               }
-             else
-               endp++;
-           }
-       }
-    }
-
-  /* Remove the program name from comparison of directory names.  */
-  prog_num--;
-
-  /* Determine if the compiler is installed in the standard location, and if
-     so, we don't need to specify relative directories.  Also, if argv[0]
-     doesn't contain any directory specifiers, there is not much we can do.  */
-  std_loc_p = 0;
-  if (prog_num == bin_num)
-    {
-      for (i = 0; i < bin_num; i++)
-       {
-         if (strcmp (prog_dirs[i], bin_dirs[i]) != 0)
-           break;
-       }
-
-      if (prog_num <= 0 || i == bin_num)
-       {
-         std_loc_p = 1;
-         free_split_directories (prog_dirs);
-         free_split_directories (bin_dirs);
-         prog_dirs = bin_dirs = (char **) 0;
-         return NULL;
-       }
-    }
-
-  prefix_dirs = split_directories (prefix, &prefix_num);
-
-  /* Find how many directories are in common between bin_prefix & prefix.  */
-  n = (prefix_num < bin_num) ? prefix_num : bin_num;
-  for (common = 0; common < n; common++)
-    {
-      if (strcmp (bin_dirs[common], prefix_dirs[common]) != 0)
-       break;
-    }
-
-  /* If there are no common directories, there can be no relative prefix.  */
-  if (common == 0)
-    {
-      free_split_directories (prog_dirs);
-      free_split_directories (bin_dirs);
-      free_split_directories (prefix_dirs);
-      return NULL;
-    }
-
-  /* Build up the pathnames in argv[0].  */
-  for (i = 0; i < prog_num; i++)
-    obstack_grow (&obstack, prog_dirs[i], strlen (prog_dirs[i]));
-
-  /* Now build up the ..'s.  */
-  for (i = common; i < n; i++)
-    {
-      obstack_grow (&obstack, DIR_UP, sizeof (DIR_UP) - 1);
-      obstack_1grow (&obstack, DIR_SEPARATOR);
-    }
-
-  /* Put in directories to move over to prefix.  */
-  for (i = common; i < prefix_num; i++)
-    obstack_grow (&obstack, prefix_dirs[i], strlen (prefix_dirs[i]));
-
-  free_split_directories (prog_dirs);
-  free_split_directories (bin_dirs);
-  free_split_directories (prefix_dirs);
-
-  obstack_1grow (&obstack, '\0');
-  return obstack_finish (&obstack);
-}
-#endif /* VMS */
-\f
-/* Check whether NAME can be accessed in MODE.  This is like access,
-   except that it never considers directories to be executable.  */
-
-static int
-access_check (name, mode)
-     const char *name;
-     int mode;
-{
-  if (mode == X_OK)
-    {
-      struct stat st;
-
-      if (stat (name, &st) < 0
-         || S_ISDIR (st.st_mode))
-       return -1;
-    }
-
-  return access (name, mode);
-}
+  return NULL;
+}
 
 /* Search for NAME using the prefix list PREFIXES.  MODE is passed to
-   access to check permissions.
+   access to check permissions.  If DO_MULTI is true, search multilib
+   paths then non-multilib paths, otherwise do not search multilib paths.
    Return 0 if not found, otherwise return its name, allocated with malloc.  */
 
 static char *
-find_a_file (pprefix, name, mode, multilib)
-     struct path_prefix *pprefix;
-     const char *name;
-     int mode, multilib;
+find_a_file (const struct path_prefix *pprefix, const char *name, int mode,
+            bool do_multi)
 {
-  char *temp;
-  const char *const file_suffix =
-    ((mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "");
-  struct prefix_list *pl;
-  int len = pprefix->max_len + strlen (name) + strlen (file_suffix) + 1;
-  const char *multilib_name, *multilib_os_name;
+  struct file_at_path_info info;
 
 #ifdef DEFAULT_ASSEMBLER
   if (! strcmp (name, "as") && access (DEFAULT_ASSEMBLER, mode) == 0)
@@ -2521,136 +2729,25 @@ find_a_file (pprefix, name, mode, multilib)
     return xstrdup (DEFAULT_LINKER);
 #endif
 
-  if (machine_suffix)
-    len += strlen (machine_suffix);
-
-  multilib_name = name;
-  multilib_os_name = name;
-  if (multilib && multilib_os_dir)
-    {
-      int len1 = multilib_dir ? strlen (multilib_dir) + 1 : 0;
-      int len2 = strlen (multilib_os_dir) + 1;
-
-      len += len1 > len2 ? len1 : len2;
-      if (multilib_dir)
-       multilib_name = ACONCAT ((multilib_dir, dir_separator_str, name,
-                                 NULL));
-      if (strcmp (multilib_os_dir, ".") != 0)
-       multilib_os_name = ACONCAT ((multilib_os_dir, dir_separator_str, name,
-                                   NULL));
-    }
-
-  temp = xmalloc (len);
-
   /* Determine the filename to execute (special case for absolute paths).  */
 
-  if (IS_ABSOLUTE_PATHNAME (name))
+  if (IS_ABSOLUTE_PATH (name))
     {
       if (access (name, mode) == 0)
-       {
-         strcpy (temp, name);
-         return temp;
-       }
-    }
-  else
-    for (pl = pprefix->plist; pl; pl = pl->next)
-      {
-       const char *this_name
-         = pl->os_multilib ? multilib_os_name : multilib_name;
-
-       if (machine_suffix)
-         {
-           /* Some systems have a suffix for executable files.
-              So try appending that first.  */
-           if (file_suffix[0] != 0)
-             {
-               strcpy (temp, pl->prefix);
-               strcat (temp, machine_suffix);
-               strcat (temp, multilib_name);
-               strcat (temp, file_suffix);
-               if (access_check (temp, mode) == 0)
-                 {
-                   if (pl->used_flag_ptr != 0)
-                     *pl->used_flag_ptr = 1;
-                   return temp;
-                 }
-             }
+       return xstrdup (name);
 
-           /* Now try just the multilib_name.  */
-           strcpy (temp, pl->prefix);
-           strcat (temp, machine_suffix);
-           strcat (temp, multilib_name);
-           if (access_check (temp, mode) == 0)
-             {
-               if (pl->used_flag_ptr != 0)
-                 *pl->used_flag_ptr = 1;
-               return temp;
-             }
-         }
-
-       /* Certain prefixes are tried with just the machine type,
-          not the version.  This is used for finding as, ld, etc.  */
-       if (just_machine_suffix && pl->require_machine_suffix == 2)
-         {
-           /* Some systems have a suffix for executable files.
-              So try appending that first.  */
-           if (file_suffix[0] != 0)
-             {
-               strcpy (temp, pl->prefix);
-               strcat (temp, just_machine_suffix);
-               strcat (temp, multilib_name);
-               strcat (temp, file_suffix);
-               if (access_check (temp, mode) == 0)
-                 {
-                   if (pl->used_flag_ptr != 0)
-                     *pl->used_flag_ptr = 1;
-                   return temp;
-                 }
-             }
-
-           strcpy (temp, pl->prefix);
-           strcat (temp, just_machine_suffix);
-           strcat (temp, multilib_name);
-           if (access_check (temp, mode) == 0)
-             {
-               if (pl->used_flag_ptr != 0)
-                 *pl->used_flag_ptr = 1;
-               return temp;
-             }
-         }
-
-       /* Certain prefixes can't be used without the machine suffix
-          when the machine or version is explicitly specified.  */
-       if (! pl->require_machine_suffix)
-         {
-           /* Some systems have a suffix for executable files.
-              So try appending that first.  */
-           if (file_suffix[0] != 0)
-             {
-               strcpy (temp, pl->prefix);
-               strcat (temp, this_name);
-               strcat (temp, file_suffix);
-               if (access_check (temp, mode) == 0)
-                 {
-                   if (pl->used_flag_ptr != 0)
-                     *pl->used_flag_ptr = 1;
-                   return temp;
-                 }
-             }
+      return NULL;
+    }
 
-           strcpy (temp, pl->prefix);
-           strcat (temp, this_name);
-           if (access_check (temp, mode) == 0)
-             {
-               if (pl->used_flag_ptr != 0)
-                 *pl->used_flag_ptr = 1;
-               return temp;
-             }
-         }
-      }
+  info.name = name;
+  info.suffix = (mode & X_OK) != 0 ? HOST_EXECUTABLE_SUFFIX : "";
+  info.name_len = strlen (info.name);
+  info.suffix_len = strlen (info.suffix);
+  info.mode = mode;
 
-  free (temp);
-  return 0;
+  return (char*) for_each_path (pprefix, do_multi,
+                               info.name_len + info.suffix_len,
+                               file_at_path, &info);
 }
 
 /* Ranking of prefixes in the sort list. -B prefixes are put before
@@ -2662,7 +2759,7 @@ enum path_prefix_priority
   PREFIX_PRIORITY_LAST
 };
 
-/* Add an entry for PREFIX in PLIST.  The PLIST is kept in assending
+/* Add an entry for PREFIX in PLIST.  The PLIST is kept in ascending
    order according to PRIORITY.  Within each PRIORITY, new entries are
    appended.
 
@@ -2677,15 +2774,9 @@ enum path_prefix_priority
    2 means try both machine_suffix and just_machine_suffix.  */
 
 static void
-add_prefix (pprefix, prefix, component, priority, require_machine_suffix,
-           warn, os_multilib)
-     struct path_prefix *pprefix;
-     const char *prefix;
-     const char *component;
-     /* enum prefix_priority */ int priority;
-     int require_machine_suffix;
-     int *warn;
-     int os_multilib;
+add_prefix (struct path_prefix *pprefix, const char *prefix,
+           const char *component, /* enum prefix_priority */ int priority,
+           int require_machine_suffix, int os_multilib)
 {
   struct prefix_list *pl, **prev;
   int len;
@@ -2695,26 +2786,49 @@ add_prefix (pprefix, prefix, component, priority, require_machine_suffix,
        prev = &(*prev)->next)
     ;
 
-  /* Keep track of the longest prefix */
+  /* Keep track of the longest prefix */
 
   prefix = update_path (prefix, component);
   len = strlen (prefix);
   if (len > pprefix->max_len)
     pprefix->max_len = len;
 
-  pl = (struct prefix_list *) xmalloc (sizeof (struct prefix_list));
+  pl = XNEW (struct prefix_list);
   pl->prefix = prefix;
   pl->require_machine_suffix = require_machine_suffix;
-  pl->used_flag_ptr = warn;
   pl->priority = priority;
   pl->os_multilib = os_multilib;
-  if (warn)
-    *warn = 0;
 
-  /* Insert after PREV */
+  /* Insert after PREV */
   pl->next = (*prev);
   (*prev) = pl;
 }
+
+/* Same as add_prefix, but prepending target_system_root to prefix.  */
+/* The target_system_root prefix has been relocated by gcc_exec_prefix.  */
+static void
+add_sysrooted_prefix (struct path_prefix *pprefix, const char *prefix,
+                     const char *component,
+                     /* enum prefix_priority */ int priority,
+                     int require_machine_suffix, int os_multilib)
+{
+  if (!IS_ABSOLUTE_PATH (prefix))
+    fatal ("system path '%s' is not absolute", prefix);
+
+  if (target_system_root)
+    {
+      if (target_sysroot_suffix)
+         prefix = concat (target_sysroot_suffix, prefix, NULL);
+      prefix = concat (target_system_root, prefix, NULL);
+
+      /* We have to override this because GCC's notion of sysroot
+        moves along with GCC.  */
+      component = "GCC";
+    }
+
+  add_prefix (pprefix, prefix, component, priority,
+             require_machine_suffix, os_multilib);
+}
 \f
 /* Execute the command specified by the arguments on the current line of spec.
    When using pipes, this includes several piped-together commands
@@ -2723,20 +2837,29 @@ add_prefix (pprefix, prefix, component, priority, require_machine_suffix,
    Return 0 if successful, -1 if failed.  */
 
 static int
-execute ()
+execute (void)
 {
   int i;
   int n_commands;              /* # of command.  */
   char *string;
+  struct pex_obj *pex;
   struct command
   {
     const char *prog;          /* program name.  */
     const char **argv;         /* vector of args.  */
-    int pid;                   /* pid of process for this command.  */
   };
 
   struct command *commands;    /* each command buffer with above info.  */
 
+  gcc_assert (!processing_spec_function);
+
+  if (wrapper_string)
+    {
+      string = find_a_file (&exec_prefixes, argbuf[0], X_OK, false);
+      argbuf[0] = (string) ? string : argbuf[0];
+      insert_wrapper (wrapper_string);
+    }
+
   /* Count # of piped commands.  */
   for (n_commands = 1, i = 0; i < argbuf_index; i++)
     if (strcmp (argbuf[i], "|") == 0)
@@ -2751,10 +2874,12 @@ execute ()
 
   commands[0].prog = argbuf[0]; /* first command.  */
   commands[0].argv = &argbuf[0];
-  string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, 0);
-
-  if (string)
-    commands[0].argv[0] = string;
+  if (!wrapper_string)
+    {
+      string = find_a_file (&exec_prefixes, commands[0].prog, X_OK, false);
+      commands[0].argv[0] = (string) ? string : commands[0].argv[0];
+    }
 
   for (n_commands = 1, i = 0; i < argbuf_index; i++)
     if (strcmp (argbuf[i], "|") == 0)
@@ -2766,7 +2891,7 @@ execute ()
        commands[n_commands].prog = argbuf[i + 1];
        commands[n_commands].argv = &argbuf[i + 1];
        string = find_a_file (&exec_prefixes, commands[n_commands].prog,
-                             X_OK, 0);
+                             X_OK, false);
        if (string)
          commands[n_commands].argv[0] = string;
        n_commands++;
@@ -2787,8 +2912,8 @@ execute ()
        {
          const char *const *j;
 
-         if (verbose_only_flag)
-           {
+         if (verbose_only_flag)
+           {
              for (j = commands[i].argv; *j; j++)
                {
                  const char *p;
@@ -2801,8 +2926,8 @@ execute ()
                    }
                  fputc ('"', stderr);
                }
-           }
-         else
+           }
+         else
            for (j = commands[i].argv; *j; j++)
              fprintf (stderr, " %s", *j);
 
@@ -2813,7 +2938,14 @@ execute ()
        }
       fflush (stderr);
       if (verbose_only_flag != 0)
-        return 0;
+        {
+         /* verbose_only_flag should act as if the spec was
+            executed, so increment execution_count before
+            returning.  This prevents spurious warnings about
+            unused linker input files, etc.  */
+         execution_count++;
+         return 0;
+        }
 #ifdef DEBUG
       notice ("\nGo ahead? (y or n) ");
       fflush (stderr);
@@ -2827,116 +2959,139 @@ execute ()
 #endif /* DEBUG */
     }
 
+#ifdef ENABLE_VALGRIND_CHECKING
+  /* Run the each command through valgrind.  To simplify prepending the
+     path to valgrind and the option "-q" (for quiet operation unless
+     something triggers), we allocate a separate argv array.  */
+
+  for (i = 0; i < n_commands; i++)
+    {
+      const char **argv;
+      int argc;
+      int j;
+
+      for (argc = 0; commands[i].argv[argc] != NULL; argc++)
+       ;
+
+      argv = XALLOCAVEC (const char *, argc + 3);
+
+      argv[0] = VALGRIND_PATH;
+      argv[1] = "-q";
+      for (j = 2; j < argc + 2; j++)
+       argv[j] = commands[i].argv[j - 2];
+      argv[j] = NULL;
+
+      commands[i].argv = argv;
+      commands[i].prog = argv[0];
+    }
+#endif
+
   /* Run each piped subprocess.  */
 
+  pex = pex_init (PEX_USE_PIPES | (report_times ? PEX_RECORD_TIMES : 0),
+                 programname, temp_filename);
+  if (pex == NULL)
+    pfatal_with_name (_("pex_init failed"));
+
   for (i = 0; i < n_commands; i++)
     {
-      char *errmsg_fmt, *errmsg_arg;
+      const char *errmsg;
+      int err;
       const char *string = commands[i].argv[0];
 
-      /* For some bizarre reason, the second argument of execvp() is
-        char *const *, not const char *const *.  */
-      commands[i].pid = pexecute (string, (char *const *) commands[i].argv,
-                                 programname, temp_filename,
-                                 &errmsg_fmt, &errmsg_arg,
-                                 ((i == 0 ? PEXECUTE_FIRST : 0)
-                                  | (i + 1 == n_commands ? PEXECUTE_LAST : 0)
-                                  | (string == commands[i].prog
-                                     ? PEXECUTE_SEARCH : 0)
-                                  | (verbose_flag ? PEXECUTE_VERBOSE : 0)));
-
-      if (commands[i].pid == -1)
-       pfatal_pexecute (errmsg_fmt, errmsg_arg);
+      errmsg = pex_run (pex,
+                       ((i + 1 == n_commands ? PEX_LAST : 0)
+                        | (string == commands[i].prog ? PEX_SEARCH : 0)),
+                       string, CONST_CAST (char **, commands[i].argv),
+                       NULL, NULL, &err);
+      if (errmsg != NULL)
+       {
+         if (err == 0)
+           fatal (errmsg);
+         else
+           {
+             errno = err;
+             pfatal_with_name (errmsg);
+           }
+       }
 
       if (string != commands[i].prog)
-       free ((PTR) string);
+       free (CONST_CAST (char *, string));
     }
 
   execution_count++;
 
-  /* Wait for all the subprocesses to finish.
-     We don't care what order they finish in;
-     we know that N_COMMANDS waits will get them all.
-     Ignore subprocesses that we don't know about,
-     since they can be spawned by the process that exec'ed us.  */
+  /* Wait for all the subprocesses to finish.  */
 
   {
+    int *statuses;
+    struct pex_time *times = NULL;
     int ret_code = 0;
-#ifdef HAVE_GETRUSAGE
-    struct timeval d;
-    double ut = 0.0, st = 0.0;
-#endif
 
-    for (i = 0; i < n_commands;)
+    statuses = (int *) alloca (n_commands * sizeof (int));
+    if (!pex_get_status (pex, n_commands, statuses))
+      pfatal_with_name (_("failed to get exit status"));
+
+    if (report_times)
       {
-       int j;
-       int status;
-       int pid;
+       times = (struct pex_time *) alloca (n_commands * sizeof (struct pex_time));
+       if (!pex_get_times (pex, n_commands, times))
+         pfatal_with_name (_("failed to get process times"));
+      }
 
-       pid = pwait (commands[i].pid, &status, 0);
-       if (pid < 0)
-         abort ();
+    pex_free (pex);
 
-#ifdef HAVE_GETRUSAGE
-       if (report_times)
-         {
-           /* getrusage returns the total resource usage of all children
-              up to now.  Copy the previous values into prus, get the
-              current statistics, then take the difference.  */
-
-           prus = rus;
-           getrusage (RUSAGE_CHILDREN, &rus);
-           d.tv_sec = rus.ru_utime.tv_sec - prus.ru_utime.tv_sec;
-           d.tv_usec = rus.ru_utime.tv_usec - prus.ru_utime.tv_usec;
-           ut = (double) d.tv_sec + (double) d.tv_usec / 1.0e6;
-
-           d.tv_sec = rus.ru_stime.tv_sec - prus.ru_stime.tv_sec;
-           d.tv_usec = rus.ru_stime.tv_usec - prus.ru_stime.tv_usec;
-           st = (double) d.tv_sec + (double) d.tv_usec / 1.0e6;
-         }
-#endif
+    for (i = 0; i < n_commands; ++i)
+      {
+       int status = statuses[i];
 
-       for (j = 0; j < n_commands; j++)
-         if (commands[j].pid == pid)
-           {
-             i++;
-             if (WIFSIGNALED (status))
-               {
+       if (WIFSIGNALED (status))
+         {
 #ifdef SIGPIPE
-                 /* SIGPIPE is a special case.  It happens in -pipe mode
-                    when the compiler dies before the preprocessor is
-                    done, or the assembler dies before the compiler is
-                    done.  There's generally been an error already, and
-                    this is just fallout.  So don't generate another error
-                    unless we would otherwise have succeeded.  */
-                 if (WTERMSIG (status) == SIGPIPE
-                     && (signal_count || greatest_status >= MIN_FATAL_STATUS))
-                   ;
-                 else
+           /* SIGPIPE is a special case.  It happens in -pipe mode
+              when the compiler dies before the preprocessor is done,
+              or the assembler dies before the compiler is done.
+              There's generally been an error already, and this is
+              just fallout.  So don't generate another error unless
+              we would otherwise have succeeded.  */
+           if (WTERMSIG (status) == SIGPIPE
+               && (signal_count || greatest_status >= MIN_FATAL_STATUS))
+             {
+               signal_count++;
+               ret_code = -1;
+             }
+           else
 #endif
-                   fatal ("\
+             fatal_ice ("\
 Internal error: %s (program %s)\n\
 Please submit a full bug report.\n\
 See %s for instructions.",
-                          strsignal (WTERMSIG (status)), commands[j].prog,
-                          GCCBUGURL);
-                 signal_count++;
-                 ret_code = -1;
-               }
-             else if (WIFEXITED (status)
-                      && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
-               {
-                 if (WEXITSTATUS (status) > greatest_status)
-                   greatest_status = WEXITSTATUS (status);
-                 ret_code = -1;
-               }
-#ifdef HAVE_GETRUSAGE
-             if (report_times && ut + st != 0)
-               notice ("# %s %.2f %.2f\n", commands[j].prog, ut, st);
-#endif
-             break;
-           }
+                       strsignal (WTERMSIG (status)), commands[i].prog,
+                       bug_report_url);
+         }
+       else if (WIFEXITED (status)
+                && WEXITSTATUS (status) >= MIN_FATAL_STATUS)
+         {
+           if (WEXITSTATUS (status) > greatest_status)
+             greatest_status = WEXITSTATUS (status);
+           ret_code = -1;
+         }
+
+       if (report_times)
+         {
+           struct pex_time *pt = &times[i];
+           double ut, st;
+
+           ut = ((double) pt->user_seconds
+                 + (double) pt->user_microseconds / 1.0e6);
+           st = ((double) pt->system_seconds
+                 + (double) pt->system_microseconds / 1.0e6);
+
+           if (ut + st != 0)
+             notice ("# %s %.2f %.2f\n", commands[i].prog, ut, st);
+         }
       }
+
     return ret_code;
   }
 }
@@ -2947,24 +3102,22 @@ See %s for instructions.",
    If a switch uses following arguments, then the `part1' field
    is the switch itself and the `args' field
    is a null-terminated vector containing the following arguments.
-   The `live_cond' field is:
-   0 when initialized
-   1 if the switch is true in a conditional spec,
-   -1 if false (overridden by a later switch)
-   -2 if this switch should be ignored (used in %{<S})
+   Bits in the `live_cond' field are:
+   SWITCH_LIVE to indicate this switch is true in a conditional spec.
+   SWITCH_FALSE to indicate this switch is overridden by a later switch.
+   SWITCH_IGNORE to indicate this switch should be ignored (used in %<S).
    The `validated' field is nonzero if any spec has looked at this switch;
    if it remains zero at the end of the run, it must be meaningless.  */
 
-#define SWITCH_OK       0
-#define SWITCH_FALSE   -1
-#define SWITCH_IGNORE  -2
-#define SWITCH_LIVE     1
+#define SWITCH_LIVE    0x1
+#define SWITCH_FALSE   0x2
+#define SWITCH_IGNORE  0x4
 
 struct switchstr
 {
   const char *part1;
   const char **args;
-  int live_cond;
+  unsigned int live_cond;
   unsigned char validated;
   unsigned char ordering;
 };
@@ -2973,10 +3126,20 @@ static struct switchstr *switches;
 
 static int n_switches;
 
+/* Language is one of three things:
+
+   1) The name of a real programming language.
+   2) NULL, indicating that no one has figured out
+   what it is yet.
+   3) '*', indicating that the file should be passed
+   to the linker.  */
 struct infile
 {
   const char *name;
   const char *language;
+  struct compiler *incompiler;
+  bool compiled;
+  bool preprocessed;
 };
 
 /* Also a vector of input files specified.  */
@@ -2985,6 +3148,11 @@ static struct infile *infiles;
 
 int n_infiles;
 
+/* True if multiple input files are being compiled to a single
+   assembly file.  */
+
+static bool combine_inputs;
+
 /* This counts the number of libraries added by lang_specific_driver, so that
    we can tell if there were any user supplied any files or libraries.  */
 
@@ -2993,15 +3161,6 @@ static int added_libraries;
 /* And a vector of corresponding output files is made up later.  */
 
 const char **outfiles;
-
-/* Used to track if none of the -B paths are used.  */
-static int warn_B;
-
-/* Used to track if standard path isn't used and -b or -V is specified.  */
-static int warn_std;
-
-/* Gives value to pass as "warn" to add_prefix for standard prefixes.  */
-static int *warn_std_ptr = 0;
 \f
 #if defined(HAVE_TARGET_OBJECT_SUFFIX) || defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
 
@@ -3010,10 +3169,8 @@ static int *warn_std_ptr = 0;
    is true if we should look for an object suffix.  */
 
 static const char *
-convert_filename (name, do_exe, do_obj)
-     const char *name;
-     int do_exe ATTRIBUTE_UNUSED;
-     int do_obj ATTRIBUTE_UNUSED;
+convert_filename (const char *name, int do_exe ATTRIBUTE_UNUSED,
+                 int do_obj ATTRIBUTE_UNUSED)
 {
 #if defined(HAVE_TARGET_EXECUTABLE_SUFFIX)
   int i;
@@ -3033,7 +3190,7 @@ convert_filename (name, do_exe, do_obj)
     {
       obstack_grow (&obstack, name, len - 2);
       obstack_grow0 (&obstack, TARGET_OBJECT_SUFFIX, strlen (TARGET_OBJECT_SUFFIX));
-      name = obstack_finish (&obstack);
+      name = XOBFINISH (&obstack, const char *);
     }
 #endif
 
@@ -3054,7 +3211,7 @@ convert_filename (name, do_exe, do_obj)
   obstack_grow (&obstack, name, len);
   obstack_grow0 (&obstack, TARGET_EXECUTABLE_SUFFIX,
                 strlen (TARGET_EXECUTABLE_SUFFIX));
-  name = obstack_finish (&obstack);
+  name = XOBFINISH (&obstack, const char *);
 #endif
 
   return name;
@@ -3063,7 +3220,7 @@ convert_filename (name, do_exe, do_obj)
 \f
 /* Display the command line switches accepted by gcc.  */
 static void
-display_help ()
+display_help (void)
 {
   printf (_("Usage: %s [options] file...\n"), programname);
   fputs (_("Options:\n"), stdout);
@@ -3071,8 +3228,11 @@ display_help ()
   fputs (_("  -pass-exit-codes         Exit with highest error code from a phase\n"), stdout);
   fputs (_("  --help                   Display this information\n"), stdout);
   fputs (_("  --target-help            Display target specific command line options\n"), stdout);
+  fputs (_("  --help={target|optimizers|warnings|params|[^]{joined|separate|undocumented}}[,...]\n"), stdout);
+  fputs (_("                           Display specific types of command line options\n"), stdout);
   if (! verbose_flag)
     fputs (_("  (Use '-v --help' to display command line options of sub-processes)\n"), stdout);
+  fputs (_("  --version                Display compiler version information\n"), stdout);
   fputs (_("  -dumpspecs               Display all of the built in spec strings\n"), stdout);
   fputs (_("  -dumpversion             Display the version of the compiler\n"), stdout);
   fputs (_("  -dumpmachine             Display the compiler's target processor\n"), stdout);
@@ -3085,15 +3245,23 @@ display_help ()
   -print-multi-lib         Display the mapping between command line options and\n\
                            multiple library search directories\n"), stdout);
   fputs (_("  -print-multi-os-directory Display the relative path to OS libraries\n"), stdout);
+  fputs (_("  -print-sysroot           Display the target libraries directory\n"), stdout);
+  fputs (_("  -print-sysroot-headers-suffix Display the sysroot suffix used to find headers\n"), stdout);
   fputs (_("  -Wa,<options>            Pass comma-separated <options> on to the assembler\n"), stdout);
   fputs (_("  -Wp,<options>            Pass comma-separated <options> on to the preprocessor\n"), stdout);
   fputs (_("  -Wl,<options>            Pass comma-separated <options> on to the linker\n"), stdout);
+  fputs (_("  -Xassembler <arg>        Pass <arg> on to the assembler\n"), stdout);
+  fputs (_("  -Xpreprocessor <arg>     Pass <arg> on to the preprocessor\n"), stdout);
   fputs (_("  -Xlinker <arg>           Pass <arg> on to the linker\n"), stdout);
+  fputs (_("  -combine                 Pass multiple source files to compiler at once\n"), stdout);
   fputs (_("  -save-temps              Do not delete intermediate files\n"), stdout);
   fputs (_("  -pipe                    Use pipes rather than intermediate files\n"), stdout);
   fputs (_("  -time                    Time the execution of each subprocess\n"), stdout);
   fputs (_("  -specs=<file>            Override built-in specs with the contents of <file>\n"), stdout);
   fputs (_("  -std=<standard>          Assume that the input sources are for <standard>\n"), stdout);
+  fputs (_("\
+  --sysroot=<directory>    Use <directory> as the root directory for headers\n\
+                           and libraries\n"), stdout);
   fputs (_("  -B <directory>           Add <directory> to the compiler's search paths\n"), stdout);
   fputs (_("  -b <machine>             Run gcc for target <machine>, if installed\n"), stdout);
   fputs (_("  -V <version>             Run gcc version number <version>, if installed\n"), stdout);
@@ -3105,7 +3273,7 @@ display_help ()
   fputs (_("  -o <file>                Place the output into <file>\n"), stdout);
   fputs (_("\
   -x <language>            Specify the language of the following input files\n\
-                           Permissable languages include: c c++ assembler none\n\
+                           Permissible languages include: c c++ assembler none\n\
                            'none' means revert to the default behavior of\n\
                            guessing the language based on the file's extension\n\
 "), stdout);
@@ -3121,56 +3289,43 @@ display_help ()
 }
 
 static void
-add_preprocessor_option (option, len)
-     const char *option;
-     int len;
+add_preprocessor_option (const char *option, int len)
 {
   n_preprocessor_options++;
 
   if (! preprocessor_options)
-    preprocessor_options
-      = (char **) xmalloc (n_preprocessor_options * sizeof (char *));
+    preprocessor_options = XNEWVEC (char *, n_preprocessor_options);
   else
-    preprocessor_options
-      = (char **) xrealloc (preprocessor_options,
-                           n_preprocessor_options * sizeof (char *));
+    preprocessor_options = XRESIZEVEC (char *, preprocessor_options,
+                                      n_preprocessor_options);
 
   preprocessor_options [n_preprocessor_options - 1] =
     save_string (option, len);
 }
 
 static void
-add_assembler_option (option, len)
-     const char *option;
-     int len;
+add_assembler_option (const char *option, int len)
 {
   n_assembler_options++;
 
   if (! assembler_options)
-    assembler_options
-      = (char **) xmalloc (n_assembler_options * sizeof (char *));
+    assembler_options = XNEWVEC (char *, n_assembler_options);
   else
-    assembler_options
-      = (char **) xrealloc (assembler_options,
-                           n_assembler_options * sizeof (char *));
+    assembler_options = XRESIZEVEC (char *, assembler_options,
+                                   n_assembler_options);
 
   assembler_options [n_assembler_options - 1] = save_string (option, len);
 }
 
 static void
-add_linker_option (option, len)
-     const char *option;
-     int len;
+add_linker_option (const char *option, int len)
 {
   n_linker_options++;
 
   if (! linker_options)
-    linker_options
-      = (char **) xmalloc (n_linker_options * sizeof (char *));
+    linker_options = XNEWVEC (char *, n_linker_options);
   else
-    linker_options
-      = (char **) xrealloc (linker_options,
-                           n_linker_options * sizeof (char *));
+    linker_options = XRESIZEVEC (char *, linker_options, n_linker_options);  
 
   linker_options [n_linker_options - 1] = save_string (option, len);
 }
@@ -3179,24 +3334,21 @@ add_linker_option (option, len)
    Store its length in `n_switches'.  */
 
 static void
-process_command (argc, argv)
-     int argc;
-     const char *const *argv;
+process_command (int argc, const char **argv)
 {
   int i;
   const char *temp;
   char *temp1;
   const char *spec_lang = 0;
   int last_language_n_infiles;
-  int have_c = 0;
-  int have_o = 0;
   int lang_n_infiles = 0;
 #ifdef MODIFY_TARGET_NAME
   int is_modify_target_name;
-  int j;
+  unsigned int j;
 #endif
+  const char *tooldir_prefix;
 
-  GET_ENV_PATH_LIST (gcc_exec_prefix, "GCC_EXEC_PREFIX");
+  GET_ENVIRONMENT (gcc_exec_prefix, "GCC_EXEC_PREFIX");
 
   n_switches = 0;
   n_infiles = 0;
@@ -3215,46 +3367,146 @@ process_command (argc, argv)
        }
     }
 
+  /* If there is a -V or -b option (or both), process it now, before
+     trying to interpret the rest of the command line.
+     Use heuristic that all configuration names must have at least
+     one dash '-'. This allows us to pass options starting with -b.  */
+  if (argc > 1 && argv[1][0] == '-'
+      && (argv[1][1] == 'V'
+         || (argv[1][1] == 'b'
+             && (argv[1][2] == '\0'
+                 || NULL != strchr (argv[1] + 2, '-')))))
+    {
+      const char *new_version = DEFAULT_TARGET_VERSION;
+      const char *new_machine = DEFAULT_TARGET_MACHINE;
+      const char *progname = argv[0];
+      char **new_argv;
+      char *new_argv0;
+      int baselen;
+      int status = 0;
+      int err = 0;
+      const char *errmsg;
+
+      while (argc > 1 && argv[1][0] == '-'
+            && (argv[1][1] == 'V'
+                || (argv[1][1] == 'b'
+                    && (argv[1][2] == '\0'
+                        || NULL != strchr (argv[1] + 2, '-')))))
+       {
+         char opt = argv[1][1];
+         const char *arg;
+         if (argv[1][2] != '\0')
+           {
+             arg = argv[1] + 2;
+             argc -= 1;
+             argv += 1;
+           }
+         else if (argc > 2)
+           {
+             arg = argv[2];
+             argc -= 2;
+             argv += 2;
+           }
+         else
+           fatal ("'-%c' option must have argument", opt);
+         if (opt == 'V')
+           new_version = arg;
+         else
+           new_machine = arg;
+       }
+
+      for (baselen = strlen (progname); baselen > 0; baselen--)
+       if (IS_DIR_SEPARATOR (progname[baselen-1]))
+         break;
+      new_argv0 = XDUPVAR (char, progname, baselen,
+                          baselen + concat_length (new_version, new_machine,
+                                                   "-gcc-", NULL) + 1);
+      strcpy (new_argv0 + baselen, new_machine);
+      strcat (new_argv0, "-gcc-");
+      strcat (new_argv0, new_version);
+
+      new_argv = XDUPVEC (char *, argv, argc + 1);
+      new_argv[0] = new_argv0;
+
+      errmsg = pex_one (PEX_SEARCH, new_argv0, new_argv, progname, NULL,
+                       NULL, &status, &err);
+
+      if (errmsg)
+       {
+         if (err == 0)
+           fatal ("couldn't run '%s': %s", new_argv0, errmsg);
+         else
+           fatal ("couldn't run '%s': %s: %s", new_argv0, errmsg,
+                   xstrerror (err));
+        }
+      exit (status);
+    }
+
   /* Set up the default search paths.  If there is no GCC_EXEC_PREFIX,
      see if we can create it from the pathname specified in argv[0].  */
 
+  gcc_libexec_prefix = standard_libexec_prefix;
 #ifndef VMS
   /* FIXME: make_relative_prefix doesn't yet work for VMS.  */
   if (!gcc_exec_prefix)
     {
       gcc_exec_prefix = make_relative_prefix (argv[0], standard_bindir_prefix,
                                              standard_exec_prefix);
+      gcc_libexec_prefix = make_relative_prefix (argv[0],
+                                                standard_bindir_prefix,
+                                                standard_libexec_prefix);
       if (gcc_exec_prefix)
-       putenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
+       xputenv (concat ("GCC_EXEC_PREFIX=", gcc_exec_prefix, NULL));
     }
+  else
+    {
+      /* make_relative_prefix requires a program name, but
+        GCC_EXEC_PREFIX is typically a directory name with a trailing
+        / (which is ignored by make_relative_prefix), so append a
+        program name.  */
+      char *tmp_prefix = concat (gcc_exec_prefix, "gcc", NULL);
+      gcc_libexec_prefix = make_relative_prefix (tmp_prefix,
+                                                standard_exec_prefix,
+                                                standard_libexec_prefix);
+
+      /* The path is unrelocated, so fallback to the original setting.  */
+      if (!gcc_libexec_prefix)
+       gcc_libexec_prefix = standard_libexec_prefix;
+
+      free (tmp_prefix);
+    }
+#else
 #endif
+  /* From this point onward, gcc_exec_prefix is non-null if the toolchain
+     is relocated. The toolchain was either relocated using GCC_EXEC_PREFIX
+     or an automatically created GCC_EXEC_PREFIX from argv[0].  */
 
   if (gcc_exec_prefix)
     {
       int len = strlen (gcc_exec_prefix);
 
-      if (len > (int) sizeof ("/lib/gcc-lib/") - 1
+      if (len > (int) sizeof ("/lib/gcc/") - 1
          && (IS_DIR_SEPARATOR (gcc_exec_prefix[len-1])))
        {
-         temp = gcc_exec_prefix + len - sizeof ("/lib/gcc-lib/") + 1;
+         temp = gcc_exec_prefix + len - sizeof ("/lib/gcc/") + 1;
          if (IS_DIR_SEPARATOR (*temp)
              && strncmp (temp + 1, "lib", 3) == 0
              && IS_DIR_SEPARATOR (temp[4])
-             && strncmp (temp + 5, "gcc-lib", 7) == 0)
-           len -= sizeof ("/lib/gcc-lib/") - 1;
+             && strncmp (temp + 5, "gcc", 3) == 0)
+           len -= sizeof ("/lib/gcc/") - 1;
        }
 
       set_std_prefix (gcc_exec_prefix, len);
-      add_prefix (&exec_prefixes, gcc_exec_prefix, "GCC",
-                 PREFIX_PRIORITY_LAST, 0, NULL, 0);
+      add_prefix (&exec_prefixes, gcc_libexec_prefix, "GCC",
+                 PREFIX_PRIORITY_LAST, 0, 0);
       add_prefix (&startfile_prefixes, gcc_exec_prefix, "GCC",
-                 PREFIX_PRIORITY_LAST, 0, NULL, 0);
+                 PREFIX_PRIORITY_LAST, 0, 0);
     }
 
   /* COMPILER_PATH and LIBRARY_PATH have values
      that are lists of directory names with colons.  */
 
-  GET_ENV_PATH_LIST (temp, "COMPILER_PATH");
+  GET_ENVIRONMENT (temp, "COMPILER_PATH");
   if (temp)
     {
       const char *startp, *endp;
@@ -3276,10 +3528,9 @@ process_command (argc, argv)
              else
                nstore[endp - startp] = 0;
              add_prefix (&exec_prefixes, nstore, 0,
-                         PREFIX_PRIORITY_LAST, 0, NULL, 0);
-             add_prefix (&include_prefixes,
-                         concat (nstore, "include", NULL),
-                         0, PREFIX_PRIORITY_LAST, 0, NULL, 0);
+                         PREFIX_PRIORITY_LAST, 0, 0);
+             add_prefix (&include_prefixes, nstore, 0,
+                         PREFIX_PRIORITY_LAST, 0, 0);
              if (*endp == 0)
                break;
              endp = startp = endp + 1;
@@ -3289,7 +3540,7 @@ process_command (argc, argv)
        }
     }
 
-  GET_ENV_PATH_LIST (temp, LIBRARY_PATH_ENV);
+  GET_ENVIRONMENT (temp, LIBRARY_PATH_ENV);
   if (temp && *cross_compile == '0')
     {
       const char *startp, *endp;
@@ -3311,7 +3562,7 @@ process_command (argc, argv)
              else
                nstore[endp - startp] = 0;
              add_prefix (&startfile_prefixes, nstore, NULL,
-                         PREFIX_PRIORITY_LAST, 0, NULL, 1);
+                         PREFIX_PRIORITY_LAST, 0, 1);
              if (*endp == 0)
                break;
              endp = startp = endp + 1;
@@ -3322,7 +3573,7 @@ process_command (argc, argv)
     }
 
   /* Use LPATH like LIBRARY_PATH (for the CMU build program).  */
-  GET_ENV_PATH_LIST (temp, "LPATH");
+  GET_ENVIRONMENT (temp, "LPATH");
   if (temp && *cross_compile == '0')
     {
       const char *startp, *endp;
@@ -3344,7 +3595,7 @@ process_command (argc, argv)
              else
                nstore[endp - startp] = 0;
              add_prefix (&startfile_prefixes, nstore, NULL,
-                         PREFIX_PRIORITY_LAST, 0, NULL, 1);
+                         PREFIX_PRIORITY_LAST, 0, 1);
              if (*endp == 0)
                break;
              endp = startp = endp + 1;
@@ -3355,14 +3606,13 @@ process_command (argc, argv)
     }
 
   /* Convert new-style -- options to old-style.  */
-  translate_options (&argc, &argv);
+  translate_options (&argc, (const char *const **) &argv);
 
   /* Do language-specific adjustment/addition of flags.  */
-  lang_specific_driver (&argc, &argv, &added_libraries);
+  lang_specific_driver (&argc, (const char *const **) &argv, &added_libraries);
 
   /* Scan argv twice.  Here, the first time, just count how many switches
      there will be in their vector, and how many input files in theirs.
-     Also parse any switches that determine the configuration name, such as -b.
      Here we also parse the switches that cc itself uses (e.g. -v).  */
 
   for (i = 1; i < argc; i++)
@@ -3390,9 +3640,10 @@ process_command (argc, argv)
       else if (strcmp (argv[i], "-fversion") == 0)
        {
          /* translate_options () has turned --version into -fversion.  */
-         printf (_("%s (GCC) %s\n"), programname, version_string);
-         fputs (_("Copyright (C) 2002 Free Software Foundation, Inc.\n"),
-                stdout);
+         printf (_("%s %s%s\n"), programname, pkgversion_string,
+                 version_string);
+         printf ("Copyright %s 2010 Free Software Foundation, Inc.\n",
+                 _("(C)"));
          fputs (_("This is free software; see the source for copying conditions.  There is NO\n\
 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"),
                 stdout);
@@ -3413,21 +3664,30 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          add_assembler_option ("--help", 6);
          add_linker_option ("--help", 6);
        }
+      else if (strncmp (argv[i], "-fhelp=", 7) == 0)
+       {
+         /* translate_options () has turned --help into -fhelp.  */
+         print_subprocess_help = 2;
+
+         /* We will be passing a dummy file on to the sub-processes.  */
+         n_infiles++;
+         n_switches++;
+       }
       else if (strcmp (argv[i], "-ftarget-help") == 0)
-        {
-          /* translate_options() has turned --target-help into -ftarget-help.  */
-          target_help_flag = 1;
+       {
+         /* translate_options() has turned --target-help into -ftarget-help.  */
+         print_subprocess_help = 1;
 
-          /* We will be passing a dummy file on to the sub-processes.  */
-          n_infiles++;
-          n_switches++;
+         /* We will be passing a dummy file on to the sub-processes.  */
+         n_infiles++;
+         n_switches++;
 
          /* CPP driver cannot obtain switch from cc1_options.  */
          if (is_cpp_driver)
            add_preprocessor_option ("--target-help", 13);
-          add_assembler_option ("--target-help", 13);
-          add_linker_option ("--target-help", 13);
-        }
+         add_assembler_option ("--target-help", 13);
+         add_linker_option ("--target-help", 13);
+       }
       else if (! strcmp (argv[i], "-pass-exit-codes"))
        {
          pass_exit_codes = 1;
@@ -3445,8 +3705,12 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        print_multi_lib = 1;
       else if (! strcmp (argv[i], "-print-multi-directory"))
        print_multi_directory = 1;
+      else if (! strcmp (argv[i], "-print-sysroot"))
+       print_sysroot = 1;
       else if (! strcmp (argv[i], "-print-multi-os-directory"))
        print_multi_os_directory = 1;
+      else if (! strcmp (argv[i], "-print-sysroot-headers-suffix"))
+       print_sysroot_headers_suffix = 1;
       else if (! strncmp (argv[i], "-Wa,", 4))
        {
          int prev, j;
@@ -3494,15 +3758,29 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
       else if (strcmp (argv[i], "-Xlinker") == 0)
        {
          if (i + 1 == argc)
-           fatal ("argument to `-Xlinker' is missing");
+           fatal ("argument to '-Xlinker' is missing");
 
          n_infiles++;
          i++;
        }
+      else if (strcmp (argv[i], "-Xpreprocessor") == 0)
+       {
+         if (i + 1 == argc)
+           fatal ("argument to '-Xpreprocessor' is missing");
+
+         add_preprocessor_option (argv[i+1], strlen (argv[i+1]));
+       }
+      else if (strcmp (argv[i], "-Xassembler") == 0)
+       {
+         if (i + 1 == argc)
+           fatal ("argument to '-Xassembler' is missing");
+
+         add_assembler_option (argv[i+1], strlen (argv[i+1]));
+       }
       else if (strcmp (argv[i], "-l") == 0)
        {
          if (i + 1 == argc)
-           fatal ("argument to `-l' is missing");
+           fatal ("argument to '-l' is missing");
 
          n_infiles++;
          i++;
@@ -3514,12 +3792,16 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          save_temps_flag = 1;
          n_switches++;
        }
+      else if (strcmp (argv[i], "-combine") == 0)
+       {
+         combine_flag = 1;
+         n_switches++;
+       }
       else if (strcmp (argv[i], "-specs") == 0)
        {
-         struct user_specs *user = (struct user_specs *)
-           xmalloc (sizeof (struct user_specs));
+         struct user_specs *user = XNEW (struct user_specs);
          if (++i >= argc)
-           fatal ("argument to `-specs' is missing");
+           fatal ("argument to '-specs' is missing");
 
          user->next = (struct user_specs *) 0;
          user->filename = argv[i];
@@ -3531,10 +3813,9 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        }
       else if (strncmp (argv[i], "-specs=", 7) == 0)
        {
-         struct user_specs *user = (struct user_specs *)
-           xmalloc (sizeof (struct user_specs));
+         struct user_specs *user = XNEW (struct user_specs);
          if (strlen (argv[i]) == 7)
-           fatal ("argument to `-specs=' is missing");
+           fatal ("argument to '-specs=' is missing");
 
          user->next = (struct user_specs *) 0;
          user->filename = argv[i] + 7;
@@ -3546,6 +3827,22 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        }
       else if (strcmp (argv[i], "-time") == 0)
        report_times = 1;
+      else if (strcmp (argv[i], "-pipe") == 0)
+       {
+         /* -pipe has to go into the switches array as well as
+            setting a flag.  */
+         use_pipes = 1;
+         n_switches++;
+       }
+      else if (strcmp (argv[i], "-wrapper") == 0)
+        {
+         if (++i >= argc)
+           fatal ("argument to '-wrapper' is missing");
+
+          wrapper_string = argv[i];
+         n_switches++;
+         n_switches++;
+        }
       else if (strcmp (argv[i], "-###") == 0)
        {
          /* This is similar to -v except that there is no execution
@@ -3563,15 +3860,12 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          switch (c)
            {
            case 'b':
-             n_switches++;
-             if (p[1] == 0 && i + 1 == argc)
-               fatal ("argument to `-b' is missing");
-             if (p[1] == 0)
-               spec_machine = argv[++i];
-             else
-               spec_machine = p + 1;
+             if (p[1] && NULL == strchr (argv[i] + 2, '-'))
+               goto normal_switch;
 
-             warn_std_ptr = &warn_std;
+             /* Fall through.  */
+           case 'V':
+             fatal ("'-%c' must come at the start of the command line", c);
              break;
 
            case 'B':
@@ -3580,7 +3874,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
                int len;
 
                if (p[1] == 0 && i + 1 == argc)
-                 fatal ("argument to `-B' is missing");
+                 fatal ("argument to '-B' is missing");
                if (p[1] == 0)
                  value = argv[++i];
                else
@@ -3596,44 +3890,21 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
                   if appending a directory separator actually makes a
                   valid directory name.  */
                if (! IS_DIR_SEPARATOR (value [len - 1])
-                   && is_directory (value, "", 0))
+                   && is_directory (value, false))
                  {
-                   char *tmp = xmalloc (len + 2);
+                   char *tmp = XNEWVEC (char, len + 2);
                    strcpy (tmp, value);
                    tmp[len] = DIR_SEPARATOR;
                    tmp[++ len] = 0;
                    value = tmp;
                  }
-               
-               /* As a kludge, if the arg is "[foo/]stageN/", just
-                  add "[foo/]include" to the include prefix.  */
-               if ((len == 7
-                    || (len > 7
-                        && (IS_DIR_SEPARATOR (value[len - 8]))))
-                   && strncmp (value + len - 7, "stage", 5) == 0
-                   && ISDIGIT (value[len - 2])
-                   && (IS_DIR_SEPARATOR (value[len - 1])))
-                 {
-                   if (len == 7)
-                     add_prefix (&include_prefixes, "include", NULL,
-                                 PREFIX_PRIORITY_B_OPT, 0, NULL, 0);
-                   else
-                     {
-                       char * string = xmalloc (len + 1);
-
-                       strncpy (string, value, len - 7);
-                       strcpy (string + len - 7, "include");
-                       add_prefix (&include_prefixes, string, NULL,
-                                   PREFIX_PRIORITY_B_OPT, 0, NULL, 0);
-                     }
-                 }
 
                add_prefix (&exec_prefixes, value, NULL,
-                           PREFIX_PRIORITY_B_OPT, 0, &warn_B, 0);
+                           PREFIX_PRIORITY_B_OPT, 0, 0);
                add_prefix (&startfile_prefixes, value, NULL,
-                           PREFIX_PRIORITY_B_OPT, 0, &warn_B, 0);
-               add_prefix (&include_prefixes, concat (value, "include", NULL),
-                           NULL, PREFIX_PRIORITY_B_OPT, 0, NULL, 0);
+                           PREFIX_PRIORITY_B_OPT, 0, 0);
+               add_prefix (&include_prefixes, value, NULL,
+                           PREFIX_PRIORITY_B_OPT, 0, 0);
                n_switches++;
              }
              break;
@@ -3647,48 +3918,6 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
              verbose_flag++;
              break;
 
-           case 'V':
-             n_switches++;
-             if (p[1] == 0 && i + 1 == argc)
-               fatal ("argument to `-V' is missing");
-             if (p[1] == 0)
-               spec_version = argv[++i];
-             else
-               spec_version = p + 1;
-             compiler_version = spec_version;
-             warn_std_ptr = &warn_std;
-
-             /* Validate the version number.  Use the same checks
-                done when inserting it into a spec.
-
-                The format of the version string is
-                ([^0-9]*-)?[0-9]+[.][0-9]+([.][0-9]+)?([- ].*)?  */
-             {
-               const char *v = compiler_version;
-
-               /* Ignore leading non-digits.  i.e. "foo-" in "foo-2.7.2".  */
-               while (! ISDIGIT (*v))
-                 v++;
-
-               if (v > compiler_version && v[-1] != '-')
-                 fatal ("invalid version number format");
-
-               /* Set V after the first period.  */
-               while (ISDIGIT (*v))
-                 v++;
-
-               if (*v != '.')
-                 fatal ("invalid version number format");
-
-               v++;
-               while (ISDIGIT (*v))
-                 v++;
-
-               if (*v != 0 && *v != ' ' && *v != '.' && *v != '-')
-                 fatal ("invalid version number format");
-             }
-             break;
-
            case 'S':
            case 'c':
              if (p[1] == 0)
@@ -3744,13 +3973,11 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
 #ifdef MODIFY_TARGET_NAME
              is_modify_target_name = 0;
 
-             for (j = 0;
-                  j < sizeof modify_target / sizeof modify_target[0]; j++)
+             for (j = 0; j < ARRAY_SIZE (modify_target); j++)
                if (! strcmp (argv[i], modify_target[j].sw))
                  {
-                   char *new_name
-                     = (char *) xmalloc (strlen (modify_target[j].str)
-                                         + strlen (spec_machine));
+                   char *new_name = XNEWVEC (char, strlen (modify_target[j].str)
+                                             + strlen (spec_machine));
                    const char *p, *r;
                    char *q;
                    int made_addition = 0;
@@ -3778,7 +4005,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
 
              if (is_modify_target_name)
                break;
-#endif               
+#endif
 
              n_switches++;
 
@@ -3795,77 +4022,91 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        }
     }
 
-  if (have_c && have_o && lang_n_infiles > 1)
-    fatal ("cannot specify -o with -c or -S and multiple compilations");
+  if (save_temps_flag && use_pipes)
+    {
+      /* -save-temps overrides -pipe, so that temp files are produced */
+      if (save_temps_flag)
+       error ("warning: -pipe ignored because -save-temps specified");
+      use_pipes = 0;
+    }
 
-  /* Set up the search paths before we go looking for config files.  */
+  /* Set up the search paths.  We add directories that we expect to
+     contain GNU Toolchain components before directories specified by
+     the machine description so that we will find GNU components (like
+     the GNU assembler) before those of the host system.  */ 
 
-  /* These come before the md prefixes so that we will find gcc's subcommands
-     (such as cpp) rather than those of the host system.  */
-  /* Use 2 as fourth arg meaning try just the machine as a suffix,
-     as well as trying the machine and the version.  */
+  /* If we don't know where the toolchain has been installed, use the
+     configured-in locations.  */
+  if (!gcc_exec_prefix)
+    {
 #ifndef OS2
-  add_prefix (&exec_prefixes, standard_exec_prefix, "GCC",
-             PREFIX_PRIORITY_LAST, 1, warn_std_ptr, 0);
-  add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
-             PREFIX_PRIORITY_LAST, 2, warn_std_ptr, 0);
-  add_prefix (&exec_prefixes, standard_exec_prefix_1, "BINUTILS",
-             PREFIX_PRIORITY_LAST, 2, warn_std_ptr, 0);
+      add_prefix (&exec_prefixes, standard_libexec_prefix, "GCC",
+                 PREFIX_PRIORITY_LAST, 1, 0);
+      add_prefix (&exec_prefixes, standard_libexec_prefix, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 2, 0);
+      add_prefix (&exec_prefixes, standard_exec_prefix, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 2, 0);
 #endif
+      add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 1, 0);
+    }
 
-  add_prefix (&startfile_prefixes, standard_exec_prefix, "BINUTILS",
-             PREFIX_PRIORITY_LAST, 1, warn_std_ptr, 0);
-  add_prefix (&startfile_prefixes, standard_exec_prefix_1, "BINUTILS",
-             PREFIX_PRIORITY_LAST, 1, warn_std_ptr, 0);
+  /* If not cross-compiling, search well-known system locations.  */
+  if (*cross_compile == '0')
+    {
+#ifndef OS2
+      add_prefix (&exec_prefixes, standard_exec_prefix_1, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 2, 0);
+      add_prefix (&exec_prefixes, standard_exec_prefix_2, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 2, 0);
+#endif
+      add_prefix (&startfile_prefixes, standard_exec_prefix_2, "BINUTILS",
+                 PREFIX_PRIORITY_LAST, 1, 0);
+    }
 
+  gcc_assert (!IS_ABSOLUTE_PATH (tooldir_base_prefix));
   tooldir_prefix = concat (tooldir_base_prefix, spec_machine,
                           dir_separator_str, NULL);
 
-  /* If tooldir is relative, base it on exec_prefixes.  A relative
-     tooldir lets us move the installed tree as a unit.
-
-     If GCC_EXEC_PREFIX is defined, then we want to add two relative
-     directories, so that we can search both the user specified directory
-     and the standard place.  */
-
-  if (!IS_ABSOLUTE_PATHNAME (tooldir_prefix))
-    {
-      if (gcc_exec_prefix)
-       {
-         char *gcc_exec_tooldir_prefix
-           = concat (gcc_exec_prefix, spec_machine, dir_separator_str,
-                     spec_version, dir_separator_str, tooldir_prefix, NULL);
-
-         add_prefix (&exec_prefixes,
-                     concat (gcc_exec_tooldir_prefix, "bin",
-                             dir_separator_str, NULL),
-                     NULL, PREFIX_PRIORITY_LAST, 0, NULL, 0);
-         add_prefix (&startfile_prefixes,
-                     concat (gcc_exec_tooldir_prefix, "lib",
-                             dir_separator_str, NULL),
-                     NULL, PREFIX_PRIORITY_LAST, 0, NULL, 1);
-       }
-
-      tooldir_prefix = concat (standard_exec_prefix, spec_machine,
-                              dir_separator_str, spec_version,
-                              dir_separator_str, tooldir_prefix, NULL);
-    }
+  /* Look for tools relative to the location from which the driver is
+     running, or, if that is not available, the configured prefix.  */
+  tooldir_prefix
+    = concat (gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
+             spec_machine, dir_separator_str,
+             spec_version, dir_separator_str, tooldir_prefix, NULL);
 
   add_prefix (&exec_prefixes,
              concat (tooldir_prefix, "bin", dir_separator_str, NULL),
-             "BINUTILS", PREFIX_PRIORITY_LAST, 0, NULL, 0);
+             "BINUTILS", PREFIX_PRIORITY_LAST, 0, 0);
   add_prefix (&startfile_prefixes,
              concat (tooldir_prefix, "lib", dir_separator_str, NULL),
-             "BINUTILS", PREFIX_PRIORITY_LAST, 0, NULL, 1);
+             "BINUTILS", PREFIX_PRIORITY_LAST, 0, 1);
+
+#if defined(TARGET_SYSTEM_ROOT_RELOCATABLE) && !defined(VMS)
+  /* If the normal TARGET_SYSTEM_ROOT is inside of $exec_prefix,
+     then consider it to relocate with the rest of the GCC installation
+     if GCC_EXEC_PREFIX is set.
+     ``make_relative_prefix'' is not compiled for VMS, so don't call it.  */
+  if (target_system_root && gcc_exec_prefix)
+    {
+      char *tmp_prefix = make_relative_prefix (argv[0],
+                                              standard_bindir_prefix,
+                                              target_system_root);
+      if (tmp_prefix && access_check (tmp_prefix, F_OK) == 0)
+       {
+         target_system_root = tmp_prefix;
+         target_system_root_changed = 1;
+       }
+    }
+#endif
 
   /* More prefixes are enabled in main, after we read the specs file
      and determine whether this is cross-compilation or not.  */
 
   /* Then create the space for the vectors and scan again.  */
 
-  switches = ((struct switchstr *)
-             xmalloc ((n_switches + 1) * sizeof (struct switchstr)));
-  infiles = (struct infile *) xmalloc ((n_infiles + 1) * sizeof (struct infile));
+  switches = XNEWVEC (struct switchstr, n_switches + 1);
+  infiles = XNEWVEC (struct infile, n_infiles + 1);
   n_switches = 0;
   n_infiles = 0;
   last_language_n_infiles = -1;
@@ -3880,7 +4121,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
 #ifdef MODIFY_TARGET_NAME
       is_modify_target_name = 0;
 
-      for (j = 0; j < sizeof modify_target / sizeof modify_target[0]; j++)
+      for (j = 0; j < ARRAY_SIZE (modify_target); j++)
        if (! strcmp (argv[i], modify_target[j].sw))
          is_modify_target_name = 1;
 
@@ -3906,12 +4147,17 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        ;
       else if (! strcmp (argv[i], "-print-multi-directory"))
        ;
-      else if (! strcmp (argv[i], "-print-multi-os-directory"))
+      else if (! strcmp (argv[i], "-print-sysroot"))
        ;
-      else if (! strcmp (argv[i], "-ftarget-help"))
+      else if (! strcmp (argv[i], "-print-multi-os-directory"))
        ;
-      else if (! strcmp (argv[i], "-fhelp"))
+      else if (! strcmp (argv[i], "-print-sysroot-headers-suffix"))
        ;
+      else if (! strncmp (argv[i], "--sysroot=", strlen ("--sysroot=")))
+       {
+         target_system_root = argv[i] + strlen ("--sysroot=");
+         target_system_root_changed = 1;
+       }
       else if (argv[i][0] == '+' && argv[i][1] == 'e')
        {
          /* Compensate for the +e options to the C++ front-end;
@@ -3921,7 +4167,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
             -e0 or -e1 down into the linker.  */
          switches[n_switches].part1 = &argv[i][0];
          switches[n_switches].args = 0;
-         switches[n_switches].live_cond = SWITCH_OK;
+         switches[n_switches].live_cond = 0;
          switches[n_switches].validated = 0;
          n_switches++;
        }
@@ -3947,6 +4193,12 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          infiles[n_infiles].language = "*";
          infiles[n_infiles++].name = argv[++i];
        }
+      /* Xassembler and Xpreprocessor were already handled in the first argv
+        scan, so all we need to do here is ignore them and their argument.  */
+      else if (strcmp (argv[i], "-Xassembler") == 0)
+       i++;
+      else if (strcmp (argv[i], "-Xpreprocessor") == 0)
+       i++;
       else if (strcmp (argv[i], "-l") == 0)
        { /* POSIX allows separation of -l and the lib arg;
             canonicalize by concatenating -l with its arg */
@@ -3958,23 +4210,14 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          infiles[n_infiles].language = "*";
          infiles[n_infiles++].name = argv[i];
        }
+      else if (strcmp (argv[i], "-wrapper") == 0)
+        i++;
       else if (strcmp (argv[i], "-specs") == 0)
        i++;
       else if (strncmp (argv[i], "-specs=", 7) == 0)
        ;
       else if (strcmp (argv[i], "-time") == 0)
        ;
-      else if ((save_temps_flag || report_times)
-              && strcmp (argv[i], "-pipe") == 0)
-       {
-         /* -save-temps overrides -pipe, so that temp files are produced */
-         if (save_temps_flag)
-           error ("warning: -pipe ignored because -save-temps specified");
-          /* -time overrides -pipe because we can't get correct stats when
-            multiple children are running at once.  */
-         else if (report_times)
-           error ("warning: -pipe ignored because -time specified");
-       }
       else if (strcmp (argv[i], "-###") == 0)
        ;
       else if (argv[i][0] == '-' && argv[i][1] != 0)
@@ -3985,7 +4228,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          if (c == 'x')
            {
              if (p[1] == 0 && i + 1 == argc)
-               fatal ("argument to `-x' is missing");
+               fatal ("argument to '-x' is missing");
              if (p[1] == 0)
                spec_lang = argv[++i];
              else
@@ -4013,9 +4256,9 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
                  n_args = SWITCH_TAKES_ARG (c) - (p[1] != 0);
                }
              if (i + n_args >= argc)
-               fatal ("argument to `-%s' is missing", p);
+               fatal ("argument to '-%s' is missing", p);
              switches[n_switches].args
-               = (const char **) xmalloc ((n_args + 1) * sizeof(const char *));
+               = XNEWVEC (const char *, n_args + 1);
              while (j < n_args)
                switches[n_switches].args[j++] = argv[++i];
              /* Null-terminate the vector.  */
@@ -4025,31 +4268,33 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
            {
              /* On some systems, ld cannot handle some options without
                 a space.  So split the option from its argument.  */
-             char *part1 = (char *) xmalloc (2);
+             char *part1 = XNEWVEC (char, 2);
              part1[0] = c;
              part1[1] = '\0';
 
              switches[n_switches].part1 = part1;
-             switches[n_switches].args
-               = (const char **) xmalloc (2 * sizeof (const char *));
+             switches[n_switches].args = XNEWVEC (const char *, 2);
              switches[n_switches].args[0] = xstrdup (p+1);
              switches[n_switches].args[1] = 0;
            }
          else
            switches[n_switches].args = 0;
 
-         switches[n_switches].live_cond = SWITCH_OK;
+         switches[n_switches].live_cond = 0;
          switches[n_switches].validated = 0;
          switches[n_switches].ordering = 0;
-         /* These are always valid, since gcc.c itself understands it.  */
+         /* These are always valid, since gcc.c itself understands the
+            first four and gfortranspec.c understands -static-libgfortran.  */
          if (!strcmp (p, "save-temps")
              || !strcmp (p, "static-libgcc")
-             || !strcmp (p, "shared-libgcc"))
+             || !strcmp (p, "shared-libgcc")
+             || !strcmp (p, "pipe")
+             || !strcmp (p, "static-libgfortran"))
            switches[n_switches].validated = 1;
          else
            {
              char ch = switches[n_switches].part1[0];
-             if (ch == 'V' || ch == 'b' || ch == 'B')
+             if (ch == 'B')
                switches[n_switches].validated = 1;
            }
          n_switches++;
@@ -4074,48 +4319,28 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
     }
 
   if (n_infiles == last_language_n_infiles && spec_lang != 0)
-    error ("warning: `-x %s' after last input file has no effect", spec_lang);
+    error ("warning: '-x %s' after last input file has no effect", spec_lang);
 
   /* Ensure we only invoke each subprocess once.  */
-  if (target_help_flag || print_help_list)
+  if (print_subprocess_help || print_help_list)
     {
       n_infiles = 1;
 
-      /* Create a dummy input file, so that we can pass --target-help on to
-        the various sub-processes.  */
+      /* Create a dummy input file, so that we can pass
+        the help option on to the various sub-processes.  */
       infiles[0].language = "c";
       infiles[0].name   = "help-dummy";
-
-      if (target_help_flag)
-       {
-         switches[n_switches].part1     = "--target-help";
-         switches[n_switches].args      = 0;
-         switches[n_switches].live_cond = SWITCH_OK;
-         switches[n_switches].validated = 0;
-
-         n_switches++;
-       }
-
-      if (print_help_list)
-       {
-         switches[n_switches].part1     = "--help";
-         switches[n_switches].args      = 0;
-         switches[n_switches].live_cond = SWITCH_OK;
-         switches[n_switches].validated = 0;
-
-         n_switches++;
-       }
     }
 
   switches[n_switches].part1 = 0;
   infiles[n_infiles].name = 0;
 }
 
-/* Store switches not filtered out by %{<S} in spec in COLLECT_GCC_OPTIONS
+/* Store switches not filtered out by %<S in spec in COLLECT_GCC_OPTIONS
    and place that in the environment.  */
 
 static void
-set_collect_gcc_options ()
+set_collect_gcc_options (void)
 {
   int i;
   int first_time;
@@ -4136,7 +4361,7 @@ set_collect_gcc_options ()
       first_time = FALSE;
 
       /* Ignore elided switches.  */
-      if (switches[i].live_cond == SWITCH_IGNORE)
+      if ((switches[i].live_cond & SWITCH_IGNORE) != 0)
        continue;
 
       obstack_grow (&collect_obstack, "'-", 2);
@@ -4165,7 +4390,7 @@ set_collect_gcc_options ()
        }
     }
   obstack_grow (&collect_obstack, "\0", 1);
-  putenv (obstack_finish (&collect_obstack));
+  xputenv (XOBFINISH (&collect_obstack, char *));
 }
 \f
 /* Process a spec string, accumulating and running commands.  */
@@ -4177,14 +4402,16 @@ set_collect_gcc_options ()
    sans all directory names, and basename_length is the number
    of characters starting there excluding the suffix .c or whatever.  */
 
-const char *input_filename;
+static const char *input_filename;
 static int input_file_number;
 size_t input_filename_length;
 static int basename_length;
 static int suffixed_basename_length;
 static const char *input_basename;
 static const char *input_suffix;
+#ifndef HOST_LACKS_INODE_NUMBERS
 static struct stat input_stat;
+#endif
 static int input_stat_set;
 
 /* The compiler used to process the current input file.  */
@@ -4216,24 +4443,81 @@ static int input_from_pipe;
    arguments.  */
 static const char *suffix_subst;
 
+/* If there is an argument being accumulated, terminate it and store it.  */
+
+static void
+end_going_arg (void)
+{
+  if (arg_going)
+    {
+      const char *string;
+
+      obstack_1grow (&obstack, 0);
+      string = XOBFINISH (&obstack, const char *);
+      if (this_is_library_file)
+       string = find_file (string);
+      store_arg (string, delete_this_arg, this_is_output_file);
+      if (this_is_output_file)
+       outfiles[input_file_number] = string;
+      arg_going = 0;
+    }
+}
+
+
+/* Parse the WRAPPER string which is a comma separated list of the command line
+   and insert them into the beginning of argbuf.  */
+
+static void
+insert_wrapper (const char *wrapper)
+{
+  int n = 0;
+  int i;
+  char *buf = xstrdup (wrapper);
+  char *p = buf;
+
+  do
+    {
+      n++;
+      while (*p == ',')
+        p++;
+    }
+  while ((p = strchr (p, ',')) != NULL);
+
+  if (argbuf_index + n >= argbuf_length)
+    {
+      argbuf_length = argbuf_length * 2;
+      while (argbuf_length < argbuf_index + n)
+       argbuf_length *= 2;
+      argbuf = XRESIZEVEC (const char *, argbuf, argbuf_length);
+    }
+  for (i = argbuf_index - 1; i >= 0; i--)
+    argbuf[i + n] = argbuf[i];
+
+  i = 0;
+  p = buf;
+  do
+    {
+      while (*p == ',')
+        {
+          *p = 0;
+          p++;
+        }
+      argbuf[i++] = p;
+    }
+  while ((p = strchr (p, ',')) != NULL);
+  gcc_assert (i == n);
+  argbuf_index += n;
+}
+
 /* Process the spec SPEC and run the commands specified therein.
    Returns 0 if the spec is successfully processed; -1 if failed.  */
 
 int
-do_spec (spec)
-     const char *spec;
+do_spec (const char *spec)
 {
   int value;
 
-  clear_args ();
-  arg_going = 0;
-  delete_this_arg = 0;
-  this_is_output_file = 0;
-  this_is_library_file = 0;
-  input_from_pipe = 0;
-  suffix_subst = NULL;
-
-  value = do_spec_1 (spec, 0, NULL);
+  value = do_spec_2 (spec);
 
   /* Force out any unfinished command.
      If -pipe, this forces out the last command if it ended in `|'.  */
@@ -4251,6 +4535,163 @@ do_spec (spec)
   return value;
 }
 
+static int
+do_spec_2 (const char *spec)
+{
+  int result;
+
+  clear_args ();
+  arg_going = 0;
+  delete_this_arg = 0;
+  this_is_output_file = 0;
+  this_is_library_file = 0;
+  input_from_pipe = 0;
+  suffix_subst = NULL;
+
+  result = do_spec_1 (spec, 0, NULL);
+
+  end_going_arg ();
+
+  return result;
+}
+
+
+/* Process the given spec string and add any new options to the end
+   of the switches/n_switches array.  */
+
+static void
+do_option_spec (const char *name, const char *spec)
+{
+  unsigned int i, value_count, value_len;
+  const char *p, *q, *value;
+  char *tmp_spec, *tmp_spec_p;
+
+  if (configure_default_options[0].name == NULL)
+    return;
+
+  for (i = 0; i < ARRAY_SIZE (configure_default_options); i++)
+    if (strcmp (configure_default_options[i].name, name) == 0)
+      break;
+  if (i == ARRAY_SIZE (configure_default_options))
+    return;
+
+  value = configure_default_options[i].value;
+  value_len = strlen (value);
+
+  /* Compute the size of the final spec.  */
+  value_count = 0;
+  p = spec;
+  while ((p = strstr (p, "%(VALUE)")) != NULL)
+    {
+      p ++;
+      value_count ++;
+    }
+
+  /* Replace each %(VALUE) by the specified value.  */
+  tmp_spec = (char *) alloca (strlen (spec) + 1
+                    + value_count * (value_len - strlen ("%(VALUE)")));
+  tmp_spec_p = tmp_spec;
+  q = spec;
+  while ((p = strstr (q, "%(VALUE)")) != NULL)
+    {
+      memcpy (tmp_spec_p, q, p - q);
+      tmp_spec_p = tmp_spec_p + (p - q);
+      memcpy (tmp_spec_p, value, value_len);
+      tmp_spec_p += value_len;
+      q = p + strlen ("%(VALUE)");
+    }
+  strcpy (tmp_spec_p, q);
+
+  do_self_spec (tmp_spec);
+}
+
+/* Process the given spec string and add any new options to the end
+   of the switches/n_switches array.  */
+
+static void
+do_self_spec (const char *spec)
+{
+  do_spec_2 (spec);
+  do_spec_1 (" ", 0, NULL);
+
+  if (argbuf_index > 0)
+    {
+      int i, first;
+
+      first = n_switches;
+      n_switches += argbuf_index;
+      switches = XRESIZEVEC (struct switchstr, switches, n_switches + 1);
+
+      switches[n_switches] = switches[first];
+      for (i = 0; i < argbuf_index; i++)
+       {
+         struct switchstr *sw;
+
+         /* Each switch should start with '-'.  */
+         if (argbuf[i][0] != '-')
+           fatal ("switch '%s' does not start with '-'", argbuf[i]);
+
+         sw = &switches[i + first];
+         sw->part1 = &argbuf[i][1];
+         sw->args = 0;
+         sw->live_cond = 0;
+         sw->validated = 0;
+         sw->ordering = 0;
+       }
+    }
+}
+
+/* Callback for processing %D and %I specs.  */
+
+struct spec_path_info {
+  const char *option;
+  const char *append;
+  size_t append_len;
+  bool omit_relative;
+  bool separate_options;
+};
+
+static void *
+spec_path (char *path, void *data)
+{
+  struct spec_path_info *info = (struct spec_path_info *) data;
+  size_t len = 0;
+  char save = 0;
+
+  if (info->omit_relative && !IS_ABSOLUTE_PATH (path))
+    return NULL;
+
+  if (info->append_len != 0)
+    {
+      len = strlen (path);
+      memcpy (path + len, info->append, info->append_len + 1);
+    }
+
+  if (!is_directory (path, true))
+    return NULL;
+
+  do_spec_1 (info->option, 1, NULL);
+  if (info->separate_options)
+    do_spec_1 (" ", 0, NULL);
+
+  if (info->append_len == 0)
+    {
+      len = strlen (path);
+      save = path[len - 1];
+      if (IS_DIR_SEPARATOR (path[len - 1]))
+       path[len - 1] = '\0';
+    }
+
+  do_spec_1 (path, 1, NULL);
+  do_spec_1 (" ", 0, NULL);
+
+  /* Must not damage the original path.  */
+  if (info->append_len == 0)
+    path[len - 1] = save;
+
+  return NULL;
+}
+
 /* Process the sub-spec SPEC as a portion of a larger spec.
    This is like processing a whole spec except that we do
    not initialize at the beginning and we do not supply a
@@ -4264,15 +4705,11 @@ do_spec (spec)
    and the command on that line reported an error.  */
 
 static int
-do_spec_1 (spec, inswitch, soft_matched_part)
-     const char *spec;
-     int inswitch;
-     const char *soft_matched_part;
+do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
 {
   const char *p = spec;
   int c;
   int i;
-  const char *string;
   int value;
 
   while ((c = *p++))
@@ -4281,33 +4718,16 @@ do_spec_1 (spec, inswitch, soft_matched_part)
     switch (inswitch ? 'a' : c)
       {
       case '\n':
-       /* End of line: finish any pending argument,
-          then run the pending command if one has been started.  */
-       if (arg_going)
-         {
-           obstack_1grow (&obstack, 0);
-           string = obstack_finish (&obstack);
-           if (this_is_library_file)
-             string = find_file (string);
-           store_arg (string, delete_this_arg, this_is_output_file);
-           if (this_is_output_file)
-             outfiles[input_file_number] = string;
-         }
-       arg_going = 0;
+       end_going_arg ();
 
        if (argbuf_index > 0 && !strcmp (argbuf[argbuf_index - 1], "|"))
          {
-           for (i = 0; i < n_switches; i++)
-             if (!strcmp (switches[i].part1, "pipe"))
-               break;
-
            /* A `|' before the newline means use a pipe here,
               but only if -pipe was specified.
               Otherwise, execute now and don't pass the `|' as an arg.  */
-           if (i < n_switches)
+           if (use_pipes)
              {
                input_from_pipe = 1;
-               switches[i].validated = 1;
                break;
              }
            else
@@ -4332,17 +4752,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
        break;
 
       case '|':
-       /* End any pending argument.  */
-       if (arg_going)
-         {
-           obstack_1grow (&obstack, 0);
-           string = obstack_finish (&obstack);
-           if (this_is_library_file)
-             string = find_file (string);
-           store_arg (string, delete_this_arg, this_is_output_file);
-           if (this_is_output_file)
-             outfiles[input_file_number] = string;
-         }
+       end_going_arg ();
 
        /* Use pipe */
        obstack_1grow (&obstack, c);
@@ -4351,19 +4761,9 @@ do_spec_1 (spec, inswitch, soft_matched_part)
 
       case '\t':
       case ' ':
-       /* Space or tab ends an argument if one is pending.  */
-       if (arg_going)
-         {
-           obstack_1grow (&obstack, 0);
-           string = obstack_finish (&obstack);
-           if (this_is_library_file)
-             string = find_file (string);
-           store_arg (string, delete_this_arg, this_is_output_file);
-           if (this_is_output_file)
-             outfiles[input_file_number] = string;
-         }
+       end_going_arg ();
+
        /* Reinitialize for a new argument.  */
-       arg_going = 0;
        delete_this_arg = 0;
        this_is_output_file = 0;
        this_is_library_file = 0;
@@ -4373,7 +4773,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
        switch (c = *p++)
          {
          case 0:
-           fatal ("invalid specification!  Bug in cc");
+           fatal ("spec '%s' invalid", spec);
 
          case 'b':
            obstack_grow (&obstack, input_basename, basename_length);
@@ -4394,111 +4794,23 @@ do_spec_1 (spec, inswitch, soft_matched_part)
             that we search for startfiles.  */
          case 'D':
            {
-             struct prefix_list *pl = startfile_prefixes.plist;
-             size_t bufsize = 100;
-             char *buffer = (char *) xmalloc (bufsize);
-             int idx;
+             struct spec_path_info info;
 
-             for (; pl; pl = pl->next)
-               {
+             info.option = "-L";
+             info.append_len = 0;
 #ifdef RELATIVE_PREFIX_NOT_LINKDIR
-                 /* Used on systems which record the specified -L dirs
-                    and use them to search for dynamic linking.  */
-                 /* Relative directories always come from -B,
-                    and it is better not to use them for searching
-                    at run time.  In particular, stage1 loses.  */
-                 if (!IS_ABSOLUTE_PATHNAME (pl->prefix))
-                   continue;
+             /* Used on systems which record the specified -L dirs
+                and use them to search for dynamic linking.
+                Relative directories always come from -B,
+                and it is better not to use them for searching
+                at run time.  In particular, stage1 loses.  */
+             info.omit_relative = true;
+#else
+             info.omit_relative = false;
 #endif
-                 /* Try subdirectory if there is one.  */
-                 if (multilib_dir != NULL
-                     || (pl->os_multilib && multilib_os_dir != NULL))
-                   {
-                     const char *multi_dir;
+             info.separate_options = false;
 
-                     multi_dir = pl->os_multilib ? multilib_os_dir
-                                                 : multilib_dir;
-                     if (machine_suffix && multilib_dir)
-                       {
-                         if (strlen (pl->prefix) + strlen (machine_suffix)
-                             >= bufsize)
-                           bufsize = (strlen (pl->prefix)
-                                      + strlen (machine_suffix)) * 2 + 1;
-                         buffer = (char *) xrealloc (buffer, bufsize);
-                         strcpy (buffer, pl->prefix);
-                         strcat (buffer, machine_suffix);
-                         if (is_directory (buffer, multilib_dir, 1))
-                           {
-                             do_spec_1 ("-L", 0, NULL);
-#ifdef SPACE_AFTER_L_OPTION
-                             do_spec_1 (" ", 0, NULL);
-#endif
-                             do_spec_1 (buffer, 1, NULL);
-                             do_spec_1 (multilib_dir, 1, NULL);
-                             /* Make this a separate argument.  */
-                             do_spec_1 (" ", 0, NULL);
-                           }
-                       }
-                     if (!pl->require_machine_suffix)
-                       {
-                         if (is_directory (pl->prefix, multi_dir, 1))
-                           {
-                             do_spec_1 ("-L", 0, NULL);
-#ifdef SPACE_AFTER_L_OPTION
-                             do_spec_1 (" ", 0, NULL);
-#endif
-                             do_spec_1 (pl->prefix, 1, NULL);
-                             do_spec_1 (multi_dir, 1, NULL);
-                             /* Make this a separate argument.  */
-                             do_spec_1 (" ", 0, NULL);
-                           }
-                       }
-                   }
-                 if (machine_suffix)
-                   {
-                     if (is_directory (pl->prefix, machine_suffix, 1))
-                       {
-                         do_spec_1 ("-L", 0, NULL);
-#ifdef SPACE_AFTER_L_OPTION
-                         do_spec_1 (" ", 0, NULL);
-#endif
-                         do_spec_1 (pl->prefix, 1, NULL);
-                         /* Remove slash from machine_suffix.  */
-                         if (strlen (machine_suffix) >= bufsize)
-                           bufsize = strlen (machine_suffix) * 2 + 1;
-                         buffer = (char *) xrealloc (buffer, bufsize);
-                         strcpy (buffer, machine_suffix);
-                         idx = strlen (buffer);
-                         if (IS_DIR_SEPARATOR (buffer[idx - 1]))
-                           buffer[idx - 1] = 0;
-                         do_spec_1 (buffer, 1, NULL);
-                         /* Make this a separate argument.  */
-                         do_spec_1 (" ", 0, NULL);
-                       }
-                   }
-                 if (!pl->require_machine_suffix)
-                   {
-                     if (is_directory (pl->prefix, "", 1))
-                       {
-                         do_spec_1 ("-L", 0, NULL);
-#ifdef SPACE_AFTER_L_OPTION
-                         do_spec_1 (" ", 0, NULL);
-#endif
-                         /* Remove slash from pl->prefix.  */
-                         if (strlen (pl->prefix) >= bufsize)
-                           bufsize = strlen (pl->prefix) * 2 + 1;
-                         buffer = (char *) xrealloc (buffer, bufsize);
-                         strcpy (buffer, pl->prefix);
-                         idx = strlen (buffer);
-                         if (IS_DIR_SEPARATOR (buffer[idx - 1]))
-                           buffer[idx - 1] = 0;
-                         do_spec_1 (buffer, 1, NULL);
-                         /* Make this a separate argument.  */
-                         do_spec_1 (" ", 0, NULL);
-                       }
-                   }
-               }
-             free (buffer);
+             for_each_path (&startfile_prefixes, true, 0, spec_path, &info);
            }
            break;
 
@@ -4518,7 +4830,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
            }
            break;
          case 'n':
-           /* %nfoo means report an notice with `foo' on stderr.  */
+           /* %nfoo means report a notice with `foo' on stderr.  */
            {
              const char *q = p;
              char *buf;
@@ -4537,10 +4849,10 @@ do_spec_1 (spec, inswitch, soft_matched_part)
            {
              struct stat st;
 
-             /* If save_temps_flag is off, and the HOST_BIT_BUCKET is defined,
-                and it is not a directory, and it is writable, use it.
-                Otherwise, fall through and treat this like any other
-                temporary file.  */
+             /* If save_temps_flag is off, and the HOST_BIT_BUCKET is
+                defined, and it is not a directory, and it is
+                writable, use it.  Otherwise, treat this like any
+                other temporary file.  */
 
              if ((!save_temps_flag)
                  && (stat (HOST_BIT_BUCKET, &st) == 0) && (!S_ISDIR (st.st_mode))
@@ -4553,38 +4865,68 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                  break;
                }
            }
+           goto create_temp_file;
+         case '|':
+           if (use_pipes)
+             {
+               obstack_1grow (&obstack, '-');
+               delete_this_arg = 0;
+               arg_going = 1;
+
+               /* consume suffix */
+               while (*p == '.' || ISALNUM ((unsigned char) *p))
+                 p++;
+               if (p[0] == '%' && p[1] == 'O')
+                 p += 2;
+
+               break;
+             }
+           goto create_temp_file;
+         case 'm':
+           if (use_pipes)
+             {
+               /* consume suffix */
+               while (*p == '.' || ISALNUM ((unsigned char) *p))
+                 p++;
+               if (p[0] == '%' && p[1] == 'O')
+                 p += 2;
+
+               break;
+             }
+           goto create_temp_file;
          case 'g':
          case 'u':
          case 'U':
+         create_temp_file:
              {
                struct temp_name *t;
                int suffix_length;
                const char *suffix = p;
                char *saved_suffix = NULL;
 
-               while (*p == '.' || ISALPHA ((unsigned char) *p))
+               while (*p == '.' || ISALNUM ((unsigned char) *p))
                  p++;
                suffix_length = p - suffix;
                if (p[0] == '%' && p[1] == 'O')
                  {
                    p += 2;
                    /* We don't support extra suffix characters after %O.  */
-                   if (*p == '.' || ISALPHA ((unsigned char) *p))
-                     abort ();
+                   if (*p == '.' || ISALNUM ((unsigned char) *p))
+                     fatal ("spec '%s' has invalid '%%0%c'", spec, *p);
                    if (suffix_length == 0)
                      suffix = TARGET_OBJECT_SUFFIX;
                    else
                      {
                        saved_suffix
-                         = (char *) xmalloc (suffix_length
-                                             + strlen (TARGET_OBJECT_SUFFIX));
+                         = XNEWVEC (char, suffix_length
+                                    + strlen (TARGET_OBJECT_SUFFIX));
                        strncpy (saved_suffix, suffix, suffix_length);
                        strcpy (saved_suffix + suffix_length,
                                TARGET_OBJECT_SUFFIX);
                      }
                    suffix_length += strlen (TARGET_OBJECT_SUFFIX);
                  }
-               
+
                /* If the input_filename has the same suffix specified
                   for the %g, %u, or %U, and -save-temps is specified,
                   we could end up using that file as an intermediate
@@ -4592,42 +4934,54 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                   gcc -save-temps foo.s would clobber foo.s with the
                   output of cpp0).  So check for this condition and
                   generate a temp file as the intermediate.  */
-                  
+
                if (save_temps_flag)
                  {
+                   char *tmp;
+                   
                    temp_filename_length = basename_length + suffix_length;
-                   temp_filename = alloca (temp_filename_length + 1);
-                   strncpy ((char *) temp_filename, input_basename, basename_length);
-                   strncpy ((char *) temp_filename + basename_length, suffix,
-                            suffix_length);
-                   *((char *) temp_filename + temp_filename_length) = '\0';
+                   tmp = (char *) alloca (temp_filename_length + 1);
+                   strncpy (tmp, input_basename, basename_length);
+                   strncpy (tmp + basename_length, suffix, suffix_length);
+                   tmp[temp_filename_length] = '\0';
+                   temp_filename = tmp;
                    if (strcmp (temp_filename, input_filename) != 0)
                      {
-                       struct stat st_temp;
-                       
-                       /* Note, set_input() resets input_stat_set to 0.  */
-                       if (input_stat_set == 0)
-                         {
-                           input_stat_set = stat (input_filename, &input_stat);
-                           if (input_stat_set >= 0)
-                             input_stat_set = 1;
-                         }
-                         
-                       /* If we have the stat for the input_filename
-                          and we can do the stat for the temp_filename
-                          then the they could still refer to the same
-                          file if st_dev/st_ino's are the same.  */
-                       
+#ifndef HOST_LACKS_INODE_NUMBERS
+                       struct stat st_temp;
+
+                       /* Note, set_input() resets input_stat_set to 0.  */
+                       if (input_stat_set == 0)
+                         {
+                           input_stat_set = stat (input_filename, &input_stat);
+                           if (input_stat_set >= 0)
+                             input_stat_set = 1;
+                         }
+
+                       /* If we have the stat for the input_filename
+                          and we can do the stat for the temp_filename
+                          then the they could still refer to the same
+                          file if st_dev/st_ino's are the same.  */
                        if (input_stat_set != 1
                            || stat (temp_filename, &st_temp) < 0
                            || input_stat.st_dev != st_temp.st_dev
                            || input_stat.st_ino != st_temp.st_ino)
-                         {
+#else
+                       /* Just compare canonical pathnames.  */
+                       char* input_realname = lrealpath (input_filename);
+                       char* temp_realname = lrealpath (temp_filename);
+                       bool files_differ = strcmp (input_realname, temp_realname);
+                       free (input_realname);
+                       free (temp_realname);
+                       if (files_differ)
+#endif
+                         {
                            temp_filename = save_string (temp_filename,
                                                         temp_filename_length + 1);
                            obstack_grow (&obstack, temp_filename,
-                                                   temp_filename_length);
+                                                   temp_filename_length);
                            arg_going = 1;
+                           delete_this_arg = 0;
                            break;
                          }
                      }
@@ -4638,7 +4992,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                for (t = temp_names; t; t = t->next)
                  if (t->length == suffix_length
                      && strncmp (t->suffix, suffix, suffix_length) == 0
-                     && t->unique == (c != 'g'))
+                     && t->unique == (c == 'u' || c == 'U' || c == 'j'))
                    break;
 
                /* Make a new association if needed.  %u and %j
@@ -4647,7 +5001,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                  {
                    if (t == 0)
                      {
-                       t = (struct temp_name *) xmalloc (sizeof (struct temp_name));
+                       t = XNEW (struct temp_name);
                        t->next = temp_names;
                        temp_names = t;
                      }
@@ -4659,7 +5013,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                      }
                    else
                      t->suffix = save_string (suffix, suffix_length);
-                   t->unique = (c != 'g');
+                   t->unique = (c == 'u' || c == 'U' || c == 'j');
                    temp_filename = make_temp_file (t->suffix);
                    temp_filename_length = strlen (temp_filename);
                    t->filename = temp_filename;
@@ -4676,13 +5030,35 @@ do_spec_1 (spec, inswitch, soft_matched_part)
            break;
 
          case 'i':
-           obstack_grow (&obstack, input_filename, input_filename_length);
-           arg_going = 1;
+           if (combine_inputs)
+             {
+               for (i = 0; (int) i < n_infiles; i++)
+                 if ((!infiles[i].language) || (infiles[i].language[0] != '*'))
+                   if (infiles[i].incompiler == input_file_compiler)
+                     {
+                       store_arg (infiles[i].name, 0, 0);
+                       infiles[i].compiled = true;
+                     }
+             }
+           else
+             {
+               obstack_grow (&obstack, input_filename, input_filename_length);
+               arg_going = 1;
+             }
            break;
 
          case 'I':
            {
-             struct prefix_list *pl = include_prefixes.plist;
+             struct spec_path_info info;
+
+             if (multilib_dir)
+               {
+                 do_spec_1 ("-imultilib", 1, NULL);
+                 /* Make this a separate argument.  */
+                 do_spec_1 (" ", 0, NULL);
+                 do_spec_1 (multilib_dir, 1, NULL);
+                 do_spec_1 (" ", 0, NULL);
+               }
 
              if (gcc_exec_prefix)
                {
@@ -4693,14 +5069,34 @@ do_spec_1 (spec, inswitch, soft_matched_part)
                  do_spec_1 (" ", 0, NULL);
                }
 
-             for (; pl; pl = pl->next)
+             if (target_system_root_changed ||
+                 (target_system_root && target_sysroot_hdrs_suffix))
                {
-                 do_spec_1 ("-isystem", 1, NULL);
+                 do_spec_1 ("-isysroot", 1, NULL);
                  /* Make this a separate argument.  */
                  do_spec_1 (" ", 0, NULL);
-                 do_spec_1 (pl->prefix, 1, NULL);
+                 do_spec_1 (target_system_root, 1, NULL);
+                 if (target_sysroot_hdrs_suffix)
+                   do_spec_1 (target_sysroot_hdrs_suffix, 1, NULL);
                  do_spec_1 (" ", 0, NULL);
                }
+
+             info.option = "-isystem";
+             info.append = "include";
+             info.append_len = strlen (info.append);
+             info.omit_relative = false;
+             info.separate_options = true;
+
+             for_each_path (&include_prefixes, false, info.append_len,
+                            spec_path, &info);
+
+             info.append = "include-fixed";
+             if (*sysroot_hdrs_suffix_spec)
+               info.append = concat (info.append, dir_separator_str,
+                                     multilib_dir, NULL);
+             info.append_len = strlen (info.append);
+             for_each_path (&include_prefixes, false, info.append_len,
+                            spec_path, &info);
            }
            break;
 
@@ -4709,9 +5105,63 @@ do_spec_1 (spec, inswitch, soft_matched_part)
              int max = n_infiles;
              max += lang_specific_extra_outfiles;
 
-             for (i = 0; i < max; i++)
-               if (outfiles[i])
-                 store_arg (outfiles[i], 0, 0);
+              if (HAVE_GNU_LD && at_file_supplied)
+                {
+                  /* We are going to expand `%o' to `@FILE', where FILE
+                     is a newly-created temporary filename.  The filenames
+                     that would usually be expanded in place of %o will be
+                     written to the temporary file.  */
+
+                  char *temp_file = make_temp_file ("");
+                  char *at_argument;
+                  char **argv;
+                  int n_files, j, status;
+                  FILE *f;
+
+                  at_argument = concat ("@", temp_file, NULL);
+                  store_arg (at_argument, 0, 0);
+
+                  /* Convert OUTFILES into a form suitable for writeargv.  */
+
+                  /* Determine how many are non-NULL.  */
+                  for (n_files = 0, i = 0; i < max; i++)
+                    n_files += outfiles[i] != NULL;
+
+                  argv = (char **) alloca (sizeof (char *) * (n_files + 1));
+
+                  /* Copy the strings over.  */
+                  for (i = 0, j = 0; i < max; i++)
+                    if (outfiles[i])
+                      {
+                        argv[j] = CONST_CAST (char *, outfiles[i]);
+                        j++;
+                      }
+                  argv[j] = NULL;
+
+                  f = fopen (temp_file, "w");
+
+                  if (f == NULL)
+                    fatal ("could not open temporary response file %s",
+                           temp_file);
+
+                  status = writeargv (argv, f);
+
+                  if (status)
+                    fatal ("could not write to temporary response file %s",
+                           temp_file);
+
+                  status = fclose (f);
+
+                  if (EOF == status)
+                    fatal ("could not close temporary response file %s",
+                           temp_file);
+
+                  record_temp_file (temp_file, !save_temps_flag, !save_temps_flag);
+                }
+              else
+                for (i = 0; i < max; i++)
+                 if (outfiles[i])
+                   store_arg (outfiles[i], 0, 0);
              break;
            }
 
@@ -4724,6 +5174,10 @@ do_spec_1 (spec, inswitch, soft_matched_part)
            this_is_library_file = 1;
            break;
 
+         case 'V':
+           outfiles[input_file_number] = NULL;
+           break;
+
          case 'w':
            this_is_output_file = 1;
            break;
@@ -4733,10 +5187,11 @@ do_spec_1 (spec, inswitch, soft_matched_part)
              int cur_index = argbuf_index;
              /* Handle the {...} following the %W.  */
              if (*p != '{')
-               abort ();
+               fatal ("spec '%s' has invalid '%%W%c", spec, *p);
              p = handle_braces (p + 1);
              if (p == 0)
                return -1;
+             end_going_arg ();
              /* If any args were output, mark the last one for deletion
                 on failure.  */
              if (argbuf_index != cur_index)
@@ -4752,7 +5207,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
 
              /* Skip past the option value and make a copy.  */
              if (*p != '{')
-               abort ();
+               fatal ("spec '%s' has invalid '%%x%c'", spec, *p);
              while (*p++ != '}')
                ;
              string = save_string (p1 + 1, p - p1 - 2);
@@ -4830,8 +5285,8 @@ do_spec_1 (spec, inswitch, soft_matched_part)
          case 'C':
            {
              const char *const spec
-               = (input_file_compiler->cpp_spec 
-                  ? input_file_compiler->cpp_spec 
+               = (input_file_compiler->cpp_spec
+                  ? input_file_compiler->cpp_spec
                   : cpp_spec);
              value = do_spec_1 (spec, 0, NULL);
              if (value != 0)
@@ -4863,184 +5318,19 @@ do_spec_1 (spec, inswitch, soft_matched_part)
              return value;
            break;
 
-         case 'M':
-           if (multilib_dir && strcmp (multilib_dir, ".") != 0)
+         case 'R':
+           /* We assume there is a directory
+              separator at the end of this string.  */
+           if (target_system_root)
              {
-               char *p;
-               const char *q;
-               size_t len;
-
-               len = strlen (multilib_dir);
-               obstack_blank (&obstack, len + 1);
-               p = obstack_next_free (&obstack) - (len + 1);
-
-               *p++ = '_';
-               for (q = multilib_dir; *q ; ++q, ++p)
-                 *p = (IS_DIR_SEPARATOR (*q) ? '_' : *q);
+               obstack_grow (&obstack, target_system_root,
+                             strlen (target_system_root));
+               if (target_sysroot_suffix)
+                 obstack_grow (&obstack, target_sysroot_suffix,
+                               strlen (target_sysroot_suffix));
              }
            break;
 
-         case 'p':
-           {
-             char *x = (char *) alloca (strlen (cpp_predefines) + 1);
-             char *buf = x;
-             const char *y;
-
-             /* Copy all of the -D options in CPP_PREDEFINES into BUF.  */
-             y = cpp_predefines;
-             while (*y != 0)
-               {
-                 if (! strncmp (y, "-D", 2))
-                   /* Copy the whole option.  */
-                   while (*y && *y != ' ' && *y != '\t')
-                     *x++ = *y++;
-                 else if (*y == ' ' || *y == '\t')
-                   /* Copy whitespace to the result.  */
-                   *x++ = *y++;
-                 /* Don't copy other options.  */
-                 else
-                   y++;
-               }
-
-             *x = 0;
-
-             value = do_spec_1 (buf, 0, NULL);
-             if (value != 0)
-               return value;
-           }
-           break;
-
-         case 'P':
-           {
-             char *x = (char *) alloca (strlen (cpp_predefines) * 4 + 1);
-             char *buf = x;
-             const char *y;
-
-             /* Copy all of CPP_PREDEFINES into BUF,
-                but force them all into the reserved name space if they
-                aren't already there.  The reserved name space is all
-                identifiers beginning with two underscores or with one
-                underscore and a capital letter.  We do the forcing by
-                adding up to two underscores to the beginning and end
-                of each symbol. e.g. mips, _mips, mips_, and _mips_ all
-                become __mips__.  */
-             y = cpp_predefines;
-             while (*y != 0)
-               {
-                 if (! strncmp (y, "-D", 2))
-                   {
-                     int flag = 0;
-
-                     *x++ = *y++;
-                     *x++ = *y++;
-
-                     if (*y != '_'
-                         || (*(y + 1) != '_'
-                             && ! ISUPPER ((unsigned char) *(y + 1))))
-                       {
-                         /* Stick __ at front of macro name.  */
-                         if (*y != '_')
-                           *x++ = '_';
-                         *x++ = '_';
-                         /* Arrange to stick __ at the end as well.  */
-                         flag = 1;
-                       }
-
-                     /* Copy the macro name.  */
-                     while (*y && *y != '=' && *y != ' ' && *y != '\t')
-                       *x++ = *y++;
-
-                     if (flag)
-                       {
-                         if (x[-1] != '_')
-                           {
-                             if (x[-2] != '_')
-                               *x++ = '_';
-                             *x++ = '_';
-                           }
-                       }
-
-                     /* Copy the value given, if any.  */
-                     while (*y && *y != ' ' && *y != '\t')
-                       *x++ = *y++;
-                   }
-                 else if (*y == ' ' || *y == '\t')
-                   /* Copy whitespace to the result.  */
-                   *x++ = *y++;
-                 /* Don't copy -A options  */
-                 else
-                   y++;
-               }
-             *x++ = ' ';
-
-             /* Copy all of CPP_PREDEFINES into BUF,
-                but put __ after every -D.  */
-             y = cpp_predefines;
-             while (*y != 0)
-               {
-                 if (! strncmp (y, "-D", 2))
-                   {
-                     y += 2;
-
-                     if (*y != '_'
-                         || (*(y + 1) != '_'
-                             && ! ISUPPER ((unsigned char) *(y + 1))))
-                       {
-                         /* Stick -D__ at front of macro name.  */
-                         *x++ = '-';
-                         *x++ = 'D';
-                         if (*y != '_')
-                           *x++ = '_';
-                         *x++ = '_';
-
-                         /* Copy the macro name.  */
-                         while (*y && *y != '=' && *y != ' ' && *y != '\t')
-                           *x++ = *y++;
-
-                         /* Copy the value given, if any.  */
-                         while (*y && *y != ' ' && *y != '\t')
-                           *x++ = *y++;
-                       }
-                     else
-                       {
-                         /* Do not copy this macro - we have just done it before */
-                         while (*y && *y != ' ' && *y != '\t')
-                           y++;
-                       }
-                   }
-                 else if (*y == ' ' || *y == '\t')
-                   /* Copy whitespace to the result.  */
-                   *x++ = *y++;
-                 /* Don't copy -A options.  */
-                 else
-                   y++;
-               }
-             *x++ = ' ';
-
-             /* Copy all of the -A options in CPP_PREDEFINES into BUF.  */
-             y = cpp_predefines;
-             while (*y != 0)
-               {
-                 if (! strncmp (y, "-A", 2))
-                   /* Copy the whole option.  */
-                   while (*y && *y != ' ' && *y != '\t')
-                     *x++ = *y++;
-                 else if (*y == ' ' || *y == '\t')
-                   /* Copy whitespace to the result.  */
-                   *x++ = *y++;
-                 /* Don't copy other options.  */
-                 else
-                   y++;
-               }
-
-             *x = 0;
-
-             value = do_spec_1 (buf, 0, NULL);
-             if (value != 0)
-               return value;
-           }
-           break;
-
          case 'S':
            value = do_spec_1 (startfile_spec, 0, NULL);
            if (value != 0)
@@ -5055,21 +5345,53 @@ do_spec_1 (spec, inswitch, soft_matched_part)
              return -1;
            break;
 
+         case ':':
+           p = handle_spec_function (p);
+           if (p == 0)
+             return -1;
+           break;
+
          case '%':
            obstack_1grow (&obstack, '%');
            break;
 
-         case '.':
-          {
-            unsigned len = 0;
+         case '.':
+           {
+             unsigned len = 0;
 
-            while (p[len] && p[len] != ' ' && p[len] != '%')
-              len++;
-             suffix_subst = save_string (p - 1, len + 1);
-             p += len;
-           }
+             while (p[len] && p[len] != ' ' && p[len] != '%')
+               len++;
+             suffix_subst = save_string (p - 1, len + 1);
+             p += len;
+           }
           break;
-          
+
+          /* Henceforth ignore the option(s) matching the pattern
+             after the %<.  */
+         case '<':
+           {
+             unsigned len = 0;
+             int have_wildcard = 0;
+             int i;
+
+             while (p[len] && p[len] != ' ' && p[len] != '\t')
+               len++;
+
+             if (p[len-1] == '*')
+               have_wildcard = 1;
+
+             for (i = 0; i < n_switches; i++)
+               if (!strncmp (switches[i].part1, p, len - have_wildcard)
+                   && (have_wildcard || switches[i].part1[len] == '\0'))
+                 {
+                   switches[i].live_cond |= SWITCH_IGNORE;
+                   switches[i].validated = 1;
+                 }
+
+             p += len;
+           }
+           break;
+
          case '*':
            if (soft_matched_part)
              {
@@ -5078,7 +5400,7 @@ do_spec_1 (spec, inswitch, soft_matched_part)
              }
            else
              /* Catch the case where a spec string contains something like
-                '%{foo:%*}'.  ie there is no * in the pattern on the left
+                '%{foo:%*}'.  i.e. there is no * in the pattern on the left
                 hand side of the :.  */
              error ("spec failure: '%%*' has not been initialized by pattern match");
            break;
@@ -5169,68 +5491,6 @@ do_spec_1 (spec, inswitch, soft_matched_part)
            }
            break;
 
-         case 'v':
-           {
-             int c1 = *p++;  /* Select first or second version number.  */
-             const char *v = compiler_version;
-             const char *q;
-             static const char zeroc = '0';
-
-             /* The format of the version string is
-                ([^0-9]*-)?[0-9]+[.][0-9]+([.][0-9]+)?([- ].*)?  */
-
-             /* Ignore leading non-digits.  i.e. "foo-" in "foo-2.7.2".  */
-             while (! ISDIGIT (*v))
-               v++;
-             if (v > compiler_version && v[-1] != '-')
-               abort ();
-
-             /* If desired, advance to second version number.  */
-             if (c1 >= '2')
-               {
-                 /* Set V after the first period.  */
-                 while (ISDIGIT (*v))
-                   v++;
-                 if (*v != '.')
-                   abort ();
-                 v++;
-               }
-
-             /* If desired, advance to third version number.
-                 But don't complain if it's not present */
-             if (c1 == '3')
-               {
-                 /* Set V after the second period.  */
-                 while (ISDIGIT (*v))
-                   v++;
-                 if ((*v != 0) && (*v != ' ') && (*v != '.') && (*v != '-'))
-                   abort ();
-                 if (*v != 0)
-                   v++;
-               }
-
-             /* Set Q at the next period or at the end.  */
-             q = v;
-             while (ISDIGIT (*q))
-               q++;
-             if (*q != 0 && q > v && *q != ' ' && *q != '.' && *q != '-')
-               abort ();
-
-             if (q > v)
-               /* Put that part into the command.  */
-               obstack_grow (&obstack, v, q - v);
-             else
-               /* Default to "0" */
-               obstack_grow (&obstack, &zeroc, 1);
-             arg_going = 1;
-           }
-           break;
-
-         case '|':
-           if (input_from_pipe)
-             do_spec_1 ("-", 0, NULL);
-           break;
-
          default:
            error ("spec failure: unrecognized spec option '%c'", c);
            break;
@@ -5241,284 +5501,482 @@ do_spec_1 (spec, inswitch, soft_matched_part)
        /* Backslash: treat next character as ordinary.  */
        c = *p++;
 
-       /* fall through */
+       /* Fall through.  */
       default:
        /* Ordinary character: put it into the current argument.  */
        obstack_1grow (&obstack, c);
        arg_going = 1;
       }
 
-  /* End of string.  */
+  /* End of string.  If we are processing a spec function, we need to
+     end any pending argument.  */
+  if (processing_spec_function)
+    end_going_arg ();
+
   return 0;
 }
 
-/* Return 0 if we call do_spec_1 and that returns -1.  */
+/* Look up a spec function.  */
+
+static const struct spec_function *
+lookup_spec_function (const char *name)
+{
+  const struct spec_function *sf;
+
+  for (sf = static_spec_functions; sf->name != NULL; sf++)
+    if (strcmp (sf->name, name) == 0)
+      return sf;
+
+  return NULL;
+}
+
+/* Evaluate a spec function.  */
 
 static const char *
-handle_braces (p)
-     const char *p;
+eval_spec_function (const char *func, const char *args)
 {
-  const char *filter, *body = NULL, *endbody = NULL;
-  int pipe_p = 0;
-  int true_once = 0;   /* If, in %{a|b:d}, at least one of a,b was seen.  */
-  int negate;
-  int suffix;
-  int include_blanks = 1;
-  int elide_switch = 0;
-  int ordered = 0;
-
-  if (*p == '^')
-    {
-      /* A '^' after the open-brace means to not give blanks before args.  */
-      include_blanks = 0;
-      ++p;
-    }
+  const struct spec_function *sf;
+  const char *funcval;
+
+  /* Saved spec processing context.  */
+  int save_argbuf_index;
+  int save_argbuf_length;
+  const char **save_argbuf;
+
+  int save_arg_going;
+  int save_delete_this_arg;
+  int save_this_is_output_file;
+  int save_this_is_library_file;
+  int save_input_from_pipe;
+  const char *save_suffix_subst;
+
+
+  sf = lookup_spec_function (func);
+  if (sf == NULL)
+    fatal ("unknown spec function '%s'", func);
+
+  /* Push the spec processing context.  */
+  save_argbuf_index = argbuf_index;
+  save_argbuf_length = argbuf_length;
+  save_argbuf = argbuf;
+
+  save_arg_going = arg_going;
+  save_delete_this_arg = delete_this_arg;
+  save_this_is_output_file = this_is_output_file;
+  save_this_is_library_file = this_is_library_file;
+  save_input_from_pipe = input_from_pipe;
+  save_suffix_subst = suffix_subst;
+
+  /* Create a new spec processing context, and build the function
+     arguments.  */
+
+  alloc_args ();
+  if (do_spec_2 (args) < 0)
+    fatal ("error in args to spec function '%s'", func);
+
+  /* argbuf_index is an index for the next argument to be inserted, and
+     so contains the count of the args already inserted.  */
+
+  funcval = (*sf->func) (argbuf_index, argbuf);
+
+  /* Pop the spec processing context.  */
+  argbuf_index = save_argbuf_index;
+  argbuf_length = save_argbuf_length;
+  free (argbuf);
+  argbuf = save_argbuf;
+
+  arg_going = save_arg_going;
+  delete_this_arg = save_delete_this_arg;
+  this_is_output_file = save_this_is_output_file;
+  this_is_library_file = save_this_is_library_file;
+  input_from_pipe = save_input_from_pipe;
+  suffix_subst = save_suffix_subst;
+
+  return funcval;
+}
+
+/* Handle a spec function call of the form:
+
+   %:function(args)
+
+   ARGS is processed as a spec in a separate context and split into an
+   argument vector in the normal fashion.  The function returns a string
+   containing a spec which we then process in the caller's context, or
+   NULL if no processing is required.  */
+
+static const char *
+handle_spec_function (const char *p)
+{
+  char *func, *args;
+  const char *endp, *funcval;
+  int count;
+
+  processing_spec_function++;
 
-  if (*p == '|')
+  /* Get the function name.  */
+  for (endp = p; *endp != '\0'; endp++)
     {
-      /* A `|' after the open-brace means,
-        if the test fails, output a single minus sign rather than nothing.
-        This is used in %{|!pipe:...}.  */
-      pipe_p = 1;
-      ++p;
+      if (*endp == '(')                /* ) */
+        break;
+      /* Only allow [A-Za-z0-9], -, and _ in function names.  */
+      if (!ISALNUM (*endp) && !(*endp == '-' || *endp == '_'))
+       fatal ("malformed spec function name");
     }
+  if (*endp != '(')            /* ) */
+    fatal ("no arguments for spec function");
+  func = save_string (p, endp - p);
+  p = ++endp;
 
-  if (*p == '<')
+  /* Get the arguments.  */
+  for (count = 0; *endp != '\0'; endp++)
     {
-      /* A `<' after the open-brace means that the switch should be
-        removed from the command-line.  */
-      elide_switch = 1;
-      ++p;
+      /* ( */
+      if (*endp == ')')
+       {
+         if (count == 0)
+           break;
+         count--;
+       }
+      else if (*endp == '(')   /* ) */
+       count++;
     }
+  /* ( */
+  if (*endp != ')')
+    fatal ("malformed spec function arguments");
+  args = save_string (p, endp - p);
+  p = ++endp;
 
-next_member:
-  negate = suffix = 0;
+  /* p now points to just past the end of the spec function expression.  */
 
-  if (*p == '!')
-    /* A `!' after the open-brace negates the condition:
-       succeed if the specified switch is not present.  */
-    negate = 1, ++p;
+  funcval = eval_spec_function (func, args);
+  if (funcval != NULL && do_spec_1 (funcval, 0, NULL) < 0)
+    p = NULL;
 
-  if (*p == '.')
-    /* A `.' after the open-brace means test against the current suffix.  */
-    {
-      if (pipe_p)
-       abort ();
+  free (func);
+  free (args);
 
-      suffix = 1;
-      ++p;
-    }
+  processing_spec_function--;
 
-  if (elide_switch && (negate || pipe_p || suffix))
-    {
-      /* It doesn't make sense to mix elision with other flags.  We
-        could fatal() here, but the standard seems to be to abort.  */
-      abort ();
-    }
+  return p;
+}
 
- next_ampersand:
-  filter = p;
-  while (*p != ':' && *p != '}' && *p != '|' && *p != '&')
-    p++;
+/* Inline subroutine of handle_braces.  Returns true if the current
+   input suffix matches the atom bracketed by ATOM and END_ATOM.  */
+static inline bool
+input_suffix_matches (const char *atom, const char *end_atom)
+{
+  return (input_suffix
+         && !strncmp (input_suffix, atom, end_atom - atom)
+         && input_suffix[end_atom - atom] == '\0');
+}
 
-  if (*p == '|' && (pipe_p || ordered))
-    abort ();
+/* Subroutine of handle_braces.  Returns true if the current
+   input file's spec name matches the atom bracketed by ATOM and END_ATOM.  */
+static bool
+input_spec_matches (const char *atom, const char *end_atom)
+{
+  return (input_file_compiler
+         && input_file_compiler->suffix
+         && input_file_compiler->suffix[0] != '\0'
+         && !strncmp (input_file_compiler->suffix + 1, atom,
+                      end_atom - atom)
+         && input_file_compiler->suffix[end_atom - atom + 1] == '\0');
+}
 
-  if (!body)
-    {
-      if (*p != '}' && *p != '&')
-       {
-         int count = 1;
-         const char *q = p;
+/* Subroutine of handle_braces.  Returns true if a switch
+   matching the atom bracketed by ATOM and END_ATOM appeared on the
+   command line.  */
+static bool
+switch_matches (const char *atom, const char *end_atom, int starred)
+{
+  int i;
+  int len = end_atom - atom;
+  int plen = starred ? len : -1;
 
-         while (*q++ != ':')
-           continue;
-         body = q;
+  for (i = 0; i < n_switches; i++)
+    if (!strncmp (switches[i].part1, atom, len)
+       && (starred || switches[i].part1[len] == '\0')
+       && check_live_switch (i, plen))
+      return true;
 
-         while (count > 0)
-           {
-             if (*q == '{')
-               count++;
-             else if (*q == '}')
-               count--;
-             else if (*q == 0)
-               fatal ("mismatched braces in specs");
-             q++;
-           }
-         endbody = q;
-       }
-      else
-       body = p, endbody = p + 1;
-    }
+  return false;
+}
 
-  if (suffix)
-    {
-      int found = (input_suffix != 0
-                  && (long) strlen (input_suffix) == (long) (p - filter)
-                  && strncmp (input_suffix, filter, p - filter) == 0);
+/* Inline subroutine of handle_braces.  Mark all of the switches which
+   match ATOM (extends to END_ATOM; STARRED indicates whether there
+   was a star after the atom) for later processing.  */
+static inline void
+mark_matching_switches (const char *atom, const char *end_atom, int starred)
+{
+  int i;
+  int len = end_atom - atom;
+  int plen = starred ? len : -1;
+
+  for (i = 0; i < n_switches; i++)
+    if (!strncmp (switches[i].part1, atom, len)
+       && (starred || switches[i].part1[len] == '\0')
+       && check_live_switch (i, plen))
+      switches[i].ordering = 1;
+}
 
-      if (body[0] == '}')
-       abort ();
+/* Inline subroutine of handle_braces.  Process all the currently
+   marked switches through give_switch, and clear the marks.  */
+static inline void
+process_marked_switches (void)
+{
+  int i;
 
-      if (negate != found
-         && do_spec_1 (save_string (body, endbody-body-1), 0, NULL) < 0)
-       return 0;
-    }
-  else if (p[-1] == '*' && (p[0] == '}' || p[0] == '&'))
-    {
-      /* Substitute all matching switches as separate args.  */
-      int i;
+  for (i = 0; i < n_switches; i++)
+    if (switches[i].ordering == 1)
+      {
+       switches[i].ordering = 0;
+       give_switch (i, 0);
+      }
+}
 
-      for (i = 0; i < n_switches; i++)
-       if (!strncmp (switches[i].part1, filter, p - 1 - filter)
-           && check_live_switch (i, p - 1 - filter))
-         {
-           if (elide_switch)
-             {
-               switches[i].live_cond = SWITCH_IGNORE;
-               switches[i].validated = 1;
-             }
-           else
-             ordered = 1, switches[i].ordering = 1;
-         }
-    }
-  else
+/* Handle a %{ ... } construct.  P points just inside the leading {.
+   Returns a pointer one past the end of the brace block, or 0
+   if we call do_spec_1 and that returns -1.  */
+
+static const char *
+handle_braces (const char *p)
+{
+  const char *atom, *end_atom;
+  const char *d_atom = NULL, *d_end_atom = NULL;
+  const char *orig = p;
+
+  bool a_is_suffix;
+  bool a_is_spectype;
+  bool a_is_starred;
+  bool a_is_negated;
+  bool a_matched;
+
+  bool a_must_be_last = false;
+  bool ordered_set    = false;
+  bool disjunct_set   = false;
+  bool disj_matched   = false;
+  bool disj_starred   = true;
+  bool n_way_choice   = false;
+  bool n_way_matched  = false;
+
+#define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
+
+  do
     {
-      /* Test for presence of the specified switch.  */
-      int i;
-      int present = 0;
+      if (a_must_be_last)
+       goto invalid;
+
+      /* Scan one "atom" (S in the description above of %{}, possibly
+        with '!', '.', '@', ',', or '*' modifiers).  */
+      a_matched = false;
+      a_is_suffix = false;
+      a_is_starred = false;
+      a_is_negated = false;
+      a_is_spectype = false;
+
+      SKIP_WHITE();
+      if (*p == '!')
+       p++, a_is_negated = true;
+
+      SKIP_WHITE();
+      if (*p == '.')
+       p++, a_is_suffix = true;
+      else if (*p == ',')
+       p++, a_is_spectype = true;
+
+      atom = p;
+      while (ISIDNUM(*p) || *p == '-' || *p == '+' || *p == '='
+            || *p == ',' || *p == '.' || *p == '@')
+       p++;
+      end_atom = p;
+
+      if (*p == '*')
+       p++, a_is_starred = 1;
 
-      /* If name specified ends in *, as in {x*:...},
-        check for %* and handle that case.  */
-      if (p[-1] == '*' && !negate)
+      SKIP_WHITE();
+      switch (*p)
        {
-         int substitution;
-         const char *r = body;
+       case '&': case '}':
+         /* Substitute the switch(es) indicated by the current atom.  */
+         ordered_set = true;
+         if (disjunct_set || n_way_choice || a_is_negated || a_is_suffix
+             || a_is_spectype || atom == end_atom)
+           goto invalid;
 
-         /* First see whether we have %*.  */
-         substitution = 0;
-         while (r < endbody)
-           {
-             if (*r == '%' && r[1] == '*')
-               substitution = 1;
-             r++;
-           }
-         /* If we do, handle that case.  */
-         if (substitution)
-           {
-             /* Substitute all matching switches as separate args.
-                But do this by substituting for %*
-                in the text that follows the colon.  */
+         mark_matching_switches (atom, end_atom, a_is_starred);
 
-             unsigned hard_match_len = p - filter - 1;
-             char *string = save_string (body, endbody - body - 1);
+         if (*p == '}')
+           process_marked_switches ();
+         break;
 
-             for (i = 0; i < n_switches; i++)
-               if (!strncmp (switches[i].part1, filter, hard_match_len)
-                   && check_live_switch (i, -1))
-                 {
-                   do_spec_1 (string, 0, &switches[i].part1[hard_match_len]);
-                   /* Pass any arguments this switch has.  */
-                   give_switch (i, 1, 1);
-                   suffix_subst = NULL;
-                 }
+       case '|': case ':':
+         /* Substitute some text if the current atom appears as a switch
+            or suffix.  */
+         disjunct_set = true;
+         if (ordered_set)
+           goto invalid;
 
-             /* We didn't match.  Try again.  */
-             if (*p++ == '|')
-               goto next_member;
-             return endbody;
+         if (atom == end_atom)
+           {
+             if (!n_way_choice || disj_matched || *p == '|'
+                 || a_is_negated || a_is_suffix || a_is_spectype 
+                 || a_is_starred)
+               goto invalid;
+
+             /* An empty term may appear as the last choice of an
+                N-way choice set; it means "otherwise".  */
+             a_must_be_last = true;
+             disj_matched = !n_way_matched;
+             disj_starred = false;
            }
-       }
-
-      /* If name specified ends in *, as in {x*:...},
-        check for presence of any switch name starting with x.  */
-      if (p[-1] == '*')
-       {
-         for (i = 0; i < n_switches; i++)
+         else
            {
-             unsigned hard_match_len = p - filter - 1;
-
-             if (!strncmp (switches[i].part1, filter, hard_match_len)
-                 && check_live_switch (i, hard_match_len))
+             if ((a_is_suffix || a_is_spectype) && a_is_starred)
+               goto invalid;
+             
+             if (!a_is_starred)
+               disj_starred = false;
+
+             /* Don't bother testing this atom if we already have a
+                match.  */
+             if (!disj_matched && !n_way_matched)
                {
-                 present = 1;
-                 break;
+                 if (a_is_suffix)
+                   a_matched = input_suffix_matches (atom, end_atom);
+                 else if (a_is_spectype)
+                   a_matched = input_spec_matches (atom, end_atom);
+                 else
+                   a_matched = switch_matches (atom, end_atom, a_is_starred);
+                 
+                 if (a_matched != a_is_negated)
+                   {
+                     disj_matched = true;
+                     d_atom = atom;
+                     d_end_atom = end_atom;
+                   }
                }
            }
-       }
-      /* Otherwise, check for presence of exact name specified.  */
-      else
-       {
-         for (i = 0; i < n_switches; i++)
+
+         if (*p == ':')
            {
-             if (!strncmp (switches[i].part1, filter, p - filter)
-                 && switches[i].part1[p - filter] == 0
-                 && check_live_switch (i, -1))
+             /* Found the body, that is, the text to substitute if the
+                current disjunction matches.  */
+             p = process_brace_body (p + 1, d_atom, d_end_atom, disj_starred,
+                                     disj_matched && !n_way_matched);
+             if (p == 0)
+               return 0;
+
+             /* If we have an N-way choice, reset state for the next
+                disjunction.  */
+             if (*p == ';')
                {
-                 present = 1;
-                 break;
+                 n_way_choice = true;
+                 n_way_matched |= disj_matched;
+                 disj_matched = false;
+                 disj_starred = true;
+                 d_atom = d_end_atom = NULL;
                }
            }
-       }
+         break;
 
-      /* If it is as desired (present for %{s...}, absent for %{!s...})
-        then substitute either the switch or the specified
-        conditional text.  */
-      if (present != negate)
-       {
-         if (elide_switch)
-           {
-             switches[i].live_cond = SWITCH_IGNORE;
-             switches[i].validated = 1;
-           }
-         else if (ordered || *p == '&')
-           ordered = 1, switches[i].ordering = 1;
-         else if (*p == '}')
-           give_switch (i, 0, include_blanks);
-         else
-           /* Even if many alternatives are matched, only output once.  */
-           true_once = 1;
-       }
-      else if (pipe_p)
-       {
-         /* Here if a %{|...} conditional fails: output a minus sign,
-            which means "standard output" or "standard input".  */
-         do_spec_1 ("-", 0, NULL);
-         return endbody;
+       default:
+         goto invalid;
        }
     }
+  while (*p++ != '}');
 
-  /* We didn't match; try again.  */
-  if (*p++ == '|')
-    goto next_member;
+  return p;
 
-  if (p[-1] == '&')
-    {
-      body = 0;
-      goto next_ampersand;
-    }
+ invalid:
+  fatal ("braced spec '%s' is invalid at '%c'", orig, *p);
 
-  if (ordered)
+#undef SKIP_WHITE
+}
+
+/* Subroutine of handle_braces.  Scan and process a brace substitution body
+   (X in the description of %{} syntax).  P points one past the colon;
+   ATOM and END_ATOM bracket the first atom which was found to be true
+   (present) in the current disjunction; STARRED indicates whether all
+   the atoms in the current disjunction were starred (for syntax validation);
+   MATCHED indicates whether the disjunction matched or not, and therefore
+   whether or not the body is to be processed through do_spec_1 or just
+   skipped.  Returns a pointer to the closing } or ;, or 0 if do_spec_1
+   returns -1.  */
+
+static const char *
+process_brace_body (const char *p, const char *atom, const char *end_atom,
+                   int starred, int matched)
+{
+  const char *body, *end_body;
+  unsigned int nesting_level;
+  bool have_subst     = false;
+
+  /* Locate the closing } or ;, honoring nested braces.
+     Trim trailing whitespace.  */
+  body = p;
+  nesting_level = 1;
+  for (;;)
     {
-      int i;
-      /* Doing this set of switches later preserves their command-line
-        ordering.  This is needed for e.g. -U, -D and -A.  */
-      for (i = 0; i < n_switches; i++)
-       if (switches[i].ordering == 1)
-         {
-           switches[i].ordering = 0;
-           give_switch (i, 0, include_blanks);
-         }
+      if (*p == '{')
+       nesting_level++;
+      else if (*p == '}')
+       {
+         if (!--nesting_level)
+           break;
+       }
+      else if (*p == ';' && nesting_level == 1)
+       break;
+      else if (*p == '%' && p[1] == '*' && nesting_level == 1)
+       have_subst = true;
+      else if (*p == '\0')
+       goto invalid;
+      p++;
     }
-  /* Process the spec just once, regardless of match count.  */
-  else if (true_once)
+
+  end_body = p;
+  while (end_body[-1] == ' ' || end_body[-1] == '\t')
+    end_body--;
+
+  if (have_subst && !starred)
+    goto invalid;
+
+  if (matched)
     {
-      if (do_spec_1 (save_string (body, endbody - body - 1),
-                    0, NULL) < 0)
-       return 0;
+      /* Copy the substitution body to permanent storage and execute it.
+        If have_subst is false, this is a simple matter of running the
+        body through do_spec_1...  */
+      char *string = save_string (body, end_body - body);
+      if (!have_subst)
+       {
+         if (do_spec_1 (string, 0, NULL) < 0)
+           return 0;
+       }
+      else
+       {
+         /* ... but if have_subst is true, we have to process the
+            body once for each matching switch, with %* set to the
+            variant part of the switch.  */
+         unsigned int hard_match_len = end_atom - atom;
+         int i;
+
+         for (i = 0; i < n_switches; i++)
+           if (!strncmp (switches[i].part1, atom, hard_match_len)
+               && check_live_switch (i, hard_match_len))
+             {
+               if (do_spec_1 (string, 0,
+                              &switches[i].part1[hard_match_len]) < 0)
+                 return 0;
+               /* Pass any arguments this switch has.  */
+               give_switch (i, 1);
+               suffix_subst = NULL;
+             }
+       }
     }
 
-  return endbody;
+  return p;
+
+ invalid:
+  fatal ("braced spec body '%s' is invalid", body);
 }
 \f
 /* Return 0 iff switch number SWITCHNUM is obsoleted by a later switch
@@ -5530,9 +5988,7 @@ next_member:
    with the "no-", similarly for a switch with the "no-" prefix.  */
 
 static int
-check_live_switch (switchnum, prefix_length)
-     int switchnum;
-     int prefix_length;
+check_live_switch (int switchnum, int prefix_length)
 {
   const char *name = switches[switchnum].part1;
   int i;
@@ -5546,7 +6002,8 @@ check_live_switch (switchnum, prefix_length)
   /* If we already processed this switch and determined if it was
      live or not, return our past determination.  */
   if (switches[switchnum].live_cond != 0)
-    return switches[switchnum].live_cond > 0;
+    return ((switches[switchnum].live_cond & SWITCH_LIVE) != 0
+           && (switches[switchnum].live_cond & SWITCH_FALSE) == 0);
 
   /* Now search for duplicate in a manner that depends on the name.  */
   switch (*name)
@@ -5593,7 +6050,7 @@ check_live_switch (switchnum, prefix_length)
     }
 
   /* Otherwise the switch is live.  */
-  switches[switchnum].live_cond = SWITCH_LIVE;
+  switches[switchnum].live_cond |= SWITCH_LIVE;
   return 1;
 }
 \f
@@ -5603,18 +6060,12 @@ check_live_switch (switchnum, prefix_length)
    the vector of switches gcc received, which is `switches'.
    This cannot fail since it never finishes a command line.
 
-   If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument.
-
-   If INCLUDE_BLANKS is nonzero, then we include blanks before each argument
-   of the switch.  */
+   If OMIT_FIRST_WORD is nonzero, then we omit .part1 of the argument.  */
 
 static void
-give_switch (switchnum, omit_first_word, include_blanks)
-     int switchnum;
-     int omit_first_word;
-     int include_blanks;
+give_switch (int switchnum, int omit_first_word)
 {
-  if (switches[switchnum].live_cond == SWITCH_IGNORE)
+  if ((switches[switchnum].live_cond & SWITCH_IGNORE) != 0)
     return;
 
   if (!omit_first_word)
@@ -5630,8 +6081,7 @@ give_switch (switchnum, omit_first_word, include_blanks)
        {
          const char *arg = *p;
 
-         if (include_blanks)
-           do_spec_1 (" ", 0, NULL);
+         do_spec_1 (" ", 0, NULL);
          if (suffix_subst)
            {
              unsigned length = strlen (arg);
@@ -5640,13 +6090,13 @@ give_switch (switchnum, omit_first_word, include_blanks)
              while (length-- && !IS_DIR_SEPARATOR (arg[length]))
                if (arg[length] == '.')
                  {
-                   ((char *)arg)[length] = 0;
+                   (CONST_CAST(char *, arg))[length] = 0;
                    dot = 1;
                    break;
                  }
              do_spec_1 (arg, 1, NULL);
              if (dot)
-               ((char *)arg)[length] = '.';
+               (CONST_CAST(char *, arg))[length] = '.';
              do_spec_1 (suffix_subst, 1, NULL);
            }
          else
@@ -5663,54 +6113,29 @@ give_switch (switchnum, omit_first_word, include_blanks)
    Return the absolute file name found.  If nothing is found, return NAME.  */
 
 static const char *
-find_file (name)
-     const char *name;
+find_file (const char *name)
 {
-  char *newname;
-
-  /* Try multilib_dir if it is defined.  */
-  if (multilib_os_dir != NULL)
-    {
-      newname = find_a_file (&startfile_prefixes, name, R_OK, 1);
-
-      /* If we don't find it in the multi library dir, then fall
-        through and look for it in the normal places.  */
-      if (newname != NULL)
-       return newname;
-    }
-
-  newname = find_a_file (&startfile_prefixes, name, R_OK, 0);
+  char *newname = find_a_file (&startfile_prefixes, name, R_OK, true);
   return newname ? newname : name;
 }
 
 /* Determine whether a directory exists.  If LINKER, return 0 for
-   certain fixed names not needed by the linker.  If not LINKER, it is
-   only important to return 0 if the host machine has a small ARG_MAX
-   limit.  */
+   certain fixed names not needed by the linker.  */
 
 static int
-is_directory (path1, path2, linker)
-     const char *path1;
-     const char *path2;
-     int linker;
+is_directory (const char *path1, bool linker)
 {
-  int len1 = strlen (path1);
-  int len2 = strlen (path2);
-  char *path = (char *) alloca (3 + len1 + len2);
+  int len1;
+  char *path;
   char *cp;
   struct stat st;
 
-#ifndef SMALL_ARG_MAX
-  if (! linker)
-    return 1;
-#endif
-
-  /* Construct the path from the two parts.  Ensure the string ends with "/.".
-     The resulting path will be a directory even if the given path is a
-     symbolic link.  */
+  /* Ensure the string ends with "/.".  The resulting path will be a
+     directory even if the given path is a symbolic link.  */
+  len1 = strlen (path1);
+  path = (char *) alloca (3 + len1);
   memcpy (path, path1, len1);
-  memcpy (path + len1, path2, len2);
-  cp = path + len1 + len2;
+  cp = path + len1;
   if (!IS_DIR_SEPARATOR (cp[-1]))
     *cp++ = DIR_SEPARATOR;
   *cp++ = '.';
@@ -5718,13 +6143,13 @@ is_directory (path1, path2, linker)
 
   /* Exclude directories that the linker is known to search.  */
   if (linker
+      && IS_DIR_SEPARATOR (path[0])
       && ((cp - path == 6
-          && strcmp (path, concat (dir_separator_str, "lib",
-                                   dir_separator_str, ".", NULL)) == 0)
+          && strncmp (path + 1, "lib", 3) == 0)
          || (cp - path == 10
-             && strcmp (path, concat (dir_separator_str, "usr",
-                                      dir_separator_str, "lib",
-                                      dir_separator_str, ".", NULL)) == 0)))
+             && strncmp (path + 1, "usr", 3) == 0
+             && IS_DIR_SEPARATOR (path[4])
+             && strncmp (path + 5, "lib", 3) == 0)))
     return 0;
 
   return (stat (path, &st) >= 0 && S_ISDIR (st.st_mode));
@@ -5734,8 +6159,7 @@ is_directory (path1, path2, linker)
    the input file named FILENAME.  */
 
 void
-set_input (filename)
-     const char *filename;
+set_input (const char *filename)
 {
   const char *p;
 
@@ -5766,7 +6190,7 @@ set_input (filename)
     }
   else
     input_suffix = "";
-  
+
   /* If a spec for 'g', 'u', or 'U' is seen with -save-temps then
      we will need to do a stat on the input_filename.  The
      INPUT_STAT_SET signals that the stat is needed.  */
@@ -5776,8 +6200,7 @@ set_input (filename)
 /* On fatal signals, delete all the temporary files.  */
 
 static void
-fatal_error (signum)
-     int signum;
+fatal_error (int signum)
 {
   signal (signum, SIG_DFL);
   delete_failure_queue ();
@@ -5787,20 +6210,25 @@ fatal_error (signum)
   kill (getpid (), signum);
 }
 
-extern int main PARAMS ((int, const char *const *));
+extern int main (int, char **);
 
 int
-main (argc, argv)
-     int argc;
-     const char *const *argv;
+main (int argc, char **argv)
 {
   size_t i;
   int value;
   int linker_was_run = 0;
+  int lang_n_infiles = 0;
+  int num_linker_inputs = 0;
   char *explicit_link_files;
   char *specs_file;
   const char *p;
   struct user_specs *uptr;
+  char **old_argv = argv;
+
+  /* Initialize here, not in definition.  The IRIX 6 O32 cc sometimes chokes
+     on ?: in file-scope variable initializations.  */
+  asm_debug = ASM_DEBUG_SPEC;
 
   p = argv[0] + strlen (argv[0]);
   while (p != argv[0] && !IS_DIR_SEPARATOR (p[-1]))
@@ -5809,11 +6237,22 @@ main (argc, argv)
 
   xmalloc_set_program_name (programname);
 
+  expandargv (&argc, &argv);
+
+  /* Determine if any expansions were made.  */
+  if (argv != old_argv)
+    at_file_supplied = true;
+
+  prune_options (&argc, &argv);
+
 #ifdef GCC_DRIVER_HOST_INITIALIZATION
   /* Perform host dependent initialization when needed.  */
   GCC_DRIVER_HOST_INITIALIZATION;
 #endif
 
+  /* Unlock the stdio streams.  */
+  unlock_std_streams ();
+
   gcc_init_libintl ();
 
   if (signal (SIGINT, SIG_IGN) != SIG_IGN)
@@ -5834,8 +6273,8 @@ main (argc, argv)
   signal (SIGCHLD, SIG_DFL);
 #endif
 
-  argbuf_length = 10;
-  argbuf = (const char **) xmalloc (argbuf_length * sizeof (const char *));
+  /* Allocate the argument vector.  */
+  alloc_args ();
 
   obstack_init (&obstack);
 
@@ -5850,21 +6289,21 @@ main (argc, argv)
       obstack_grow (&multilib_obstack, p, strlen (p));
 
     obstack_1grow (&multilib_obstack, 0);
-    multilib_select = obstack_finish (&multilib_obstack);
+    multilib_select = XOBFINISH (&multilib_obstack, const char *);
 
     q = multilib_matches_raw;
     while ((p = *q++) != (char *) 0)
       obstack_grow (&multilib_obstack, p, strlen (p));
 
     obstack_1grow (&multilib_obstack, 0);
-    multilib_matches = obstack_finish (&multilib_obstack);
+    multilib_matches = XOBFINISH (&multilib_obstack, const char *);
 
     q = multilib_exclusions_raw;
     while ((p = *q++) != (char *) 0)
       obstack_grow (&multilib_obstack, p, strlen (p));
 
     obstack_1grow (&multilib_obstack, 0);
-    multilib_exclusions = obstack_finish (&multilib_obstack);
+    multilib_exclusions = XOBFINISH (&multilib_obstack, const char *);
 
     need_space = FALSE;
     for (i = 0; i < ARRAY_SIZE (multilib_defaults_raw); i++)
@@ -5878,7 +6317,7 @@ main (argc, argv)
       }
 
     obstack_1grow (&multilib_obstack, 0);
-    multilib_defaults = obstack_finish (&multilib_obstack);
+    multilib_defaults = XOBFINISH (&multilib_obstack, const char *);
   }
 
   /* Set up to remember the pathname of gcc and any options
@@ -5887,25 +6326,24 @@ main (argc, argv)
   obstack_init (&collect_obstack);
   obstack_grow (&collect_obstack, "COLLECT_GCC=", sizeof ("COLLECT_GCC=") - 1);
   obstack_grow (&collect_obstack, argv[0], strlen (argv[0]) + 1);
-  putenv (obstack_finish (&collect_obstack));
+  xputenv (XOBFINISH (&collect_obstack, char *));
 
 #ifdef INIT_ENVIRONMENT
   /* Set up any other necessary machine specific environment variables.  */
-  putenv (INIT_ENVIRONMENT);
+  xputenv (INIT_ENVIRONMENT);
 #endif
 
   /* Make a table of what switches there are (switches, n_switches).
      Make a table of specified input files (infiles, n_infiles).
      Decode switches that are handled locally.  */
 
-  process_command (argc, argv);
+  process_command (argc, (const char **) argv);
 
   /* Initialize the vector of specs to just the default.
      This means one element containing 0s, as a terminator.  */
 
-  compilers = (struct compiler *) xmalloc (sizeof default_compilers);
-  memcpy ((char *) compilers, (char *) default_compilers,
-         sizeof default_compilers);
+  compilers = XNEWVAR (struct compiler, sizeof default_compilers);
+  memcpy (compilers, default_compilers, sizeof default_compilers);
   n_compilers = n_default_compilers;
 
   /* Read specs from a file if there is one.  */
@@ -5914,7 +6352,7 @@ main (argc, argv)
                           spec_version, dir_separator_str, NULL);
   just_machine_suffix = concat (spec_machine, dir_separator_str, NULL);
 
-  specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, 0);
+  specs_file = find_a_file (&startfile_prefixes, "specs", R_OK, true);
   /* Read the specs file unless it is a default one.  */
   if (specs_file != 0 && strcmp (specs_file, "specs"))
     read_specs (specs_file, TRUE);
@@ -5924,8 +6362,7 @@ main (argc, argv)
   /* We need to check standard_exec_prefix/just_machine_suffix/specs
      for any override of as, ld and libraries.  */
   specs_file = (char *) alloca (strlen (standard_exec_prefix)
-                               + strlen (just_machine_suffix)
-                               + sizeof ("specs"));
+                      + strlen (just_machine_suffix) + sizeof ("specs"));
 
   strcpy (specs_file, standard_exec_prefix);
   strcat (specs_file, just_machine_suffix);
@@ -5933,63 +6370,115 @@ main (argc, argv)
   if (access (specs_file, R_OK) == 0)
     read_specs (specs_file, TRUE);
 
-  /* If not cross-compiling, look for startfiles in the standard places.  */
+  /* Process any configure-time defaults specified for the command line
+     options, via OPTION_DEFAULT_SPECS.  */
+  for (i = 0; i < ARRAY_SIZE (option_default_specs); i++)
+    do_option_spec (option_default_specs[i].name,
+                   option_default_specs[i].spec);
+
+  /* Process DRIVER_SELF_SPECS, adding any new options to the end
+     of the command line.  */
+
+  for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
+    do_self_spec (driver_self_specs[i]);
+
+  /* If not cross-compiling, look for executables in the standard
+     places.  */
   if (*cross_compile == '0')
     {
       if (*md_exec_prefix)
        {
          add_prefix (&exec_prefixes, md_exec_prefix, "GCC",
-                     PREFIX_PRIORITY_LAST, 0, NULL, 0);
-         add_prefix (&startfile_prefixes, md_exec_prefix, "GCC",
-                     PREFIX_PRIORITY_LAST, 0, NULL, 0);
+                     PREFIX_PRIORITY_LAST, 0, 0);
        }
+    }
+
+  /* Process sysroot_suffix_spec.  */
+  if (*sysroot_suffix_spec != 0
+      && do_spec_2 (sysroot_suffix_spec) == 0)
+    {
+      if (argbuf_index > 1)
+        error ("spec failure: more than one arg to SYSROOT_SUFFIX_SPEC");
+      else if (argbuf_index == 1)
+        target_sysroot_suffix = xstrdup (argbuf[argbuf_index -1]);
+    }
+
+#ifdef HAVE_LD_SYSROOT
+  /* Pass the --sysroot option to the linker, if it supports that.  If
+     there is a sysroot_suffix_spec, it has already been processed by
+     this point, so target_system_root really is the system root we
+     should be using.  */
+  if (target_system_root)
+    {
+      obstack_grow (&obstack, "%(sysroot_spec) ", strlen ("%(sysroot_spec) "));
+      obstack_grow0 (&obstack, link_spec, strlen (link_spec));
+      set_spec ("link", XOBFINISH (&obstack, const char *));
+    }
+#endif
+
+  /* Process sysroot_hdrs_suffix_spec.  */
+  if (*sysroot_hdrs_suffix_spec != 0
+      && do_spec_2 (sysroot_hdrs_suffix_spec) == 0)
+    {
+      if (argbuf_index > 1)
+        error ("spec failure: more than one arg to SYSROOT_HEADERS_SUFFIX_SPEC");
+      else if (argbuf_index == 1)
+        target_sysroot_hdrs_suffix = xstrdup (argbuf[argbuf_index -1]);
+    }
 
+  /* Look for startfiles in the standard places.  */
+  if (*startfile_prefix_spec != 0
+      && do_spec_2 (startfile_prefix_spec) == 0
+      && do_spec_1 (" ", 0, NULL) == 0)
+    {
+      int ndx;
+      for (ndx = 0; ndx < argbuf_index; ndx++)
+       add_sysrooted_prefix (&startfile_prefixes, argbuf[ndx], "BINUTILS",
+                             PREFIX_PRIORITY_LAST, 0, 1);
+    }
+  /* We should eventually get rid of all these and stick to
+     startfile_prefix_spec exclusively.  */
+  else if (*cross_compile == '0' || target_system_root)
+    {
       if (*md_startfile_prefix)
-       add_prefix (&startfile_prefixes, md_startfile_prefix, "GCC",
-                   PREFIX_PRIORITY_LAST, 0, NULL, 1);
+       add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix,
+                             "GCC", PREFIX_PRIORITY_LAST, 0, 1);
 
       if (*md_startfile_prefix_1)
-       add_prefix (&startfile_prefixes, md_startfile_prefix_1, "GCC",
-                   PREFIX_PRIORITY_LAST, 0, NULL, 1);
+       add_sysrooted_prefix (&startfile_prefixes, md_startfile_prefix_1,
+                             "GCC", PREFIX_PRIORITY_LAST, 0, 1);
 
       /* If standard_startfile_prefix is relative, base it on
         standard_exec_prefix.  This lets us move the installed tree
         as a unit.  If GCC_EXEC_PREFIX is defined, base
-        standard_startfile_prefix on that as well.  */
-      if (IS_ABSOLUTE_PATHNAME (standard_startfile_prefix))
-       add_prefix (&startfile_prefixes, standard_startfile_prefix, "BINUTILS",
-                   PREFIX_PRIORITY_LAST, 0, NULL, 1);
-      else
+        standard_startfile_prefix on that as well.
+
+         If the prefix is relative, only search it for native compilers;
+         otherwise we will search a directory containing host libraries.  */
+      if (IS_ABSOLUTE_PATH (standard_startfile_prefix))
+       add_sysrooted_prefix (&startfile_prefixes,
+                             standard_startfile_prefix, "BINUTILS",
+                             PREFIX_PRIORITY_LAST, 0, 1);
+      else if (*cross_compile == '0')
        {
-         if (gcc_exec_prefix)
-           add_prefix (&startfile_prefixes,
-                       concat (gcc_exec_prefix, machine_suffix,
-                               standard_startfile_prefix, NULL),
-                       NULL, PREFIX_PRIORITY_LAST, 0, NULL, 1);
          add_prefix (&startfile_prefixes,
-                     concat (standard_exec_prefix,
-                             machine_suffix,
+                     concat (gcc_exec_prefix 
+                             ? gcc_exec_prefix : standard_exec_prefix, 
+                             machine_suffix, 
                              standard_startfile_prefix, NULL),
-                     NULL, PREFIX_PRIORITY_LAST, 0, NULL, 1);
+                     NULL, PREFIX_PRIORITY_LAST, 0, 1);
        }
 
-      add_prefix (&startfile_prefixes, standard_startfile_prefix_1,
-                 "BINUTILS", PREFIX_PRIORITY_LAST, 0, NULL, 1);
-      add_prefix (&startfile_prefixes, standard_startfile_prefix_2,
-                 "BINUTILS", PREFIX_PRIORITY_LAST, 0, NULL, 1);
-#if 0 /* Can cause surprises, and one can use -B./ instead.  */
-      add_prefix (&startfile_prefixes, "./", NULL,
-                 PREFIX_PRIORITY_LAST, 1, NULL, 0);
-#endif
-    }
-  else
-    {
-      if (!IS_ABSOLUTE_PATHNAME (standard_startfile_prefix)
-         && gcc_exec_prefix)
-       add_prefix (&startfile_prefixes,
-                   concat (gcc_exec_prefix, machine_suffix,
-                           standard_startfile_prefix, NULL),
-                   "BINUTILS", PREFIX_PRIORITY_LAST, 0, NULL, 1);
+      /* Sysrooted prefixes are relocated because target_system_root is
+        also relocated by gcc_exec_prefix.  */
+      if (*standard_startfile_prefix_1)
+       add_sysrooted_prefix (&startfile_prefixes,
+                             standard_startfile_prefix_1, "BINUTILS",
+                             PREFIX_PRIORITY_LAST, 0, 1);
+      if (*standard_startfile_prefix_2)
+       add_sysrooted_prefix (&startfile_prefixes,
+                             standard_startfile_prefix_2, "BINUTILS",
+                             PREFIX_PRIORITY_LAST, 0, 1);
     }
 
   /* Process any user specified specs in the order given on the command
@@ -5997,7 +6486,7 @@ main (argc, argv)
   for (uptr = user_specs_head; uptr; uptr = uptr->next)
     {
       char *filename = find_a_file (&startfile_prefixes, uptr->filename,
-                                   R_OK, 0);
+                                   R_OK, true);
       read_specs (filename ? filename : uptr->filename, FALSE);
     }
 
@@ -6019,15 +6508,19 @@ main (argc, argv)
 
   for (i = 0; (int) i < n_switches; i++)
     if (! switches[i].validated)
-      error ("unrecognized option `-%s'", switches[i].part1);
+      error ("unrecognized option '-%s'", switches[i].part1);
 
   /* Obey some of the options.  */
 
   if (print_search_dirs)
     {
-      printf (_("install: %s%s\n"), standard_exec_prefix, machine_suffix);
-      printf (_("programs: %s\n"), build_search_list (&exec_prefixes, "", 0));
-      printf (_("libraries: %s\n"), build_search_list (&startfile_prefixes, "", 0));
+      printf (_("install: %s%s\n"),
+             gcc_exec_prefix ? gcc_exec_prefix : standard_exec_prefix,
+             gcc_exec_prefix ? "" : machine_suffix);
+      printf (_("programs: %s\n"),
+             build_search_list (&exec_prefixes, "", false, false));
+      printf (_("libraries: %s\n"),
+             build_search_list (&startfile_prefixes, "", false, true));
       return (0);
     }
 
@@ -6059,6 +6552,18 @@ main (argc, argv)
       return (0);
     }
 
+  if (print_sysroot)
+    {
+      if (target_system_root)
+       {
+          if (target_sysroot_suffix)
+           printf ("%s%s\n", target_system_root, target_sysroot_suffix);
+          else
+           printf ("%s\n", target_system_root);
+       }
+      return (0);
+    }
+
   if (print_multi_os_directory)
     {
       if (multilib_os_dir == NULL)
@@ -6068,14 +6573,19 @@ main (argc, argv)
       return (0);
     }
 
-  if (target_help_flag)
-   {
-      /* Print if any target specific options.  */
-
-      /* We do not exit here. Instead we have created a fake input file
-         called 'target-dummy' which needs to be compiled, and we pass this
-         on to the various sub-processes, along with the --target-help
-         switch.  */
+  if (print_sysroot_headers_suffix)
+    {
+      if (*sysroot_hdrs_suffix_spec)
+       {
+         printf("%s\n", (target_sysroot_hdrs_suffix
+                         ? target_sysroot_hdrs_suffix
+                         : ""));
+         return (0);
+       }
+      else
+       /* The error status indicates that only one set of fixed
+          headers should be built.  */
+       fatal ("not configured with sysroot headers suffix");
     }
 
   if (print_help_list)
@@ -6085,14 +6595,17 @@ main (argc, argv)
       if (! verbose_flag)
        {
          printf (_("\nFor bug reporting instructions, please see:\n"));
-         printf ("%s.\n", GCCBUGURL);
+         printf ("%s.\n", bug_report_url);
 
          return (0);
        }
 
       /* We do not exit here.  Instead we have created a fake input file
         called 'help-dummy' which needs to be compiled, and we pass this
-        on the various sub-processes, along with the --help switch.  */
+        on the various sub-processes, along with the --help switch.
+        Ensure their output appears after ours.  */
+      fputc ('\n', stdout);
+      fflush (stdout);
     }
 
   if (verbose_flag)
@@ -6100,6 +6613,7 @@ main (argc, argv)
       int n;
       const char *thrmod;
 
+      notice ("Target: %s\n", spec_machine);
       notice ("Configured with: %s\n", configuration_arguments);
 
 #ifdef THREAD_MODEL_SPEC
@@ -6109,7 +6623,7 @@ main (argc, argv)
       obstack_init (&obstack);
       do_spec_1 (THREAD_MODEL_SPEC, 0, thread_model);
       obstack_1grow (&obstack, '\0');
-      thrmod = obstack_finish (&obstack);
+      thrmod = XOBFINISH (&obstack, const char *);
 #else
       thrmod = thread_model;
 #endif
@@ -6125,10 +6639,10 @@ main (argc, argv)
 
       if (! strncmp (version_string, compiler_version, n)
          && compiler_version[n] == 0)
-       notice ("gcc version %s\n", version_string);
+       notice ("gcc version %s %s\n", version_string, pkgversion_string);
       else
-       notice ("gcc driver version %s executing gcc version %s\n",
-               version_string, compiler_version);
+       notice ("gcc driver version %s %sexecuting gcc version %s\n",
+               version_string, pkgversion_string, compiler_version);
 
       if (n_infiles == 0)
        return (0);
@@ -6142,11 +6656,104 @@ main (argc, argv)
 
   i = n_infiles;
   i += lang_specific_extra_outfiles;
-  outfiles = (const char **) xcalloc (i, sizeof (char *));
+  outfiles = XCNEWVEC (const char *, i);
 
   /* Record which files were specified explicitly as link input.  */
 
-  explicit_link_files = xcalloc (1, n_infiles);
+  explicit_link_files = XCNEWVEC (char, n_infiles);
+
+  if (combine_flag)
+    combine_inputs = true;
+  else
+    combine_inputs = false;
+
+  for (i = 0; (int) i < n_infiles; i++)
+    {
+      const char *name = infiles[i].name;
+      struct compiler *compiler = lookup_compiler (name,
+                                                  strlen (name),
+                                                  infiles[i].language);
+
+      if (compiler && !(compiler->combinable))
+       combine_inputs = false;
+
+      if (lang_n_infiles > 0 && compiler != input_file_compiler
+         && infiles[i].language && infiles[i].language[0] != '*')
+       infiles[i].incompiler = compiler;
+      else if (compiler)
+       {
+         lang_n_infiles++;
+         input_file_compiler = compiler;
+         infiles[i].incompiler = compiler;
+       }
+      else
+       {
+         /* Since there is no compiler for this input file, assume it is a
+            linker file.  */
+         explicit_link_files[i] = 1;
+         infiles[i].incompiler = NULL;
+       }
+      infiles[i].compiled = false;
+      infiles[i].preprocessed = false;
+    }
+
+  if (!combine_inputs && have_c && have_o && lang_n_infiles > 1)
+   fatal ("cannot specify -o with -c or -S with multiple files");
+
+  if (combine_flag && save_temps_flag)
+    {
+      bool save_combine_inputs = combine_inputs;
+      /* Must do a separate pre-processing pass for C & Objective-C files, to
+        obtain individual .i files.  */
+
+      combine_inputs = false;
+      for (i = 0; (int) i < n_infiles; i++)
+       {
+         int this_file_error = 0;
+
+         input_file_number = i;
+         set_input (infiles[i].name);
+         if (infiles[i].incompiler
+             && (infiles[i].incompiler)->needs_preprocessing)
+           input_file_compiler = infiles[i].incompiler;
+         else
+           continue;
+
+         if (input_file_compiler)
+           {
+             if (input_file_compiler->spec[0] == '#')
+               {
+                 error ("%s: %s compiler not installed on this system",
+                        input_filename, &input_file_compiler->spec[1]);
+                 this_file_error = 1;
+               }
+             else
+               {
+                 value = do_spec (input_file_compiler->spec);
+                 infiles[i].preprocessed = true;
+                 if (!have_o_argbuf_index)
+                   fatal ("spec '%s' is invalid", input_file_compiler->spec);
+                 infiles[i].name = argbuf[have_o_argbuf_index];
+                 infiles[i].incompiler
+                   = lookup_compiler (infiles[i].name,
+                                      strlen (infiles[i].name),
+                                      infiles[i].language);
+
+                 if (value < 0)
+                   this_file_error = 1;
+               }
+           }
+
+         if (this_file_error)
+           {
+             delete_failure_queue ();
+             error_count++;
+             break;
+           }
+         clear_failure_queue ();
+       }
+      combine_inputs = save_combine_inputs;
+    }
 
   for (i = 0; (int) i < n_infiles; i++)
     {
@@ -6157,16 +6764,22 @@ main (argc, argv)
       input_file_number = i;
       set_input (infiles[i].name);
 
+      if (infiles[i].compiled)
+       continue;
+
       /* Use the same thing in %o, unless cp->spec says otherwise.  */
 
       outfiles[i] = input_filename;
 
       /* Figure out which compiler from the file's suffix.  */
 
-      input_file_compiler
-       = lookup_compiler (infiles[i].name, input_filename_length,
-                          infiles[i].language);
-      
+      if (! combine_inputs)
+       input_file_compiler
+         = lookup_compiler (infiles[i].name, input_filename_length,
+                            infiles[i].language);
+      else
+       input_file_compiler = infiles[i].incompiler;
+
       if (input_file_compiler)
        {
          /* Ok, we found an applicable compiler.  Run its spec.  */
@@ -6180,6 +6793,7 @@ main (argc, argv)
          else
            {
              value = do_spec (input_file_compiler->spec);
+             infiles[i].compiled = true;
              if (value < 0)
                this_file_error = 1;
            }
@@ -6203,11 +6817,21 @@ main (argc, argv)
       clear_failure_queue ();
     }
 
-  /* Reset the output file name to the first input file name, for use
-     with %b in LINK_SPEC on a target that prefers not to emit a.out
-     by default.  */
+  /* Reset the input file name to the first compile/object file name, for use
+     with %b in LINK_SPEC. We use the first input file that we can find
+     a compiler to compile it instead of using infiles.language since for
+     languages other than C we use aliases that we then lookup later.  */
   if (n_infiles > 0)
-    set_input (infiles[0].name);
+    {
+      int i;
+
+      for (i = 0; i < n_infiles ; i++)
+       if (infiles[i].language && infiles[i].language[0] != '*')
+         {
+           set_input (infiles[i].name);
+           break;
+         }
+    }
 
   if (error_count == 0)
     {
@@ -6218,24 +6842,37 @@ main (argc, argv)
        error_count++;
     }
 
+  /* Determine if there are any linker input files.  */
+  num_linker_inputs = 0;
+  for (i = 0; (int) i < n_infiles; i++)
+    if (explicit_link_files[i] || outfiles[i] != NULL)
+      num_linker_inputs++;
+
   /* Run ld to link all the compiler output files.  */
 
-  if (error_count == 0)
+  if (num_linker_inputs > 0 && error_count == 0 && print_subprocess_help < 2)
     {
       int tmp = execution_count;
 
       /* We'll use ld if we can't find collect2.  */
       if (! strcmp (linker_name_spec, "collect2"))
        {
-         char *s = find_a_file (&exec_prefixes, "collect2", X_OK, 0);
+         char *s = find_a_file (&exec_prefixes, "collect2", X_OK, false);
          if (s == NULL)
            linker_name_spec = "ld";
        }
       /* Rebuild the COMPILER_PATH and LIBRARY_PATH environment variables
         for collect.  */
-      putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH");
-      putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV);
+      putenv_from_prefixes (&exec_prefixes, "COMPILER_PATH", false);
+      putenv_from_prefixes (&startfile_prefixes, LIBRARY_PATH_ENV, true);
 
+      if (print_subprocess_help == 1)
+       {
+         printf (_("\nLinker options\n==============\n\n"));
+         printf (_("Use \"-Wl,OPTION\" to pass \"OPTION\""
+                   " to the linker.\n\n"));
+         fflush (stdout);
+       }
       value = do_spec (link_command_spec);
       if (value < 0)
        error_count = 1;
@@ -6247,7 +6884,8 @@ main (argc, argv)
 
   if (! linker_was_run && error_count == 0)
     for (i = 0; (int) i < n_infiles; i++)
-      if (explicit_link_files[i])
+      if (explicit_link_files[i]
+         && !(infiles[i].language && infiles[i].language[0] == '*'))
        error ("%s: linker input file unused because linking not done",
               outfiles[i]);
 
@@ -6260,7 +6898,7 @@ main (argc, argv)
   if (print_help_list)
     {
       printf (("\nFor bug reporting instructions, please see:\n"));
-      printf ("%s\n", GCCBUGURL);
+      printf ("%s\n", bug_report_url);
     }
 
   return (signal_count != 0 ? 2
@@ -6273,10 +6911,7 @@ main (argc, argv)
    or 0 if this file is to be passed to the linker.  */
 
 static struct compiler *
-lookup_compiler (name, length, language)
-     const char *name;
-     size_t length;
-     const char *language;
+lookup_compiler (const char *name, size_t length, const char *language)
 {
   struct compiler *cp;
 
@@ -6305,11 +6940,11 @@ lookup_compiler (name, length, language)
              && !strcmp (cp->suffix,
                          name + length - strlen (cp->suffix))
         ))
-        break;
+       break;
     }
 
 #if defined (OS2) ||defined (HAVE_DOS_BASED_FILE_SYSTEM)
-  /* look again, but case-insensitively this time.  */
+  /* Look again, but case-insensitively this time.  */
   if (cp < compilers)
     for (cp = compilers + n_compilers - 1; cp >= compilers; cp--)
       {
@@ -6342,11 +6977,9 @@ lookup_compiler (name, length, language)
 }
 \f
 static char *
-save_string (s, len)
-     const char *s;
-     int len;
+save_string (const char *s, int len)
 {
-  char *result = xmalloc (len + 1);
+  char *result = XNEWVEC (char, len + 1);
 
   memcpy (result, s, len);
   result[len] = 0;
@@ -6354,8 +6987,7 @@ save_string (s, len)
 }
 
 void
-pfatal_with_name (name)
-     const char *name;
+pfatal_with_name (const char *name)
 {
   perror_with_name (name);
   delete_temp_files ();
@@ -6363,162 +6995,179 @@ pfatal_with_name (name)
 }
 
 static void
-perror_with_name (name)
-     const char *name;
+perror_with_name (const char *name)
 {
   error ("%s: %s", name, xstrerror (errno));
 }
 
-static void
-pfatal_pexecute (errmsg_fmt, errmsg_arg)
-     const char *errmsg_fmt;
-     const char *errmsg_arg;
-{
-  if (errmsg_arg)
-    {
-      int save_errno = errno;
-
-      /* Space for trailing '\0' is in %s.  */
-      char *msg = xmalloc (strlen (errmsg_fmt) + strlen (errmsg_arg));
-      sprintf (msg, errmsg_fmt, errmsg_arg);
-      errmsg_fmt = msg;
-
-      errno = save_errno;
-    }
+/* Output an error message and exit.  */
 
-  pfatal_with_name (errmsg_fmt);
+void
+fancy_abort (const char *file, int line, const char *func)
+{
+  fatal_ice ("internal gcc abort in %s, at %s:%d", func, file, line);
 }
-
-/* Output an error message and exit */
+\f
+/* Output an error message and exit */
 
 void
-fancy_abort ()
+fatal_ice (const char *cmsgid, ...)
 {
-  fatal ("internal gcc abort");
+  va_list ap;
+
+  va_start (ap, cmsgid);
+
+  fprintf (stderr, "%s: ", programname);
+  vfprintf (stderr, _(cmsgid), ap);
+  va_end (ap);
+  fprintf (stderr, "\n");
+  delete_temp_files ();
+  exit (pass_exit_codes ? ICE_EXIT_CODE : 1);
 }
-\f
-/* Output an error message and exit */
 
 void
-fatal VPARAMS ((const char *msgid, ...))
+fatal (const char *cmsgid, ...)
 {
-  VA_OPEN (ap, msgid);
-  VA_FIXEDARG (ap, const char *, msgid);
+  va_list ap;
+
+  va_start (ap, cmsgid);
 
   fprintf (stderr, "%s: ", programname);
-  vfprintf (stderr, _(msgid), ap);
-  VA_CLOSE (ap);
+  vfprintf (stderr, _(cmsgid), ap);
+  va_end (ap);
   fprintf (stderr, "\n");
   delete_temp_files ();
   exit (1);
 }
 
+/* The argument is actually c-format, not gcc-internal-format,
+   but because functions with identical names are used through
+   the rest of the compiler with gcc-internal-format, we just
+   need to hope all users of these functions use the common
+   subset between c-format and gcc-internal-format.  */
+
 void
-error VPARAMS ((const char *msgid, ...))
+error (const char *gmsgid, ...)
 {
-  VA_OPEN (ap, msgid);
-  VA_FIXEDARG (ap, const char *, msgid);
+  va_list ap;
 
+  va_start (ap, gmsgid);
   fprintf (stderr, "%s: ", programname);
-  vfprintf (stderr, _(msgid), ap);
-  VA_CLOSE (ap);
+  vfprintf (stderr, _(gmsgid), ap);
+  va_end (ap);
 
   fprintf (stderr, "\n");
 }
 
 static void
-notice VPARAMS ((const char *msgid, ...))
+notice (const char *cmsgid, ...)
 {
-  VA_OPEN (ap, msgid);
-  VA_FIXEDARG (ap, const char *, msgid);
+  va_list ap;
 
-  vfprintf (stderr, _(msgid), ap);
-  VA_CLOSE (ap);
+  va_start (ap, cmsgid);
+  vfprintf (stderr, _(cmsgid), ap);
+  va_end (ap);
 }
 \f
+static inline void
+validate_switches_from_spec (const char *spec)
+{
+  const char *p = spec;
+  char c;
+  while ((c = *p++))
+    if (c == '%' && (*p == '{' || *p == '<' || (*p == 'W' && *++p == '{')))
+      /* We have a switch spec.  */
+      p = validate_switches (p + 1);
+}
+
 static void
-validate_all_switches ()
+validate_all_switches (void)
 {
   struct compiler *comp;
-  const char *p;
-  char c;
   struct spec_list *spec;
 
   for (comp = compilers; comp->spec; comp++)
-    {
-      p = comp->spec;
-      while ((c = *p++))
-       if (c == '%' && (*p == '{' || (*p == 'W' && *++p == '{')))
-         /* We have a switch spec.  */
-         validate_switches (p + 1);
-    }
+    validate_switches_from_spec (comp->spec);
 
   /* Look through the linked list of specs read from the specs file.  */
   for (spec = specs; spec; spec = spec->next)
-    {
-      p = *(spec->ptr_spec);
-      while ((c = *p++))
-       if (c == '%' && (*p == '{' || (*p == 'W' && *++p == '{')))
-         /* We have a switch spec.  */
-         validate_switches (p + 1);
-    }
+    validate_switches_from_spec (*spec->ptr_spec);
 
-  p = link_command_spec;
-  while ((c = *p++))
-    if (c == '%' && (*p == '{' || (*p == 'W' && *++p == '{')))
-      /* We have a switch spec.  */
-      validate_switches (p + 1);
+  validate_switches_from_spec (link_command_spec);
 }
 
 /* Look at the switch-name that comes after START
    and mark as valid all supplied switches that match it.  */
 
-static void
-validate_switches (start)
-     const char *start;
+static const char *
+validate_switches (const char *start)
 {
   const char *p = start;
-  const char *filter;
+  const char *atom;
+  size_t len;
   int i;
-  int suffix;
+  bool suffix = false;
+  bool starred = false;
 
-  if (*p == '|')
-    ++p;
+#define SKIP_WHITE() do { while (*p == ' ' || *p == '\t') p++; } while (0)
 
 next_member:
+  SKIP_WHITE ();
+
   if (*p == '!')
-    ++p;
+    p++;
 
-  suffix = 0;
-  if (*p == '.')
-    suffix = 1, ++p;
+  SKIP_WHITE ();
+  if (*p == '.' || *p == ',')
+    suffix = true, p++;
 
-  filter = p;
-  while (*p != ':' && *p != '}' && *p != '|' && *p != '&')
+  atom = p;
+  while (ISIDNUM (*p) || *p == '-' || *p == '+' || *p == '='
+        || *p == ',' || *p == '.' || *p == '@')
     p++;
+  len = p - atom;
 
-  if (suffix)
-    ;
-  else if (p[-1] == '*')
+  if (*p == '*')
+    starred = true, p++;
+
+  SKIP_WHITE ();
+
+  if (!suffix)
     {
       /* Mark all matching switches as valid.  */
       for (i = 0; i < n_switches; i++)
-       if (!strncmp (switches[i].part1, filter, p - filter - 1))
+       if (!strncmp (switches[i].part1, atom, len)
+           && (starred || switches[i].part1[len] == 0))
          switches[i].validated = 1;
     }
-  else
+
+  if (*p) p++;
+  if (*p && (p[-1] == '|' || p[-1] == '&'))
+    goto next_member;
+
+  if (*p && p[-1] == ':')
     {
-      /* Mark an exact matching switch as valid.  */
-      for (i = 0; i < n_switches; i++)
+      while (*p && *p != ';' && *p != '}')
        {
-         if (!strncmp (switches[i].part1, filter, p - filter)
-             && switches[i].part1[p - filter] == 0)
-           switches[i].validated = 1;
+         if (*p == '%')
+           {
+             p++;
+             if (*p == '{' || *p == '<')
+               p = validate_switches (p+1);
+             else if (p[0] == 'W' && p[1] == '{')
+               p = validate_switches (p+2);
+           }
+         else
+           p++;
        }
+
+      if (*p) p++;
+      if (*p && p[-1] == ';')
+       goto next_member;
     }
 
-  if (*p++ == '|' || p[-1] == '&')
-    goto next_member;
+  return p;
+#undef SKIP_WHITE
 }
 \f
 struct mdswitchstr
@@ -6534,9 +7183,7 @@ static int n_mdswitches;
    canonicalize the switches to keep only the ones we care about.  */
 
 static int
-used_arg (p, len)
-     const char *p;
-     int len;
+used_arg (const char *p, int len)
 {
   struct mswitchstr
   {
@@ -6562,8 +7209,8 @@ used_arg (p, len)
        if (*q == ';')
          cnt++;
 
-      matches =
-       (struct mswitchstr *) alloca ((sizeof (struct mswitchstr)) * cnt);
+      matches
+       (struct mswitchstr *) alloca ((sizeof (struct mswitchstr)) * cnt);
       i = 0;
       q = multilib_matches;
       while (*q != '\0')
@@ -6572,7 +7219,10 @@ used_arg (p, len)
          while (*q != ' ')
            {
              if (*q == '\0')
-               abort ();
+               {
+               invalid_matches:
+                 fatal ("multilib spec '%s' is invalid", multilib_matches);
+               }
              q++;
            }
          matches[i].len = q - matches[i].str;
@@ -6581,7 +7231,7 @@ used_arg (p, len)
          while (*q != ';' && *q != '\0')
            {
              if (*q == ' ')
-               abort ();
+               goto invalid_matches;
              q++;
            }
          matches[i].rep_len = q - matches[i].replace;
@@ -6595,24 +7245,23 @@ used_arg (p, len)
         xmalloc from calling fatal, and prevents us from re-executing this
         block of code.  */
       mswitches
-       = (struct mswitchstr *)
-         xmalloc (sizeof (struct mswitchstr)
-                  * (n_mdswitches + (n_switches ? n_switches : 1)));
+       = XNEWVEC (struct mswitchstr, n_mdswitches + (n_switches ? n_switches : 1));
       for (i = 0; i < n_switches; i++)
-       {
-         int xlen = strlen (switches[i].part1);
-         for (j = 0; j < cnt; j++)
-           if (xlen == matches[j].len
-               && ! strncmp (switches[i].part1, matches[j].str, xlen))
-             {
-               mswitches[n_mswitches].str = matches[j].replace;
-               mswitches[n_mswitches].len = matches[j].rep_len;
-               mswitches[n_mswitches].replace = (char *) 0;
-               mswitches[n_mswitches].rep_len = 0;
-               n_mswitches++;
-               break;
-             }
-       }
+       if ((switches[i].live_cond & SWITCH_IGNORE) == 0)
+         {
+           int xlen = strlen (switches[i].part1);
+           for (j = 0; j < cnt; j++)
+             if (xlen == matches[j].len
+                 && ! strncmp (switches[i].part1, matches[j].str, xlen))
+               {
+                 mswitches[n_mswitches].str = matches[j].replace;
+                 mswitches[n_mswitches].len = matches[j].rep_len;
+                 mswitches[n_mswitches].replace = (char *) 0;
+                 mswitches[n_mswitches].rep_len = 0;
+                 n_mswitches++;
+                 break;
+               }
+         }
 
       /* Add MULTILIB_DEFAULTS switches too, as long as they were not present
         on the command line nor any options mutually incompatible with
@@ -6674,9 +7323,7 @@ used_arg (p, len)
 }
 
 static int
-default_arg (p, len)
-     const char *p;
-     int len;
+default_arg (const char *p, int len)
 {
   int i;
 
@@ -6699,7 +7346,7 @@ default_arg (p, len)
    will be used.  */
 
 static void
-set_multilib_dir ()
+set_multilib_dir (void)
 {
   const char *p;
   unsigned int this_path_len;
@@ -6725,9 +7372,7 @@ set_multilib_dir ()
     {
       int i = 0;
 
-      mdswitches
-        = (struct mdswitchstr *) xmalloc (sizeof (struct mdswitchstr)
-                                         * n_mdswitches);
+      mdswitches = XNEWVEC (struct mdswitchstr, n_mdswitches);
       for (start = multilib_defaults; *start != '\0'; start = end + 1)
        {
          while (*start == ' ' || *start == '\t')
@@ -6735,14 +7380,14 @@ set_multilib_dir ()
 
          if (*start == '\0')
            break;
-                                  
+
          for (end = start + 1;
               *end != ' ' && *end != '\t' && *end != '\0'; end++)
            ;
 
          obstack_grow (&multilib_obstack, start, end - start);
          obstack_1grow (&multilib_obstack, 0);
-         mdswitches[i].str = obstack_finish (&multilib_obstack);
+         mdswitches[i].str = XOBFINISH (&multilib_obstack, const char *);
          mdswitches[i++].len = end - start;
 
          if (*end == '\0')
@@ -6765,7 +7410,11 @@ set_multilib_dir ()
       while (*p != ';')
        {
          if (*p == '\0')
-           abort ();
+           {
+           invalid_exclusions:
+             fatal ("multilib exclusions '%s' is invalid",
+                    multilib_exclusions);
+           }
 
          if (! ok)
            {
@@ -6777,7 +7426,7 @@ set_multilib_dir ()
          while (*p != ' ' && *p != ';')
            {
              if (*p == '\0')
-               abort ();
+               goto invalid_exclusions;
              ++p;
            }
 
@@ -6819,7 +7468,11 @@ set_multilib_dir ()
       while (*p != ' ')
        {
          if (*p == '\0')
-           abort ();
+           {
+           invalid_select:
+             fatal ("multilib select '%s' is invalid",
+                    multilib_select);
+           }
          ++p;
        }
       this_path_len = p - this_path;
@@ -6831,7 +7484,7 @@ set_multilib_dir ()
       while (*p != ';')
        {
          if (*p == '\0')
-           abort ();
+           goto invalid_select;
 
          if (! ok)
            {
@@ -6843,7 +7496,7 @@ set_multilib_dir ()
          while (*p != ' ' && *p != ';')
            {
              if (*p == '\0')
-               abort ();
+               goto invalid_select;
              ++p;
            }
 
@@ -6881,7 +7534,7 @@ set_multilib_dir ()
          if (this_path_len != 1
              || this_path[0] != '.')
            {
-             char *new_multilib_dir = xmalloc (this_path_len + 1);
+             char *new_multilib_dir = XNEWVEC (char, this_path_len + 1);
              char *q;
 
              strncpy (new_multilib_dir, this_path, this_path_len);
@@ -6902,7 +7555,7 @@ set_multilib_dir ()
            q++;
          if (q < end)
            {
-             char *new_multilib_os_dir = xmalloc (end - q);
+             char *new_multilib_os_dir = XNEWVEC (char, end - q);
              memcpy (new_multilib_os_dir, q + 1, end - q - 1);
              new_multilib_os_dir[end - q - 1] = '\0';
              multilib_os_dir = new_multilib_os_dir;
@@ -6916,7 +7569,7 @@ set_multilib_dir ()
   if (multilib_dir == NULL && multilib_os_dir != NULL
       && strcmp (multilib_os_dir, ".") == 0)
     {
-      free ((char *) multilib_os_dir);
+      free (CONST_CAST (char *, multilib_os_dir));
       multilib_os_dir = NULL;
     }
   else if (multilib_dir != NULL && multilib_os_dir == NULL)
@@ -6934,7 +7587,7 @@ set_multilib_dir ()
    the exclusions.  */
 
 static void
-print_multilib_info ()
+print_multilib_info (void)
 {
   const char *p = multilib_select;
   const char *last_path = 0, *this_path;
@@ -6956,7 +7609,11 @@ print_multilib_info ()
       while (*p != ' ')
        {
          if (*p == '\0')
-           abort ();
+           {
+           invalid_select:
+             fatal ("multilib select '%s' is invalid", multilib_select);
+           }
+
          ++p;
        }
 
@@ -6990,7 +7647,11 @@ print_multilib_info ()
                int mp = 0;
 
                if (*e == '\0')
-                 abort ();
+                 {
+                 invalid_exclusion:
+                   fatal ("multilib exclusion '%s' is invalid",
+                          multilib_exclusions);
+                 }
 
                if (! m)
                  {
@@ -7003,7 +7664,7 @@ print_multilib_info ()
                while (*e != ' ' && *e != ';')
                  {
                    if (*e == '\0')
-                     abort ();
+                     goto invalid_exclusion;
                    ++e;
                  }
 
@@ -7014,19 +7675,20 @@ print_multilib_info ()
                    int len = e - this_arg;
 
                    if (*q == '\0')
-                     abort ();
+                     goto invalid_select;
 
                    arg = q;
 
                    while (*q != ' ' && *q != ';')
                      {
                        if (*q == '\0')
-                         abort ();
+                         goto invalid_select;
                        ++q;
                      }
 
-                   if (! strncmp (arg, this_arg, (len < q - arg) ? q - arg : len) ||
-                       default_arg (this_arg, e - this_arg))
+                   if (! strncmp (arg, this_arg,
+                                  (len < q - arg) ? q - arg : len)
+                       || default_arg (this_arg, e - this_arg))
                      {
                        mp = 1;
                        break;
@@ -7057,7 +7719,8 @@ print_multilib_info ()
       if (! skip)
        {
          /* If this is a duplicate, skip it.  */
-         skip = (last_path != 0 && (unsigned int) (p - this_path) == last_path_len
+         skip = (last_path != 0
+                 && (unsigned int) (p - this_path) == last_path_len
                  && ! strncmp (last_path, this_path, last_path_len));
 
          last_path = this_path;
@@ -7077,7 +7740,7 @@ print_multilib_info ()
              const char *arg;
 
              if (*q == '\0')
-               abort ();
+               goto invalid_select;
 
              if (*q == '!')
                arg = NULL;
@@ -7087,7 +7750,7 @@ print_multilib_info ()
              while (*q != ' ' && *q != ';')
                {
                  if (*q == '\0')
-                   abort ();
+                   goto invalid_select;
                  ++q;
                }
 
@@ -7118,7 +7781,7 @@ print_multilib_info ()
          int use_arg;
 
          if (*p == '\0')
-           abort ();
+           goto invalid_select;
 
          if (skip)
            {
@@ -7134,7 +7797,7 @@ print_multilib_info ()
          while (*p != ' ' && *p != ';')
            {
              if (*p == '\0')
-               abort ();
+               goto invalid_select;
              if (use_arg)
                putchar (*p);
              ++p;
@@ -7172,3 +7835,248 @@ print_multilib_info ()
       ++p;
     }
 }
+\f
+/* getenv built-in spec function.
+
+   Returns the value of the environment variable given by its first
+   argument, concatenated with the second argument.  If the
+   environment variable is not defined, a fatal error is issued.  */
+
+static const char *
+getenv_spec_function (int argc, const char **argv)
+{
+  char *value;
+  char *result;
+  char *ptr;
+  size_t len;
+
+  if (argc != 2)
+    return NULL;
+
+  value = getenv (argv[0]);
+  if (!value)
+    fatal ("environment variable \"%s\" not defined", argv[0]);
+
+  /* We have to escape every character of the environment variable so
+     they are not interpreted as active spec characters.  A
+     particularly painful case is when we are reading a variable
+     holding a windows path complete with \ separators.  */
+  len = strlen (value) * 2 + strlen (argv[1]) + 1;
+  result = XNEWVAR (char, len);
+  for (ptr = result; *value; ptr += 2)
+    {
+      ptr[0] = '\\';
+      ptr[1] = *value++;
+    }
+  
+  strcpy (ptr, argv[1]);
+  
+  return result;
+}
+
+/* if-exists built-in spec function.
+
+   Checks to see if the file specified by the absolute pathname in
+   ARGS exists.  Returns that pathname if found.
+
+   The usual use for this function is to check for a library file
+   (whose name has been expanded with %s).  */
+
+static const char *
+if_exists_spec_function (int argc, const char **argv)
+{
+  /* Must have only one argument.  */
+  if (argc == 1 && IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
+    return argv[0];
+
+  return NULL;
+}
+
+/* if-exists-else built-in spec function.
+
+   This is like if-exists, but takes an additional argument which
+   is returned if the first argument does not exist.  */
+
+static const char *
+if_exists_else_spec_function (int argc, const char **argv)
+{
+  /* Must have exactly two arguments.  */
+  if (argc != 2)
+    return NULL;
+
+  if (IS_ABSOLUTE_PATH (argv[0]) && ! access (argv[0], R_OK))
+    return argv[0];
+
+  return argv[1];
+}
+
+/* replace-outfile built-in spec function.
+
+   This looks for the first argument in the outfiles array's name and
+   replaces it with the second argument.  */
+
+static const char *
+replace_outfile_spec_function (int argc, const char **argv)
+{
+  int i;
+  /* Must have exactly two arguments.  */
+  if (argc != 2)
+    abort ();
+
+  for (i = 0; i < n_infiles; i++)
+    {
+      if (outfiles[i] && !strcmp (outfiles[i], argv[0]))
+       outfiles[i] = xstrdup (argv[1]);
+    }
+  return NULL;
+}
+
+/* Given two version numbers, compares the two numbers.
+   A version number must match the regular expression
+   ([1-9][0-9]*|0)(\.([1-9][0-9]*|0))*
+*/
+static int
+compare_version_strings (const char *v1, const char *v2)
+{
+  int rresult;
+  regex_t r;
+
+  if (regcomp (&r, "^([1-9][0-9]*|0)(\\.([1-9][0-9]*|0))*$",
+              REG_EXTENDED | REG_NOSUB) != 0)
+    abort ();
+  rresult = regexec (&r, v1, 0, NULL, 0);
+  if (rresult == REG_NOMATCH)
+    fatal ("invalid version number `%s'", v1);
+  else if (rresult != 0)
+    abort ();
+  rresult = regexec (&r, v2, 0, NULL, 0);
+  if (rresult == REG_NOMATCH)
+    fatal ("invalid version number `%s'", v2);
+  else if (rresult != 0)
+    abort ();
+
+  return strverscmp (v1, v2);
+}
+
+
+/* version_compare built-in spec function.
+
+   This takes an argument of the following form:
+
+   <comparison-op> <arg1> [<arg2>] <switch> <result>
+
+   and produces "result" if the comparison evaluates to true,
+   and nothing if it doesn't.
+
+   The supported <comparison-op> values are:
+
+   >=  true if switch is a later (or same) version than arg1
+   !>  opposite of >=
+   <   true if switch is an earlier version than arg1
+   !<  opposite of <
+   ><  true if switch is arg1 or later, and earlier than arg2
+   <>  true if switch is earlier than arg1 or is arg2 or later
+
+   If the switch is not present, the condition is false unless
+   the first character of the <comparison-op> is '!'.
+
+   For example,
+   %:version-compare(>= 10.3 mmacosx-version-min= -lmx)
+   adds -lmx if -mmacosx-version-min=10.3.9 was passed.  */
+
+static const char *
+version_compare_spec_function (int argc, const char **argv)
+{
+  int comp1, comp2;
+  size_t switch_len;
+  const char *switch_value = NULL;
+  int nargs = 1, i;
+  bool result;
+
+  if (argc < 3)
+    fatal ("too few arguments to %%:version-compare");
+  if (argv[0][0] == '\0')
+    abort ();
+  if ((argv[0][1] == '<' || argv[0][1] == '>') && argv[0][0] != '!')
+    nargs = 2;
+  if (argc != nargs + 3)
+    fatal ("too many arguments to %%:version-compare");
+
+  switch_len = strlen (argv[nargs + 1]);
+  for (i = 0; i < n_switches; i++)
+    if (!strncmp (switches[i].part1, argv[nargs + 1], switch_len)
+       && check_live_switch (i, switch_len))
+      switch_value = switches[i].part1 + switch_len;
+
+  if (switch_value == NULL)
+    comp1 = comp2 = -1;
+  else
+    {
+      comp1 = compare_version_strings (switch_value, argv[1]);
+      if (nargs == 2)
+       comp2 = compare_version_strings (switch_value, argv[2]);
+      else
+       comp2 = -1;  /* This value unused.  */
+    }
+
+  switch (argv[0][0] << 8 | argv[0][1])
+    {
+    case '>' << 8 | '=':
+      result = comp1 >= 0;
+      break;
+    case '!' << 8 | '<':
+      result = comp1 >= 0 || switch_value == NULL;
+      break;
+    case '<' << 8:
+      result = comp1 < 0;
+      break;
+    case '!' << 8 | '>':
+      result = comp1 < 0 || switch_value == NULL;
+      break;
+    case '>' << 8 | '<':
+      result = comp1 >= 0 && comp2 < 0;
+      break;
+    case '<' << 8 | '>':
+      result = comp1 < 0 || comp2 >= 0;
+      break;
+
+    default:
+      fatal ("unknown operator '%s' in %%:version-compare", argv[0]);
+    }
+  if (! result)
+    return NULL;
+
+  return argv[nargs + 2];
+}
+
+/* %:include builtin spec function.  This differs from %include in that it
+   can be nested inside a spec, and thus be conditionalized.  It takes
+   one argument, the filename, and looks for it in the startfile path.
+   The result is always NULL, i.e. an empty expansion.  */
+
+static const char *
+include_spec_function (int argc, const char **argv)
+{
+  char *file;
+
+  if (argc != 1)
+    abort ();
+
+  file = find_a_file (&startfile_prefixes, argv[0], R_OK, true);
+  read_specs (file ? file : argv[0], FALSE);
+
+  return NULL;
+}
+
+/* %:print-asm-header spec function.  Print a banner to say that the
+   following output is from the assembler.  */
+
+static const char *
+print_asm_header_spec_function (int arg ATTRIBUTE_UNUSED,
+                               const char **argv ATTRIBUTE_UNUSED)
+{
+  printf (_("Assembler options\n=================\n\n"));
+  printf (_("Use \"-Wa,OPTION\" to pass \"OPTION\" to the assembler.\n\n"));
+  fflush (stdout);
+  return NULL;
+}