OSDN Git Service

* gcc.dg/tree-ssa/fre-vce-1.c: Cleanup "fre" tree dump.
[pf3gnuchains/gcc-fork.git] / gcc / gcc.c
index bb4c465..f1dcc42 100644 (file)
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -1,6 +1,6 @@
 /* Compiler driver program that can handle many languages.
    Copyright (C) 1987, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-   1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
+   1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
    Free Software Foundation, Inc.
 
 This file is part of GCC.
@@ -84,6 +84,18 @@ compilation is specified by a string called a "spec".  */
 #include "flags.h"
 #include "opts.h"
 
+#ifdef HAVE_MMAP_FILE
+# include <sys/mman.h>
+# ifdef HAVE_MINCORE
+/* This is on Solaris.  */
+#  include <sys/types.h>
+# endif
+#endif
+
+#ifndef MAP_FAILED
+# define MAP_FAILED ((void *)-1)
+#endif
+
 /* 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)
@@ -169,6 +181,10 @@ static int print_multi_lib;
 
 static int print_help_list;
 
+/* Flag saying to print the version of gcc and its sub-processes.  */
+
+static int print_version;
+
 /* Flag saying to print the sysroot suffix used for searching for
    headers.  */
 
@@ -194,6 +210,10 @@ static int print_subprocess_help;
 
 static int report_times;
 
+/* Whether we should report subprocess execution times to a file.  */
+
+FILE *report_times_to_file = NULL;
+
 /* Nonzero means place this string before uses of /, so that include
    and library files can be found in an alternate location.  */
 
@@ -218,7 +238,15 @@ 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;
+static enum save_temps {
+  SAVE_TEMPS_NONE,             /* no -save-temps */
+  SAVE_TEMPS_CWD,              /* -save-temps in current directory */
+  SAVE_TEMPS_OBJ               /* -save-temps in object directory */
+} save_temps_flag;
+
+/* Output file to use to get the object directory for -save-temps=obj  */
+static char *save_temps_prefix = 0;
+static size_t save_temps_length = 0;
 
 /* Nonzero means pass multiple source files to the compiler at one time.  */
 
@@ -256,10 +284,12 @@ static const char *cross_compile = "0";
    switch.  The only case we support now is simply appending or deleting a
    string to or from the end of the first part of the configuration name.  */
 
+enum add_del {ADD, DELETE};
+
 static const struct modify_target
 {
   const char *const sw;
-  const enum add_del {ADD, DELETE} add_del;
+  const enum add_del add_del;
   const char *const str;
 }
 modify_target[] = MODIFY_TARGET_NAME;
@@ -373,6 +403,9 @@ 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 **);
+static const char *compare_debug_dump_opt_spec_function (int, const char **);
+static const char *compare_debug_self_opt_spec_function (int, const char **);
+static const char *compare_debug_auxbase_opt_spec_function (int, const char **);
 \f
 /* The Specs Language
 
@@ -393,7 +426,8 @@ or with constant text in a single argument.
  %i     substitute the name of the input file being processed.
  %b     substitute the basename of the input file being processed.
        This is the substring up to (and not including) the last period
-       and not including the directory.
+       and not including the directory unless -save-temps was specified
+       to put temporaries in a different location.     
  %B    same as %b, but include the file suffix (text after the last period).
  %gSUFFIX
        substitute a file name that has suffix SUFFIX and is chosen
@@ -436,7 +470,7 @@ or with constant text in a single argument.
         it is subsequently output with %*. SUFFIX is terminated by the next
         space or %.
  %d    marks the argument containing or following the %d as a
-       temporary file name, so that that file will be deleted if CC exits
+       temporary file name, so that that file will be deleted if GCC exits
        successfully.  Unlike %g, this contributes no text to the argument.
  %w    marks the argument containing or following the %w as the
        "output file" of this compilation.  This puts the argument
@@ -505,12 +539,12 @@ or with constant text in a single argument.
        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.
+ %{S}   substitutes the -S switch, if that switch was given to GCC.
        If that switch was not specified, this substitutes nothing.
        Here S is a metasyntactic variable.
- %{S*}  substitutes all the switches specified to CC whose names start
+ %{S*}  substitutes all the switches specified to GCC whose names start
        with -S.  This is used for -o, -I, etc; switches that take
-       arguments.  CC considers `-o foo' as being one switch whose
+       arguments.  GCC 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*&T*} likewise, but preserve order of S and T options (the order
@@ -518,10 +552,10 @@ or with constant text in a single argument.
        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 the -S switch was given to GCC.
+ %{!S:X}  substitutes X, if the -S switch was NOT given to GCC.
  %{S*:X}  substitutes X if one or more switches whose names start
-          with -S was given to CC.  Normally X is substituted only
+          with -S was given to GCC.  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
@@ -531,13 +565,13 @@ or with constant text in a single argument.
  %{,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
+ %{S|T:X} substitutes X if either -S or -T was given to GCC.  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;
+ %{S:X;   if S was given to GCC, substitutes X;
+   T:Y;   else if T was given to GCC, substitutes Y;
     :D}   else substitutes D.  There can be as many clauses as you need.
           This may be combined with '.', '!', ',', '|', and '*' as above.
 
@@ -561,15 +595,15 @@ The character | at the beginning of the predicate text is used to indicate
 that a command should be piped to the following command, but only if -pipe
 is specified.
 
-Note that it is built into CC which switches take arguments and which
+Note that it is built into GCC which switches take arguments and which
 do not.  You might think it would be useful to generalize this to
 allow each compiler's spec to say which switches take arguments.  But
-this cannot be done in a consistent fashion.  CC cannot even decide
+this cannot be done in a consistent fashion.  GCC cannot even decide
 which input files have been specified without knowing which switches
 take arguments, and it must know which input files to compile in order
 to tell which compilers to run.
 
-CC also knows implicitly that arguments starting in `-l' are to be
+GCC also knows implicitly that arguments starting in `-l' are to be
 treated as compiler output files, and passed to the linker in their
 proper position among the other output files.  */
 \f
