OSDN Git Service

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