Revert:
[official-gcc.git] / gcc / toplev.c
blob8417cfed6cbe29f917f0a3f2d57a17fbc8835d58
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
4 Free Software Foundation, Inc.
6 This file is part of GCC.
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.
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.
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/>. */
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. */
27 #include "config.h"
28 #undef FLOAT /* This is for hpux. They should change hpux. */
29 #undef FFS /* Some systems define this in param.h. */
30 #include "system.h"
31 #include "coretypes.h"
32 #include "tm.h"
33 #include <signal.h>
35 #ifdef HAVE_SYS_RESOURCE_H
36 # include <sys/resource.h>
37 #endif
39 #ifdef HAVE_SYS_TIMES_H
40 # include <sys/times.h>
41 #endif
43 #include "line-map.h"
44 #include "input.h"
45 #include "tree.h"
46 #include "version.h"
47 #include "rtl.h"
48 #include "tm_p.h"
49 #include "flags.h"
50 #include "insn-attr.h"
51 #include "insn-config.h"
52 #include "insn-flags.h"
53 #include "hard-reg-set.h"
54 #include "recog.h"
55 #include "output.h"
56 #include "except.h"
57 #include "function.h"
58 #include "toplev.h"
59 #include "expr.h"
60 #include "basic-block.h"
61 #include "intl.h"
62 #include "ggc.h"
63 #include "graph.h"
64 #include "regs.h"
65 #include "timevar.h"
66 #include "diagnostic.h"
67 #include "params.h"
68 #include "reload.h"
69 #include "ira.h"
70 #include "dwarf2asm.h"
71 #include "integrate.h"
72 #include "real.h"
73 #include "debug.h"
74 #include "target.h"
75 #include "langhooks.h"
76 #include "cfglayout.h"
77 #include "cfgloop.h"
78 #include "hosthooks.h"
79 #include "cgraph.h"
80 #include "opts.h"
81 #include "coverage.h"
82 #include "value-prof.h"
83 #include "alloc-pool.h"
84 #include "tree-mudflap.h"
85 #include "tree-pass.h"
86 #include "gimple.h"
88 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
89 #include "dwarf2out.h"
90 #endif
92 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
93 #include "dbxout.h"
94 #endif
96 #ifdef SDB_DEBUGGING_INFO
97 #include "sdbout.h"
98 #endif
100 #ifdef XCOFF_DEBUGGING_INFO
101 #include "xcoffout.h" /* Needed for external data
102 declarations for e.g. AIX 4.x. */
103 #endif
105 static void general_init (const char *);
106 static void do_compile (void);
107 static void process_options (void);
108 static void backend_init (void);
109 static int lang_dependent_init (const char *);
110 static void init_asm_output (const char *);
111 static void finalize (void);
113 static void crash_signal (int) ATTRIBUTE_NORETURN;
114 static void setup_core_dumping (void);
115 static void compile_file (void);
117 /* Nonzero to dump debug info whilst parsing (-dy option). */
118 static int set_yydebug;
120 /* True if we don't need a backend (e.g. preprocessing only). */
121 static bool no_backend;
123 /* Length of line when printing switch values. */
124 #define MAX_LINE 75
126 /* Name of program invoked, sans directories. */
128 const char *progname;
130 /* Copy of argument vector to toplev_main. */
131 static const char **save_argv;
133 /* Name of top-level original source file (what was input to cpp).
134 This comes from the #-command at the beginning of the actual input.
135 If there isn't any there, then this is the cc1 input file name. */
137 const char *main_input_filename;
139 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
140 to optimize and default_debug_hooks in process_options (). */
141 #define AUTODETECT_VALUE 2
143 /* Current position in real source file. */
145 location_t input_location;
147 struct line_maps *line_table;
149 /* Name to use as base of names for dump output files. */
151 const char *dump_base_name;
153 /* Name to use as a base for auxiliary output files. */
155 const char *aux_base_name;
157 /* Prefix for profile data files */
158 const char *profile_data_prefix;
160 /* A mask of target_flags that includes bit X if X was set or cleared
161 on the command line. */
163 int target_flags_explicit;
165 /* Debug hooks - dependent upon command line options. */
167 const struct gcc_debug_hooks *debug_hooks;
169 /* Debug hooks - target default. */
171 static const struct gcc_debug_hooks *default_debug_hooks;
173 /* Other flags saying which kinds of debugging dump have been requested. */
175 int rtl_dump_and_exit;
176 int flag_print_asm_name;
177 enum graph_dump_types graph_dump_format;
179 /* Name for output file of assembly code, specified with -o. */
181 const char *asm_file_name;
183 /* Nonzero means do optimizations. -O.
184 Particular numeric values stand for particular amounts of optimization;
185 thus, -O2 stores 2 here. However, the optimizations beyond the basic
186 ones are not controlled directly by this variable. Instead, they are
187 controlled by individual `flag_...' variables that are defaulted
188 based on this variable. */
190 int optimize = 0;
192 /* Nonzero means optimize for size. -Os.
193 The only valid values are zero and nonzero. When optimize_size is
194 nonzero, optimize defaults to 2, but certain individual code
195 bloating optimizations are disabled. */
197 int optimize_size = 0;
199 /* The FUNCTION_DECL for the function currently being compiled,
200 or 0 if between functions. */
201 tree current_function_decl;
203 /* Set to the FUNC_BEGIN label of the current function, or NULL
204 if none. */
205 const char * current_function_func_begin_label;
207 /* Nonzero means to collect statistics which might be expensive
208 and to print them when we are done. */
209 int flag_detailed_statistics = 0;
211 /* A random sequence of characters, unless overridden by user. */
212 static const char *flag_random_seed;
214 /* A local time stamp derived from the time of compilation. It will be
215 zero if the system cannot provide a time. It will be -1u, if the
216 user has specified a particular random seed. */
217 unsigned local_tick;
219 /* -f flags. */
221 /* Nonzero means `char' should be signed. */
223 int flag_signed_char;
225 /* Nonzero means give an enum type only as many bytes as it needs. A value
226 of 2 means it has not yet been initialized. */
228 int flag_short_enums;
230 /* Nonzero if structures and unions should be returned in memory.
232 This should only be defined if compatibility with another compiler or
233 with an ABI is needed, because it results in slower code. */
235 #ifndef DEFAULT_PCC_STRUCT_RETURN
236 #define DEFAULT_PCC_STRUCT_RETURN 1
237 #endif
239 /* Nonzero for -fpcc-struct-return: return values the same way PCC does. */
241 int flag_pcc_struct_return = DEFAULT_PCC_STRUCT_RETURN;
243 /* 0 means straightforward implementation of complex divide acceptable.
244 1 means wide ranges of inputs must work for complex divide.
245 2 means C99-like requirements for complex multiply and divide. */
247 int flag_complex_method = 1;
249 /* Nonzero means we should be saving declaration info into a .X file. */
251 int flag_gen_aux_info = 0;
253 /* Specified name of aux-info file. */
255 const char *aux_info_file_name;
257 /* Nonzero if we are compiling code for a shared library, zero for
258 executable. */
260 int flag_shlib;
262 /* Generate code for GNU or NeXT Objective-C runtime environment. */
264 #ifdef NEXT_OBJC_RUNTIME
265 int flag_next_runtime = 1;
266 #else
267 int flag_next_runtime = 0;
268 #endif
270 /* Set to the default thread-local storage (tls) model to use. */
272 enum tls_model flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
274 /* Set the default region and algorithm for the integrated register
275 allocator. */
277 enum ira_algorithm flag_ira_algorithm = IRA_ALGORITHM_CB;
278 enum ira_region flag_ira_region = IRA_REGION_MIXED;
280 /* Set the default value for -fira-verbose. */
282 unsigned int flag_ira_verbose = 5;
284 /* Nonzero means change certain warnings into errors.
285 Usually these are warnings about failure to conform to some standard. */
287 int flag_pedantic_errors = 0;
289 /* Nonzero means make permerror produce warnings instead of errors. */
291 int flag_permissive = 0;
293 /* -dA causes debug commentary information to be produced in
294 the generated assembly code (to make it more readable). This option
295 is generally only of use to those who actually need to read the
296 generated assembly code (perhaps while debugging the compiler itself).
297 Currently, this switch is only used by dwarfout.c; however, it is intended
298 to be a catchall for printing debug information in the assembler file. */
300 int flag_debug_asm = 0;
302 /* -dP causes the rtl to be emitted as a comment in assembly. */
304 int flag_dump_rtl_in_asm = 0;
306 /* When non-NULL, indicates that whenever space is allocated on the
307 stack, the resulting stack pointer must not pass this
308 address---that is, for stacks that grow downward, the stack pointer
309 must always be greater than or equal to this address; for stacks
310 that grow upward, the stack pointer must be less than this address.
311 At present, the rtx may be either a REG or a SYMBOL_REF, although
312 the support provided depends on the backend. */
313 rtx stack_limit_rtx;
315 /* Nonzero if we should track variables. When
316 flag_var_tracking == AUTODETECT_VALUE it will be set according
317 to optimize, debug_info_level and debug_hooks in process_options (). */
318 int flag_var_tracking = AUTODETECT_VALUE;
320 /* Type of stack check. */
321 enum stack_check_type flag_stack_check = NO_STACK_CHECK;
323 /* True if the user has tagged the function with the 'section'
324 attribute. */
326 bool user_defined_section_attribute = false;
328 /* Values of the -falign-* flags: how much to align labels in code.
329 0 means `use default', 1 means `don't align'.
330 For each variable, there is an _log variant which is the power
331 of two not less than the variable, for .align output. */
333 int align_loops_log;
334 int align_loops_max_skip;
335 int align_jumps_log;
336 int align_jumps_max_skip;
337 int align_labels_log;
338 int align_labels_max_skip;
339 int align_functions_log;
341 typedef struct
343 const char *const string;
344 int *const variable;
345 const int on_value;
347 lang_independent_options;
349 /* Nonzero if subexpressions must be evaluated from left-to-right. */
350 int flag_evaluation_order = 0;
352 /* The user symbol prefix after having resolved same. */
353 const char *user_label_prefix;
355 static const param_info lang_independent_params[] = {
356 #define DEFPARAM(ENUM, OPTION, HELP, DEFAULT, MIN, MAX) \
357 { OPTION, DEFAULT, false, MIN, MAX, HELP },
358 #include "params.def"
359 #undef DEFPARAM
360 { NULL, 0, false, 0, 0, NULL }
363 /* Output files for assembler code (real compiler output)
364 and debugging dumps. */
366 FILE *asm_out_file;
367 FILE *aux_info_file;
368 FILE *dump_file = NULL;
369 const char *dump_file_name;
371 /* The current working directory of a translation. It's generally the
372 directory from which compilation was initiated, but a preprocessed
373 file may specify the original directory in which it was
374 created. */
376 static const char *src_pwd;
378 /* Initialize src_pwd with the given string, and return true. If it
379 was already initialized, return false. As a special case, it may
380 be called with a NULL argument to test whether src_pwd has NOT been
381 initialized yet. */
383 bool
384 set_src_pwd (const char *pwd)
386 if (src_pwd)
388 if (strcmp (src_pwd, pwd) == 0)
389 return true;
390 else
391 return false;
394 src_pwd = xstrdup (pwd);
395 return true;
398 /* Return the directory from which the translation unit was initiated,
399 in case set_src_pwd() was not called before to assign it a
400 different value. */
402 const char *
403 get_src_pwd (void)
405 if (! src_pwd)
407 src_pwd = getpwd ();
408 if (!src_pwd)
409 src_pwd = ".";
412 return src_pwd;
415 /* Called when the start of a function definition is parsed,
416 this function prints on stderr the name of the function. */
417 void
418 announce_function (tree decl)
420 if (!quiet_flag)
422 if (rtl_dump_and_exit)
423 fprintf (stderr, "%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
424 else
425 fprintf (stderr, " %s", lang_hooks.decl_printable_name (decl, 2));
426 fflush (stderr);
427 pp_needs_newline (global_dc->printer) = true;
428 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
432 /* Initialize local_tick with the time of day, or -1 if
433 flag_random_seed is set. */
435 static void
436 init_local_tick (void)
438 if (!flag_random_seed)
440 /* Get some more or less random data. */
441 #ifdef HAVE_GETTIMEOFDAY
443 struct timeval tv;
445 gettimeofday (&tv, NULL);
446 local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
448 #else
450 time_t now = time (NULL);
452 if (now != (time_t)-1)
453 local_tick = (unsigned) now;
455 #endif
457 else
458 local_tick = -1;
461 /* Set up a default flag_random_seed and local_tick, unless the user
462 already specified one. Must be called after init_local_tick. */
464 static void
465 init_random_seed (void)
467 unsigned HOST_WIDE_INT value;
468 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
470 value = local_tick ^ getpid ();
472 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
473 flag_random_seed = random_seed;
476 /* Obtain the random_seed string. Unless NOINIT, initialize it if
477 it's not provided in the command line. */
479 const char *
480 get_random_seed (bool noinit)
482 if (!flag_random_seed && !noinit)
483 init_random_seed ();
484 return flag_random_seed;
487 /* Modify the random_seed string to VAL. Return its previous
488 value. */
490 const char *
491 set_random_seed (const char *val)
493 const char *old = flag_random_seed;
494 flag_random_seed = val;
495 return old;
498 /* Decode the string P as an integral parameter.
499 If the string is indeed an integer return its numeric value else
500 issue an Invalid Option error for the option PNAME and return DEFVAL.
501 If PNAME is zero just return DEFVAL, do not call error. */
504 read_integral_parameter (const char *p, const char *pname, const int defval)
506 const char *endp = p;
508 while (*endp)
510 if (ISDIGIT (*endp))
511 endp++;
512 else
513 break;
516 if (*endp != 0)
518 if (pname != 0)
519 error ("invalid option argument %qs", pname);
520 return defval;
523 return atoi (p);
526 /* When compiling with a recent enough GCC, we use the GNU C "extern inline"
527 for floor_log2 and exact_log2; see toplev.h. That construct, however,
528 conflicts with the ISO C++ One Definition Rule. */
530 #if GCC_VERSION < 3004 || !defined (__cplusplus)
532 /* Given X, an unsigned number, return the largest int Y such that 2**Y <= X.
533 If X is 0, return -1. */
536 floor_log2 (unsigned HOST_WIDE_INT x)
538 int t = 0;
540 if (x == 0)
541 return -1;
543 #ifdef CLZ_HWI
544 t = HOST_BITS_PER_WIDE_INT - 1 - (int) CLZ_HWI (x);
545 #else
546 if (HOST_BITS_PER_WIDE_INT > 64)
547 if (x >= (unsigned HOST_WIDE_INT) 1 << (t + 64))
548 t += 64;
549 if (HOST_BITS_PER_WIDE_INT > 32)
550 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 32))
551 t += 32;
552 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 16))
553 t += 16;
554 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 8))
555 t += 8;
556 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 4))
557 t += 4;
558 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 2))
559 t += 2;
560 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 1))
561 t += 1;
562 #endif
564 return t;
567 /* Return the logarithm of X, base 2, considering X unsigned,
568 if X is a power of 2. Otherwise, returns -1. */
571 exact_log2 (unsigned HOST_WIDE_INT x)
573 if (x != (x & -x))
574 return -1;
575 #ifdef CTZ_HWI
576 return x ? CTZ_HWI (x) : -1;
577 #else
578 return floor_log2 (x);
579 #endif
582 #endif /* GCC_VERSION < 3004 || !defined (__cplusplus) */
584 /* Handler for fatal signals, such as SIGSEGV. These are transformed
585 into ICE messages, which is much more user friendly. In case the
586 error printer crashes, reset the signal to prevent infinite recursion. */
588 static void
589 crash_signal (int signo)
591 signal (signo, SIG_DFL);
593 /* If we crashed while processing an ASM statement, then be a little more
594 graceful. It's most likely the user's fault. */
595 if (this_is_asm_operands)
597 output_operand_lossage ("unrecoverable error");
598 exit (FATAL_EXIT_CODE);
601 internal_error ("%s", strsignal (signo));
604 /* Arrange to dump core on error. (The regular error message is still
605 printed first, except in the case of abort().) */
607 static void
608 setup_core_dumping (void)
610 #ifdef SIGABRT
611 signal (SIGABRT, SIG_DFL);
612 #endif
613 #if defined(HAVE_SETRLIMIT)
615 struct rlimit rlim;
616 if (getrlimit (RLIMIT_CORE, &rlim) != 0)
617 fatal_error ("getting core file size maximum limit: %m");
618 rlim.rlim_cur = rlim.rlim_max;
619 if (setrlimit (RLIMIT_CORE, &rlim) != 0)
620 fatal_error ("setting core file size limit to maximum: %m");
622 #endif
623 diagnostic_abort_on_error (global_dc);
627 /* Strip off a legitimate source ending from the input string NAME of
628 length LEN. Rather than having to know the names used by all of
629 our front ends, we strip off an ending of a period followed by
630 up to five characters. (Java uses ".class".) */
632 void
633 strip_off_ending (char *name, int len)
635 int i;
636 for (i = 2; i < 6 && len > i; i++)
638 if (name[len - i] == '.')
640 name[len - i] = '\0';
641 break;
646 /* Output a quoted string. */
648 void
649 output_quoted_string (FILE *asm_file, const char *string)
651 #ifdef OUTPUT_QUOTED_STRING
652 OUTPUT_QUOTED_STRING (asm_file, string);
653 #else
654 char c;
656 putc ('\"', asm_file);
657 while ((c = *string++) != 0)
659 if (ISPRINT (c))
661 if (c == '\"' || c == '\\')
662 putc ('\\', asm_file);
663 putc (c, asm_file);
665 else
666 fprintf (asm_file, "\\%03o", (unsigned char) c);
668 putc ('\"', asm_file);
669 #endif
672 /* Output a file name in the form wanted by System V. */
674 void
675 output_file_directive (FILE *asm_file, const char *input_name)
677 int len;
678 const char *na;
680 if (input_name == NULL)
681 input_name = "<stdin>";
682 else
683 input_name = remap_debug_filename (input_name);
685 len = strlen (input_name);
686 na = input_name + len;
688 /* NA gets INPUT_NAME sans directory names. */
689 while (na > input_name)
691 if (IS_DIR_SEPARATOR (na[-1]))
692 break;
693 na--;
696 #ifdef ASM_OUTPUT_SOURCE_FILENAME
697 ASM_OUTPUT_SOURCE_FILENAME (asm_file, na);
698 #else
699 fprintf (asm_file, "\t.file\t");
700 output_quoted_string (asm_file, na);
701 fputc ('\n', asm_file);
702 #endif
705 /* A subroutine of wrapup_global_declarations. We've come to the end of
706 the compilation unit. All deferred variables should be undeferred,
707 and all incomplete decls should be finalized. */
709 void
710 wrapup_global_declaration_1 (tree decl)
712 /* We're not deferring this any longer. Assignment is conditional to
713 avoid needlessly dirtying PCH pages. */
714 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
715 && DECL_DEFER_OUTPUT (decl) != 0)
716 DECL_DEFER_OUTPUT (decl) = 0;
718 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
719 lang_hooks.finish_incomplete_decl (decl);
722 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
723 needs to be output. Return true if it is output. */
725 bool
726 wrapup_global_declaration_2 (tree decl)
728 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
729 return false;
731 /* Don't write out static consts, unless we still need them.
733 We also keep static consts if not optimizing (for debugging),
734 unless the user specified -fno-keep-static-consts.
735 ??? They might be better written into the debug information.
736 This is possible when using DWARF.
738 A language processor that wants static constants to be always
739 written out (even if it is not used) is responsible for
740 calling rest_of_decl_compilation itself. E.g. the C front-end
741 calls rest_of_decl_compilation from finish_decl.
742 One motivation for this is that is conventional in some
743 environments to write things like:
744 static const char rcsid[] = "... version string ...";
745 intending to force the string to be in the executable.
747 A language processor that would prefer to have unneeded
748 static constants "optimized away" would just defer writing
749 them out until here. E.g. C++ does this, because static
750 constants are often defined in header files.
752 ??? A tempting alternative (for both C and C++) would be
753 to force a constant to be written if and only if it is
754 defined in a main file, as opposed to an include file. */
756 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
758 struct varpool_node *node;
759 bool needed = true;
760 node = varpool_node (decl);
762 if (node->finalized)
763 needed = false;
764 else if (node->alias)
765 needed = false;
766 else if (!cgraph_global_info_ready
767 && (TREE_USED (decl)
768 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
769 /* needed */;
770 else if (node->needed)
771 /* needed */;
772 else if (DECL_COMDAT (decl))
773 needed = false;
774 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
775 && (optimize || !flag_keep_static_consts
776 || DECL_ARTIFICIAL (decl)))
777 needed = false;
779 if (needed)
781 rest_of_decl_compilation (decl, 1, 1);
782 return true;
786 return false;
789 /* Do any final processing required for the declarations in VEC, of
790 which there are LEN. We write out inline functions and variables
791 that have been deferred until this point, but which are required.
792 Returns nonzero if anything was put out. */
794 bool
795 wrapup_global_declarations (tree *vec, int len)
797 bool reconsider, output_something = false;
798 int i;
800 for (i = 0; i < len; i++)
801 wrapup_global_declaration_1 (vec[i]);
803 /* Now emit any global variables or functions that we have been
804 putting off. We need to loop in case one of the things emitted
805 here references another one which comes earlier in the list. */
808 reconsider = false;
809 for (i = 0; i < len; i++)
810 reconsider |= wrapup_global_declaration_2 (vec[i]);
811 if (reconsider)
812 output_something = true;
814 while (reconsider);
816 return output_something;
819 /* A subroutine of check_global_declarations. Issue appropriate warnings
820 for the global declaration DECL. */
822 void
823 check_global_declaration_1 (tree decl)
825 /* Warn about any function declared static but not defined. We don't
826 warn about variables, because many programs have static variables
827 that exist only to get some text into the object file. */
828 if (TREE_CODE (decl) == FUNCTION_DECL
829 && DECL_INITIAL (decl) == 0
830 && DECL_EXTERNAL (decl)
831 && ! DECL_ARTIFICIAL (decl)
832 && ! TREE_NO_WARNING (decl)
833 && ! TREE_PUBLIC (decl)
834 && (warn_unused_function
835 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
837 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
838 pedwarn (input_location, 0, "%q+F used but never defined", decl);
839 else
840 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
841 /* This symbol is effectively an "extern" declaration now. */
842 TREE_PUBLIC (decl) = 1;
843 assemble_external (decl);
846 /* Warn about static fns or vars defined but not used. */
847 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
848 /* We don't warn about "static const" variables because the
849 "rcs_id" idiom uses that construction. */
850 || (warn_unused_variable
851 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
852 && ! DECL_IN_SYSTEM_HEADER (decl)
853 && ! TREE_USED (decl)
854 /* The TREE_USED bit for file-scope decls is kept in the identifier,
855 to handle multiple external decls in different scopes. */
856 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
857 && ! DECL_EXTERNAL (decl)
858 && ! TREE_PUBLIC (decl)
859 /* A volatile variable might be used in some non-obvious way. */
860 && ! TREE_THIS_VOLATILE (decl)
861 /* Global register variables must be declared to reserve them. */
862 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
863 /* Otherwise, ask the language. */
864 && lang_hooks.decls.warn_unused_global (decl))
865 warning ((TREE_CODE (decl) == FUNCTION_DECL)
866 ? OPT_Wunused_function
867 : OPT_Wunused_variable,
868 "%q+D defined but not used", decl);
871 /* Issue appropriate warnings for the global declarations in VEC (of
872 which there are LEN). */
874 void
875 check_global_declarations (tree *vec, int len)
877 int i;
879 for (i = 0; i < len; i++)
880 check_global_declaration_1 (vec[i]);
883 /* Emit debugging information for all global declarations in VEC. */
885 void
886 emit_debug_global_declarations (tree *vec, int len)
888 int i;
890 /* Avoid confusing the debug information machinery when there are errors. */
891 if (errorcount != 0 || sorrycount != 0)
892 return;
894 timevar_push (TV_SYMOUT);
895 for (i = 0; i < len; i++)
896 debug_hooks->global_decl (vec[i]);
897 timevar_pop (TV_SYMOUT);
900 /* Warn about a use of an identifier which was marked deprecated. */
901 void
902 warn_deprecated_use (tree node)
904 if (node == 0 || !warn_deprecated_decl)
905 return;
907 if (DECL_P (node))
909 expanded_location xloc = expand_location (DECL_SOURCE_LOCATION (node));
910 warning (OPT_Wdeprecated_declarations,
911 "%qD is deprecated (declared at %s:%d)",
912 node, xloc.file, xloc.line);
914 else if (TYPE_P (node))
916 const char *what = NULL;
917 tree decl = TYPE_STUB_DECL (node);
919 if (TYPE_NAME (node))
921 if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE)
922 what = IDENTIFIER_POINTER (TYPE_NAME (node));
923 else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL
924 && DECL_NAME (TYPE_NAME (node)))
925 what = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (node)));
928 if (decl)
930 expanded_location xloc
931 = expand_location (DECL_SOURCE_LOCATION (decl));
932 if (what)
933 warning (OPT_Wdeprecated_declarations,
934 "%qs is deprecated (declared at %s:%d)", what,
935 xloc.file, xloc.line);
936 else
937 warning (OPT_Wdeprecated_declarations,
938 "type is deprecated (declared at %s:%d)",
939 xloc.file, xloc.line);
941 else
943 if (what)
944 warning (OPT_Wdeprecated_declarations, "%qs is deprecated", what);
945 else
946 warning (OPT_Wdeprecated_declarations, "type is deprecated");
951 /* Compile an entire translation unit. Write a file of assembly
952 output and various debugging dumps. */
954 static void
955 compile_file (void)
957 /* Initialize yet another pass. */
959 ggc_protect_identifiers = true;
961 init_cgraph ();
962 init_final (main_input_filename);
963 coverage_init (aux_base_name);
964 statistics_init ();
966 timevar_push (TV_PARSE);
968 /* Call the parser, which parses the entire file (calling
969 rest_of_compilation for each function). */
970 lang_hooks.parse_file (set_yydebug);
972 /* Compilation is now finished except for writing
973 what's left of the symbol table output. */
974 timevar_pop (TV_PARSE);
976 if (flag_syntax_only)
977 return;
979 ggc_protect_identifiers = false;
981 lang_hooks.decls.final_write_globals ();
983 if (errorcount || sorrycount)
984 return;
986 varpool_assemble_pending_decls ();
987 finish_aliases_2 ();
989 /* This must occur after the loop to output deferred functions.
990 Else the coverage initializer would not be emitted if all the
991 functions in this compilation unit were deferred. */
992 coverage_finish ();
994 /* Likewise for mudflap static object registrations. */
995 if (flag_mudflap)
996 mudflap_finish_file ();
998 /* Likewise for emulated thread-local storage. */
999 if (!targetm.have_tls)
1000 emutls_finish ();
1002 output_shared_constant_pool ();
1003 output_object_blocks ();
1005 /* Write out any pending weak symbol declarations. */
1006 weak_finish ();
1008 /* Do dbx symbols. */
1009 timevar_push (TV_SYMOUT);
1011 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
1012 if (dwarf2out_do_frame ())
1013 dwarf2out_frame_finish ();
1014 #endif
1016 (*debug_hooks->finish) (main_input_filename);
1017 timevar_pop (TV_SYMOUT);
1019 /* Output some stuff at end of file if nec. */
1021 dw2_output_indirect_constants ();
1023 /* Flush any pending external directives. */
1024 process_pending_assemble_externals ();
1026 /* Attach a special .ident directive to the end of the file to identify
1027 the version of GCC which compiled this code. The format of the .ident
1028 string is patterned after the ones produced by native SVR4 compilers. */
1029 #ifdef IDENT_ASM_OP
1030 if (!flag_no_ident)
1032 const char *pkg_version = "(GNU) ";
1034 if (strcmp ("(GCC) ", pkgversion_string))
1035 pkg_version = pkgversion_string;
1036 fprintf (asm_out_file, "%s\"GCC: %s%s\"\n",
1037 IDENT_ASM_OP, pkg_version, version_string);
1039 #endif
1041 /* This must be at the end. Some target ports emit end of file directives
1042 into the assembly file here, and hence we can not output anything to the
1043 assembly file after this point. */
1044 targetm.asm_out.file_end ();
1047 /* Parse a -d... command line switch. */
1049 void
1050 decode_d_option (const char *arg)
1052 int c;
1054 while (*arg)
1055 switch (c = *arg++)
1057 case 'A':
1058 flag_debug_asm = 1;
1059 break;
1060 case 'p':
1061 flag_print_asm_name = 1;
1062 break;
1063 case 'P':
1064 flag_dump_rtl_in_asm = 1;
1065 flag_print_asm_name = 1;
1066 break;
1067 case 'v':
1068 graph_dump_format = vcg;
1069 break;
1070 case 'x':
1071 rtl_dump_and_exit = 1;
1072 break;
1073 case 'y':
1074 set_yydebug = 1;
1075 break;
1076 case 'D': /* These are handled by the preprocessor. */
1077 case 'I':
1078 case 'M':
1079 case 'N':
1080 case 'U':
1081 break;
1082 case 'H':
1083 setup_core_dumping();
1084 break;
1085 case 'a':
1086 enable_rtl_dump_file ();
1087 break;
1089 default:
1090 warning (0, "unrecognized gcc debugging option: %c", c);
1091 break;
1095 /* Indexed by enum debug_info_type. */
1096 const char *const debug_type_names[] =
1098 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
1101 /* Print version information to FILE.
1102 Each line begins with INDENT (for the case where FILE is the
1103 assembler output file). */
1105 void
1106 print_version (FILE *file, const char *indent)
1108 static const char fmt1[] =
1109 #ifdef __GNUC__
1110 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
1111 #else
1112 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
1113 #endif
1115 static const char fmt2[] =
1116 N_("GMP version %s, MPFR version %s.\n");
1117 static const char fmt3[] =
1118 N_("%s%swarning: %s header version %s differs from library version %s.\n");
1119 static const char fmt4[] =
1120 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
1121 #ifndef __VERSION__
1122 #define __VERSION__ "[?]"
1123 #endif
1124 fprintf (file,
1125 file == stderr ? _(fmt1) : fmt1,
1126 indent, *indent != 0 ? " " : "",
1127 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
1128 indent, __VERSION__);
1130 /* We need to stringify the GMP macro values. Ugh, gmp_version has
1131 two string formats, "i.j.k" and "i.j" when k is zero. */
1132 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
1133 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3(X)
1134 #if __GNU_MP_VERSION_PATCHLEVEL == 0
1135 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
1136 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR)
1137 #else
1138 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
1139 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR) "." \
1140 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_PATCHLEVEL)
1141 #endif
1142 fprintf (file,
1143 file == stderr ? _(fmt2) : fmt2,
1144 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING);
1145 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
1146 fprintf (file,
1147 file == stderr ? _(fmt3) : fmt3,
1148 indent, *indent != 0 ? " " : "",
1149 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
1150 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
1151 fprintf (file,
1152 file == stderr ? _(fmt3) : fmt3,
1153 indent, *indent != 0 ? " " : "",
1154 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
1155 fprintf (file,
1156 file == stderr ? _(fmt4) : fmt4,
1157 indent, *indent != 0 ? " " : "",
1158 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
1161 #ifdef ASM_COMMENT_START
1162 static int
1163 print_to_asm_out_file (print_switch_type type, const char * text)
1165 bool prepend_sep = true;
1167 switch (type)
1169 case SWITCH_TYPE_LINE_END:
1170 putc ('\n', asm_out_file);
1171 return 1;
1173 case SWITCH_TYPE_LINE_START:
1174 fputs (ASM_COMMENT_START, asm_out_file);
1175 return strlen (ASM_COMMENT_START);
1177 case SWITCH_TYPE_DESCRIPTIVE:
1178 if (ASM_COMMENT_START[0] == 0)
1179 prepend_sep = false;
1180 /* Drop through. */
1181 case SWITCH_TYPE_PASSED:
1182 case SWITCH_TYPE_ENABLED:
1183 if (prepend_sep)
1184 fputc (' ', asm_out_file);
1185 fprintf (asm_out_file, text);
1186 /* No need to return the length here as
1187 print_single_switch has already done it. */
1188 return 0;
1190 default:
1191 return -1;
1194 #endif
1196 static int
1197 print_to_stderr (print_switch_type type, const char * text)
1199 switch (type)
1201 case SWITCH_TYPE_LINE_END:
1202 putc ('\n', stderr);
1203 return 1;
1205 case SWITCH_TYPE_LINE_START:
1206 return 0;
1208 case SWITCH_TYPE_PASSED:
1209 case SWITCH_TYPE_ENABLED:
1210 fputc (' ', stderr);
1211 /* Drop through. */
1213 case SWITCH_TYPE_DESCRIPTIVE:
1214 fprintf (stderr, text);
1215 /* No need to return the length here as
1216 print_single_switch has already done it. */
1217 return 0;
1219 default:
1220 return -1;
1224 /* Print an option value and return the adjusted position in the line.
1225 ??? print_fn doesn't handle errors, eg disk full; presumably other
1226 code will catch a disk full though. */
1228 static int
1229 print_single_switch (print_switch_fn_type print_fn,
1230 int pos,
1231 print_switch_type type,
1232 const char * text)
1234 /* The ultrix fprintf returns 0 on success, so compute the result
1235 we want here since we need it for the following test. The +1
1236 is for the separator character that will probably be emitted. */
1237 int len = strlen (text) + 1;
1239 if (pos != 0
1240 && pos + len > MAX_LINE)
1242 print_fn (SWITCH_TYPE_LINE_END, NULL);
1243 pos = 0;
1246 if (pos == 0)
1247 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
1249 print_fn (type, text);
1250 return pos + len;
1253 /* Print active target switches using PRINT_FN.
1254 POS is the current cursor position and MAX is the size of a "line".
1255 Each line begins with INDENT and ends with TERM.
1256 Each switch is separated from the next by SEP. */
1258 static void
1259 print_switch_values (print_switch_fn_type print_fn)
1261 int pos = 0;
1262 size_t j;
1263 const char **p;
1265 /* Fill in the -frandom-seed option, if the user didn't pass it, so
1266 that it can be printed below. This helps reproducibility. */
1267 if (!flag_random_seed)
1268 init_random_seed ();
1270 /* Print the options as passed. */
1271 pos = print_single_switch (print_fn, pos,
1272 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
1274 for (p = &save_argv[1]; *p != NULL; p++)
1276 if (**p == '-')
1278 /* Ignore these. */
1279 if (strcmp (*p, "-o") == 0
1280 || strcmp (*p, "-dumpbase") == 0
1281 || strcmp (*p, "-auxbase") == 0)
1283 if (p[1] != NULL)
1284 p++;
1285 continue;
1288 if (strcmp (*p, "-quiet") == 0
1289 || strcmp (*p, "-version") == 0)
1290 continue;
1292 if ((*p)[1] == 'd')
1293 continue;
1296 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED, *p);
1299 if (pos > 0)
1300 print_fn (SWITCH_TYPE_LINE_END, NULL);
1302 /* Print the -f and -m options that have been enabled.
1303 We don't handle language specific options but printing argv
1304 should suffice. */
1305 pos = print_single_switch (print_fn, 0,
1306 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
1308 for (j = 0; j < cl_options_count; j++)
1309 if ((cl_options[j].flags & CL_REPORT)
1310 && option_enabled (j) > 0)
1311 pos = print_single_switch (print_fn, pos,
1312 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
1314 print_fn (SWITCH_TYPE_LINE_END, NULL);
1317 /* Open assembly code output file. Do this even if -fsyntax-only is
1318 on, because then the driver will have provided the name of a
1319 temporary file or bit bucket for us. NAME is the file specified on
1320 the command line, possibly NULL. */
1321 static void
1322 init_asm_output (const char *name)
1324 if (name == NULL && asm_file_name == 0)
1325 asm_out_file = stdout;
1326 else
1328 if (asm_file_name == 0)
1330 int len = strlen (dump_base_name);
1331 char *dumpname = XNEWVEC (char, len + 6);
1333 memcpy (dumpname, dump_base_name, len + 1);
1334 strip_off_ending (dumpname, len);
1335 strcat (dumpname, ".s");
1336 asm_file_name = dumpname;
1338 if (!strcmp (asm_file_name, "-"))
1339 asm_out_file = stdout;
1340 else
1341 asm_out_file = fopen (asm_file_name, "w+b");
1342 if (asm_out_file == 0)
1343 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
1346 if (!flag_syntax_only)
1348 targetm.asm_out.file_start ();
1350 if (flag_record_gcc_switches)
1352 if (targetm.asm_out.record_gcc_switches)
1354 /* Let the target know that we are about to start recording. */
1355 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1356 NULL);
1357 /* Now record the switches. */
1358 print_switch_values (targetm.asm_out.record_gcc_switches);
1359 /* Let the target know that the recording is over. */
1360 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1361 NULL);
1363 else
1364 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1367 #ifdef ASM_COMMENT_START
1368 if (flag_verbose_asm)
1370 /* Print the list of switches in effect
1371 into the assembler file as comments. */
1372 print_version (asm_out_file, ASM_COMMENT_START);
1373 print_switch_values (print_to_asm_out_file);
1374 fprintf (asm_out_file, "\n");
1376 #endif
1380 /* Return true if the state of option OPTION should be stored in PCH files
1381 and checked by default_pch_valid_p. Store the option's current state
1382 in STATE if so. */
1384 static inline bool
1385 option_affects_pch_p (int option, struct cl_option_state *state)
1387 if ((cl_options[option].flags & CL_TARGET) == 0)
1388 return false;
1389 if (cl_options[option].flag_var == &target_flags)
1390 if (targetm.check_pch_target_flags)
1391 return false;
1392 return get_option_state (option, state);
1395 /* Default version of get_pch_validity.
1396 By default, every flag difference is fatal; that will be mostly right for
1397 most targets, but completely right for very few. */
1399 void *
1400 default_get_pch_validity (size_t *len)
1402 struct cl_option_state state;
1403 size_t i;
1404 char *result, *r;
1406 *len = 2;
1407 if (targetm.check_pch_target_flags)
1408 *len += sizeof (target_flags);
1409 for (i = 0; i < cl_options_count; i++)
1410 if (option_affects_pch_p (i, &state))
1411 *len += state.size;
1413 result = r = XNEWVEC (char, *len);
1414 r[0] = flag_pic;
1415 r[1] = flag_pie;
1416 r += 2;
1417 if (targetm.check_pch_target_flags)
1419 memcpy (r, &target_flags, sizeof (target_flags));
1420 r += sizeof (target_flags);
1423 for (i = 0; i < cl_options_count; i++)
1424 if (option_affects_pch_p (i, &state))
1426 memcpy (r, state.data, state.size);
1427 r += state.size;
1430 return result;
1433 /* Return a message which says that a PCH file was created with a different
1434 setting of OPTION. */
1436 static const char *
1437 pch_option_mismatch (const char *option)
1439 char *r;
1441 asprintf (&r, _("created and used with differing settings of '%s'"), option);
1442 if (r == NULL)
1443 return _("out of memory");
1444 return r;
1447 /* Default version of pch_valid_p. */
1449 const char *
1450 default_pch_valid_p (const void *data_p, size_t len)
1452 struct cl_option_state state;
1453 const char *data = (const char *)data_p;
1454 size_t i;
1456 /* -fpic and -fpie also usually make a PCH invalid. */
1457 if (data[0] != flag_pic)
1458 return _("created and used with different settings of -fpic");
1459 if (data[1] != flag_pie)
1460 return _("created and used with different settings of -fpie");
1461 data += 2;
1463 /* Check target_flags. */
1464 if (targetm.check_pch_target_flags)
1466 int tf;
1467 const char *r;
1469 memcpy (&tf, data, sizeof (target_flags));
1470 data += sizeof (target_flags);
1471 len -= sizeof (target_flags);
1472 r = targetm.check_pch_target_flags (tf);
1473 if (r != NULL)
1474 return r;
1477 for (i = 0; i < cl_options_count; i++)
1478 if (option_affects_pch_p (i, &state))
1480 if (memcmp (data, state.data, state.size) != 0)
1481 return pch_option_mismatch (cl_options[i].opt_text);
1482 data += state.size;
1483 len -= state.size;
1486 return NULL;
1489 /* Default tree printer. Handles declarations only. */
1490 static bool
1491 default_tree_printer (pretty_printer * pp, text_info *text, const char *spec,
1492 int precision, bool wide, bool set_locus, bool hash)
1494 tree t;
1496 /* FUTURE: %+x should set the locus. */
1497 if (precision != 0 || wide || hash)
1498 return false;
1500 switch (*spec)
1502 case 'D':
1503 t = va_arg (*text->args_ptr, tree);
1504 if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
1505 t = DECL_DEBUG_EXPR (t);
1506 break;
1508 case 'F':
1509 case 'T':
1510 t = va_arg (*text->args_ptr, tree);
1511 break;
1513 default:
1514 return false;
1517 if (set_locus && text->locus)
1518 *text->locus = DECL_SOURCE_LOCATION (t);
1520 if (DECL_P (t))
1522 const char *n = DECL_NAME (t)
1523 ? lang_hooks.decl_printable_name (t, 2)
1524 : "<anonymous>";
1525 pp_string (pp, n);
1527 else
1528 dump_generic_node (pp, t, 0, TDF_DIAGNOSTIC, 0);
1530 return true;
1533 /* A helper function; used as the reallocator function for cpp's line
1534 table. */
1535 static void *
1536 realloc_for_line_map (void *ptr, size_t len)
1538 return ggc_realloc (ptr, len);
1541 /* Initialization of the front end environment, before command line
1542 options are parsed. Signal handlers, internationalization etc.
1543 ARGV0 is main's argv[0]. */
1544 static void
1545 general_init (const char *argv0)
1547 const char *p;
1549 p = argv0 + strlen (argv0);
1550 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1551 --p;
1552 progname = p;
1554 xmalloc_set_program_name (progname);
1556 hex_init ();
1558 /* Unlock the stdio streams. */
1559 unlock_std_streams ();
1561 gcc_init_libintl ();
1563 /* Initialize the diagnostics reporting machinery, so option parsing
1564 can give warnings and errors. */
1565 diagnostic_initialize (global_dc);
1566 /* Set a default printer. Language specific initializations will
1567 override it later. */
1568 pp_format_decoder (global_dc->printer) = &default_tree_printer;
1570 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1571 #ifdef SIGSEGV
1572 signal (SIGSEGV, crash_signal);
1573 #endif
1574 #ifdef SIGILL
1575 signal (SIGILL, crash_signal);
1576 #endif
1577 #ifdef SIGBUS
1578 signal (SIGBUS, crash_signal);
1579 #endif
1580 #ifdef SIGABRT
1581 signal (SIGABRT, crash_signal);
1582 #endif
1583 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1584 signal (SIGIOT, crash_signal);
1585 #endif
1586 #ifdef SIGFPE
1587 signal (SIGFPE, crash_signal);
1588 #endif
1590 /* Other host-specific signal setup. */
1591 (*host_hooks.extra_signals)();
1593 /* Initialize the garbage-collector, string pools and tree type hash
1594 table. */
1595 init_ggc ();
1596 init_stringpool ();
1597 line_table = GGC_NEW (struct line_maps);
1598 linemap_init (line_table);
1599 line_table->reallocator = realloc_for_line_map;
1600 init_ttree ();
1602 /* Initialize register usage now so switches may override. */
1603 init_reg_sets ();
1605 /* Register the language-independent parameters. */
1606 add_params (lang_independent_params, LAST_PARAM);
1608 /* This must be done after add_params but before argument processing. */
1609 init_ggc_heuristics();
1610 init_optimization_passes ();
1611 statistics_early_init ();
1614 /* Return true if the current target supports -fsection-anchors. */
1616 static bool
1617 target_supports_section_anchors_p (void)
1619 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1620 return false;
1622 if (targetm.asm_out.output_anchor == NULL)
1623 return false;
1625 return true;
1628 /* Default the align_* variables to 1 if they're still unset, and
1629 set up the align_*_log variables. */
1630 static void
1631 init_alignments (void)
1633 if (align_loops <= 0)
1634 align_loops = 1;
1635 if (align_loops_max_skip > align_loops)
1636 align_loops_max_skip = align_loops - 1;
1637 align_loops_log = floor_log2 (align_loops * 2 - 1);
1638 if (align_jumps <= 0)
1639 align_jumps = 1;
1640 if (align_jumps_max_skip > align_jumps)
1641 align_jumps_max_skip = align_jumps - 1;
1642 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1643 if (align_labels <= 0)
1644 align_labels = 1;
1645 align_labels_log = floor_log2 (align_labels * 2 - 1);
1646 if (align_labels_max_skip > align_labels)
1647 align_labels_max_skip = align_labels - 1;
1648 if (align_functions <= 0)
1649 align_functions = 1;
1650 align_functions_log = floor_log2 (align_functions * 2 - 1);
1653 /* Process the options that have been parsed. */
1654 static void
1655 process_options (void)
1657 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1658 This can happen with incorrect pre-processed input. */
1659 debug_hooks = &do_nothing_debug_hooks;
1661 /* This replaces set_Wunused. */
1662 if (warn_unused_function == -1)
1663 warn_unused_function = warn_unused;
1664 if (warn_unused_label == -1)
1665 warn_unused_label = warn_unused;
1666 /* Wunused-parameter is enabled if both -Wunused -Wextra are enabled. */
1667 if (warn_unused_parameter == -1)
1668 warn_unused_parameter = (warn_unused && extra_warnings);
1669 if (warn_unused_variable == -1)
1670 warn_unused_variable = warn_unused;
1671 if (warn_unused_value == -1)
1672 warn_unused_value = warn_unused;
1674 /* Allow the front end to perform consistency checks and do further
1675 initialization based on the command line options. This hook also
1676 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1677 so we can correctly initialize debug output. */
1678 no_backend = lang_hooks.post_options (&main_input_filename);
1680 #ifdef OVERRIDE_OPTIONS
1681 /* Some machines may reject certain combinations of options. */
1682 OVERRIDE_OPTIONS;
1683 #endif
1685 if (flag_section_anchors && !target_supports_section_anchors_p ())
1687 warning (OPT_fsection_anchors,
1688 "this target does not support %qs", "-fsection-anchors");
1689 flag_section_anchors = 0;
1692 if (flag_short_enums == 2)
1693 flag_short_enums = targetm.default_short_enums ();
1695 /* Set aux_base_name if not already set. */
1696 if (aux_base_name)
1698 else if (main_input_filename)
1700 char *name = xstrdup (lbasename (main_input_filename));
1702 strip_off_ending (name, strlen (name));
1703 aux_base_name = name;
1705 else
1706 aux_base_name = "gccaux";
1708 #ifndef HAVE_cloog
1709 if (flag_graphite
1710 || flag_loop_block
1711 || flag_loop_interchange
1712 || flag_loop_strip_mine
1713 || flag_graphite_identity)
1714 sorry ("Graphite loop optimizations cannot be used");
1715 #endif
1717 /* Unrolling all loops implies that standard loop unrolling must also
1718 be done. */
1719 if (flag_unroll_all_loops)
1720 flag_unroll_loops = 1;
1722 /* The loop unrolling code assumes that cse will be run after loop.
1723 web and rename-registers also help when run after loop unrolling. */
1725 if (flag_rerun_cse_after_loop == AUTODETECT_VALUE)
1726 flag_rerun_cse_after_loop = flag_unroll_loops || flag_peel_loops;
1727 if (flag_web == AUTODETECT_VALUE)
1728 flag_web = flag_unroll_loops || flag_peel_loops;
1729 if (flag_rename_registers == AUTODETECT_VALUE)
1730 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1732 if (flag_non_call_exceptions)
1733 flag_asynchronous_unwind_tables = 1;
1734 if (flag_asynchronous_unwind_tables)
1735 flag_unwind_tables = 1;
1737 if (flag_value_profile_transformations)
1738 flag_profile_values = 1;
1740 /* Warn about options that are not supported on this machine. */
1741 #ifndef INSN_SCHEDULING
1742 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1743 warning (0, "instruction scheduling not supported on this target machine");
1744 #endif
1745 #ifndef DELAY_SLOTS
1746 if (flag_delayed_branch)
1747 warning (0, "this target machine does not have delayed branches");
1748 #endif
1750 user_label_prefix = USER_LABEL_PREFIX;
1751 if (flag_leading_underscore != -1)
1753 /* If the default prefix is more complicated than "" or "_",
1754 issue a warning and ignore this option. */
1755 if (user_label_prefix[0] == 0 ||
1756 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1758 user_label_prefix = flag_leading_underscore ? "_" : "";
1760 else
1761 warning (0, "-f%sleading-underscore not supported on this target machine",
1762 flag_leading_underscore ? "" : "no-");
1765 /* If we are in verbose mode, write out the version and maybe all the
1766 option flags in use. */
1767 if (version_flag)
1769 print_version (stderr, "");
1770 if (! quiet_flag)
1771 print_switch_values (print_to_stderr);
1774 if (flag_syntax_only)
1776 write_symbols = NO_DEBUG;
1777 profile_flag = 0;
1780 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1781 level is 0. */
1782 if (debug_info_level == DINFO_LEVEL_NONE)
1783 write_symbols = NO_DEBUG;
1785 /* Now we know write_symbols, set up the debug hooks based on it.
1786 By default we do nothing for debug output. */
1787 if (PREFERRED_DEBUGGING_TYPE == NO_DEBUG)
1788 default_debug_hooks = &do_nothing_debug_hooks;
1789 #if defined(DBX_DEBUGGING_INFO)
1790 else if (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG)
1791 default_debug_hooks = &dbx_debug_hooks;
1792 #endif
1793 #if defined(XCOFF_DEBUGGING_INFO)
1794 else if (PREFERRED_DEBUGGING_TYPE == XCOFF_DEBUG)
1795 default_debug_hooks = &xcoff_debug_hooks;
1796 #endif
1797 #ifdef SDB_DEBUGGING_INFO
1798 else if (PREFERRED_DEBUGGING_TYPE == SDB_DEBUG)
1799 default_debug_hooks = &sdb_debug_hooks;
1800 #endif
1801 #ifdef DWARF2_DEBUGGING_INFO
1802 else if (PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG)
1803 default_debug_hooks = &dwarf2_debug_hooks;
1804 #endif
1805 #ifdef VMS_DEBUGGING_INFO
1806 else if (PREFERRED_DEBUGGING_TYPE == VMS_DEBUG
1807 || PREFERRED_DEBUGGING_TYPE == VMS_AND_DWARF2_DEBUG)
1808 default_debug_hooks = &vmsdbg_debug_hooks;
1809 #endif
1811 if (write_symbols == NO_DEBUG)
1813 #if defined(DBX_DEBUGGING_INFO)
1814 else if (write_symbols == DBX_DEBUG)
1815 debug_hooks = &dbx_debug_hooks;
1816 #endif
1817 #if defined(XCOFF_DEBUGGING_INFO)
1818 else if (write_symbols == XCOFF_DEBUG)
1819 debug_hooks = &xcoff_debug_hooks;
1820 #endif
1821 #ifdef SDB_DEBUGGING_INFO
1822 else if (write_symbols == SDB_DEBUG)
1823 debug_hooks = &sdb_debug_hooks;
1824 #endif
1825 #ifdef DWARF2_DEBUGGING_INFO
1826 else if (write_symbols == DWARF2_DEBUG)
1827 debug_hooks = &dwarf2_debug_hooks;
1828 #endif
1829 #ifdef VMS_DEBUGGING_INFO
1830 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1831 debug_hooks = &vmsdbg_debug_hooks;
1832 #endif
1833 else
1834 error ("target system does not support the \"%s\" debug format",
1835 debug_type_names[write_symbols]);
1837 /* Now we know which debug output will be used so we can set
1838 flag_var_tracking, flag_rename_registers if the user has
1839 not specified them. */
1840 if (debug_info_level < DINFO_LEVEL_NORMAL
1841 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1843 if (flag_var_tracking == 1
1844 || flag_var_tracking_uninit == 1)
1846 if (debug_info_level < DINFO_LEVEL_NORMAL)
1847 warning (0, "variable tracking requested, but useless unless "
1848 "producing debug info");
1849 else
1850 warning (0, "variable tracking requested, but not supported "
1851 "by this debug format");
1853 flag_var_tracking = 0;
1854 flag_var_tracking_uninit = 0;
1857 if (flag_rename_registers == AUTODETECT_VALUE)
1858 flag_rename_registers = default_debug_hooks->var_location
1859 != do_nothing_debug_hooks.var_location;
1861 if (flag_var_tracking == AUTODETECT_VALUE)
1862 flag_var_tracking = optimize >= 1;
1864 if (flag_tree_cselim == AUTODETECT_VALUE)
1865 #ifdef HAVE_conditional_move
1866 flag_tree_cselim = 1;
1867 #else
1868 flag_tree_cselim = 0;
1869 #endif
1871 /* If the user specifically requested variable tracking with tagging
1872 uninitialized variables, we need to turn on variable tracking.
1873 (We already determined above that variable tracking is feasible.) */
1874 if (flag_var_tracking_uninit)
1875 flag_var_tracking = 1;
1877 /* If auxiliary info generation is desired, open the output file.
1878 This goes in the same directory as the source file--unlike
1879 all the other output files. */
1880 if (flag_gen_aux_info)
1882 aux_info_file = fopen (aux_info_file_name, "w");
1883 if (aux_info_file == 0)
1884 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1887 if (! targetm.have_named_sections)
1889 if (flag_function_sections)
1891 warning (0, "-ffunction-sections not supported for this target");
1892 flag_function_sections = 0;
1894 if (flag_data_sections)
1896 warning (0, "-fdata-sections not supported for this target");
1897 flag_data_sections = 0;
1901 if (flag_function_sections && profile_flag)
1903 warning (0, "-ffunction-sections disabled; it makes profiling impossible");
1904 flag_function_sections = 0;
1907 #ifndef HAVE_prefetch
1908 if (flag_prefetch_loop_arrays)
1910 warning (0, "-fprefetch-loop-arrays not supported for this target");
1911 flag_prefetch_loop_arrays = 0;
1913 #else
1914 if (flag_prefetch_loop_arrays && !HAVE_prefetch)
1916 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1917 flag_prefetch_loop_arrays = 0;
1919 #endif
1921 /* This combination of options isn't handled for i386 targets and doesn't
1922 make much sense anyway, so don't allow it. */
1923 if (flag_prefetch_loop_arrays && optimize_size)
1925 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1926 flag_prefetch_loop_arrays = 0;
1929 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1930 if (flag_signaling_nans)
1931 flag_trapping_math = 1;
1933 /* We cannot reassociate if we want traps or signed zeros.  */
1934 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1936 warning (0, "-fassociative-math disabled; other options take precedence");
1937 flag_associative_math = 0;
1940 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1941 if (flag_cx_limited_range)
1942 flag_complex_method = 0;
1944 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1945 if (flag_cx_fortran_rules)
1946 flag_complex_method = 1;
1948 /* Targets must be able to place spill slots at lower addresses. If the
1949 target already uses a soft frame pointer, the transition is trivial. */
1950 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1952 warning (0, "-fstack-protector not supported for this target");
1953 flag_stack_protect = 0;
1955 if (!flag_stack_protect)
1956 warn_stack_protect = 0;
1958 /* ??? Unwind info is not correct around the CFG unless either a frame
1959 pointer is present or A_O_A is set. Fixing this requires rewriting
1960 unwind info generation to be aware of the CFG and propagating states
1961 around edges. */
1962 if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS
1963 && flag_omit_frame_pointer)
1965 warning (0, "unwind tables currently require a frame pointer "
1966 "for correctness");
1967 flag_omit_frame_pointer = 0;
1971 /* This function can be called multiple times to reinitialize the compiler
1972 back end when register classes or instruction sets have changed,
1973 before each function. */
1974 static void
1975 backend_init_target (void)
1977 /* Initialize alignment variables. */
1978 init_alignments ();
1980 /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
1981 to initialize reg_raw_mode[]. */
1982 init_emit_regs ();
1984 /* This invokes target hooks to set fixed_reg[] etc, which is
1985 mode-dependent. */
1986 init_regs ();
1988 /* This depends on stack_pointer_rtx. */
1989 init_fake_stack_mems ();
1991 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1992 mode-dependent. */
1993 init_alias_target ();
1995 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1996 init_reload ();
1998 /* The following initialization functions need to generate rtl, so
1999 provide a dummy function context for them. */
2000 init_dummy_function_start ();
2002 /* rtx_cost is mode-dependent, so cached values need to be recomputed
2003 on a mode change. */
2004 init_expmed ();
2006 /* We may need to recompute regno_save_code[] and regno_restore_code[]
2007 after a mode change as well. */
2008 if (flag_caller_saves)
2009 init_caller_save ();
2010 expand_dummy_function_end ();
2013 /* Initialize the compiler back end. This function is called only once,
2014 when starting the compiler. */
2015 static void
2016 backend_init (void)
2018 init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL
2019 || debug_info_level == DINFO_LEVEL_VERBOSE
2020 #ifdef VMS_DEBUGGING_INFO
2021 /* Enable line number info for traceback. */
2022 || debug_info_level > DINFO_LEVEL_NONE
2023 #endif
2024 || flag_test_coverage);
2026 init_rtlanal ();
2027 init_inline_once ();
2028 init_varasm_once ();
2029 save_register_info ();
2031 /* Initialize the target-specific back end pieces. */
2032 ira_init_once ();
2033 backend_init_target ();
2036 /* Initialize things that are both lang-dependent and target-dependent.
2037 This function can be called more than once if target parameters change. */
2038 static void
2039 lang_dependent_init_target (void)
2041 /* This creates various _DECL nodes, so needs to be called after the
2042 front end is initialized. It also depends on the HAVE_xxx macros
2043 generated from the target machine description. */
2044 init_optabs ();
2046 /* The following initialization functions need to generate rtl, so
2047 provide a dummy function context for them. */
2048 init_dummy_function_start ();
2050 /* Do the target-specific parts of expr initialization. */
2051 init_expr_target ();
2053 /* Although the actions of these functions are language-independent,
2054 they use optabs, so we cannot call them from backend_init. */
2055 init_set_costs ();
2056 ira_init ();
2058 expand_dummy_function_end ();
2061 /* Language-dependent initialization. Returns nonzero on success. */
2062 static int
2063 lang_dependent_init (const char *name)
2065 location_t save_loc = input_location;
2066 if (dump_base_name == 0)
2067 dump_base_name = name && name[0] ? name : "gccdump";
2069 /* Other front-end initialization. */
2070 input_location = BUILTINS_LOCATION;
2071 if (lang_hooks.init () == 0)
2072 return 0;
2073 input_location = save_loc;
2075 init_asm_output (name);
2077 /* This creates various _DECL nodes, so needs to be called after the
2078 front end is initialized. */
2079 init_eh ();
2081 /* Do the target-specific parts of the initialization. */
2082 lang_dependent_init_target ();
2084 /* If dbx symbol table desired, initialize writing it and output the
2085 predefined types. */
2086 timevar_push (TV_SYMOUT);
2088 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
2089 if (dwarf2out_do_frame ())
2090 dwarf2out_frame_init ();
2091 #endif
2093 /* Now we have the correct original filename, we can initialize
2094 debug output. */
2095 (*debug_hooks->init) (name);
2097 timevar_pop (TV_SYMOUT);
2099 return 1;
2103 /* Reinitialize everything when target parameters, such as register usage,
2104 have changed. */
2105 void
2106 target_reinit (void)
2108 /* Reinitialize RTL backend. */
2109 backend_init_target ();
2111 /* Reinitialize lang-dependent parts. */
2112 lang_dependent_init_target ();
2115 void
2116 dump_memory_report (bool final)
2118 ggc_print_statistics ();
2119 stringpool_statistics ();
2120 dump_tree_statistics ();
2121 dump_gimple_statistics ();
2122 dump_rtx_statistics ();
2123 dump_varray_statistics ();
2124 dump_alloc_pool_statistics ();
2125 dump_bitmap_statistics ();
2126 dump_vec_loc_statistics ();
2127 dump_ggc_loc_statistics (final);
2130 /* Clean up: close opened files, etc. */
2132 static void
2133 finalize (void)
2135 /* Close the dump files. */
2136 if (flag_gen_aux_info)
2138 fclose (aux_info_file);
2139 if (errorcount)
2140 unlink (aux_info_file_name);
2143 /* Close non-debugging input and output files. Take special care to note
2144 whether fclose returns an error, since the pages might still be on the
2145 buffer chain while the file is open. */
2147 if (asm_out_file)
2149 if (ferror (asm_out_file) != 0)
2150 fatal_error ("error writing to %s: %m", asm_file_name);
2151 if (fclose (asm_out_file) != 0)
2152 fatal_error ("error closing %s: %m", asm_file_name);
2155 statistics_fini ();
2156 finish_optimization_passes ();
2158 ira_finish_once ();
2160 if (mem_report)
2161 dump_memory_report (true);
2163 /* Language-specific end of compilation actions. */
2164 lang_hooks.finish ();
2167 /* Initialize the compiler, and compile the input file. */
2168 static void
2169 do_compile (void)
2171 /* Initialize timing first. The C front ends read the main file in
2172 the post_options hook, and C++ does file timings. */
2173 if (time_report || !quiet_flag || flag_detailed_statistics)
2174 timevar_init ();
2175 timevar_start (TV_TOTAL);
2177 process_options ();
2179 /* Don't do any more if an error has already occurred. */
2180 if (!errorcount)
2182 /* This must be run always, because it is needed to compute the FP
2183 predefined macros, such as __LDBL_MAX__, for targets using non
2184 default FP formats. */
2185 init_adjust_machine_modes ();
2187 /* Set up the back-end if requested. */
2188 if (!no_backend)
2189 backend_init ();
2191 /* Language-dependent initialization. Returns true on success. */
2192 if (lang_dependent_init (main_input_filename))
2193 compile_file ();
2195 finalize ();
2198 /* Stop timing and print the times. */
2199 timevar_stop (TV_TOTAL);
2200 timevar_print (stderr);
2203 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2204 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2205 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2207 It is not safe to call this function more than once. */
2210 toplev_main (unsigned int argc, const char **argv)
2212 save_argv = argv;
2214 /* Initialization of GCC's environment, and diagnostics. */
2215 general_init (argv[0]);
2217 /* Parse the options and do minimal processing; basically just
2218 enough to default flags appropriately. */
2219 decode_options (argc, argv);
2221 init_local_tick ();
2223 /* Exit early if we can (e.g. -help). */
2224 if (!exit_after_options)
2225 do_compile ();
2227 if (warningcount || errorcount)
2228 print_ignored_options ();
2230 if (errorcount || sorrycount)
2231 return (FATAL_EXIT_CODE);
2233 return (SUCCESS_EXIT_CODE);