PR tree-optimization/79472
[official-gcc.git] / gcc / toplev.c
blobf1384fc2fdad01d3383e8f141ae22d30cda5ffce
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2017 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 "backend.h"
29 #include "target.h"
30 #include "rtl.h"
31 #include "tree.h"
32 #include "gimple.h"
33 #include "alloc-pool.h"
34 #include "timevar.h"
35 #include "memmodel.h"
36 #include "tm_p.h"
37 #include "optabs-libfuncs.h"
38 #include "insn-config.h"
39 #include "ira.h"
40 #include "recog.h"
41 #include "cgraph.h"
42 #include "coverage.h"
43 #include "diagnostic.h"
44 #include "varasm.h"
45 #include "tree-inline.h"
46 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
47 #include "version.h"
48 #include "flags.h"
49 #include "insn-attr.h"
50 #include "output.h"
51 #include "toplev.h"
52 #include "expr.h"
53 #include "intl.h"
54 #include "tree-diagnostic.h"
55 #include "params.h"
56 #include "reload.h"
57 #include "lra.h"
58 #include "dwarf2asm.h"
59 #include "debug.h"
60 #include "common/common-target.h"
61 #include "langhooks.h"
62 #include "cfgloop.h" /* for init_set_costs */
63 #include "hosthooks.h"
64 #include "opts.h"
65 #include "opts-diagnostic.h"
66 #include "asan.h"
67 #include "tsan.h"
68 #include "plugin.h"
69 #include "context.h"
70 #include "pass_manager.h"
71 #include "auto-profile.h"
72 #include "dwarf2out.h"
73 #include "ipa-reference.h"
74 #include "symbol-summary.h"
75 #include "tree-vrp.h"
76 #include "ipa-prop.h"
77 #include "gcse.h"
78 #include "tree-chkp.h"
79 #include "omp-offload.h"
80 #include "hsa-common.h"
81 #include "edit-context.h"
83 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
84 #include "dbxout.h"
85 #endif
87 #include "sdbout.h"
89 #ifdef XCOFF_DEBUGGING_INFO
90 #include "xcoffout.h" /* Needed for external data declarations. */
91 #endif
93 #include "selftest.h"
95 #ifdef HAVE_isl
96 #include <isl/version.h>
97 #endif
99 static void general_init (const char *, bool);
100 static void do_compile ();
101 static void process_options (void);
102 static void backend_init (void);
103 static int lang_dependent_init (const char *);
104 static void init_asm_output (const char *);
105 static void finalize (bool);
107 static void crash_signal (int) ATTRIBUTE_NORETURN;
108 static void compile_file (void);
110 /* True if we don't need a backend (e.g. preprocessing only). */
111 static bool no_backend;
113 /* Length of line when printing switch values. */
114 #define MAX_LINE 75
116 /* Decoded options, and number of such options. */
117 struct cl_decoded_option *save_decoded_options;
118 unsigned int save_decoded_options_count;
120 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
121 to optimize in process_options (). */
122 #define AUTODETECT_VALUE 2
124 /* Debug hooks - dependent upon command line options. */
126 const struct gcc_debug_hooks *debug_hooks;
128 /* The FUNCTION_DECL for the function currently being compiled,
129 or 0 if between functions. */
130 tree current_function_decl;
132 /* Set to the FUNC_BEGIN label of the current function, or NULL
133 if none. */
134 const char * current_function_func_begin_label;
136 /* A random sequence of characters, unless overridden by user. */
137 static const char *flag_random_seed;
139 /* A local time stamp derived from the time of compilation. It will be
140 zero if the system cannot provide a time. It will be -1u, if the
141 user has specified a particular random seed. */
142 unsigned local_tick;
144 /* Random number for this compilation */
145 HOST_WIDE_INT random_seed;
147 /* -f flags. */
149 /* When non-NULL, indicates that whenever space is allocated on the
150 stack, the resulting stack pointer must not pass this
151 address---that is, for stacks that grow downward, the stack pointer
152 must always be greater than or equal to this address; for stacks
153 that grow upward, the stack pointer must be less than this address.
154 At present, the rtx may be either a REG or a SYMBOL_REF, although
155 the support provided depends on the backend. */
156 rtx stack_limit_rtx;
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 if (read (fd, &random_seed, sizeof (random_seed))
253 != sizeof (random_seed))
254 random_seed = 0;
255 close (fd);
258 /* Now get the tick anyways */
259 #ifdef HAVE_GETTIMEOFDAY
261 struct timeval tv;
263 gettimeofday (&tv, NULL);
264 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
266 #else
268 time_t now = time (NULL);
270 if (now != (time_t)-1)
271 local_tick = (unsigned) now;
273 #endif
275 else
276 local_tick = -1;
279 /* Set up a default flag_random_seed and local_tick, unless the user
280 already specified one. Must be called after init_local_tick. */
282 static void
283 init_random_seed (void)
285 if (!random_seed)
286 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
289 /* Obtain the random_seed. Unless NOINIT, initialize it if
290 it's not provided in the command line. */
292 HOST_WIDE_INT
293 get_random_seed (bool noinit)
295 if (!flag_random_seed && !noinit)
296 init_random_seed ();
297 return random_seed;
300 /* Modify the random_seed string to VAL. Return its previous
301 value. */
303 const char *
304 set_random_seed (const char *val)
306 const char *old = flag_random_seed;
307 flag_random_seed = val;
308 if (flag_random_seed)
310 char *endp;
312 /* When the driver passed in a hex number don't crc it again */
313 random_seed = strtoul (flag_random_seed, &endp, 0);
314 if (!(endp > flag_random_seed && *endp == 0))
315 random_seed = crc32_string (0, flag_random_seed);
317 return old;
320 /* Handler for fatal signals, such as SIGSEGV. These are transformed
321 into ICE messages, which is much more user friendly. In case the
322 error printer crashes, reset the signal to prevent infinite recursion. */
324 static void
325 crash_signal (int signo)
327 signal (signo, SIG_DFL);
329 /* If we crashed while processing an ASM statement, then be a little more
330 graceful. It's most likely the user's fault. */
331 if (this_is_asm_operands)
333 output_operand_lossage ("unrecoverable error");
334 exit (FATAL_EXIT_CODE);
337 internal_error ("%s", strsignal (signo));
340 /* A subroutine of wrapup_global_declarations. We've come to the end of
341 the compilation unit. All deferred variables should be undeferred,
342 and all incomplete decls should be finalized. */
344 void
345 wrapup_global_declaration_1 (tree decl)
347 /* We're not deferring this any longer. Assignment is conditional to
348 avoid needlessly dirtying PCH pages. */
349 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
350 && DECL_DEFER_OUTPUT (decl) != 0)
351 DECL_DEFER_OUTPUT (decl) = 0;
353 if (VAR_P (decl) && DECL_SIZE (decl) == 0)
354 lang_hooks.finish_incomplete_decl (decl);
357 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
358 needs to be output. Return true if it is output. */
360 bool
361 wrapup_global_declaration_2 (tree decl)
363 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
364 || (VAR_P (decl) && DECL_HAS_VALUE_EXPR_P (decl)))
365 return false;
367 /* Don't write out static consts, unless we still need them.
369 We also keep static consts if not optimizing (for debugging),
370 unless the user specified -fno-keep-static-consts.
371 ??? They might be better written into the debug information.
372 This is possible when using DWARF.
374 A language processor that wants static constants to be always
375 written out (even if it is not used) is responsible for
376 calling rest_of_decl_compilation itself. E.g. the C front-end
377 calls rest_of_decl_compilation from finish_decl.
378 One motivation for this is that is conventional in some
379 environments to write things like:
380 static const char rcsid[] = "... version string ...";
381 intending to force the string to be in the executable.
383 A language processor that would prefer to have unneeded
384 static constants "optimized away" would just defer writing
385 them out until here. E.g. C++ does this, because static
386 constants are often defined in header files.
388 ??? A tempting alternative (for both C and C++) would be
389 to force a constant to be written if and only if it is
390 defined in a main file, as opposed to an include file. */
392 if (VAR_P (decl) && TREE_STATIC (decl))
394 varpool_node *node;
395 bool needed = true;
396 node = varpool_node::get (decl);
398 if (!node && flag_ltrans)
399 needed = false;
400 else if (node && node->definition)
401 needed = false;
402 else if (node && node->alias)
403 needed = false;
404 else if (!symtab->global_info_ready
405 && (TREE_USED (decl)
406 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
407 /* needed */;
408 else if (node && node->analyzed)
409 /* needed */;
410 else if (DECL_COMDAT (decl))
411 needed = false;
412 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
413 && (optimize || !flag_keep_static_consts
414 || DECL_ARTIFICIAL (decl)))
415 needed = false;
417 if (needed)
419 rest_of_decl_compilation (decl, 1, 1);
420 return true;
424 return false;
427 /* Do any final processing required for the declarations in VEC, of
428 which there are LEN. We write out inline functions and variables
429 that have been deferred until this point, but which are required.
430 Returns nonzero if anything was put out. */
432 bool
433 wrapup_global_declarations (tree *vec, int len)
435 bool reconsider, output_something = false;
436 int i;
438 for (i = 0; i < len; i++)
439 wrapup_global_declaration_1 (vec[i]);
441 /* Now emit any global variables or functions that we have been
442 putting off. We need to loop in case one of the things emitted
443 here references another one which comes earlier in the list. */
446 reconsider = false;
447 for (i = 0; i < len; i++)
448 reconsider |= wrapup_global_declaration_2 (vec[i]);
449 if (reconsider)
450 output_something = true;
452 while (reconsider);
454 return output_something;
457 /* Compile an entire translation unit. Write a file of assembly
458 output and various debugging dumps. */
460 static void
461 compile_file (void)
463 timevar_start (TV_PHASE_PARSING);
464 timevar_push (TV_PARSE_GLOBAL);
466 /* Parse entire file and generate initial debug information. */
467 lang_hooks.parse_file ();
469 timevar_pop (TV_PARSE_GLOBAL);
470 timevar_stop (TV_PHASE_PARSING);
472 if (flag_dump_locations)
473 dump_location_info (stderr);
475 /* Compilation is now finished except for writing
476 what's left of the symbol table output. */
478 if (flag_syntax_only || flag_wpa)
479 return;
481 /* Reset maximum_field_alignment, it can be adjusted by #pragma pack
482 and this shouldn't influence any types built by the middle-end
483 from now on (like gcov_info_type). */
484 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
486 ggc_protect_identifiers = false;
488 /* Run the actual compilation process. */
489 if (!in_lto_p)
491 timevar_start (TV_PHASE_OPT_GEN);
492 symtab->finalize_compilation_unit ();
493 timevar_stop (TV_PHASE_OPT_GEN);
496 /* Perform any post compilation-proper parser cleanups and
497 processing. This is currently only needed for the C++ parser,
498 which can be hopefully cleaned up so this hook is no longer
499 necessary. */
500 if (lang_hooks.decls.post_compilation_parsing_cleanups)
501 lang_hooks.decls.post_compilation_parsing_cleanups ();
503 if (seen_error ())
504 return;
506 timevar_start (TV_PHASE_LATE_ASM);
508 /* Compilation unit is finalized. When producing non-fat LTO object, we are
509 basically finished. */
510 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
512 /* File-scope initialization for AddressSanitizer. */
513 if (flag_sanitize & SANITIZE_ADDRESS)
514 asan_finish_file ();
516 if (flag_sanitize & SANITIZE_THREAD)
517 tsan_finish_file ();
519 if (flag_check_pointer_bounds)
520 chkp_finish_file ();
522 omp_finish_file ();
524 hsa_output_brig ();
526 output_shared_constant_pool ();
527 output_object_blocks ();
528 finish_tm_clone_pairs ();
530 /* Write out any pending weak symbol declarations. */
531 weak_finish ();
533 /* This must be at the end before unwind and debug info.
534 Some target ports emit PIC setup thunks here. */
535 targetm.asm_out.code_end ();
537 /* Do dbx symbols. */
538 timevar_push (TV_SYMOUT);
540 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
541 if (dwarf2out_do_frame ())
542 dwarf2out_frame_finish ();
543 #endif
545 (*debug_hooks->finish) (main_input_filename);
546 timevar_pop (TV_SYMOUT);
548 /* Output some stuff at end of file if nec. */
550 dw2_output_indirect_constants ();
552 /* Flush any pending external directives. */
553 process_pending_assemble_externals ();
556 /* Emit LTO marker if LTO info has been previously emitted. This is
557 used by collect2 to determine whether an object file contains IL.
558 We used to emit an undefined reference here, but this produces
559 link errors if an object file with IL is stored into a shared
560 library without invoking lto1. */
561 if (flag_generate_lto || flag_generate_offload)
563 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
564 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
565 "__gnu_lto_v1",
566 HOST_WIDE_INT_1U, 8);
567 #elif defined ASM_OUTPUT_ALIGNED_COMMON
568 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
569 HOST_WIDE_INT_1U, 8);
570 #else
571 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
572 HOST_WIDE_INT_1U,
573 HOST_WIDE_INT_1U);
574 #endif
577 /* Let linker plugin know that this is a slim object and must be LTOed
578 even when user did not ask for it. */
579 if (flag_generate_lto && !flag_fat_lto_objects)
581 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
582 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
583 HOST_WIDE_INT_1U, 8);
584 #elif defined ASM_OUTPUT_ALIGNED_COMMON
585 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
586 HOST_WIDE_INT_1U, 8);
587 #else
588 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
589 HOST_WIDE_INT_1U,
590 HOST_WIDE_INT_1U);
591 #endif
594 /* Attach a special .ident directive to the end of the file to identify
595 the version of GCC which compiled this code. The format of the .ident
596 string is patterned after the ones produced by native SVR4 compilers. */
597 if (!flag_no_ident)
599 const char *pkg_version = "(GNU) ";
600 char *ident_str;
602 if (strcmp ("(GCC) ", pkgversion_string))
603 pkg_version = pkgversion_string;
605 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
606 targetm.asm_out.output_ident (ident_str);
609 /* Auto profile finalization. */
610 if (flag_auto_profile)
611 end_auto_profile ();
613 /* Invoke registered plugin callbacks. */
614 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
616 /* This must be at the end. Some target ports emit end of file directives
617 into the assembly file here, and hence we can not output anything to the
618 assembly file after this point. */
619 targetm.asm_out.file_end ();
621 timevar_stop (TV_PHASE_LATE_ASM);
624 /* Print version information to FILE.
625 Each line begins with INDENT (for the case where FILE is the
626 assembler output file).
628 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
629 proper and can print pertinent state (e.g. params and plugins).
631 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
632 compiler, and we don't hold the mutex on the compiler's global state:
633 we can't print params and plugins, since they might not be initialized,
634 or might be being manipulated by a compile running in another
635 thread. */
637 void
638 print_version (FILE *file, const char *indent, bool show_global_state)
640 static const char fmt1[] =
641 #ifdef __GNUC__
642 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
643 #else
644 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
645 #endif
647 static const char fmt2[] =
648 N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n");
649 static const char fmt3[] =
650 N_("%s%swarning: %s header version %s differs from library version %s.\n");
651 static const char fmt4[] =
652 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
653 #ifndef __VERSION__
654 #define __VERSION__ "[?]"
655 #endif
656 fprintf (file,
657 file == stderr ? _(fmt1) : fmt1,
658 indent, *indent != 0 ? " " : "",
659 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
660 indent, __VERSION__);
662 /* We need to stringify the GMP macro values. Ugh, gmp_version has
663 two string formats, "i.j.k" and "i.j" when k is zero. As of
664 gmp-4.3.0, GMP always uses the 3 number format. */
665 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
666 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
667 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
668 #define GCC_GMP_VERSION \
669 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
670 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
671 #define GCC_GMP_STRINGIFY_VERSION \
672 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
673 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
674 #else
675 #define GCC_GMP_STRINGIFY_VERSION \
676 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
677 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
678 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
679 #endif
680 fprintf (file,
681 file == stderr ? _(fmt2) : fmt2,
682 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING,
683 #ifndef HAVE_isl
684 "none"
685 #else
686 isl_version ()
687 #endif
689 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
690 fprintf (file,
691 file == stderr ? _(fmt3) : fmt3,
692 indent, *indent != 0 ? " " : "",
693 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
694 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
695 fprintf (file,
696 file == stderr ? _(fmt3) : fmt3,
697 indent, *indent != 0 ? " " : "",
698 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
699 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
700 fprintf (file,
701 file == stderr ? _(fmt3) : fmt3,
702 indent, *indent != 0 ? " " : "",
703 "MPC", MPC_VERSION_STRING, mpc_get_version ());
705 if (show_global_state)
707 fprintf (file,
708 file == stderr ? _(fmt4) : fmt4,
709 indent, *indent != 0 ? " " : "",
710 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
712 print_plugins_versions (file, indent);
716 static int
717 print_to_asm_out_file (print_switch_type type, const char * text)
719 bool prepend_sep = true;
721 switch (type)
723 case SWITCH_TYPE_LINE_END:
724 putc ('\n', asm_out_file);
725 return 1;
727 case SWITCH_TYPE_LINE_START:
728 fputs (ASM_COMMENT_START, asm_out_file);
729 return strlen (ASM_COMMENT_START);
731 case SWITCH_TYPE_DESCRIPTIVE:
732 if (ASM_COMMENT_START[0] == 0)
733 prepend_sep = false;
734 /* FALLTHRU */
735 case SWITCH_TYPE_PASSED:
736 case SWITCH_TYPE_ENABLED:
737 if (prepend_sep)
738 fputc (' ', asm_out_file);
739 fputs (text, asm_out_file);
740 /* No need to return the length here as
741 print_single_switch has already done it. */
742 return 0;
744 default:
745 return -1;
749 static int
750 print_to_stderr (print_switch_type type, const char * text)
752 switch (type)
754 case SWITCH_TYPE_LINE_END:
755 putc ('\n', stderr);
756 return 1;
758 case SWITCH_TYPE_LINE_START:
759 return 0;
761 case SWITCH_TYPE_PASSED:
762 case SWITCH_TYPE_ENABLED:
763 fputc (' ', stderr);
764 /* FALLTHRU */
766 case SWITCH_TYPE_DESCRIPTIVE:
767 fputs (text, stderr);
768 /* No need to return the length here as
769 print_single_switch has already done it. */
770 return 0;
772 default:
773 return -1;
777 /* Print an option value and return the adjusted position in the line.
778 ??? print_fn doesn't handle errors, eg disk full; presumably other
779 code will catch a disk full though. */
781 static int
782 print_single_switch (print_switch_fn_type print_fn,
783 int pos,
784 print_switch_type type,
785 const char * text)
787 /* The ultrix fprintf returns 0 on success, so compute the result
788 we want here since we need it for the following test. The +1
789 is for the separator character that will probably be emitted. */
790 int len = strlen (text) + 1;
792 if (pos != 0
793 && pos + len > MAX_LINE)
795 print_fn (SWITCH_TYPE_LINE_END, NULL);
796 pos = 0;
799 if (pos == 0)
800 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
802 print_fn (type, text);
803 return pos + len;
806 /* Print active target switches using PRINT_FN.
807 POS is the current cursor position and MAX is the size of a "line".
808 Each line begins with INDENT and ends with TERM.
809 Each switch is separated from the next by SEP. */
811 static void
812 print_switch_values (print_switch_fn_type print_fn)
814 int pos = 0;
815 size_t j;
817 /* Fill in the -frandom-seed option, if the user didn't pass it, so
818 that it can be printed below. This helps reproducibility. */
819 if (!flag_random_seed)
820 init_random_seed ();
822 /* Print the options as passed. */
823 pos = print_single_switch (print_fn, pos,
824 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
826 for (j = 1; j < save_decoded_options_count; j++)
828 switch (save_decoded_options[j].opt_index)
830 case OPT_o:
831 case OPT_d:
832 case OPT_dumpbase:
833 case OPT_dumpdir:
834 case OPT_auxbase:
835 case OPT_quiet:
836 case OPT_version:
837 /* Ignore these. */
838 continue;
841 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
842 save_decoded_options[j].orig_option_with_args_text);
845 if (pos > 0)
846 print_fn (SWITCH_TYPE_LINE_END, NULL);
848 /* Print the -f and -m options that have been enabled.
849 We don't handle language specific options but printing argv
850 should suffice. */
851 pos = print_single_switch (print_fn, 0,
852 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
854 for (j = 0; j < cl_options_count; j++)
855 if (cl_options[j].cl_report
856 && option_enabled (j, &global_options) > 0)
857 pos = print_single_switch (print_fn, pos,
858 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
860 print_fn (SWITCH_TYPE_LINE_END, NULL);
863 /* Open assembly code output file. Do this even if -fsyntax-only is
864 on, because then the driver will have provided the name of a
865 temporary file or bit bucket for us. NAME is the file specified on
866 the command line, possibly NULL. */
867 static void
868 init_asm_output (const char *name)
870 if (name == NULL && asm_file_name == 0)
871 asm_out_file = stdout;
872 else
874 if (asm_file_name == 0)
876 int len = strlen (dump_base_name);
877 char *dumpname = XNEWVEC (char, len + 6);
879 memcpy (dumpname, dump_base_name, len + 1);
880 strip_off_ending (dumpname, len);
881 strcat (dumpname, ".s");
882 asm_file_name = dumpname;
884 if (!strcmp (asm_file_name, "-"))
885 asm_out_file = stdout;
886 else if (!canonical_filename_eq (asm_file_name, name)
887 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
888 asm_out_file = fopen (asm_file_name, "w");
889 else
890 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
891 line in the current file. */
892 fatal_error (UNKNOWN_LOCATION,
893 "input file %qs is the same as output file",
894 asm_file_name);
895 if (asm_out_file == 0)
896 fatal_error (UNKNOWN_LOCATION,
897 "can%'t open %qs for writing: %m", asm_file_name);
900 if (!flag_syntax_only)
902 targetm.asm_out.file_start ();
904 if (flag_record_gcc_switches)
906 if (targetm.asm_out.record_gcc_switches)
908 /* Let the target know that we are about to start recording. */
909 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
910 NULL);
911 /* Now record the switches. */
912 print_switch_values (targetm.asm_out.record_gcc_switches);
913 /* Let the target know that the recording is over. */
914 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
915 NULL);
917 else
918 inform (UNKNOWN_LOCATION,
919 "-frecord-gcc-switches is not supported by "
920 "the current target");
923 if (flag_verbose_asm)
925 /* Print the list of switches in effect
926 into the assembler file as comments. */
927 print_version (asm_out_file, ASM_COMMENT_START, true);
928 print_switch_values (print_to_asm_out_file);
929 putc ('\n', asm_out_file);
934 /* A helper function; used as the reallocator function for cpp's line
935 table. */
936 static void *
937 realloc_for_line_map (void *ptr, size_t len)
939 return ggc_realloc (ptr, len);
942 /* A helper function: used as the allocator function for
943 identifier_to_locale. */
944 static void *
945 alloc_for_identifier_to_locale (size_t len)
947 return ggc_alloc_atomic (len);
950 /* Output stack usage information. */
951 void
952 output_stack_usage (void)
954 static bool warning_issued = false;
955 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
956 const char *stack_usage_kind_str[] = {
957 "static",
958 "dynamic",
959 "dynamic,bounded"
961 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
962 enum stack_usage_kind_type stack_usage_kind;
964 if (stack_usage < 0)
966 if (!warning_issued)
968 warning (0, "stack usage computation not supported for this target");
969 warning_issued = true;
971 return;
974 stack_usage_kind = STATIC;
976 /* Add the maximum amount of space pushed onto the stack. */
977 if (current_function_pushed_stack_size > 0)
979 stack_usage += current_function_pushed_stack_size;
980 stack_usage_kind = DYNAMIC_BOUNDED;
983 /* Now on to the tricky part: dynamic stack allocation. */
984 if (current_function_allocates_dynamic_stack_space)
986 if (current_function_has_unbounded_dynamic_stack_size)
987 stack_usage_kind = DYNAMIC;
988 else
989 stack_usage_kind = DYNAMIC_BOUNDED;
991 /* Add the size even in the unbounded case, this can't hurt. */
992 stack_usage += current_function_dynamic_stack_size;
995 if (flag_stack_usage)
997 expanded_location loc
998 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
999 /* We don't want to print the full qualified name because it can be long,
1000 so we strip the scope prefix, but we may need to deal with the suffix
1001 created by the compiler. */
1002 const char *suffix
1003 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1004 const char *name
1005 = lang_hooks.decl_printable_name (current_function_decl, 2);
1006 if (suffix)
1008 const char *dot = strchr (name, '.');
1009 while (dot && strcasecmp (dot, suffix) != 0)
1011 name = dot + 1;
1012 dot = strchr (name, '.');
1015 else
1017 const char *dot = strrchr (name, '.');
1018 if (dot)
1019 name = dot + 1;
1022 fprintf (stack_usage_file,
1023 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1024 lbasename (loc.file),
1025 loc.line,
1026 loc.column,
1027 name,
1028 stack_usage,
1029 stack_usage_kind_str[stack_usage_kind]);
1032 if (warn_stack_usage >= 0)
1034 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1036 if (stack_usage_kind == DYNAMIC)
1037 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1038 else if (stack_usage > warn_stack_usage)
1040 if (stack_usage_kind == DYNAMIC_BOUNDED)
1041 warning_at (loc,
1042 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1043 stack_usage);
1044 else
1045 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1046 stack_usage);
1051 /* Open an auxiliary output file. */
1052 static FILE *
1053 open_auxiliary_file (const char *ext)
1055 char *filename;
1056 FILE *file;
1058 filename = concat (aux_base_name, ".", ext, NULL);
1059 file = fopen (filename, "w");
1060 if (!file)
1061 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1062 free (filename);
1063 return file;
1066 /* Initialization of the front end environment, before command line
1067 options are parsed. Signal handlers, internationalization etc.
1068 ARGV0 is main's argv[0]. */
1069 static void
1070 general_init (const char *argv0, bool init_signals)
1072 const char *p;
1074 p = argv0 + strlen (argv0);
1075 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1076 --p;
1077 progname = p;
1079 xmalloc_set_program_name (progname);
1081 hex_init ();
1083 /* Unlock the stdio streams. */
1084 unlock_std_streams ();
1086 gcc_init_libintl ();
1088 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1089 identifier_to_locale_free = ggc_free;
1091 /* Initialize the diagnostics reporting machinery, so option parsing
1092 can give warnings and errors. */
1093 diagnostic_initialize (global_dc, N_OPTS);
1094 /* Set a default printer. Language specific initializations will
1095 override it later. */
1096 tree_diagnostics_defaults (global_dc);
1098 global_dc->show_caret
1099 = global_options_init.x_flag_diagnostics_show_caret;
1100 global_dc->show_option_requested
1101 = global_options_init.x_flag_diagnostics_show_option;
1102 global_dc->show_column
1103 = global_options_init.x_flag_show_column;
1104 global_dc->internal_error = plugins_internal_error_function;
1105 global_dc->option_enabled = option_enabled;
1106 global_dc->option_state = &global_options;
1107 global_dc->option_name = option_name;
1109 if (init_signals)
1111 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1112 #ifdef SIGSEGV
1113 signal (SIGSEGV, crash_signal);
1114 #endif
1115 #ifdef SIGILL
1116 signal (SIGILL, crash_signal);
1117 #endif
1118 #ifdef SIGBUS
1119 signal (SIGBUS, crash_signal);
1120 #endif
1121 #ifdef SIGABRT
1122 signal (SIGABRT, crash_signal);
1123 #endif
1124 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1125 signal (SIGIOT, crash_signal);
1126 #endif
1127 #ifdef SIGFPE
1128 signal (SIGFPE, crash_signal);
1129 #endif
1131 /* Other host-specific signal setup. */
1132 (*host_hooks.extra_signals)();
1135 /* Initialize the garbage-collector, string pools and tree type hash
1136 table. */
1137 init_ggc ();
1138 init_stringpool ();
1139 input_location = UNKNOWN_LOCATION;
1140 line_table = ggc_alloc<line_maps> ();
1141 linemap_init (line_table, BUILTINS_LOCATION);
1142 line_table->reallocator = realloc_for_line_map;
1143 line_table->round_alloc_size = ggc_round_alloc_size;
1144 line_table->default_range_bits = 5;
1145 init_ttree ();
1147 /* Initialize register usage now so switches may override. */
1148 init_reg_sets ();
1150 /* Register the language-independent parameters. */
1151 global_init_params ();
1153 /* This must be done after global_init_params but before argument
1154 processing. */
1155 init_ggc_heuristics ();
1157 /* Create the singleton holder for global state.
1158 Doing so also creates the pass manager and with it the passes. */
1159 g = new gcc::context ();
1160 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1162 statistics_early_init ();
1163 finish_params ();
1166 /* Return true if the current target supports -fsection-anchors. */
1168 static bool
1169 target_supports_section_anchors_p (void)
1171 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1172 return false;
1174 if (targetm.asm_out.output_anchor == NULL)
1175 return false;
1177 return true;
1180 /* Default the align_* variables to 1 if they're still unset, and
1181 set up the align_*_log variables. */
1182 static void
1183 init_alignments (void)
1185 if (align_loops <= 0)
1186 align_loops = 1;
1187 if (align_loops_max_skip > align_loops)
1188 align_loops_max_skip = align_loops - 1;
1189 align_loops_log = floor_log2 (align_loops * 2 - 1);
1190 if (align_jumps <= 0)
1191 align_jumps = 1;
1192 if (align_jumps_max_skip > align_jumps)
1193 align_jumps_max_skip = align_jumps - 1;
1194 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1195 if (align_labels <= 0)
1196 align_labels = 1;
1197 align_labels_log = floor_log2 (align_labels * 2 - 1);
1198 if (align_labels_max_skip > align_labels)
1199 align_labels_max_skip = align_labels - 1;
1200 if (align_functions <= 0)
1201 align_functions = 1;
1202 align_functions_log = floor_log2 (align_functions * 2 - 1);
1205 /* Process the options that have been parsed. */
1206 static void
1207 process_options (void)
1209 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1210 This can happen with incorrect pre-processed input. */
1211 debug_hooks = &do_nothing_debug_hooks;
1213 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1215 /* Allow the front end to perform consistency checks and do further
1216 initialization based on the command line options. This hook also
1217 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1218 so we can correctly initialize debug output. */
1219 no_backend = lang_hooks.post_options (&main_input_filename);
1221 /* Some machines may reject certain combinations of options. */
1222 location_t saved_location = input_location;
1223 input_location = UNKNOWN_LOCATION;
1224 targetm.target_option.override ();
1225 input_location = saved_location;
1227 if (flag_diagnostics_generate_patch)
1228 global_dc->edit_context_ptr = new edit_context ();
1230 /* Avoid any informative notes in the second run of -fcompare-debug. */
1231 if (flag_compare_debug)
1232 diagnostic_inhibit_notes (global_dc);
1234 if (flag_section_anchors && !target_supports_section_anchors_p ())
1236 warning_at (UNKNOWN_LOCATION, OPT_fsection_anchors,
1237 "this target does not support %qs",
1238 "-fsection-anchors");
1239 flag_section_anchors = 0;
1242 if (flag_short_enums == 2)
1243 flag_short_enums = targetm.default_short_enums ();
1245 /* Set aux_base_name if not already set. */
1246 if (aux_base_name)
1248 else if (main_input_filename)
1250 char *name = xstrdup (lbasename (main_input_filename));
1252 strip_off_ending (name, strlen (name));
1253 aux_base_name = name;
1255 else
1256 aux_base_name = "gccaux";
1258 #ifndef HAVE_isl
1259 if (flag_graphite
1260 || flag_loop_nest_optimize
1261 || flag_graphite_identity
1262 || flag_loop_parallelize_all)
1263 sorry ("Graphite loop optimizations cannot be used (isl is not available) "
1264 "(-fgraphite, -fgraphite-identity, -floop-nest-optimize, "
1265 "-floop-parallelize-all)");
1266 #endif
1268 if (flag_check_pointer_bounds)
1270 if (targetm.chkp_bound_mode () == VOIDmode)
1272 error_at (UNKNOWN_LOCATION,
1273 "%<-fcheck-pointer-bounds%> is not supported for this "
1274 "target");
1275 flag_check_pointer_bounds = 0;
1278 if (flag_sanitize & SANITIZE_BOUNDS_STRICT)
1280 error_at (UNKNOWN_LOCATION,
1281 "%<-fcheck-pointer-bounds%> is not supported with "
1282 "%<-fsanitize=bounds-strict%>");
1283 flag_check_pointer_bounds = 0;
1285 else if (flag_sanitize & SANITIZE_BOUNDS)
1287 error_at (UNKNOWN_LOCATION,
1288 "%<-fcheck-pointer-bounds%> is not supported with "
1289 "%<-fsanitize=bounds%>");
1290 flag_check_pointer_bounds = 0;
1293 if (flag_sanitize & SANITIZE_ADDRESS)
1295 error_at (UNKNOWN_LOCATION,
1296 "%<-fcheck-pointer-bounds%> is not supported with "
1297 "Address Sanitizer");
1298 flag_check_pointer_bounds = 0;
1301 if (flag_sanitize & SANITIZE_THREAD)
1303 error_at (UNKNOWN_LOCATION,
1304 "%<-fcheck-pointer-bounds%> is not supported with "
1305 "Thread Sanitizer");
1307 flag_check_pointer_bounds = 0;
1311 /* One region RA really helps to decrease the code size. */
1312 if (flag_ira_region == IRA_REGION_AUTODETECT)
1313 flag_ira_region
1314 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1316 if (!abi_version_at_least (2))
1318 /* -fabi-version=1 support was removed after GCC 4.9. */
1319 error_at (UNKNOWN_LOCATION,
1320 "%<-fabi-version=1%> is no longer supported");
1321 flag_abi_version = 2;
1324 /* Unrolling all loops implies that standard loop unrolling must also
1325 be done. */
1326 if (flag_unroll_all_loops)
1327 flag_unroll_loops = 1;
1329 /* web and rename-registers help when run after loop unrolling. */
1330 if (flag_web == AUTODETECT_VALUE)
1331 flag_web = flag_unroll_loops;
1333 if (flag_rename_registers == AUTODETECT_VALUE)
1334 flag_rename_registers = flag_unroll_loops;
1336 if (flag_non_call_exceptions)
1337 flag_asynchronous_unwind_tables = 1;
1338 if (flag_asynchronous_unwind_tables)
1339 flag_unwind_tables = 1;
1341 if (flag_value_profile_transformations)
1342 flag_profile_values = 1;
1344 /* Warn about options that are not supported on this machine. */
1345 #ifndef INSN_SCHEDULING
1346 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1347 warning_at (UNKNOWN_LOCATION, 0,
1348 "instruction scheduling not supported on this target machine");
1349 #endif
1350 if (!DELAY_SLOTS && flag_delayed_branch)
1351 warning_at (UNKNOWN_LOCATION, 0,
1352 "this target machine does not have delayed branches");
1354 user_label_prefix = USER_LABEL_PREFIX;
1355 if (flag_leading_underscore != -1)
1357 /* If the default prefix is more complicated than "" or "_",
1358 issue a warning and ignore this option. */
1359 if (user_label_prefix[0] == 0 ||
1360 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1362 user_label_prefix = flag_leading_underscore ? "_" : "";
1364 else
1365 warning_at (UNKNOWN_LOCATION, 0,
1366 "-f%sleading-underscore not supported on this "
1367 "target machine", flag_leading_underscore ? "" : "no-");
1370 /* If we are in verbose mode, write out the version and maybe all the
1371 option flags in use. */
1372 if (version_flag)
1374 print_version (stderr, "", true);
1375 if (! quiet_flag)
1376 print_switch_values (print_to_stderr);
1379 if (flag_syntax_only)
1381 write_symbols = NO_DEBUG;
1382 profile_flag = 0;
1385 if (flag_gtoggle)
1387 if (debug_info_level == DINFO_LEVEL_NONE)
1389 debug_info_level = DINFO_LEVEL_NORMAL;
1391 if (write_symbols == NO_DEBUG)
1392 write_symbols = PREFERRED_DEBUGGING_TYPE;
1394 else
1395 debug_info_level = DINFO_LEVEL_NONE;
1398 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1400 FILE *final_output = fopen (flag_dump_final_insns, "w");
1401 if (!final_output)
1403 error_at (UNKNOWN_LOCATION,
1404 "could not open final insn dump file %qs: %m",
1405 flag_dump_final_insns);
1406 flag_dump_final_insns = NULL;
1408 else if (fclose (final_output))
1410 error_at (UNKNOWN_LOCATION,
1411 "could not close zeroed insn dump file %qs: %m",
1412 flag_dump_final_insns);
1413 flag_dump_final_insns = NULL;
1417 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1418 level is 0. */
1419 if (debug_info_level == DINFO_LEVEL_NONE)
1420 write_symbols = NO_DEBUG;
1422 if (write_symbols == NO_DEBUG)
1424 #if defined(DBX_DEBUGGING_INFO)
1425 else if (write_symbols == DBX_DEBUG)
1426 debug_hooks = &dbx_debug_hooks;
1427 #endif
1428 #if defined(XCOFF_DEBUGGING_INFO)
1429 else if (write_symbols == XCOFF_DEBUG)
1430 debug_hooks = &xcoff_debug_hooks;
1431 #endif
1432 else if (SDB_DEBUGGING_INFO && write_symbols == SDB_DEBUG)
1433 debug_hooks = &sdb_debug_hooks;
1434 #ifdef DWARF2_DEBUGGING_INFO
1435 else if (write_symbols == DWARF2_DEBUG)
1436 debug_hooks = &dwarf2_debug_hooks;
1437 #endif
1438 #ifdef VMS_DEBUGGING_INFO
1439 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1440 debug_hooks = &vmsdbg_debug_hooks;
1441 #endif
1442 #ifdef DWARF2_LINENO_DEBUGGING_INFO
1443 else if (write_symbols == DWARF2_DEBUG)
1444 debug_hooks = &dwarf2_lineno_debug_hooks;
1445 #endif
1446 else
1447 error_at (UNKNOWN_LOCATION,
1448 "target system does not support the %qs debug format",
1449 debug_type_names[write_symbols]);
1451 /* We know which debug output will be used so we can set flag_var_tracking
1452 and flag_var_tracking_uninit if the user has not specified them. */
1453 if (debug_info_level < DINFO_LEVEL_NORMAL
1454 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1456 if (flag_var_tracking == 1
1457 || flag_var_tracking_uninit == 1)
1459 if (debug_info_level < DINFO_LEVEL_NORMAL)
1460 warning_at (UNKNOWN_LOCATION, 0,
1461 "variable tracking requested, but useless unless "
1462 "producing debug info");
1463 else
1464 warning_at (UNKNOWN_LOCATION, 0,
1465 "variable tracking requested, but not supported "
1466 "by this debug format");
1468 flag_var_tracking = 0;
1469 flag_var_tracking_uninit = 0;
1472 /* The debug hooks are used to implement -fdump-go-spec because it
1473 gives a simple and stable API for all the information we need to
1474 dump. */
1475 if (flag_dump_go_spec != NULL)
1476 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1478 /* If the user specifically requested variable tracking with tagging
1479 uninitialized variables, we need to turn on variable tracking.
1480 (We already determined above that variable tracking is feasible.) */
1481 if (flag_var_tracking_uninit == 1)
1482 flag_var_tracking = 1;
1484 if (flag_var_tracking == AUTODETECT_VALUE)
1485 flag_var_tracking = optimize >= 1;
1487 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1488 flag_var_tracking_uninit = flag_var_tracking;
1490 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1491 flag_var_tracking_assignments = flag_var_tracking
1492 && !(flag_selective_scheduling || flag_selective_scheduling2);
1494 if (flag_var_tracking_assignments_toggle)
1495 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1497 if (flag_var_tracking_assignments && !flag_var_tracking)
1498 flag_var_tracking = flag_var_tracking_assignments = -1;
1500 if (flag_var_tracking_assignments
1501 && (flag_selective_scheduling || flag_selective_scheduling2))
1502 warning_at (UNKNOWN_LOCATION, 0,
1503 "var-tracking-assignments changes selective scheduling");
1505 if (flag_tree_cselim == AUTODETECT_VALUE)
1507 if (HAVE_conditional_move)
1508 flag_tree_cselim = 1;
1509 else
1510 flag_tree_cselim = 0;
1513 /* If auxiliary info generation is desired, open the output file.
1514 This goes in the same directory as the source file--unlike
1515 all the other output files. */
1516 if (flag_gen_aux_info)
1518 aux_info_file = fopen (aux_info_file_name, "w");
1519 if (aux_info_file == 0)
1520 fatal_error (UNKNOWN_LOCATION,
1521 "can%'t open %s: %m", aux_info_file_name);
1524 if (!targetm_common.have_named_sections)
1526 if (flag_function_sections)
1528 warning_at (UNKNOWN_LOCATION, 0,
1529 "-ffunction-sections not supported for this target");
1530 flag_function_sections = 0;
1532 if (flag_data_sections)
1534 warning_at (UNKNOWN_LOCATION, 0,
1535 "-fdata-sections not supported for this target");
1536 flag_data_sections = 0;
1540 if (flag_prefetch_loop_arrays > 0 && !targetm.code_for_prefetch)
1542 warning_at (UNKNOWN_LOCATION, 0,
1543 "-fprefetch-loop-arrays not supported for this target");
1544 flag_prefetch_loop_arrays = 0;
1546 else if (flag_prefetch_loop_arrays > 0 && !targetm.have_prefetch ())
1548 warning_at (UNKNOWN_LOCATION, 0,
1549 "-fprefetch-loop-arrays not supported for this target "
1550 "(try -march switches)");
1551 flag_prefetch_loop_arrays = 0;
1554 /* This combination of options isn't handled for i386 targets and doesn't
1555 make much sense anyway, so don't allow it. */
1556 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1558 warning_at (UNKNOWN_LOCATION, 0,
1559 "-fprefetch-loop-arrays is not supported with -Os");
1560 flag_prefetch_loop_arrays = 0;
1563 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1564 if (flag_signaling_nans)
1565 flag_trapping_math = 1;
1567 /* We cannot reassociate if we want traps or signed zeros. */
1568 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1570 warning_at (UNKNOWN_LOCATION, 0,
1571 "-fassociative-math disabled; other options take "
1572 "precedence");
1573 flag_associative_math = 0;
1576 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1577 if (flag_cx_limited_range)
1578 flag_complex_method = 0;
1580 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1581 if (flag_cx_fortran_rules)
1582 flag_complex_method = 1;
1584 /* Targets must be able to place spill slots at lower addresses. If the
1585 target already uses a soft frame pointer, the transition is trivial. */
1586 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1588 warning_at (UNKNOWN_LOCATION, 0,
1589 "-fstack-protector not supported for this target");
1590 flag_stack_protect = 0;
1592 if (!flag_stack_protect)
1593 warn_stack_protect = 0;
1595 /* Address Sanitizer needs porting to each target architecture. */
1597 if ((flag_sanitize & SANITIZE_ADDRESS)
1598 && !FRAME_GROWS_DOWNWARD)
1600 warning_at (UNKNOWN_LOCATION, 0,
1601 "-fsanitize=address and -fsanitize=kernel-address "
1602 "are not supported for this target");
1603 flag_sanitize &= ~SANITIZE_ADDRESS;
1606 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1607 && targetm.asan_shadow_offset == NULL)
1609 warning_at (UNKNOWN_LOCATION, 0,
1610 "-fsanitize=address not supported for this target");
1611 flag_sanitize &= ~SANITIZE_ADDRESS;
1614 /* Do not use IPA optimizations for register allocation if profiler is active
1615 or port does not emit prologue and epilogue as RTL. */
1616 if (profile_flag || !targetm.have_prologue () || !targetm.have_epilogue ())
1617 flag_ipa_ra = 0;
1619 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1620 have not been set. */
1621 if (!global_options_set.x_warnings_are_errors
1622 && warn_coverage_mismatch
1623 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1624 DK_UNSPECIFIED))
1625 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1626 DK_ERROR, UNKNOWN_LOCATION);
1628 /* Save the current optimization options. */
1629 optimization_default_node = build_optimization_node (&global_options);
1630 optimization_current_node = optimization_default_node;
1632 /* Please don't change global_options after this point, those changes won't
1633 be reflected in optimization_{default,current}_node. */
1636 /* This function can be called multiple times to reinitialize the compiler
1637 back end when register classes or instruction sets have changed,
1638 before each function. */
1639 static void
1640 backend_init_target (void)
1642 /* Initialize alignment variables. */
1643 init_alignments ();
1645 /* This depends on stack_pointer_rtx. */
1646 init_fake_stack_mems ();
1648 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1649 mode-dependent. */
1650 init_alias_target ();
1652 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1653 if (!ira_use_lra_p)
1654 init_reload ();
1656 /* Depends on the enabled attribute. */
1657 recog_init ();
1659 /* The following initialization functions need to generate rtl, so
1660 provide a dummy function context for them. */
1661 init_dummy_function_start ();
1663 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1664 on a mode change. */
1665 init_expmed ();
1666 init_lower_subreg ();
1667 init_set_costs ();
1669 init_expr_target ();
1670 ira_init ();
1672 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1673 after a mode change as well. */
1674 caller_save_initialized_p = false;
1676 expand_dummy_function_end ();
1679 /* Initialize the compiler back end. This function is called only once,
1680 when starting the compiler. */
1681 static void
1682 backend_init (void)
1684 init_emit_once ();
1686 init_rtlanal ();
1687 init_inline_once ();
1688 init_varasm_once ();
1689 save_register_info ();
1691 /* Middle end needs this initialization for default mem attributes
1692 used by early calls to make_decl_rtl. */
1693 init_emit_regs ();
1695 /* Middle end needs this initialization for mode tables used to assign
1696 modes to vector variables. */
1697 init_regs ();
1700 /* Initialize excess precision settings.
1702 We have no need to modify anything here, just keep track of what the
1703 user requested. We'll figure out any appropriate relaxations
1704 later. */
1706 static void
1707 init_excess_precision (void)
1709 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1710 flag_excess_precision = flag_excess_precision_cmdline;
1713 /* Initialize things that are both lang-dependent and target-dependent.
1714 This function can be called more than once if target parameters change. */
1715 static void
1716 lang_dependent_init_target (void)
1718 /* This determines excess precision settings. */
1719 init_excess_precision ();
1721 /* This creates various _DECL nodes, so needs to be called after the
1722 front end is initialized. It also depends on the HAVE_xxx macros
1723 generated from the target machine description. */
1724 init_optabs ();
1726 gcc_assert (!this_target_rtl->target_specific_initialized);
1729 /* Perform initializations that are lang-dependent or target-dependent.
1730 but matters only for late optimizations and RTL generation. */
1732 static int rtl_initialized;
1734 void
1735 initialize_rtl (void)
1737 auto_timevar tv (g_timer, TV_INITIALIZE_RTL);
1739 /* Initialization done just once per compilation, but delayed
1740 till code generation. */
1741 if (!rtl_initialized)
1742 ira_init_once ();
1743 rtl_initialized = true;
1745 /* Target specific RTL backend initialization. */
1746 if (!this_target_rtl->target_specific_initialized)
1748 backend_init_target ();
1749 this_target_rtl->target_specific_initialized = true;
1753 /* Language-dependent initialization. Returns nonzero on success. */
1754 static int
1755 lang_dependent_init (const char *name)
1757 location_t save_loc = input_location;
1758 if (dump_base_name == 0)
1759 dump_base_name = name && name[0] ? name : "gccdump";
1761 /* Other front-end initialization. */
1762 input_location = BUILTINS_LOCATION;
1763 if (lang_hooks.init () == 0)
1764 return 0;
1765 input_location = save_loc;
1767 if (!flag_wpa)
1769 init_asm_output (name);
1771 /* If stack usage information is desired, open the output file. */
1772 if (flag_stack_usage)
1773 stack_usage_file = open_auxiliary_file ("su");
1776 /* This creates various _DECL nodes, so needs to be called after the
1777 front end is initialized. */
1778 init_eh ();
1780 /* Do the target-specific parts of the initialization. */
1781 lang_dependent_init_target ();
1783 if (!flag_wpa)
1785 /* If dbx symbol table desired, initialize writing it and output the
1786 predefined types. */
1787 timevar_push (TV_SYMOUT);
1789 /* Now we have the correct original filename, we can initialize
1790 debug output. */
1791 (*debug_hooks->init) (name);
1793 timevar_pop (TV_SYMOUT);
1796 return 1;
1800 /* Reinitialize everything when target parameters, such as register usage,
1801 have changed. */
1802 void
1803 target_reinit (void)
1805 struct rtl_data saved_x_rtl;
1806 rtx *saved_regno_reg_rtx;
1807 tree saved_optimization_current_node;
1808 struct target_optabs *saved_this_fn_optabs;
1810 /* Temporarily switch to the default optimization node, so that
1811 *this_target_optabs is set to the default, not reflecting
1812 whatever a previous function used for the optimize
1813 attribute. */
1814 saved_optimization_current_node = optimization_current_node;
1815 saved_this_fn_optabs = this_fn_optabs;
1816 if (saved_optimization_current_node != optimization_default_node)
1818 optimization_current_node = optimization_default_node;
1819 cl_optimization_restore
1820 (&global_options,
1821 TREE_OPTIMIZATION (optimization_default_node));
1823 this_fn_optabs = this_target_optabs;
1825 /* Save *crtl and regno_reg_rtx around the reinitialization
1826 to allow target_reinit being called even after prepare_function_start. */
1827 saved_regno_reg_rtx = regno_reg_rtx;
1828 if (saved_regno_reg_rtx)
1830 saved_x_rtl = *crtl;
1831 memset (crtl, '\0', sizeof (*crtl));
1832 regno_reg_rtx = NULL;
1835 this_target_rtl->target_specific_initialized = false;
1837 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1838 to initialize reg_raw_mode[]. */
1839 init_emit_regs ();
1841 /* This invokes target hooks to set fixed_reg[] etc, which is
1842 mode-dependent. */
1843 init_regs ();
1845 /* Reinitialize lang-dependent parts. */
1846 lang_dependent_init_target ();
1848 /* Restore the original optimization node. */
1849 if (saved_optimization_current_node != optimization_default_node)
1851 optimization_current_node = saved_optimization_current_node;
1852 cl_optimization_restore (&global_options,
1853 TREE_OPTIMIZATION (optimization_current_node));
1855 this_fn_optabs = saved_this_fn_optabs;
1857 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1858 expand_dummy_function_end clears it. */
1859 if (saved_regno_reg_rtx)
1861 *crtl = saved_x_rtl;
1862 regno_reg_rtx = saved_regno_reg_rtx;
1863 saved_regno_reg_rtx = NULL;
1867 void
1868 dump_memory_report (bool final)
1870 dump_line_table_statistics ();
1871 ggc_print_statistics ();
1872 stringpool_statistics ();
1873 dump_tree_statistics ();
1874 dump_gimple_statistics ();
1875 dump_rtx_statistics ();
1876 dump_alloc_pool_statistics ();
1877 dump_bitmap_statistics ();
1878 dump_hash_table_loc_statistics ();
1879 dump_vec_loc_statistics ();
1880 dump_ggc_loc_statistics (final);
1881 dump_alias_stats (stderr);
1882 dump_pta_stats (stderr);
1885 /* Clean up: close opened files, etc. */
1887 static void
1888 finalize (bool no_backend)
1890 /* Close the dump files. */
1891 if (flag_gen_aux_info)
1893 fclose (aux_info_file);
1894 aux_info_file = NULL;
1895 if (seen_error ())
1896 unlink (aux_info_file_name);
1899 /* Close non-debugging input and output files. Take special care to note
1900 whether fclose returns an error, since the pages might still be on the
1901 buffer chain while the file is open. */
1903 if (asm_out_file)
1905 if (ferror (asm_out_file) != 0)
1906 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1907 if (fclose (asm_out_file) != 0)
1908 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1909 asm_out_file = NULL;
1912 if (stack_usage_file)
1914 fclose (stack_usage_file);
1915 stack_usage_file = NULL;
1918 if (seen_error ())
1919 coverage_remove_note_file ();
1921 if (!no_backend)
1923 statistics_fini ();
1925 g->get_passes ()->finish_optimization_passes ();
1927 lra_finish_once ();
1930 if (mem_report)
1931 dump_memory_report (true);
1933 if (profile_report)
1934 dump_profile_report ();
1936 /* Language-specific end of compilation actions. */
1937 lang_hooks.finish ();
1940 static bool
1941 standard_type_bitsize (int bitsize)
1943 /* As a special exception, we always want __int128 enabled if possible. */
1944 if (bitsize == 128)
1945 return false;
1946 if (bitsize == CHAR_TYPE_SIZE
1947 || bitsize == SHORT_TYPE_SIZE
1948 || bitsize == INT_TYPE_SIZE
1949 || bitsize == LONG_TYPE_SIZE
1950 || bitsize == LONG_LONG_TYPE_SIZE)
1951 return true;
1952 return false;
1955 /* Initialize the compiler, and compile the input file. */
1956 static void
1957 do_compile ()
1959 process_options ();
1961 /* Don't do any more if an error has already occurred. */
1962 if (!seen_error ())
1964 int i;
1966 timevar_start (TV_PHASE_SETUP);
1968 /* This must be run always, because it is needed to compute the FP
1969 predefined macros, such as __LDBL_MAX__, for targets using non
1970 default FP formats. */
1971 init_adjust_machine_modes ();
1972 init_derived_machine_modes ();
1974 /* This must happen after the backend has a chance to process
1975 command line options, but before the parsers are
1976 initialized. */
1977 for (i = 0; i < NUM_INT_N_ENTS; i ++)
1978 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
1979 && ! standard_type_bitsize (int_n_data[i].bitsize))
1980 int_n_enabled_p[i] = true;
1981 else
1982 int_n_enabled_p[i] = false;
1984 /* Set up the back-end if requested. */
1985 if (!no_backend)
1986 backend_init ();
1988 /* Language-dependent initialization. Returns true on success. */
1989 if (lang_dependent_init (main_input_filename))
1991 /* Initialize yet another pass. */
1993 ggc_protect_identifiers = true;
1995 symtab->initialize ();
1996 init_final (main_input_filename);
1997 coverage_init (aux_base_name);
1998 statistics_init ();
1999 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2001 timevar_stop (TV_PHASE_SETUP);
2003 compile_file ();
2005 else
2007 timevar_stop (TV_PHASE_SETUP);
2010 timevar_start (TV_PHASE_FINALIZE);
2012 finalize (no_backend);
2014 timevar_stop (TV_PHASE_FINALIZE);
2018 toplev::toplev (timer *external_timer,
2019 bool init_signals)
2020 : m_use_TV_TOTAL (external_timer == NULL),
2021 m_init_signals (init_signals)
2023 if (external_timer)
2024 g_timer = external_timer;
2027 toplev::~toplev ()
2029 if (g_timer && m_use_TV_TOTAL)
2031 g_timer->stop (TV_TOTAL);
2032 g_timer->print (stderr);
2033 delete g_timer;
2034 g_timer = NULL;
2038 /* Potentially call timevar_init (which will create g_timevars if it
2039 doesn't already exist). */
2041 void
2042 toplev::start_timevars ()
2044 if (time_report || !quiet_flag || flag_detailed_statistics)
2045 timevar_init ();
2047 timevar_start (TV_TOTAL);
2050 /* Handle -fself-test. */
2052 void
2053 toplev::run_self_tests ()
2055 if (no_backend)
2057 error_at (UNKNOWN_LOCATION, "self-tests incompatible with -E");
2058 return;
2060 #if CHECKING_P
2061 /* Reset some state. */
2062 input_location = UNKNOWN_LOCATION;
2063 bitmap_obstack_initialize (NULL);
2065 /* Run the tests; any failures will lead to an abort of the process.
2066 Use "make selftests-gdb" to run under the debugger. */
2067 ::selftest::run_tests ();
2069 /* Cleanup. */
2070 bitmap_obstack_release (NULL);
2071 #else
2072 inform (UNKNOWN_LOCATION, "self-tests are not enabled in this build");
2073 #endif /* #if CHECKING_P */
2076 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2077 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2078 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2080 It is not safe to call this function more than once. */
2083 toplev::main (int argc, char **argv)
2085 /* Parsing and gimplification sometimes need quite large stack.
2086 Increase stack size limits if possible. */
2087 stack_limit_increase (64 * 1024 * 1024);
2089 expandargv (&argc, &argv);
2091 /* Initialization of GCC's environment, and diagnostics. */
2092 general_init (argv[0], m_init_signals);
2094 /* One-off initialization of options that does not need to be
2095 repeated when options are added for particular functions. */
2096 init_options_once ();
2097 init_opts_obstack ();
2099 /* Initialize global options structures; this must be repeated for
2100 each structure used for parsing options. */
2101 init_options_struct (&global_options, &global_options_set);
2102 lang_hooks.init_options_struct (&global_options);
2104 /* Convert the options to an array. */
2105 decode_cmdline_options_to_array_default_mask (argc,
2106 CONST_CAST2 (const char **,
2107 char **, argv),
2108 &save_decoded_options,
2109 &save_decoded_options_count);
2111 /* Perform language-specific options initialization. */
2112 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2114 /* Parse the options and do minimal processing; basically just
2115 enough to default flags appropriately. */
2116 decode_options (&global_options, &global_options_set,
2117 save_decoded_options, save_decoded_options_count,
2118 UNKNOWN_LOCATION, global_dc);
2120 handle_common_deferred_options ();
2122 init_local_tick ();
2124 initialize_plugins ();
2126 if (version_flag)
2127 print_version (stderr, "", true);
2129 if (help_flag)
2130 print_plugins_help (stderr, "");
2132 /* Exit early if we can (e.g. -help). */
2133 if (!exit_after_options)
2135 if (m_use_TV_TOTAL)
2136 start_timevars ();
2137 do_compile ();
2140 if (warningcount || errorcount || werrorcount)
2141 print_ignored_options ();
2143 if (flag_self_test)
2144 run_self_tests ();
2146 /* Invoke registered plugin callbacks if any. Some plugins could
2147 emit some diagnostics here. */
2148 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2150 if (flag_diagnostics_generate_patch)
2152 gcc_assert (global_dc->edit_context_ptr);
2154 pretty_printer (pp);
2155 pp_show_color (&pp) = pp_show_color (global_dc->printer);
2156 global_dc->edit_context_ptr->print_diff (&pp, true);
2157 pp_flush (&pp);
2160 diagnostic_finish (global_dc);
2162 finalize_plugins ();
2164 after_memory_report = true;
2166 if (seen_error () || werrorcount)
2167 return (FATAL_EXIT_CODE);
2169 return (SUCCESS_EXIT_CODE);
2172 /* For those that want to, this function aims to clean up enough state that
2173 you can call toplev::main again. */
2174 void
2175 toplev::finalize (void)
2177 rtl_initialized = false;
2178 this_target_rtl->target_specific_initialized = false;
2180 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2181 ipa_reference_c_finalize ();
2183 cgraph_c_finalize ();
2184 cgraphunit_c_finalize ();
2185 dwarf2out_c_finalize ();
2186 gcse_c_finalize ();
2187 ipa_cp_c_finalize ();
2188 ira_costs_c_finalize ();
2189 params_c_finalize ();
2191 finalize_options_struct (&global_options);
2192 finalize_options_struct (&global_options_set);
2194 /* save_decoded_options uses opts_obstack, so these must
2195 be cleaned up together. */
2196 obstack_free (&opts_obstack, NULL);
2197 XDELETEVEC (save_decoded_options);
2198 save_decoded_options = NULL;
2199 save_decoded_options_count = 0;
2201 /* Clean up the context (and pass_manager etc). */
2202 delete g;
2203 g = NULL;