2013-10-25 Richard Biener <rguenther@suse.de>
[official-gcc.git] / gcc / toplev.c
blobcc8e905cd1f4b336223e825598402494bb3df8a1
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
25 #include "config.h"
26 #include "system.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "line-map.h"
30 #include "input.h"
31 #include "tree.h"
32 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
33 #include "version.h"
34 #include "rtl.h"
35 #include "tm_p.h"
36 #include "flags.h"
37 #include "insn-attr.h"
38 #include "insn-config.h"
39 #include "insn-flags.h"
40 #include "hard-reg-set.h"
41 #include "recog.h"
42 #include "output.h"
43 #include "except.h"
44 #include "function.h"
45 #include "toplev.h"
46 #include "expr.h"
47 #include "basic-block.h"
48 #include "intl.h"
49 #include "ggc.h"
50 #include "regs.h"
51 #include "timevar.h"
52 #include "diagnostic.h"
53 #include "tree-diagnostic.h"
54 #include "tree-pretty-print.h"
55 #include "params.h"
56 #include "reload.h"
57 #include "ira.h"
58 #include "dwarf2asm.h"
59 #include "debug.h"
60 #include "target.h"
61 #include "common/common-target.h"
62 #include "langhooks.h"
63 #include "cfgloop.h" /* for init_set_costs */
64 #include "hosthooks.h"
65 #include "cgraph.h"
66 #include "opts.h"
67 #include "opts-diagnostic.h"
68 #include "coverage.h"
69 #include "value-prof.h"
70 #include "alloc-pool.h"
71 #include "tree-mudflap.h"
72 #include "asan.h"
73 #include "tsan.h"
74 #include "gimple.h"
75 #include "tree-ssa-alias.h"
76 #include "plugin.h"
77 #include "diagnostic-color.h"
78 #include "context.h"
79 #include "pass_manager.h"
81 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
82 #include "dbxout.h"
83 #endif
85 #ifdef SDB_DEBUGGING_INFO
86 #include "sdbout.h"
87 #endif
89 #ifdef XCOFF_DEBUGGING_INFO
90 #include "xcoffout.h" /* Needed for external data
91 declarations for e.g. AIX 4.x. */
92 #endif
94 static void general_init (const char *);
95 static void do_compile (void);
96 static void process_options (void);
97 static void backend_init (void);
98 static int lang_dependent_init (const char *);
99 static void init_asm_output (const char *);
100 static void finalize (bool);
102 static void crash_signal (int) ATTRIBUTE_NORETURN;
103 static void compile_file (void);
105 /* True if we don't need a backend (e.g. preprocessing only). */
106 static bool no_backend;
108 /* Length of line when printing switch values. */
109 #define MAX_LINE 75
111 /* Decoded options, and number of such options. */
112 struct cl_decoded_option *save_decoded_options;
113 unsigned int save_decoded_options_count;
115 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
116 to optimize in process_options (). */
117 #define AUTODETECT_VALUE 2
119 /* Debug hooks - dependent upon command line options. */
121 const struct gcc_debug_hooks *debug_hooks;
123 /* The FUNCTION_DECL for the function currently being compiled,
124 or 0 if between functions. */
125 tree current_function_decl;
127 /* Set to the FUNC_BEGIN label of the current function, or NULL
128 if none. */
129 const char * current_function_func_begin_label;
131 /* A random sequence of characters, unless overridden by user. */
132 static const char *flag_random_seed;
134 /* A local time stamp derived from the time of compilation. It will be
135 zero if the system cannot provide a time. It will be -1u, if the
136 user has specified a particular random seed. */
137 unsigned local_tick;
139 /* Random number for this compilation */
140 HOST_WIDE_INT random_seed;
142 /* -f flags. */
144 /* When non-NULL, indicates that whenever space is allocated on the
145 stack, the resulting stack pointer must not pass this
146 address---that is, for stacks that grow downward, the stack pointer
147 must always be greater than or equal to this address; for stacks
148 that grow upward, the stack pointer must be less than this address.
149 At present, the rtx may be either a REG or a SYMBOL_REF, although
150 the support provided depends on the backend. */
151 rtx stack_limit_rtx;
153 /* True if the user has tagged the function with the 'section'
154 attribute. */
156 bool user_defined_section_attribute = false;
158 struct target_flag_state default_target_flag_state;
159 #if SWITCHABLE_TARGET
160 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
161 #else
162 #define this_target_flag_state (&default_target_flag_state)
163 #endif
165 /* The user symbol prefix after having resolved same. */
166 const char *user_label_prefix;
168 /* Output files for assembler code (real compiler output)
169 and debugging dumps. */
171 FILE *asm_out_file;
172 FILE *aux_info_file;
173 FILE *stack_usage_file = NULL;
175 /* The current working directory of a translation. It's generally the
176 directory from which compilation was initiated, but a preprocessed
177 file may specify the original directory in which it was
178 created. */
180 static const char *src_pwd;
182 /* Initialize src_pwd with the given string, and return true. If it
183 was already initialized, return false. As a special case, it may
184 be called with a NULL argument to test whether src_pwd has NOT been
185 initialized yet. */
187 bool
188 set_src_pwd (const char *pwd)
190 if (src_pwd)
192 if (strcmp (src_pwd, pwd) == 0)
193 return true;
194 else
195 return false;
198 src_pwd = xstrdup (pwd);
199 return true;
202 /* Return the directory from which the translation unit was initiated,
203 in case set_src_pwd() was not called before to assign it a
204 different value. */
206 const char *
207 get_src_pwd (void)
209 if (! src_pwd)
211 src_pwd = getpwd ();
212 if (!src_pwd)
213 src_pwd = ".";
216 return src_pwd;
219 /* Called when the start of a function definition is parsed,
220 this function prints on stderr the name of the function. */
221 void
222 announce_function (tree decl)
224 if (!quiet_flag)
226 if (rtl_dump_and_exit)
227 fprintf (stderr, "%s ",
228 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
229 else
230 fprintf (stderr, " %s",
231 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
232 fflush (stderr);
233 pp_needs_newline (global_dc->printer) = true;
234 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
238 /* Initialize local_tick with a random number or -1 if
239 flag_random_seed is set. */
241 static void
242 init_local_tick (void)
244 if (!flag_random_seed)
246 /* Try urandom first. Time of day is too likely to collide.
247 In case of any error we just use the local tick. */
249 int fd = open ("/dev/urandom", O_RDONLY);
250 if (fd >= 0)
252 read (fd, &random_seed, sizeof (random_seed));
253 close (fd);
256 /* Now get the tick anyways */
257 #ifdef HAVE_GETTIMEOFDAY
259 struct timeval tv;
261 gettimeofday (&tv, NULL);
262 local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
264 #else
266 time_t now = time (NULL);
268 if (now != (time_t)-1)
269 local_tick = (unsigned) now;
271 #endif
273 else
274 local_tick = -1;
277 /* Set up a default flag_random_seed and local_tick, unless the user
278 already specified one. Must be called after init_local_tick. */
280 static void
281 init_random_seed (void)
283 if (flag_random_seed)
285 char *endp;
287 /* When the driver passed in a hex number don't crc it again */
288 random_seed = strtoul (flag_random_seed, &endp, 0);
289 if (!(endp > flag_random_seed && *endp == 0))
290 random_seed = crc32_string (0, flag_random_seed);
292 else if (!random_seed)
293 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
296 /* Obtain the random_seed. Unless NOINIT, initialize it if
297 it's not provided in the command line. */
299 HOST_WIDE_INT
300 get_random_seed (bool noinit)
302 if (!flag_random_seed && !noinit)
303 init_random_seed ();
304 return random_seed;
307 /* Modify the random_seed string to VAL. Return its previous
308 value. */
310 const char *
311 set_random_seed (const char *val)
313 const char *old = flag_random_seed;
314 flag_random_seed = val;
315 return old;
318 /* Handler for fatal signals, such as SIGSEGV. These are transformed
319 into ICE messages, which is much more user friendly. In case the
320 error printer crashes, reset the signal to prevent infinite recursion. */
322 static void
323 crash_signal (int signo)
325 signal (signo, SIG_DFL);
327 /* If we crashed while processing an ASM statement, then be a little more
328 graceful. It's most likely the user's fault. */
329 if (this_is_asm_operands)
331 output_operand_lossage ("unrecoverable error");
332 exit (FATAL_EXIT_CODE);
335 internal_error ("%s", strsignal (signo));
338 /* A subroutine of wrapup_global_declarations. We've come to the end of
339 the compilation unit. All deferred variables should be undeferred,
340 and all incomplete decls should be finalized. */
342 void
343 wrapup_global_declaration_1 (tree decl)
345 /* We're not deferring this any longer. Assignment is conditional to
346 avoid needlessly dirtying PCH pages. */
347 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
348 && DECL_DEFER_OUTPUT (decl) != 0)
349 DECL_DEFER_OUTPUT (decl) = 0;
351 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
352 lang_hooks.finish_incomplete_decl (decl);
355 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
356 needs to be output. Return true if it is output. */
358 bool
359 wrapup_global_declaration_2 (tree decl)
361 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
362 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
363 return false;
365 /* Don't write out static consts, unless we still need them.
367 We also keep static consts if not optimizing (for debugging),
368 unless the user specified -fno-keep-static-consts.
369 ??? They might be better written into the debug information.
370 This is possible when using DWARF.
372 A language processor that wants static constants to be always
373 written out (even if it is not used) is responsible for
374 calling rest_of_decl_compilation itself. E.g. the C front-end
375 calls rest_of_decl_compilation from finish_decl.
376 One motivation for this is that is conventional in some
377 environments to write things like:
378 static const char rcsid[] = "... version string ...";
379 intending to force the string to be in the executable.
381 A language processor that would prefer to have unneeded
382 static constants "optimized away" would just defer writing
383 them out until here. E.g. C++ does this, because static
384 constants are often defined in header files.
386 ??? A tempting alternative (for both C and C++) would be
387 to force a constant to be written if and only if it is
388 defined in a main file, as opposed to an include file. */
390 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
392 struct varpool_node *node;
393 bool needed = true;
394 node = varpool_get_node (decl);
396 if (!node && flag_ltrans)
397 needed = false;
398 else if (node && node->symbol.definition)
399 needed = false;
400 else if (node && node->symbol.alias)
401 needed = false;
402 else if (!cgraph_global_info_ready
403 && (TREE_USED (decl)
404 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
405 /* needed */;
406 else if (node && node->symbol.analyzed)
407 /* needed */;
408 else if (DECL_COMDAT (decl))
409 needed = false;
410 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
411 && (optimize || !flag_keep_static_consts
412 || DECL_ARTIFICIAL (decl)))
413 needed = false;
415 if (needed)
417 rest_of_decl_compilation (decl, 1, 1);
418 return true;
422 return false;
425 /* Do any final processing required for the declarations in VEC, of
426 which there are LEN. We write out inline functions and variables
427 that have been deferred until this point, but which are required.
428 Returns nonzero if anything was put out. */
430 bool
431 wrapup_global_declarations (tree *vec, int len)
433 bool reconsider, output_something = false;
434 int i;
436 for (i = 0; i < len; i++)
437 wrapup_global_declaration_1 (vec[i]);
439 /* Now emit any global variables or functions that we have been
440 putting off. We need to loop in case one of the things emitted
441 here references another one which comes earlier in the list. */
444 reconsider = false;
445 for (i = 0; i < len; i++)
446 reconsider |= wrapup_global_declaration_2 (vec[i]);
447 if (reconsider)
448 output_something = true;
450 while (reconsider);
452 return output_something;
455 /* A subroutine of check_global_declarations. Issue appropriate warnings
456 for the global declaration DECL. */
458 void
459 check_global_declaration_1 (tree decl)
461 /* Warn about any function declared static but not defined. We don't
462 warn about variables, because many programs have static variables
463 that exist only to get some text into the object file. */
464 if (TREE_CODE (decl) == FUNCTION_DECL
465 && DECL_INITIAL (decl) == 0
466 && DECL_EXTERNAL (decl)
467 && ! DECL_ARTIFICIAL (decl)
468 && ! TREE_NO_WARNING (decl)
469 && ! TREE_PUBLIC (decl)
470 && (warn_unused_function
471 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
473 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
474 pedwarn (input_location, 0, "%q+F used but never defined", decl);
475 else
476 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
477 /* This symbol is effectively an "extern" declaration now. */
478 TREE_PUBLIC (decl) = 1;
481 /* Warn about static fns or vars defined but not used. */
482 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
483 /* We don't warn about "static const" variables because the
484 "rcs_id" idiom uses that construction. */
485 || (warn_unused_variable
486 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
487 && ! DECL_IN_SYSTEM_HEADER (decl)
488 && ! TREE_USED (decl)
489 /* The TREE_USED bit for file-scope decls is kept in the identifier,
490 to handle multiple external decls in different scopes. */
491 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
492 && ! DECL_EXTERNAL (decl)
493 && ! TREE_PUBLIC (decl)
494 /* A volatile variable might be used in some non-obvious way. */
495 && ! TREE_THIS_VOLATILE (decl)
496 /* Global register variables must be declared to reserve them. */
497 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
498 /* Otherwise, ask the language. */
499 && lang_hooks.decls.warn_unused_global (decl))
500 warning ((TREE_CODE (decl) == FUNCTION_DECL)
501 ? OPT_Wunused_function
502 : OPT_Wunused_variable,
503 "%q+D defined but not used", decl);
506 /* Issue appropriate warnings for the global declarations in V (of
507 which there are LEN). */
509 void
510 check_global_declarations (tree *v, int len)
512 int i;
514 for (i = 0; i < len; i++)
515 check_global_declaration_1 (v[i]);
518 /* Emit debugging information for all global declarations in VEC. */
520 void
521 emit_debug_global_declarations (tree *vec, int len)
523 int i;
525 /* Avoid confusing the debug information machinery when there are errors. */
526 if (seen_error ())
527 return;
529 timevar_push (TV_SYMOUT);
530 for (i = 0; i < len; i++)
531 debug_hooks->global_decl (vec[i]);
532 timevar_pop (TV_SYMOUT);
535 /* Compile an entire translation unit. Write a file of assembly
536 output and various debugging dumps. */
538 static void
539 compile_file (void)
541 timevar_start (TV_PHASE_PARSING);
542 timevar_push (TV_PARSE_GLOBAL);
544 /* Call the parser, which parses the entire file (calling
545 rest_of_compilation for each function). */
546 lang_hooks.parse_file ();
548 timevar_pop (TV_PARSE_GLOBAL);
549 timevar_stop (TV_PHASE_PARSING);
551 /* Compilation is now finished except for writing
552 what's left of the symbol table output. */
554 if (flag_syntax_only || flag_wpa)
555 return;
557 ggc_protect_identifiers = false;
559 /* This must also call finalize_compilation_unit. */
560 lang_hooks.decls.final_write_globals ();
562 if (seen_error ())
563 return;
565 timevar_start (TV_PHASE_LATE_ASM);
567 /* Compilation unit is finalized. When producing non-fat LTO object, we are
568 basically finished. */
569 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
571 /* Likewise for mudflap static object registrations. */
572 if (flag_mudflap)
573 mudflap_finish_file ();
575 /* File-scope initialization for AddressSanitizer. */
576 if (flag_sanitize & SANITIZE_ADDRESS)
577 asan_finish_file ();
579 if (flag_sanitize & SANITIZE_THREAD)
580 tsan_finish_file ();
582 output_shared_constant_pool ();
583 output_object_blocks ();
584 finish_tm_clone_pairs ();
586 /* Write out any pending weak symbol declarations. */
587 weak_finish ();
589 /* This must be at the end before unwind and debug info.
590 Some target ports emit PIC setup thunks here. */
591 targetm.asm_out.code_end ();
593 /* Do dbx symbols. */
594 timevar_push (TV_SYMOUT);
596 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
597 if (dwarf2out_do_frame ())
598 dwarf2out_frame_finish ();
599 #endif
601 (*debug_hooks->finish) (main_input_filename);
602 timevar_pop (TV_SYMOUT);
604 /* Output some stuff at end of file if nec. */
606 dw2_output_indirect_constants ();
608 /* Flush any pending external directives. */
609 process_pending_assemble_externals ();
612 /* Emit LTO marker if LTO info has been previously emitted. This is
613 used by collect2 to determine whether an object file contains IL.
614 We used to emit an undefined reference here, but this produces
615 link errors if an object file with IL is stored into a shared
616 library without invoking lto1. */
617 if (flag_generate_lto)
619 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
620 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
621 "__gnu_lto_v1",
622 (unsigned HOST_WIDE_INT) 1, 8);
623 #elif defined ASM_OUTPUT_ALIGNED_COMMON
624 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
625 (unsigned HOST_WIDE_INT) 1, 8);
626 #else
627 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
628 (unsigned HOST_WIDE_INT) 1,
629 (unsigned HOST_WIDE_INT) 1);
630 #endif
631 /* Let linker plugin know that this is a slim object and must be LTOed
632 even when user did not ask for it. */
633 if (!flag_fat_lto_objects)
635 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
636 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
637 "__gnu_lto_slim",
638 (unsigned HOST_WIDE_INT) 1, 8);
639 #elif defined ASM_OUTPUT_ALIGNED_COMMON
640 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
641 (unsigned HOST_WIDE_INT) 1, 8);
642 #else
643 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
644 (unsigned HOST_WIDE_INT) 1,
645 (unsigned HOST_WIDE_INT) 1);
646 #endif
650 /* Attach a special .ident directive to the end of the file to identify
651 the version of GCC which compiled this code. The format of the .ident
652 string is patterned after the ones produced by native SVR4 compilers. */
653 if (!flag_no_ident)
655 const char *pkg_version = "(GNU) ";
656 char *ident_str;
658 if (strcmp ("(GCC) ", pkgversion_string))
659 pkg_version = pkgversion_string;
661 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
662 targetm.asm_out.output_ident (ident_str);
665 /* Invoke registered plugin callbacks. */
666 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
668 /* This must be at the end. Some target ports emit end of file directives
669 into the assembly file here, and hence we can not output anything to the
670 assembly file after this point. */
671 targetm.asm_out.file_end ();
673 timevar_stop (TV_PHASE_LATE_ASM);
676 /* Print version information to FILE.
677 Each line begins with INDENT (for the case where FILE is the
678 assembler output file). */
680 void
681 print_version (FILE *file, const char *indent)
683 static const char fmt1[] =
684 #ifdef __GNUC__
685 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
686 #else
687 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
688 #endif
690 static const char fmt2[] =
691 N_("GMP version %s, MPFR version %s, MPC version %s\n");
692 static const char fmt3[] =
693 N_("%s%swarning: %s header version %s differs from library version %s.\n");
694 static const char fmt4[] =
695 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
696 #ifndef __VERSION__
697 #define __VERSION__ "[?]"
698 #endif
699 fprintf (file,
700 file == stderr ? _(fmt1) : fmt1,
701 indent, *indent != 0 ? " " : "",
702 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
703 indent, __VERSION__);
705 /* We need to stringify the GMP macro values. Ugh, gmp_version has
706 two string formats, "i.j.k" and "i.j" when k is zero. As of
707 gmp-4.3.0, GMP always uses the 3 number format. */
708 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
709 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
710 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
711 #define GCC_GMP_VERSION \
712 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
713 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
714 #define GCC_GMP_STRINGIFY_VERSION \
715 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
716 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
717 #else
718 #define GCC_GMP_STRINGIFY_VERSION \
719 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
720 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
721 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
722 #endif
723 fprintf (file,
724 file == stderr ? _(fmt2) : fmt2,
725 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
726 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
727 fprintf (file,
728 file == stderr ? _(fmt3) : fmt3,
729 indent, *indent != 0 ? " " : "",
730 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
731 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
732 fprintf (file,
733 file == stderr ? _(fmt3) : fmt3,
734 indent, *indent != 0 ? " " : "",
735 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
736 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
737 fprintf (file,
738 file == stderr ? _(fmt3) : fmt3,
739 indent, *indent != 0 ? " " : "",
740 "MPC", MPC_VERSION_STRING, mpc_get_version ());
741 fprintf (file,
742 file == stderr ? _(fmt4) : fmt4,
743 indent, *indent != 0 ? " " : "",
744 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
746 print_plugins_versions (file, indent);
749 static int
750 print_to_asm_out_file (print_switch_type type, const char * text)
752 bool prepend_sep = true;
754 switch (type)
756 case SWITCH_TYPE_LINE_END:
757 putc ('\n', asm_out_file);
758 return 1;
760 case SWITCH_TYPE_LINE_START:
761 fputs (ASM_COMMENT_START, asm_out_file);
762 return strlen (ASM_COMMENT_START);
764 case SWITCH_TYPE_DESCRIPTIVE:
765 if (ASM_COMMENT_START[0] == 0)
766 prepend_sep = false;
767 /* Drop through. */
768 case SWITCH_TYPE_PASSED:
769 case SWITCH_TYPE_ENABLED:
770 if (prepend_sep)
771 fputc (' ', asm_out_file);
772 fputs (text, asm_out_file);
773 /* No need to return the length here as
774 print_single_switch has already done it. */
775 return 0;
777 default:
778 return -1;
782 static int
783 print_to_stderr (print_switch_type type, const char * text)
785 switch (type)
787 case SWITCH_TYPE_LINE_END:
788 putc ('\n', stderr);
789 return 1;
791 case SWITCH_TYPE_LINE_START:
792 return 0;
794 case SWITCH_TYPE_PASSED:
795 case SWITCH_TYPE_ENABLED:
796 fputc (' ', stderr);
797 /* Drop through. */
799 case SWITCH_TYPE_DESCRIPTIVE:
800 fputs (text, stderr);
801 /* No need to return the length here as
802 print_single_switch has already done it. */
803 return 0;
805 default:
806 return -1;
810 /* Print an option value and return the adjusted position in the line.
811 ??? print_fn doesn't handle errors, eg disk full; presumably other
812 code will catch a disk full though. */
814 static int
815 print_single_switch (print_switch_fn_type print_fn,
816 int pos,
817 print_switch_type type,
818 const char * text)
820 /* The ultrix fprintf returns 0 on success, so compute the result
821 we want here since we need it for the following test. The +1
822 is for the separator character that will probably be emitted. */
823 int len = strlen (text) + 1;
825 if (pos != 0
826 && pos + len > MAX_LINE)
828 print_fn (SWITCH_TYPE_LINE_END, NULL);
829 pos = 0;
832 if (pos == 0)
833 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
835 print_fn (type, text);
836 return pos + len;
839 /* Print active target switches using PRINT_FN.
840 POS is the current cursor position and MAX is the size of a "line".
841 Each line begins with INDENT and ends with TERM.
842 Each switch is separated from the next by SEP. */
844 static void
845 print_switch_values (print_switch_fn_type print_fn)
847 int pos = 0;
848 size_t j;
850 /* Fill in the -frandom-seed option, if the user didn't pass it, so
851 that it can be printed below. This helps reproducibility. */
852 if (!flag_random_seed)
853 init_random_seed ();
855 /* Print the options as passed. */
856 pos = print_single_switch (print_fn, pos,
857 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
859 for (j = 1; j < save_decoded_options_count; j++)
861 switch (save_decoded_options[j].opt_index)
863 case OPT_o:
864 case OPT_d:
865 case OPT_dumpbase:
866 case OPT_dumpdir:
867 case OPT_auxbase:
868 case OPT_quiet:
869 case OPT_version:
870 /* Ignore these. */
871 continue;
874 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
875 save_decoded_options[j].orig_option_with_args_text);
878 if (pos > 0)
879 print_fn (SWITCH_TYPE_LINE_END, NULL);
881 /* Print the -f and -m options that have been enabled.
882 We don't handle language specific options but printing argv
883 should suffice. */
884 pos = print_single_switch (print_fn, 0,
885 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
887 for (j = 0; j < cl_options_count; j++)
888 if (cl_options[j].cl_report
889 && option_enabled (j, &global_options) > 0)
890 pos = print_single_switch (print_fn, pos,
891 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
893 print_fn (SWITCH_TYPE_LINE_END, NULL);
896 /* Open assembly code output file. Do this even if -fsyntax-only is
897 on, because then the driver will have provided the name of a
898 temporary file or bit bucket for us. NAME is the file specified on
899 the command line, possibly NULL. */
900 static void
901 init_asm_output (const char *name)
903 if (name == NULL && asm_file_name == 0)
904 asm_out_file = stdout;
905 else
907 if (asm_file_name == 0)
909 int len = strlen (dump_base_name);
910 char *dumpname = XNEWVEC (char, len + 6);
912 memcpy (dumpname, dump_base_name, len + 1);
913 strip_off_ending (dumpname, len);
914 strcat (dumpname, ".s");
915 asm_file_name = dumpname;
917 if (!strcmp (asm_file_name, "-"))
918 asm_out_file = stdout;
919 else
920 asm_out_file = fopen (asm_file_name, "w");
921 if (asm_out_file == 0)
922 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
925 if (!flag_syntax_only)
927 targetm.asm_out.file_start ();
929 if (flag_record_gcc_switches)
931 if (targetm.asm_out.record_gcc_switches)
933 /* Let the target know that we are about to start recording. */
934 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
935 NULL);
936 /* Now record the switches. */
937 print_switch_values (targetm.asm_out.record_gcc_switches);
938 /* Let the target know that the recording is over. */
939 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
940 NULL);
942 else
943 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
946 if (flag_verbose_asm)
948 /* Print the list of switches in effect
949 into the assembler file as comments. */
950 print_version (asm_out_file, ASM_COMMENT_START);
951 print_switch_values (print_to_asm_out_file);
952 putc ('\n', asm_out_file);
957 /* A helper function; used as the reallocator function for cpp's line
958 table. */
959 static void *
960 realloc_for_line_map (void *ptr, size_t len)
962 return GGC_RESIZEVAR (void, ptr, len);
965 /* A helper function: used as the allocator function for
966 identifier_to_locale. */
967 static void *
968 alloc_for_identifier_to_locale (size_t len)
970 return ggc_alloc_atomic (len);
973 /* Output stack usage information. */
974 void
975 output_stack_usage (void)
977 static bool warning_issued = false;
978 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
979 const char *stack_usage_kind_str[] = {
980 "static",
981 "dynamic",
982 "dynamic,bounded"
984 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
985 enum stack_usage_kind_type stack_usage_kind;
987 if (stack_usage < 0)
989 if (!warning_issued)
991 warning (0, "stack usage computation not supported for this target");
992 warning_issued = true;
994 return;
997 stack_usage_kind = STATIC;
999 /* Add the maximum amount of space pushed onto the stack. */
1000 if (current_function_pushed_stack_size > 0)
1002 stack_usage += current_function_pushed_stack_size;
1003 stack_usage_kind = DYNAMIC_BOUNDED;
1006 /* Now on to the tricky part: dynamic stack allocation. */
1007 if (current_function_allocates_dynamic_stack_space)
1009 if (current_function_has_unbounded_dynamic_stack_size)
1010 stack_usage_kind = DYNAMIC;
1011 else
1012 stack_usage_kind = DYNAMIC_BOUNDED;
1014 /* Add the size even in the unbounded case, this can't hurt. */
1015 stack_usage += current_function_dynamic_stack_size;
1018 if (flag_stack_usage)
1020 expanded_location loc
1021 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1022 /* We don't want to print the full qualified name because it can be long,
1023 so we strip the scope prefix, but we may need to deal with the suffix
1024 created by the compiler. */
1025 const char *suffix
1026 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1027 const char *name
1028 = lang_hooks.decl_printable_name (current_function_decl, 2);
1029 if (suffix)
1031 const char *dot = strchr (name, '.');
1032 while (dot && strcasecmp (dot, suffix) != 0)
1034 name = dot + 1;
1035 dot = strchr (name, '.');
1038 else
1040 const char *dot = strrchr (name, '.');
1041 if (dot)
1042 name = dot + 1;
1045 fprintf (stack_usage_file,
1046 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1047 lbasename (loc.file),
1048 loc.line,
1049 loc.column,
1050 name,
1051 stack_usage,
1052 stack_usage_kind_str[stack_usage_kind]);
1055 if (warn_stack_usage >= 0)
1057 if (stack_usage_kind == DYNAMIC)
1058 warning (OPT_Wstack_usage_, "stack usage might be unbounded");
1059 else if (stack_usage > warn_stack_usage)
1061 if (stack_usage_kind == DYNAMIC_BOUNDED)
1062 warning (OPT_Wstack_usage_, "stack usage might be %wd bytes",
1063 stack_usage);
1064 else
1065 warning (OPT_Wstack_usage_, "stack usage is %wd bytes",
1066 stack_usage);
1071 /* Open an auxiliary output file. */
1072 static FILE *
1073 open_auxiliary_file (const char *ext)
1075 char *filename;
1076 FILE *file;
1078 filename = concat (aux_base_name, ".", ext, NULL);
1079 file = fopen (filename, "w");
1080 if (!file)
1081 fatal_error ("can%'t open %s for writing: %m", filename);
1082 free (filename);
1083 return file;
1086 /* Initialization of the front end environment, before command line
1087 options are parsed. Signal handlers, internationalization etc.
1088 ARGV0 is main's argv[0]. */
1089 static void
1090 general_init (const char *argv0)
1092 const char *p;
1094 p = argv0 + strlen (argv0);
1095 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1096 --p;
1097 progname = p;
1099 xmalloc_set_program_name (progname);
1101 hex_init ();
1103 /* Unlock the stdio streams. */
1104 unlock_std_streams ();
1106 gcc_init_libintl ();
1108 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1109 identifier_to_locale_free = ggc_free;
1111 /* Initialize the diagnostics reporting machinery, so option parsing
1112 can give warnings and errors. */
1113 diagnostic_initialize (global_dc, N_OPTS);
1114 /* Set a default printer. Language specific initializations will
1115 override it later. */
1116 tree_diagnostics_defaults (global_dc);
1117 /* FIXME: This should probably be moved to C-family
1118 language-specific initializations. */
1119 /* By default print macro expansion contexts in the diagnostic
1120 finalizer -- for tokens resulting from macro expansion. */
1121 diagnostic_finalizer (global_dc) = virt_loc_aware_diagnostic_finalizer;
1123 global_dc->show_caret
1124 = global_options_init.x_flag_diagnostics_show_caret;
1125 global_dc->show_option_requested
1126 = global_options_init.x_flag_diagnostics_show_option;
1127 global_dc->show_column
1128 = global_options_init.x_flag_show_column;
1129 global_dc->internal_error = plugins_internal_error_function;
1130 global_dc->option_enabled = option_enabled;
1131 global_dc->option_state = &global_options;
1132 global_dc->option_name = option_name;
1134 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1135 #ifdef SIGSEGV
1136 signal (SIGSEGV, crash_signal);
1137 #endif
1138 #ifdef SIGILL
1139 signal (SIGILL, crash_signal);
1140 #endif
1141 #ifdef SIGBUS
1142 signal (SIGBUS, crash_signal);
1143 #endif
1144 #ifdef SIGABRT
1145 signal (SIGABRT, crash_signal);
1146 #endif
1147 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1148 signal (SIGIOT, crash_signal);
1149 #endif
1150 #ifdef SIGFPE
1151 signal (SIGFPE, crash_signal);
1152 #endif
1154 /* Other host-specific signal setup. */
1155 (*host_hooks.extra_signals)();
1157 /* Initialize the garbage-collector, string pools and tree type hash
1158 table. */
1159 init_ggc ();
1160 init_stringpool ();
1161 line_table = ggc_alloc_line_maps ();
1162 linemap_init (line_table);
1163 line_table->reallocator = realloc_for_line_map;
1164 line_table->round_alloc_size = ggc_round_alloc_size;
1165 init_ttree ();
1167 /* Initialize register usage now so switches may override. */
1168 init_reg_sets ();
1170 /* Register the language-independent parameters. */
1171 global_init_params ();
1173 /* This must be done after global_init_params but before argument
1174 processing. */
1175 init_ggc_heuristics ();
1177 /* Create the singleton holder for global state.
1178 Doing so also creates the pass manager and with it the passes. */
1179 g = new gcc::context ();
1181 statistics_early_init ();
1182 finish_params ();
1185 /* Return true if the current target supports -fsection-anchors. */
1187 static bool
1188 target_supports_section_anchors_p (void)
1190 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1191 return false;
1193 if (targetm.asm_out.output_anchor == NULL)
1194 return false;
1196 return true;
1199 /* Default the align_* variables to 1 if they're still unset, and
1200 set up the align_*_log variables. */
1201 static void
1202 init_alignments (void)
1204 if (align_loops <= 0)
1205 align_loops = 1;
1206 if (align_loops_max_skip > align_loops)
1207 align_loops_max_skip = align_loops - 1;
1208 align_loops_log = floor_log2 (align_loops * 2 - 1);
1209 if (align_jumps <= 0)
1210 align_jumps = 1;
1211 if (align_jumps_max_skip > align_jumps)
1212 align_jumps_max_skip = align_jumps - 1;
1213 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1214 if (align_labels <= 0)
1215 align_labels = 1;
1216 align_labels_log = floor_log2 (align_labels * 2 - 1);
1217 if (align_labels_max_skip > align_labels)
1218 align_labels_max_skip = align_labels - 1;
1219 if (align_functions <= 0)
1220 align_functions = 1;
1221 align_functions_log = floor_log2 (align_functions * 2 - 1);
1224 /* Process the options that have been parsed. */
1225 static void
1226 process_options (void)
1228 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1229 This can happen with incorrect pre-processed input. */
1230 debug_hooks = &do_nothing_debug_hooks;
1232 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1234 /* Default to -fdiagnostics-color=auto if GCC_COLORS is in the environment,
1235 otherwise default to -fdiagnostics-color=never. */
1236 if (!global_options_set.x_flag_diagnostics_show_color
1237 && getenv ("GCC_COLORS"))
1238 pp_show_color (global_dc->printer)
1239 = colorize_init (DIAGNOSTICS_COLOR_AUTO);
1241 /* Allow the front end to perform consistency checks and do further
1242 initialization based on the command line options. This hook also
1243 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1244 so we can correctly initialize debug output. */
1245 no_backend = lang_hooks.post_options (&main_input_filename);
1247 /* Some machines may reject certain combinations of options. */
1248 targetm.target_option.override ();
1250 /* Avoid any informative notes in the second run of -fcompare-debug. */
1251 if (flag_compare_debug)
1252 diagnostic_inhibit_notes (global_dc);
1254 if (flag_section_anchors && !target_supports_section_anchors_p ())
1256 warning (OPT_fsection_anchors,
1257 "this target does not support %qs", "-fsection-anchors");
1258 flag_section_anchors = 0;
1261 if (flag_short_enums == 2)
1262 flag_short_enums = targetm.default_short_enums ();
1264 /* Set aux_base_name if not already set. */
1265 if (aux_base_name)
1267 else if (main_input_filename)
1269 char *name = xstrdup (lbasename (main_input_filename));
1271 strip_off_ending (name, strlen (name));
1272 aux_base_name = name;
1274 else
1275 aux_base_name = "gccaux";
1277 #ifndef HAVE_cloog
1278 if (flag_graphite
1279 || flag_graphite_identity
1280 || flag_loop_block
1281 || flag_loop_interchange
1282 || flag_loop_strip_mine
1283 || flag_loop_parallelize_all)
1284 sorry ("Graphite loop optimizations cannot be used (-fgraphite, "
1285 "-fgraphite-identity, -floop-block, "
1286 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1287 "and -ftree-loop-linear)");
1288 #endif
1290 if (flag_mudflap && flag_lto)
1291 sorry ("mudflap cannot be used together with link-time optimization");
1293 /* One region RA really helps to decrease the code size. */
1294 if (flag_ira_region == IRA_REGION_AUTODETECT)
1295 flag_ira_region
1296 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1298 if (flag_strict_volatile_bitfields > 0 && !abi_version_at_least (2))
1300 warning (0, "-fstrict-volatile-bitfields disabled; "
1301 "it is incompatible with ABI versions < 2");
1302 flag_strict_volatile_bitfields = 0;
1305 /* Unrolling all loops implies that standard loop unrolling must also
1306 be done. */
1307 if (flag_unroll_all_loops)
1308 flag_unroll_loops = 1;
1310 /* web and rename-registers help when run after loop unrolling. */
1311 if (flag_web == AUTODETECT_VALUE)
1312 flag_web = flag_unroll_loops || flag_peel_loops;
1314 if (flag_rename_registers == AUTODETECT_VALUE)
1315 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1317 if (flag_non_call_exceptions)
1318 flag_asynchronous_unwind_tables = 1;
1319 if (flag_asynchronous_unwind_tables)
1320 flag_unwind_tables = 1;
1322 if (flag_value_profile_transformations)
1323 flag_profile_values = 1;
1325 /* Warn about options that are not supported on this machine. */
1326 #ifndef INSN_SCHEDULING
1327 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1328 warning (0, "instruction scheduling not supported on this target machine");
1329 #endif
1330 #ifndef DELAY_SLOTS
1331 if (flag_delayed_branch)
1332 warning (0, "this target machine does not have delayed branches");
1333 #endif
1335 user_label_prefix = USER_LABEL_PREFIX;
1336 if (flag_leading_underscore != -1)
1338 /* If the default prefix is more complicated than "" or "_",
1339 issue a warning and ignore this option. */
1340 if (user_label_prefix[0] == 0 ||
1341 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1343 user_label_prefix = flag_leading_underscore ? "_" : "";
1345 else
1346 warning (0, "-f%sleading-underscore not supported on this target machine",
1347 flag_leading_underscore ? "" : "no-");
1350 /* If we are in verbose mode, write out the version and maybe all the
1351 option flags in use. */
1352 if (version_flag)
1354 print_version (stderr, "");
1355 if (! quiet_flag)
1356 print_switch_values (print_to_stderr);
1359 if (flag_syntax_only)
1361 write_symbols = NO_DEBUG;
1362 profile_flag = 0;
1365 if (flag_gtoggle)
1367 if (debug_info_level == DINFO_LEVEL_NONE)
1369 debug_info_level = DINFO_LEVEL_NORMAL;
1371 if (write_symbols == NO_DEBUG)
1372 write_symbols = PREFERRED_DEBUGGING_TYPE;
1374 else
1375 debug_info_level = DINFO_LEVEL_NONE;
1378 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1380 FILE *final_output = fopen (flag_dump_final_insns, "w");
1381 if (!final_output)
1383 error ("could not open final insn dump file %qs: %m",
1384 flag_dump_final_insns);
1385 flag_dump_final_insns = NULL;
1387 else if (fclose (final_output))
1389 error ("could not close zeroed insn dump file %qs: %m",
1390 flag_dump_final_insns);
1391 flag_dump_final_insns = NULL;
1395 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1396 level is 0. */
1397 if (debug_info_level == DINFO_LEVEL_NONE)
1398 write_symbols = NO_DEBUG;
1400 if (write_symbols == NO_DEBUG)
1402 #if defined(DBX_DEBUGGING_INFO)
1403 else if (write_symbols == DBX_DEBUG)
1404 debug_hooks = &dbx_debug_hooks;
1405 #endif
1406 #if defined(XCOFF_DEBUGGING_INFO)
1407 else if (write_symbols == XCOFF_DEBUG)
1408 debug_hooks = &xcoff_debug_hooks;
1409 #endif
1410 #ifdef SDB_DEBUGGING_INFO
1411 else if (write_symbols == SDB_DEBUG)
1412 debug_hooks = &sdb_debug_hooks;
1413 #endif
1414 #ifdef DWARF2_DEBUGGING_INFO
1415 else if (write_symbols == DWARF2_DEBUG)
1416 debug_hooks = &dwarf2_debug_hooks;
1417 #endif
1418 #ifdef VMS_DEBUGGING_INFO
1419 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1420 debug_hooks = &vmsdbg_debug_hooks;
1421 #endif
1422 else
1423 error ("target system does not support the \"%s\" debug format",
1424 debug_type_names[write_symbols]);
1426 /* We know which debug output will be used so we can set flag_var_tracking
1427 and flag_var_tracking_uninit if the user has not specified them. */
1428 if (debug_info_level < DINFO_LEVEL_NORMAL
1429 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1431 if (flag_var_tracking == 1
1432 || flag_var_tracking_uninit == 1)
1434 if (debug_info_level < DINFO_LEVEL_NORMAL)
1435 warning (0, "variable tracking requested, but useless unless "
1436 "producing debug info");
1437 else
1438 warning (0, "variable tracking requested, but not supported "
1439 "by this debug format");
1441 flag_var_tracking = 0;
1442 flag_var_tracking_uninit = 0;
1445 /* The debug hooks are used to implement -fdump-go-spec because it
1446 gives a simple and stable API for all the information we need to
1447 dump. */
1448 if (flag_dump_go_spec != NULL)
1449 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1451 /* If the user specifically requested variable tracking with tagging
1452 uninitialized variables, we need to turn on variable tracking.
1453 (We already determined above that variable tracking is feasible.) */
1454 if (flag_var_tracking_uninit == 1)
1455 flag_var_tracking = 1;
1457 if (flag_var_tracking == AUTODETECT_VALUE)
1458 flag_var_tracking = optimize >= 1;
1460 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1461 flag_var_tracking_uninit = flag_var_tracking;
1463 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1464 flag_var_tracking_assignments = flag_var_tracking
1465 && !(flag_selective_scheduling || flag_selective_scheduling2);
1467 if (flag_var_tracking_assignments_toggle)
1468 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1470 if (flag_var_tracking_assignments && !flag_var_tracking)
1471 flag_var_tracking = flag_var_tracking_assignments = -1;
1473 if (flag_var_tracking_assignments
1474 && (flag_selective_scheduling || flag_selective_scheduling2))
1475 warning (0, "var-tracking-assignments changes selective scheduling");
1477 if (flag_tree_cselim == AUTODETECT_VALUE)
1478 #ifdef HAVE_conditional_move
1479 flag_tree_cselim = 1;
1480 #else
1481 flag_tree_cselim = 0;
1482 #endif
1484 /* If auxiliary info generation is desired, open the output file.
1485 This goes in the same directory as the source file--unlike
1486 all the other output files. */
1487 if (flag_gen_aux_info)
1489 aux_info_file = fopen (aux_info_file_name, "w");
1490 if (aux_info_file == 0)
1491 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1494 if (!targetm_common.have_named_sections)
1496 if (flag_function_sections)
1498 warning (0, "-ffunction-sections not supported for this target");
1499 flag_function_sections = 0;
1501 if (flag_data_sections)
1503 warning (0, "-fdata-sections not supported for this target");
1504 flag_data_sections = 0;
1508 #ifndef HAVE_prefetch
1509 if (flag_prefetch_loop_arrays > 0)
1511 warning (0, "-fprefetch-loop-arrays not supported for this target");
1512 flag_prefetch_loop_arrays = 0;
1514 #else
1515 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1517 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1518 flag_prefetch_loop_arrays = 0;
1520 #endif
1522 /* This combination of options isn't handled for i386 targets and doesn't
1523 make much sense anyway, so don't allow it. */
1524 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1526 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1527 flag_prefetch_loop_arrays = 0;
1530 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1531 if (flag_signaling_nans)
1532 flag_trapping_math = 1;
1534 /* We cannot reassociate if we want traps or signed zeros. */
1535 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1537 warning (0, "-fassociative-math disabled; other options take precedence");
1538 flag_associative_math = 0;
1541 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1542 if (flag_cx_limited_range)
1543 flag_complex_method = 0;
1545 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1546 if (flag_cx_fortran_rules)
1547 flag_complex_method = 1;
1549 /* Targets must be able to place spill slots at lower addresses. If the
1550 target already uses a soft frame pointer, the transition is trivial. */
1551 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1553 warning (0, "-fstack-protector not supported for this target");
1554 flag_stack_protect = 0;
1556 if (!flag_stack_protect)
1557 warn_stack_protect = 0;
1559 /* Address Sanitizer needs porting to each target architecture. */
1560 if ((flag_sanitize & SANITIZE_ADDRESS)
1561 && (targetm.asan_shadow_offset == NULL
1562 || !FRAME_GROWS_DOWNWARD))
1564 warning (0, "-fsanitize=address not supported for this target");
1565 flag_sanitize &= ~SANITIZE_ADDRESS;
1568 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1569 have not been set. */
1570 if (!global_options_set.x_warnings_are_errors
1571 && warn_coverage_mismatch
1572 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1573 DK_UNSPECIFIED))
1574 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1575 DK_ERROR, UNKNOWN_LOCATION);
1577 /* Save the current optimization options. */
1578 optimization_default_node = build_optimization_node (&global_options);
1579 optimization_current_node = optimization_default_node;
1582 /* This function can be called multiple times to reinitialize the compiler
1583 back end when register classes or instruction sets have changed,
1584 before each function. */
1585 static void
1586 backend_init_target (void)
1588 /* Initialize alignment variables. */
1589 init_alignments ();
1591 /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
1592 to initialize reg_raw_mode[]. */
1593 init_emit_regs ();
1595 /* This invokes target hooks to set fixed_reg[] etc, which is
1596 mode-dependent. */
1597 init_regs ();
1599 /* This depends on stack_pointer_rtx. */
1600 init_fake_stack_mems ();
1602 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1603 mode-dependent. */
1604 init_alias_target ();
1606 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1607 init_reload ();
1609 /* The following initialization functions need to generate rtl, so
1610 provide a dummy function context for them. */
1611 init_dummy_function_start ();
1613 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1614 on a mode change. */
1615 init_expmed ();
1616 init_lower_subreg ();
1618 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1619 after a mode change as well. */
1620 caller_save_initialized_p = false;
1622 expand_dummy_function_end ();
1625 /* Initialize the compiler back end. This function is called only once,
1626 when starting the compiler. */
1627 static void
1628 backend_init (void)
1630 init_emit_once ();
1632 init_rtlanal ();
1633 init_inline_once ();
1634 init_varasm_once ();
1635 save_register_info ();
1637 /* Initialize the target-specific back end pieces. */
1638 ira_init_once ();
1639 backend_init_target ();
1642 /* Initialize excess precision settings. */
1643 static void
1644 init_excess_precision (void)
1646 /* Adjust excess precision handling based on the target options. If
1647 the front end cannot handle it, flag_excess_precision_cmdline
1648 will already have been set accordingly in the post_options
1649 hook. */
1650 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1651 flag_excess_precision = flag_excess_precision_cmdline;
1652 if (flag_unsafe_math_optimizations)
1653 flag_excess_precision = EXCESS_PRECISION_FAST;
1654 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1656 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1657 switch (flt_eval_method)
1659 case -1:
1660 case 0:
1661 /* Either the target acts unpredictably (-1) or has all the
1662 operations required not to have excess precision (0). */
1663 flag_excess_precision = EXCESS_PRECISION_FAST;
1664 break;
1665 case 1:
1666 case 2:
1667 /* In these cases, predictable excess precision makes
1668 sense. */
1669 break;
1670 default:
1671 /* Any other implementation-defined FLT_EVAL_METHOD values
1672 require the compiler to handle the associated excess
1673 precision rules in excess_precision_type. */
1674 gcc_unreachable ();
1679 /* Initialize things that are both lang-dependent and target-dependent.
1680 This function can be called more than once if target parameters change. */
1681 static void
1682 lang_dependent_init_target (void)
1684 /* This determines excess precision settings. */
1685 init_excess_precision ();
1687 /* This creates various _DECL nodes, so needs to be called after the
1688 front end is initialized. It also depends on the HAVE_xxx macros
1689 generated from the target machine description. */
1690 init_optabs ();
1692 /* The following initialization functions need to generate rtl, so
1693 provide a dummy function context for them. */
1694 init_dummy_function_start ();
1696 /* Do the target-specific parts of expr initialization. */
1697 init_expr_target ();
1699 /* Although the actions of these functions are language-independent,
1700 they use optabs, so we cannot call them from backend_init. */
1701 init_set_costs ();
1702 ira_init ();
1704 expand_dummy_function_end ();
1707 /* Language-dependent initialization. Returns nonzero on success. */
1708 static int
1709 lang_dependent_init (const char *name)
1711 location_t save_loc = input_location;
1712 if (dump_base_name == 0)
1713 dump_base_name = name && name[0] ? name : "gccdump";
1715 /* Other front-end initialization. */
1716 input_location = BUILTINS_LOCATION;
1717 if (lang_hooks.init () == 0)
1718 return 0;
1719 input_location = save_loc;
1721 if (!flag_wpa)
1723 init_asm_output (name);
1725 /* If stack usage information is desired, open the output file. */
1726 if (flag_stack_usage)
1727 stack_usage_file = open_auxiliary_file ("su");
1730 /* This creates various _DECL nodes, so needs to be called after the
1731 front end is initialized. */
1732 init_eh ();
1734 /* Do the target-specific parts of the initialization. */
1735 lang_dependent_init_target ();
1737 if (!flag_wpa)
1739 /* If dbx symbol table desired, initialize writing it and output the
1740 predefined types. */
1741 timevar_push (TV_SYMOUT);
1743 /* Now we have the correct original filename, we can initialize
1744 debug output. */
1745 (*debug_hooks->init) (name);
1747 timevar_pop (TV_SYMOUT);
1750 return 1;
1754 /* Reinitialize everything when target parameters, such as register usage,
1755 have changed. */
1756 void
1757 target_reinit (void)
1759 struct rtl_data saved_x_rtl;
1760 rtx *saved_regno_reg_rtx;
1762 /* Save *crtl and regno_reg_rtx around the reinitialization
1763 to allow target_reinit being called even after prepare_function_start. */
1764 saved_regno_reg_rtx = regno_reg_rtx;
1765 if (saved_regno_reg_rtx)
1767 saved_x_rtl = *crtl;
1768 memset (crtl, '\0', sizeof (*crtl));
1769 regno_reg_rtx = NULL;
1772 /* Reinitialize RTL backend. */
1773 backend_init_target ();
1775 /* Reinitialize lang-dependent parts. */
1776 lang_dependent_init_target ();
1778 /* And restore it at the end, as free_after_compilation from
1779 expand_dummy_function_end clears it. */
1780 if (saved_regno_reg_rtx)
1782 *crtl = saved_x_rtl;
1783 regno_reg_rtx = saved_regno_reg_rtx;
1784 saved_regno_reg_rtx = NULL;
1788 void
1789 dump_memory_report (bool final)
1791 dump_line_table_statistics ();
1792 ggc_print_statistics ();
1793 stringpool_statistics ();
1794 dump_tree_statistics ();
1795 dump_gimple_statistics ();
1796 dump_rtx_statistics ();
1797 dump_alloc_pool_statistics ();
1798 dump_bitmap_statistics ();
1799 dump_vec_loc_statistics ();
1800 dump_ggc_loc_statistics (final);
1801 dump_alias_stats (stderr);
1802 dump_pta_stats (stderr);
1805 /* Clean up: close opened files, etc. */
1807 static void
1808 finalize (bool no_backend)
1810 /* Close the dump files. */
1811 if (flag_gen_aux_info)
1813 fclose (aux_info_file);
1814 if (seen_error ())
1815 unlink (aux_info_file_name);
1818 /* Close non-debugging input and output files. Take special care to note
1819 whether fclose returns an error, since the pages might still be on the
1820 buffer chain while the file is open. */
1822 if (asm_out_file)
1824 if (ferror (asm_out_file) != 0)
1825 fatal_error ("error writing to %s: %m", asm_file_name);
1826 if (fclose (asm_out_file) != 0)
1827 fatal_error ("error closing %s: %m", asm_file_name);
1830 if (stack_usage_file)
1831 fclose (stack_usage_file);
1833 if (!no_backend)
1835 statistics_fini ();
1837 g->get_passes ()->finish_optimization_passes ();
1839 ira_finish_once ();
1842 if (mem_report)
1843 dump_memory_report (true);
1845 if (profile_report)
1846 dump_profile_report ();
1848 /* Language-specific end of compilation actions. */
1849 lang_hooks.finish ();
1852 /* Initialize the compiler, and compile the input file. */
1853 static void
1854 do_compile (void)
1856 /* Initialize timing first. The C front ends read the main file in
1857 the post_options hook, and C++ does file timings. */
1858 if (time_report || !quiet_flag || flag_detailed_statistics)
1859 timevar_init ();
1860 timevar_start (TV_TOTAL);
1862 process_options ();
1864 /* Don't do any more if an error has already occurred. */
1865 if (!seen_error ())
1867 timevar_start (TV_PHASE_SETUP);
1869 /* This must be run always, because it is needed to compute the FP
1870 predefined macros, such as __LDBL_MAX__, for targets using non
1871 default FP formats. */
1872 init_adjust_machine_modes ();
1874 /* Set up the back-end if requested. */
1875 if (!no_backend)
1876 backend_init ();
1878 /* Language-dependent initialization. Returns true on success. */
1879 if (lang_dependent_init (main_input_filename))
1881 /* Initialize yet another pass. */
1883 ggc_protect_identifiers = true;
1885 init_cgraph ();
1886 init_final (main_input_filename);
1887 coverage_init (aux_base_name);
1888 statistics_init ();
1889 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1891 timevar_stop (TV_PHASE_SETUP);
1893 compile_file ();
1895 else
1897 timevar_stop (TV_PHASE_SETUP);
1900 timevar_start (TV_PHASE_FINALIZE);
1902 finalize (no_backend);
1904 timevar_stop (TV_PHASE_FINALIZE);
1907 /* Stop timing and print the times. */
1908 timevar_stop (TV_TOTAL);
1909 timevar_print (stderr);
1912 /* Entry point of cc1, cc1plus, jc1, f771, etc.
1913 Exit code is FATAL_EXIT_CODE if can't open files or if there were
1914 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
1916 It is not safe to call this function more than once. */
1919 toplev_main (int argc, char **argv)
1921 /* Parsing and gimplification sometimes need quite large stack.
1922 Increase stack size limits if possible. */
1923 stack_limit_increase (64 * 1024 * 1024);
1925 expandargv (&argc, &argv);
1927 /* Initialization of GCC's environment, and diagnostics. */
1928 general_init (argv[0]);
1930 /* One-off initialization of options that does not need to be
1931 repeated when options are added for particular functions. */
1932 init_options_once ();
1934 /* Initialize global options structures; this must be repeated for
1935 each structure used for parsing options. */
1936 init_options_struct (&global_options, &global_options_set);
1937 lang_hooks.init_options_struct (&global_options);
1939 /* Convert the options to an array. */
1940 decode_cmdline_options_to_array_default_mask (argc,
1941 CONST_CAST2 (const char **,
1942 char **, argv),
1943 &save_decoded_options,
1944 &save_decoded_options_count);
1946 /* Perform language-specific options initialization. */
1947 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
1949 /* Parse the options and do minimal processing; basically just
1950 enough to default flags appropriately. */
1951 decode_options (&global_options, &global_options_set,
1952 save_decoded_options, save_decoded_options_count,
1953 UNKNOWN_LOCATION, global_dc);
1955 handle_common_deferred_options ();
1957 init_local_tick ();
1959 initialize_plugins ();
1961 if (version_flag)
1962 print_version (stderr, "");
1964 if (help_flag)
1965 print_plugins_help (stderr, "");
1967 /* Exit early if we can (e.g. -help). */
1968 if (!exit_after_options)
1969 do_compile ();
1971 if (warningcount || errorcount || werrorcount)
1972 print_ignored_options ();
1973 diagnostic_finish (global_dc);
1975 /* Invoke registered plugin callbacks if any. */
1976 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
1978 finalize_plugins ();
1979 location_adhoc_data_fini (line_table);
1980 if (seen_error () || werrorcount)
1981 return (FATAL_EXIT_CODE);
1983 return (SUCCESS_EXIT_CODE);