OSDN Git Service

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