OpenACC deviceptr clause: Remove bogus assertion.
[official-gcc.git] / gcc / toplev.c
blobc6fedbe6843577e1c0c93bf011481bd58b025c6e
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
25 #include "config.h"
26 #include "system.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "line-map.h"
30 #include "input.h"
31 #include "tree.h"
32 #include "varasm.h"
33 #include "tree-inline.h"
34 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
35 #include "version.h"
36 #include "rtl.h"
37 #include "tm_p.h"
38 #include "flags.h"
39 #include "insn-attr.h"
40 #include "insn-config.h"
41 #include "insn-flags.h"
42 #include "hard-reg-set.h"
43 #include "recog.h"
44 #include "output.h"
45 #include "except.h"
46 #include "hashtab.h"
47 #include "hash-set.h"
48 #include "vec.h"
49 #include "machmode.h"
50 #include "function.h"
51 #include "toplev.h"
52 #include "expr.h"
53 #include "intl.h"
54 #include "regs.h"
55 #include "timevar.h"
56 #include "diagnostic.h"
57 #include "tree-diagnostic.h"
58 #include "tree-pretty-print.h"
59 #include "params.h"
60 #include "reload.h"
61 #include "ira.h"
62 #include "lra.h"
63 #include "dwarf2asm.h"
64 #include "debug.h"
65 #include "target.h"
66 #include "common/common-target.h"
67 #include "langhooks.h"
68 #include "cfgloop.h" /* for init_set_costs */
69 #include "hosthooks.h"
70 #include "predict.h"
71 #include "basic-block.h"
72 #include "hash-map.h"
73 #include "is-a.h"
74 #include "plugin-api.h"
75 #include "ipa-ref.h"
76 #include "cgraph.h"
77 #include "opts.h"
78 #include "opts-diagnostic.h"
79 #include "coverage.h"
80 #include "value-prof.h"
81 #include "alloc-pool.h"
82 #include "asan.h"
83 #include "tsan.h"
84 #include "tree-ssa-alias.h"
85 #include "internal-fn.h"
86 #include "gimple-expr.h"
87 #include "gimple.h"
88 #include "plugin.h"
89 #include "diagnostic-color.h"
90 #include "context.h"
91 #include "pass_manager.h"
92 #include "auto-profile.h"
93 #include "dwarf2out.h"
94 #include "bitmap.h"
95 #include "ipa-reference.h"
96 #include "ipa-prop.h"
97 #include "gcse.h"
98 #include "optabs.h"
99 #include "omp-low.h"
101 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
102 #include "dbxout.h"
103 #endif
105 #ifdef SDB_DEBUGGING_INFO
106 #include "sdbout.h"
107 #endif
109 #ifdef XCOFF_DEBUGGING_INFO
110 #include "xcoffout.h" /* Needed for external data
111 declarations for e.g. AIX 4.x. */
112 #endif
114 #include <new>
116 static void general_init (const char *);
117 static void do_compile ();
118 static void process_options (void);
119 static void backend_init (void);
120 static int lang_dependent_init (const char *);
121 static void init_asm_output (const char *);
122 static void finalize (bool);
124 static void crash_signal (int) ATTRIBUTE_NORETURN;
125 static void compile_file (void);
127 /* True if we don't need a backend (e.g. preprocessing only). */
128 static bool no_backend;
130 /* Length of line when printing switch values. */
131 #define MAX_LINE 75
133 /* Decoded options, and number of such options. */
134 struct cl_decoded_option *save_decoded_options;
135 unsigned int save_decoded_options_count;
137 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
138 to optimize in process_options (). */
139 #define AUTODETECT_VALUE 2
141 /* Debug hooks - dependent upon command line options. */
143 const struct gcc_debug_hooks *debug_hooks;
145 /* The FUNCTION_DECL for the function currently being compiled,
146 or 0 if between functions. */
147 tree current_function_decl;
149 /* Set to the FUNC_BEGIN label of the current function, or NULL
150 if none. */
151 const char * current_function_func_begin_label;
153 /* A random sequence of characters, unless overridden by user. */
154 static const char *flag_random_seed;
156 /* A local time stamp derived from the time of compilation. It will be
157 zero if the system cannot provide a time. It will be -1u, if the
158 user has specified a particular random seed. */
159 unsigned local_tick;
161 /* Random number for this compilation */
162 HOST_WIDE_INT random_seed;
164 /* -f flags. */
166 /* When non-NULL, indicates that whenever space is allocated on the
167 stack, the resulting stack pointer must not pass this
168 address---that is, for stacks that grow downward, the stack pointer
169 must always be greater than or equal to this address; for stacks
170 that grow upward, the stack pointer must be less than this address.
171 At present, the rtx may be either a REG or a SYMBOL_REF, although
172 the support provided depends on the backend. */
173 rtx stack_limit_rtx;
175 /* True if the user has tagged the function with the 'section'
176 attribute. */
178 bool user_defined_section_attribute = false;
180 struct target_flag_state default_target_flag_state;
181 #if SWITCHABLE_TARGET
182 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
183 #else
184 #define this_target_flag_state (&default_target_flag_state)
185 #endif
187 /* The user symbol prefix after having resolved same. */
188 const char *user_label_prefix;
190 /* Output files for assembler code (real compiler output)
191 and debugging dumps. */
193 FILE *asm_out_file;
194 FILE *aux_info_file;
195 FILE *stack_usage_file = NULL;
197 /* The current working directory of a translation. It's generally the
198 directory from which compilation was initiated, but a preprocessed
199 file may specify the original directory in which it was
200 created. */
202 static const char *src_pwd;
204 /* Initialize src_pwd with the given string, and return true. If it
205 was already initialized, return false. As a special case, it may
206 be called with a NULL argument to test whether src_pwd has NOT been
207 initialized yet. */
209 bool
210 set_src_pwd (const char *pwd)
212 if (src_pwd)
214 if (strcmp (src_pwd, pwd) == 0)
215 return true;
216 else
217 return false;
220 src_pwd = xstrdup (pwd);
221 return true;
224 /* Return the directory from which the translation unit was initiated,
225 in case set_src_pwd() was not called before to assign it a
226 different value. */
228 const char *
229 get_src_pwd (void)
231 if (! src_pwd)
233 src_pwd = getpwd ();
234 if (!src_pwd)
235 src_pwd = ".";
238 return src_pwd;
241 /* Called when the start of a function definition is parsed,
242 this function prints on stderr the name of the function. */
243 void
244 announce_function (tree decl)
246 if (!quiet_flag)
248 if (rtl_dump_and_exit)
249 fprintf (stderr, "%s ",
250 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
251 else
252 fprintf (stderr, " %s",
253 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
254 fflush (stderr);
255 pp_needs_newline (global_dc->printer) = true;
256 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
260 /* Initialize local_tick with a random number or -1 if
261 flag_random_seed is set. */
263 static void
264 init_local_tick (void)
266 if (!flag_random_seed)
268 /* Try urandom first. Time of day is too likely to collide.
269 In case of any error we just use the local tick. */
271 int fd = open ("/dev/urandom", O_RDONLY);
272 if (fd >= 0)
274 read (fd, &random_seed, sizeof (random_seed));
275 close (fd);
278 /* Now get the tick anyways */
279 #ifdef HAVE_GETTIMEOFDAY
281 struct timeval tv;
283 gettimeofday (&tv, NULL);
284 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
286 #else
288 time_t now = time (NULL);
290 if (now != (time_t)-1)
291 local_tick = (unsigned) now;
293 #endif
295 else
296 local_tick = -1;
299 /* Set up a default flag_random_seed and local_tick, unless the user
300 already specified one. Must be called after init_local_tick. */
302 static void
303 init_random_seed (void)
305 if (!random_seed)
306 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
309 /* Obtain the random_seed. Unless NOINIT, initialize it if
310 it's not provided in the command line. */
312 HOST_WIDE_INT
313 get_random_seed (bool noinit)
315 if (!flag_random_seed && !noinit)
316 init_random_seed ();
317 return random_seed;
320 /* Modify the random_seed string to VAL. Return its previous
321 value. */
323 const char *
324 set_random_seed (const char *val)
326 const char *old = flag_random_seed;
327 flag_random_seed = val;
328 if (flag_random_seed)
330 char *endp;
332 /* When the driver passed in a hex number don't crc it again */
333 random_seed = strtoul (flag_random_seed, &endp, 0);
334 if (!(endp > flag_random_seed && *endp == 0))
335 random_seed = crc32_string (0, flag_random_seed);
337 return old;
340 /* Handler for fatal signals, such as SIGSEGV. These are transformed
341 into ICE messages, which is much more user friendly. In case the
342 error printer crashes, reset the signal to prevent infinite recursion. */
344 static void
345 crash_signal (int signo)
347 signal (signo, SIG_DFL);
349 /* If we crashed while processing an ASM statement, then be a little more
350 graceful. It's most likely the user's fault. */
351 if (this_is_asm_operands)
353 output_operand_lossage ("unrecoverable error");
354 exit (FATAL_EXIT_CODE);
357 internal_error ("%s", strsignal (signo));
360 /* A subroutine of wrapup_global_declarations. We've come to the end of
361 the compilation unit. All deferred variables should be undeferred,
362 and all incomplete decls should be finalized. */
364 void
365 wrapup_global_declaration_1 (tree decl)
367 /* We're not deferring this any longer. Assignment is conditional to
368 avoid needlessly dirtying PCH pages. */
369 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
370 && DECL_DEFER_OUTPUT (decl) != 0)
371 DECL_DEFER_OUTPUT (decl) = 0;
373 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
374 lang_hooks.finish_incomplete_decl (decl);
377 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
378 needs to be output. Return true if it is output. */
380 bool
381 wrapup_global_declaration_2 (tree decl)
383 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
384 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
385 return false;
387 /* Don't write out static consts, unless we still need them.
389 We also keep static consts if not optimizing (for debugging),
390 unless the user specified -fno-keep-static-consts.
391 ??? They might be better written into the debug information.
392 This is possible when using DWARF.
394 A language processor that wants static constants to be always
395 written out (even if it is not used) is responsible for
396 calling rest_of_decl_compilation itself. E.g. the C front-end
397 calls rest_of_decl_compilation from finish_decl.
398 One motivation for this is that is conventional in some
399 environments to write things like:
400 static const char rcsid[] = "... version string ...";
401 intending to force the string to be in the executable.
403 A language processor that would prefer to have unneeded
404 static constants "optimized away" would just defer writing
405 them out until here. E.g. C++ does this, because static
406 constants are often defined in header files.
408 ??? A tempting alternative (for both C and C++) would be
409 to force a constant to be written if and only if it is
410 defined in a main file, as opposed to an include file. */
412 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
414 varpool_node *node;
415 bool needed = true;
416 node = varpool_node::get (decl);
418 if (!node && flag_ltrans)
419 needed = false;
420 else if (node && node->definition)
421 needed = false;
422 else if (node && node->alias)
423 needed = false;
424 else if (!symtab->global_info_ready
425 && (TREE_USED (decl)
426 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
427 /* needed */;
428 else if (node && node->analyzed)
429 /* needed */;
430 else if (DECL_COMDAT (decl))
431 needed = false;
432 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
433 && (optimize || !flag_keep_static_consts
434 || DECL_ARTIFICIAL (decl)))
435 needed = false;
437 if (needed)
439 rest_of_decl_compilation (decl, 1, 1);
440 return true;
444 return false;
447 /* Do any final processing required for the declarations in VEC, of
448 which there are LEN. We write out inline functions and variables
449 that have been deferred until this point, but which are required.
450 Returns nonzero if anything was put out. */
452 bool
453 wrapup_global_declarations (tree *vec, int len)
455 bool reconsider, output_something = false;
456 int i;
458 for (i = 0; i < len; i++)
459 wrapup_global_declaration_1 (vec[i]);
461 /* Now emit any global variables or functions that we have been
462 putting off. We need to loop in case one of the things emitted
463 here references another one which comes earlier in the list. */
466 reconsider = false;
467 for (i = 0; i < len; i++)
468 reconsider |= wrapup_global_declaration_2 (vec[i]);
469 if (reconsider)
470 output_something = true;
472 while (reconsider);
474 return output_something;
477 /* A subroutine of check_global_declarations. Issue appropriate warnings
478 for the global declaration DECL. */
480 void
481 check_global_declaration_1 (tree decl)
483 /* Warn about any function declared static but not defined. We don't
484 warn about variables, because many programs have static variables
485 that exist only to get some text into the object file. */
486 if (TREE_CODE (decl) == FUNCTION_DECL
487 && DECL_INITIAL (decl) == 0
488 && DECL_EXTERNAL (decl)
489 && ! DECL_ARTIFICIAL (decl)
490 && ! TREE_NO_WARNING (decl)
491 && ! TREE_PUBLIC (decl)
492 && (warn_unused_function
493 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
495 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
496 pedwarn (input_location, 0, "%q+F used but never defined", decl);
497 else
498 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
499 /* This symbol is effectively an "extern" declaration now. */
500 TREE_PUBLIC (decl) = 1;
503 /* Warn about static fns or vars defined but not used. */
504 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
505 /* We don't warn about "static const" variables because the
506 "rcs_id" idiom uses that construction. */
507 || (warn_unused_variable
508 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
509 && ! DECL_IN_SYSTEM_HEADER (decl)
510 && ! TREE_USED (decl)
511 /* The TREE_USED bit for file-scope decls is kept in the identifier,
512 to handle multiple external decls in different scopes. */
513 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
514 && ! DECL_EXTERNAL (decl)
515 && ! TREE_PUBLIC (decl)
516 /* A volatile variable might be used in some non-obvious way. */
517 && ! TREE_THIS_VOLATILE (decl)
518 /* Global register variables must be declared to reserve them. */
519 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
520 /* Otherwise, ask the language. */
521 && lang_hooks.decls.warn_unused_global (decl))
522 warning ((TREE_CODE (decl) == FUNCTION_DECL)
523 ? OPT_Wunused_function
524 : OPT_Wunused_variable,
525 "%q+D defined but not used", decl);
528 /* Issue appropriate warnings for the global declarations in V (of
529 which there are LEN). */
531 void
532 check_global_declarations (tree *v, int len)
534 int i;
536 for (i = 0; i < len; i++)
537 check_global_declaration_1 (v[i]);
540 /* Emit debugging information for all global declarations in VEC. */
542 void
543 emit_debug_global_declarations (tree *vec, int len)
545 int i;
547 /* Avoid confusing the debug information machinery when there are errors. */
548 if (seen_error ())
549 return;
551 timevar_push (TV_SYMOUT);
552 for (i = 0; i < len; i++)
553 debug_hooks->global_decl (vec[i]);
554 timevar_pop (TV_SYMOUT);
557 /* Compile an entire translation unit. Write a file of assembly
558 output and various debugging dumps. */
560 static void
561 compile_file (void)
563 timevar_start (TV_PHASE_PARSING);
564 timevar_push (TV_PARSE_GLOBAL);
566 /* Call the parser, which parses the entire file (calling
567 rest_of_compilation for each function). */
568 lang_hooks.parse_file ();
570 timevar_pop (TV_PARSE_GLOBAL);
571 timevar_stop (TV_PHASE_PARSING);
573 /* Compilation is now finished except for writing
574 what's left of the symbol table output. */
576 if (flag_syntax_only || flag_wpa)
577 return;
579 ggc_protect_identifiers = false;
581 /* This must also call finalize_compilation_unit. */
582 lang_hooks.decls.final_write_globals ();
584 if (seen_error ())
585 return;
587 timevar_start (TV_PHASE_LATE_ASM);
589 /* Compilation unit is finalized. When producing non-fat LTO object, we are
590 basically finished. */
591 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
593 /* File-scope initialization for AddressSanitizer. */
594 if (flag_sanitize & SANITIZE_ADDRESS)
595 asan_finish_file ();
597 if (flag_sanitize & SANITIZE_THREAD)
598 tsan_finish_file ();
600 omp_finish_file ();
602 output_shared_constant_pool ();
603 output_object_blocks ();
604 finish_tm_clone_pairs ();
606 /* Write out any pending weak symbol declarations. */
607 weak_finish ();
609 /* This must be at the end before unwind and debug info.
610 Some target ports emit PIC setup thunks here. */
611 targetm.asm_out.code_end ();
613 /* Do dbx symbols. */
614 timevar_push (TV_SYMOUT);
616 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
617 if (dwarf2out_do_frame ())
618 dwarf2out_frame_finish ();
619 #endif
621 (*debug_hooks->finish) (main_input_filename);
622 timevar_pop (TV_SYMOUT);
624 /* Output some stuff at end of file if nec. */
626 dw2_output_indirect_constants ();
628 /* Flush any pending external directives. */
629 process_pending_assemble_externals ();
632 /* Emit LTO marker if LTO info has been previously emitted. This is
633 used by collect2 to determine whether an object file contains IL.
634 We used to emit an undefined reference here, but this produces
635 link errors if an object file with IL is stored into a shared
636 library without invoking lto1. */
637 if (flag_generate_lto)
639 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
640 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
641 "__gnu_lto_v1",
642 (unsigned HOST_WIDE_INT) 1, 8);
643 #elif defined ASM_OUTPUT_ALIGNED_COMMON
644 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
645 (unsigned HOST_WIDE_INT) 1, 8);
646 #else
647 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
648 (unsigned HOST_WIDE_INT) 1,
649 (unsigned HOST_WIDE_INT) 1);
650 #endif
651 /* Let linker plugin know that this is a slim object and must be LTOed
652 even when user did not ask for it. */
653 if (!flag_fat_lto_objects)
655 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
656 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
657 "__gnu_lto_slim",
658 (unsigned HOST_WIDE_INT) 1, 8);
659 #elif defined ASM_OUTPUT_ALIGNED_COMMON
660 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
661 (unsigned HOST_WIDE_INT) 1, 8);
662 #else
663 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
664 (unsigned HOST_WIDE_INT) 1,
665 (unsigned HOST_WIDE_INT) 1);
666 #endif
670 /* Attach a special .ident directive to the end of the file to identify
671 the version of GCC which compiled this code. The format of the .ident
672 string is patterned after the ones produced by native SVR4 compilers. */
673 if (!flag_no_ident)
675 const char *pkg_version = "(GNU) ";
676 char *ident_str;
678 if (strcmp ("(GCC) ", pkgversion_string))
679 pkg_version = pkgversion_string;
681 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
682 targetm.asm_out.output_ident (ident_str);
685 /* Auto profile finalization. */
686 if (flag_auto_profile)
687 end_auto_profile ();
689 /* Invoke registered plugin callbacks. */
690 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
692 /* This must be at the end. Some target ports emit end of file directives
693 into the assembly file here, and hence we can not output anything to the
694 assembly file after this point. */
695 targetm.asm_out.file_end ();
697 timevar_stop (TV_PHASE_LATE_ASM);
700 /* Print version information to FILE.
701 Each line begins with INDENT (for the case where FILE is the
702 assembler output file). */
704 void
705 print_version (FILE *file, const char *indent)
707 static const char fmt1[] =
708 #ifdef __GNUC__
709 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
710 #else
711 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
712 #endif
714 static const char fmt2[] =
715 N_("GMP version %s, MPFR version %s, MPC version %s\n");
716 static const char fmt3[] =
717 N_("%s%swarning: %s header version %s differs from library version %s.\n");
718 static const char fmt4[] =
719 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
720 #ifndef __VERSION__
721 #define __VERSION__ "[?]"
722 #endif
723 fprintf (file,
724 file == stderr ? _(fmt1) : fmt1,
725 indent, *indent != 0 ? " " : "",
726 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
727 indent, __VERSION__);
729 /* We need to stringify the GMP macro values. Ugh, gmp_version has
730 two string formats, "i.j.k" and "i.j" when k is zero. As of
731 gmp-4.3.0, GMP always uses the 3 number format. */
732 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
733 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
734 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
735 #define GCC_GMP_VERSION \
736 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
737 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
738 #define GCC_GMP_STRINGIFY_VERSION \
739 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
740 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
741 #else
742 #define GCC_GMP_STRINGIFY_VERSION \
743 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
744 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
745 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
746 #endif
747 fprintf (file,
748 file == stderr ? _(fmt2) : fmt2,
749 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
750 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
751 fprintf (file,
752 file == stderr ? _(fmt3) : fmt3,
753 indent, *indent != 0 ? " " : "",
754 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
755 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
756 fprintf (file,
757 file == stderr ? _(fmt3) : fmt3,
758 indent, *indent != 0 ? " " : "",
759 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
760 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
761 fprintf (file,
762 file == stderr ? _(fmt3) : fmt3,
763 indent, *indent != 0 ? " " : "",
764 "MPC", MPC_VERSION_STRING, mpc_get_version ());
765 fprintf (file,
766 file == stderr ? _(fmt4) : fmt4,
767 indent, *indent != 0 ? " " : "",
768 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
770 print_plugins_versions (file, indent);
773 static int
774 print_to_asm_out_file (print_switch_type type, const char * text)
776 bool prepend_sep = true;
778 switch (type)
780 case SWITCH_TYPE_LINE_END:
781 putc ('\n', asm_out_file);
782 return 1;
784 case SWITCH_TYPE_LINE_START:
785 fputs (ASM_COMMENT_START, asm_out_file);
786 return strlen (ASM_COMMENT_START);
788 case SWITCH_TYPE_DESCRIPTIVE:
789 if (ASM_COMMENT_START[0] == 0)
790 prepend_sep = false;
791 /* Drop through. */
792 case SWITCH_TYPE_PASSED:
793 case SWITCH_TYPE_ENABLED:
794 if (prepend_sep)
795 fputc (' ', asm_out_file);
796 fputs (text, asm_out_file);
797 /* No need to return the length here as
798 print_single_switch has already done it. */
799 return 0;
801 default:
802 return -1;
806 static int
807 print_to_stderr (print_switch_type type, const char * text)
809 switch (type)
811 case SWITCH_TYPE_LINE_END:
812 putc ('\n', stderr);
813 return 1;
815 case SWITCH_TYPE_LINE_START:
816 return 0;
818 case SWITCH_TYPE_PASSED:
819 case SWITCH_TYPE_ENABLED:
820 fputc (' ', stderr);
821 /* Drop through. */
823 case SWITCH_TYPE_DESCRIPTIVE:
824 fputs (text, stderr);
825 /* No need to return the length here as
826 print_single_switch has already done it. */
827 return 0;
829 default:
830 return -1;
834 /* Print an option value and return the adjusted position in the line.
835 ??? print_fn doesn't handle errors, eg disk full; presumably other
836 code will catch a disk full though. */
838 static int
839 print_single_switch (print_switch_fn_type print_fn,
840 int pos,
841 print_switch_type type,
842 const char * text)
844 /* The ultrix fprintf returns 0 on success, so compute the result
845 we want here since we need it for the following test. The +1
846 is for the separator character that will probably be emitted. */
847 int len = strlen (text) + 1;
849 if (pos != 0
850 && pos + len > MAX_LINE)
852 print_fn (SWITCH_TYPE_LINE_END, NULL);
853 pos = 0;
856 if (pos == 0)
857 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
859 print_fn (type, text);
860 return pos + len;
863 /* Print active target switches using PRINT_FN.
864 POS is the current cursor position and MAX is the size of a "line".
865 Each line begins with INDENT and ends with TERM.
866 Each switch is separated from the next by SEP. */
868 static void
869 print_switch_values (print_switch_fn_type print_fn)
871 int pos = 0;
872 size_t j;
874 /* Fill in the -frandom-seed option, if the user didn't pass it, so
875 that it can be printed below. This helps reproducibility. */
876 if (!flag_random_seed)
877 init_random_seed ();
879 /* Print the options as passed. */
880 pos = print_single_switch (print_fn, pos,
881 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
883 for (j = 1; j < save_decoded_options_count; j++)
885 switch (save_decoded_options[j].opt_index)
887 case OPT_o:
888 case OPT_d:
889 case OPT_dumpbase:
890 case OPT_dumpdir:
891 case OPT_auxbase:
892 case OPT_quiet:
893 case OPT_version:
894 /* Ignore these. */
895 continue;
898 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
899 save_decoded_options[j].orig_option_with_args_text);
902 if (pos > 0)
903 print_fn (SWITCH_TYPE_LINE_END, NULL);
905 /* Print the -f and -m options that have been enabled.
906 We don't handle language specific options but printing argv
907 should suffice. */
908 pos = print_single_switch (print_fn, 0,
909 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
911 for (j = 0; j < cl_options_count; j++)
912 if (cl_options[j].cl_report
913 && option_enabled (j, &global_options) > 0)
914 pos = print_single_switch (print_fn, pos,
915 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
917 print_fn (SWITCH_TYPE_LINE_END, NULL);
920 /* Open assembly code output file. Do this even if -fsyntax-only is
921 on, because then the driver will have provided the name of a
922 temporary file or bit bucket for us. NAME is the file specified on
923 the command line, possibly NULL. */
924 static void
925 init_asm_output (const char *name)
927 if (name == NULL && asm_file_name == 0)
928 asm_out_file = stdout;
929 else
931 if (asm_file_name == 0)
933 int len = strlen (dump_base_name);
934 char *dumpname = XNEWVEC (char, len + 6);
936 memcpy (dumpname, dump_base_name, len + 1);
937 strip_off_ending (dumpname, len);
938 strcat (dumpname, ".s");
939 asm_file_name = dumpname;
941 if (!strcmp (asm_file_name, "-"))
942 asm_out_file = stdout;
943 else
944 asm_out_file = fopen (asm_file_name, "w");
945 if (asm_out_file == 0)
946 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
949 if (!flag_syntax_only)
951 targetm.asm_out.file_start ();
953 if (flag_record_gcc_switches)
955 if (targetm.asm_out.record_gcc_switches)
957 /* Let the target know that we are about to start recording. */
958 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
959 NULL);
960 /* Now record the switches. */
961 print_switch_values (targetm.asm_out.record_gcc_switches);
962 /* Let the target know that the recording is over. */
963 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
964 NULL);
966 else
967 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
970 if (flag_verbose_asm)
972 /* Print the list of switches in effect
973 into the assembler file as comments. */
974 print_version (asm_out_file, ASM_COMMENT_START);
975 print_switch_values (print_to_asm_out_file);
976 putc ('\n', asm_out_file);
981 /* A helper function; used as the reallocator function for cpp's line
982 table. */
983 static void *
984 realloc_for_line_map (void *ptr, size_t len)
986 return ggc_realloc (ptr, len);
989 /* A helper function: used as the allocator function for
990 identifier_to_locale. */
991 static void *
992 alloc_for_identifier_to_locale (size_t len)
994 return ggc_alloc_atomic (len);
997 /* Output stack usage information. */
998 void
999 output_stack_usage (void)
1001 static bool warning_issued = false;
1002 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1003 const char *stack_usage_kind_str[] = {
1004 "static",
1005 "dynamic",
1006 "dynamic,bounded"
1008 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1009 enum stack_usage_kind_type stack_usage_kind;
1011 if (stack_usage < 0)
1013 if (!warning_issued)
1015 warning (0, "stack usage computation not supported for this target");
1016 warning_issued = true;
1018 return;
1021 stack_usage_kind = STATIC;
1023 /* Add the maximum amount of space pushed onto the stack. */
1024 if (current_function_pushed_stack_size > 0)
1026 stack_usage += current_function_pushed_stack_size;
1027 stack_usage_kind = DYNAMIC_BOUNDED;
1030 /* Now on to the tricky part: dynamic stack allocation. */
1031 if (current_function_allocates_dynamic_stack_space)
1033 if (current_function_has_unbounded_dynamic_stack_size)
1034 stack_usage_kind = DYNAMIC;
1035 else
1036 stack_usage_kind = DYNAMIC_BOUNDED;
1038 /* Add the size even in the unbounded case, this can't hurt. */
1039 stack_usage += current_function_dynamic_stack_size;
1042 if (flag_stack_usage)
1044 expanded_location loc
1045 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1046 /* We don't want to print the full qualified name because it can be long,
1047 so we strip the scope prefix, but we may need to deal with the suffix
1048 created by the compiler. */
1049 const char *suffix
1050 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1051 const char *name
1052 = lang_hooks.decl_printable_name (current_function_decl, 2);
1053 if (suffix)
1055 const char *dot = strchr (name, '.');
1056 while (dot && strcasecmp (dot, suffix) != 0)
1058 name = dot + 1;
1059 dot = strchr (name, '.');
1062 else
1064 const char *dot = strrchr (name, '.');
1065 if (dot)
1066 name = dot + 1;
1069 fprintf (stack_usage_file,
1070 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1071 lbasename (loc.file),
1072 loc.line,
1073 loc.column,
1074 name,
1075 stack_usage,
1076 stack_usage_kind_str[stack_usage_kind]);
1079 if (warn_stack_usage >= 0)
1081 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1083 if (stack_usage_kind == DYNAMIC)
1084 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1085 else if (stack_usage > warn_stack_usage)
1087 if (stack_usage_kind == DYNAMIC_BOUNDED)
1088 warning_at (loc,
1089 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1090 stack_usage);
1091 else
1092 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1093 stack_usage);
1098 /* Open an auxiliary output file. */
1099 static FILE *
1100 open_auxiliary_file (const char *ext)
1102 char *filename;
1103 FILE *file;
1105 filename = concat (aux_base_name, ".", ext, NULL);
1106 file = fopen (filename, "w");
1107 if (!file)
1108 fatal_error ("can%'t open %s for writing: %m", filename);
1109 free (filename);
1110 return file;
1113 /* Initialization of the front end environment, before command line
1114 options are parsed. Signal handlers, internationalization etc.
1115 ARGV0 is main's argv[0]. */
1116 static void
1117 general_init (const char *argv0)
1119 const char *p;
1121 p = argv0 + strlen (argv0);
1122 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1123 --p;
1124 progname = p;
1126 xmalloc_set_program_name (progname);
1128 hex_init ();
1130 /* Unlock the stdio streams. */
1131 unlock_std_streams ();
1133 gcc_init_libintl ();
1135 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1136 identifier_to_locale_free = ggc_free;
1138 /* Initialize the diagnostics reporting machinery, so option parsing
1139 can give warnings and errors. */
1140 diagnostic_initialize (global_dc, N_OPTS);
1141 /* Set a default printer. Language specific initializations will
1142 override it later. */
1143 tree_diagnostics_defaults (global_dc);
1145 global_dc->show_caret
1146 = global_options_init.x_flag_diagnostics_show_caret;
1147 global_dc->show_option_requested
1148 = global_options_init.x_flag_diagnostics_show_option;
1149 global_dc->show_column
1150 = global_options_init.x_flag_show_column;
1151 global_dc->internal_error = plugins_internal_error_function;
1152 global_dc->option_enabled = option_enabled;
1153 global_dc->option_state = &global_options;
1154 global_dc->option_name = option_name;
1156 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1157 #ifdef SIGSEGV
1158 signal (SIGSEGV, crash_signal);
1159 #endif
1160 #ifdef SIGILL
1161 signal (SIGILL, crash_signal);
1162 #endif
1163 #ifdef SIGBUS
1164 signal (SIGBUS, crash_signal);
1165 #endif
1166 #ifdef SIGABRT
1167 signal (SIGABRT, crash_signal);
1168 #endif
1169 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1170 signal (SIGIOT, crash_signal);
1171 #endif
1172 #ifdef SIGFPE
1173 signal (SIGFPE, crash_signal);
1174 #endif
1176 /* Other host-specific signal setup. */
1177 (*host_hooks.extra_signals)();
1179 /* Initialize the garbage-collector, string pools and tree type hash
1180 table. */
1181 init_ggc ();
1182 init_stringpool ();
1183 input_location = UNKNOWN_LOCATION;
1184 line_table = ggc_alloc<line_maps> ();
1185 linemap_init (line_table, BUILTINS_LOCATION);
1186 line_table->reallocator = realloc_for_line_map;
1187 line_table->round_alloc_size = ggc_round_alloc_size;
1188 init_ttree ();
1190 /* Initialize register usage now so switches may override. */
1191 init_reg_sets ();
1193 /* Register the language-independent parameters. */
1194 global_init_params ();
1196 /* This must be done after global_init_params but before argument
1197 processing. */
1198 init_ggc_heuristics ();
1200 /* Create the singleton holder for global state.
1201 Doing so also creates the pass manager and with it the passes. */
1202 g = new gcc::context ();
1203 symtab = ggc_cleared_alloc <symbol_table> ();
1205 statistics_early_init ();
1206 finish_params ();
1209 /* Return true if the current target supports -fsection-anchors. */
1211 static bool
1212 target_supports_section_anchors_p (void)
1214 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1215 return false;
1217 if (targetm.asm_out.output_anchor == NULL)
1218 return false;
1220 return true;
1223 /* Default the align_* variables to 1 if they're still unset, and
1224 set up the align_*_log variables. */
1225 static void
1226 init_alignments (void)
1228 if (align_loops <= 0)
1229 align_loops = 1;
1230 if (align_loops_max_skip > align_loops)
1231 align_loops_max_skip = align_loops - 1;
1232 align_loops_log = floor_log2 (align_loops * 2 - 1);
1233 if (align_jumps <= 0)
1234 align_jumps = 1;
1235 if (align_jumps_max_skip > align_jumps)
1236 align_jumps_max_skip = align_jumps - 1;
1237 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1238 if (align_labels <= 0)
1239 align_labels = 1;
1240 align_labels_log = floor_log2 (align_labels * 2 - 1);
1241 if (align_labels_max_skip > align_labels)
1242 align_labels_max_skip = align_labels - 1;
1243 if (align_functions <= 0)
1244 align_functions = 1;
1245 align_functions_log = floor_log2 (align_functions * 2 - 1);
1248 /* Process the options that have been parsed. */
1249 static void
1250 process_options (void)
1252 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1253 This can happen with incorrect pre-processed input. */
1254 debug_hooks = &do_nothing_debug_hooks;
1256 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1258 /* Default to -fdiagnostics-color=auto if GCC_COLORS is in the environment,
1259 otherwise default to -fdiagnostics-color=never. */
1260 if (!global_options_set.x_flag_diagnostics_show_color
1261 && getenv ("GCC_COLORS"))
1262 pp_show_color (global_dc->printer)
1263 = colorize_init (DIAGNOSTICS_COLOR_AUTO);
1265 /* Allow the front end to perform consistency checks and do further
1266 initialization based on the command line options. This hook also
1267 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1268 so we can correctly initialize debug output. */
1269 no_backend = lang_hooks.post_options (&main_input_filename);
1271 /* Some machines may reject certain combinations of options. */
1272 targetm.target_option.override ();
1274 /* Avoid any informative notes in the second run of -fcompare-debug. */
1275 if (flag_compare_debug)
1276 diagnostic_inhibit_notes (global_dc);
1278 if (flag_section_anchors && !target_supports_section_anchors_p ())
1280 warning (OPT_fsection_anchors,
1281 "this target does not support %qs", "-fsection-anchors");
1282 flag_section_anchors = 0;
1285 if (flag_short_enums == 2)
1286 flag_short_enums = targetm.default_short_enums ();
1288 /* Set aux_base_name if not already set. */
1289 if (aux_base_name)
1291 else if (main_input_filename)
1293 char *name = xstrdup (lbasename (main_input_filename));
1295 strip_off_ending (name, strlen (name));
1296 aux_base_name = name;
1298 else
1299 aux_base_name = "gccaux";
1301 #ifndef HAVE_isl
1302 if (flag_graphite
1303 || flag_graphite_identity
1304 || flag_loop_block
1305 || flag_loop_interchange
1306 || flag_loop_strip_mine
1307 || flag_loop_parallelize_all)
1308 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1309 "(-fgraphite, -fgraphite-identity, -floop-block, "
1310 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1311 "and -ftree-loop-linear)");
1312 #endif
1314 /* One region RA really helps to decrease the code size. */
1315 if (flag_ira_region == IRA_REGION_AUTODETECT)
1316 flag_ira_region
1317 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1319 if (!abi_version_at_least (2))
1321 /* -fabi-version=1 support was removed after GCC 4.9. */
1322 error ("%<-fabi-version=1%> is no longer supported");
1323 flag_abi_version = 2;
1326 /* Unrolling all loops implies that standard loop unrolling must also
1327 be done. */
1328 if (flag_unroll_all_loops)
1329 flag_unroll_loops = 1;
1331 /* web and rename-registers help when run after loop unrolling. */
1332 if (flag_web == AUTODETECT_VALUE)
1333 flag_web = flag_unroll_loops || flag_peel_loops;
1335 if (flag_rename_registers == AUTODETECT_VALUE)
1336 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1338 if (flag_non_call_exceptions)
1339 flag_asynchronous_unwind_tables = 1;
1340 if (flag_asynchronous_unwind_tables)
1341 flag_unwind_tables = 1;
1343 if (flag_value_profile_transformations)
1344 flag_profile_values = 1;
1346 /* Warn about options that are not supported on this machine. */
1347 #ifndef INSN_SCHEDULING
1348 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1349 warning (0, "instruction scheduling not supported on this target machine");
1350 #endif
1351 #ifndef DELAY_SLOTS
1352 if (flag_delayed_branch)
1353 warning (0, "this target machine does not have delayed branches");
1354 #endif
1356 user_label_prefix = USER_LABEL_PREFIX;
1357 if (flag_leading_underscore != -1)
1359 /* If the default prefix is more complicated than "" or "_",
1360 issue a warning and ignore this option. */
1361 if (user_label_prefix[0] == 0 ||
1362 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1364 user_label_prefix = flag_leading_underscore ? "_" : "";
1366 else
1367 warning (0, "-f%sleading-underscore not supported on this target machine",
1368 flag_leading_underscore ? "" : "no-");
1371 /* If we are in verbose mode, write out the version and maybe all the
1372 option flags in use. */
1373 if (version_flag)
1375 print_version (stderr, "");
1376 if (! quiet_flag)
1377 print_switch_values (print_to_stderr);
1380 if (flag_syntax_only)
1382 write_symbols = NO_DEBUG;
1383 profile_flag = 0;
1386 if (flag_gtoggle)
1388 if (debug_info_level == DINFO_LEVEL_NONE)
1390 debug_info_level = DINFO_LEVEL_NORMAL;
1392 if (write_symbols == NO_DEBUG)
1393 write_symbols = PREFERRED_DEBUGGING_TYPE;
1395 else
1396 debug_info_level = DINFO_LEVEL_NONE;
1399 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1401 FILE *final_output = fopen (flag_dump_final_insns, "w");
1402 if (!final_output)
1404 error ("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 ("could not close zeroed insn dump file %qs: %m",
1411 flag_dump_final_insns);
1412 flag_dump_final_insns = NULL;
1416 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1417 level is 0. */
1418 if (debug_info_level == DINFO_LEVEL_NONE)
1419 write_symbols = NO_DEBUG;
1421 if (write_symbols == NO_DEBUG)
1423 #if defined(DBX_DEBUGGING_INFO)
1424 else if (write_symbols == DBX_DEBUG)
1425 debug_hooks = &dbx_debug_hooks;
1426 #endif
1427 #if defined(XCOFF_DEBUGGING_INFO)
1428 else if (write_symbols == XCOFF_DEBUG)
1429 debug_hooks = &xcoff_debug_hooks;
1430 #endif
1431 #ifdef SDB_DEBUGGING_INFO
1432 else if (write_symbols == SDB_DEBUG)
1433 debug_hooks = &sdb_debug_hooks;
1434 #endif
1435 #ifdef DWARF2_DEBUGGING_INFO
1436 else if (write_symbols == DWARF2_DEBUG)
1437 debug_hooks = &dwarf2_debug_hooks;
1438 #endif
1439 #ifdef VMS_DEBUGGING_INFO
1440 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1441 debug_hooks = &vmsdbg_debug_hooks;
1442 #endif
1443 else
1444 error ("target system does not support the \"%s\" debug format",
1445 debug_type_names[write_symbols]);
1447 /* We know which debug output will be used so we can set flag_var_tracking
1448 and flag_var_tracking_uninit if the user has not specified them. */
1449 if (debug_info_level < DINFO_LEVEL_NORMAL
1450 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1452 if (flag_var_tracking == 1
1453 || flag_var_tracking_uninit == 1)
1455 if (debug_info_level < DINFO_LEVEL_NORMAL)
1456 warning (0, "variable tracking requested, but useless unless "
1457 "producing debug info");
1458 else
1459 warning (0, "variable tracking requested, but not supported "
1460 "by this debug format");
1462 flag_var_tracking = 0;
1463 flag_var_tracking_uninit = 0;
1466 /* The debug hooks are used to implement -fdump-go-spec because it
1467 gives a simple and stable API for all the information we need to
1468 dump. */
1469 if (flag_dump_go_spec != NULL)
1470 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1472 /* If the user specifically requested variable tracking with tagging
1473 uninitialized variables, we need to turn on variable tracking.
1474 (We already determined above that variable tracking is feasible.) */
1475 if (flag_var_tracking_uninit == 1)
1476 flag_var_tracking = 1;
1478 if (flag_var_tracking == AUTODETECT_VALUE)
1479 flag_var_tracking = optimize >= 1;
1481 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1482 flag_var_tracking_uninit = flag_var_tracking;
1484 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1485 flag_var_tracking_assignments = flag_var_tracking
1486 && !(flag_selective_scheduling || flag_selective_scheduling2);
1488 if (flag_var_tracking_assignments_toggle)
1489 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1491 if (flag_var_tracking_assignments && !flag_var_tracking)
1492 flag_var_tracking = flag_var_tracking_assignments = -1;
1494 if (flag_var_tracking_assignments
1495 && (flag_selective_scheduling || flag_selective_scheduling2))
1496 warning (0, "var-tracking-assignments changes selective scheduling");
1498 if (flag_tree_cselim == AUTODETECT_VALUE)
1499 #ifdef HAVE_conditional_move
1500 flag_tree_cselim = 1;
1501 #else
1502 flag_tree_cselim = 0;
1503 #endif
1505 /* If auxiliary info generation is desired, open the output file.
1506 This goes in the same directory as the source file--unlike
1507 all the other output files. */
1508 if (flag_gen_aux_info)
1510 aux_info_file = fopen (aux_info_file_name, "w");
1511 if (aux_info_file == 0)
1512 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1515 if (!targetm_common.have_named_sections)
1517 if (flag_function_sections)
1519 warning (0, "-ffunction-sections not supported for this target");
1520 flag_function_sections = 0;
1522 if (flag_data_sections)
1524 warning (0, "-fdata-sections not supported for this target");
1525 flag_data_sections = 0;
1529 #ifndef HAVE_prefetch
1530 if (flag_prefetch_loop_arrays > 0)
1532 warning (0, "-fprefetch-loop-arrays not supported for this target");
1533 flag_prefetch_loop_arrays = 0;
1535 #else
1536 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1538 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1539 flag_prefetch_loop_arrays = 0;
1541 #endif
1543 /* This combination of options isn't handled for i386 targets and doesn't
1544 make much sense anyway, so don't allow it. */
1545 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1547 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1548 flag_prefetch_loop_arrays = 0;
1551 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1552 if (flag_signaling_nans)
1553 flag_trapping_math = 1;
1555 /* We cannot reassociate if we want traps or signed zeros. */
1556 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1558 warning (0, "-fassociative-math disabled; other options take precedence");
1559 flag_associative_math = 0;
1562 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1563 if (flag_cx_limited_range)
1564 flag_complex_method = 0;
1566 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1567 if (flag_cx_fortran_rules)
1568 flag_complex_method = 1;
1570 /* Targets must be able to place spill slots at lower addresses. If the
1571 target already uses a soft frame pointer, the transition is trivial. */
1572 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1574 warning (0, "-fstack-protector not supported for this target");
1575 flag_stack_protect = 0;
1577 if (!flag_stack_protect)
1578 warn_stack_protect = 0;
1580 /* Address Sanitizer needs porting to each target architecture. */
1582 if ((flag_sanitize & SANITIZE_ADDRESS)
1583 && !FRAME_GROWS_DOWNWARD)
1585 warning (0,
1586 "-fsanitize=address and -fsanitize=kernel-address "
1587 "are not supported for this target");
1588 flag_sanitize &= ~SANITIZE_ADDRESS;
1591 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1592 && targetm.asan_shadow_offset == NULL)
1594 warning (0, "-fsanitize=address not supported for this target");
1595 flag_sanitize &= ~SANITIZE_ADDRESS;
1598 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1599 have not been set. */
1600 if (!global_options_set.x_warnings_are_errors
1601 && warn_coverage_mismatch
1602 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1603 DK_UNSPECIFIED))
1604 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1605 DK_ERROR, UNKNOWN_LOCATION);
1607 /* Save the current optimization options. */
1608 optimization_default_node = build_optimization_node (&global_options);
1609 optimization_current_node = optimization_default_node;
1612 /* This function can be called multiple times to reinitialize the compiler
1613 back end when register classes or instruction sets have changed,
1614 before each function. */
1615 static void
1616 backend_init_target (void)
1618 /* Initialize alignment variables. */
1619 init_alignments ();
1621 /* This depends on stack_pointer_rtx. */
1622 init_fake_stack_mems ();
1624 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1625 mode-dependent. */
1626 init_alias_target ();
1628 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1629 init_reload ();
1631 /* Depends on the enabled attribute. */
1632 recog_init ();
1634 /* The following initialization functions need to generate rtl, so
1635 provide a dummy function context for them. */
1636 init_dummy_function_start ();
1638 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1639 on a mode change. */
1640 init_expmed ();
1641 init_lower_subreg ();
1642 init_set_costs ();
1644 init_expr_target ();
1645 ira_init ();
1647 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1648 after a mode change as well. */
1649 caller_save_initialized_p = false;
1651 expand_dummy_function_end ();
1654 /* Initialize the compiler back end. This function is called only once,
1655 when starting the compiler. */
1656 static void
1657 backend_init (void)
1659 init_emit_once ();
1661 init_rtlanal ();
1662 init_inline_once ();
1663 init_varasm_once ();
1664 save_register_info ();
1666 /* Middle end needs this initialization for default mem attributes
1667 used by early calls to make_decl_rtl. */
1668 init_emit_regs ();
1670 /* Middle end needs this initialization for mode tables used to assign
1671 modes to vector variables. */
1672 init_regs ();
1675 /* Initialize excess precision settings. */
1676 static void
1677 init_excess_precision (void)
1679 /* Adjust excess precision handling based on the target options. If
1680 the front end cannot handle it, flag_excess_precision_cmdline
1681 will already have been set accordingly in the post_options
1682 hook. */
1683 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1684 flag_excess_precision = flag_excess_precision_cmdline;
1685 if (flag_unsafe_math_optimizations)
1686 flag_excess_precision = EXCESS_PRECISION_FAST;
1687 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1689 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1690 switch (flt_eval_method)
1692 case -1:
1693 case 0:
1694 /* Either the target acts unpredictably (-1) or has all the
1695 operations required not to have excess precision (0). */
1696 flag_excess_precision = EXCESS_PRECISION_FAST;
1697 break;
1698 case 1:
1699 case 2:
1700 /* In these cases, predictable excess precision makes
1701 sense. */
1702 break;
1703 default:
1704 /* Any other implementation-defined FLT_EVAL_METHOD values
1705 require the compiler to handle the associated excess
1706 precision rules in excess_precision_type. */
1707 gcc_unreachable ();
1712 /* Initialize things that are both lang-dependent and target-dependent.
1713 This function can be called more than once if target parameters change. */
1714 static void
1715 lang_dependent_init_target (void)
1717 /* This determines excess precision settings. */
1718 init_excess_precision ();
1720 /* This creates various _DECL nodes, so needs to be called after the
1721 front end is initialized. It also depends on the HAVE_xxx macros
1722 generated from the target machine description. */
1723 init_optabs ();
1725 gcc_assert (!this_target_rtl->target_specific_initialized);
1728 /* Perform initializations that are lang-dependent or target-dependent.
1729 but matters only for late optimizations and RTL generation. */
1731 static int rtl_initialized;
1733 void
1734 initialize_rtl (void)
1736 /* Initialization done just once per compilation, but delayed
1737 till code generation. */
1738 if (!rtl_initialized)
1739 ira_init_once ();
1740 rtl_initialized = true;
1742 /* Target specific RTL backend initialization. */
1743 if (!this_target_rtl->target_specific_initialized)
1745 backend_init_target ();
1746 this_target_rtl->target_specific_initialized = true;
1750 /* Language-dependent initialization. Returns nonzero on success. */
1751 static int
1752 lang_dependent_init (const char *name)
1754 location_t save_loc = input_location;
1755 if (dump_base_name == 0)
1756 dump_base_name = name && name[0] ? name : "gccdump";
1758 /* Other front-end initialization. */
1759 input_location = BUILTINS_LOCATION;
1760 if (lang_hooks.init () == 0)
1761 return 0;
1762 input_location = save_loc;
1764 if (!flag_wpa)
1766 init_asm_output (name);
1768 /* If stack usage information is desired, open the output file. */
1769 if (flag_stack_usage)
1770 stack_usage_file = open_auxiliary_file ("su");
1773 /* This creates various _DECL nodes, so needs to be called after the
1774 front end is initialized. */
1775 init_eh ();
1777 /* Do the target-specific parts of the initialization. */
1778 lang_dependent_init_target ();
1780 if (!flag_wpa)
1782 /* If dbx symbol table desired, initialize writing it and output the
1783 predefined types. */
1784 timevar_push (TV_SYMOUT);
1786 /* Now we have the correct original filename, we can initialize
1787 debug output. */
1788 (*debug_hooks->init) (name);
1790 timevar_pop (TV_SYMOUT);
1793 return 1;
1797 /* Reinitialize everything when target parameters, such as register usage,
1798 have changed. */
1799 void
1800 target_reinit (void)
1802 struct rtl_data saved_x_rtl;
1803 rtx *saved_regno_reg_rtx;
1804 tree saved_optimization_current_node;
1805 struct target_optabs *saved_this_fn_optabs;
1807 /* Temporarily switch to the default optimization node, so that
1808 *this_target_optabs is set to the default, not reflecting
1809 whatever a previous function used for the optimize
1810 attribute. */
1811 saved_optimization_current_node = optimization_current_node;
1812 saved_this_fn_optabs = this_fn_optabs;
1813 if (saved_optimization_current_node != optimization_default_node)
1815 optimization_current_node = optimization_default_node;
1816 cl_optimization_restore
1817 (&global_options,
1818 TREE_OPTIMIZATION (optimization_default_node));
1820 this_fn_optabs = this_target_optabs;
1822 /* Save *crtl and regno_reg_rtx around the reinitialization
1823 to allow target_reinit being called even after prepare_function_start. */
1824 saved_regno_reg_rtx = regno_reg_rtx;
1825 if (saved_regno_reg_rtx)
1827 saved_x_rtl = *crtl;
1828 memset (crtl, '\0', sizeof (*crtl));
1829 regno_reg_rtx = NULL;
1832 this_target_rtl->target_specific_initialized = false;
1834 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1835 to initialize reg_raw_mode[]. */
1836 init_emit_regs ();
1838 /* This invokes target hooks to set fixed_reg[] etc, which is
1839 mode-dependent. */
1840 init_regs ();
1842 /* Reinitialize lang-dependent parts. */
1843 lang_dependent_init_target ();
1845 /* Restore the original optimization node. */
1846 if (saved_optimization_current_node != optimization_default_node)
1848 optimization_current_node = saved_optimization_current_node;
1849 cl_optimization_restore (&global_options,
1850 TREE_OPTIMIZATION (optimization_current_node));
1852 this_fn_optabs = saved_this_fn_optabs;
1854 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1855 expand_dummy_function_end clears it. */
1856 if (saved_regno_reg_rtx)
1858 *crtl = saved_x_rtl;
1859 regno_reg_rtx = saved_regno_reg_rtx;
1860 saved_regno_reg_rtx = NULL;
1864 void
1865 dump_memory_report (bool final)
1867 dump_line_table_statistics ();
1868 ggc_print_statistics ();
1869 stringpool_statistics ();
1870 dump_tree_statistics ();
1871 dump_gimple_statistics ();
1872 dump_rtx_statistics ();
1873 dump_alloc_pool_statistics ();
1874 dump_bitmap_statistics ();
1875 dump_vec_loc_statistics ();
1876 dump_ggc_loc_statistics (final);
1877 dump_alias_stats (stderr);
1878 dump_pta_stats (stderr);
1881 /* Clean up: close opened files, etc. */
1883 static void
1884 finalize (bool no_backend)
1886 /* Close the dump files. */
1887 if (flag_gen_aux_info)
1889 fclose (aux_info_file);
1890 if (seen_error ())
1891 unlink (aux_info_file_name);
1894 /* Close non-debugging input and output files. Take special care to note
1895 whether fclose returns an error, since the pages might still be on the
1896 buffer chain while the file is open. */
1898 if (asm_out_file)
1900 if (ferror (asm_out_file) != 0)
1901 fatal_error ("error writing to %s: %m", asm_file_name);
1902 if (fclose (asm_out_file) != 0)
1903 fatal_error ("error closing %s: %m", asm_file_name);
1906 if (stack_usage_file)
1907 fclose (stack_usage_file);
1909 if (!no_backend)
1911 statistics_fini ();
1913 g->get_passes ()->finish_optimization_passes ();
1915 lra_finish_once ();
1918 if (mem_report)
1919 dump_memory_report (true);
1921 if (profile_report)
1922 dump_profile_report ();
1924 /* Language-specific end of compilation actions. */
1925 lang_hooks.finish ();
1928 static bool
1929 standard_type_bitsize (int bitsize)
1931 /* As a special exception, we always want __int128 enabled if possible. */
1932 if (bitsize == 128)
1933 return false;
1934 if (bitsize == CHAR_TYPE_SIZE
1935 || bitsize == SHORT_TYPE_SIZE
1936 || bitsize == INT_TYPE_SIZE
1937 || bitsize == LONG_TYPE_SIZE
1938 || bitsize == LONG_LONG_TYPE_SIZE)
1939 return true;
1940 return false;
1943 /* Initialize the compiler, and compile the input file. */
1944 static void
1945 do_compile ()
1947 process_options ();
1949 /* Don't do any more if an error has already occurred. */
1950 if (!seen_error ())
1952 int i;
1954 timevar_start (TV_PHASE_SETUP);
1956 /* This must be run always, because it is needed to compute the FP
1957 predefined macros, such as __LDBL_MAX__, for targets using non
1958 default FP formats. */
1959 init_adjust_machine_modes ();
1960 init_derived_machine_modes ();
1962 /* This must happen after the backend has a chance to process
1963 command line options, but before the parsers are
1964 initialized. */
1965 for (i = 0; i < NUM_INT_N_ENTS; i ++)
1966 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
1967 && ! standard_type_bitsize (int_n_data[i].bitsize))
1968 int_n_enabled_p[i] = true;
1969 else
1970 int_n_enabled_p[i] = false;
1972 /* Set up the back-end if requested. */
1973 if (!no_backend)
1974 backend_init ();
1976 /* Language-dependent initialization. Returns true on success. */
1977 if (lang_dependent_init (main_input_filename))
1979 /* Initialize yet another pass. */
1981 ggc_protect_identifiers = true;
1983 symtab->initialize ();
1984 init_final (main_input_filename);
1985 coverage_init (aux_base_name);
1986 statistics_init ();
1987 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1989 timevar_stop (TV_PHASE_SETUP);
1991 compile_file ();
1993 else
1995 timevar_stop (TV_PHASE_SETUP);
1998 timevar_start (TV_PHASE_FINALIZE);
2000 finalize (no_backend);
2002 timevar_stop (TV_PHASE_FINALIZE);
2006 toplev::toplev (bool use_TV_TOTAL)
2007 : m_use_TV_TOTAL (use_TV_TOTAL)
2009 if (!m_use_TV_TOTAL)
2010 start_timevars ();
2013 toplev::~toplev ()
2015 timevar_stop (TV_TOTAL);
2016 timevar_print (stderr);
2019 void
2020 toplev::start_timevars ()
2022 if (time_report || !quiet_flag || flag_detailed_statistics)
2023 timevar_init ();
2025 timevar_start (TV_TOTAL);
2028 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2029 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2030 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2032 It is not safe to call this function more than once. */
2035 toplev::main (int argc, char **argv)
2037 /* Parsing and gimplification sometimes need quite large stack.
2038 Increase stack size limits if possible. */
2039 stack_limit_increase (64 * 1024 * 1024);
2041 expandargv (&argc, &argv);
2043 /* Initialization of GCC's environment, and diagnostics. */
2044 general_init (argv[0]);
2046 /* One-off initialization of options that does not need to be
2047 repeated when options are added for particular functions. */
2048 init_options_once ();
2050 /* Initialize global options structures; this must be repeated for
2051 each structure used for parsing options. */
2052 init_options_struct (&global_options, &global_options_set);
2053 lang_hooks.init_options_struct (&global_options);
2055 /* Convert the options to an array. */
2056 decode_cmdline_options_to_array_default_mask (argc,
2057 CONST_CAST2 (const char **,
2058 char **, argv),
2059 &save_decoded_options,
2060 &save_decoded_options_count);
2062 /* Perform language-specific options initialization. */
2063 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2065 /* Parse the options and do minimal processing; basically just
2066 enough to default flags appropriately. */
2067 decode_options (&global_options, &global_options_set,
2068 save_decoded_options, save_decoded_options_count,
2069 UNKNOWN_LOCATION, global_dc);
2071 handle_common_deferred_options ();
2073 init_local_tick ();
2075 initialize_plugins ();
2077 if (version_flag)
2078 print_version (stderr, "");
2080 if (help_flag)
2081 print_plugins_help (stderr, "");
2083 /* Exit early if we can (e.g. -help). */
2084 if (!exit_after_options)
2086 if (m_use_TV_TOTAL)
2087 start_timevars ();
2088 do_compile ();
2091 if (warningcount || errorcount || werrorcount)
2092 print_ignored_options ();
2094 /* Invoke registered plugin callbacks if any. Some plugins could
2095 emit some diagnostics here. */
2096 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2098 diagnostic_finish (global_dc);
2100 finalize_plugins ();
2101 location_adhoc_data_fini (line_table);
2102 if (seen_error () || werrorcount)
2103 return (FATAL_EXIT_CODE);
2105 return (SUCCESS_EXIT_CODE);
2108 /* For those that want to, this function aims to clean up enough state that
2109 you can call toplev::main again. */
2110 void
2111 toplev::finalize (void)
2113 rtl_initialized = false;
2114 this_target_rtl->target_specific_initialized = false;
2116 cgraph_c_finalize ();
2117 cgraphunit_c_finalize ();
2118 dwarf2out_c_finalize ();
2119 gcse_c_finalize ();
2120 ipa_cp_c_finalize ();
2121 ipa_reference_c_finalize ();
2122 params_c_finalize ();