OSDN Git Service

* toplev.c (process_options): Choose default debugging type when
[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
4    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 #undef FLOAT /* This is for hpux. They should change hpux.  */
29 #undef FFS  /* Some systems define this in param.h.  */
30 #include "system.h"
31 #include "coretypes.h"
32 #include "tm.h"
33 #include <signal.h>
34
35 #ifdef HAVE_SYS_RESOURCE_H
36 # include <sys/resource.h>
37 #endif
38
39 #ifdef HAVE_SYS_TIMES_H
40 # include <sys/times.h>
41 #endif
42
43 #include "line-map.h"
44 #include "input.h"
45 #include "tree.h"
46 #include "version.h"
47 #include "rtl.h"
48 #include "tm_p.h"
49 #include "flags.h"
50 #include "insn-attr.h"
51 #include "insn-config.h"
52 #include "insn-flags.h"
53 #include "hard-reg-set.h"
54 #include "recog.h"
55 #include "output.h"
56 #include "except.h"
57 #include "function.h"
58 #include "toplev.h"
59 #include "expr.h"
60 #include "basic-block.h"
61 #include "intl.h"
62 #include "ggc.h"
63 #include "graph.h"
64 #include "regs.h"
65 #include "timevar.h"
66 #include "diagnostic.h"
67 #include "params.h"
68 #include "reload.h"
69 #include "ira.h"
70 #include "dwarf2asm.h"
71 #include "integrate.h"
72 #include "real.h"
73 #include "debug.h"
74 #include "target.h"
75 #include "langhooks.h"
76 #include "cfglayout.h"
77 #include "cfgloop.h"
78 #include "hosthooks.h"
79 #include "cgraph.h"
80 #include "opts.h"
81 #include "coverage.h"
82 #include "value-prof.h"
83 #include "alloc-pool.h"
84 #include "tree-mudflap.h"
85 #include "tree-pass.h"
86 #include "gimple.h"
87 #include "tree-ssa-alias.h"
88 #include "plugin.h"
89
90 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
91 #include "dwarf2out.h"
92 #endif
93
94 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
95 #include "dbxout.h"
96 #endif
97
98 #ifdef SDB_DEBUGGING_INFO
99 #include "sdbout.h"
100 #endif
101
102 #ifdef XCOFF_DEBUGGING_INFO
103 #include "xcoffout.h"           /* Needed for external data
104                                    declarations for e.g. AIX 4.x.  */
105 #endif
106
107 static void general_init (const char *);
108 static void do_compile (void);
109 static void process_options (void);
110 static void backend_init (void);
111 static int lang_dependent_init (const char *);
112 static void init_asm_output (const char *);
113 static void finalize (void);
114
115 static void crash_signal (int) ATTRIBUTE_NORETURN;
116 static void setup_core_dumping (void);
117 static void compile_file (void);
118
119 /* Nonzero to dump debug info whilst parsing (-dy option).  */
120 static int set_yydebug;
121
122 /* True if we don't need a backend (e.g. preprocessing only).  */
123 static bool no_backend;
124
125 /* Length of line when printing switch values.  */
126 #define MAX_LINE 75
127
128 /* Name of program invoked, sans directories.  */
129
130 const char *progname;
131
132 /* Copy of argument vector to toplev_main.  */
133 static const char **save_argv;
134
135 /* Name of top-level original source file (what was input to cpp).
136    This comes from the #-command at the beginning of the actual input.
137    If there isn't any there, then this is the cc1 input file name.  */
138
139 const char *main_input_filename;
140
141 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
142    to optimize and default_debug_hooks in process_options ().  */
143 #define AUTODETECT_VALUE 2
144
145 /* Current position in real source file.  */
146
147 location_t input_location;
148
149 struct line_maps *line_table;
150
151 /* Name to use as base of names for dump output files.  */
152
153 const char *dump_base_name;
154
155 /* Name to use as a base for auxiliary output files.  */
156
157 const char *aux_base_name;
158
159 /* Prefix for profile data files */
160 const char *profile_data_prefix;
161
162 /* A mask of target_flags that includes bit X if X was set or cleared
163    on the command line.  */
164
165 int target_flags_explicit;
166
167 /* Debug hooks - dependent upon command line options.  */
168
169 const struct gcc_debug_hooks *debug_hooks;
170
171 /* Debug hooks - target default.  */
172
173 static const struct gcc_debug_hooks *default_debug_hooks;
174
175 /* Other flags saying which kinds of debugging dump have been requested.  */
176
177 int rtl_dump_and_exit;
178 int flag_print_asm_name;
179 enum graph_dump_types graph_dump_format;
180
181 /* Name for output file of assembly code, specified with -o.  */
182
183 const char *asm_file_name;
184
185 /* Nonzero means do optimizations.  -O.
186    Particular numeric values stand for particular amounts of optimization;
187    thus, -O2 stores 2 here.  However, the optimizations beyond the basic
188    ones are not controlled directly by this variable.  Instead, they are
189    controlled by individual `flag_...' variables that are defaulted
190    based on this variable.  */
191
192 int optimize = 0;
193
194 /* Nonzero means optimize for size.  -Os.
195    The only valid values are zero and nonzero. When optimize_size is
196    nonzero, optimize defaults to 2, but certain individual code
197    bloating optimizations are disabled.  */
198
199 int optimize_size = 0;
200
201 /* The FUNCTION_DECL for the function currently being compiled,
202    or 0 if between functions.  */
203 tree current_function_decl;
204
205 /* Set to the FUNC_BEGIN label of the current function, or NULL
206    if none.  */
207 const char * current_function_func_begin_label;
208
209 /* Nonzero means to collect statistics which might be expensive
210    and to print them when we are done.  */
211 int flag_detailed_statistics = 0;
212
213 /* A random sequence of characters, unless overridden by user.  */
214 static const char *flag_random_seed;
215
216 /* A local time stamp derived from the time of compilation. It will be
217    zero if the system cannot provide a time.  It will be -1u, if the
218    user has specified a particular random seed.  */
219 unsigned local_tick;
220
221 /* -f flags.  */
222
223 /* Nonzero means `char' should be signed.  */
224
225 int flag_signed_char;
226
227 /* Nonzero means give an enum type only as many bytes as it needs.  A value
228    of 2 means it has not yet been initialized.  */
229
230 int flag_short_enums;
231
232 /* Nonzero if structures and unions should be returned in memory.
233
234    This should only be defined if compatibility with another compiler or
235    with an ABI is needed, because it results in slower code.  */
236
237 #ifndef DEFAULT_PCC_STRUCT_RETURN
238 #define DEFAULT_PCC_STRUCT_RETURN 1
239 #endif
240
241 /* Nonzero for -fpcc-struct-return: return values the same way PCC does.  */
242
243 int flag_pcc_struct_return = DEFAULT_PCC_STRUCT_RETURN;
244
245 /* 0 means straightforward implementation of complex divide acceptable.
246    1 means wide ranges of inputs must work for complex divide.
247    2 means C99-like requirements for complex multiply and divide.  */
248
249 int flag_complex_method = 1;
250
251 /* Nonzero means we should be saving declaration info into a .X file.  */
252
253 int flag_gen_aux_info = 0;
254
255 /* Specified name of aux-info file.  */
256
257 const char *aux_info_file_name;
258
259 /* Nonzero if we are compiling code for a shared library, zero for
260    executable.  */
261
262 int flag_shlib;
263
264 /* Generate code for GNU or NeXT Objective-C runtime environment.  */
265
266 #ifdef NEXT_OBJC_RUNTIME
267 int flag_next_runtime = 1;
268 #else
269 int flag_next_runtime = 0;
270 #endif
271
272 /* Set to the default thread-local storage (tls) model to use.  */
273
274 enum tls_model flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
275
276 /* Set the default region and algorithm for the integrated register
277    allocator.  */
278
279 enum ira_algorithm flag_ira_algorithm = IRA_ALGORITHM_CB;
280 enum ira_region flag_ira_region = IRA_REGION_MIXED;
281
282 /* Set the default value for -fira-verbose.  */
283
284 unsigned int flag_ira_verbose = 5;
285
286 /* Set the default for excess precision.  */
287
288 enum excess_precision flag_excess_precision_cmdline = EXCESS_PRECISION_DEFAULT;
289 enum excess_precision flag_excess_precision = EXCESS_PRECISION_DEFAULT;
290
291 /* Nonzero means change certain warnings into errors.
292    Usually these are warnings about failure to conform to some standard.  */
293
294 int flag_pedantic_errors = 0;
295
296 /* Nonzero means make permerror produce warnings instead of errors.  */
297
298 int flag_permissive = 0;
299
300 /* -dA causes debug commentary information to be produced in
301    the generated assembly code (to make it more readable).  This option
302    is generally only of use to those who actually need to read the
303    generated assembly code (perhaps while debugging the compiler itself).
304    Currently, this switch is only used by dwarfout.c; however, it is intended
305    to be a catchall for printing debug information in the assembler file.  */
306
307 int flag_debug_asm = 0;
308
309 /* -dP causes the rtl to be emitted as a comment in assembly.  */
310
311 int flag_dump_rtl_in_asm = 0;
312
313 /* When non-NULL, indicates that whenever space is allocated on the
314    stack, the resulting stack pointer must not pass this
315    address---that is, for stacks that grow downward, the stack pointer
316    must always be greater than or equal to this address; for stacks
317    that grow upward, the stack pointer must be less than this address.
318    At present, the rtx may be either a REG or a SYMBOL_REF, although
319    the support provided depends on the backend.  */
320 rtx stack_limit_rtx;
321
322 /* Positive if we should track variables, negative if we should run
323    the var-tracking pass only to discard debug annotations, zero if
324    we're not to run it.  When flag_var_tracking == AUTODETECT_VALUE it
325    will be set according to optimize, debug_info_level and debug_hooks
326    in process_options ().  */
327 int flag_var_tracking = AUTODETECT_VALUE;
328
329 /* Positive if we should track variables at assignments, negative if
330    we should run the var-tracking pass only to discard debug
331    annotations.  When flag_var_tracking_assignments ==
332    AUTODETECT_VALUE it will be set according to flag_var_tracking.  */
333 int flag_var_tracking_assignments = AUTODETECT_VALUE;
334
335 /* Nonzero if we should toggle flag_var_tracking_assignments after
336    processing options and computing its default.  */
337 int flag_var_tracking_assignments_toggle = 0;
338
339 /* Type of stack check.  */
340 enum stack_check_type flag_stack_check = NO_STACK_CHECK;
341
342 /* True if the user has tagged the function with the 'section'
343    attribute.  */
344
345 bool user_defined_section_attribute = false;
346
347 /* Values of the -falign-* flags: how much to align labels in code.
348    0 means `use default', 1 means `don't align'.
349    For each variable, there is an _log variant which is the power
350    of two not less than the variable, for .align output.  */
351
352 int align_loops_log;
353 int align_loops_max_skip;
354 int align_jumps_log;
355 int align_jumps_max_skip;
356 int align_labels_log;
357 int align_labels_max_skip;
358 int align_functions_log;
359
360 typedef struct
361 {
362   const char *const string;
363   int *const variable;
364   const int on_value;
365 }
366 lang_independent_options;
367
368 /* Nonzero if subexpressions must be evaluated from left-to-right.  */
369 int flag_evaluation_order = 0;
370
371 /* The user symbol prefix after having resolved same.  */
372 const char *user_label_prefix;
373
374 static const param_info lang_independent_params[] = {
375 #define DEFPARAM(ENUM, OPTION, HELP, DEFAULT, MIN, MAX) \
376   { OPTION, DEFAULT, false, MIN, MAX, HELP },
377 #include "params.def"
378 #undef DEFPARAM
379   { NULL, 0, false, 0, 0, NULL }
380 };
381
382 /* Output files for assembler code (real compiler output)
383    and debugging dumps.  */
384
385 FILE *asm_out_file;
386 FILE *aux_info_file;
387 FILE *dump_file = NULL;
388 const char *dump_file_name;
389
390 /* The current working directory of a translation.  It's generally the
391    directory from which compilation was initiated, but a preprocessed
392    file may specify the original directory in which it was
393    created.  */
394
395 static const char *src_pwd;
396
397 /* Initialize src_pwd with the given string, and return true.  If it
398    was already initialized, return false.  As a special case, it may
399    be called with a NULL argument to test whether src_pwd has NOT been
400    initialized yet.  */
401
402 bool
403 set_src_pwd (const char *pwd)
404 {
405   if (src_pwd)
406     {
407       if (strcmp (src_pwd, pwd) == 0)
408         return true;
409       else
410         return false;
411     }
412
413   src_pwd = xstrdup (pwd);
414   return true;
415 }
416
417 /* Return the directory from which the translation unit was initiated,
418    in case set_src_pwd() was not called before to assign it a
419    different value.  */
420
421 const char *
422 get_src_pwd (void)
423 {
424   if (! src_pwd)
425     {
426       src_pwd = getpwd ();
427       if (!src_pwd)
428         src_pwd = ".";
429     }
430
431    return src_pwd;
432 }
433
434 /* Called when the start of a function definition is parsed,
435    this function prints on stderr the name of the function.  */
436 void
437 announce_function (tree decl)
438 {
439   if (!quiet_flag)
440     {
441       if (rtl_dump_and_exit)
442         fprintf (stderr, "%s ",
443                  identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
444       else
445         fprintf (stderr, " %s",
446                  identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
447       fflush (stderr);
448       pp_needs_newline (global_dc->printer) = true;
449       diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
450     }
451 }
452
453 /* Initialize local_tick with the time of day, or -1 if
454    flag_random_seed is set.  */
455
456 static void
457 init_local_tick (void)
458 {
459   if (!flag_random_seed)
460     {
461       /* Get some more or less random data.  */
462 #ifdef HAVE_GETTIMEOFDAY
463       {
464         struct timeval tv;
465
466         gettimeofday (&tv, NULL);
467         local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
468       }
469 #else
470       {
471         time_t now = time (NULL);
472
473         if (now != (time_t)-1)
474           local_tick = (unsigned) now;
475       }
476 #endif
477     }
478   else
479     local_tick = -1;
480 }
481
482 /* Set up a default flag_random_seed and local_tick, unless the user
483    already specified one.  Must be called after init_local_tick.  */
484
485 static void
486 init_random_seed (void)
487 {
488   unsigned HOST_WIDE_INT value;
489   static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
490
491   value = local_tick ^ getpid ();
492
493   sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
494   flag_random_seed = random_seed;
495 }
496
497 /* Obtain the random_seed string.  Unless NOINIT, initialize it if
498    it's not provided in the command line.  */
499
500 const char *
501 get_random_seed (bool noinit)
502 {
503   if (!flag_random_seed && !noinit)
504     init_random_seed ();
505   return flag_random_seed;
506 }
507
508 /* Modify the random_seed string to VAL.  Return its previous
509    value.  */
510
511 const char *
512 set_random_seed (const char *val)
513 {
514   const char *old = flag_random_seed;
515   flag_random_seed = val;
516   return old;
517 }
518
519 /* Decode the string P as an integral parameter.
520    If the string is indeed an integer return its numeric value else
521    issue an Invalid Option error for the option PNAME and return DEFVAL.
522    If PNAME is zero just return DEFVAL, do not call error.  */
523
524 int
525 read_integral_parameter (const char *p, const char *pname, const int  defval)
526 {
527   const char *endp = p;
528
529   while (*endp)
530     {
531       if (ISDIGIT (*endp))
532         endp++;
533       else
534         break;
535     }
536
537   if (*endp != 0)
538     {
539       if (pname != 0)
540         error ("invalid option argument %qs", pname);
541       return defval;
542     }
543
544   return atoi (p);
545 }
546
547 #if GCC_VERSION < 3004
548
549 /* The functions floor_log2 and exact_log2 are defined as inline
550    functions in toplev.h if GCC_VERSION >= 3004.  The definitions here
551    are used for older versions of gcc.  */
552
553 /* Given X, an unsigned number, return the largest int Y such that 2**Y <= X.
554    If X is 0, return -1.  */
555
556 int
557 floor_log2 (unsigned HOST_WIDE_INT x)
558 {
559   int t = 0;
560
561   if (x == 0)
562     return -1;
563
564   if (HOST_BITS_PER_WIDE_INT > 64)
565     if (x >= (unsigned HOST_WIDE_INT) 1 << (t + 64))
566       t += 64;
567   if (HOST_BITS_PER_WIDE_INT > 32)
568     if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 32))
569       t += 32;
570   if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 16))
571     t += 16;
572   if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 8))
573     t += 8;
574   if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 4))
575     t += 4;
576   if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 2))
577     t += 2;
578   if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 1))
579     t += 1;
580
581   return t;
582 }
583
584 /* Return the logarithm of X, base 2, considering X unsigned,
585    if X is a power of 2.  Otherwise, returns -1.  */
586
587 int
588 exact_log2 (unsigned HOST_WIDE_INT x)
589 {
590   if (x != (x & -x))
591     return -1;
592   return floor_log2 (x);
593 }
594
595 #endif /* GCC_VERSION < 3004 */
596
597 /* Handler for fatal signals, such as SIGSEGV.  These are transformed
598    into ICE messages, which is much more user friendly.  In case the
599    error printer crashes, reset the signal to prevent infinite recursion.  */
600
601 static void
602 crash_signal (int signo)
603 {
604   signal (signo, SIG_DFL);
605
606   /* If we crashed while processing an ASM statement, then be a little more
607      graceful.  It's most likely the user's fault.  */
608   if (this_is_asm_operands)
609     {
610       output_operand_lossage ("unrecoverable error");
611       exit (FATAL_EXIT_CODE);
612     }
613
614   internal_error ("%s", strsignal (signo));
615 }
616
617 /* Arrange to dump core on error.  (The regular error message is still
618    printed first, except in the case of abort().)  */
619
620 static void
621 setup_core_dumping (void)
622 {
623 #ifdef SIGABRT
624   signal (SIGABRT, SIG_DFL);
625 #endif
626 #if defined(HAVE_SETRLIMIT)
627   {
628     struct rlimit rlim;
629     if (getrlimit (RLIMIT_CORE, &rlim) != 0)
630       fatal_error ("getting core file size maximum limit: %m");
631     rlim.rlim_cur = rlim.rlim_max;
632     if (setrlimit (RLIMIT_CORE, &rlim) != 0)
633       fatal_error ("setting core file size limit to maximum: %m");
634   }
635 #endif
636   diagnostic_abort_on_error (global_dc);
637 }
638
639
640 /* Strip off a legitimate source ending from the input string NAME of
641    length LEN.  Rather than having to know the names used by all of
642    our front ends, we strip off an ending of a period followed by
643    up to five characters.  (Java uses ".class".)  */
644
645 void
646 strip_off_ending (char *name, int len)
647 {
648   int i;
649   for (i = 2; i < 6 && len > i; i++)
650     {
651       if (name[len - i] == '.')
652         {
653           name[len - i] = '\0';
654           break;
655         }
656     }
657 }
658
659 /* Output a quoted string.  */
660
661 void
662 output_quoted_string (FILE *asm_file, const char *string)
663 {
664 #ifdef OUTPUT_QUOTED_STRING
665   OUTPUT_QUOTED_STRING (asm_file, string);
666 #else
667   char c;
668
669   putc ('\"', asm_file);
670   while ((c = *string++) != 0)
671     {
672       if (ISPRINT (c))
673         {
674           if (c == '\"' || c == '\\')
675             putc ('\\', asm_file);
676           putc (c, asm_file);
677         }
678       else
679         fprintf (asm_file, "\\%03o", (unsigned char) c);
680     }
681   putc ('\"', asm_file);
682 #endif
683 }
684
685 /* Output a file name in the form wanted by System V.  */
686
687 void
688 output_file_directive (FILE *asm_file, const char *input_name)
689 {
690   int len;
691   const char *na;
692
693   if (input_name == NULL)
694     input_name = "<stdin>";
695   else
696     input_name = remap_debug_filename (input_name);
697
698   len = strlen (input_name);
699   na = input_name + len;
700
701   /* NA gets INPUT_NAME sans directory names.  */
702   while (na > input_name)
703     {
704       if (IS_DIR_SEPARATOR (na[-1]))
705         break;
706       na--;
707     }
708
709 #ifdef ASM_OUTPUT_SOURCE_FILENAME
710   ASM_OUTPUT_SOURCE_FILENAME (asm_file, na);
711 #else
712   fprintf (asm_file, "\t.file\t");
713   output_quoted_string (asm_file, na);
714   fputc ('\n', asm_file);
715 #endif
716 }
717
718 /* A subroutine of wrapup_global_declarations.  We've come to the end of
719    the compilation unit.  All deferred variables should be undeferred,
720    and all incomplete decls should be finalized.  */
721
722 void
723 wrapup_global_declaration_1 (tree decl)
724 {
725   /* We're not deferring this any longer.  Assignment is conditional to
726      avoid needlessly dirtying PCH pages.  */
727   if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
728       && DECL_DEFER_OUTPUT (decl) != 0)
729     DECL_DEFER_OUTPUT (decl) = 0;
730
731   if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
732     lang_hooks.finish_incomplete_decl (decl);
733 }
734
735 /* A subroutine of wrapup_global_declarations.  Decide whether or not DECL
736    needs to be output.  Return true if it is output.  */
737
738 bool
739 wrapup_global_declaration_2 (tree decl)
740 {
741   if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
742     return false;
743
744   /* Don't write out static consts, unless we still need them.
745
746      We also keep static consts if not optimizing (for debugging),
747      unless the user specified -fno-keep-static-consts.
748      ??? They might be better written into the debug information.
749      This is possible when using DWARF.
750
751      A language processor that wants static constants to be always
752      written out (even if it is not used) is responsible for
753      calling rest_of_decl_compilation itself.  E.g. the C front-end
754      calls rest_of_decl_compilation from finish_decl.
755      One motivation for this is that is conventional in some
756      environments to write things like:
757      static const char rcsid[] = "... version string ...";
758      intending to force the string to be in the executable.
759
760      A language processor that would prefer to have unneeded
761      static constants "optimized away" would just defer writing
762      them out until here.  E.g. C++ does this, because static
763      constants are often defined in header files.
764
765      ??? A tempting alternative (for both C and C++) would be
766      to force a constant to be written if and only if it is
767      defined in a main file, as opposed to an include file.  */
768
769   if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
770     {
771       struct varpool_node *node;
772       bool needed = true;
773       node = varpool_node (decl);
774
775       if (node->finalized)
776         needed = false;
777       else if (node->alias)
778         needed = false;
779       else if (!cgraph_global_info_ready
780                && (TREE_USED (decl)
781                    || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
782         /* needed */;
783       else if (node->needed)
784         /* needed */;
785       else if (DECL_COMDAT (decl))
786         needed = false;
787       else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
788                && (optimize || !flag_keep_static_consts
789                    || DECL_ARTIFICIAL (decl)))
790         needed = false;
791
792       if (needed)
793         {
794           rest_of_decl_compilation (decl, 1, 1);
795           return true;
796         }
797     }
798
799   return false;
800 }
801
802 /* Do any final processing required for the declarations in VEC, of
803    which there are LEN.  We write out inline functions and variables
804    that have been deferred until this point, but which are required.
805    Returns nonzero if anything was put out.  */
806
807 bool
808 wrapup_global_declarations (tree *vec, int len)
809 {
810   bool reconsider, output_something = false;
811   int i;
812
813   for (i = 0; i < len; i++)
814     wrapup_global_declaration_1 (vec[i]);
815
816   /* Now emit any global variables or functions that we have been
817      putting off.  We need to loop in case one of the things emitted
818      here references another one which comes earlier in the list.  */
819   do
820     {
821       reconsider = false;
822       for (i = 0; i < len; i++)
823         reconsider |= wrapup_global_declaration_2 (vec[i]);
824       if (reconsider)
825         output_something = true;
826     }
827   while (reconsider);
828
829   return output_something;
830 }
831
832 /* A subroutine of check_global_declarations.  Issue appropriate warnings
833    for the global declaration DECL.  */
834
835 void
836 check_global_declaration_1 (tree decl)
837 {
838   /* Warn about any function declared static but not defined.  We don't
839      warn about variables, because many programs have static variables
840      that exist only to get some text into the object file.  */
841   if (TREE_CODE (decl) == FUNCTION_DECL
842       && DECL_INITIAL (decl) == 0
843       && DECL_EXTERNAL (decl)
844       && ! DECL_ARTIFICIAL (decl)
845       && ! TREE_NO_WARNING (decl)
846       && ! TREE_PUBLIC (decl)
847       && (warn_unused_function
848           || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
849     {
850       if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
851         pedwarn (input_location, 0, "%q+F used but never defined", decl);
852       else
853         warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
854       /* This symbol is effectively an "extern" declaration now.  */
855       TREE_PUBLIC (decl) = 1;
856       assemble_external (decl);
857     }
858
859   /* Warn about static fns or vars defined but not used.  */
860   if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
861        /* We don't warn about "static const" variables because the
862           "rcs_id" idiom uses that construction.  */
863        || (warn_unused_variable
864            && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
865       && ! DECL_IN_SYSTEM_HEADER (decl)
866       && ! TREE_USED (decl)
867       /* The TREE_USED bit for file-scope decls is kept in the identifier,
868          to handle multiple external decls in different scopes.  */
869       && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
870       && ! DECL_EXTERNAL (decl)
871       && ! TREE_PUBLIC (decl)
872       /* A volatile variable might be used in some non-obvious way.  */
873       && ! TREE_THIS_VOLATILE (decl)
874       /* Global register variables must be declared to reserve them.  */
875       && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
876       /* Otherwise, ask the language.  */
877       && lang_hooks.decls.warn_unused_global (decl))
878     warning ((TREE_CODE (decl) == FUNCTION_DECL) 
879              ? OPT_Wunused_function 
880              : OPT_Wunused_variable, 
881              "%q+D defined but not used", decl);
882 }
883
884 /* Issue appropriate warnings for the global declarations in VEC (of
885    which there are LEN).  */
886
887 void
888 check_global_declarations (tree *vec, int len)
889 {
890   int i;
891
892   for (i = 0; i < len; i++)
893     check_global_declaration_1 (vec[i]);
894 }
895
896 /* Emit debugging information for all global declarations in VEC.  */
897
898 void
899 emit_debug_global_declarations (tree *vec, int len)
900 {
901   int i;
902
903   /* Avoid confusing the debug information machinery when there are errors.  */
904   if (errorcount != 0 || sorrycount != 0)
905     return;
906
907   timevar_push (TV_SYMOUT);
908   for (i = 0; i < len; i++)
909     debug_hooks->global_decl (vec[i]);
910   timevar_pop (TV_SYMOUT);
911 }
912
913 /* Warn about a use of an identifier which was marked deprecated.  */
914 void
915 warn_deprecated_use (tree node, tree attr)
916 {
917   const char *msg;
918
919   if (node == 0 || !warn_deprecated_decl)
920     return;
921
922   if (!attr)
923     {
924       if (DECL_P (node))
925         attr = DECL_ATTRIBUTES (node);
926       else if (TYPE_P (node))
927         {
928           tree decl = TYPE_STUB_DECL (node);
929           if (decl)
930             attr = lookup_attribute ("deprecated",
931                                      TYPE_ATTRIBUTES (TREE_TYPE (decl)));
932         }
933     }
934
935   if (attr)
936     attr = lookup_attribute ("deprecated", attr);
937
938   if (attr)
939     msg = TREE_STRING_POINTER (TREE_VALUE (TREE_VALUE (attr)));
940   else
941     msg = NULL;
942
943   if (DECL_P (node))
944     {
945       expanded_location xloc = expand_location (DECL_SOURCE_LOCATION (node));
946       if (msg)
947         warning (OPT_Wdeprecated_declarations,
948                  "%qD is deprecated (declared at %s:%d): %s",
949                  node, xloc.file, xloc.line, msg);
950       else
951         warning (OPT_Wdeprecated_declarations,
952                  "%qD is deprecated (declared at %s:%d)",
953                  node, xloc.file, xloc.line);
954     }
955   else if (TYPE_P (node))
956     {
957       tree what = NULL_TREE;
958       tree decl = TYPE_STUB_DECL (node);
959
960       if (TYPE_NAME (node))
961         {
962           if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE)
963             what = TYPE_NAME (node);
964           else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL
965                    && DECL_NAME (TYPE_NAME (node)))
966             what = DECL_NAME (TYPE_NAME (node));
967         }
968
969       if (decl)
970         {
971           expanded_location xloc
972             = expand_location (DECL_SOURCE_LOCATION (decl));
973           if (what)
974             {
975               if (msg)
976                 warning (OPT_Wdeprecated_declarations,
977                          "%qE is deprecated (declared at %s:%d): %s",
978                          what, xloc.file, xloc.line, msg);
979               else
980                 warning (OPT_Wdeprecated_declarations,
981                          "%qE is deprecated (declared at %s:%d)", what,
982                          xloc.file, xloc.line);
983             }
984           else
985             {
986               if (msg)
987                 warning (OPT_Wdeprecated_declarations,
988                          "type is deprecated (declared at %s:%d): %s",
989                          xloc.file, xloc.line, msg);
990               else
991                 warning (OPT_Wdeprecated_declarations,
992                          "type is deprecated (declared at %s:%d)",
993                          xloc.file, xloc.line);
994             }
995         }
996       else
997         {
998           if (what)
999             {
1000               if (msg)
1001                 warning (OPT_Wdeprecated_declarations, "%qE is deprecated: %s",
1002                          what, msg);
1003               else
1004                 warning (OPT_Wdeprecated_declarations, "%qE is deprecated", what);
1005             }
1006           else
1007             {
1008               if (msg)
1009                 warning (OPT_Wdeprecated_declarations, "type is deprecated: %s",
1010                          msg);
1011               else
1012                 warning (OPT_Wdeprecated_declarations, "type is deprecated");
1013             }
1014         }
1015     }
1016 }
1017
1018 /* Compile an entire translation unit.  Write a file of assembly
1019    output and various debugging dumps.  */
1020
1021 static void
1022 compile_file (void)
1023 {
1024   /* Initialize yet another pass.  */
1025
1026   ggc_protect_identifiers = true;
1027
1028   init_cgraph ();
1029   init_final (main_input_filename);
1030   coverage_init (aux_base_name);
1031   statistics_init ();
1032   invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1033
1034   timevar_push (TV_PARSE);
1035
1036   /* Call the parser, which parses the entire file (calling
1037      rest_of_compilation for each function).  */
1038   lang_hooks.parse_file (set_yydebug);
1039
1040   /* Compilation is now finished except for writing
1041      what's left of the symbol table output.  */
1042   timevar_pop (TV_PARSE);
1043
1044   if (flag_syntax_only)
1045     return;
1046
1047   ggc_protect_identifiers = false;
1048
1049   /* This must also call cgraph_finalize_compilation_unit.  */
1050   lang_hooks.decls.final_write_globals ();
1051
1052   if (errorcount || sorrycount)
1053     return;
1054
1055   varpool_assemble_pending_decls ();
1056   finish_aliases_2 ();
1057
1058   /* Likewise for mudflap static object registrations.  */
1059   if (flag_mudflap)
1060     mudflap_finish_file ();
1061
1062   /* Likewise for emulated thread-local storage.  */
1063   if (!targetm.have_tls)
1064     emutls_finish ();
1065
1066   output_shared_constant_pool ();
1067   output_object_blocks ();
1068
1069   /* Write out any pending weak symbol declarations.  */
1070   weak_finish ();
1071
1072   /* Do dbx symbols.  */
1073   timevar_push (TV_SYMOUT);
1074
1075 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
1076   if (dwarf2out_do_frame ())
1077     dwarf2out_frame_finish ();
1078 #endif
1079
1080   (*debug_hooks->finish) (main_input_filename);
1081   timevar_pop (TV_SYMOUT);
1082
1083   /* Output some stuff at end of file if nec.  */
1084
1085   dw2_output_indirect_constants ();
1086
1087   /* Flush any pending external directives.  */
1088   process_pending_assemble_externals ();
1089
1090   /* Attach a special .ident directive to the end of the file to identify
1091      the version of GCC which compiled this code.  The format of the .ident
1092      string is patterned after the ones produced by native SVR4 compilers.  */
1093 #ifdef IDENT_ASM_OP
1094   if (!flag_no_ident)
1095     {
1096       const char *pkg_version = "(GNU) ";
1097
1098       if (strcmp ("(GCC) ", pkgversion_string))
1099         pkg_version = pkgversion_string;
1100       fprintf (asm_out_file, "%s\"GCC: %s%s\"\n",
1101                IDENT_ASM_OP, pkg_version, version_string);
1102     }
1103 #endif
1104
1105   /* Invoke registered plugin callbacks.  */
1106   invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
1107   
1108   /* This must be at the end.  Some target ports emit end of file directives
1109      into the assembly file here, and hence we can not output anything to the
1110      assembly file after this point.  */
1111   targetm.asm_out.file_end ();
1112 }
1113
1114 /* Parse a -d... command line switch.  */
1115
1116 void
1117 decode_d_option (const char *arg)
1118 {
1119   int c;
1120
1121   while (*arg)
1122     switch (c = *arg++)
1123       {
1124       case 'A':
1125         flag_debug_asm = 1;
1126         break;
1127       case 'p':
1128         flag_print_asm_name = 1;
1129         break;
1130       case 'P':
1131         flag_dump_rtl_in_asm = 1;
1132         flag_print_asm_name = 1;
1133         break;
1134       case 'v':
1135         graph_dump_format = vcg;
1136         break;
1137       case 'x':
1138         rtl_dump_and_exit = 1;
1139         break;
1140       case 'y':
1141         set_yydebug = 1;
1142         break;
1143       case 'D': /* These are handled by the preprocessor.  */
1144       case 'I':
1145       case 'M':
1146       case 'N':
1147       case 'U':
1148         break;
1149       case 'H':
1150         setup_core_dumping();
1151         break;
1152       case 'a':
1153         enable_rtl_dump_file ();
1154         break;
1155
1156       default:
1157           warning (0, "unrecognized gcc debugging option: %c", c);
1158         break;
1159       }
1160 }
1161
1162 /* Indexed by enum debug_info_type.  */
1163 const char *const debug_type_names[] =
1164 {
1165   "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
1166 };
1167
1168 /* Print version information to FILE.
1169    Each line begins with INDENT (for the case where FILE is the
1170    assembler output file).  */
1171
1172 void
1173 print_version (FILE *file, const char *indent)
1174 {
1175   static const char fmt1[] =
1176 #ifdef __GNUC__
1177     N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
1178 #else
1179     N_("%s%s%s %sversion %s (%s) compiled by CC, ")
1180 #endif
1181     ;
1182 #ifdef HAVE_mpc
1183   static const char fmt2[] =
1184     N_("GMP version %s, MPFR version %s, MPC version %s\n");
1185 #else
1186   static const char fmt2[] =
1187     N_("GMP version %s, MPFR version %s\n");
1188 #endif
1189   static const char fmt3[] =
1190     N_("%s%swarning: %s header version %s differs from library version %s.\n");
1191   static const char fmt4[] =
1192     N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
1193 #ifndef __VERSION__
1194 #define __VERSION__ "[?]"
1195 #endif
1196   fprintf (file,
1197            file == stderr ? _(fmt1) : fmt1,
1198            indent, *indent != 0 ? " " : "",
1199            lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
1200            indent, __VERSION__);
1201
1202   /* We need to stringify the GMP macro values.  Ugh, gmp_version has
1203      two string formats, "i.j.k" and "i.j" when k is zero.  As of
1204      gmp-4.3.0, GMP always uses the 3 number format.  */
1205 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
1206 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3(X)
1207 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
1208 #define GCC_GMP_VERSION \
1209   GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
1210 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
1211 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
1212   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR)
1213 #else
1214 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
1215   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR) "." \
1216   GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_PATCHLEVEL)
1217 #endif
1218   fprintf (file,
1219            file == stderr ? _(fmt2) : fmt2,
1220            GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING
1221 #ifdef HAVE_mpc
1222            , MPC_VERSION_STRING
1223 #endif
1224            );
1225   if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
1226     fprintf (file,
1227              file == stderr ? _(fmt3) : fmt3,
1228              indent, *indent != 0 ? " " : "",
1229              "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
1230   if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
1231     fprintf (file,
1232              file == stderr ? _(fmt3) : fmt3,
1233              indent, *indent != 0 ? " " : "",
1234              "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
1235 #ifdef HAVE_mpc
1236   if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
1237     fprintf (file,
1238              file == stderr ? _(fmt3) : fmt3,
1239              indent, *indent != 0 ? " " : "",
1240              "MPC", MPC_VERSION_STRING, mpc_get_version ());
1241 #endif
1242   fprintf (file,
1243            file == stderr ? _(fmt4) : fmt4,
1244            indent, *indent != 0 ? " " : "",
1245            PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
1246
1247   print_plugins_versions (file, indent);
1248 }
1249
1250 #ifdef ASM_COMMENT_START
1251 static int
1252 print_to_asm_out_file (print_switch_type type, const char * text)
1253 {
1254   bool prepend_sep = true;
1255
1256   switch (type)
1257     {
1258     case SWITCH_TYPE_LINE_END:
1259       putc ('\n', asm_out_file);
1260       return 1;
1261
1262     case SWITCH_TYPE_LINE_START:
1263       fputs (ASM_COMMENT_START, asm_out_file);
1264       return strlen (ASM_COMMENT_START);
1265
1266     case SWITCH_TYPE_DESCRIPTIVE:
1267       if (ASM_COMMENT_START[0] == 0)
1268         prepend_sep = false;
1269       /* Drop through.  */
1270     case SWITCH_TYPE_PASSED:
1271     case SWITCH_TYPE_ENABLED:
1272       if (prepend_sep)
1273         fputc (' ', asm_out_file);
1274       fprintf (asm_out_file, text);
1275       /* No need to return the length here as
1276          print_single_switch has already done it.  */
1277       return 0;
1278
1279     default:
1280       return -1;
1281     }
1282 }
1283 #endif
1284
1285 static int
1286 print_to_stderr (print_switch_type type, const char * text)
1287 {
1288   switch (type)
1289     {
1290     case SWITCH_TYPE_LINE_END:
1291       putc ('\n', stderr);
1292       return 1;
1293
1294     case SWITCH_TYPE_LINE_START:
1295       return 0;
1296       
1297     case SWITCH_TYPE_PASSED:
1298     case SWITCH_TYPE_ENABLED:
1299       fputc (' ', stderr);
1300       /* Drop through.  */
1301
1302     case SWITCH_TYPE_DESCRIPTIVE:
1303       fprintf (stderr, text);
1304       /* No need to return the length here as
1305          print_single_switch has already done it.  */
1306       return 0;
1307
1308     default:
1309       return -1;
1310     }
1311 }
1312
1313 /* Print an option value and return the adjusted position in the line.
1314    ??? print_fn doesn't handle errors, eg disk full; presumably other
1315    code will catch a disk full though.  */
1316
1317 static int
1318 print_single_switch (print_switch_fn_type print_fn,
1319                      int pos,
1320                      print_switch_type type,
1321                      const char * text)
1322 {
1323   /* The ultrix fprintf returns 0 on success, so compute the result
1324      we want here since we need it for the following test.  The +1
1325      is for the separator character that will probably be emitted.  */
1326   int len = strlen (text) + 1;
1327
1328   if (pos != 0
1329       && pos + len > MAX_LINE)
1330     {
1331       print_fn (SWITCH_TYPE_LINE_END, NULL);
1332       pos = 0;
1333     }
1334
1335   if (pos == 0)
1336     pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
1337
1338   print_fn (type, text);
1339   return pos + len;
1340 }
1341
1342 /* Print active target switches using PRINT_FN.
1343    POS is the current cursor position and MAX is the size of a "line".
1344    Each line begins with INDENT and ends with TERM.
1345    Each switch is separated from the next by SEP.  */
1346
1347 static void
1348 print_switch_values (print_switch_fn_type print_fn)
1349 {
1350   int pos = 0;
1351   size_t j;
1352   const char **p;
1353
1354   /* Fill in the -frandom-seed option, if the user didn't pass it, so
1355      that it can be printed below.  This helps reproducibility.  */
1356   if (!flag_random_seed)
1357     init_random_seed ();
1358
1359   /* Print the options as passed.  */
1360   pos = print_single_switch (print_fn, pos,
1361                              SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
1362
1363   for (p = &save_argv[1]; *p != NULL; p++)
1364     {
1365       if (**p == '-')
1366         {
1367           /* Ignore these.  */
1368           if (strcmp (*p, "-o") == 0
1369               || strcmp (*p, "-dumpbase") == 0
1370               || strcmp (*p, "-auxbase") == 0)
1371             {
1372               if (p[1] != NULL)
1373                 p++;
1374               continue;
1375             }
1376
1377           if (strcmp (*p, "-quiet") == 0
1378               || strcmp (*p, "-version") == 0)
1379             continue;
1380
1381           if ((*p)[1] == 'd')
1382             continue;
1383         }
1384
1385       pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED, *p);
1386     }
1387
1388   if (pos > 0)
1389     print_fn (SWITCH_TYPE_LINE_END, NULL);
1390
1391   /* Print the -f and -m options that have been enabled.
1392      We don't handle language specific options but printing argv
1393      should suffice.  */
1394   pos = print_single_switch (print_fn, 0,
1395                              SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
1396
1397   for (j = 0; j < cl_options_count; j++)
1398     if ((cl_options[j].flags & CL_REPORT)
1399         && option_enabled (j) > 0)
1400       pos = print_single_switch (print_fn, pos,
1401                                  SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
1402
1403   print_fn (SWITCH_TYPE_LINE_END, NULL);
1404 }
1405
1406 /* Open assembly code output file.  Do this even if -fsyntax-only is
1407    on, because then the driver will have provided the name of a
1408    temporary file or bit bucket for us.  NAME is the file specified on
1409    the command line, possibly NULL.  */
1410 static void
1411 init_asm_output (const char *name)
1412 {
1413   if (name == NULL && asm_file_name == 0)
1414     asm_out_file = stdout;
1415   else
1416     {
1417       if (asm_file_name == 0)
1418         {
1419           int len = strlen (dump_base_name);
1420           char *dumpname = XNEWVEC (char, len + 6);
1421
1422           memcpy (dumpname, dump_base_name, len + 1);
1423           strip_off_ending (dumpname, len);
1424           strcat (dumpname, ".s");
1425           asm_file_name = dumpname;
1426         }
1427       if (!strcmp (asm_file_name, "-"))
1428         asm_out_file = stdout;
1429       else
1430         asm_out_file = fopen (asm_file_name, "w+b");
1431       if (asm_out_file == 0)
1432         fatal_error ("can%'t open %s for writing: %m", asm_file_name);
1433     }
1434
1435   if (!flag_syntax_only)
1436     {
1437       targetm.asm_out.file_start ();
1438
1439       if (flag_record_gcc_switches)
1440         {
1441           if (targetm.asm_out.record_gcc_switches)
1442             {
1443               /* Let the target know that we are about to start recording.  */
1444               targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1445                                                    NULL);
1446               /* Now record the switches.  */
1447               print_switch_values (targetm.asm_out.record_gcc_switches);
1448               /* Let the target know that the recording is over.  */
1449               targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1450                                                    NULL);
1451             }
1452           else
1453             inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1454         }
1455
1456 #ifdef ASM_COMMENT_START
1457       if (flag_verbose_asm)
1458         {
1459           /* Print the list of switches in effect
1460              into the assembler file as comments.  */
1461           print_version (asm_out_file, ASM_COMMENT_START);
1462           print_switch_values (print_to_asm_out_file);
1463           fprintf (asm_out_file, "\n");
1464         }
1465 #endif
1466     }
1467 }
1468
1469 /* Return true if the state of option OPTION should be stored in PCH files
1470    and checked by default_pch_valid_p.  Store the option's current state
1471    in STATE if so.  */
1472
1473 static inline bool
1474 option_affects_pch_p (int option, struct cl_option_state *state)
1475 {
1476   if ((cl_options[option].flags & CL_TARGET) == 0)
1477     return false;
1478   if (cl_options[option].flag_var == &target_flags)
1479     if (targetm.check_pch_target_flags)
1480       return false;
1481   return get_option_state (option, state);
1482 }
1483
1484 /* Default version of get_pch_validity.
1485    By default, every flag difference is fatal; that will be mostly right for
1486    most targets, but completely right for very few.  */
1487
1488 void *
1489 default_get_pch_validity (size_t *len)
1490 {
1491   struct cl_option_state state;
1492   size_t i;
1493   char *result, *r;
1494
1495   *len = 2;
1496   if (targetm.check_pch_target_flags)
1497     *len += sizeof (target_flags);
1498   for (i = 0; i < cl_options_count; i++)
1499     if (option_affects_pch_p (i, &state))
1500       *len += state.size;
1501
1502   result = r = XNEWVEC (char, *len);
1503   r[0] = flag_pic;
1504   r[1] = flag_pie;
1505   r += 2;
1506   if (targetm.check_pch_target_flags)
1507     {
1508       memcpy (r, &target_flags, sizeof (target_flags));
1509       r += sizeof (target_flags);
1510     }
1511
1512   for (i = 0; i < cl_options_count; i++)
1513     if (option_affects_pch_p (i, &state))
1514       {
1515         memcpy (r, state.data, state.size);
1516         r += state.size;
1517       }
1518
1519   return result;
1520 }
1521
1522 /* Return a message which says that a PCH file was created with a different
1523    setting of OPTION.  */
1524
1525 static const char *
1526 pch_option_mismatch (const char *option)
1527 {
1528   char *r;
1529
1530   asprintf (&r, _("created and used with differing settings of '%s'"), option);
1531   if (r == NULL)
1532     return _("out of memory");
1533   return r;
1534 }
1535
1536 /* Default version of pch_valid_p.  */
1537
1538 const char *
1539 default_pch_valid_p (const void *data_p, size_t len)
1540 {
1541   struct cl_option_state state;
1542   const char *data = (const char *)data_p;
1543   size_t i;
1544
1545   /* -fpic and -fpie also usually make a PCH invalid.  */
1546   if (data[0] != flag_pic)
1547     return _("created and used with different settings of -fpic");
1548   if (data[1] != flag_pie)
1549     return _("created and used with different settings of -fpie");
1550   data += 2;
1551
1552   /* Check target_flags.  */
1553   if (targetm.check_pch_target_flags)
1554     {
1555       int tf;
1556       const char *r;
1557
1558       memcpy (&tf, data, sizeof (target_flags));
1559       data += sizeof (target_flags);
1560       len -= sizeof (target_flags);
1561       r = targetm.check_pch_target_flags (tf);
1562       if (r != NULL)
1563         return r;
1564     }
1565
1566   for (i = 0; i < cl_options_count; i++)
1567     if (option_affects_pch_p (i, &state))
1568       {
1569         if (memcmp (data, state.data, state.size) != 0)
1570           return pch_option_mismatch (cl_options[i].opt_text);
1571         data += state.size;
1572         len -= state.size;
1573       }
1574
1575   return NULL;
1576 }
1577
1578 /* Default tree printer.   Handles declarations only.  */
1579 bool
1580 default_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
1581                       int precision, bool wide, bool set_locus, bool hash)
1582 {
1583   tree t;
1584
1585   /* FUTURE: %+x should set the locus.  */
1586   if (precision != 0 || wide || hash)
1587     return false;
1588
1589   switch (*spec)
1590     {
1591     case 'E':
1592       t = va_arg (*text->args_ptr, tree);
1593       if (TREE_CODE (t) == IDENTIFIER_NODE)
1594         {
1595           pp_identifier (pp, IDENTIFIER_POINTER (t));
1596           return true;
1597         }
1598       break;
1599
1600     case 'D':
1601       t = va_arg (*text->args_ptr, tree);
1602       if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
1603         t = DECL_DEBUG_EXPR (t);
1604       break;
1605
1606     case 'F':
1607     case 'T':
1608       t = va_arg (*text->args_ptr, tree);
1609       break;
1610
1611     default:
1612       return false;
1613     }
1614
1615   if (set_locus && text->locus)
1616     *text->locus = DECL_SOURCE_LOCATION (t);
1617
1618   if (DECL_P (t))
1619     {
1620       const char *n = DECL_NAME (t)
1621         ? identifier_to_locale (lang_hooks.decl_printable_name (t, 2))
1622         : _("<anonymous>");
1623       pp_string (pp, n);
1624     }
1625   else
1626     dump_generic_node (pp, t, 0, TDF_DIAGNOSTIC, 0);
1627
1628   return true;
1629 }
1630
1631 /* A helper function; used as the reallocator function for cpp's line
1632    table.  */
1633 static void *
1634 realloc_for_line_map (void *ptr, size_t len)
1635 {
1636   return ggc_realloc (ptr, len);
1637 }
1638
1639 /* Initialization of the front end environment, before command line
1640    options are parsed.  Signal handlers, internationalization etc.
1641    ARGV0 is main's argv[0].  */
1642 static void
1643 general_init (const char *argv0)
1644 {
1645   const char *p;
1646
1647   p = argv0 + strlen (argv0);
1648   while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1649     --p;
1650   progname = p;
1651
1652   xmalloc_set_program_name (progname);
1653
1654   hex_init ();
1655
1656   /* Unlock the stdio streams.  */
1657   unlock_std_streams ();
1658
1659   gcc_init_libintl ();
1660
1661   /* Initialize the diagnostics reporting machinery, so option parsing
1662      can give warnings and errors.  */
1663   diagnostic_initialize (global_dc);
1664   /* Set a default printer.  Language specific initializations will
1665      override it later.  */
1666   pp_format_decoder (global_dc->printer) = &default_tree_printer;
1667
1668   /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages.  */
1669 #ifdef SIGSEGV
1670   signal (SIGSEGV, crash_signal);
1671 #endif
1672 #ifdef SIGILL
1673   signal (SIGILL, crash_signal);
1674 #endif
1675 #ifdef SIGBUS
1676   signal (SIGBUS, crash_signal);
1677 #endif
1678 #ifdef SIGABRT
1679   signal (SIGABRT, crash_signal);
1680 #endif
1681 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1682   signal (SIGIOT, crash_signal);
1683 #endif
1684 #ifdef SIGFPE
1685   signal (SIGFPE, crash_signal);
1686 #endif
1687
1688   /* Other host-specific signal setup.  */
1689   (*host_hooks.extra_signals)();
1690
1691   /* Initialize the garbage-collector, string pools and tree type hash
1692      table.  */
1693   init_ggc ();
1694   init_stringpool ();
1695   line_table = GGC_NEW (struct line_maps);
1696   linemap_init (line_table);
1697   line_table->reallocator = realloc_for_line_map;
1698   init_ttree ();
1699
1700   /* Initialize register usage now so switches may override.  */
1701   init_reg_sets ();
1702
1703   /* Register the language-independent parameters.  */
1704   add_params (lang_independent_params, LAST_PARAM);
1705
1706   /* This must be done after add_params but before argument processing.  */
1707   init_ggc_heuristics();
1708   init_optimization_passes ();
1709   statistics_early_init ();
1710 }
1711
1712 /* Return true if the current target supports -fsection-anchors.  */
1713
1714 static bool
1715 target_supports_section_anchors_p (void)
1716 {
1717   if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1718     return false;
1719
1720   if (targetm.asm_out.output_anchor == NULL)
1721     return false;
1722
1723   return true;
1724 }
1725
1726 /* Default the align_* variables to 1 if they're still unset, and
1727    set up the align_*_log variables.  */
1728 static void
1729 init_alignments (void)
1730 {
1731   if (align_loops <= 0)
1732     align_loops = 1;
1733   if (align_loops_max_skip > align_loops)
1734     align_loops_max_skip = align_loops - 1;
1735   align_loops_log = floor_log2 (align_loops * 2 - 1);
1736   if (align_jumps <= 0)
1737     align_jumps = 1;
1738   if (align_jumps_max_skip > align_jumps)
1739     align_jumps_max_skip = align_jumps - 1;
1740   align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1741   if (align_labels <= 0)
1742     align_labels = 1;
1743   align_labels_log = floor_log2 (align_labels * 2 - 1);
1744   if (align_labels_max_skip > align_labels)
1745     align_labels_max_skip = align_labels - 1;
1746   if (align_functions <= 0)
1747     align_functions = 1;
1748   align_functions_log = floor_log2 (align_functions * 2 - 1);
1749 }
1750
1751 /* Process the options that have been parsed.  */
1752 static void
1753 process_options (void)
1754 {
1755   /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1756      This can happen with incorrect pre-processed input. */
1757   debug_hooks = &do_nothing_debug_hooks;
1758
1759   /* This replaces set_Wunused.  */
1760   if (warn_unused_function == -1)
1761     warn_unused_function = warn_unused;
1762   if (warn_unused_label == -1)
1763     warn_unused_label = warn_unused;
1764   /* Wunused-parameter is enabled if both -Wunused -Wextra are enabled.  */
1765   if (warn_unused_parameter == -1)
1766     warn_unused_parameter = (warn_unused && extra_warnings);
1767   if (warn_unused_variable == -1)
1768     warn_unused_variable = warn_unused;
1769   if (warn_unused_value == -1)
1770     warn_unused_value = warn_unused;
1771
1772   /* This replaces set_Wextra.  */
1773   if (warn_uninitialized == -1)
1774     warn_uninitialized = extra_warnings;
1775
1776   /* Allow the front end to perform consistency checks and do further
1777      initialization based on the command line options.  This hook also
1778      sets the original filename if appropriate (e.g. foo.i -> foo.c)
1779      so we can correctly initialize debug output.  */
1780   no_backend = lang_hooks.post_options (&main_input_filename);
1781
1782 #ifdef OVERRIDE_OPTIONS
1783   /* Some machines may reject certain combinations of options.  */
1784   OVERRIDE_OPTIONS;
1785 #endif
1786
1787   if (flag_section_anchors && !target_supports_section_anchors_p ())
1788     {
1789       warning (OPT_fsection_anchors,
1790                "this target does not support %qs", "-fsection-anchors");
1791       flag_section_anchors = 0;
1792     }
1793
1794   if (flag_short_enums == 2)
1795     flag_short_enums = targetm.default_short_enums ();
1796
1797   /* Set aux_base_name if not already set.  */
1798   if (aux_base_name)
1799     ;
1800   else if (main_input_filename)
1801     {
1802       char *name = xstrdup (lbasename (main_input_filename));
1803
1804       strip_off_ending (name, strlen (name));
1805       aux_base_name = name;
1806     }
1807   else
1808     aux_base_name = "gccaux";
1809
1810 #ifndef HAVE_cloog
1811   if (flag_graphite
1812       || flag_loop_block
1813       || flag_loop_interchange
1814       || flag_loop_strip_mine
1815       || flag_graphite_identity
1816       || flag_loop_parallelize_all)
1817     sorry ("Graphite loop optimizations cannot be used");
1818 #endif
1819
1820   /* Unrolling all loops implies that standard loop unrolling must also
1821      be done.  */
1822   if (flag_unroll_all_loops)
1823     flag_unroll_loops = 1;
1824
1825   /* The loop unrolling code assumes that cse will be run after loop.
1826      web and rename-registers also help when run after loop unrolling.  */
1827
1828   if (flag_rerun_cse_after_loop == AUTODETECT_VALUE)
1829     flag_rerun_cse_after_loop = flag_unroll_loops || flag_peel_loops;
1830   if (flag_web == AUTODETECT_VALUE)
1831     flag_web = flag_unroll_loops || flag_peel_loops;
1832   if (flag_rename_registers == AUTODETECT_VALUE)
1833     flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1834
1835   if (flag_non_call_exceptions)
1836     flag_asynchronous_unwind_tables = 1;
1837   if (flag_asynchronous_unwind_tables)
1838     flag_unwind_tables = 1;
1839
1840   if (flag_value_profile_transformations)
1841     flag_profile_values = 1;
1842
1843   /* Warn about options that are not supported on this machine.  */
1844 #ifndef INSN_SCHEDULING
1845   if (flag_schedule_insns || flag_schedule_insns_after_reload)
1846     warning (0, "instruction scheduling not supported on this target machine");
1847 #endif
1848 #ifndef DELAY_SLOTS
1849   if (flag_delayed_branch)
1850     warning (0, "this target machine does not have delayed branches");
1851 #endif
1852
1853   user_label_prefix = USER_LABEL_PREFIX;
1854   if (flag_leading_underscore != -1)
1855     {
1856       /* If the default prefix is more complicated than "" or "_",
1857          issue a warning and ignore this option.  */
1858       if (user_label_prefix[0] == 0 ||
1859           (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1860         {
1861           user_label_prefix = flag_leading_underscore ? "_" : "";
1862         }
1863       else
1864         warning (0, "-f%sleading-underscore not supported on this target machine",
1865                  flag_leading_underscore ? "" : "no-");
1866     }
1867
1868   /* If we are in verbose mode, write out the version and maybe all the
1869      option flags in use.  */
1870   if (version_flag)
1871     {
1872       print_version (stderr, "");
1873       if (! quiet_flag)
1874         print_switch_values (print_to_stderr);
1875     }
1876
1877   if (flag_syntax_only)
1878     {
1879       write_symbols = NO_DEBUG;
1880       profile_flag = 0;
1881     }
1882
1883   if (flag_gtoggle)
1884     {
1885       if (debug_info_level == DINFO_LEVEL_NONE)
1886         {
1887           debug_info_level = DINFO_LEVEL_NORMAL;
1888
1889           if (write_symbols == NO_DEBUG)
1890             write_symbols = PREFERRED_DEBUGGING_TYPE;
1891         }
1892       else
1893         debug_info_level = DINFO_LEVEL_NONE;
1894     }
1895
1896   if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1897     {
1898       FILE *final_output = fopen (flag_dump_final_insns, "w");
1899       if (!final_output)
1900         {
1901           error ("could not open final insn dump file %qs: %s",
1902                  flag_dump_final_insns, strerror (errno));
1903           flag_dump_final_insns = NULL;
1904         }
1905       else if (fclose (final_output))
1906         {
1907           error ("could not close zeroed insn dump file %qs: %s",
1908                  flag_dump_final_insns, strerror (errno));
1909           flag_dump_final_insns = NULL;
1910         }
1911     }
1912
1913   /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1914      level is 0.  */
1915   if (debug_info_level == DINFO_LEVEL_NONE)
1916     write_symbols = NO_DEBUG;
1917
1918   /* Now we know write_symbols, set up the debug hooks based on it.
1919      By default we do nothing for debug output.  */
1920   if (PREFERRED_DEBUGGING_TYPE == NO_DEBUG)
1921     default_debug_hooks = &do_nothing_debug_hooks;
1922 #if defined(DBX_DEBUGGING_INFO)
1923   else if (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG)
1924     default_debug_hooks = &dbx_debug_hooks;
1925 #endif
1926 #if defined(XCOFF_DEBUGGING_INFO)
1927   else if (PREFERRED_DEBUGGING_TYPE == XCOFF_DEBUG)
1928     default_debug_hooks = &xcoff_debug_hooks;
1929 #endif
1930 #ifdef SDB_DEBUGGING_INFO
1931   else if (PREFERRED_DEBUGGING_TYPE == SDB_DEBUG)
1932     default_debug_hooks = &sdb_debug_hooks;
1933 #endif
1934 #ifdef DWARF2_DEBUGGING_INFO
1935   else if (PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG)
1936     default_debug_hooks = &dwarf2_debug_hooks;
1937 #endif
1938 #ifdef VMS_DEBUGGING_INFO
1939   else if (PREFERRED_DEBUGGING_TYPE == VMS_DEBUG
1940            || PREFERRED_DEBUGGING_TYPE == VMS_AND_DWARF2_DEBUG)
1941     default_debug_hooks = &vmsdbg_debug_hooks;
1942 #endif
1943
1944   if (write_symbols == NO_DEBUG)
1945     ;
1946 #if defined(DBX_DEBUGGING_INFO)
1947   else if (write_symbols == DBX_DEBUG)
1948     debug_hooks = &dbx_debug_hooks;
1949 #endif
1950 #if defined(XCOFF_DEBUGGING_INFO)
1951   else if (write_symbols == XCOFF_DEBUG)
1952     debug_hooks = &xcoff_debug_hooks;
1953 #endif
1954 #ifdef SDB_DEBUGGING_INFO
1955   else if (write_symbols == SDB_DEBUG)
1956     debug_hooks = &sdb_debug_hooks;
1957 #endif
1958 #ifdef DWARF2_DEBUGGING_INFO
1959   else if (write_symbols == DWARF2_DEBUG)
1960     debug_hooks = &dwarf2_debug_hooks;
1961 #endif
1962 #ifdef VMS_DEBUGGING_INFO
1963   else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1964     debug_hooks = &vmsdbg_debug_hooks;
1965 #endif
1966   else
1967     error ("target system does not support the \"%s\" debug format",
1968            debug_type_names[write_symbols]);
1969
1970   /* Now we know which debug output will be used so we can set
1971      flag_var_tracking, flag_rename_registers if the user has
1972      not specified them.  */
1973   if (debug_info_level < DINFO_LEVEL_NORMAL
1974       || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1975     {
1976       if (flag_var_tracking == 1
1977           || flag_var_tracking_uninit == 1)
1978         {
1979           if (debug_info_level < DINFO_LEVEL_NORMAL)
1980             warning (0, "variable tracking requested, but useless unless "
1981                      "producing debug info");
1982           else
1983             warning (0, "variable tracking requested, but not supported "
1984                      "by this debug format");
1985         }
1986       flag_var_tracking = 0;
1987       flag_var_tracking_uninit = 0;
1988     }
1989
1990   /* If the user specifically requested variable tracking with tagging
1991      uninitialized variables, we need to turn on variable tracking.
1992      (We already determined above that variable tracking is feasible.)  */
1993   if (flag_var_tracking_uninit)
1994     flag_var_tracking = 1;
1995
1996   if (flag_var_tracking == AUTODETECT_VALUE)
1997     flag_var_tracking = optimize >= 1;
1998
1999   if (flag_var_tracking_assignments == AUTODETECT_VALUE)
2000     flag_var_tracking_assignments = flag_var_tracking
2001       && !(flag_selective_scheduling || flag_selective_scheduling2);
2002
2003   if (flag_var_tracking_assignments_toggle)
2004     flag_var_tracking_assignments = !flag_var_tracking_assignments;
2005
2006   if (flag_var_tracking_assignments && !flag_var_tracking)
2007     flag_var_tracking = flag_var_tracking_assignments = -1;
2008
2009   if (flag_var_tracking_assignments
2010       && (flag_selective_scheduling || flag_selective_scheduling2))
2011     warning (0, "var-tracking-assignments changes selective scheduling");
2012
2013   if (flag_rename_registers == AUTODETECT_VALUE)
2014     flag_rename_registers = default_debug_hooks->var_location
2015                             != do_nothing_debug_hooks.var_location;
2016
2017   if (flag_tree_cselim == AUTODETECT_VALUE)
2018 #ifdef HAVE_conditional_move
2019     flag_tree_cselim = 1;
2020 #else
2021     flag_tree_cselim = 0;
2022 #endif
2023
2024   /* If auxiliary info generation is desired, open the output file.
2025      This goes in the same directory as the source file--unlike
2026      all the other output files.  */
2027   if (flag_gen_aux_info)
2028     {
2029       aux_info_file = fopen (aux_info_file_name, "w");
2030       if (aux_info_file == 0)
2031         fatal_error ("can%'t open %s: %m", aux_info_file_name);
2032     }
2033
2034   if (! targetm.have_named_sections)
2035     {
2036       if (flag_function_sections)
2037         {
2038           warning (0, "-ffunction-sections not supported for this target");
2039           flag_function_sections = 0;
2040         }
2041       if (flag_data_sections)
2042         {
2043           warning (0, "-fdata-sections not supported for this target");
2044           flag_data_sections = 0;
2045         }
2046     }
2047
2048   if (flag_function_sections && profile_flag)
2049     {
2050       warning (0, "-ffunction-sections disabled; it makes profiling impossible");
2051       flag_function_sections = 0;
2052     }
2053
2054 #ifndef HAVE_prefetch
2055   if (flag_prefetch_loop_arrays)
2056     {
2057       warning (0, "-fprefetch-loop-arrays not supported for this target");
2058       flag_prefetch_loop_arrays = 0;
2059     }
2060 #else
2061   if (flag_prefetch_loop_arrays && !HAVE_prefetch)
2062     {
2063       warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
2064       flag_prefetch_loop_arrays = 0;
2065     }
2066 #endif
2067
2068   /* This combination of options isn't handled for i386 targets and doesn't
2069      make much sense anyway, so don't allow it.  */
2070   if (flag_prefetch_loop_arrays && optimize_size)
2071     {
2072       warning (0, "-fprefetch-loop-arrays is not supported with -Os");
2073       flag_prefetch_loop_arrays = 0;
2074     }
2075
2076   /* The presence of IEEE signaling NaNs, implies all math can trap.  */
2077   if (flag_signaling_nans)
2078     flag_trapping_math = 1;
2079
2080   /* We cannot reassociate if we want traps or signed zeros.  */
2081   if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
2082     {
2083       warning (0, "-fassociative-math disabled; other options take precedence");
2084       flag_associative_math = 0;
2085     }
2086
2087   /* With -fcx-limited-range, we do cheap and quick complex arithmetic.  */
2088   if (flag_cx_limited_range)
2089     flag_complex_method = 0;
2090
2091   /* With -fcx-fortran-rules, we do something in-between cheap and C99.  */
2092   if (flag_cx_fortran_rules)
2093     flag_complex_method = 1;
2094
2095   /* Targets must be able to place spill slots at lower addresses.  If the
2096      target already uses a soft frame pointer, the transition is trivial.  */
2097   if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
2098     {
2099       warning (0, "-fstack-protector not supported for this target");
2100       flag_stack_protect = 0;
2101     }
2102   if (!flag_stack_protect)
2103     warn_stack_protect = 0;
2104
2105   /* ??? Unwind info is not correct around the CFG unless either a frame
2106      pointer is present or A_O_A is set.  Fixing this requires rewriting
2107      unwind info generation to be aware of the CFG and propagating states
2108      around edges.  */
2109   if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS
2110       && flag_omit_frame_pointer)
2111     {
2112       warning (0, "unwind tables currently require a frame pointer "
2113                "for correctness");
2114       flag_omit_frame_pointer = 0;
2115     }
2116 }
2117
2118 /* This function can be called multiple times to reinitialize the compiler
2119    back end when register classes or instruction sets have changed,
2120    before each function.  */
2121 static void
2122 backend_init_target (void)
2123 {
2124   /* Initialize alignment variables.  */
2125   init_alignments ();
2126
2127   /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
2128      to initialize reg_raw_mode[].  */
2129   init_emit_regs ();
2130
2131   /* This invokes target hooks to set fixed_reg[] etc, which is
2132      mode-dependent.  */
2133   init_regs ();
2134
2135   /* This depends on stack_pointer_rtx.  */
2136   init_fake_stack_mems ();
2137
2138   /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
2139      mode-dependent.  */
2140   init_alias_target ();
2141
2142   /* Depends on HARD_FRAME_POINTER_REGNUM.  */
2143   init_reload ();
2144
2145   /* The following initialization functions need to generate rtl, so
2146      provide a dummy function context for them.  */
2147   init_dummy_function_start ();
2148
2149   /* rtx_cost is mode-dependent, so cached values need to be recomputed
2150      on a mode change.  */
2151   init_expmed ();
2152
2153   /* We may need to recompute regno_save_code[] and regno_restore_code[]
2154      after a mode change as well.  */
2155   if (flag_caller_saves)
2156     init_caller_save ();
2157   expand_dummy_function_end ();
2158 }
2159
2160 /* Initialize the compiler back end.  This function is called only once,
2161    when starting the compiler.  */
2162 static void
2163 backend_init (void)
2164 {
2165   init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL
2166                   || debug_info_level == DINFO_LEVEL_VERBOSE
2167 #ifdef VMS_DEBUGGING_INFO
2168                     /* Enable line number info for traceback.  */
2169                     || debug_info_level > DINFO_LEVEL_NONE
2170 #endif
2171                     || flag_test_coverage);
2172
2173   init_rtlanal ();
2174   init_inline_once ();
2175   init_varasm_once ();
2176   save_register_info ();
2177
2178   /* Initialize the target-specific back end pieces.  */
2179   ira_init_once ();
2180   backend_init_target ();
2181 }
2182
2183 /* Initialize excess precision settings.  */
2184 static void
2185 init_excess_precision (void)
2186 {
2187   /* Adjust excess precision handling based on the target options.  If
2188      the front end cannot handle it, flag_excess_precision_cmdline
2189      will already have been set accordingly in the post_options
2190      hook.  */
2191   gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
2192   flag_excess_precision = flag_excess_precision_cmdline;
2193   if (flag_unsafe_math_optimizations)
2194     flag_excess_precision = EXCESS_PRECISION_FAST;
2195   if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
2196     {
2197       int flt_eval_method = TARGET_FLT_EVAL_METHOD;
2198       switch (flt_eval_method)
2199         {
2200         case -1:
2201         case 0:
2202           /* Either the target acts unpredictably (-1) or has all the
2203              operations required not to have excess precision (0).  */
2204           flag_excess_precision = EXCESS_PRECISION_FAST;
2205           break;
2206         case 1:
2207         case 2:
2208           /* In these cases, predictable excess precision makes
2209              sense.  */
2210           break;
2211         default:
2212           /* Any other implementation-defined FLT_EVAL_METHOD values
2213              require the compiler to handle the associated excess
2214              precision rules in excess_precision_type.  */
2215           gcc_unreachable ();
2216         }
2217     }
2218 }
2219
2220 /* Initialize things that are both lang-dependent and target-dependent.
2221    This function can be called more than once if target parameters change.  */
2222 static void
2223 lang_dependent_init_target (void)
2224 {
2225   /* This determines excess precision settings.  */
2226   init_excess_precision ();
2227
2228   /* This creates various _DECL nodes, so needs to be called after the
2229      front end is initialized.  It also depends on the HAVE_xxx macros
2230      generated from the target machine description.  */
2231   init_optabs ();
2232
2233   /* The following initialization functions need to generate rtl, so
2234      provide a dummy function context for them.  */
2235   init_dummy_function_start ();
2236
2237   /* Do the target-specific parts of expr initialization.  */
2238   init_expr_target ();
2239
2240   /* Although the actions of these functions are language-independent,
2241      they use optabs, so we cannot call them from backend_init.  */
2242   init_set_costs ();
2243   ira_init ();
2244
2245   expand_dummy_function_end ();
2246 }
2247
2248 /* Language-dependent initialization.  Returns nonzero on success.  */
2249 static int
2250 lang_dependent_init (const char *name)
2251 {
2252   location_t save_loc = input_location;
2253   if (dump_base_name == 0)
2254     dump_base_name = name && name[0] ? name : "gccdump";
2255
2256   /* Other front-end initialization.  */
2257   input_location = BUILTINS_LOCATION;
2258   if (lang_hooks.init () == 0)
2259     return 0;
2260   input_location = save_loc;
2261
2262   init_asm_output (name);
2263
2264   /* This creates various _DECL nodes, so needs to be called after the
2265      front end is initialized.  */
2266   init_eh ();
2267
2268   /* Do the target-specific parts of the initialization.  */
2269   lang_dependent_init_target ();
2270
2271   /* If dbx symbol table desired, initialize writing it and output the
2272      predefined types.  */
2273   timevar_push (TV_SYMOUT);
2274
2275 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
2276   if (dwarf2out_do_frame ())
2277     dwarf2out_frame_init ();
2278 #endif
2279
2280   /* Now we have the correct original filename, we can initialize
2281      debug output.  */
2282   (*debug_hooks->init) (name);
2283
2284   timevar_pop (TV_SYMOUT);
2285
2286   return 1;
2287 }
2288
2289
2290 /* Reinitialize everything when target parameters, such as register usage,
2291    have changed.  */
2292 void
2293 target_reinit (void)
2294 {
2295   /* Reinitialize RTL backend.  */
2296   backend_init_target ();
2297
2298   /* Reinitialize lang-dependent parts.  */
2299   lang_dependent_init_target ();
2300 }
2301
2302 void
2303 dump_memory_report (bool final)
2304 {
2305   ggc_print_statistics ();
2306   stringpool_statistics ();
2307   dump_tree_statistics ();
2308   dump_gimple_statistics ();
2309   dump_rtx_statistics ();
2310   dump_varray_statistics ();
2311   dump_alloc_pool_statistics ();
2312   dump_bitmap_statistics ();
2313   dump_vec_loc_statistics ();
2314   dump_ggc_loc_statistics (final);
2315   dump_alias_stats (stderr);
2316   dump_pta_stats (stderr);
2317 }
2318
2319 /* Clean up: close opened files, etc.  */
2320
2321 static void
2322 finalize (void)
2323 {
2324   /* Close the dump files.  */
2325   if (flag_gen_aux_info)
2326     {
2327       fclose (aux_info_file);
2328       if (errorcount)
2329         unlink (aux_info_file_name);
2330     }
2331
2332   /* Close non-debugging input and output files.  Take special care to note
2333      whether fclose returns an error, since the pages might still be on the
2334      buffer chain while the file is open.  */
2335
2336   if (asm_out_file)
2337     {
2338       if (ferror (asm_out_file) != 0)
2339         fatal_error ("error writing to %s: %m", asm_file_name);
2340       if (fclose (asm_out_file) != 0)
2341         fatal_error ("error closing %s: %m", asm_file_name);
2342     }
2343
2344   statistics_fini ();
2345   finish_optimization_passes ();
2346
2347   ira_finish_once ();
2348
2349   if (mem_report)
2350     dump_memory_report (true);
2351
2352   /* Language-specific end of compilation actions.  */
2353   lang_hooks.finish ();
2354 }
2355
2356 /* Initialize the compiler, and compile the input file.  */
2357 static void
2358 do_compile (void)
2359 {
2360   /* Initialize timing first.  The C front ends read the main file in
2361      the post_options hook, and C++ does file timings.  */
2362   if (time_report || !quiet_flag  || flag_detailed_statistics)
2363     timevar_init ();
2364   timevar_start (TV_TOTAL);
2365
2366   process_options ();
2367
2368   /* Don't do any more if an error has already occurred.  */
2369   if (!errorcount)
2370     {
2371       /* This must be run always, because it is needed to compute the FP
2372          predefined macros, such as __LDBL_MAX__, for targets using non
2373          default FP formats.  */
2374       init_adjust_machine_modes ();
2375
2376       /* Set up the back-end if requested.  */
2377       if (!no_backend)
2378         backend_init ();
2379
2380       /* Language-dependent initialization.  Returns true on success.  */
2381       if (lang_dependent_init (main_input_filename))
2382         compile_file ();
2383
2384       finalize ();
2385     }
2386
2387   /* Stop timing and print the times.  */
2388   timevar_stop (TV_TOTAL);
2389   timevar_print (stderr);
2390 }
2391
2392 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2393    Exit code is FATAL_EXIT_CODE if can't open files or if there were
2394    any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2395
2396    It is not safe to call this function more than once.  */
2397
2398 int
2399 toplev_main (int argc, char **argv)
2400 {
2401   expandargv (&argc, &argv);
2402
2403   save_argv = CONST_CAST2 (const char **, char **, argv);
2404
2405   /* Initialization of GCC's environment, and diagnostics.  */
2406   general_init (argv[0]);
2407
2408   /* Parse the options and do minimal processing; basically just
2409      enough to default flags appropriately.  */
2410   decode_options (argc, CONST_CAST2 (const char **, char **, argv));
2411
2412   init_local_tick ();
2413
2414   initialize_plugins ();
2415
2416   if (version_flag)
2417     print_version (stderr, "");
2418
2419   if (help_flag)
2420     print_plugins_help (stderr, "");
2421
2422   /* Exit early if we can (e.g. -help).  */
2423   if (!exit_after_options)
2424     do_compile ();
2425
2426   if (warningcount || errorcount) 
2427     print_ignored_options ();
2428
2429   /* Invoke registered plugin callbacks if any.  */
2430   invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2431
2432   finalize_plugins ();
2433   if (errorcount || sorrycount)
2434     return (FATAL_EXIT_CODE);
2435
2436   return (SUCCESS_EXIT_CODE);
2437 }