@@ -677,14 +711,14 @@ proper position among the other output files.  */
      && 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}}" ASM_MAP  \
-       : "%{gstabs*:--gstabs}%{!gstabs*:%{g*:--gdwarf2}}" ASM_MAP)
+       ? "%{!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}" ASM_MAP
+#   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}" ASM_MAP
+#   define ASM_DEBUG_SPEC "%{g*:%{!g0:--gdwarf2}}" ASM_MAP
 #  endif
 # endif
 #endif
@@ -717,6 +751,13 @@ proper position among the other output files.  */
 #endif
 #endif
 
+#ifndef LINK_BUILDID_SPEC
+# if defined(HAVE_LD_BUILDID) && defined(ENABLE_LD_BUILDID)
+#  define LINK_BUILDID_SPEC "%{!r:--build-id} "
+# 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.  */
@@ -730,7 +771,7 @@ proper position among the other output files.  */
     %{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}\
+    %{fprofile-arcs|fprofile-generate*|coverage:-lgcov}\
     %{!nostdlib:%{!nodefaultlibs:%(link_ssp) %(link_gcc_c_sequence)}}\
     %{!A:%{!nostdlib:%{!nostartfiles:%E}}} %{T*} }}}}}}"
 #endif
@@ -817,17 +858,18 @@ static const char *cpp_unique_options =
 static const char *cpp_options =
 "%(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}";
+ %{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*}\
- %{c|S:%{o*:-auxbase-strip %*}%{!o*:-auxbase %b}}%{!c:%{!S:-auxbase %b}}\
+ %{fcompare-debug-second:%:compare-debug-auxbase-opt(%b)} \
+ %{!fcompare-debug-second:%{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}\
@@ -849,9 +891,11 @@ static const char *asm_options =
 
 static const char *invoke_as =
 #ifdef AS_NEEDS_DASH_FOR_PIPED_INPUT
-"%{!S:-o %|.s |\n as %(asm_options) %|.s %A }";
+"%{fcompare-debug=*:%:compare-debug-dump-opt()}\
+ %{!S:-o %|.s |\n as %(asm_options) %|.s %A }";
 #else
-"%{!S:-o %|.s |\n as %(asm_options) %m.s %A }";
+"%{fcompare-debug=*:%:compare-debug-dump-opt()}\
+ %{!S:-o %|.s |\n as %(asm_options) %m.s %A }";
 #endif
 
 /* Some compilers have limits on line lengths, and the multilib_select
@@ -996,17 +1040,17 @@ static const struct compiler default_compilers[] =
           %{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} \
+         %{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:\
+         %{!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:\
+         %{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},
   {"-",
@@ -1018,13 +1062,13 @@ static const struct compiler default_compilers[] =
       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} \
+         %{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:\
+         %{!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},
@@ -1647,6 +1691,9 @@ static const struct spec_function static_spec_functions[] =
   { "version-compare",         version_compare_spec_function },
   { "include",                 include_spec_function },
   { "print-asm-header",                print_asm_header_spec_function },
+  { "compare-debug-dump-opt",  compare_debug_dump_opt_spec_function },
+  { "compare-debug-self-opt",  compare_debug_self_opt_spec_function },
+  { "compare-debug-auxbase-opt", compare_debug_auxbase_opt_spec_function },
 #ifdef EXTRA_SPEC_FUNCTIONS
   EXTRA_SPEC_FUNCTIONS
 #endif
@@ -1831,9 +1878,16 @@ init_spec (void)
     asm_spec = XOBFINISH (&obstack, const char *);
   }
 #endif
-#ifdef LINK_EH_SPEC
+
+#if defined LINK_EH_SPEC || defined LINK_BUILDID_SPEC
+# ifdef LINK_BUILDID_SPEC
+  /* Prepend LINK_BUILDID_SPEC to whatever link_spec we had before.  */
+  obstack_grow (&obstack, LINK_BUILDID_SPEC, sizeof(LINK_BUILDID_SPEC) - 1);
+# 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);
+# endif
   obstack_grow0 (&obstack, link_spec, strlen (link_spec));
   link_spec = XOBFINISH (&obstack, const char *);
 #endif
@@ -2988,7 +3042,8 @@ execute (void)
 
   /* Run each piped subprocess.  */
 
-  pex = pex_init (PEX_USE_PIPES | (report_times ? PEX_RECORD_TIMES : 0),
+  pex = pex_init (PEX_USE_PIPES | ((report_times || report_times_to_file)
+                                  ? PEX_RECORD_TIMES : 0),
                  programname, temp_filename);
   if (pex == NULL)
     pfatal_with_name (_("pex_init failed"));
@@ -3032,7 +3087,7 @@ execute (void)
     if (!pex_get_status (pex, n_commands, statuses))
       pfatal_with_name (_("failed to get exit status"));
 
-    if (report_times)
+    if (report_times || report_times_to_file)
       {
        times = (struct pex_time *) alloca (n_commands * sizeof (struct pex_time));
        if (!pex_get_times (pex, n_commands, times))
@@ -3077,7 +3132,7 @@ See %s for instructions.",
            ret_code = -1;
          }
 
-       if (report_times)
+       if (report_times || report_times_to_file)
          {
            struct pex_time *pt = &times[i];
            double ut, st;
@@ -3088,7 +3143,43 @@ See %s for instructions.",
                  + (double) pt->system_microseconds / 1.0e6);
 
            if (ut + st != 0)
-             notice ("# %s %.2f %.2f\n", commands[i].prog, ut, st);
+             {
+               if (report_times)
+                 notice ("# %s %.2f %.2f\n", commands[i].prog, ut, st);
+
+               if (report_times_to_file)
+                 {
+                   int c = 0;
+                   const char *const *j;
+
+                   fprintf (report_times_to_file, "%g %g", ut, st);
+
+                   for (j = &commands[i].prog; *j; j = &commands[i].argv[++c])
+                     {
+                       const char *p;
+                       for (p = *j; *p; ++p)
+                         if (*p == '"' || *p == '\\' || *p == '$'
+                             || ISSPACE (*p))
+                           break;
+
+                       if (*p)
+                         {
+                           fprintf (report_times_to_file, " \"");
+                           for (p = *j; *p; ++p)
+                             {
+                               if (*p == '"' || *p == '\\' || *p == '$')
+                                 fputc ('\\', report_times_to_file);
+                               fputc (*p, report_times_to_file);
+                             }
+                           fputc ('"', report_times_to_file);
+                         }
+                       else
+                         fprintf (report_times_to_file, " %s", *j);
+                     }
+
+                   fputc ('\n', report_times_to_file);
+                 }
+             }
          }
       }
 
