* testsuite/29_atomics/atomic/operators/pointer_partial_void.cc: Fix
[official-gcc.git] / gcc / toplev.c
blobf78912e09dbe1fea003b41b913600471875a75a5
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
25 #include "config.h"
26 #include "system.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "line-map.h"
30 #include "input.h"
31 #include "tree.h"
32 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
33 #include "version.h"
34 #include "rtl.h"
35 #include "tm_p.h"
36 #include "flags.h"
37 #include "insn-attr.h"
38 #include "insn-config.h"
39 #include "insn-flags.h"
40 #include "hard-reg-set.h"
41 #include "recog.h"
42 #include "output.h"
43 #include "except.h"
44 #include "function.h"
45 #include "toplev.h"
46 #include "expr.h"
47 #include "basic-block.h"
48 #include "intl.h"
49 #include "ggc.h"
50 #include "regs.h"
51 #include "timevar.h"
52 #include "diagnostic.h"
53 #include "tree-diagnostic.h"
54 #include "tree-pretty-print.h"
55 #include "params.h"
56 #include "reload.h"
57 #include "ira.h"
58 #include "dwarf2asm.h"
59 #include "debug.h"
60 #include "target.h"
61 #include "common/common-target.h"
62 #include "langhooks.h"
63 #include "cfgloop.h" /* for init_set_costs */
64 #include "hosthooks.h"
65 #include "cgraph.h"
66 #include "opts.h"
67 #include "opts-diagnostic.h"
68 #include "coverage.h"
69 #include "value-prof.h"
70 #include "alloc-pool.h"
71 #include "asan.h"
72 #include "tsan.h"
73 #include "gimple.h"
74 #include "tree-ssa-alias.h"
75 #include "plugin.h"
76 #include "diagnostic-color.h"
77 #include "context.h"
78 #include "pass_manager.h"
80 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
81 #include "dbxout.h"
82 #endif
84 #ifdef SDB_DEBUGGING_INFO
85 #include "sdbout.h"
86 #endif
88 #ifdef XCOFF_DEBUGGING_INFO
89 #include "xcoffout.h" /* Needed for external data
90 declarations for e.g. AIX 4.x. */
91 #endif
93 static void general_init (const char *);
94 static void do_compile (void);
95 static void process_options (void);
96 static void backend_init (void);
97 static int lang_dependent_init (const char *);
98 static void init_asm_output (const char *);
99 static void finalize (bool);
101 static void crash_signal (int) ATTRIBUTE_NORETURN;
102 static void compile_file (void);
104 /* True if we don't need a backend (e.g. preprocessing only). */
105 static bool no_backend;
107 /* Length of line when printing switch values. */
108 #define MAX_LINE 75
110 /* Decoded options, and number of such options. */
111 struct cl_decoded_option *save_decoded_options;
112 unsigned int save_decoded_options_count;
114 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
115 to optimize in process_options (). */
116 #define AUTODETECT_VALUE 2
118 /* Debug hooks - dependent upon command line options. */
120 const struct gcc_debug_hooks *debug_hooks;
122 /* The FUNCTION_DECL for the function currently being compiled,
123 or 0 if between functions. */
124 tree current_function_decl;
126 /* Set to the FUNC_BEGIN label of the current function, or NULL
127 if none. */
128 const char * current_function_func_begin_label;
130 /* A random sequence of characters, unless overridden by user. */
131 static const char *flag_random_seed;
133 /* A local time stamp derived from the time of compilation. It will be
134 zero if the system cannot provide a time. It will be -1u, if the
135 user has specified a particular random seed. */
136 unsigned local_tick;
138 /* Random number for this compilation */
139 HOST_WIDE_INT random_seed;
141 /* -f flags. */
143 /* When non-NULL, indicates that whenever space is allocated on the
144 stack, the resulting stack pointer must not pass this
145 address---that is, for stacks that grow downward, the stack pointer
146 must always be greater than or equal to this address; for stacks
147 that grow upward, the stack pointer must be less than this address.
148 At present, the rtx may be either a REG or a SYMBOL_REF, although
149 the support provided depends on the backend. */
150 rtx stack_limit_rtx;
152 /* True if the user has tagged the function with the 'section'
153 attribute. */
155 bool user_defined_section_attribute = false;
157 struct target_flag_state default_target_flag_state;
158 #if SWITCHABLE_TARGET
159 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
160 #else
161 #define this_target_flag_state (&default_target_flag_state)
162 #endif
164 /* The user symbol prefix after having resolved same. */
165 const char *user_label_prefix;
167 /* Output files for assembler code (real compiler output)
168 and debugging dumps. */
170 FILE *asm_out_file;
171 FILE *aux_info_file;
172 FILE *stack_usage_file = NULL;
174 /* The current working directory of a translation. It's generally the
175 directory from which compilation was initiated, but a preprocessed
176 file may specify the original directory in which it was
177 created. */
179 static const char *src_pwd;
181 /* Initialize src_pwd with the given string, and return true. If it
182 was already initialized, return false. As a special case, it may
183 be called with a NULL argument to test whether src_pwd has NOT been
184 initialized yet. */
186 bool
187 set_src_pwd (const char *pwd)
189 if (src_pwd)
191 if (strcmp (src_pwd, pwd) == 0)
192 return true;
193 else
194 return false;
197 src_pwd = xstrdup (pwd);
198 return true;
201 /* Return the directory from which the translation unit was initiated,
202 in case set_src_pwd() was not called before to assign it a
203 different value. */
205 const char *
206 get_src_pwd (void)
208 if (! src_pwd)
210 src_pwd = getpwd ();
211 if (!src_pwd)
212 src_pwd = ".";
215 return src_pwd;
218 /* Called when the start of a function definition is parsed,
219 this function prints on stderr the name of the function. */
220 void
221 announce_function (tree decl)
223 if (!quiet_flag)
225 if (rtl_dump_and_exit)
226 fprintf (stderr, "%s ",
227 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
228 else
229 fprintf (stderr, " %s",
230 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
231 fflush (stderr);
232 pp_needs_newline (global_dc->printer) = true;
233 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
237 /* Initialize local_tick with a random number or -1 if
238 flag_random_seed is set. */
240 static void
241 init_local_tick (void)
243 if (!flag_random_seed)
245 /* Try urandom first. Time of day is too likely to collide.
246 In case of any error we just use the local tick. */
248 int fd = open ("/dev/urandom", O_RDONLY);
249 if (fd >= 0)
251 read (fd, &random_seed, sizeof (random_seed));
252 close (fd);
255 /* Now get the tick anyways */
256 #ifdef HAVE_GETTIMEOFDAY
258 struct timeval tv;
260 gettimeofday (&tv, NULL);
261 local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
263 #else
265 time_t now = time (NULL);
267 if (now != (time_t)-1)
268 local_tick = (unsigned) now;
270 #endif
272 else
273 local_tick = -1;
276 /* Set up a default flag_random_seed and local_tick, unless the user
277 already specified one. Must be called after init_local_tick. */
279 static void
280 init_random_seed (void)
282 if (flag_random_seed)
284 char *endp;
286 /* When the driver passed in a hex number don't crc it again */
287 random_seed = strtoul (flag_random_seed, &endp, 0);
288 if (!(endp > flag_random_seed && *endp == 0))
289 random_seed = crc32_string (0, flag_random_seed);
291 else if (!random_seed)
292 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
295 /* Obtain the random_seed. Unless NOINIT, initialize it if
296 it's not provided in the command line. */
298 HOST_WIDE_INT
299 get_random_seed (bool noinit)
301 if (!flag_random_seed && !noinit)
302 init_random_seed ();
303 return random_seed;
306 /* Modify the random_seed string to VAL. Return its previous
307 value. */
309 const char *
310 set_random_seed (const char *val)
312 const char *old = flag_random_seed;
313 flag_random_seed = val;
314 return old;
317 /* Handler for fatal signals, such as SIGSEGV. These are transformed
318 into ICE messages, which is much more user friendly. In case the
319 error printer crashes, reset the signal to prevent infinite recursion. */
321 static void
322 crash_signal (int signo)
324 signal (signo, SIG_DFL);
326 /* If we crashed while processing an ASM statement, then be a little more
327 graceful. It's most likely the user's fault. */
328 if (this_is_asm_operands)
330 output_operand_lossage ("unrecoverable error");
331 exit (FATAL_EXIT_CODE);
334 internal_error ("%s", strsignal (signo));
337 /* A subroutine of wrapup_global_declarations. We've come to the end of
338 the compilation unit. All deferred variables should be undeferred,
339 and all incomplete decls should be finalized. */
341 void
342 wrapup_global_declaration_1 (tree decl)
344 /* We're not deferring this any longer. Assignment is conditional to
345 avoid needlessly dirtying PCH pages. */
346 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
347 && DECL_DEFER_OUTPUT (decl) != 0)
348 DECL_DEFER_OUTPUT (decl) = 0;
350 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
351 lang_hooks.finish_incomplete_decl (decl);
354 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
355 needs to be output. Return true if it is output. */
357 bool
358 wrapup_global_declaration_2 (tree decl)
360 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
361 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
362 return false;
364 /* Don't write out static consts, unless we still need them.
366 We also keep static consts if not optimizing (for debugging),
367 unless the user specified -fno-keep-static-consts.
368 ??? They might be better written into the debug information.
369 This is possible when using DWARF.
371 A language processor that wants static constants to be always
372 written out (even if it is not used) is responsible for
373 calling rest_of_decl_compilation itself. E.g. the C front-end
374 calls rest_of_decl_compilation from finish_decl.
375 One motivation for this is that is conventional in some
376 environments to write things like:
377 static const char rcsid[] = "... version string ...";
378 intending to force the string to be in the executable.
380 A language processor that would prefer to have unneeded
381 static constants "optimized away" would just defer writing
382 them out until here. E.g. C++ does this, because static
383 constants are often defined in header files.
385 ??? A tempting alternative (for both C and C++) would be
386 to force a constant to be written if and only if it is
387 defined in a main file, as opposed to an include file. */
389 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
391 struct varpool_node *node;
392 bool needed = true;
393 node = varpool_get_node (decl);
395 if (!node && flag_ltrans)
396 needed = false;
397 else if (node && node->definition)
398 needed = false;
399 else if (node && node->alias)
400 needed = false;
401 else if (!cgraph_global_info_ready
402 && (TREE_USED (decl)
403 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
404 /* needed */;
405 else if (node && node->analyzed)
406 /* needed */;
407 else if (DECL_COMDAT (decl))
408 needed = false;
409 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
410 && (optimize || !flag_keep_static_consts
411 || DECL_ARTIFICIAL (decl)))
412 needed = false;
414 if (needed)
416 rest_of_decl_compilation (decl, 1, 1);
417 return true;
421 return false;
424 /* Do any final processing required for the declarations in VEC, of
425 which there are LEN. We write out inline functions and variables
426 that have been deferred until this point, but which are required.
427 Returns nonzero if anything was put out. */
429 bool
430 wrapup_global_declarations (tree *vec, int len)
432 bool reconsider, output_something = false;
433 int i;
435 for (i = 0; i < len; i++)
436 wrapup_global_declaration_1 (vec[i]);
438 /* Now emit any global variables or functions that we have been
439 putting off. We need to loop in case one of the things emitted
440 here references another one which comes earlier in the list. */
443 reconsider = false;
444 for (i = 0; i < len; i++)
445 reconsider |= wrapup_global_declaration_2 (vec[i]);
446 if (reconsider)
447 output_something = true;
449 while (reconsider);
451 return output_something;
454 /* A subroutine of check_global_declarations. Issue appropriate warnings
455 for the global declaration DECL. */
457 void
458 check_global_declaration_1 (tree decl)
460 /* Warn about any function declared static but not defined. We don't
461 warn about variables, because many programs have static variables
462 that exist only to get some text into the object file. */
463 if (TREE_CODE (decl) == FUNCTION_DECL
464 && DECL_INITIAL (decl) == 0
465 && DECL_EXTERNAL (decl)
466 && ! DECL_ARTIFICIAL (decl)
467 && ! TREE_NO_WARNING (decl)
468 && ! TREE_PUBLIC (decl)
469 && (warn_unused_function
470 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
472 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
473 pedwarn (input_location, 0, "%q+F used but never defined", decl);
474 else
475 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
476 /* This symbol is effectively an "extern" declaration now. */
477 TREE_PUBLIC (decl) = 1;
480 /* Warn about static fns or vars defined but not used. */
481 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
482 /* We don't warn about "static const" variables because the
483 "rcs_id" idiom uses that construction. */
484 || (warn_unused_variable
485 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
486 && ! DECL_IN_SYSTEM_HEADER (decl)
487 && ! TREE_USED (decl)
488 /* The TREE_USED bit for file-scope decls is kept in the identifier,
489 to handle multiple external decls in different scopes. */
490 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
491 && ! DECL_EXTERNAL (decl)
492 && ! TREE_PUBLIC (decl)
493 /* A volatile variable might be used in some non-obvious way. */
494 && ! TREE_THIS_VOLATILE (decl)
495 /* Global register variables must be declared to reserve them. */
496 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
497 /* Otherwise, ask the language. */
498 && lang_hooks.decls.warn_unused_global (decl))
499 warning ((TREE_CODE (decl) == FUNCTION_DECL)
500 ? OPT_Wunused_function
501 : OPT_Wunused_variable,
502 "%q+D defined but not used", decl);
505 /* Issue appropriate warnings for the global declarations in V (of
506 which there are LEN). */
508 void
509 check_global_declarations (tree *v, int len)
511 int i;
513 for (i = 0; i < len; i++)
514 check_global_declaration_1 (v[i]);
517 /* Emit debugging information for all global declarations in VEC. */
519 void
520 emit_debug_global_declarations (tree *vec, int len)
522 int i;
524 /* Avoid confusing the debug information machinery when there are errors. */
525 if (seen_error ())
526 return;
528 timevar_push (TV_SYMOUT);
529 for (i = 0; i < len; i++)
530 debug_hooks->global_decl (vec[i]);
531 timevar_pop (TV_SYMOUT);
534 /* Compile an entire translation unit. Write a file of assembly
535 output and various debugging dumps. */
537 static void
538 compile_file (void)
540 timevar_start (TV_PHASE_PARSING);
541 timevar_push (TV_PARSE_GLOBAL);
543 /* Call the parser, which parses the entire file (calling
544 rest_of_compilation for each function). */
545 lang_hooks.parse_file ();
547 timevar_pop (TV_PARSE_GLOBAL);
548 timevar_stop (TV_PHASE_PARSING);
550 /* Compilation is now finished except for writing
551 what's left of the symbol table output. */
553 if (flag_syntax_only || flag_wpa)
554 return;
556 ggc_protect_identifiers = false;
558 /* This must also call finalize_compilation_unit. */
559 lang_hooks.decls.final_write_globals ();
561 if (seen_error ())
562 return;
564 timevar_start (TV_PHASE_LATE_ASM);
566 /* Compilation unit is finalized. When producing non-fat LTO object, we are
567 basically finished. */
568 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
570 /* File-scope initialization for AddressSanitizer. */
571 if (flag_sanitize & SANITIZE_ADDRESS)
572 asan_finish_file ();
574 if (flag_sanitize & SANITIZE_THREAD)
575 tsan_finish_file ();
577 output_shared_constant_pool ();
578 output_object_blocks ();
579 finish_tm_clone_pairs ();
581 /* Write out any pending weak symbol declarations. */
582 weak_finish ();
584 /* This must be at the end before unwind and debug info.
585 Some target ports emit PIC setup thunks here. */
586 targetm.asm_out.code_end ();
588 /* Do dbx symbols. */
589 timevar_push (TV_SYMOUT);
591 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
592 if (dwarf2out_do_frame ())
593 dwarf2out_frame_finish ();
594 #endif
596 (*debug_hooks->finish) (main_input_filename);
597 timevar_pop (TV_SYMOUT);
599 /* Output some stuff at end of file if nec. */
601 dw2_output_indirect_constants ();
603 /* Flush any pending external directives. */
604 process_pending_assemble_externals ();
607 /* Emit LTO marker if LTO info has been previously emitted. This is
608 used by collect2 to determine whether an object file contains IL.
609 We used to emit an undefined reference here, but this produces
610 link errors if an object file with IL is stored into a shared
611 library without invoking lto1. */
612 if (flag_generate_lto)
614 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
615 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
616 "__gnu_lto_v1",
617 (unsigned HOST_WIDE_INT) 1, 8);
618 #elif defined ASM_OUTPUT_ALIGNED_COMMON
619 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
620 (unsigned HOST_WIDE_INT) 1, 8);
621 #else
622 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
623 (unsigned HOST_WIDE_INT) 1,
624 (unsigned HOST_WIDE_INT) 1);
625 #endif
626 /* Let linker plugin know that this is a slim object and must be LTOed
627 even when user did not ask for it. */
628 if (!flag_fat_lto_objects)
630 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
631 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
632 "__gnu_lto_slim",
633 (unsigned HOST_WIDE_INT) 1, 8);
634 #elif defined ASM_OUTPUT_ALIGNED_COMMON
635 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
636 (unsigned HOST_WIDE_INT) 1, 8);
637 #else
638 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
639 (unsigned HOST_WIDE_INT) 1,
640 (unsigned HOST_WIDE_INT) 1);
641 #endif
645 /* Attach a special .ident directive to the end of the file to identify
646 the version of GCC which compiled this code. The format of the .ident
647 string is patterned after the ones produced by native SVR4 compilers. */
648 if (!flag_no_ident)
650 const char *pkg_version = "(GNU) ";
651 char *ident_str;
653 if (strcmp ("(GCC) ", pkgversion_string))
654 pkg_version = pkgversion_string;
656 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
657 targetm.asm_out.output_ident (ident_str);
660 /* Invoke registered plugin callbacks. */
661 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
663 /* This must be at the end. Some target ports emit end of file directives
664 into the assembly file here, and hence we can not output anything to the
665 assembly file after this point. */
666 targetm.asm_out.file_end ();
668 timevar_stop (TV_PHASE_LATE_ASM);
671 /* Print version information to FILE.
672 Each line begins with INDENT (for the case where FILE is the
673 assembler output file). */
675 void
676 print_version (FILE *file, const char *indent)
678 static const char fmt1[] =
679 #ifdef __GNUC__
680 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
681 #else
682 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
683 #endif
685 static const char fmt2[] =
686 N_("GMP version %s, MPFR version %s, MPC version %s\n");
687 static const char fmt3[] =
688 N_("%s%swarning: %s header version %s differs from library version %s.\n");
689 static const char fmt4[] =
690 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
691 #ifndef __VERSION__
692 #define __VERSION__ "[?]"
693 #endif
694 fprintf (file,
695 file == stderr ? _(fmt1) : fmt1,
696 indent, *indent != 0 ? " " : "",
697 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
698 indent, __VERSION__);
700 /* We need to stringify the GMP macro values. Ugh, gmp_version has
701 two string formats, "i.j.k" and "i.j" when k is zero. As of
702 gmp-4.3.0, GMP always uses the 3 number format. */
703 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
704 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
705 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
706 #define GCC_GMP_VERSION \
707 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
708 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
709 #define GCC_GMP_STRINGIFY_VERSION \
710 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
711 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
712 #else
713 #define GCC_GMP_STRINGIFY_VERSION \
714 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
715 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
716 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
717 #endif
718 fprintf (file,
719 file == stderr ? _(fmt2) : fmt2,
720 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
721 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
722 fprintf (file,
723 file == stderr ? _(fmt3) : fmt3,
724 indent, *indent != 0 ? " " : "",
725 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
726 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
727 fprintf (file,
728 file == stderr ? _(fmt3) : fmt3,
729 indent, *indent != 0 ? " " : "",
730 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
731 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
732 fprintf (file,
733 file == stderr ? _(fmt3) : fmt3,
734 indent, *indent != 0 ? " " : "",
735 "MPC", MPC_VERSION_STRING, mpc_get_version ());
736 fprintf (file,
737 file == stderr ? _(fmt4) : fmt4,
738 indent, *indent != 0 ? " " : "",
739 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
741 print_plugins_versions (file, indent);
744 static int
745 print_to_asm_out_file (print_switch_type type, const char * text)
747 bool prepend_sep = true;
749 switch (type)
751 case SWITCH_TYPE_LINE_END:
752 putc ('\n', asm_out_file);
753 return 1;
755 case SWITCH_TYPE_LINE_START:
756 fputs (ASM_COMMENT_START, asm_out_file);
757 return strlen (ASM_COMMENT_START);
759 case SWITCH_TYPE_DESCRIPTIVE:
760 if (ASM_COMMENT_START[0] == 0)
761 prepend_sep = false;
762 /* Drop through. */
763 case SWITCH_TYPE_PASSED:
764 case SWITCH_TYPE_ENABLED:
765 if (prepend_sep)
766 fputc (' ', asm_out_file);
767 fputs (text, asm_out_file);
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 static int
778 print_to_stderr (print_switch_type type, const char * text)
780 switch (type)
782 case SWITCH_TYPE_LINE_END:
783 putc ('\n', stderr);
784 return 1;
786 case SWITCH_TYPE_LINE_START:
787 return 0;
789 case SWITCH_TYPE_PASSED:
790 case SWITCH_TYPE_ENABLED:
791 fputc (' ', stderr);
792 /* Drop through. */
794 case SWITCH_TYPE_DESCRIPTIVE:
795 fputs (text, stderr);
796 /* No need to return the length here as
797 print_single_switch has already done it. */
798 return 0;
800 default:
801 return -1;
805 /* Print an option value and return the adjusted position in the line.
806 ??? print_fn doesn't handle errors, eg disk full; presumably other
807 code will catch a disk full though. */
809 static int
810 print_single_switch (print_switch_fn_type print_fn,
811 int pos,
812 print_switch_type type,
813 const char * text)
815 /* The ultrix fprintf returns 0 on success, so compute the result
816 we want here since we need it for the following test. The +1
817 is for the separator character that will probably be emitted. */
818 int len = strlen (text) + 1;
820 if (pos != 0
821 && pos + len > MAX_LINE)
823 print_fn (SWITCH_TYPE_LINE_END, NULL);
824 pos = 0;
827 if (pos == 0)
828 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
830 print_fn (type, text);
831 return pos + len;
834 /* Print active target switches using PRINT_FN.
835 POS is the current cursor position and MAX is the size of a "line".
836 Each line begins with INDENT and ends with TERM.
837 Each switch is separated from the next by SEP. */
839 static void
840 print_switch_values (print_switch_fn_type print_fn)
842 int pos = 0;
843 size_t j;
845 /* Fill in the -frandom-seed option, if the user didn't pass it, so
846 that it can be printed below. This helps reproducibility. */
847 if (!flag_random_seed)
848 init_random_seed ();
850 /* Print the options as passed. */
851 pos = print_single_switch (print_fn, pos,
852 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
854 for (j = 1; j < save_decoded_options_count; j++)
856 switch (save_decoded_options[j].opt_index)
858 case OPT_o:
859 case OPT_d:
860 case OPT_dumpbase:
861 case OPT_dumpdir:
862 case OPT_auxbase:
863 case OPT_quiet:
864 case OPT_version:
865 /* Ignore these. */
866 continue;
869 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
870 save_decoded_options[j].orig_option_with_args_text);
873 if (pos > 0)
874 print_fn (SWITCH_TYPE_LINE_END, NULL);
876 /* Print the -f and -m options that have been enabled.
877 We don't handle language specific options but printing argv
878 should suffice. */
879 pos = print_single_switch (print_fn, 0,
880 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
882 for (j = 0; j < cl_options_count; j++)
883 if (cl_options[j].cl_report
884 && option_enabled (j, &global_options) > 0)
885 pos = print_single_switch (print_fn, pos,
886 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
888 print_fn (SWITCH_TYPE_LINE_END, NULL);
891 /* Open assembly code output file. Do this even if -fsyntax-only is
892 on, because then the driver will have provided the name of a
893 temporary file or bit bucket for us. NAME is the file specified on
894 the command line, possibly NULL. */
895 static void
896 init_asm_output (const char *name)
898 if (name == NULL && asm_file_name == 0)
899 asm_out_file = stdout;
900 else
902 if (asm_file_name == 0)
904 int len = strlen (dump_base_name);
905 char *dumpname = XNEWVEC (char, len + 6);
907 memcpy (dumpname, dump_base_name, len + 1);
908 strip_off_ending (dumpname, len);
909 strcat (dumpname, ".s");
910 asm_file_name = dumpname;
912 if (!strcmp (asm_file_name, "-"))
913 asm_out_file = stdout;
914 else
915 asm_out_file = fopen (asm_file_name, "w");
916 if (asm_out_file == 0)
917 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
920 if (!flag_syntax_only)
922 targetm.asm_out.file_start ();
924 if (flag_record_gcc_switches)
926 if (targetm.asm_out.record_gcc_switches)
928 /* Let the target know that we are about to start recording. */
929 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
930 NULL);
931 /* Now record the switches. */
932 print_switch_values (targetm.asm_out.record_gcc_switches);
933 /* Let the target know that the recording is over. */
934 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
935 NULL);
937 else
938 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
941 if (flag_verbose_asm)
943 /* Print the list of switches in effect
944 into the assembler file as comments. */
945 print_version (asm_out_file, ASM_COMMENT_START);
946 print_switch_values (print_to_asm_out_file);
947 putc ('\n', asm_out_file);
952 /* A helper function; used as the reallocator function for cpp's line
953 table. */
954 static void *
955 realloc_for_line_map (void *ptr, size_t len)
957 return GGC_RESIZEVAR (void, ptr, len);
960 /* A helper function: used as the allocator function for
961 identifier_to_locale. */
962 static void *
963 alloc_for_identifier_to_locale (size_t len)
965 return ggc_alloc_atomic (len);
968 /* Output stack usage information. */
969 void
970 output_stack_usage (void)
972 static bool warning_issued = false;
973 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
974 const char *stack_usage_kind_str[] = {
975 "static",
976 "dynamic",
977 "dynamic,bounded"
979 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
980 enum stack_usage_kind_type stack_usage_kind;
982 if (stack_usage < 0)
984 if (!warning_issued)
986 warning (0, "stack usage computation not supported for this target");
987 warning_issued = true;
989 return;
992 stack_usage_kind = STATIC;
994 /* Add the maximum amount of space pushed onto the stack. */
995 if (current_function_pushed_stack_size > 0)
997 stack_usage += current_function_pushed_stack_size;
998 stack_usage_kind = DYNAMIC_BOUNDED;
1001 /* Now on to the tricky part: dynamic stack allocation. */
1002 if (current_function_allocates_dynamic_stack_space)
1004 if (current_function_has_unbounded_dynamic_stack_size)
1005 stack_usage_kind = DYNAMIC;
1006 else
1007 stack_usage_kind = DYNAMIC_BOUNDED;
1009 /* Add the size even in the unbounded case, this can't hurt. */
1010 stack_usage += current_function_dynamic_stack_size;
1013 if (flag_stack_usage)
1015 expanded_location loc
1016 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1017 /* We don't want to print the full qualified name because it can be long,
1018 so we strip the scope prefix, but we may need to deal with the suffix
1019 created by the compiler. */
1020 const char *suffix
1021 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1022 const char *name
1023 = lang_hooks.decl_printable_name (current_function_decl, 2);
1024 if (suffix)
1026 const char *dot = strchr (name, '.');
1027 while (dot && strcasecmp (dot, suffix) != 0)
1029 name = dot + 1;
1030 dot = strchr (name, '.');
1033 else
1035 const char *dot = strrchr (name, '.');
1036 if (dot)
1037 name = dot + 1;
1040 fprintf (stack_usage_file,
1041 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1042 lbasename (loc.file),
1043 loc.line,
1044 loc.column,
1045 name,
1046 stack_usage,
1047 stack_usage_kind_str[stack_usage_kind]);
1050 if (warn_stack_usage >= 0)
1052 if (stack_usage_kind == DYNAMIC)
1053 warning (OPT_Wstack_usage_, "stack usage might be unbounded");
1054 else if (stack_usage > warn_stack_usage)
1056 if (stack_usage_kind == DYNAMIC_BOUNDED)
1057 warning (OPT_Wstack_usage_, "stack usage might be %wd bytes",
1058 stack_usage);
1059 else
1060 warning (OPT_Wstack_usage_, "stack usage is %wd bytes",
1061 stack_usage);
1066 /* Open an auxiliary output file. */
1067 static FILE *
1068 open_auxiliary_file (const char *ext)
1070 char *filename;
1071 FILE *file;
1073 filename = concat (aux_base_name, ".", ext, NULL);
1074 file = fopen (filename, "w");
1075 if (!file)
1076 fatal_error ("can%'t open %s for writing: %m", filename);
1077 free (filename);
1078 return file;
1081 /* Initialization of the front end environment, before command line
1082 options are parsed. Signal handlers, internationalization etc.
1083 ARGV0 is main's argv[0]. */
1084 static void
1085 general_init (const char *argv0)
1087 const char *p;
1089 p = argv0 + strlen (argv0);
1090 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1091 --p;
1092 progname = p;
1094 xmalloc_set_program_name (progname);
1096 hex_init ();
1098 /* Unlock the stdio streams. */
1099 unlock_std_streams ();
1101 gcc_init_libintl ();
1103 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1104 identifier_to_locale_free = ggc_free;
1106 /* Initialize the diagnostics reporting machinery, so option parsing
1107 can give warnings and errors. */
1108 diagnostic_initialize (global_dc, N_OPTS);
1109 /* Set a default printer. Language specific initializations will
1110 override it later. */
1111 tree_diagnostics_defaults (global_dc);
1112 /* FIXME: This should probably be moved to C-family
1113 language-specific initializations. */
1114 /* By default print macro expansion contexts in the diagnostic
1115 finalizer -- for tokens resulting from macro expansion. */
1116 diagnostic_finalizer (global_dc) = virt_loc_aware_diagnostic_finalizer;
1118 global_dc->show_caret
1119 = global_options_init.x_flag_diagnostics_show_caret;
1120 global_dc->show_option_requested
1121 = global_options_init.x_flag_diagnostics_show_option;
1122 global_dc->show_column
1123 = global_options_init.x_flag_show_column;
1124 global_dc->internal_error = plugins_internal_error_function;
1125 global_dc->option_enabled = option_enabled;
1126 global_dc->option_state = &global_options;
1127 global_dc->option_name = option_name;
1129 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1130 #ifdef SIGSEGV
1131 signal (SIGSEGV, crash_signal);
1132 #endif
1133 #ifdef SIGILL
1134 signal (SIGILL, crash_signal);
1135 #endif
1136 #ifdef SIGBUS
1137 signal (SIGBUS, crash_signal);
1138 #endif
1139 #ifdef SIGABRT
1140 signal (SIGABRT, crash_signal);
1141 #endif
1142 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1143 signal (SIGIOT, crash_signal);
1144 #endif
1145 #ifdef SIGFPE
1146 signal (SIGFPE, crash_signal);
1147 #endif
1149 /* Other host-specific signal setup. */
1150 (*host_hooks.extra_signals)();
1152 /* Initialize the garbage-collector, string pools and tree type hash
1153 table. */
1154 init_ggc ();
1155 init_stringpool ();
1156 line_table = ggc_alloc_line_maps ();
1157 linemap_init (line_table);
1158 line_table->reallocator = realloc_for_line_map;
1159 line_table->round_alloc_size = ggc_round_alloc_size;
1160 init_ttree ();
1162 /* Initialize register usage now so switches may override. */
1163 init_reg_sets ();
1165 /* Register the language-independent parameters. */
1166 global_init_params ();
1168 /* This must be done after global_init_params but before argument
1169 processing. */
1170 init_ggc_heuristics ();
1172 /* Create the singleton holder for global state.
1173 Doing so also creates the pass manager and with it the passes. */
1174 g = new gcc::context ();
1176 statistics_early_init ();
1177 finish_params ();
1180 /* Return true if the current target supports -fsection-anchors. */
1182 static bool
1183 target_supports_section_anchors_p (void)
1185 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1186 return false;
1188 if (targetm.asm_out.output_anchor == NULL)
1189 return false;
1191 return true;
1194 /* Default the align_* variables to 1 if they're still unset, and
1195 set up the align_*_log variables. */
1196 static void
1197 init_alignments (void)
1199 if (align_loops <= 0)
1200 align_loops = 1;
1201 if (align_loops_max_skip > align_loops)
1202 align_loops_max_skip = align_loops - 1;
1203 align_loops_log = floor_log2 (align_loops * 2 - 1);
1204 if (align_jumps <= 0)
1205 align_jumps = 1;
1206 if (align_jumps_max_skip > align_jumps)
1207 align_jumps_max_skip = align_jumps - 1;
1208 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1209 if (align_labels <= 0)
1210 align_labels = 1;
1211 align_labels_log = floor_log2 (align_labels * 2 - 1);
1212 if (align_labels_max_skip > align_labels)
1213 align_labels_max_skip = align_labels - 1;
1214 if (align_functions <= 0)
1215 align_functions = 1;
1216 align_functions_log = floor_log2 (align_functions * 2 - 1);
1219 /* Process the options that have been parsed. */
1220 static void
1221 process_options (void)
1223 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1224 This can happen with incorrect pre-processed input. */
1225 debug_hooks = &do_nothing_debug_hooks;
1227 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1229 /* Default to -fdiagnostics-color=auto if GCC_COLORS is in the environment,
1230 otherwise default to -fdiagnostics-color=never. */
1231 if (!global_options_set.x_flag_diagnostics_show_color
1232 && getenv ("GCC_COLORS"))
1233 pp_show_color (global_dc->printer)
1234 = colorize_init (DIAGNOSTICS_COLOR_AUTO);
1236 /* Allow the front end to perform consistency checks and do further
1237 initialization based on the command line options. This hook also
1238 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1239 so we can correctly initialize debug output. */
1240 no_backend = lang_hooks.post_options (&main_input_filename);
1242 /* Some machines may reject certain combinations of options. */
1243 targetm.target_option.override ();
1245 /* Avoid any informative notes in the second run of -fcompare-debug. */
1246 if (flag_compare_debug)
1247 diagnostic_inhibit_notes (global_dc);
1249 if (flag_section_anchors && !target_supports_section_anchors_p ())
1251 warning (OPT_fsection_anchors,
1252 "this target does not support %qs", "-fsection-anchors");
1253 flag_section_anchors = 0;
1256 if (flag_short_enums == 2)
1257 flag_short_enums = targetm.default_short_enums ();
1259 /* Set aux_base_name if not already set. */
1260 if (aux_base_name)
1262 else if (main_input_filename)
1264 char *name = xstrdup (lbasename (main_input_filename));
1266 strip_off_ending (name, strlen (name));
1267 aux_base_name = name;
1269 else
1270 aux_base_name = "gccaux";
1272 #ifndef HAVE_cloog
1273 if (flag_graphite
1274 || flag_graphite_identity
1275 || flag_loop_block
1276 || flag_loop_interchange
1277 || flag_loop_strip_mine
1278 || flag_loop_parallelize_all)
1279 sorry ("Graphite loop optimizations cannot be used (-fgraphite, "
1280 "-fgraphite-identity, -floop-block, "
1281 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1282 "and -ftree-loop-linear)");
1283 #endif
1285 if (flag_check_pointer_bounds)
1287 if (targetm.chkp_bound_mode () == VOIDmode)
1288 error ("-fcheck-pointers is not supported for this target");
1290 if (!lang_hooks.chkp_supported)
1291 flag_check_pointer_bounds = 0;
1294 /* One region RA really helps to decrease the code size. */
1295 if (flag_ira_region == IRA_REGION_AUTODETECT)
1296 flag_ira_region
1297 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1299 if (flag_strict_volatile_bitfields > 0 && !abi_version_at_least (2))
1301 warning (0, "-fstrict-volatile-bitfields disabled; "
1302 "it is incompatible with ABI versions < 2");
1303 flag_strict_volatile_bitfields = 0;
1306 /* Unrolling all loops implies that standard loop unrolling must also
1307 be done. */
1308 if (flag_unroll_all_loops)
1309 flag_unroll_loops = 1;
1311 /* web and rename-registers help when run after loop unrolling. */
1312 if (flag_web == AUTODETECT_VALUE)
1313 flag_web = flag_unroll_loops || flag_peel_loops;
1315 if (flag_rename_registers == AUTODETECT_VALUE)
1316 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1318 if (flag_non_call_exceptions)
1319 flag_asynchronous_unwind_tables = 1;
1320 if (flag_asynchronous_unwind_tables)
1321 flag_unwind_tables = 1;
1323 if (flag_value_profile_transformations)
1324 flag_profile_values = 1;
1326 /* Warn about options that are not supported on this machine. */
1327 #ifndef INSN_SCHEDULING
1328 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1329 warning (0, "instruction scheduling not supported on this target machine");
1330 #endif
1331 #ifndef DELAY_SLOTS
1332 if (flag_delayed_branch)
1333 warning (0, "this target machine does not have delayed branches");
1334 #endif
1336 user_label_prefix = USER_LABEL_PREFIX;
1337 if (flag_leading_underscore != -1)
1339 /* If the default prefix is more complicated than "" or "_",
1340 issue a warning and ignore this option. */
1341 if (user_label_prefix[0] == 0 ||
1342 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1344 user_label_prefix = flag_leading_underscore ? "_" : "";
1346 else
1347 warning (0, "-f%sleading-underscore not supported on this target machine",
1348 flag_leading_underscore ? "" : "no-");
1351 /* If we are in verbose mode, write out the version and maybe all the
1352 option flags in use. */
1353 if (version_flag)
1355 print_version (stderr, "");
1356 if (! quiet_flag)
1357 print_switch_values (print_to_stderr);
1360 if (flag_syntax_only)
1362 write_symbols = NO_DEBUG;
1363 profile_flag = 0;
1366 if (flag_gtoggle)
1368 if (debug_info_level == DINFO_LEVEL_NONE)
1370 debug_info_level = DINFO_LEVEL_NORMAL;
1372 if (write_symbols == NO_DEBUG)
1373 write_symbols = PREFERRED_DEBUGGING_TYPE;
1375 else
1376 debug_info_level = DINFO_LEVEL_NONE;
1379 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1381 FILE *final_output = fopen (flag_dump_final_insns, "w");
1382 if (!final_output)
1384 error ("could not open final insn dump file %qs: %m",
1385 flag_dump_final_insns);
1386 flag_dump_final_insns = NULL;
1388 else if (fclose (final_output))
1390 error ("could not close zeroed insn dump file %qs: %m",
1391 flag_dump_final_insns);
1392 flag_dump_final_insns = NULL;
1396 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1397 level is 0. */
1398 if (debug_info_level == DINFO_LEVEL_NONE)
1399 write_symbols = NO_DEBUG;
1401 if (write_symbols == NO_DEBUG)
1403 #if defined(DBX_DEBUGGING_INFO)
1404 else if (write_symbols == DBX_DEBUG)
1405 debug_hooks = &dbx_debug_hooks;
1406 #endif
1407 #if defined(XCOFF_DEBUGGING_INFO)
1408 else if (write_symbols == XCOFF_DEBUG)
1409 debug_hooks = &xcoff_debug_hooks;
1410 #endif
1411 #ifdef SDB_DEBUGGING_INFO
1412 else if (write_symbols == SDB_DEBUG)
1413 debug_hooks = &sdb_debug_hooks;
1414 #endif
1415 #ifdef DWARF2_DEBUGGING_INFO
1416 else if (write_symbols == DWARF2_DEBUG)
1417 debug_hooks = &dwarf2_debug_hooks;
1418 #endif
1419 #ifdef VMS_DEBUGGING_INFO
1420 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1421 debug_hooks = &vmsdbg_debug_hooks;
1422 #endif
1423 else
1424 error ("target system does not support the \"%s\" debug format",
1425 debug_type_names[write_symbols]);
1427 /* We know which debug output will be used so we can set flag_var_tracking
1428 and flag_var_tracking_uninit if the user has not specified them. */
1429 if (debug_info_level < DINFO_LEVEL_NORMAL
1430 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1432 if (flag_var_tracking == 1
1433 || flag_var_tracking_uninit == 1)
1435 if (debug_info_level < DINFO_LEVEL_NORMAL)
1436 warning (0, "variable tracking requested, but useless unless "
1437 "producing debug info");
1438 else
1439 warning (0, "variable tracking requested, but not supported "
1440 "by this debug format");
1442 flag_var_tracking = 0;
1443 flag_var_tracking_uninit = 0;
1446 /* The debug hooks are used to implement -fdump-go-spec because it
1447 gives a simple and stable API for all the information we need to
1448 dump. */
1449 if (flag_dump_go_spec != NULL)
1450 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1452 /* If the user specifically requested variable tracking with tagging
1453 uninitialized variables, we need to turn on variable tracking.
1454 (We already determined above that variable tracking is feasible.) */
1455 if (flag_var_tracking_uninit == 1)
1456 flag_var_tracking = 1;
1458 if (flag_var_tracking == AUTODETECT_VALUE)
1459 flag_var_tracking = optimize >= 1;
1461 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1462 flag_var_tracking_uninit = flag_var_tracking;
1464 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1465 flag_var_tracking_assignments = flag_var_tracking
1466 && !(flag_selective_scheduling || flag_selective_scheduling2);
1468 if (flag_var_tracking_assignments_toggle)
1469 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1471 if (flag_var_tracking_assignments && !flag_var_tracking)
1472 flag_var_tracking = flag_var_tracking_assignments = -1;
1474 if (flag_var_tracking_assignments
1475 && (flag_selective_scheduling || flag_selective_scheduling2))
1476 warning (0, "var-tracking-assignments changes selective scheduling");
1478 if (flag_tree_cselim == AUTODETECT_VALUE)
1479 #ifdef HAVE_conditional_move
1480 flag_tree_cselim = 1;
1481 #else
1482 flag_tree_cselim = 0;
1483 #endif
1485 /* If auxiliary info generation is desired, open the output file.
1486 This goes in the same directory as the source file--unlike
1487 all the other output files. */
1488 if (flag_gen_aux_info)
1490 aux_info_file = fopen (aux_info_file_name, "w");
1491 if (aux_info_file == 0)
1492 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1495 if (!targetm_common.have_named_sections)
1497 if (flag_function_sections)
1499 warning (0, "-ffunction-sections not supported for this target");
1500 flag_function_sections = 0;
1502 if (flag_data_sections)
1504 warning (0, "-fdata-sections not supported for this target");
1505 flag_data_sections = 0;
1509 #ifndef HAVE_prefetch
1510 if (flag_prefetch_loop_arrays > 0)
1512 warning (0, "-fprefetch-loop-arrays not supported for this target");
1513 flag_prefetch_loop_arrays = 0;
1515 #else
1516 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1518 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1519 flag_prefetch_loop_arrays = 0;
1521 #endif
1523 /* This combination of options isn't handled for i386 targets and doesn't
1524 make much sense anyway, so don't allow it. */
1525 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1527 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1528 flag_prefetch_loop_arrays = 0;
1531 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1532 if (flag_signaling_nans)
1533 flag_trapping_math = 1;
1535 /* We cannot reassociate if we want traps or signed zeros. */
1536 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1538 warning (0, "-fassociative-math disabled; other options take precedence");
1539 flag_associative_math = 0;
1542 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1543 if (flag_cx_limited_range)
1544 flag_complex_method = 0;
1546 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1547 if (flag_cx_fortran_rules)
1548 flag_complex_method = 1;
1550 /* Targets must be able to place spill slots at lower addresses. If the
1551 target already uses a soft frame pointer, the transition is trivial. */
1552 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1554 warning (0, "-fstack-protector not supported for this target");
1555 flag_stack_protect = 0;
1557 if (!flag_stack_protect)
1558 warn_stack_protect = 0;
1560 /* Address Sanitizer needs porting to each target architecture. */
1561 if ((flag_sanitize & SANITIZE_ADDRESS)
1562 && (targetm.asan_shadow_offset == NULL
1563 || !FRAME_GROWS_DOWNWARD))
1565 warning (0, "-fsanitize=address not supported for this target");
1566 flag_sanitize &= ~SANITIZE_ADDRESS;
1569 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1570 have not been set. */
1571 if (!global_options_set.x_warnings_are_errors
1572 && warn_coverage_mismatch
1573 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1574 DK_UNSPECIFIED))
1575 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1576 DK_ERROR, UNKNOWN_LOCATION);
1578 /* Save the current optimization options. */
1579 optimization_default_node = build_optimization_node (&global_options);
1580 optimization_current_node = optimization_default_node;
1583 /* This function can be called multiple times to reinitialize the compiler
1584 back end when register classes or instruction sets have changed,
1585 before each function. */
1586 static void
1587 backend_init_target (void)
1589 /* Initialize alignment variables. */
1590 init_alignments ();
1592 /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
1593 to initialize reg_raw_mode[]. */
1594 init_emit_regs ();
1596 /* This invokes target hooks to set fixed_reg[] etc, which is
1597 mode-dependent. */
1598 init_regs ();
1600 /* This depends on stack_pointer_rtx. */
1601 init_fake_stack_mems ();
1603 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1604 mode-dependent. */
1605 init_alias_target ();
1607 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1608 init_reload ();
1610 /* The following initialization functions need to generate rtl, so
1611 provide a dummy function context for them. */
1612 init_dummy_function_start ();
1614 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1615 on a mode change. */
1616 init_expmed ();
1617 init_lower_subreg ();
1619 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1620 after a mode change as well. */
1621 caller_save_initialized_p = false;
1623 expand_dummy_function_end ();
1626 /* Initialize the compiler back end. This function is called only once,
1627 when starting the compiler. */
1628 static void
1629 backend_init (void)
1631 init_emit_once ();
1633 init_rtlanal ();
1634 init_inline_once ();
1635 init_varasm_once ();
1636 save_register_info ();
1638 /* Initialize the target-specific back end pieces. */
1639 ira_init_once ();
1640 backend_init_target ();
1643 /* Initialize excess precision settings. */
1644 static void
1645 init_excess_precision (void)
1647 /* Adjust excess precision handling based on the target options. If
1648 the front end cannot handle it, flag_excess_precision_cmdline
1649 will already have been set accordingly in the post_options
1650 hook. */
1651 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1652 flag_excess_precision = flag_excess_precision_cmdline;
1653 if (flag_unsafe_math_optimizations)
1654 flag_excess_precision = EXCESS_PRECISION_FAST;
1655 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1657 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1658 switch (flt_eval_method)
1660 case -1:
1661 case 0:
1662 /* Either the target acts unpredictably (-1) or has all the
1663 operations required not to have excess precision (0). */
1664 flag_excess_precision = EXCESS_PRECISION_FAST;
1665 break;
1666 case 1:
1667 case 2:
1668 /* In these cases, predictable excess precision makes
1669 sense. */
1670 break;
1671 default:
1672 /* Any other implementation-defined FLT_EVAL_METHOD values
1673 require the compiler to handle the associated excess
1674 precision rules in excess_precision_type. */
1675 gcc_unreachable ();
1680 /* Initialize things that are both lang-dependent and target-dependent.
1681 This function can be called more than once if target parameters change. */
1682 static void
1683 lang_dependent_init_target (void)
1685 /* This determines excess precision settings. */
1686 init_excess_precision ();
1688 /* This creates various _DECL nodes, so needs to be called after the
1689 front end is initialized. It also depends on the HAVE_xxx macros
1690 generated from the target machine description. */
1691 init_optabs ();
1693 /* The following initialization functions need to generate rtl, so
1694 provide a dummy function context for them. */
1695 init_dummy_function_start ();
1697 /* Do the target-specific parts of expr initialization. */
1698 init_expr_target ();
1700 /* Although the actions of these functions are language-independent,
1701 they use optabs, so we cannot call them from backend_init. */
1702 init_set_costs ();
1703 ira_init ();
1705 expand_dummy_function_end ();
1708 /* Language-dependent initialization. Returns nonzero on success. */
1709 static int
1710 lang_dependent_init (const char *name)
1712 location_t save_loc = input_location;
1713 if (dump_base_name == 0)
1714 dump_base_name = name && name[0] ? name : "gccdump";
1716 /* Other front-end initialization. */
1717 input_location = BUILTINS_LOCATION;
1718 if (lang_hooks.init () == 0)
1719 return 0;
1720 input_location = save_loc;
1722 if (!flag_wpa)
1724 init_asm_output (name);
1726 /* If stack usage information is desired, open the output file. */
1727 if (flag_stack_usage)
1728 stack_usage_file = open_auxiliary_file ("su");
1731 /* This creates various _DECL nodes, so needs to be called after the
1732 front end is initialized. */
1733 init_eh ();
1735 /* Do the target-specific parts of the initialization. */
1736 lang_dependent_init_target ();
1738 if (!flag_wpa)
1740 /* If dbx symbol table desired, initialize writing it and output the
1741 predefined types. */
1742 timevar_push (TV_SYMOUT);
1744 /* Now we have the correct original filename, we can initialize
1745 debug output. */
1746 (*debug_hooks->init) (name);
1748 timevar_pop (TV_SYMOUT);
1751 return 1;
1755 /* Reinitialize everything when target parameters, such as register usage,
1756 have changed. */
1757 void
1758 target_reinit (void)
1760 struct rtl_data saved_x_rtl;
1761 rtx *saved_regno_reg_rtx;
1763 /* Save *crtl and regno_reg_rtx around the reinitialization
1764 to allow target_reinit being called even after prepare_function_start. */
1765 saved_regno_reg_rtx = regno_reg_rtx;
1766 if (saved_regno_reg_rtx)
1768 saved_x_rtl = *crtl;
1769 memset (crtl, '\0', sizeof (*crtl));
1770 regno_reg_rtx = NULL;
1773 /* Reinitialize RTL backend. */
1774 backend_init_target ();
1776 /* Reinitialize lang-dependent parts. */
1777 lang_dependent_init_target ();
1779 /* And restore it at the end, as free_after_compilation from
1780 expand_dummy_function_end clears it. */
1781 if (saved_regno_reg_rtx)
1783 *crtl = saved_x_rtl;
1784 regno_reg_rtx = saved_regno_reg_rtx;
1785 saved_regno_reg_rtx = NULL;
1789 void
1790 dump_memory_report (bool final)
1792 dump_line_table_statistics ();
1793 ggc_print_statistics ();
1794 stringpool_statistics ();
1795 dump_tree_statistics ();
1796 dump_gimple_statistics ();
1797 dump_rtx_statistics ();
1798 dump_alloc_pool_statistics ();
1799 dump_bitmap_statistics ();
1800 dump_vec_loc_statistics ();
1801 dump_ggc_loc_statistics (final);
1802 dump_alias_stats (stderr);
1803 dump_pta_stats (stderr);
1806 /* Clean up: close opened files, etc. */
1808 static void
1809 finalize (bool no_backend)
1811 /* Close the dump files. */
1812 if (flag_gen_aux_info)
1814 fclose (aux_info_file);
1815 if (seen_error ())
1816 unlink (aux_info_file_name);
1819 /* Close non-debugging input and output files. Take special care to note
1820 whether fclose returns an error, since the pages might still be on the
1821 buffer chain while the file is open. */
1823 if (asm_out_file)
1825 if (ferror (asm_out_file) != 0)
1826 fatal_error ("error writing to %s: %m", asm_file_name);
1827 if (fclose (asm_out_file) != 0)
1828 fatal_error ("error closing %s: %m", asm_file_name);
1831 if (stack_usage_file)
1832 fclose (stack_usage_file);
1834 if (!no_backend)
1836 statistics_fini ();
1838 g->get_passes ()->finish_optimization_passes ();
1840 ira_finish_once ();
1843 if (mem_report)
1844 dump_memory_report (true);
1846 if (profile_report)
1847 dump_profile_report ();
1849 /* Language-specific end of compilation actions. */
1850 lang_hooks.finish ();
1853 /* Initialize the compiler, and compile the input file. */
1854 static void
1855 do_compile (void)
1857 /* Initialize timing first. The C front ends read the main file in
1858 the post_options hook, and C++ does file timings. */
1859 if (time_report || !quiet_flag || flag_detailed_statistics)
1860 timevar_init ();
1861 timevar_start (TV_TOTAL);
1863 process_options ();
1865 /* Don't do any more if an error has already occurred. */
1866 if (!seen_error ())
1868 timevar_start (TV_PHASE_SETUP);
1870 /* This must be run always, because it is needed to compute the FP
1871 predefined macros, such as __LDBL_MAX__, for targets using non
1872 default FP formats. */
1873 init_adjust_machine_modes ();
1875 /* Set up the back-end if requested. */
1876 if (!no_backend)
1877 backend_init ();
1879 /* Language-dependent initialization. Returns true on success. */
1880 if (lang_dependent_init (main_input_filename))
1882 /* Initialize yet another pass. */
1884 ggc_protect_identifiers = true;
1886 init_cgraph ();
1887 init_final (main_input_filename);
1888 coverage_init (aux_base_name);
1889 statistics_init ();
1890 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1892 timevar_stop (TV_PHASE_SETUP);
1894 compile_file ();
1896 else
1898 timevar_stop (TV_PHASE_SETUP);
1901 timevar_start (TV_PHASE_FINALIZE);
1903 finalize (no_backend);
1905 timevar_stop (TV_PHASE_FINALIZE);
1908 /* Stop timing and print the times. */
1909 timevar_stop (TV_TOTAL);
1910 timevar_print (stderr);
1913 /* Entry point of cc1, cc1plus, jc1, f771, etc.
1914 Exit code is FATAL_EXIT_CODE if can't open files or if there were
1915 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
1917 It is not safe to call this function more than once. */
1920 toplev_main (int argc, char **argv)
1922 /* Parsing and gimplification sometimes need quite large stack.
1923 Increase stack size limits if possible. */
1924 stack_limit_increase (64 * 1024 * 1024);
1926 expandargv (&argc, &argv);
1928 /* Initialization of GCC's environment, and diagnostics. */
1929 general_init (argv[0]);
1931 /* One-off initialization of options that does not need to be
1932 repeated when options are added for particular functions. */
1933 init_options_once ();
1935 /* Initialize global options structures; this must be repeated for
1936 each structure used for parsing options. */
1937 init_options_struct (&global_options, &global_options_set);
1938 lang_hooks.init_options_struct (&global_options);
1940 /* Convert the options to an array. */
1941 decode_cmdline_options_to_array_default_mask (argc,
1942 CONST_CAST2 (const char **,
1943 char **, argv),
1944 &save_decoded_options,
1945 &save_decoded_options_count);
1947 /* Perform language-specific options initialization. */
1948 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
1950 /* Parse the options and do minimal processing; basically just
1951 enough to default flags appropriately. */
1952 decode_options (&global_options, &global_options_set,
1953 save_decoded_options, save_decoded_options_count,
1954 UNKNOWN_LOCATION, global_dc);
1956 handle_common_deferred_options ();
1958 init_local_tick ();
1960 initialize_plugins ();
1962 if (version_flag)
1963 print_version (stderr, "");
1965 if (help_flag)
1966 print_plugins_help (stderr, "");
1968 /* Exit early if we can (e.g. -help). */
1969 if (!exit_after_options)
1970 do_compile ();
1972 if (warningcount || errorcount || werrorcount)
1973 print_ignored_options ();
1974 diagnostic_finish (global_dc);
1976 /* Invoke registered plugin callbacks if any. */
1977 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
1979 finalize_plugins ();
1980 location_adhoc_data_fini (line_table);
1981 if (seen_error () || werrorcount)
1982 return (FATAL_EXIT_CODE);
1984 return (SUCCESS_EXIT_CODE);