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