@@ -3126,6 +3217,29 @@ static struct switchstr *switches;
 
 static int n_switches;
 
+/* Set to zero if -fcompare-debug is disabled, positive if it's
+   enabled and we're running the first compilation, negative if it's
+   enabled and we're running the second compilation.  For most of the
+   time, it's in the range -1..1, but it can be temporarily set to 2
+   or 3 to indicate that the -fcompare-debug flags didn't come from
+   the command-line, but rather from the GCC_COMPARE_DEBUG environment
+   variable, until a synthesized -fcompare-debug flag is added to the
+   command line.  */
+int compare_debug;
+
+/* Set to nonzero if we've seen the -fcompare-debug-second flag.  */
+int compare_debug_second;
+
+/* Set to the flags that should be passed to the second compilation in
+   a -fcompare-debug compilation.  */
+const char *compare_debug_opt;
+
+static struct switchstr *switches_debug_check[2];
+
+static int n_switches_debug_check[2];
+
+static char *debug_check_temp_file[2];
+
 /* Language is one of three things:
 
    1) The name of a real programming language.
@@ -3228,10 +3342,11 @@ display_help (void)
   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|undocumented|params}[,{[^]joined|[^]separate}]\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);
@@ -3254,6 +3369,7 @@ display_help (void)
   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 (_("  -save-temps=<arg>        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);
@@ -3371,8 +3487,10 @@ process_command (int argc, const char **argv)
      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') && (NULL != strchr(argv[1] + 2,'-')))))
+      && (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;
@@ -3380,10 +3498,15 @@ process_command (int argc, const char **argv)
       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') && ( NULL != strchr(argv[1] + 2,'-')))))
+            && (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;
@@ -3420,8 +3543,18 @@ process_command (int argc, const char **argv)
       new_argv = XDUPVEC (char *, argv, argc + 1);
       new_argv[0] = new_argv0;
 
-      execvp (new_argv0, new_argv);
-      fatal ("couldn't run '%s': %s", new_argv0, xstrerror (errno));
+      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,
@@ -3588,10 +3721,15 @@ process_command (int argc, const char **argv)
     }
 
   /* Convert new-style -- options to old-style.  */
-  translate_options (&argc, (const char *const **) &argv);
+  translate_options (&argc,
+                    CONST_CAST2 (const char *const **, const char ***,
+                                 &argv));
 
   /* Do language-specific adjustment/addition of flags.  */
