OSDN Git Service

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