Merge from trunk:
[official-gcc.git] / main / gcc / toplev.c
blob71850cb163d886571e2c1f2e6547c80f6cc118a2
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2014 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 "varasm.h"
33 #include "tree-inline.h"
34 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
35 #include "version.h"
36 #include "rtl.h"
37 #include "tm_p.h"
38 #include "flags.h"
39 #include "insn-attr.h"
40 #include "insn-config.h"
41 #include "insn-flags.h"
42 #include "hard-reg-set.h"
43 #include "recog.h"
44 #include "output.h"
45 #include "except.h"
46 #include "function.h"
47 #include "toplev.h"
48 #include "expr.h"
49 #include "intl.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 "asan.h"
72 #include "tsan.h"
73 #include "tree-ssa-alias.h"
74 #include "internal-fn.h"
75 #include "gimple-expr.h"
76 #include "gimple.h"
77 #include "plugin.h"
78 #include "diagnostic-color.h"
79 #include "context.h"
80 #include "pass_manager.h"
81 #include "optabs.h"
83 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
84 #include "dbxout.h"
85 #endif
87 #ifdef SDB_DEBUGGING_INFO
88 #include "sdbout.h"
89 #endif
91 #ifdef XCOFF_DEBUGGING_INFO
92 #include "xcoffout.h" /* Needed for external data
93 declarations for e.g. AIX 4.x. */
94 #endif
96 static void general_init (const char *);
97 static void do_compile (void);
98 static void process_options (void);
99 static void backend_init (void);
100 static int lang_dependent_init (const char *);
101 static void init_asm_output (const char *);
102 static void finalize (bool);
104 static void crash_signal (int) ATTRIBUTE_NORETURN;
105 static void compile_file (void);
107 /* True if we don't need a backend (e.g. preprocessing only). */
108 static bool no_backend;
110 /* Length of line when printing switch values. */
111 #define MAX_LINE 75
113 /* Decoded options, and number of such options. */
114 struct cl_decoded_option *save_decoded_options;
115 unsigned int save_decoded_options_count;
117 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
118 to optimize in process_options (). */
119 #define AUTODETECT_VALUE 2
121 /* Debug hooks - dependent upon command line options. */
123 const struct gcc_debug_hooks *debug_hooks;
125 /* The FUNCTION_DECL for the function currently being compiled,
126 or 0 if between functions. */
127 tree current_function_decl;
129 /* Set to the FUNC_BEGIN label of the current function, or NULL
130 if none. */
131 const char * current_function_func_begin_label;
133 /* A random sequence of characters, unless overridden by user. */
134 static const char *flag_random_seed;
136 /* A local time stamp derived from the time of compilation. It will be
137 zero if the system cannot provide a time. It will be -1u, if the
138 user has specified a particular random seed. */
139 unsigned local_tick;
141 /* Random number for this compilation */
142 HOST_WIDE_INT random_seed;
144 /* -f flags. */
146 /* When non-NULL, indicates that whenever space is allocated on the
147 stack, the resulting stack pointer must not pass this
148 address---that is, for stacks that grow downward, the stack pointer
149 must always be greater than or equal to this address; for stacks
150 that grow upward, the stack pointer must be less than this address.
151 At present, the rtx may be either a REG or a SYMBOL_REF, although
152 the support provided depends on the backend. */
153 rtx stack_limit_rtx;
155 /* True if the user has tagged the function with the 'section'
156 attribute. */
158 bool user_defined_section_attribute = false;
160 struct target_flag_state default_target_flag_state;
161 #if SWITCHABLE_TARGET
162 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
163 #else
164 #define this_target_flag_state (&default_target_flag_state)
165 #endif
167 /* The user symbol prefix after having resolved same. */
168 const char *user_label_prefix;
170 /* Output files for assembler code (real compiler output)
171 and debugging dumps. */
173 FILE *asm_out_file;
174 FILE *aux_info_file;
175 FILE *stack_usage_file = NULL;
177 /* The current working directory of a translation. It's generally the
178 directory from which compilation was initiated, but a preprocessed
179 file may specify the original directory in which it was
180 created. */
182 static const char *src_pwd;
184 /* Primary module's id (non-zero). If no module-info was read in, this will
185 be zero. */
187 unsigned primary_module_id = 0;
189 /* Current module id. */
191 unsigned current_module_id = 0;
193 /* Include all auxiliary modules specified in the profile. This
194 will bypass the ggc_memory limit check. */
195 bool include_all_aux = 0;
197 /* Initialize src_pwd with the given string, and return true. If it
198 was already initialized, return false. As a special case, it may
199 be called with a NULL argument to test whether src_pwd has NOT been
200 initialized yet. */
202 bool
203 set_src_pwd (const char *pwd)
205 if (src_pwd)
207 if (strcmp (src_pwd, pwd) == 0)
208 return true;
209 else
210 return false;
213 src_pwd = xstrdup (pwd);
214 return true;
217 /* Return the directory from which the translation unit was initiated,
218 in case set_src_pwd() was not called before to assign it a
219 different value. */
221 const char *
222 get_src_pwd (void)
224 if (! src_pwd)
226 src_pwd = getpwd ();
227 if (!src_pwd)
228 src_pwd = ".";
231 return src_pwd;
234 /* Called when the start of a function definition is parsed,
235 this function prints on stderr the name of the function. */
236 void
237 announce_function (tree decl)
239 if (!quiet_flag)
241 if (rtl_dump_and_exit)
242 fprintf (stderr, "%s ",
243 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
244 else
245 fprintf (stderr, " %s",
246 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
247 fflush (stderr);
248 pp_needs_newline (global_dc->printer) = true;
249 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
253 /* Initialize local_tick with a random number or -1 if
254 flag_random_seed is set. */
256 static void
257 init_local_tick (void)
259 if (!flag_random_seed)
261 /* Try urandom first. Time of day is too likely to collide.
262 In case of any error we just use the local tick. */
264 int fd = open ("/dev/urandom", O_RDONLY);
265 if (fd >= 0)
267 read (fd, &random_seed, sizeof (random_seed));
268 close (fd);
271 /* Now get the tick anyways */
272 #ifdef HAVE_GETTIMEOFDAY
274 struct timeval tv;
276 gettimeofday (&tv, NULL);
277 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
279 #else
281 time_t now = time (NULL);
283 if (now != (time_t)-1)
284 local_tick = (unsigned) now;
286 #endif
288 else
289 local_tick = -1;
292 /* Set up a default flag_random_seed and local_tick, unless the user
293 already specified one. Must be called after init_local_tick. */
295 static void
296 init_random_seed (void)
298 if (!random_seed)
299 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
302 /* Obtain the random_seed. Unless NOINIT, initialize it if
303 it's not provided in the command line. */
305 HOST_WIDE_INT
306 get_random_seed (bool noinit)
308 if (!flag_random_seed && !noinit)
309 init_random_seed ();
310 return random_seed;
313 /* Modify the random_seed string to VAL. Return its previous
314 value. */
316 const char *
317 set_random_seed (const char *val)
319 const char *old = flag_random_seed;
320 flag_random_seed = val;
321 if (flag_random_seed)
323 char *endp;
325 /* When the driver passed in a hex number don't crc it again */
326 random_seed = strtoul (flag_random_seed, &endp, 0);
327 if (!(endp > flag_random_seed && *endp == 0))
328 random_seed = crc32_string (0, flag_random_seed);
330 return old;
333 /* Handler for fatal signals, such as SIGSEGV. These are transformed
334 into ICE messages, which is much more user friendly. In case the
335 error printer crashes, reset the signal to prevent infinite recursion. */
337 static void
338 crash_signal (int signo)
340 signal (signo, SIG_DFL);
342 /* If we crashed while processing an ASM statement, then be a little more
343 graceful. It's most likely the user's fault. */
344 if (this_is_asm_operands)
346 output_operand_lossage ("unrecoverable error");
347 exit (FATAL_EXIT_CODE);
350 internal_error ("%s", strsignal (signo));
353 /* A subroutine of wrapup_global_declarations. We've come to the end of
354 the compilation unit. All deferred variables should be undeferred,
355 and all incomplete decls should be finalized. */
357 void
358 wrapup_global_declaration_1 (tree decl)
360 /* We're not deferring this any longer. Assignment is conditional to
361 avoid needlessly dirtying PCH pages. */
362 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
363 && DECL_DEFER_OUTPUT (decl) != 0)
364 DECL_DEFER_OUTPUT (decl) = 0;
366 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
367 lang_hooks.finish_incomplete_decl (decl);
370 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
371 needs to be output. Return true if it is output. */
373 bool
374 wrapup_global_declaration_2 (tree decl)
376 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
377 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
378 return false;
380 /* Don't write out static consts, unless we still need them.
382 We also keep static consts if not optimizing (for debugging),
383 unless the user specified -fno-keep-static-consts.
384 ??? They might be better written into the debug information.
385 This is possible when using DWARF.
387 A language processor that wants static constants to be always
388 written out (even if it is not used) is responsible for
389 calling rest_of_decl_compilation itself. E.g. the C front-end
390 calls rest_of_decl_compilation from finish_decl.
391 One motivation for this is that is conventional in some
392 environments to write things like:
393 static const char rcsid[] = "... version string ...";
394 intending to force the string to be in the executable.
396 A language processor that would prefer to have unneeded
397 static constants "optimized away" would just defer writing
398 them out until here. E.g. C++ does this, because static
399 constants are often defined in header files.
401 ??? A tempting alternative (for both C and C++) would be
402 to force a constant to be written if and only if it is
403 defined in a main file, as opposed to an include file. */
405 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
407 varpool_node *node;
408 bool needed = true;
409 node = varpool_node::get (decl);
411 if (!node && flag_ltrans)
412 needed = false;
413 else if (node && node->definition)
414 needed = false;
415 else if (node && node->alias)
416 needed = false;
417 else if (!cgraph_global_info_ready
418 && (TREE_USED (decl)
419 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
420 /* needed */;
421 else if (node && node->analyzed)
422 /* needed */;
423 else if (DECL_COMDAT (decl))
424 needed = false;
425 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
426 && (optimize || !flag_keep_static_consts
427 || DECL_ARTIFICIAL (decl)))
428 needed = false;
430 if (needed)
432 rest_of_decl_compilation (decl, 1, 1);
433 return true;
437 return false;
440 /* Do any final processing required for the declarations in VEC, of
441 which there are LEN. We write out inline functions and variables
442 that have been deferred until this point, but which are required.
443 Returns nonzero if anything was put out. */
445 bool
446 wrapup_global_declarations (tree *vec, int len)
448 bool reconsider, output_something = false;
449 int i;
451 for (i = 0; i < len; i++)
452 wrapup_global_declaration_1 (vec[i]);
454 /* Now emit any global variables or functions that we have been
455 putting off. We need to loop in case one of the things emitted
456 here references another one which comes earlier in the list. */
459 reconsider = false;
460 for (i = 0; i < len; i++)
461 reconsider |= wrapup_global_declaration_2 (vec[i]);
462 if (reconsider)
463 output_something = true;
465 while (reconsider);
467 return output_something;
470 /* A subroutine of check_global_declarations. Issue appropriate warnings
471 for the global declaration DECL. */
473 void
474 check_global_declaration_1 (tree decl)
476 /* Warn about any function declared static but not defined. We don't
477 warn about variables, because many programs have static variables
478 that exist only to get some text into the object file. */
479 if (TREE_CODE (decl) == FUNCTION_DECL
480 && DECL_INITIAL (decl) == 0
481 && DECL_EXTERNAL (decl)
482 && ! DECL_ARTIFICIAL (decl)
483 && ! TREE_NO_WARNING (decl)
484 && ! TREE_PUBLIC (decl)
485 && (warn_unused_function
486 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
488 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
489 pedwarn (input_location, 0, "%q+F used but never defined", decl);
490 else
491 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
492 /* This symbol is effectively an "extern" declaration now. */
493 TREE_PUBLIC (decl) = 1;
496 /* Warn about static fns or vars defined but not used. */
497 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
498 /* We don't warn about "static const" variables because the
499 "rcs_id" idiom uses that construction. */
500 || (warn_unused_variable
501 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
502 && ! DECL_IN_SYSTEM_HEADER (decl)
503 && ! TREE_USED (decl)
504 /* The TREE_USED bit for file-scope decls is kept in the identifier,
505 to handle multiple external decls in different scopes. */
506 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
507 && ! DECL_EXTERNAL (decl)
508 && ! TREE_PUBLIC (decl)
509 /* A volatile variable might be used in some non-obvious way. */
510 && ! TREE_THIS_VOLATILE (decl)
511 /* Global register variables must be declared to reserve them. */
512 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
513 /* Otherwise, ask the language. */
514 && lang_hooks.decls.warn_unused_global (decl))
515 warning ((TREE_CODE (decl) == FUNCTION_DECL)
516 ? OPT_Wunused_function
517 : OPT_Wunused_variable,
518 "%q+D defined but not used", decl);
521 /* Issue appropriate warnings for the global declarations in V (of
522 which there are LEN). */
524 void
525 check_global_declarations (tree *v, int len)
527 int i;
529 for (i = 0; i < len; i++)
530 check_global_declaration_1 (v[i]);
533 /* Emit debugging information for all global declarations in VEC. */
535 void
536 emit_debug_global_declarations (tree *vec, int len)
538 int i;
540 /* Avoid confusing the debug information machinery when there are errors. */
541 if (seen_error ())
542 return;
544 timevar_push (TV_SYMOUT);
545 for (i = 0; i < len; i++)
546 debug_hooks->global_decl (vec[i]);
547 timevar_pop (TV_SYMOUT);
550 /* Compile an entire translation unit. Write a file of assembly
551 output and various debugging dumps. */
553 static void
554 compile_file (void)
556 timevar_start (TV_PHASE_PARSING);
557 timevar_push (TV_PARSE_GLOBAL);
559 /* Call the parser, which parses the entire file (calling
560 rest_of_compilation for each function). */
561 lang_hooks.parse_file ();
563 timevar_pop (TV_PARSE_GLOBAL);
564 timevar_stop (TV_PHASE_PARSING);
566 /* Compilation is now finished except for writing
567 what's left of the symbol table output. */
569 if (flag_syntax_only || flag_wpa)
570 return;
572 ggc_protect_identifiers = false;
574 /* This must also call finalize_compilation_unit. */
575 lang_hooks.decls.final_write_globals ();
577 if (seen_error ())
578 return;
580 if (flag_dyn_ipa)
581 coverage_finish ();
583 timevar_start (TV_PHASE_LATE_ASM);
585 /* Compilation unit is finalized. When producing non-fat LTO object, we are
586 basically finished. */
587 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
589 /* File-scope initialization for AddressSanitizer. */
590 if (flag_sanitize & SANITIZE_ADDRESS)
591 asan_finish_file ();
593 if (flag_sanitize & SANITIZE_THREAD)
594 tsan_finish_file ();
596 output_shared_constant_pool ();
597 output_object_blocks ();
598 finish_tm_clone_pairs ();
600 /* Write out any pending weak symbol declarations. */
601 weak_finish ();
603 /* This must be at the end before unwind and debug info.
604 Some target ports emit PIC setup thunks here. */
605 targetm.asm_out.code_end ();
607 /* Do dbx symbols. */
608 timevar_push (TV_SYMOUT);
610 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
611 if (dwarf2out_do_frame ())
612 dwarf2out_frame_finish ();
613 #endif
615 (*debug_hooks->finish) (main_input_filename);
616 timevar_pop (TV_SYMOUT);
618 /* Output some stuff at end of file if nec. */
620 dw2_output_indirect_constants ();
622 /* Flush any pending external directives. */
623 process_pending_assemble_externals ();
626 /* Emit LTO marker if LTO info has been previously emitted. This is
627 used by collect2 to determine whether an object file contains IL.
628 We used to emit an undefined reference here, but this produces
629 link errors if an object file with IL is stored into a shared
630 library without invoking lto1. */
631 if (flag_generate_lto)
633 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
634 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
635 "__gnu_lto_v1",
636 (unsigned HOST_WIDE_INT) 1, 8);
637 #elif defined ASM_OUTPUT_ALIGNED_COMMON
638 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
639 (unsigned HOST_WIDE_INT) 1, 8);
640 #else
641 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
642 (unsigned HOST_WIDE_INT) 1,
643 (unsigned HOST_WIDE_INT) 1);
644 #endif
645 /* Let linker plugin know that this is a slim object and must be LTOed
646 even when user did not ask for it. */
647 if (!flag_fat_lto_objects)
649 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
650 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
651 "__gnu_lto_slim",
652 (unsigned HOST_WIDE_INT) 1, 8);
653 #elif defined ASM_OUTPUT_ALIGNED_COMMON
654 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
655 (unsigned HOST_WIDE_INT) 1, 8);
656 #else
657 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
658 (unsigned HOST_WIDE_INT) 1,
659 (unsigned HOST_WIDE_INT) 1);
660 #endif
664 /* Attach a special .ident directive to the end of the file to identify
665 the version of GCC which compiled this code. The format of the .ident
666 string is patterned after the ones produced by native SVR4 compilers. */
667 if (!flag_no_ident)
669 const char *pkg_version = "(GNU) ";
670 char *ident_str;
672 if (strcmp ("(GCC) ", pkgversion_string))
673 pkg_version = pkgversion_string;
675 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
676 targetm.asm_out.output_ident (ident_str);
679 /* Invoke registered plugin callbacks. */
680 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
682 /* This must be at the end. Some target ports emit end of file directives
683 into the assembly file here, and hence we can not output anything to the
684 assembly file after this point. */
685 targetm.asm_out.file_end ();
687 timevar_stop (TV_PHASE_LATE_ASM);
690 /* Print version information to FILE.
691 Each line begins with INDENT (for the case where FILE is the
692 assembler output file). */
694 void
695 print_version (FILE *file, const char *indent)
697 static const char fmt1[] =
698 #ifdef __GNUC__
699 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
700 #else
701 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
702 #endif
704 static const char fmt2[] =
705 N_("GMP version %s, MPFR version %s, MPC version %s\n");
706 static const char fmt3[] =
707 N_("%s%swarning: %s header version %s differs from library version %s.\n");
708 static const char fmt4[] =
709 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
710 #ifndef __VERSION__
711 #define __VERSION__ "[?]"
712 #endif
713 fprintf (file,
714 file == stderr ? _(fmt1) : fmt1,
715 indent, *indent != 0 ? " " : "",
716 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
717 indent, __VERSION__);
719 /* We need to stringify the GMP macro values. Ugh, gmp_version has
720 two string formats, "i.j.k" and "i.j" when k is zero. As of
721 gmp-4.3.0, GMP always uses the 3 number format. */
722 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
723 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
724 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
725 #define GCC_GMP_VERSION \
726 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
727 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
728 #define GCC_GMP_STRINGIFY_VERSION \
729 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
730 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
731 #else
732 #define GCC_GMP_STRINGIFY_VERSION \
733 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
734 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
735 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
736 #endif
737 fprintf (file,
738 file == stderr ? _(fmt2) : fmt2,
739 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
740 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
741 fprintf (file,
742 file == stderr ? _(fmt3) : fmt3,
743 indent, *indent != 0 ? " " : "",
744 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
745 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
746 fprintf (file,
747 file == stderr ? _(fmt3) : fmt3,
748 indent, *indent != 0 ? " " : "",
749 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
750 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
751 fprintf (file,
752 file == stderr ? _(fmt3) : fmt3,
753 indent, *indent != 0 ? " " : "",
754 "MPC", MPC_VERSION_STRING, mpc_get_version ());
755 fprintf (file,
756 file == stderr ? _(fmt4) : fmt4,
757 indent, *indent != 0 ? " " : "",
758 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
760 print_plugins_versions (file, indent);
763 static int
764 print_to_asm_out_file (print_switch_type type, const char * text)
766 bool prepend_sep = true;
768 switch (type)
770 case SWITCH_TYPE_LINE_END:
771 putc ('\n', asm_out_file);
772 return 1;
774 case SWITCH_TYPE_LINE_START:
775 fputs (ASM_COMMENT_START, asm_out_file);
776 return strlen (ASM_COMMENT_START);
778 case SWITCH_TYPE_DESCRIPTIVE:
779 if (ASM_COMMENT_START[0] == 0)
780 prepend_sep = false;
781 /* Drop through. */
782 case SWITCH_TYPE_PASSED:
783 case SWITCH_TYPE_ENABLED:
784 if (prepend_sep)
785 fputc (' ', asm_out_file);
786 fputs (text, asm_out_file);
787 /* No need to return the length here as
788 print_single_switch has already done it. */
789 return 0;
791 default:
792 return -1;
796 static int
797 print_to_stderr (print_switch_type type, const char * text)
799 switch (type)
801 case SWITCH_TYPE_LINE_END:
802 putc ('\n', stderr);
803 return 1;
805 case SWITCH_TYPE_LINE_START:
806 return 0;
808 case SWITCH_TYPE_PASSED:
809 case SWITCH_TYPE_ENABLED:
810 fputc (' ', stderr);
811 /* Drop through. */
813 case SWITCH_TYPE_DESCRIPTIVE:
814 fputs (text, stderr);
815 /* No need to return the length here as
816 print_single_switch has already done it. */
817 return 0;
819 default:
820 return -1;
824 /* Print an option value and return the adjusted position in the line.
825 ??? print_fn doesn't handle errors, eg disk full; presumably other
826 code will catch a disk full though. */
828 static int
829 print_single_switch (print_switch_fn_type print_fn,
830 int pos,
831 print_switch_type type,
832 const char * text)
834 /* The ultrix fprintf returns 0 on success, so compute the result
835 we want here since we need it for the following test. The +1
836 is for the separator character that will probably be emitted. */
837 int len = strlen (text) + 1;
839 if (pos != 0
840 && pos + len > MAX_LINE)
842 print_fn (SWITCH_TYPE_LINE_END, NULL);
843 pos = 0;
846 if (pos == 0)
847 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
849 print_fn (type, text);
850 return pos + len;
853 /* Print active target switches using PRINT_FN.
854 POS is the current cursor position and MAX is the size of a "line".
855 Each line begins with INDENT and ends with TERM.
856 Each switch is separated from the next by SEP. */
858 static void
859 print_switch_values (print_switch_fn_type print_fn)
861 int pos = 0;
862 size_t j;
864 /* Fill in the -frandom-seed option, if the user didn't pass it, so
865 that it can be printed below. This helps reproducibility. */
866 if (!flag_random_seed)
867 init_random_seed ();
869 /* Print the options as passed. */
870 pos = print_single_switch (print_fn, pos,
871 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
873 for (j = 1; j < save_decoded_options_count; j++)
875 switch (save_decoded_options[j].opt_index)
877 case OPT_o:
878 case OPT_d:
879 case OPT_dumpbase:
880 case OPT_dumpdir:
881 case OPT_auxbase:
882 case OPT_quiet:
883 case OPT_version:
884 /* Ignore these. */
885 continue;
888 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
889 save_decoded_options[j].orig_option_with_args_text);
892 if (pos > 0)
893 print_fn (SWITCH_TYPE_LINE_END, NULL);
895 /* Print the -f and -m options that have been enabled.
896 We don't handle language specific options but printing argv
897 should suffice. */
898 pos = print_single_switch (print_fn, 0,
899 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
901 for (j = 0; j < cl_options_count; j++)
902 if (cl_options[j].cl_report
903 && option_enabled (j, &global_options) > 0)
904 pos = print_single_switch (print_fn, pos,
905 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
907 print_fn (SWITCH_TYPE_LINE_END, NULL);
910 /* Open assembly code output file. Do this even if -fsyntax-only is
911 on, because then the driver will have provided the name of a
912 temporary file or bit bucket for us. NAME is the file specified on
913 the command line, possibly NULL. */
914 static void
915 init_asm_output (const char *name)
917 if (name == NULL && asm_file_name == 0)
918 asm_out_file = stdout;
919 else
921 if (asm_file_name == 0)
923 int len = strlen (dump_base_name);
924 char *dumpname = XNEWVEC (char, len + 6);
926 memcpy (dumpname, dump_base_name, len + 1);
927 strip_off_ending (dumpname, len);
928 strcat (dumpname, ".s");
929 asm_file_name = dumpname;
931 if (!strcmp (asm_file_name, "-"))
932 asm_out_file = stdout;
933 else
934 asm_out_file = fopen (asm_file_name, "w");
935 if (asm_out_file == 0)
936 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
939 if (!flag_syntax_only)
941 targetm.asm_out.file_start ();
943 if (flag_record_gcc_switches)
945 if (targetm.asm_out.record_gcc_switches)
947 /* Let the target know that we are about to start recording. */
948 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
949 NULL);
950 /* Now record the switches. */
951 print_switch_values (targetm.asm_out.record_gcc_switches);
952 /* Let the target know that the recording is over. */
953 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
954 NULL);
956 else
957 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
960 if (flag_verbose_asm)
962 /* Print the list of switches in effect
963 into the assembler file as comments. */
964 print_version (asm_out_file, ASM_COMMENT_START);
965 print_switch_values (print_to_asm_out_file);
966 putc ('\n', asm_out_file);
971 /* A helper function; used as the reallocator function for cpp's line
972 table. */
973 static void *
974 realloc_for_line_map (void *ptr, size_t len)
976 return ggc_realloc (ptr, len);
979 /* A helper function: used as the allocator function for
980 identifier_to_locale. */
981 static void *
982 alloc_for_identifier_to_locale (size_t len)
984 return ggc_alloc_atomic (len);
987 /* Output stack usage information. */
988 void
989 output_stack_usage (void)
991 static bool warning_issued = false;
992 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
993 const char *stack_usage_kind_str[] = {
994 "static",
995 "dynamic",
996 "dynamic,bounded"
998 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
999 enum stack_usage_kind_type stack_usage_kind;
1001 if (stack_usage < 0)
1003 if (!warning_issued)
1005 warning (0, "stack usage computation not supported for this target");
1006 warning_issued = true;
1008 return;
1011 stack_usage_kind = STATIC;
1013 /* Add the maximum amount of space pushed onto the stack. */
1014 if (current_function_pushed_stack_size > 0)
1016 stack_usage += current_function_pushed_stack_size;
1017 stack_usage_kind = DYNAMIC_BOUNDED;
1020 /* Now on to the tricky part: dynamic stack allocation. */
1021 if (current_function_allocates_dynamic_stack_space)
1023 if (current_function_has_unbounded_dynamic_stack_size)
1024 stack_usage_kind = DYNAMIC;
1025 else
1026 stack_usage_kind = DYNAMIC_BOUNDED;
1028 /* Add the size even in the unbounded case, this can't hurt. */
1029 stack_usage += current_function_dynamic_stack_size;
1032 if (flag_stack_usage)
1034 expanded_location loc
1035 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1036 /* We don't want to print the full qualified name because it can be long,
1037 so we strip the scope prefix, but we may need to deal with the suffix
1038 created by the compiler. */
1039 const char *suffix
1040 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1041 const char *name
1042 = lang_hooks.decl_printable_name (current_function_decl, 2);
1043 if (suffix)
1045 const char *dot = strchr (name, '.');
1046 while (dot && strcasecmp (dot, suffix) != 0)
1048 name = dot + 1;
1049 dot = strchr (name, '.');
1052 else
1054 const char *dot = strrchr (name, '.');
1055 if (dot)
1056 name = dot + 1;
1059 fprintf (stack_usage_file,
1060 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1061 lbasename (loc.file),
1062 loc.line,
1063 loc.column,
1064 name,
1065 stack_usage,
1066 stack_usage_kind_str[stack_usage_kind]);
1069 if (warn_stack_usage >= 0)
1071 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1073 if (stack_usage_kind == DYNAMIC)
1074 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1075 else if (stack_usage > warn_stack_usage)
1077 if (stack_usage_kind == DYNAMIC_BOUNDED)
1078 warning_at (loc,
1079 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1080 stack_usage);
1081 else
1082 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1083 stack_usage);
1088 /* Open an auxiliary output file. */
1089 static FILE *
1090 open_auxiliary_file (const char *ext)
1092 char *filename;
1093 FILE *file;
1095 filename = concat (aux_base_name, ".", ext, NULL);
1096 file = fopen (filename, "w");
1097 if (!file)
1098 fatal_error ("can%'t open %s for writing: %m", filename);
1099 free (filename);
1100 return file;
1103 /* Initialization of the front end environment, before command line
1104 options are parsed. Signal handlers, internationalization etc.
1105 ARGV0 is main's argv[0]. */
1106 static void
1107 general_init (const char *argv0)
1109 const char *p;
1111 p = argv0 + strlen (argv0);
1112 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1113 --p;
1114 progname = p;
1116 xmalloc_set_program_name (progname);
1118 hex_init ();
1120 /* Unlock the stdio streams. */
1121 unlock_std_streams ();
1123 gcc_init_libintl ();
1125 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1126 identifier_to_locale_free = ggc_free;
1128 /* Initialize the diagnostics reporting machinery, so option parsing
1129 can give warnings and errors. */
1130 diagnostic_initialize (global_dc, N_OPTS);
1131 /* Set a default printer. Language specific initializations will
1132 override it later. */
1133 tree_diagnostics_defaults (global_dc);
1134 /* FIXME: This should probably be moved to C-family
1135 language-specific initializations. */
1136 /* By default print macro expansion contexts in the diagnostic
1137 finalizer -- for tokens resulting from macro expansion. */
1138 diagnostic_finalizer (global_dc) = virt_loc_aware_diagnostic_finalizer;
1140 global_dc->show_caret
1141 = global_options_init.x_flag_diagnostics_show_caret;
1142 global_dc->show_option_requested
1143 = global_options_init.x_flag_diagnostics_show_option;
1144 global_dc->show_column
1145 = global_options_init.x_flag_show_column;
1146 global_dc->internal_error = plugins_internal_error_function;
1147 global_dc->option_enabled = option_enabled;
1148 global_dc->option_state = &global_options;
1149 global_dc->option_name = option_name;
1151 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1152 #ifdef SIGSEGV
1153 signal (SIGSEGV, crash_signal);
1154 #endif
1155 #ifdef SIGILL
1156 signal (SIGILL, crash_signal);
1157 #endif
1158 #ifdef SIGBUS
1159 signal (SIGBUS, crash_signal);
1160 #endif
1161 #ifdef SIGABRT
1162 signal (SIGABRT, crash_signal);
1163 #endif
1164 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1165 signal (SIGIOT, crash_signal);
1166 #endif
1167 #ifdef SIGFPE
1168 signal (SIGFPE, crash_signal);
1169 #endif
1171 /* Other host-specific signal setup. */
1172 (*host_hooks.extra_signals)();
1174 /* Initialize the garbage-collector, string pools and tree type hash
1175 table. */
1176 init_ggc ();
1177 init_stringpool ();
1178 line_table = ggc_alloc<line_maps> ();
1179 linemap_init (line_table, BUILTINS_LOCATION);
1180 line_table->reallocator = realloc_for_line_map;
1181 line_table->round_alloc_size = ggc_round_alloc_size;
1182 init_ttree ();
1184 /* Initialize register usage now so switches may override. */
1185 init_reg_sets ();
1187 /* Register the language-independent parameters. */
1188 global_init_params ();
1190 /* This must be done after global_init_params but before argument
1191 processing. */
1192 init_ggc_heuristics ();
1194 /* Create the singleton holder for global state.
1195 Doing so also creates the pass manager and with it the passes. */
1196 g = new gcc::context ();
1198 statistics_early_init ();
1199 finish_params ();
1202 /* Return true if the current target supports -fsection-anchors. */
1204 static bool
1205 target_supports_section_anchors_p (void)
1207 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1208 return false;
1210 if (targetm.asm_out.output_anchor == NULL)
1211 return false;
1213 return true;
1216 /* Default the align_* variables to 1 if they're still unset, and
1217 set up the align_*_log variables. */
1218 static void
1219 init_alignments (void)
1221 if (align_loops <= 0)
1222 align_loops = 1;
1223 if (align_loops_max_skip > align_loops)
1224 align_loops_max_skip = align_loops - 1;
1225 align_loops_log = floor_log2 (align_loops * 2 - 1);
1226 if (align_jumps <= 0)
1227 align_jumps = 1;
1228 if (align_jumps_max_skip > align_jumps)
1229 align_jumps_max_skip = align_jumps - 1;
1230 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1231 if (align_labels <= 0)
1232 align_labels = 1;
1233 align_labels_log = floor_log2 (align_labels * 2 - 1);
1234 if (align_labels_max_skip > align_labels)
1235 align_labels_max_skip = align_labels - 1;
1236 if (align_functions <= 0)
1237 align_functions = 1;
1238 align_functions_log = floor_log2 (align_functions * 2 - 1);
1241 /* Process the options that have been parsed. */
1242 static void
1243 process_options (void)
1245 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1246 This can happen with incorrect pre-processed input. */
1247 debug_hooks = &do_nothing_debug_hooks;
1249 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1251 /* Default to -fdiagnostics-color=auto if GCC_COLORS is in the environment,
1252 otherwise default to -fdiagnostics-color=never. */
1253 if (!global_options_set.x_flag_diagnostics_show_color
1254 && getenv ("GCC_COLORS"))
1255 pp_show_color (global_dc->printer)
1256 = colorize_init (DIAGNOSTICS_COLOR_AUTO);
1258 /* Allow the front end to perform consistency checks and do further
1259 initialization based on the command line options. This hook also
1260 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1261 so we can correctly initialize debug output. */
1262 no_backend = lang_hooks.post_options (&main_input_filename);
1264 /* Some machines may reject certain combinations of options. */
1265 targetm.target_option.override ();
1267 /* Avoid any informative notes in the second run of -fcompare-debug. */
1268 if (flag_compare_debug)
1269 diagnostic_inhibit_notes (global_dc);
1271 if (flag_section_anchors && !target_supports_section_anchors_p ())
1273 warning (OPT_fsection_anchors,
1274 "this target does not support %qs", "-fsection-anchors");
1275 flag_section_anchors = 0;
1278 if (flag_short_enums == 2)
1279 flag_short_enums = targetm.default_short_enums ();
1281 /* Set aux_base_name if not already set. */
1282 if (aux_base_name)
1284 else if (main_input_filename)
1286 char *name = xstrdup (lbasename (main_input_filename));
1288 strip_off_ending (name, strlen (name));
1289 aux_base_name = name;
1291 else
1292 aux_base_name = "gccaux";
1294 #ifndef HAVE_cloog
1295 if (flag_graphite
1296 || flag_graphite_identity
1297 || flag_loop_block
1298 || flag_loop_interchange
1299 || flag_loop_strip_mine
1300 || flag_loop_parallelize_all)
1301 sorry ("Graphite loop optimizations cannot be used (-fgraphite, "
1302 "-fgraphite-identity, -floop-block, "
1303 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1304 "and -ftree-loop-linear)");
1305 #endif
1307 /* One region RA really helps to decrease the code size. */
1308 if (flag_ira_region == IRA_REGION_AUTODETECT)
1309 flag_ira_region
1310 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1312 if (!abi_version_at_least (2))
1314 /* -fabi-version=1 support was removed after GCC 4.9. */
1315 error ("%<-fabi-version=1%> is no longer supported");
1316 flag_abi_version = 2;
1319 /* Unrolling all loops implies that standard loop unrolling must also
1320 be done. */
1321 if (flag_unroll_all_loops)
1322 flag_unroll_loops = 1;
1324 /* web and rename-registers help when run after loop unrolling. */
1325 if (flag_web == AUTODETECT_VALUE)
1326 flag_web = flag_unroll_loops || flag_peel_loops;
1328 if (flag_rename_registers == AUTODETECT_VALUE)
1329 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1331 if (flag_non_call_exceptions)
1332 flag_asynchronous_unwind_tables = 1;
1333 if (flag_asynchronous_unwind_tables)
1334 flag_unwind_tables = 1;
1336 if (flag_value_profile_transformations)
1337 flag_profile_values = 1;
1339 /* Warn about options that are not supported on this machine. */
1340 #ifndef INSN_SCHEDULING
1341 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1342 warning (0, "instruction scheduling not supported on this target machine");
1343 #endif
1344 #ifndef DELAY_SLOTS
1345 if (flag_delayed_branch)
1346 warning (0, "this target machine does not have delayed branches");
1347 #endif
1349 user_label_prefix = USER_LABEL_PREFIX;
1350 if (flag_leading_underscore != -1)
1352 /* If the default prefix is more complicated than "" or "_",
1353 issue a warning and ignore this option. */
1354 if (user_label_prefix[0] == 0 ||
1355 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1357 user_label_prefix = flag_leading_underscore ? "_" : "";
1359 else
1360 warning (0, "-f%sleading-underscore not supported on this target machine",
1361 flag_leading_underscore ? "" : "no-");
1364 /* If we are in verbose mode, write out the version and maybe all the
1365 option flags in use. */
1366 if (version_flag)
1368 print_version (stderr, "");
1369 if (! quiet_flag)
1370 print_switch_values (print_to_stderr);
1373 if (flag_syntax_only)
1375 write_symbols = NO_DEBUG;
1376 profile_flag = 0;
1379 if (flag_gtoggle)
1381 if (debug_info_level == DINFO_LEVEL_NONE)
1383 debug_info_level = DINFO_LEVEL_NORMAL;
1385 if (write_symbols == NO_DEBUG)
1386 write_symbols = PREFERRED_DEBUGGING_TYPE;
1388 else
1389 debug_info_level = DINFO_LEVEL_NONE;
1392 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1394 FILE *final_output = fopen (flag_dump_final_insns, "w");
1395 if (!final_output)
1397 error ("could not open final insn dump file %qs: %m",
1398 flag_dump_final_insns);
1399 flag_dump_final_insns = NULL;
1401 else if (fclose (final_output))
1403 error ("could not close zeroed insn dump file %qs: %m",
1404 flag_dump_final_insns);
1405 flag_dump_final_insns = NULL;
1409 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1410 level is 0. */
1411 if (debug_info_level == DINFO_LEVEL_NONE)
1412 write_symbols = NO_DEBUG;
1414 if (write_symbols == NO_DEBUG)
1416 #if defined(DBX_DEBUGGING_INFO)
1417 else if (write_symbols == DBX_DEBUG)
1418 debug_hooks = &dbx_debug_hooks;
1419 #endif
1420 #if defined(XCOFF_DEBUGGING_INFO)
1421 else if (write_symbols == XCOFF_DEBUG)
1422 debug_hooks = &xcoff_debug_hooks;
1423 #endif
1424 #ifdef SDB_DEBUGGING_INFO
1425 else if (write_symbols == SDB_DEBUG)
1426 debug_hooks = &sdb_debug_hooks;
1427 #endif
1428 #ifdef DWARF2_DEBUGGING_INFO
1429 else if (write_symbols == DWARF2_DEBUG)
1430 debug_hooks = &dwarf2_debug_hooks;
1431 #endif
1432 #ifdef VMS_DEBUGGING_INFO
1433 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1434 debug_hooks = &vmsdbg_debug_hooks;
1435 #endif
1436 else
1437 error ("target system does not support the \"%s\" debug format",
1438 debug_type_names[write_symbols]);
1440 /* We know which debug output will be used so we can set flag_var_tracking
1441 and flag_var_tracking_uninit if the user has not specified them. */
1442 if (debug_info_level < DINFO_LEVEL_NORMAL
1443 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1445 if (flag_var_tracking == 1
1446 || flag_var_tracking_uninit == 1)
1448 if (debug_info_level < DINFO_LEVEL_NORMAL)
1449 warning (0, "variable tracking requested, but useless unless "
1450 "producing debug info");
1451 else
1452 warning (0, "variable tracking requested, but not supported "
1453 "by this debug format");
1455 flag_var_tracking = 0;
1456 flag_var_tracking_uninit = 0;
1459 /* The debug hooks are used to implement -fdump-go-spec because it
1460 gives a simple and stable API for all the information we need to
1461 dump. */
1462 if (flag_dump_go_spec != NULL)
1463 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1465 /* If the user specifically requested variable tracking with tagging
1466 uninitialized variables, we need to turn on variable tracking.
1467 (We already determined above that variable tracking is feasible.) */
1468 if (flag_var_tracking_uninit == 1)
1469 flag_var_tracking = 1;
1471 if (flag_var_tracking == AUTODETECT_VALUE)
1472 flag_var_tracking = optimize >= 1;
1474 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1475 flag_var_tracking_uninit = flag_var_tracking;
1477 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1478 flag_var_tracking_assignments = flag_var_tracking
1479 && !(flag_selective_scheduling || flag_selective_scheduling2);
1481 if (flag_var_tracking_assignments_toggle)
1482 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1484 if (flag_var_tracking_assignments && !flag_var_tracking)
1485 flag_var_tracking = flag_var_tracking_assignments = -1;
1487 if (flag_var_tracking_assignments
1488 && (flag_selective_scheduling || flag_selective_scheduling2))
1489 warning (0, "var-tracking-assignments changes selective scheduling");
1491 if (flag_tree_cselim == AUTODETECT_VALUE)
1492 #ifdef HAVE_conditional_move
1493 flag_tree_cselim = 1;
1494 #else
1495 flag_tree_cselim = 0;
1496 #endif
1498 /* If auxiliary info generation is desired, open the output file.
1499 This goes in the same directory as the source file--unlike
1500 all the other output files. */
1501 if (flag_gen_aux_info)
1503 aux_info_file = fopen (aux_info_file_name, "w");
1504 if (aux_info_file == 0)
1505 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1508 if (!targetm_common.have_named_sections)
1510 if (flag_function_sections)
1512 warning (0, "-ffunction-sections not supported for this target");
1513 flag_function_sections = 0;
1515 if (flag_data_sections)
1517 warning (0, "-fdata-sections not supported for this target");
1518 flag_data_sections = 0;
1522 #ifndef HAVE_prefetch
1523 if (flag_prefetch_loop_arrays > 0)
1525 warning (0, "-fprefetch-loop-arrays not supported for this target");
1526 flag_prefetch_loop_arrays = 0;
1528 #else
1529 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1531 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1532 flag_prefetch_loop_arrays = 0;
1534 #endif
1536 /* This combination of options isn't handled for i386 targets and doesn't
1537 make much sense anyway, so don't allow it. */
1538 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1540 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1541 flag_prefetch_loop_arrays = 0;
1544 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1545 if (flag_signaling_nans)
1546 flag_trapping_math = 1;
1548 /* We cannot reassociate if we want traps or signed zeros. */
1549 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1551 warning (0, "-fassociative-math disabled; other options take precedence");
1552 flag_associative_math = 0;
1555 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1556 if (flag_cx_limited_range)
1557 flag_complex_method = 0;
1559 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1560 if (flag_cx_fortran_rules)
1561 flag_complex_method = 1;
1563 /* Targets must be able to place spill slots at lower addresses. If the
1564 target already uses a soft frame pointer, the transition is trivial. */
1565 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1567 warning (0, "-fstack-protector not supported for this target");
1568 flag_stack_protect = 0;
1570 if (!flag_stack_protect)
1571 warn_stack_protect = 0;
1573 /* Address Sanitizer needs porting to each target architecture. */
1575 if ((flag_sanitize & SANITIZE_ADDRESS)
1576 && !FRAME_GROWS_DOWNWARD)
1578 warning (0,
1579 "-fsanitize=address and -fsanitize=kernel-address "
1580 "are not supported for this target");
1581 flag_sanitize &= ~SANITIZE_ADDRESS;
1584 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1585 && targetm.asan_shadow_offset == NULL)
1587 warning (0, "-fsanitize=address not supported for this target");
1588 flag_sanitize &= ~SANITIZE_ADDRESS;
1591 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1592 have not been set. */
1593 if (!global_options_set.x_warnings_are_errors
1594 && warn_coverage_mismatch
1595 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1596 DK_UNSPECIFIED))
1597 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1598 DK_ERROR, UNKNOWN_LOCATION);
1600 /* Save the current optimization options. */
1601 optimization_default_node = build_optimization_node (&global_options);
1602 optimization_current_node = optimization_default_node;
1605 /* This function can be called multiple times to reinitialize the compiler
1606 back end when register classes or instruction sets have changed,
1607 before each function. */
1608 static void
1609 backend_init_target (void)
1611 /* Initialize alignment variables. */
1612 init_alignments ();
1614 /* This depends on stack_pointer_rtx. */
1615 init_fake_stack_mems ();
1617 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1618 mode-dependent. */
1619 init_alias_target ();
1621 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1622 init_reload ();
1624 /* Depends on the enabled attribute. */
1625 recog_init ();
1627 /* The following initialization functions need to generate rtl, so
1628 provide a dummy function context for them. */
1629 init_dummy_function_start ();
1631 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1632 on a mode change. */
1633 init_expmed ();
1634 init_lower_subreg ();
1635 init_set_costs ();
1637 init_expr_target ();
1638 ira_init ();
1640 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1641 after a mode change as well. */
1642 caller_save_initialized_p = false;
1644 expand_dummy_function_end ();
1647 /* Initialize the compiler back end. This function is called only once,
1648 when starting the compiler. */
1649 static void
1650 backend_init (void)
1652 init_emit_once ();
1654 init_rtlanal ();
1655 init_inline_once ();
1656 init_varasm_once ();
1657 save_register_info ();
1659 /* Middle end needs this initialization for default mem attributes
1660 used by early calls to make_decl_rtl. */
1661 init_emit_regs ();
1663 /* Middle end needs this initialization for mode tables used to assign
1664 modes to vector variables. */
1665 init_regs ();
1668 /* Initialize excess precision settings. */
1669 static void
1670 init_excess_precision (void)
1672 /* Adjust excess precision handling based on the target options. If
1673 the front end cannot handle it, flag_excess_precision_cmdline
1674 will already have been set accordingly in the post_options
1675 hook. */
1676 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1677 flag_excess_precision = flag_excess_precision_cmdline;
1678 if (flag_unsafe_math_optimizations)
1679 flag_excess_precision = EXCESS_PRECISION_FAST;
1680 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1682 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1683 switch (flt_eval_method)
1685 case -1:
1686 case 0:
1687 /* Either the target acts unpredictably (-1) or has all the
1688 operations required not to have excess precision (0). */
1689 flag_excess_precision = EXCESS_PRECISION_FAST;
1690 break;
1691 case 1:
1692 case 2:
1693 /* In these cases, predictable excess precision makes
1694 sense. */
1695 break;
1696 default:
1697 /* Any other implementation-defined FLT_EVAL_METHOD values
1698 require the compiler to handle the associated excess
1699 precision rules in excess_precision_type. */
1700 gcc_unreachable ();
1705 /* Initialize things that are both lang-dependent and target-dependent.
1706 This function can be called more than once if target parameters change. */
1707 static void
1708 lang_dependent_init_target (void)
1710 /* This determines excess precision settings. */
1711 init_excess_precision ();
1713 /* This creates various _DECL nodes, so needs to be called after the
1714 front end is initialized. It also depends on the HAVE_xxx macros
1715 generated from the target machine description. */
1716 init_optabs ();
1718 gcc_assert (!this_target_rtl->target_specific_initialized);
1721 /* Perform initializations that are lang-dependent or target-dependent.
1722 but matters only for late optimizations and RTL generation. */
1724 void
1725 initialize_rtl (void)
1727 static int initialized_once;
1729 /* Initialization done just once per compilation, but delayed
1730 till code generation. */
1731 if (!initialized_once)
1732 ira_init_once ();
1733 initialized_once = true;
1735 /* Target specific RTL backend initialization. */
1736 if (!this_target_rtl->target_specific_initialized)
1738 backend_init_target ();
1739 this_target_rtl->target_specific_initialized = true;
1743 /* Language-dependent initialization. Returns nonzero on success. */
1744 static int
1745 lang_dependent_init (const char *name)
1747 location_t save_loc = input_location;
1748 if (dump_base_name == 0)
1749 dump_base_name = name && name[0] ? name : "gccdump";
1751 /* Other front-end initialization. */
1752 input_location = BUILTINS_LOCATION;
1753 if (lang_hooks.init () == 0)
1754 return 0;
1755 input_location = save_loc;
1757 if (!flag_wpa)
1759 init_asm_output (name);
1761 /* If stack usage information is desired, open the output file. */
1762 if (flag_stack_usage)
1763 stack_usage_file = open_auxiliary_file ("su");
1766 /* This creates various _DECL nodes, so needs to be called after the
1767 front end is initialized. */
1768 init_eh ();
1770 /* Do the target-specific parts of the initialization. */
1771 lang_dependent_init_target ();
1773 if (!flag_wpa)
1775 /* If dbx symbol table desired, initialize writing it and output the
1776 predefined types. */
1777 timevar_push (TV_SYMOUT);
1779 /* Now we have the correct original filename, we can initialize
1780 debug output. */
1781 (*debug_hooks->init) (name);
1783 timevar_pop (TV_SYMOUT);
1786 return 1;
1790 /* Reinitialize everything when target parameters, such as register usage,
1791 have changed. */
1792 void
1793 target_reinit (void)
1795 struct rtl_data saved_x_rtl;
1796 rtx *saved_regno_reg_rtx;
1797 tree saved_optimization_current_node;
1798 struct target_optabs *saved_this_fn_optabs;
1800 /* Temporarily switch to the default optimization node, so that
1801 *this_target_optabs is set to the default, not reflecting
1802 whatever a previous function used for the optimize
1803 attribute. */
1804 saved_optimization_current_node = optimization_current_node;
1805 saved_this_fn_optabs = this_fn_optabs;
1806 if (saved_optimization_current_node != optimization_default_node)
1808 optimization_current_node = optimization_default_node;
1809 cl_optimization_restore
1810 (&global_options,
1811 TREE_OPTIMIZATION (optimization_default_node));
1813 this_fn_optabs = this_target_optabs;
1815 /* Save *crtl and regno_reg_rtx around the reinitialization
1816 to allow target_reinit being called even after prepare_function_start. */
1817 saved_regno_reg_rtx = regno_reg_rtx;
1818 if (saved_regno_reg_rtx)
1820 saved_x_rtl = *crtl;
1821 memset (crtl, '\0', sizeof (*crtl));
1822 regno_reg_rtx = NULL;
1825 this_target_rtl->target_specific_initialized = false;
1827 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1828 to initialize reg_raw_mode[]. */
1829 init_emit_regs ();
1831 /* This invokes target hooks to set fixed_reg[] etc, which is
1832 mode-dependent. */
1833 init_regs ();
1835 /* Reinitialize lang-dependent parts. */
1836 lang_dependent_init_target ();
1838 /* Restore the original optimization node. */
1839 if (saved_optimization_current_node != optimization_default_node)
1841 optimization_current_node = saved_optimization_current_node;
1842 cl_optimization_restore (&global_options,
1843 TREE_OPTIMIZATION (optimization_current_node));
1845 this_fn_optabs = saved_this_fn_optabs;
1847 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1848 expand_dummy_function_end clears it. */
1849 if (saved_regno_reg_rtx)
1851 *crtl = saved_x_rtl;
1852 regno_reg_rtx = saved_regno_reg_rtx;
1853 saved_regno_reg_rtx = NULL;
1857 void
1858 dump_memory_report (bool final)
1860 dump_line_table_statistics ();
1861 ggc_print_statistics ();
1862 stringpool_statistics ();
1863 dump_tree_statistics ();
1864 dump_gimple_statistics ();
1865 dump_rtx_statistics ();
1866 dump_alloc_pool_statistics ();
1867 dump_bitmap_statistics ();
1868 dump_vec_loc_statistics ();
1869 dump_ggc_loc_statistics (final);
1870 dump_alias_stats (stderr);
1871 dump_pta_stats (stderr);
1874 /* Clean up: close opened files, etc. */
1876 static void
1877 finalize (bool no_backend)
1879 /* Close the dump files. */
1880 if (flag_gen_aux_info)
1882 fclose (aux_info_file);
1883 if (seen_error ())
1884 unlink (aux_info_file_name);
1887 /* Close non-debugging input and output files. Take special care to note
1888 whether fclose returns an error, since the pages might still be on the
1889 buffer chain while the file is open. */
1891 if (asm_out_file)
1893 if (ferror (asm_out_file) != 0)
1894 fatal_error ("error writing to %s: %m", asm_file_name);
1895 if (fclose (asm_out_file) != 0)
1896 fatal_error ("error closing %s: %m", asm_file_name);
1899 if (stack_usage_file)
1900 fclose (stack_usage_file);
1902 if (!no_backend)
1904 statistics_fini ();
1906 g->get_passes ()->finish_optimization_passes ();
1908 ira_finish_once ();
1911 if (mem_report)
1912 dump_memory_report (true);
1914 if (profile_report)
1915 dump_profile_report ();
1917 /* Language-specific end of compilation actions. */
1918 lang_hooks.finish ();
1921 /* Initialize the compiler, and compile the input file. */
1922 static void
1923 do_compile (void)
1925 /* Initialize timing first. The C front ends read the main file in
1926 the post_options hook, and C++ does file timings. */
1927 if (time_report || !quiet_flag || flag_detailed_statistics)
1928 timevar_init ();
1929 timevar_start (TV_TOTAL);
1931 process_options ();
1933 /* Don't do any more if an error has already occurred. */
1934 if (!seen_error ())
1936 timevar_start (TV_PHASE_SETUP);
1938 /* This must be run always, because it is needed to compute the FP
1939 predefined macros, such as __LDBL_MAX__, for targets using non
1940 default FP formats. */
1941 init_adjust_machine_modes ();
1942 init_derived_machine_modes ();
1944 /* Set up the back-end if requested. */
1945 if (!no_backend)
1946 backend_init ();
1948 /* Language-dependent initialization. Returns true on success. */
1949 if (lang_dependent_init (main_input_filename))
1951 /* Initialize yet another pass. */
1953 ggc_protect_identifiers = true;
1955 init_cgraph ();
1956 init_final (main_input_filename);
1957 coverage_init (aux_base_name, main_input_filename);
1958 statistics_init ();
1959 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1961 timevar_stop (TV_PHASE_SETUP);
1963 compile_file ();
1965 else
1967 timevar_stop (TV_PHASE_SETUP);
1970 timevar_start (TV_PHASE_FINALIZE);
1972 finalize (no_backend);
1974 timevar_stop (TV_PHASE_FINALIZE);
1977 /* Stop timing and print the times. */
1978 timevar_stop (TV_TOTAL);
1979 timevar_print (stderr);
1982 /* Entry point of cc1, cc1plus, jc1, f771, etc.
1983 Exit code is FATAL_EXIT_CODE if can't open files or if there were
1984 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
1986 It is not safe to call this function more than once. */
1989 toplev_main (int argc, char **argv)
1991 /* Parsing and gimplification sometimes need quite large stack.
1992 Increase stack size limits if possible. */
1993 stack_limit_increase (64 * 1024 * 1024);
1995 expandargv (&argc, &argv);
1997 /* Initialization of GCC's environment, and diagnostics. */
1998 general_init (argv[0]);
2000 /* One-off initialization of options that does not need to be
2001 repeated when options are added for particular functions. */
2002 init_options_once ();
2004 /* Initialize global options structures; this must be repeated for
2005 each structure used for parsing options. */
2006 init_options_struct (&global_options, &global_options_set);
2007 lang_hooks.init_options_struct (&global_options);
2009 /* Convert the options to an array. */
2010 decode_cmdline_options_to_array_default_mask (argc,
2011 CONST_CAST2 (const char **,
2012 char **, argv),
2013 &save_decoded_options,
2014 &save_decoded_options_count);
2016 /* Perform language-specific options initialization. */
2017 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2019 /* Parse the options and do minimal processing; basically just
2020 enough to default flags appropriately. */
2021 decode_options (&global_options, &global_options_set,
2022 save_decoded_options, save_decoded_options_count,
2023 UNKNOWN_LOCATION, global_dc);
2025 handle_common_deferred_options ();
2027 init_local_tick ();
2029 initialize_plugins ();
2031 if (version_flag)
2032 print_version (stderr, "");
2034 if (help_flag)
2035 print_plugins_help (stderr, "");
2037 /* Exit early if we can (e.g. -help). */
2038 if (!exit_after_options)
2039 do_compile ();
2041 if (warningcount || errorcount || werrorcount)
2042 print_ignored_options ();
2044 /* Invoke registered plugin callbacks if any. Some plugins could
2045 emit some diagnostics here. */
2046 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2048 diagnostic_finish (global_dc);
2050 finalize_plugins ();
2051 location_adhoc_data_fini (line_table);
2052 if (seen_error () || werrorcount)
2053 return (FATAL_EXIT_CODE);
2055 return (SUCCESS_EXIT_CODE);