-  lang_specific_driver (&argc, (const char *const **) &argv, &added_libraries);
+  lang_specific_driver (&argc,
+                       CONST_CAST2 (const char *const **, const char ***,
+                                    &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.
@@ -3622,14 +3760,17 @@ process_command (int argc, const char **argv)
       else if (strcmp (argv[i], "-fversion") == 0)
        {
          /* translate_options () has turned --version into -fversion.  */
-         printf (_("%s %s%s\n"), programname, pkgversion_string,
-                 version_string);
-         printf ("Copyright %s 2008 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);
-         exit (0);
+         print_version = 1;
+
+         /* 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 ("--version", strlen ("--version"));
+         add_assembler_option ("--version", strlen ("--version"));
+         add_linker_option ("--version", strlen ("--version"));
        }
       else if (strcmp (argv[i], "-fhelp") == 0)
        {
@@ -3693,6 +3834,38 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        print_multi_os_directory = 1;
       else if (! strcmp (argv[i], "-print-sysroot-headers-suffix"))
        print_sysroot_headers_suffix = 1;
+      else if (! strcmp (argv[i], "-fcompare-debug-second"))
+       {
+         compare_debug_second = 1;
+         n_switches++;
+       }
+      else if (! strcmp (argv[i], "-fno-compare-debug"))
+       {
+         argv[i] = "-fcompare-debug=";
+         goto compare_debug_with_arg;
+       }
+      else if (! strcmp (argv[i], "-fcompare-debug"))
+       {
+         argv[i] = "-fcompare-debug=-gtoggle";
+         goto compare_debug_with_arg;
+       }
+#define OPT "-fcompare-debug="
+      else if (! strncmp (argv[i], OPT, sizeof (OPT) - 1))
+       {
+         const char *opt;
+       compare_debug_with_arg:
+         opt = argv[i] + sizeof (OPT) - 1;
+#undef OPT
+         if (*opt)
+           compare_debug = 1;
+         else
+           compare_debug = -1;
+         if (compare_debug < 0)
+           compare_debug_opt = NULL;
+         else
+           compare_debug_opt = opt;
+         n_switches++;
+       }
       else if (! strncmp (argv[i], "-Wa,", 4))
        {
          int prev, j;
@@ -3771,8 +3944,19 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        n_infiles++;
       else if (strcmp (argv[i], "-save-temps") == 0)
        {
-         save_temps_flag = 1;
+         save_temps_flag = SAVE_TEMPS_CWD;
+         n_switches++;
+       }
+      else if (strncmp (argv[i], "-save-temps=", 12) == 0)
+       {
          n_switches++;
+         if (strcmp (argv[i]+12, "cwd") == 0)
+           save_temps_flag = SAVE_TEMPS_CWD;
+         else if (strcmp (argv[i]+12, "obj") == 0
+                  || strcmp (argv[i]+12, "object") == 0)
+           save_temps_flag = SAVE_TEMPS_OBJ;
+         else
+           fatal ("'%s' is an unknown -save-temps option", argv[i]);
        }
       else if (strcmp (argv[i], "-combine") == 0)
        {
@@ -3809,6 +3993,12 @@ 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 (strncmp (argv[i], "-time=", sizeof ("-time=") - 1) == 0)
+       {
+         if (report_times_to_file)
+           fclose (report_times_to_file);
+         report_times_to_file = fopen (argv[i] + sizeof ("-time=") - 1, "a");
+       }
       else if (strcmp (argv[i], "-pipe") == 0)
        {
          /* -pipe has to go into the switches array as well as
@@ -3842,7 +4032,7 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
          switch (c)
            {
            case 'b':
-             if (NULL == strchr(argv[i] + 2, '-'))
+             if (p[1] && NULL == strchr (argv[i] + 2, '-'))
                goto normal_switch;
 
              /* Fall through.  */
@@ -3947,6 +4137,8 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
              else
                argv[i] = convert_filename (argv[i], ! have_c, 0);
 #endif
+             /* Save the output name in case -save-temps=obj was used.  */
+             save_temps_prefix = xstrdup ((p[1] == 0) ? argv[i + 1] : argv[i] + 1);
              goto normal_switch;
 
            default:
@@ -4004,6 +4196,25 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        }
     }
 
+  /* If -save-temps=obj and -o name, create the prefix to use for %b.
+     Otherwise just make -save-temps=obj the same as -save-temps=cwd.  */
+  if (save_temps_flag == SAVE_TEMPS_OBJ && save_temps_prefix != NULL)
+    {
+      save_temps_length = strlen (save_temps_prefix);
+      temp = strrchr (lbasename (save_temps_prefix), '.');
+      if (temp)
+       {
+         save_temps_length -= strlen (temp);
+         save_temps_prefix[save_temps_length] = '\0';
+       }
+
+    }
+  else if (save_temps_prefix != NULL)
+    {
+      free (save_temps_prefix);
+      save_temps_prefix = NULL;
+    }
+
   if (save_temps_flag && use_pipes)
     {
       /* -save-temps overrides -pipe, so that temp files are produced */
@@ -4012,6 +4223,29 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
       use_pipes = 0;
     }
 
+  if (!compare_debug)
+    {
+      const char *gcd = getenv ("GCC_COMPARE_DEBUG");
+
+      if (gcd && gcd[0] == '-')
+       {
+         compare_debug = 2;
+         compare_debug_opt = gcd;
+         n_switches++;
+       }
+      else if (gcd && *gcd && strcmp (gcd, "0"))
+       {
+         compare_debug = 3;
+         compare_debug_opt = "-gtoggle";
+         n_switches++;
+       }
+    }
+  else if (compare_debug < 0)
+    {
+      compare_debug = 0;
+      gcc_assert (!compare_debug_opt);
+    }
+
   /* 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
@@ -4200,6 +4434,8 @@ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
        ;
       else if (strcmp (argv[i], "-time") == 0)
        ;
+      else if (strncmp (argv[i], "-time=", sizeof ("-time=") - 1) == 0)
+       ;
       else if (strcmp (argv[i], "-###") == 0)
        ;
       else if (argv[i][0] == '-' && argv[i][1] != 0)
@@ -4303,8 +4539,21 @@ 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);
 
+  if (compare_debug == 2 || compare_debug == 3)
+    {
+      switches[n_switches].part1 = concat ("fcompare-debug=",
+                                          compare_debug_opt,
+                                          NULL);
+      switches[n_switches].args = 0;
+      switches[n_switches].live_cond = 0;
+      switches[n_switches].validated = 0;
+      switches[n_switches].ordering = 0;
+      n_switches++;
+      compare_debug = 1;
+    }
+
   /* Ensure we only invoke each subprocess once.  */
-  if (print_subprocess_help || print_help_list)
+  if (print_subprocess_help || print_help_list || print_version)
     {
       n_infiles = 1;
 
@@ -4346,6 +4595,11 @@ set_collect_gcc_options (void)
       if ((switches[i].live_cond & SWITCH_IGNORE) != 0)
        continue;
 
+      /* Don't use -fwhole-program when compiling the init and fini routines,
+        since we'd wrongly assume that the routines aren't needed.  */
+      if (strcmp (switches[i].part1, "fwhole-program") == 0)
+       continue;
+
       obstack_grow (&collect_obstack, "'-", 2);
       q = switches[i].part1;
       while ((p = strchr (q, '\'')))
@@ -4598,28 +4852,69 @@ do_self_spec (const char *spec)
 
   if (argbuf_index > 0)
     {
-      int i, first;
+      int i;
 
-      first = n_switches;
-      n_switches += argbuf_index;
-      switches = XRESIZEVEC (struct switchstr, switches, n_switches + 1);
+      switches = XRESIZEVEC (struct switchstr, switches,
+                            n_switches + argbuf_index + 1);
 
-      switches[n_switches] = switches[first];
       for (i = 0; i < argbuf_index; i++)
        {
          struct switchstr *sw;
+         const char *p = argbuf[i];
+         int c = *p;
 
          /* Each switch should start with '-'.  */
-         if (argbuf[i][0] != '-')
+         if (c != '-')
            fatal ("switch '%s' does not start with '-'", argbuf[i]);
 
-         sw = &switches[i + first];
-         sw->part1 = &argbuf[i][1];
-         sw->args = 0;
+         p++;
+         c = *p;
+
+         sw = &switches[n_switches++];
+         sw->part1 = p;
          sw->live_cond = 0;
          sw->validated = 0;
          sw->ordering = 0;
+
+         /* Deal with option arguments in separate argv elements.  */
+         if ((SWITCH_TAKES_ARG (c) > (p[1] != 0))
+             || WORD_SWITCH_TAKES_ARG (p))
+           {
+             int j = 0;
+             int n_args = WORD_SWITCH_TAKES_ARG (p);
+
+             if (n_args == 0)
+               {
+                 /* Count only the option arguments in separate argv elements.  */
+                 n_args = SWITCH_TAKES_ARG (c) - (p[1] != 0);
+               }
+             if (i + n_args >= argbuf_index)
+               fatal ("argument to '-%s' is missing", p);
+             sw->args
+               = XNEWVEC (const char *, n_args + 1);
+             while (j < n_args)
+               sw->args[j++] = argbuf[++i];
+             /* Null-terminate the vector.  */
+             sw->args[j] = 0;
+           }
+         else if (strchr (switches_need_spaces, c))
+           {
+             /* On some systems, ld cannot handle some options without
+                a space.  So split the option from its argument.  */
+             char *part1 = XNEWVEC (char, 2);
+             part1[0] = c;
+             part1[1] = '\0';
+
+             sw->part1 = part1;
+             sw->args = XNEWVEC (const char *, 2);
+             sw->args[0] = xstrdup (p+1);
+             sw->args[1] = 0;
+           }
+         else
+           sw->args = 0;
        }
+
+      switches[n_switches].part1 = 0;
     }
 }
 
@@ -4674,6 +4969,49 @@ spec_path (char *path, void *data)
   return NULL;
 }
 
+/* Create a temporary FILE with the contents of ARGV. Add @FILE to the
+   argument list. */
+
+static void
+create_at_file (char **argv)
+{
+  char *temp_file = make_temp_file ("");
+  char *at_argument = concat ("@", temp_file, NULL);
+  FILE *f = fopen (temp_file, "w");
+  int status;
+
+  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);
+
+  store_arg (at_argument, 0, 0);
+
+  record_temp_file (temp_file, !save_temps_flag, !save_temps_flag);
+}
+
+/* True if we should compile INFILE. */
+
+static bool
+compile_input_file_p (struct infile *infile)
+{
+  if ((!infile->language) || (infile->language[0] != '*'))
+    if (infile->incompiler == input_file_compiler)
+      return true;
+  return false;
+}
+
 /* 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
@@ -4758,12 +5096,22 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
            fatal ("spec '%s' invalid", spec);
 
          case 'b':
-           obstack_grow (&obstack, input_basename, basename_length);
+           if (save_temps_length)
+             obstack_grow (&obstack, save_temps_prefix, save_temps_length);
+           else
+             obstack_grow (&obstack, input_basename, basename_length);
+           if (compare_debug < 0)
+             obstack_grow (&obstack, ".gk", 3);
            arg_going = 1;
            break;
 
          case 'B':
-           obstack_grow (&obstack, input_basename, suffixed_basename_length);
+           if (save_temps_length)
+             obstack_grow (&obstack, save_temps_prefix, save_temps_length);
+           else
+             obstack_grow (&obstack, input_basename, suffixed_basename_length);
+           if (compare_debug < 0)
+             obstack_grow (&obstack, ".gk", 3);
            arg_going = 1;
            break;
 
@@ -4909,6 +5257,32 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
                    suffix_length += strlen (TARGET_OBJECT_SUFFIX);
                  }
 
+               if (compare_debug < 0)
+                 {
+                   suffix = concat (".gk", suffix, NULL);
+                   suffix_length += 3;
+                 }
+
+               /* If -save-temps=obj and -o were specified, use that for the
+                  temp file.  */
+               if (save_temps_length)
+                 {
+                   char *tmp;
+                   temp_filename_length
+                     = save_temps_length + suffix_length + 1;
+                   tmp = (char *) alloca (temp_filename_length);
+                   memcpy (tmp, save_temps_prefix, save_temps_length);
+                   memcpy (tmp + save_temps_length, suffix, suffix_length);
+                   tmp[save_temps_length + suffix_length] = '\0';
+                   temp_filename = save_string (tmp,
+                                                temp_filename_length + 1);
+                   obstack_grow (&obstack, temp_filename,
+                                 temp_filename_length);
+                   arg_going = 1;
+                   delete_this_arg = 0;
+                   break;
+                 }
+
                /* 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
@@ -4920,13 +5294,13 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
                if (save_temps_flag)
                  {
                    char *tmp;
-                   
-                   temp_filename_length = basename_length + suffix_length;
-                   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_length = basename_length + suffix_length + 1;
+                   tmp = (char *) alloca (temp_filename_length);
+                   memcpy (tmp, input_basename, basename_length);
+                   memcpy (tmp + basename_length, suffix, suffix_length);
+                   tmp[basename_length + suffix_length] = '\0';
                    temp_filename = tmp;
+
                    if (strcmp (temp_filename, input_filename) != 0)
                      {
 #ifndef HOST_LACKS_INODE_NUMBERS
@@ -5014,9 +5388,37 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
          case 'i':
            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)
+               if (at_file_supplied)
+                 {
+                   /* We are going to expand `%i' 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 **argv;
+                   int n_files = 0;
+                   int j;
+
+                   for (i = 0; i < n_infiles; i++)
+                     if (compile_input_file_p (&infiles[i]))
+                       n_files++;
+
+                   argv = (char **) alloca (sizeof (char *) * (n_files + 1));
+
+                   /* Copy the strings over.  */
+                   for (i = 0, j = 0; i < n_infiles; i++)
+                     if (compile_input_file_p (&infiles[i]))
+                       {
+                         argv[j] = CONST_CAST (char *, infiles[i].name);
+                         infiles[i].compiled = true;
+                         j++;
+                       }
+                   argv[j] = NULL;
+
+                   create_at_file (argv);
+                 }
+               else
+                 for (i = 0; (int) i < n_infiles; i++)
+                   if (compile_input_file_p (&infiles[i]))
                      {
                        store_arg (infiles[i].name, 0, 0);
                        infiles[i].compiled = true;
@@ -5094,14 +5496,8 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
                      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);
