OSDN Git Service

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