OSDN Git Service

* target-def.h (TARGET_HAVE_NAMED_SECTIONS): Move to
[pf3gnuchains/gcc-fork.git] / gcc / toplev.c
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
4    2011 Free Software Foundation, Inc.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 /* This is the top level of cc1/c++.
23    It parses command args, opens files, invokes the various passes
24    in the proper order, and counts the time used by each.
25    Error messages and low-level interface to malloc also handled here.  */
26
27 #include "config.h"
28 #include "system.h"
29 #include "coretypes.h"
30 #include "tm.h"
31 #include "line-map.h"
32 #include "input.h"
33 #include "tree.h"
34 #include "realmpfr.h"   /* For GMP/MPFR/MPC versions, in print_version.  */
35 #include "version.h"
36 #include "rtl.h"
37 #include "tm_p.h"
38 #include "flags.h"
39 #include "insn-attr.h"
40 #include "insn-config.h"
41 #include "insn-flags.h"
42 #include "hard-reg-set.h"
43 #include "recog.h"
44 #include "output.h"
45 #include "except.h"
46 #include "function.h"
47 #include "toplev.h"
48 #include "expr.h"
49 #include "basic-block.h"
50 #include "intl.h"
51 #include "ggc.h"
52 #include "graph.h"
53 #include "regs.h"
54 #include "timevar.h"
55 #include "diagnostic.h"
56 #include "tree-diagnostic.h"
57 #include "tree-pretty-print.h"
58 #include "params.h"
59 #include "reload.h"
60 #include "ira.h"
61 #include "dwarf2asm.h"
62 #include "integrate.h"
63 #include "debug.h"
64 #include "target.h"
65 #include "common/common-target.h"
66 #include "langhooks.h"
67 #include "cfglayout.h"
68 #include "cfgloop.h"
69 #include "hosthooks.h"
70 #include "cgraph.h"
71 #include "opts.h"
72 #include "opts-diagnostic.h"
73 #include "coverage.h"
74 #include "value-prof.h"
75 #include "alloc-pool.h"
76 #include "tree-mudflap.h"
77 #include "tree-pass.h"
78 #include "gimple.h"
79 #include "tree-ssa-alias.h"
80 #include "plugin.h"
81
82 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
83 #include "dwarf2out.h"
84 #endif
85
86 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
87 #include "dbxout.h"
88 #endif
89
90 #ifdef SDB_DEBUGGING_INFO
91 #include "sdbout.h"
92 #endif
93
94 #ifdef XCOFF_DEBUGGING_INFO
95 #include "xcoffout.h"           /* Needed for external data
96                                    declarations for e.g. AIX 4.x.  */
97 #endif
98
99 static void general_init (const char *);
100 static void do_compile (void);
101 static void process_options (void);
102 static void backend_init (void);
103 static int lang_dependent_init (const char *);
104 static void init_asm_output (const char *);
105 static void finalize (bool);
106
107 static void crash_signal (int) ATTRIBUTE_NORETURN;
108 static void compile_file (void);
109
110 /* True if we don't need a backend (e.g. preprocessing only).  */
111 static bool no_backend;
112
113 /* Length of line when printing switch values.  */
114 #define MAX_LINE 75
115
116 /* Decoded options, and number of such options.  */
117 struct cl_decoded_option *save_decoded_options;
118 unsigned int save_decoded_options_count;
119
120 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
121    to optimize in process_options ().  */
122 #define AUTODETECT_VALUE 2
123
124 /* Debug hooks - dependent upon command line options.  */
125
126 const struct gcc_debug_hooks *debug_hooks;
127
128 /* True if this is the lto front end.  This is used to disable
129    gimple generation and lowering passes that are normally run on the
130    output of a front end.  These passes must be bypassed for lto since
131    they have already been done before the gimple was written.  */
132
133 bool in_lto_p = false;
134
135 /* The FUNCTION_DECL for the function currently being compiled,
136    or 0 if between functions.  */
137 tree current_function_decl;
138
139 /* Set to the FUNC_BEGIN label of the current function, or NULL
140    if none.  */
141 const char * current_function_func_begin_label;
142
143 /* A random sequence of characters, unless overridden by user.  */
144 static const char *flag_random_seed;
145
146 /* A local time stamp derived from the time of compilation. It will be
147    zero if the system cannot provide a time.  It will be -1u, if the
148    user has specified a particular random seed.  */
149 unsigned local_tick;
150
151 /* -f flags.  */
152
153 /* Generate code for GNU or NeXT Objective-C runtime environment.  */
154
155 #ifdef NEXT_OBJC_RUNTIME
156 int flag_next_runtime = 1;
157 #else
158 int flag_next_runtime = 0;
159 #endif
160
161 /* Nonzero means make permerror produce warnings instead of errors.  */
162
163 int flag_permissive = 0;
164
165 /* When non-NULL, indicates that whenever space is allocated on the
166    stack, the resulting stack pointer must not pass this
167    address---that is, for stacks that grow downward, the stack pointer
168    must always be greater than or equal to this address; for stacks
169    that grow upward, the stack pointer must be less than this address.
170    At present, the rtx may be either a REG or a SYMBOL_REF, although
171    the support provided depends on the backend.  */
172 rtx stack_limit_rtx;
173
174 /* True if the user has tagged the function with the 'section'
175    attribute.  */
176
177 bool user_defined_section_attribute = false;
178
179 struct target_flag_state default_target_flag_state;
180 #if SWITCHABLE_TARGET
181 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
182 #else
183 #define this_target_flag_state (&default_target_flag_state)
184 #endif
185
186 typedef struct
187 {
188   const char *const string;
189   int *const variable;
190   const int on_value;
191 }
192 lang_independent_options;
193
194 /* The user symbol prefix after having resolved same.  */
195 const char *user_label_prefix;
196
197 static const param_info lang_independent_params[] = {
198 #define DEFPARAM(ENUM, OPTION, HELP, DEFAULT, MIN, MAX) \
199   { OPTION, DEFAULT, MIN, MAX, HELP },
200 #include "params.def"
201 #undef DEFPARAM
202   { NULL, 0, 0, 0, NULL }
203 };
204
205 /* Output files for assembler code (real compiler output)
206    and debugging dumps.  */
207
208 FILE *asm_out_file;
209 FILE *aux_info_file;
210 FILE *stack_usage_file = NULL;
211 FILE *dump_file = NULL;
212 const char *dump_file_name;
213
214 /* The current working directory of a translation.  It's generally the
215    directory from which compilation was initiated, but a preprocessed
216    file may specify the original directory in which it was
217    created.  */
218
219 static const char *src_pwd;
220
221 /* Initialize src_pwd with the given string, and return true.  If it
222    was already initialized, return false.  As a special case, it may
223    be called with a NULL argument to test whether src_pwd has NOT been
224    initialized yet.  */
225
226 bool
227 set_src_pwd (const char *pwd)
228 {
229   if (src_pwd)
230     {
231       if (strcmp (src_pwd, pwd) == 0)
232         return true;
233       else
234         return false;
235     }
236
237   src_pwd = xstrdup (pwd);
238   return true;
239 }
240
241 /* Return the directory from which the translation unit was initiated,
242    in case set_src_pwd() was not called before to assign it a
243    different value.  */
244
245 const char *
246 get_src_pwd (void)
247 {
248   if (! src_pwd)
249     {
250       src_pwd = getpwd ();
251       if (!src_pwd)
252         src_pwd = ".";
253     }
254
255    return src_pwd;
256 }
257
258 /* Called when the start of a function definition is parsed,
259    this function prints on stderr the name of the function.  */
260 void
261 announce_function (tree decl)
262 {
263   if (!quiet_flag)
264     {
265       if (rtl_dump_and_exit)
266         fprintf (stderr, "%s ",
267                  identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
268       else
269         fprintf (stderr, " %s",
270                  identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
271       fflush (stderr);
272       pp_needs_newline (global_dc->printer) = true;
273       diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
274     }
275 }
276
277 /* Initialize local_tick with the time of day, or -1 if
278    flag_random_seed is set.  */
279
280 static void
281 init_local_tick (void)
282 {
283   if (!flag_random_seed)
284     {
285       /* Get some more or less random data.  */
286 #ifdef HAVE_GETTIMEOFDAY
287       {
288         struct timeval tv;
289
290         gettimeofday (&tv, NULL);
291         local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
292       }
293 #else
294       {
295         time_t now = time (NULL);
296
297         if (now != (time_t)-1)
298           local_tick = (unsigned) now;
299       }
300 #endif
301     }
302   else
303     local_tick = -1;
304 }
305
306 /* Set up a default flag_random_seed and local_tick, unless the user
307    already specified one.  Must be called after init_local_tick.  */
308
309 static void
310 init_random_seed (void)
311 {
312   unsigned HOST_WIDE_INT value;
313   static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
314
315   value = local_tick ^ getpid ();
316
317   sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
318   flag_random_seed = random_seed;
319 }
320
321 /* Obtain the random_seed string.  Unless NOINIT, initialize it if
322    it's not provided in the command line.  */
323
324 const char *
325 get_random_seed (bool noinit)
326 {
327   if (!flag_random_seed && !noinit)
328     init_random_seed ();
329   return flag_random_seed;
330 }
331
332 /* Modify the random_seed string to VAL.  Return its previous
333    value.  */
334
335 const char *
336 set_random_seed (const char *val)
337 {
338   const char *old = flag_random_seed;
339   flag_random_seed = val;
340   return old;
341 }
342
343 /* Handler for fatal signals, such as SIGSEGV.  These are transformed
344    into ICE messages, which is much more user friendly.  In case the
345    error printer crashes, reset the signal to prevent infinite recursion.  */
346
347 static void
348 crash_signal (int signo)
349 {
350   signal (signo, SIG_DFL);
351
352   /* If we crashed while processing an ASM statement, then be a little more
353      graceful.  It's most likely the user's fault.  */
354   if (this_is_asm_operands)
355     {
356       output_operand_lossage ("unrecoverable error");
357       exit (FATAL_EXIT_CODE);
358     }
359
360   internal_error ("%s", strsignal (signo));
361 }
362
363 /* A subroutine of wrapup_global_declarations.  We've come to the end of
364    the compilation unit.  All deferred variables should be undeferred,
365    and all incomplete decls should be finalized.  */
366
367 void
368 wrapup_global_declaration_1 (tree decl)
369 {
370   /* We're not deferring this any longer.  Assignment is conditional to
371      avoid needlessly dirtying PCH pages.  */
372   if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
373       && DECL_DEFER_OUTPUT (decl) != 0)
374     DECL_DEFER_OUTPUT (decl) = 0;
375
376   if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
377     lang_hooks.finish_incomplete_decl (decl);
378 }
379
380 /* A subroutine of wrapup_global_declarations.  Decide whether or not DECL
381    needs to be output.  Return true if it is output.  */
382
383 bool
384 wrapup_global_declaration_2 (tree decl)
385 {
386   if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
387     return false;
388
389   /* Don't write out static consts, unless we still need them.
390
391      We also keep static consts if not optimizing (for debugging),
392      unless the user specified -fno-keep-static-consts.
393      ??? They might be better written into the debug information.
394      This is possible when using DWARF.
395
396      A language processor that wants static constants to be always
397      written out (even if it is not used) is responsible for
398      calling rest_of_decl_compilation itself.  E.g. the C front-end
399      calls rest_of_decl_compilation from finish_decl.
400      One motivation for this is that is conventional in some
401      environments to write things like:
402      static const char rcsid[] = "... version string ...";
403      intending to force the string to be in the executable.
404
405      A language processor that would prefer to have unneeded
406      static constants "optimized away" would just defer writing
407      them out until here.  E.g. C++ does this, because static
408      constants are often defined in header files.
409
410      ??? A tempting alternative (for both C and C++) would be
411      to force a constant to be written if and only if it is
412      defined in a main file, as opposed to an include file.  */
413
414   if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
415     {
416       struct varpool_node *node;
417       bool needed = true;
418       node = varpool_get_node (decl);
419
420       if (!node && flag_ltrans)
421         needed = false;
422       else if (node && node->finalized)
423         needed = false;
424       else if (node && node->alias)
425         needed = false;
426       else if (!cgraph_global_info_ready
427                && (TREE_USED (decl)
428                    || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
429         /* needed */;
430       else if (node && node->needed)
431         /* needed */;
432       else if (DECL_COMDAT (decl))
433         needed = false;
434       else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
435                && (optimize || !flag_keep_static_consts
436                    || DECL_ARTIFICIAL (decl)))
437         needed = false;
438
439       if (needed)
440         {
441           rest_of_decl_compilation (decl, 1, 1);
442           return true;
443         }
444     }
445
446   return false;
447 }
448
449 /* Do any final processing required for the declarations in VEC, of
450    which there are LEN.  We write out inline functions and variables
451    that have been deferred until this point, but which are required.
452    Returns nonzero if anything was put out.  */
453
454 bool
455 wrapup_global_declarations (tree *vec, int len)
456 {
457   bool reconsider, output_something = false;
458   int i;
459
460   for (i = 0; i < len; i++)
461     wrapup_global_declaration_1 (vec[i]);
462
463   /* Now emit any global variables or functions that we have been
464      putting off.  We need to loop in case one of the things emitted
465      here references another one which comes earlier in the list.  */
466   do
467     {
468       reconsider = false;
469       for (i = 0; i < len; i++)
470         reconsider |= wrapup_global_declaration_2 (vec[i]);
471       if (reconsider)
472         output_something = true;
473     }
474   while (reconsider);
475
476   return output_something;
477 }
478
479 /* A subroutine of check_global_declarations.  Issue appropriate warnings
480    for the global declaration DECL.  */
481
482 void
483 check_global_declaration_1 (tree decl)
484 {
485   /* Warn about any function declared static but not defined.  We don't
486      warn about variables, because many programs have static variables
487      that exist only to get some text into the object file.  */
488   if (TREE_CODE (decl) == FUNCTION_DECL
489       && DECL_INITIAL (decl) == 0
490       && DECL_EXTERNAL (decl)
491       && ! DECL_ARTIFICIAL (decl)
492       && ! TREE_NO_WARNING (decl)
493       && ! TREE_PUBLIC (decl)
494       && (warn_unused_function
495           || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
496     {
497       if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
498         pedwarn (input_location, 0, "%q+F used but never defined", decl);
499       else
500         warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
501       /* This symbol is effectively an "extern" declaration now.  */
502       TREE_PUBLIC (decl) = 1;
503       assemble_external (decl);
504     }
505
506   /* Warn about static fns or vars defined but not used.  */
507   if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
508        /* We don't warn about "static const" variables because the
509           "rcs_id" idiom uses that construction.  */
510        || (warn_unused_variable
511            && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
512       && ! DECL_IN_SYSTEM_HEADER (decl)
513       && ! TREE_USED (decl)
514       /* The TREE_USED bit for file-scope decls is kept in the identifier,
515          to handle multiple external decls in different scopes.  */
516       && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
517       && ! DECL_EXTERNAL (decl)
518       && ! TREE_PUBLIC (decl)
519       /* A volatile variable might be used in some non-obvious way.  */
520       && ! TREE_THIS_VOLATILE (decl)
521       /* Global register variables must be declared to reserve them.  */
522       && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
523       /* Otherwise, ask the language.  */
524       && lang_hooks.decls.warn_unused_global (decl))
525     warning ((TREE_CODE (decl) == FUNCTION_DECL)
526              ? OPT_Wunused_function
527              : OPT_Wunused_variable,
528              "%q+D defined but not used", decl);
529 }
530
531 /* Issue appropriate warnings for the global declarations in VEC (of
532    which there are LEN).  */
533
534 void
535 check_global_declarations (tree *vec, int len)
536 {
537   int i;
538
539   for (i = 0; i < len; i++)
540     check_global_declaration_1 (vec[i]);
541 }
542
543 /* Emit debugging information for all global declarations in VEC.  */
544
545 void
546 emit_debug_global_declarations (tree *vec, int len)
547 {
548   int i;
549
550   /* Avoid confusing the debug information machinery when there are errors.  */
551   if (seen_error ())
552     return;
553
554   timevar_push (TV_SYMOUT);
555   for (i = 0; i < len; i++)
556     debug_hooks->global_decl (vec[i]);
557   timevar_pop (TV_SYMOUT);
558 }
559
560 /* Compile an entire translation unit.  Write a file of assembly
561    output and various debugging dumps.  */
562
563 static void
564 compile_file (void)
565 {
566   timevar_start (TV_PHASE_PARSING);
567   timevar_push (TV_PARSE_GLOBAL);
568
569   /* Call the parser, which parses the entire file (calling
570      rest_of_compilation for each function).  */
571   lang_hooks.parse_file ();
572
573   timevar_pop (TV_PARSE_GLOBAL);
574   timevar_stop (TV_PHASE_PARSING);
575
576   /* Compilation is now finished except for writing
577      what's left of the symbol table output.  */
578
579   if (flag_syntax_only || flag_wpa)
580     return;
581
582   timevar_start (TV_PHASE_GENERATE);
583
584   ggc_protect_identifiers = false;
585
586   /* This must also call cgraph_finalize_compilation_unit.  */
587   lang_hooks.decls.final_write_globals ();
588
589   if (seen_error ())
590     {
591       timevar_stop (TV_PHASE_GENERATE);
592       return;
593     }
594
595   varpool_assemble_pending_decls ();
596   finish_aliases_2 ();
597
598   /* Likewise for mudflap static object registrations.  */
599   if (flag_mudflap)
600     mudflap_finish_file ();
601
602   output_shared_constant_pool ();
603   output_object_blocks ();
604
605   /* Write out any pending weak symbol declarations.  */
606   weak_finish ();
607
608   /* This must be at the end before unwind and debug info.
609      Some target ports emit PIC setup thunks here.  */
610   targetm.asm_out.code_end ();
611
612   /* Do dbx symbols.  */
613   timevar_push (TV_SYMOUT);
614
615 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
616   if (dwarf2out_do_frame ())
617     dwarf2out_frame_finish ();
618 #endif
619
620   (*debug_hooks->finish) (main_input_filename);
621   timevar_pop (TV_SYMOUT);
622
623   /* Output some stuff at end of file if nec.  */
624
625   dw2_output_indirect_constants ();
626
627   /* Flush any pending external directives.  */
628   process_pending_assemble_externals ();
629
630   /* Emit LTO marker if LTO info has been previously emitted.  This is
631      used by collect2 to determine whether an object file contains IL.
632      We used to emit an undefined reference here, but this produces
633      link errors if an object file with IL is stored into a shared
634      library without invoking lto1.  */
635   if (flag_generate_lto)
636     {
637 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
638       ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
639                                       "__gnu_lto_v1",
640                                       (unsigned HOST_WIDE_INT) 1, 8);
641 #elif defined ASM_OUTPUT_ALIGNED_COMMON
642       ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
643                                  (unsigned HOST_WIDE_INT) 1, 8);
644 #else
645       ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
646                          (unsigned HOST_WIDE_INT) 1,
647                          (unsigned HOST_WIDE_INT) 1);
648 #endif
649     }
650
651   /* Attach a special .ident directive to the end of the file to identify
652      the version of GCC which compiled this code.  The format of the .ident
653      string is patterned after the ones produced by native SVR4 compilers.  */
654 #ifdef IDENT_ASM_OP
655   if (!flag_no_ident)
656     {
657       const char *pkg_version = "(GNU) ";
658
659       if (strcmp ("(GCC) ", pkgversion_string))
660         pkg_version = pkgversion_string;
661       fprintf (asm_out_file, "%s\"GCC: %s%s\"\n",
662                IDENT_ASM_OP, pkg_version, version_string);
663     }
664 #endif
665
666   /* Invoke registered plugin callbacks.  */
667   invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
668
669   /* This must be at the end.  Some target ports emit end of file directives
670      into the assembly file here, and hence we can not output anything to the
671      assembly file after this point.  */
672   targetm.asm_out.file_end ();
673
674   timevar_stop (TV_PHASE_GENERATE);
675 }
676
677 /* Indexed by enum debug_info_type.  */
678 const char *const debug_type_names[] =
679 {
680   "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
681 };
682
683 /* Print version information to FILE.
684    Each line begins with INDENT (for the case where FILE is the
685    assembler output file).  */
686
687 void
688 print_version (FILE *file, const char *indent)
689 {
690   static const char fmt1[] =
691 #ifdef __GNUC__
692     N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
693 #else
694     N_("%s%s%s %sversion %s (%s) compiled by CC, ")
695 #endif
696     ;
697   static const char fmt2[] =
698     N_("GMP version %s, MPFR version %s, MPC version %s\n");
699   static const char fmt3[] =
700     N_("%s%swarning: %s header version %s differs from library version %s.\n");
701   static const char fmt4[] =
702     N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
703 #ifndef __VERSION__
704 #define __VERSION__ "[?]"
705 #endif
706   fprintf (file,
707            file == stderr ? _(fmt1) : fmt1,
708            indent, *indent != 0 ? " " : "",
709            lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
710            indent, __VERSION__);
711
712   /* We need to stringify the GMP macro values.  Ugh, gmp_version has
713      two string formats, "i.j.k" and "i.j" when k is zero.  As of
714      gmp-4.3.0, GMP always uses the 3 number format.  */
715 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
716 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3(X)
717 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
718 #define GCC_GMP_VERSION \
719   GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
720 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
721 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
722   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR)
723 #else
724 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
725   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR) "." \
726   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_PATCHLEVEL)
727 #endif
728   fprintf (file,
729            file == stderr ? _(fmt2) : fmt2,
730            GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
731   if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
732     fprintf (file,
733              file == stderr ? _(fmt3) : fmt3,
734              indent, *indent != 0 ? " " : "",
735              "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
736   if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
737     fprintf (file,
738              file == stderr ? _(fmt3) : fmt3,
739              indent, *indent != 0 ? " " : "",
740              "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
741   if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
742     fprintf (file,
743              file == stderr ? _(fmt3) : fmt3,
744              indent, *indent != 0 ? " " : "",
745              "MPC", MPC_VERSION_STRING, mpc_get_version ());
746   fprintf (file,
747            file == stderr ? _(fmt4) : fmt4,
748            indent, *indent != 0 ? " " : "",
749            PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
750
751   print_plugins_versions (file, indent);
752 }
753
754 #ifdef ASM_COMMENT_START
755 static int
756 print_to_asm_out_file (print_switch_type type, const char * text)
757 {
758   bool prepend_sep = true;
759
760   switch (type)
761     {
762     case SWITCH_TYPE_LINE_END:
763       putc ('\n', asm_out_file);
764       return 1;
765
766     case SWITCH_TYPE_LINE_START:
767       fputs (ASM_COMMENT_START, asm_out_file);
768       return strlen (ASM_COMMENT_START);
769
770     case SWITCH_TYPE_DESCRIPTIVE:
771       if (ASM_COMMENT_START[0] == 0)
772         prepend_sep = false;
773       /* Drop through.  */
774     case SWITCH_TYPE_PASSED:
775     case SWITCH_TYPE_ENABLED:
776       if (prepend_sep)
777         fputc (' ', asm_out_file);
778       fputs (text, asm_out_file);
779       /* No need to return the length here as
780          print_single_switch has already done it.  */
781       return 0;
782
783     default:
784       return -1;
785     }
786 }
787 #endif
788
789 static int
790 print_to_stderr (print_switch_type type, const char * text)
791 {
792   switch (type)
793     {
794     case SWITCH_TYPE_LINE_END:
795       putc ('\n', stderr);
796       return 1;
797
798     case SWITCH_TYPE_LINE_START:
799       return 0;
800
801     case SWITCH_TYPE_PASSED:
802     case SWITCH_TYPE_ENABLED:
803       fputc (' ', stderr);
804       /* Drop through.  */
805
806     case SWITCH_TYPE_DESCRIPTIVE:
807       fputs (text, stderr);
808       /* No need to return the length here as
809          print_single_switch has already done it.  */
810       return 0;
811
812     default:
813       return -1;
814     }
815 }
816
817 /* Print an option value and return the adjusted position in the line.
818    ??? print_fn doesn't handle errors, eg disk full; presumably other
819    code will catch a disk full though.  */
820
821 static int
822 print_single_switch (print_switch_fn_type print_fn,
823                      int pos,
824                      print_switch_type type,
825                      const char * text)
826 {
827   /* The ultrix fprintf returns 0 on success, so compute the result
828      we want here since we need it for the following test.  The +1
829      is for the separator character that will probably be emitted.  */
830   int len = strlen (text) + 1;
831
832   if (pos != 0
833       && pos + len > MAX_LINE)
834     {
835       print_fn (SWITCH_TYPE_LINE_END, NULL);
836       pos = 0;
837     }
838
839   if (pos == 0)
840     pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
841
842   print_fn (type, text);
843   return pos + len;
844 }
845
846 /* Print active target switches using PRINT_FN.
847    POS is the current cursor position and MAX is the size of a "line".
848    Each line begins with INDENT and ends with TERM.
849    Each switch is separated from the next by SEP.  */
850
851 static void
852 print_switch_values (print_switch_fn_type print_fn)
853 {
854   int pos = 0;
855   size_t j;
856
857   /* Fill in the -frandom-seed option, if the user didn't pass it, so
858      that it can be printed below.  This helps reproducibility.  */
859   if (!flag_random_seed)
860     init_random_seed ();
861
862   /* Print the options as passed.  */
863   pos = print_single_switch (print_fn, pos,
864                              SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
865
866   for (j = 1; j < save_decoded_options_count; j++)
867     {
868       switch (save_decoded_options[j].opt_index)
869         {
870         case OPT_o:
871         case OPT_d:
872         case OPT_dumpbase:
873         case OPT_dumpdir:
874         case OPT_auxbase:
875         case OPT_quiet:
876         case OPT_version:
877           /* Ignore these.  */
878           continue;
879         }
880
881       pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
882                                  save_decoded_options[j].orig_option_with_args_text);
883     }
884
885   if (pos > 0)
886     print_fn (SWITCH_TYPE_LINE_END, NULL);
887
888   /* Print the -f and -m options that have been enabled.
889      We don't handle language specific options but printing argv
890      should suffice.  */
891   pos = print_single_switch (print_fn, 0,
892                              SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
893
894   for (j = 0; j < cl_options_count; j++)
895     if (cl_options[j].cl_report
896         && option_enabled (j, &global_options) > 0)
897       pos = print_single_switch (print_fn, pos,
898                                  SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
899
900   print_fn (SWITCH_TYPE_LINE_END, NULL);
901 }
902
903 /* Open assembly code output file.  Do this even if -fsyntax-only is
904    on, because then the driver will have provided the name of a
905    temporary file or bit bucket for us.  NAME is the file specified on
906    the command line, possibly NULL.  */
907 static void
908 init_asm_output (const char *name)
909 {
910   if (name == NULL && asm_file_name == 0)
911     asm_out_file = stdout;
912   else
913     {
914       if (asm_file_name == 0)
915         {
916           int len = strlen (dump_base_name);
917           char *dumpname = XNEWVEC (char, len + 6);
918
919           memcpy (dumpname, dump_base_name, len + 1);
920           strip_off_ending (dumpname, len);
921           strcat (dumpname, ".s");
922           asm_file_name = dumpname;
923         }
924       if (!strcmp (asm_file_name, "-"))
925         asm_out_file = stdout;
926       else
927         asm_out_file = fopen (asm_file_name, "w+b");
928       if (asm_out_file == 0)
929         fatal_error ("can%'t open %s for writing: %m", asm_file_name);
930     }
931
932   if (!flag_syntax_only)
933     {
934       targetm.asm_out.file_start ();
935
936       if (flag_record_gcc_switches)
937         {
938           if (targetm.asm_out.record_gcc_switches)
939             {
940               /* Let the target know that we are about to start recording.  */
941               targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
942                                                    NULL);
943               /* Now record the switches.  */
944               print_switch_values (targetm.asm_out.record_gcc_switches);
945               /* Let the target know that the recording is over.  */
946               targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
947                                                    NULL);
948             }
949           else
950             inform (input_location, "-frecord-gcc-switches is not supported by the current target");
951         }
952
953 #ifdef ASM_COMMENT_START
954       if (flag_verbose_asm)
955         {
956           /* Print the list of switches in effect
957              into the assembler file as comments.  */
958           print_version (asm_out_file, ASM_COMMENT_START);
959           print_switch_values (print_to_asm_out_file);
960           putc ('\n', asm_out_file);
961         }
962 #endif
963     }
964 }
965
966 /* Default tree printer.   Handles declarations only.  */
967 bool
968 default_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
969                       int precision, bool wide, bool set_locus, bool hash)
970 {
971   tree t;
972
973   /* FUTURE: %+x should set the locus.  */
974   if (precision != 0 || wide || hash)
975     return false;
976
977   switch (*spec)
978     {
979     case 'E':
980       t = va_arg (*text->args_ptr, tree);
981       if (TREE_CODE (t) == IDENTIFIER_NODE)
982         {
983           pp_identifier (pp, IDENTIFIER_POINTER (t));
984           return true;
985         }
986       break;
987
988     case 'D':
989       t = va_arg (*text->args_ptr, tree);
990       if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
991         t = DECL_DEBUG_EXPR (t);
992       break;
993
994     case 'F':
995     case 'T':
996       t = va_arg (*text->args_ptr, tree);
997       break;
998
999     case 'K':
1000       percent_K_format (text);
1001       return true;
1002
1003     default:
1004       return false;
1005     }
1006
1007   if (set_locus && text->locus)
1008     *text->locus = DECL_SOURCE_LOCATION (t);
1009
1010   if (DECL_P (t))
1011     {
1012       const char *n = DECL_NAME (t)
1013         ? identifier_to_locale (lang_hooks.decl_printable_name (t, 2))
1014         : _("<anonymous>");
1015       pp_string (pp, n);
1016     }
1017   else
1018     dump_generic_node (pp, t, 0, TDF_DIAGNOSTIC, 0);
1019
1020   return true;
1021 }
1022
1023 /* A helper function; used as the reallocator function for cpp's line
1024    table.  */
1025 static void *
1026 realloc_for_line_map (void *ptr, size_t len)
1027 {
1028   return GGC_RESIZEVAR (void, ptr, len);
1029 }
1030
1031 /* A helper function: used as the allocator function for
1032    identifier_to_locale.  */
1033 static void *
1034 alloc_for_identifier_to_locale (size_t len)
1035 {
1036   return ggc_alloc_atomic (len);
1037 }
1038
1039 /* Output stack usage information.  */
1040 void
1041 output_stack_usage (void)
1042 {
1043   static bool warning_issued = false;
1044   enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1045   const char *stack_usage_kind_str[] = {
1046     "static",
1047     "dynamic",
1048     "dynamic,bounded"
1049   };
1050   HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1051   enum stack_usage_kind_type stack_usage_kind;
1052
1053   if (stack_usage < 0)
1054     {
1055       if (!warning_issued)
1056         {
1057           warning (0, "stack usage computation not supported for this target");
1058           warning_issued = true;
1059         }
1060       return;
1061     }
1062
1063   stack_usage_kind = STATIC;
1064
1065   /* Add the maximum amount of space pushed onto the stack.  */
1066   if (current_function_pushed_stack_size > 0)
1067     {
1068       stack_usage += current_function_pushed_stack_size;
1069       stack_usage_kind = DYNAMIC_BOUNDED;
1070     }
1071
1072   /* Now on to the tricky part: dynamic stack allocation.  */
1073   if (current_function_allocates_dynamic_stack_space)
1074     {
1075       if (current_function_has_unbounded_dynamic_stack_size)
1076         stack_usage_kind = DYNAMIC;
1077       else
1078         stack_usage_kind = DYNAMIC_BOUNDED;
1079
1080       /* Add the size even in the unbounded case, this can't hurt.  */
1081       stack_usage += current_function_dynamic_stack_size;
1082     }
1083
1084   if (flag_stack_usage)
1085     {
1086       expanded_location loc
1087         = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1088       const char *raw_id, *id;
1089
1090       /* Strip the scope prefix if any.  */
1091       raw_id = lang_hooks.decl_printable_name (current_function_decl, 2);
1092       id = strrchr (raw_id, '.');
1093       if (id)
1094         id++;
1095       else
1096         id = raw_id;
1097
1098       fprintf (stack_usage_file,
1099                "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1100                lbasename (loc.file),
1101                loc.line,
1102                loc.column,
1103                id,
1104                stack_usage,
1105                stack_usage_kind_str[stack_usage_kind]);
1106     }
1107
1108   if (warn_stack_usage >= 0)
1109     {
1110       if (stack_usage_kind == DYNAMIC)
1111         warning (OPT_Wstack_usage_, "stack usage might be unbounded");
1112       else if (stack_usage > warn_stack_usage)
1113         {
1114           if (stack_usage_kind == DYNAMIC_BOUNDED)
1115             warning (OPT_Wstack_usage_, "stack usage might be %wd bytes",
1116                      stack_usage);
1117           else
1118             warning (OPT_Wstack_usage_, "stack usage is %wd bytes",
1119                      stack_usage);
1120         }
1121     }
1122 }
1123
1124 /* Open an auxiliary output file.  */
1125 static FILE *
1126 open_auxiliary_file (const char *ext)
1127 {
1128   char *filename;
1129   FILE *file;
1130
1131   filename = concat (aux_base_name, ".", ext, NULL);
1132   file = fopen (filename, "w");
1133   if (!file)
1134     fatal_error ("can%'t open %s for writing: %m", filename);
1135   free (filename);
1136   return file;
1137 }
1138
1139 /* Initialization of the front end environment, before command line
1140    options are parsed.  Signal handlers, internationalization etc.
1141    ARGV0 is main's argv[0].  */
1142 static void
1143 general_init (const char *argv0)
1144 {
1145   const char *p;
1146
1147   p = argv0 + strlen (argv0);
1148   while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1149     --p;
1150   progname = p;
1151
1152   xmalloc_set_program_name (progname);
1153
1154   hex_init ();
1155
1156   /* Unlock the stdio streams.  */
1157   unlock_std_streams ();
1158
1159   gcc_init_libintl ();
1160
1161   identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1162   identifier_to_locale_free = ggc_free;
1163
1164   /* Initialize the diagnostics reporting machinery, so option parsing
1165      can give warnings and errors.  */
1166   diagnostic_initialize (global_dc, N_OPTS);
1167   diagnostic_starter (global_dc) = default_tree_diagnostic_starter;
1168   /* Set a default printer.  Language specific initializations will
1169      override it later.  */
1170   pp_format_decoder (global_dc->printer) = &default_tree_printer;
1171   global_dc->show_option_requested
1172     = global_options_init.x_flag_diagnostics_show_option;
1173   global_dc->show_column
1174     = global_options_init.x_flag_show_column;
1175   global_dc->internal_error = plugins_internal_error_function;
1176   global_dc->option_enabled = option_enabled;
1177   global_dc->option_state = &global_options;
1178   global_dc->option_name = option_name;
1179
1180   /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages.  */
1181 #ifdef SIGSEGV
1182   signal (SIGSEGV, crash_signal);
1183 #endif
1184 #ifdef SIGILL
1185   signal (SIGILL, crash_signal);
1186 #endif
1187 #ifdef SIGBUS
1188   signal (SIGBUS, crash_signal);
1189 #endif
1190 #ifdef SIGABRT
1191   signal (SIGABRT, crash_signal);
1192 #endif
1193 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1194   signal (SIGIOT, crash_signal);
1195 #endif
1196 #ifdef SIGFPE
1197   signal (SIGFPE, crash_signal);
1198 #endif
1199
1200   /* Other host-specific signal setup.  */
1201   (*host_hooks.extra_signals)();
1202
1203   /* Initialize the garbage-collector, string pools and tree type hash
1204      table.  */
1205   init_ggc ();
1206   init_stringpool ();
1207   line_table = ggc_alloc_line_maps ();
1208   linemap_init (line_table);
1209   line_table->reallocator = realloc_for_line_map;
1210   init_ttree ();
1211
1212   /* Initialize register usage now so switches may override.  */
1213   init_reg_sets ();
1214
1215   /* Register the language-independent parameters.  */
1216   add_params (lang_independent_params, LAST_PARAM);
1217   targetm.target_option.default_params ();
1218
1219   /* This must be done after add_params but before argument processing.  */
1220   init_ggc_heuristics();
1221   init_optimization_passes ();
1222   statistics_early_init ();
1223   finish_params ();
1224 }
1225
1226 /* Return true if the current target supports -fsection-anchors.  */
1227
1228 static bool
1229 target_supports_section_anchors_p (void)
1230 {
1231   if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1232     return false;
1233
1234   if (targetm.asm_out.output_anchor == NULL)
1235     return false;
1236
1237   return true;
1238 }
1239
1240 /* Default the align_* variables to 1 if they're still unset, and
1241    set up the align_*_log variables.  */
1242 static void
1243 init_alignments (void)
1244 {
1245   if (align_loops <= 0)
1246     align_loops = 1;
1247   if (align_loops_max_skip > align_loops)
1248     align_loops_max_skip = align_loops - 1;
1249   align_loops_log = floor_log2 (align_loops * 2 - 1);
1250   if (align_jumps <= 0)
1251     align_jumps = 1;
1252   if (align_jumps_max_skip > align_jumps)
1253     align_jumps_max_skip = align_jumps - 1;
1254   align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1255   if (align_labels <= 0)
1256     align_labels = 1;
1257   align_labels_log = floor_log2 (align_labels * 2 - 1);
1258   if (align_labels_max_skip > align_labels)
1259     align_labels_max_skip = align_labels - 1;
1260   if (align_functions <= 0)
1261     align_functions = 1;
1262   align_functions_log = floor_log2 (align_functions * 2 - 1);
1263 }
1264
1265 /* Process the options that have been parsed.  */
1266 static void
1267 process_options (void)
1268 {
1269   /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1270      This can happen with incorrect pre-processed input. */
1271   debug_hooks = &do_nothing_debug_hooks;
1272
1273   maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1274
1275   /* Allow the front end to perform consistency checks and do further
1276      initialization based on the command line options.  This hook also
1277      sets the original filename if appropriate (e.g. foo.i -> foo.c)
1278      so we can correctly initialize debug output.  */
1279   no_backend = lang_hooks.post_options (&main_input_filename);
1280
1281   /* Some machines may reject certain combinations of options.  */
1282   targetm.target_option.override ();
1283
1284   /* Avoid any informative notes in the second run of -fcompare-debug.  */
1285   if (flag_compare_debug) 
1286     diagnostic_inhibit_notes (global_dc);
1287
1288   if (flag_section_anchors && !target_supports_section_anchors_p ())
1289     {
1290       warning (OPT_fsection_anchors,
1291                "this target does not support %qs", "-fsection-anchors");
1292       flag_section_anchors = 0;
1293     }
1294
1295   if (flag_short_enums == 2)
1296     flag_short_enums = targetm.default_short_enums ();
1297
1298   /* Set aux_base_name if not already set.  */
1299   if (aux_base_name)
1300     ;
1301   else if (main_input_filename)
1302     {
1303       char *name = xstrdup (lbasename (main_input_filename));
1304
1305       strip_off_ending (name, strlen (name));
1306       aux_base_name = name;
1307     }
1308   else
1309     aux_base_name = "gccaux";
1310
1311 #ifndef HAVE_cloog
1312   if (flag_graphite
1313       || flag_graphite_identity
1314       || flag_loop_block
1315       || flag_loop_flatten
1316       || flag_loop_interchange
1317       || flag_loop_strip_mine
1318       || flag_loop_parallelize_all)
1319     sorry ("Graphite loop optimizations cannot be used (-fgraphite, "
1320            "-fgraphite-identity, -floop-block, -floop-flatten, "
1321            "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1322            "and -ftree-loop-linear)");
1323 #endif
1324
1325   /* Unrolling all loops implies that standard loop unrolling must also
1326      be done.  */
1327   if (flag_unroll_all_loops)
1328     flag_unroll_loops = 1;
1329
1330   /* web and rename-registers help when run after loop unrolling.  */
1331   if (flag_web == AUTODETECT_VALUE)
1332     flag_web = flag_unroll_loops || flag_peel_loops;
1333
1334   if (flag_rename_registers == AUTODETECT_VALUE)
1335     flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1336
1337   if (flag_non_call_exceptions)
1338     flag_asynchronous_unwind_tables = 1;
1339   if (flag_asynchronous_unwind_tables)
1340     flag_unwind_tables = 1;
1341
1342   if (flag_value_profile_transformations)
1343     flag_profile_values = 1;
1344
1345   /* Warn about options that are not supported on this machine.  */
1346 #ifndef INSN_SCHEDULING
1347   if (flag_schedule_insns || flag_schedule_insns_after_reload)
1348     warning (0, "instruction scheduling not supported on this target machine");
1349 #endif
1350 #ifndef DELAY_SLOTS
1351   if (flag_delayed_branch)
1352     warning (0, "this target machine does not have delayed branches");
1353 #endif
1354
1355   user_label_prefix = USER_LABEL_PREFIX;
1356   if (flag_leading_underscore != -1)
1357     {
1358       /* If the default prefix is more complicated than "" or "_",
1359          issue a warning and ignore this option.  */
1360       if (user_label_prefix[0] == 0 ||
1361           (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1362         {
1363           user_label_prefix = flag_leading_underscore ? "_" : "";
1364         }
1365       else
1366         warning (0, "-f%sleading-underscore not supported on this target machine",
1367                  flag_leading_underscore ? "" : "no-");
1368     }
1369
1370   /* If we are in verbose mode, write out the version and maybe all the
1371      option flags in use.  */
1372   if (version_flag)
1373     {
1374       print_version (stderr, "");
1375       if (! quiet_flag)
1376         print_switch_values (print_to_stderr);
1377     }
1378
1379   if (flag_syntax_only)
1380     {
1381       write_symbols = NO_DEBUG;
1382       profile_flag = 0;
1383     }
1384
1385   if (flag_gtoggle)
1386     {
1387       if (debug_info_level == DINFO_LEVEL_NONE)
1388         {
1389           debug_info_level = DINFO_LEVEL_NORMAL;
1390
1391           if (write_symbols == NO_DEBUG)
1392             write_symbols = PREFERRED_DEBUGGING_TYPE;
1393         }
1394       else
1395         debug_info_level = DINFO_LEVEL_NONE;
1396     }
1397
1398   if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1399     {
1400       FILE *final_output = fopen (flag_dump_final_insns, "w");
1401       if (!final_output)
1402         {
1403           error ("could not open final insn dump file %qs: %m",
1404                  flag_dump_final_insns);
1405           flag_dump_final_insns = NULL;
1406         }
1407       else if (fclose (final_output))
1408         {
1409           error ("could not close zeroed insn dump file %qs: %m",
1410                  flag_dump_final_insns);
1411           flag_dump_final_insns = NULL;
1412         }
1413     }
1414
1415   /* Unless over-ridden for the target, assume that all DWARF levels
1416      may be emitted, if DWARF2_DEBUG is selected.  */
1417   if (dwarf_strict < 0)
1418     dwarf_strict = 0;
1419
1420   /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1421      level is 0.  */
1422   if (debug_info_level == DINFO_LEVEL_NONE)
1423     write_symbols = NO_DEBUG;
1424
1425   if (write_symbols == NO_DEBUG)
1426     ;
1427 #if defined(DBX_DEBUGGING_INFO)
1428   else if (write_symbols == DBX_DEBUG)
1429     debug_hooks = &dbx_debug_hooks;
1430 #endif
1431 #if defined(XCOFF_DEBUGGING_INFO)
1432   else if (write_symbols == XCOFF_DEBUG)
1433     debug_hooks = &xcoff_debug_hooks;
1434 #endif
1435 #ifdef SDB_DEBUGGING_INFO
1436   else if (write_symbols == SDB_DEBUG)
1437     debug_hooks = &sdb_debug_hooks;
1438 #endif
1439 #ifdef DWARF2_DEBUGGING_INFO
1440   else if (write_symbols == DWARF2_DEBUG)
1441     debug_hooks = &dwarf2_debug_hooks;
1442 #endif
1443 #ifdef VMS_DEBUGGING_INFO
1444   else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1445     debug_hooks = &vmsdbg_debug_hooks;
1446 #endif
1447   else
1448     error ("target system does not support the \"%s\" debug format",
1449            debug_type_names[write_symbols]);
1450
1451   /* We know which debug output will be used so we can set flag_var_tracking
1452      and flag_var_tracking_uninit if the user has not specified them.  */
1453   if (debug_info_level < DINFO_LEVEL_NORMAL
1454       || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1455     {
1456       if (flag_var_tracking == 1
1457           || flag_var_tracking_uninit == 1)
1458         {
1459           if (debug_info_level < DINFO_LEVEL_NORMAL)
1460             warning (0, "variable tracking requested, but useless unless "
1461                      "producing debug info");
1462           else
1463             warning (0, "variable tracking requested, but not supported "
1464                      "by this debug format");
1465         }
1466       flag_var_tracking = 0;
1467       flag_var_tracking_uninit = 0;
1468     }
1469
1470   /* The debug hooks are used to implement -fdump-go-spec because it
1471      gives a simple and stable API for all the information we need to
1472      dump.  */
1473   if (flag_dump_go_spec != NULL)
1474     debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1475
1476   /* If the user specifically requested variable tracking with tagging
1477      uninitialized variables, we need to turn on variable tracking.
1478      (We already determined above that variable tracking is feasible.)  */
1479   if (flag_var_tracking_uninit)
1480     flag_var_tracking = 1;
1481
1482   if (flag_var_tracking == AUTODETECT_VALUE)
1483     flag_var_tracking = optimize >= 1;
1484
1485   if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1486     flag_var_tracking_assignments = flag_var_tracking
1487       && !(flag_selective_scheduling || flag_selective_scheduling2);
1488
1489   if (flag_var_tracking_assignments_toggle)
1490     flag_var_tracking_assignments = !flag_var_tracking_assignments;
1491
1492   if (flag_var_tracking_assignments && !flag_var_tracking)
1493     flag_var_tracking = flag_var_tracking_assignments = -1;
1494
1495   if (flag_var_tracking_assignments
1496       && (flag_selective_scheduling || flag_selective_scheduling2))
1497     warning (0, "var-tracking-assignments changes selective scheduling");
1498
1499   if (flag_tree_cselim == AUTODETECT_VALUE)
1500 #ifdef HAVE_conditional_move
1501     flag_tree_cselim = 1;
1502 #else
1503     flag_tree_cselim = 0;
1504 #endif
1505
1506   /* If auxiliary info generation is desired, open the output file.
1507      This goes in the same directory as the source file--unlike
1508      all the other output files.  */
1509   if (flag_gen_aux_info)
1510     {
1511       aux_info_file = fopen (aux_info_file_name, "w");
1512       if (aux_info_file == 0)
1513         fatal_error ("can%'t open %s: %m", aux_info_file_name);
1514     }
1515
1516   if (!targetm_common.have_named_sections)
1517     {
1518       if (flag_function_sections)
1519         {
1520           warning (0, "-ffunction-sections not supported for this target");
1521           flag_function_sections = 0;
1522         }
1523       if (flag_data_sections)
1524         {
1525           warning (0, "-fdata-sections not supported for this target");
1526           flag_data_sections = 0;
1527         }
1528     }
1529
1530   if (flag_function_sections && profile_flag)
1531     {
1532       warning (0, "-ffunction-sections disabled; it makes profiling impossible");
1533       flag_function_sections = 0;
1534     }
1535
1536 #ifndef HAVE_prefetch
1537   if (flag_prefetch_loop_arrays > 0)
1538     {
1539       warning (0, "-fprefetch-loop-arrays not supported for this target");
1540       flag_prefetch_loop_arrays = 0;
1541     }
1542 #else
1543   if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1544     {
1545       warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1546       flag_prefetch_loop_arrays = 0;
1547     }
1548 #endif
1549
1550   /* This combination of options isn't handled for i386 targets and doesn't
1551      make much sense anyway, so don't allow it.  */
1552   if (flag_prefetch_loop_arrays > 0 && optimize_size)
1553     {
1554       warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1555       flag_prefetch_loop_arrays = 0;
1556     }
1557
1558   /* The presence of IEEE signaling NaNs, implies all math can trap.  */
1559   if (flag_signaling_nans)
1560     flag_trapping_math = 1;
1561
1562   /* We cannot reassociate if we want traps or signed zeros.  */
1563   if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1564     {
1565       warning (0, "-fassociative-math disabled; other options take precedence");
1566       flag_associative_math = 0;
1567     }
1568
1569   /* With -fcx-limited-range, we do cheap and quick complex arithmetic.  */
1570   if (flag_cx_limited_range)
1571     flag_complex_method = 0;
1572
1573   /* With -fcx-fortran-rules, we do something in-between cheap and C99.  */
1574   if (flag_cx_fortran_rules)
1575     flag_complex_method = 1;
1576
1577   /* Targets must be able to place spill slots at lower addresses.  If the
1578      target already uses a soft frame pointer, the transition is trivial.  */
1579   if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1580     {
1581       warning (0, "-fstack-protector not supported for this target");
1582       flag_stack_protect = 0;
1583     }
1584   if (!flag_stack_protect)
1585     warn_stack_protect = 0;
1586
1587   /* ??? Unwind info is not correct around the CFG unless either a frame
1588      pointer is present or A_O_A is set.  Fixing this requires rewriting
1589      unwind info generation to be aware of the CFG and propagating states
1590      around edges.  */
1591   if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS
1592       && flag_omit_frame_pointer)
1593     {
1594       warning (0, "unwind tables currently require a frame pointer "
1595                "for correctness");
1596       flag_omit_frame_pointer = 0;
1597     }
1598
1599   /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1600      have not been set.  */
1601   if (!global_options_set.x_warnings_are_errors
1602       && warn_coverage_mismatch
1603       && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1604           DK_UNSPECIFIED))
1605     diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1606                                     DK_ERROR, UNKNOWN_LOCATION);
1607
1608   /* Save the current optimization options.  */
1609   optimization_default_node = build_optimization_node ();
1610   optimization_current_node = optimization_default_node;
1611 }
1612
1613 /* This function can be called multiple times to reinitialize the compiler
1614    back end when register classes or instruction sets have changed,
1615    before each function.  */
1616 static void
1617 backend_init_target (void)
1618 {
1619   /* Initialize alignment variables.  */
1620   init_alignments ();
1621
1622   /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
1623      to initialize reg_raw_mode[].  */
1624   init_emit_regs ();
1625
1626   /* This invokes target hooks to set fixed_reg[] etc, which is
1627      mode-dependent.  */
1628   init_regs ();
1629
1630   /* This depends on stack_pointer_rtx.  */
1631   init_fake_stack_mems ();
1632
1633   /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1634      mode-dependent.  */
1635   init_alias_target ();
1636
1637   /* Depends on HARD_FRAME_POINTER_REGNUM.  */
1638   init_reload ();
1639
1640   /* The following initialization functions need to generate rtl, so
1641      provide a dummy function context for them.  */
1642   init_dummy_function_start ();
1643
1644   /* rtx_cost is mode-dependent, so cached values need to be recomputed
1645      on a mode change.  */
1646   init_expmed ();
1647
1648   /* We may need to recompute regno_save_code[] and regno_restore_code[]
1649      after a mode change as well.  */
1650   caller_save_initialized_p = false;
1651
1652   expand_dummy_function_end ();
1653 }
1654
1655 /* Initialize the compiler back end.  This function is called only once,
1656    when starting the compiler.  */
1657 static void
1658 backend_init (void)
1659 {
1660   init_emit_once ();
1661
1662   init_rtlanal ();
1663   init_inline_once ();
1664   init_varasm_once ();
1665   save_register_info ();
1666
1667   /* Initialize the target-specific back end pieces.  */
1668   ira_init_once ();
1669   backend_init_target ();
1670 }
1671
1672 /* Initialize excess precision settings.  */
1673 static void
1674 init_excess_precision (void)
1675 {
1676   /* Adjust excess precision handling based on the target options.  If
1677      the front end cannot handle it, flag_excess_precision_cmdline
1678      will already have been set accordingly in the post_options
1679      hook.  */
1680   gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1681   flag_excess_precision = flag_excess_precision_cmdline;
1682   if (flag_unsafe_math_optimizations)
1683     flag_excess_precision = EXCESS_PRECISION_FAST;
1684   if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1685     {
1686       int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1687       switch (flt_eval_method)
1688         {
1689         case -1:
1690         case 0:
1691           /* Either the target acts unpredictably (-1) or has all the
1692              operations required not to have excess precision (0).  */
1693           flag_excess_precision = EXCESS_PRECISION_FAST;
1694           break;
1695         case 1:
1696         case 2:
1697           /* In these cases, predictable excess precision makes
1698              sense.  */
1699           break;
1700         default:
1701           /* Any other implementation-defined FLT_EVAL_METHOD values
1702              require the compiler to handle the associated excess
1703              precision rules in excess_precision_type.  */
1704           gcc_unreachable ();
1705         }
1706     }
1707 }
1708
1709 /* Initialize things that are both lang-dependent and target-dependent.
1710    This function can be called more than once if target parameters change.  */
1711 static void
1712 lang_dependent_init_target (void)
1713 {
1714   /* This determines excess precision settings.  */
1715   init_excess_precision ();
1716
1717   /* This creates various _DECL nodes, so needs to be called after the
1718      front end is initialized.  It also depends on the HAVE_xxx macros
1719      generated from the target machine description.  */
1720   init_optabs ();
1721
1722   /* The following initialization functions need to generate rtl, so
1723      provide a dummy function context for them.  */
1724   init_dummy_function_start ();
1725
1726   /* Do the target-specific parts of expr initialization.  */
1727   init_expr_target ();
1728
1729   /* Although the actions of these functions are language-independent,
1730      they use optabs, so we cannot call them from backend_init.  */
1731   init_set_costs ();
1732   ira_init ();
1733
1734   expand_dummy_function_end ();
1735 }
1736
1737 /* Language-dependent initialization.  Returns nonzero on success.  */
1738 static int
1739 lang_dependent_init (const char *name)
1740 {
1741   location_t save_loc = input_location;
1742   if (dump_base_name == 0)
1743     dump_base_name = name && name[0] ? name : "gccdump";
1744
1745   /* Other front-end initialization.  */
1746   input_location = BUILTINS_LOCATION;
1747   if (lang_hooks.init () == 0)
1748     return 0;
1749   input_location = save_loc;
1750
1751   if (!flag_wpa)
1752     {
1753       init_asm_output (name);
1754
1755       /* If stack usage information is desired, open the output file.  */
1756       if (flag_stack_usage)
1757         stack_usage_file = open_auxiliary_file ("su");
1758     }
1759
1760   /* This creates various _DECL nodes, so needs to be called after the
1761      front end is initialized.  */
1762   init_eh ();
1763
1764   /* Do the target-specific parts of the initialization.  */
1765   lang_dependent_init_target ();
1766
1767   if (!flag_wpa)
1768     {
1769       /* If dbx symbol table desired, initialize writing it and output the
1770          predefined types.  */
1771       timevar_push (TV_SYMOUT);
1772
1773 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
1774       if (dwarf2out_do_frame ())
1775         dwarf2out_frame_init ();
1776 #endif
1777
1778       /* Now we have the correct original filename, we can initialize
1779          debug output.  */
1780       (*debug_hooks->init) (name);
1781
1782       timevar_pop (TV_SYMOUT);
1783     }
1784
1785   return 1;
1786 }
1787
1788
1789 /* Reinitialize everything when target parameters, such as register usage,
1790    have changed.  */
1791 void
1792 target_reinit (void)
1793 {
1794   struct rtl_data saved_x_rtl;
1795   rtx *saved_regno_reg_rtx;
1796
1797   /* Save *crtl and regno_reg_rtx around the reinitialization
1798      to allow target_reinit being called even after prepare_function_start.  */
1799   saved_regno_reg_rtx = regno_reg_rtx;
1800   if (saved_regno_reg_rtx)
1801     {  
1802       saved_x_rtl = *crtl;
1803       memset (crtl, '\0', sizeof (*crtl));
1804       regno_reg_rtx = NULL;
1805     }
1806
1807   /* Reinitialize RTL backend.  */
1808   backend_init_target ();
1809
1810   /* Reinitialize lang-dependent parts.  */
1811   lang_dependent_init_target ();
1812
1813   /* And restore it at the end, as free_after_compilation from
1814      expand_dummy_function_end clears it.  */
1815   if (saved_regno_reg_rtx)
1816     {
1817       *crtl = saved_x_rtl;
1818       regno_reg_rtx = saved_regno_reg_rtx;
1819       saved_regno_reg_rtx = NULL;
1820     }
1821 }
1822
1823 void
1824 dump_memory_report (bool final)
1825 {
1826   ggc_print_statistics ();
1827   stringpool_statistics ();
1828   dump_tree_statistics ();
1829   dump_gimple_statistics ();
1830   dump_rtx_statistics ();
1831   dump_alloc_pool_statistics ();
1832   dump_bitmap_statistics ();
1833   dump_vec_loc_statistics ();
1834   dump_ggc_loc_statistics (final);
1835   dump_alias_stats (stderr);
1836   dump_pta_stats (stderr);
1837 }
1838
1839 /* Clean up: close opened files, etc.  */
1840
1841 static void
1842 finalize (bool no_backend)
1843 {
1844   /* Close the dump files.  */
1845   if (flag_gen_aux_info)
1846     {
1847       fclose (aux_info_file);
1848       if (seen_error ())
1849         unlink (aux_info_file_name);
1850     }
1851
1852   /* Close non-debugging input and output files.  Take special care to note
1853      whether fclose returns an error, since the pages might still be on the
1854      buffer chain while the file is open.  */
1855
1856   if (asm_out_file)
1857     {
1858       if (ferror (asm_out_file) != 0)
1859         fatal_error ("error writing to %s: %m", asm_file_name);
1860       if (fclose (asm_out_file) != 0)
1861         fatal_error ("error closing %s: %m", asm_file_name);
1862     }
1863
1864   if (stack_usage_file)
1865     fclose (stack_usage_file);
1866
1867   if (!no_backend)
1868     {
1869       statistics_fini ();
1870
1871       finish_optimization_passes ();
1872
1873       ira_finish_once ();
1874     }
1875
1876   if (mem_report)
1877     dump_memory_report (true);
1878
1879   /* Language-specific end of compilation actions.  */
1880   lang_hooks.finish ();
1881 }
1882
1883 /* Initialize the compiler, and compile the input file.  */
1884 static void
1885 do_compile (void)
1886 {
1887   /* Initialize timing first.  The C front ends read the main file in
1888      the post_options hook, and C++ does file timings.  */
1889   if (time_report || !quiet_flag  || flag_detailed_statistics)
1890     timevar_init ();
1891   timevar_start (TV_TOTAL);
1892
1893   process_options ();
1894
1895   /* Don't do any more if an error has already occurred.  */
1896   if (!seen_error ())
1897     {
1898       timevar_start (TV_PHASE_SETUP);
1899
1900       /* This must be run always, because it is needed to compute the FP
1901          predefined macros, such as __LDBL_MAX__, for targets using non
1902          default FP formats.  */
1903       init_adjust_machine_modes ();
1904
1905       /* Set up the back-end if requested.  */
1906       if (!no_backend)
1907         backend_init ();
1908
1909       /* Language-dependent initialization.  Returns true on success.  */
1910       if (lang_dependent_init (main_input_filename))
1911         {
1912           /* Initialize yet another pass.  */
1913
1914           ggc_protect_identifiers = true;
1915
1916           init_cgraph ();
1917           init_final (main_input_filename);
1918           coverage_init (aux_base_name);
1919           statistics_init ();
1920           invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1921
1922           timevar_stop (TV_PHASE_SETUP);
1923
1924           compile_file ();
1925         }
1926       else
1927         {
1928           timevar_stop (TV_PHASE_SETUP);
1929         }
1930
1931       timevar_start (TV_PHASE_FINALIZE);
1932
1933       finalize (no_backend);
1934
1935       timevar_stop (TV_PHASE_FINALIZE);
1936     }
1937
1938   /* Stop timing and print the times.  */
1939   timevar_stop (TV_TOTAL);
1940   timevar_print (stderr);
1941 }
1942
1943 /* Entry point of cc1, cc1plus, jc1, f771, etc.
1944    Exit code is FATAL_EXIT_CODE if can't open files or if there were
1945    any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
1946
1947    It is not safe to call this function more than once.  */
1948
1949 int
1950 toplev_main (int argc, char **argv)
1951 {
1952   expandargv (&argc, &argv);
1953
1954   /* Initialization of GCC's environment, and diagnostics.  */
1955   general_init (argv[0]);
1956
1957   /* One-off initialization of options that does not need to be
1958      repeated when options are added for particular functions.  */
1959   init_options_once ();
1960
1961   /* Initialize global options structures; this must be repeated for
1962      each structure used for parsing options.  */
1963   init_options_struct (&global_options, &global_options_set);
1964   lang_hooks.init_options_struct (&global_options);
1965
1966   /* Convert the options to an array.  */
1967   decode_cmdline_options_to_array_default_mask (argc,
1968                                                 CONST_CAST2 (const char **,
1969                                                              char **, argv),
1970                                                 &save_decoded_options,
1971                                                 &save_decoded_options_count);
1972
1973   /* Perform language-specific options initialization.  */
1974   lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
1975
1976   /* Parse the options and do minimal processing; basically just
1977      enough to default flags appropriately.  */
1978   decode_options (&global_options, &global_options_set,
1979                   save_decoded_options, save_decoded_options_count,
1980                   UNKNOWN_LOCATION, global_dc);
1981
1982   handle_common_deferred_options ();
1983
1984   init_local_tick ();
1985
1986   initialize_plugins ();
1987
1988   if (version_flag)
1989     print_version (stderr, "");
1990
1991   if (help_flag)
1992     print_plugins_help (stderr, "");
1993
1994   /* Exit early if we can (e.g. -help).  */
1995   if (!exit_after_options)
1996     do_compile ();
1997
1998   if (warningcount || errorcount)
1999     print_ignored_options ();
2000   diagnostic_finish (global_dc);
2001
2002   /* Invoke registered plugin callbacks if any.  */
2003   invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2004
2005   finalize_plugins ();
2006   if (seen_error ())
2007     return (FATAL_EXIT_CODE);
2008
2009   return (SUCCESS_EXIT_CODE);
2010 }