+                  int n_files, j;
 
                   /* Convert OUTFILES into a form suitable for writeargv.  */
 
@@ -5120,25 +5516,7 @@ do_spec_1 (const char *spec, int inswitch, const char *soft_matched_part)
                       }
                   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);
+                 create_at_file (argv);
                 }
               else
                 for (i = 0; i < max; i++)
@@ -5975,18 +6353,19 @@ check_live_switch (int switchnum, int prefix_length)
   const char *name = switches[switchnum].part1;
   int i;
 
+  /* 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 & SWITCH_LIVE) != 0
+           && (switches[switchnum].live_cond & SWITCH_FALSE) == 0
+           && (switches[switchnum].live_cond & SWITCH_IGNORE) == 0);
+
   /* In the common case of {<at-most-one-letter>*}, a negating
      switch would always match, so ignore that case.  We will just
      send the conflicting switches to the compiler phase.  */
   if (prefix_length >= 0 && prefix_length <= 1)
     return 1;
 
-  /* 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 & SWITCH_LIVE) != 0
-           && (switches[switchnum].live_cond & SWITCH_FALSE) == 0);
-
   /* Now search for duplicate in a manner that depends on the name.  */
   switch (*name)
     {
@@ -6147,16 +6526,7 @@ set_input (const char *filename)
 
   input_filename = filename;
   input_filename_length = strlen (input_filename);
-
-  input_basename = input_filename;
-#ifdef HAVE_DOS_BASED_FILE_SYSTEM
-  /* Skip drive name so 'x:foo' is handled properly.  */
-  if (input_basename[1] == ':')
-    input_basename += 2;
-#endif
-  for (p = input_basename; *p; p++)
-    if (IS_DIR_SEPARATOR (*p))
-      input_basename = p + 1;
+  input_basename = lbasename (input_filename);
 
   /* Find a suffix starting with the last period,
      and set basename_length to exclude that suffix.  */
@@ -6192,6 +6562,125 @@ fatal_error (int signum)
   kill (getpid (), signum);
 }
 
+/* Compare the contents of the two files named CMPFILE[0] and
+   CMPFILE[1].  Return zero if they're identical, nonzero
+   otherwise.  */
+
+static int
+compare_files (char *cmpfile[])
+{
+  int ret = 0;
+  FILE *temp[2] = { NULL, NULL };
+  int i;
+
+#if HAVE_MMAP_FILE
+  {
+    size_t length[2];
+    void *map[2] = { NULL, NULL };
+
+    for (i = 0; i < 2; i++)
+      {
+       struct stat st;
+
+       if (stat (cmpfile[i], &st) < 0 || !S_ISREG (st.st_mode))
+         {
+           error ("%s: could not determine length of compare-debug file %s",
+                  input_filename, cmpfile[i]);
+           ret = 1;
+           break;
+         }
+
+       length[i] = st.st_size;
+      }
+
+    if (!ret && length[0] != length[1])
+      {
+       error ("%s: -fcompare-debug failure (length)", input_filename);
+       ret = 1;
+      }
+
+    if (!ret)
+      for (i = 0; i < 2; i++)
+       {
+         int fd = open (cmpfile[i], O_RDONLY);
+         if (fd < 0)
+           {
+             error ("%s: could not open compare-debug file %s",
+                    input_filename, cmpfile[i]);
+             ret = 1;
+             break;
+           }
+
+         map[i] = mmap (NULL, length[i], PROT_READ, MAP_PRIVATE, fd, 0);
+         close (fd);
+
+         if (map[i] == (void *) MAP_FAILED)
+           {
+             ret = -1;
+             break;
+           }
+       }
+
+    if (!ret)
+      {
+       if (memcmp (map[0], map[1], length[0]) != 0)
+         {
+           error ("%s: -fcompare-debug failure", input_filename);
+           ret = 1;
+         }
+      }
+
+    for (i = 0; i < 2; i++)
+      if (map[i])
+       munmap ((caddr_t) map[i], length[i]);
+
+    if (ret >= 0)
+      return ret;
+
+    ret = 0;
+  }
+#endif
+
+  for (i = 0; i < 2; i++)
+    {
+      temp[i] = fopen (cmpfile[i], "r");
+      if (!temp[i])
+       {
+         error ("%s: could not open compare-debug file %s",
+                input_filename, cmpfile[i]);
+         ret = 1;
+         break;
+       }
+    }
+
+  if (!ret && temp[0] && temp[1])
+    for (;;)
+      {
+       int c0, c1;
+       c0 = fgetc (temp[0]);
+       c1 = fgetc (temp[1]);
+
+       if (c0 != c1)
+         {
+           error ("%s: -fcompare-debug failure",
+                  input_filename);
+           ret = 1;
+           break;
+         }
+
+       if (c0 == EOF)
+         break;
+      }
+
+  for (i = 1; i >= 0; i--)
+    {
+      if (temp[i])
+       fclose (temp[i]);
+    }
+
+  return ret;
+}
+
 extern int main (int, char **);
 
 int
@@ -6319,7 +6808,7 @@ main (int argc, char **argv)
      Make a table of specified input files (infiles, n_infiles).
      Decode switches that are handled locally.  */
 
-  process_command (argc, (const char **) argv);
+  process_command (argc, CONST_CAST2 (const char **, char **, argv));
 
   /* Initialize the vector of specs to just the default.
      This means one element containing 0s, as a terminator.  */
@@ -6364,6 +6853,43 @@ main (int argc, char **argv)
   for (i = 0; i < ARRAY_SIZE (driver_self_specs); i++)
     do_self_spec (driver_self_specs[i]);
 
+  if (compare_debug)
+    {
+      enum save_temps save;
+
+      if (!compare_debug_second)
+       {
+         n_switches_debug_check[1] = n_switches;
+         switches_debug_check[1] = XDUPVEC (struct switchstr, switches,
+                                            n_switches + 1);
+
+         do_self_spec ("%:compare-debug-self-opt()");
+         n_switches_debug_check[0] = n_switches;
+         switches_debug_check[0] = switches;
+
+         n_switches = n_switches_debug_check[1];
+         switches = switches_debug_check[1];
+       }
+
+      /* Avoid crash when computing %j in this early.  */
+      save = save_temps_flag;
+      save_temps_flag = SAVE_TEMPS_NONE;
+
+      compare_debug = -compare_debug;
+      do_self_spec ("%:compare-debug-self-opt()");
+
+      save_temps_flag = save;
+
+      if (!compare_debug_second)
+       {
+         n_switches_debug_check[1] = n_switches;
+         switches_debug_check[1] = switches;
+         compare_debug = -compare_debug;
+         n_switches = n_switches_debug_check[0];
+         switches = switches_debug_check[0];
+       }
+    }
+
   /* If not cross-compiling, look for executables in the standard
      places.  */
   if (*cross_compile == '0')
@@ -6584,7 +7110,28 @@ main (int argc, char **argv)
 
       /* 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 (print_version)
+    {
+      printf (_("%s %s%s\n"), programname, pkgversion_string,
+             version_string);
+      printf ("Copyright %s 2009 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);
+      if (! verbose_flag)
+       return 0;
+
+      /* We do not exit here. We use the same mechanism of --help to print
+        the version of the sub-processes. */
+      fputc ('\n', stdout);
+      fflush (stdout);
     }
 
   if (verbose_flag)
@@ -6771,10 +7318,63 @@ main (int argc, char **argv)
            }
          else
            {
+             if (compare_debug)
+               {
+                 if (debug_check_temp_file[0])
+                   free (debug_check_temp_file[0]);
+                 debug_check_temp_file[0] = NULL;
+
+                 if (debug_check_temp_file[1])
+                   free (debug_check_temp_file[1]);
+                 debug_check_temp_file[1] = NULL;
+               }
+
              value = do_spec (input_file_compiler->spec);
              infiles[i].compiled = true;
              if (value < 0)
                this_file_error = 1;
+             else if (compare_debug && debug_check_temp_file[0])
+               {
+                 if (verbose_flag)
+                   error ("Recompiling with -fcompare-debug");
+
+                 compare_debug = -compare_debug;
+                 n_switches = n_switches_debug_check[1];
+                 switches = switches_debug_check[1];
+
+                 value = do_spec (input_file_compiler->spec);
+
+                 compare_debug = -compare_debug;
+                 n_switches = n_switches_debug_check[0];
+                 switches = switches_debug_check[0];
+
+                 if (value < 0)
+                   {
+                     error ("during -fcompare-debug recompilation");
+                     this_file_error = 1;
+                   }
+
+                 gcc_assert (debug_check_temp_file[1]
+                             && strcmp (debug_check_temp_file[0],
+                                        debug_check_temp_file[1]));
+
+                 if (verbose_flag)
+                   error ("Comparing final insns dumps");
+
+                 if (compare_files (debug_check_temp_file))
+                   this_file_error = 1;
+               }
+
+             if (compare_debug)
+               {
+                 if (debug_check_temp_file[0])
+                   free (debug_check_temp_file[0]);
+                 debug_check_temp_file[0] = NULL;
+
+                 if (debug_check_temp_file[1])
+                   free (debug_check_temp_file[1]);
+                 debug_check_temp_file[1] = NULL;
+               }
            }
        }
 
@@ -8059,3 +8659,125 @@ print_asm_header_spec_function (int arg ATTRIBUTE_UNUSED,
   fflush (stdout);
   return NULL;
 }
+
+/* %:compare-debug-dump-opt spec function.  Save the last argument,
+   expected to be the last -fdump-final-insns option, or generate a
+   temporary.  */
+
+static const char *
+compare_debug_dump_opt_spec_function (int arg,
+                                     const char **argv ATTRIBUTE_UNUSED)
+{
+  const char *ret;
+  char *name;
+  int which;
+
+  if (arg != 0)
+    fatal ("too many arguments to %%:compare-debug-dump-opt");
+
+  if (!compare_debug)
+    return NULL;
+
+  do_spec_2 ("%{fdump-final-insns=*:%*}");
+  do_spec_1 (" ", 0, NULL);
+
+  if (argbuf_index > 0)
+    {
+      name = xstrdup (argv[argbuf_index - 1]);
+      ret = NULL;
+    }
+  else
+    {
+#define OPT "-fdump-final-insns="
+      ret = "-fdump-final-insns=%g.gkd";
+
+      do_spec_2 (ret + sizeof (OPT) - 1);
+      do_spec_1 (" ", 0, NULL);
+#undef OPT
+
+      gcc_assert (argbuf_index > 0);
+
+      name = xstrdup (argbuf[argbuf_index - 1]);
+    }
+
+  which = compare_debug < 0;
+  debug_check_temp_file[which] = name;
+
+#if 0
+  error ("compare-debug: [%i]=\"%s\", ret %s", which, name, ret);
+#endif
+
+  return ret;
+}
+
+static const char *debug_auxbase_opt;
+
+/* %:compare-debug-self-opt spec function.  Expands to the options
+    that are to be passed in the second compilation of
+    compare-debug.  */
+
+static const char *
+compare_debug_self_opt_spec_function (int arg,
+                                     const char **argv ATTRIBUTE_UNUSED)
+{
+  if (arg != 0)
+    fatal ("too many arguments to %%:compare-debug-self-opt");
+
+  if (compare_debug >= 0)
+    return NULL;
+
+  do_spec_2 ("%{c|S:%{o*:%*}}");
+  do_spec_1 (" ", 0, NULL);
+
+  if (argbuf_index > 0)
+    debug_auxbase_opt = concat ("-auxbase-strip ",
+                               argbuf[argbuf_index - 1],
+                               NULL);
+  else
+    debug_auxbase_opt = NULL;
+
+  return concat ("\
+%<o %<MD %<MMD %<MF* %<MG %<MP %<MQ* %<MT* \
+%<fdump-final-insns=* -w -S -o %j \
+%{!fcompare-debug-second:-fcompare-debug-second} \
+", compare_debug_opt, NULL);
+}
+
+/* %:compare-debug-auxbase-opt spec function.  Expands to the auxbase
+    options that are to be passed in the second compilation of
+    compare-debug.  It expects, as an argument, the basename of the
+    current input file name, with the .gk suffix appended to it.  */
+
+static const char *
+compare_debug_auxbase_opt_spec_function (int arg,
+                                        const char **argv)
+{
+  char *name;
+  int len;
+
+  if (arg == 0)
+    fatal ("too few arguments to %%:compare-debug-auxbase-opt");
+
+  if (arg != 1)
+    fatal ("too many arguments to %%:compare-debug-auxbase-opt");
+
+  if (compare_debug >= 0)
+    return NULL;
+
+  len = strlen (argv[0]);
+  if (len < 3 || strcmp (argv[0] + len - 3, ".gk") != 0)
+    fatal ("argument to %%:compare-debug-auxbase-opt does not end in .gk");
+
+  if (debug_auxbase_opt)
+    return debug_auxbase_opt;
+
+#define OPT "-auxbase "
+
+  len -= 3;
+  name = (char*) xmalloc (sizeof (OPT) + len);
+  memcpy (name, OPT, sizeof (OPT) - 1);
+  memcpy (name + sizeof (OPT) - 1, argv[0], len);
+  name[sizeof (OPT) - 1 + len] = '\0';
+
+  return name;
+}