toplev.c revision 169699
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 4 Free Software Foundation, Inc. 5 6This file is part of GCC. 7 8GCC is free software; you can redistribute it and/or modify it under 9the terms of the GNU General Public License as published by the Free 10Software Foundation; either version 2, or (at your option) any later 11version. 12 13GCC is distributed in the hope that it will be useful, but WITHOUT ANY 14WARRANTY; without even the implied warranty of MERCHANTABILITY or 15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 16for more details. 17 18You should have received a copy of the GNU General Public License 19along with GCC; see the file COPYING. If not, write to the Free 20Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 2102110-1301, USA. */ 22 23/* $FreeBSD: head/contrib/gcc/toplev.c 169699 2007-05-19 02:12:21Z kan $ */ 24 25/* This is the top level of cc1/c++. 26 It parses command args, opens files, invokes the various passes 27 in the proper order, and counts the time used by each. 28 Error messages and low-level interface to malloc also handled here. */ 29 30#include "config.h" 31#undef FLOAT /* This is for hpux. They should change hpux. */ 32#undef FFS /* Some systems define this in param.h. */ 33#include "system.h" 34#include "coretypes.h" 35#include "tm.h" 36#include <signal.h> 37 38#ifdef HAVE_SYS_RESOURCE_H 39# include <sys/resource.h> 40#endif 41 42#ifdef HAVE_SYS_TIMES_H 43# include <sys/times.h> 44#endif 45 46#include "line-map.h" 47#include "input.h" 48#include "tree.h" 49#include "version.h" 50#include "rtl.h" 51#include "tm_p.h" 52#include "flags.h" 53#include "insn-attr.h" 54#include "insn-config.h" 55#include "insn-flags.h" 56#include "hard-reg-set.h" 57#include "recog.h" 58#include "output.h" 59#include "except.h" 60#include "function.h" 61#include "toplev.h" 62#include "expr.h" 63#include "basic-block.h" 64#include "intl.h" 65#include "ggc.h" 66#include "graph.h" 67#include "regs.h" 68#include "timevar.h" 69#include "diagnostic.h" 70#include "params.h" 71#include "reload.h" 72#include "dwarf2asm.h" 73#include "integrate.h" 74#include "real.h" 75#include "debug.h" 76#include "target.h" 77#include "langhooks.h" 78#include "cfglayout.h" 79#include "cfgloop.h" 80#include "hosthooks.h" 81#include "cgraph.h" 82#include "opts.h" 83#include "coverage.h" 84#include "value-prof.h" 85#include "alloc-pool.h" 86#include "tree-mudflap.h" 87 88#if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO) 89#include "dwarf2out.h" 90#endif 91 92#if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO) 93#include "dbxout.h" 94#endif 95 96#ifdef SDB_DEBUGGING_INFO 97#include "sdbout.h" 98#endif 99 100#ifdef XCOFF_DEBUGGING_INFO 101#include "xcoffout.h" /* Needed for external data 102 declarations for e.g. AIX 4.x. */ 103#endif 104 105static void general_init (const char *); 106static void do_compile (void); 107static void process_options (void); 108static void backend_init (void); 109static int lang_dependent_init (const char *); 110static void init_asm_output (const char *); 111static void finalize (void); 112 113static void crash_signal (int) ATTRIBUTE_NORETURN; 114static void setup_core_dumping (void); 115static void compile_file (void); 116 117static int print_single_switch (FILE *, int, int, const char *, 118 const char *, const char *, 119 const char *, const char *); 120static void print_switch_values (FILE *, int, int, const char *, 121 const char *, const char *); 122 123/* Nonzero to dump debug info whilst parsing (-dy option). */ 124static int set_yydebug; 125 126/* True if we don't need a backend (e.g. preprocessing only). */ 127static bool no_backend; 128 129/* Length of line when printing switch values. */ 130#define MAX_LINE 75 131 132/* Name of program invoked, sans directories. */ 133 134const char *progname; 135 136/* Copy of argument vector to toplev_main. */ 137static const char **save_argv; 138 139/* Name of top-level original source file (what was input to cpp). 140 This comes from the #-command at the beginning of the actual input. 141 If there isn't any there, then this is the cc1 input file name. */ 142 143const char *main_input_filename; 144 145#ifndef USE_MAPPED_LOCATION 146location_t unknown_location = { NULL, 0 }; 147#endif 148 149/* Used to enable -fvar-tracking, -fweb and -frename-registers according 150 to optimize and default_debug_hooks in process_options (). */ 151#define AUTODETECT_VALUE 2 152 153/* Current position in real source file. */ 154 155location_t input_location; 156 157struct line_maps line_table; 158 159/* Nonzero if it is unsafe to create any new pseudo registers. */ 160int no_new_pseudos; 161 162/* Stack of currently pending input files. */ 163 164struct file_stack *input_file_stack; 165 166/* Incremented on each change to input_file_stack. */ 167int input_file_stack_tick; 168 169/* Record of input_file_stack at each tick. */ 170typedef struct file_stack *fs_p; 171DEF_VEC_P(fs_p); 172DEF_VEC_ALLOC_P(fs_p,heap); 173static VEC(fs_p,heap) *input_file_stack_history; 174 175/* Whether input_file_stack has been restored to a previous state (in 176 which case there should be no more pushing). */ 177static bool input_file_stack_restored; 178 179/* Name to use as base of names for dump output files. */ 180 181const char *dump_base_name; 182 183/* Name to use as a base for auxiliary output files. */ 184 185const char *aux_base_name; 186 187/* Bit flags that specify the machine subtype we are compiling for. 188 Bits are tested using macros TARGET_... defined in the tm.h file 189 and set by `-m...' switches. Must be defined in rtlanal.c. */ 190 191extern int target_flags; 192 193/* A mask of target_flags that includes bit X if X was set or cleared 194 on the command line. */ 195 196int target_flags_explicit; 197 198/* Debug hooks - dependent upon command line options. */ 199 200const struct gcc_debug_hooks *debug_hooks; 201 202/* Debug hooks - target default. */ 203 204static const struct gcc_debug_hooks *default_debug_hooks; 205 206/* Other flags saying which kinds of debugging dump have been requested. */ 207 208int rtl_dump_and_exit; 209int flag_print_asm_name; 210enum graph_dump_types graph_dump_format; 211 212/* Name for output file of assembly code, specified with -o. */ 213 214const char *asm_file_name; 215 216/* Nonzero means do optimizations. -O. 217 Particular numeric values stand for particular amounts of optimization; 218 thus, -O2 stores 2 here. However, the optimizations beyond the basic 219 ones are not controlled directly by this variable. Instead, they are 220 controlled by individual `flag_...' variables that are defaulted 221 based on this variable. */ 222 223int optimize = 0; 224 225/* Nonzero means optimize for size. -Os. 226 The only valid values are zero and nonzero. When optimize_size is 227 nonzero, optimize defaults to 2, but certain individual code 228 bloating optimizations are disabled. */ 229 230int optimize_size = 0; 231 232/* The FUNCTION_DECL for the function currently being compiled, 233 or 0 if between functions. */ 234tree current_function_decl; 235 236/* Set to the FUNC_BEGIN label of the current function, or NULL 237 if none. */ 238const char * current_function_func_begin_label; 239 240/* Temporarily suppress certain warnings. 241 This is set while reading code from a system header file. */ 242 243int in_system_header = 0; 244 245/* Nonzero means to collect statistics which might be expensive 246 and to print them when we are done. */ 247int flag_detailed_statistics = 0; 248 249/* A random sequence of characters, unless overridden by user. */ 250const char *flag_random_seed; 251 252/* A local time stamp derived from the time of compilation. It will be 253 zero if the system cannot provide a time. It will be -1u, if the 254 user has specified a particular random seed. */ 255unsigned local_tick; 256 257/* -f flags. */ 258 259/* Nonzero means `char' should be signed. */ 260 261int flag_signed_char; 262 263/* Nonzero means give an enum type only as many bytes as it needs. A value 264 of 2 means it has not yet been initialized. */ 265 266int flag_short_enums; 267 268/* Nonzero if structures and unions should be returned in memory. 269 270 This should only be defined if compatibility with another compiler or 271 with an ABI is needed, because it results in slower code. */ 272 273#ifndef DEFAULT_PCC_STRUCT_RETURN 274#define DEFAULT_PCC_STRUCT_RETURN 1 275#endif 276 277/* Nonzero for -fpcc-struct-return: return values the same way PCC does. */ 278 279int flag_pcc_struct_return = DEFAULT_PCC_STRUCT_RETURN; 280 281/* 0 means straightforward implementation of complex divide acceptable. 282 1 means wide ranges of inputs must work for complex divide. 283 2 means C99-like requirements for complex multiply and divide. */ 284 285int flag_complex_method = 1; 286 287/* Nonzero means that we don't want inlining by virtue of -fno-inline, 288 not just because the tree inliner turned us off. */ 289 290int flag_really_no_inline = 2; 291 292/* Nonzero means we should be saving declaration info into a .X file. */ 293 294int flag_gen_aux_info = 0; 295 296/* Specified name of aux-info file. */ 297 298const char *aux_info_file_name; 299 300/* Nonzero if we are compiling code for a shared library, zero for 301 executable. */ 302 303int flag_shlib; 304 305/* Generate code for GNU or NeXT Objective-C runtime environment. */ 306 307#ifdef NEXT_OBJC_RUNTIME 308int flag_next_runtime = 1; 309#else 310int flag_next_runtime = 0; 311#endif 312 313/* Set to the default thread-local storage (tls) model to use. */ 314 315enum tls_model flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC; 316 317/* Nonzero means change certain warnings into errors. 318 Usually these are warnings about failure to conform to some standard. */ 319 320int flag_pedantic_errors = 0; 321 322/* -dA causes debug commentary information to be produced in 323 the generated assembly code (to make it more readable). This option 324 is generally only of use to those who actually need to read the 325 generated assembly code (perhaps while debugging the compiler itself). 326 Currently, this switch is only used by dwarfout.c; however, it is intended 327 to be a catchall for printing debug information in the assembler file. */ 328 329int flag_debug_asm = 0; 330 331/* -dP causes the rtl to be emitted as a comment in assembly. */ 332 333int flag_dump_rtl_in_asm = 0; 334 335/* When non-NULL, indicates that whenever space is allocated on the 336 stack, the resulting stack pointer must not pass this 337 address---that is, for stacks that grow downward, the stack pointer 338 must always be greater than or equal to this address; for stacks 339 that grow upward, the stack pointer must be less than this address. 340 At present, the rtx may be either a REG or a SYMBOL_REF, although 341 the support provided depends on the backend. */ 342rtx stack_limit_rtx; 343 344/* If one, renumber instruction UIDs to reduce the number of 345 unused UIDs if there are a lot of instructions. If greater than 346 one, unconditionally renumber instruction UIDs. */ 347int flag_renumber_insns = 1; 348 349/* Nonzero if we should track variables. When 350 flag_var_tracking == AUTODETECT_VALUE it will be set according 351 to optimize, debug_info_level and debug_hooks in process_options (). */ 352int flag_var_tracking = AUTODETECT_VALUE; 353 354/* True if the user has tagged the function with the 'section' 355 attribute. */ 356 357bool user_defined_section_attribute = false; 358 359/* Values of the -falign-* flags: how much to align labels in code. 360 0 means `use default', 1 means `don't align'. 361 For each variable, there is an _log variant which is the power 362 of two not less than the variable, for .align output. */ 363 364int align_loops_log; 365int align_loops_max_skip; 366int align_jumps_log; 367int align_jumps_max_skip; 368int align_labels_log; 369int align_labels_max_skip; 370int align_functions_log; 371 372/* Like align_functions_log above, but used by front-ends to force the 373 minimum function alignment. Zero means no alignment is forced. */ 374int force_align_functions_log; 375 376typedef struct 377{ 378 const char *const string; 379 int *const variable; 380 const int on_value; 381} 382lang_independent_options; 383 384/* Nonzero if subexpressions must be evaluated from left-to-right. */ 385int flag_evaluation_order = 0; 386 387/* The user symbol prefix after having resolved same. */ 388const char *user_label_prefix; 389 390static const param_info lang_independent_params[] = { 391#define DEFPARAM(ENUM, OPTION, HELP, DEFAULT, MIN, MAX) \ 392 { OPTION, DEFAULT, MIN, MAX, HELP }, 393#include "params.def" 394#undef DEFPARAM 395 { NULL, 0, 0, 0, NULL } 396}; 397 398/* Output files for assembler code (real compiler output) 399 and debugging dumps. */ 400 401FILE *asm_out_file; 402FILE *aux_info_file; 403FILE *dump_file = NULL; 404const char *dump_file_name; 405 406/* The current working directory of a translation. It's generally the 407 directory from which compilation was initiated, but a preprocessed 408 file may specify the original directory in which it was 409 created. */ 410 411static const char *src_pwd; 412 413/* Initialize src_pwd with the given string, and return true. If it 414 was already initialized, return false. As a special case, it may 415 be called with a NULL argument to test whether src_pwd has NOT been 416 initialized yet. */ 417 418bool 419set_src_pwd (const char *pwd) 420{ 421 if (src_pwd) 422 { 423 if (strcmp (src_pwd, pwd) == 0) 424 return true; 425 else 426 return false; 427 } 428 429 src_pwd = xstrdup (pwd); 430 return true; 431} 432 433/* Return the directory from which the translation unit was initiated, 434 in case set_src_pwd() was not called before to assign it a 435 different value. */ 436 437const char * 438get_src_pwd (void) 439{ 440 if (! src_pwd) 441 { 442 src_pwd = getpwd (); 443 if (!src_pwd) 444 src_pwd = "."; 445 } 446 447 return src_pwd; 448} 449 450/* Called when the start of a function definition is parsed, 451 this function prints on stderr the name of the function. */ 452void 453announce_function (tree decl) 454{ 455 if (!quiet_flag) 456 { 457 if (rtl_dump_and_exit) 458 fprintf (stderr, "%s ", IDENTIFIER_POINTER (DECL_NAME (decl))); 459 else 460 fprintf (stderr, " %s", lang_hooks.decl_printable_name (decl, 2)); 461 fflush (stderr); 462 pp_needs_newline (global_dc->printer) = true; 463 diagnostic_set_last_function (global_dc); 464 } 465} 466 467/* Set up a default flag_random_seed and local_tick, unless the user 468 already specified one. */ 469 470static void 471randomize (void) 472{ 473 if (!flag_random_seed) 474 { 475 unsigned HOST_WIDE_INT value; 476 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3]; 477 478 /* Get some more or less random data. */ 479#ifdef HAVE_GETTIMEOFDAY 480 { 481 struct timeval tv; 482 483 gettimeofday (&tv, NULL); 484 local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000; 485 } 486#else 487 { 488 time_t now = time (NULL); 489 490 if (now != (time_t)-1) 491 local_tick = (unsigned) now; 492 } 493#endif 494 value = local_tick ^ getpid (); 495 496 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value); 497 flag_random_seed = random_seed; 498 } 499 else if (!local_tick) 500 local_tick = -1; 501} 502 503 504/* Decode the string P as an integral parameter. 505 If the string is indeed an integer return its numeric value else 506 issue an Invalid Option error for the option PNAME and return DEFVAL. 507 If PNAME is zero just return DEFVAL, do not call error. */ 508 509int 510read_integral_parameter (const char *p, const char *pname, const int defval) 511{ 512 const char *endp = p; 513 514 while (*endp) 515 { 516 if (ISDIGIT (*endp)) 517 endp++; 518 else 519 break; 520 } 521 522 if (*endp != 0) 523 { 524 if (pname != 0) 525 error ("invalid option argument %qs", pname); 526 return defval; 527 } 528 529 return atoi (p); 530} 531 532/* When compiling with a recent enough GCC, we use the GNU C "extern inline" 533 for floor_log2 and exact_log2; see toplev.h. That construct, however, 534 conflicts with the ISO C++ One Definition Rule. */ 535 536#if GCC_VERSION < 3004 || !defined (__cplusplus) 537 538/* Given X, an unsigned number, return the largest int Y such that 2**Y <= X. 539 If X is 0, return -1. */ 540 541int 542floor_log2 (unsigned HOST_WIDE_INT x) 543{ 544 int t = 0; 545 546 if (x == 0) 547 return -1; 548 549#ifdef CLZ_HWI 550 t = HOST_BITS_PER_WIDE_INT - 1 - (int) CLZ_HWI (x); 551#else 552 if (HOST_BITS_PER_WIDE_INT > 64) 553 if (x >= (unsigned HOST_WIDE_INT) 1 << (t + 64)) 554 t += 64; 555 if (HOST_BITS_PER_WIDE_INT > 32) 556 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 32)) 557 t += 32; 558 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 16)) 559 t += 16; 560 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 8)) 561 t += 8; 562 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 4)) 563 t += 4; 564 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 2)) 565 t += 2; 566 if (x >= ((unsigned HOST_WIDE_INT) 1) << (t + 1)) 567 t += 1; 568#endif 569 570 return t; 571} 572 573/* Return the logarithm of X, base 2, considering X unsigned, 574 if X is a power of 2. Otherwise, returns -1. */ 575 576int 577exact_log2 (unsigned HOST_WIDE_INT x) 578{ 579 if (x != (x & -x)) 580 return -1; 581#ifdef CTZ_HWI 582 return x ? CTZ_HWI (x) : -1; 583#else 584 return floor_log2 (x); 585#endif 586} 587 588#endif /* GCC_VERSION < 3004 || !defined (__cplusplus) */ 589 590/* Handler for fatal signals, such as SIGSEGV. These are transformed 591 into ICE messages, which is much more user friendly. In case the 592 error printer crashes, reset the signal to prevent infinite recursion. */ 593 594static void 595crash_signal (int signo) 596{ 597 signal (signo, SIG_DFL); 598 599 /* If we crashed while processing an ASM statement, then be a little more 600 graceful. It's most likely the user's fault. */ 601 if (this_is_asm_operands) 602 { 603 output_operand_lossage ("unrecoverable error"); 604 exit (FATAL_EXIT_CODE); 605 } 606 607 internal_error ("%s", strsignal (signo)); 608} 609 610/* Arrange to dump core on error. (The regular error message is still 611 printed first, except in the case of abort().) */ 612 613static void 614setup_core_dumping (void) 615{ 616#ifdef SIGABRT 617 signal (SIGABRT, SIG_DFL); 618#endif 619#if defined(HAVE_SETRLIMIT) 620 { 621 struct rlimit rlim; 622 if (getrlimit (RLIMIT_CORE, &rlim) != 0) 623 fatal_error ("getting core file size maximum limit: %m"); 624 rlim.rlim_cur = rlim.rlim_max; 625 if (setrlimit (RLIMIT_CORE, &rlim) != 0) 626 fatal_error ("setting core file size limit to maximum: %m"); 627 } 628#endif 629 diagnostic_abort_on_error (global_dc); 630} 631 632 633/* Strip off a legitimate source ending from the input string NAME of 634 length LEN. Rather than having to know the names used by all of 635 our front ends, we strip off an ending of a period followed by 636 up to five characters. (Java uses ".class".) */ 637 638void 639strip_off_ending (char *name, int len) 640{ 641 int i; 642 for (i = 2; i < 6 && len > i; i++) 643 { 644 if (name[len - i] == '.') 645 { 646 name[len - i] = '\0'; 647 break; 648 } 649 } 650} 651 652/* Output a quoted string. */ 653 654void 655output_quoted_string (FILE *asm_file, const char *string) 656{ 657#ifdef OUTPUT_QUOTED_STRING 658 OUTPUT_QUOTED_STRING (asm_file, string); 659#else 660 char c; 661 662 putc ('\"', asm_file); 663 while ((c = *string++) != 0) 664 { 665 if (ISPRINT (c)) 666 { 667 if (c == '\"' || c == '\\') 668 putc ('\\', asm_file); 669 putc (c, asm_file); 670 } 671 else 672 fprintf (asm_file, "\\%03o", (unsigned char) c); 673 } 674 putc ('\"', asm_file); 675#endif 676} 677 678/* Output a file name in the form wanted by System V. */ 679 680void 681output_file_directive (FILE *asm_file, const char *input_name) 682{ 683 int len; 684 const char *na; 685 686 if (input_name == NULL) 687 input_name = "<stdin>"; 688 689 len = strlen (input_name); 690 na = input_name + len; 691 692 /* NA gets INPUT_NAME sans directory names. */ 693 while (na > input_name) 694 { 695 if (IS_DIR_SEPARATOR (na[-1])) 696 break; 697 na--; 698 } 699 700#ifdef ASM_OUTPUT_SOURCE_FILENAME 701 ASM_OUTPUT_SOURCE_FILENAME (asm_file, na); 702#else 703 fprintf (asm_file, "\t.file\t"); 704 output_quoted_string (asm_file, na); 705 fputc ('\n', asm_file); 706#endif 707} 708 709/* A subroutine of wrapup_global_declarations. We've come to the end of 710 the compilation unit. All deferred variables should be undeferred, 711 and all incomplete decls should be finalized. */ 712 713void 714wrapup_global_declaration_1 (tree decl) 715{ 716 /* We're not deferring this any longer. Assignment is conditional to 717 avoid needlessly dirtying PCH pages. */ 718 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS) 719 && DECL_DEFER_OUTPUT (decl) != 0) 720 DECL_DEFER_OUTPUT (decl) = 0; 721 722 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0) 723 lang_hooks.finish_incomplete_decl (decl); 724} 725 726/* A subroutine of wrapup_global_declarations. Decide whether or not DECL 727 needs to be output. Return true if it is output. */ 728 729bool 730wrapup_global_declaration_2 (tree decl) 731{ 732 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)) 733 return false; 734 735 /* Don't write out static consts, unless we still need them. 736 737 We also keep static consts if not optimizing (for debugging), 738 unless the user specified -fno-keep-static-consts. 739 ??? They might be better written into the debug information. 740 This is possible when using DWARF. 741 742 A language processor that wants static constants to be always 743 written out (even if it is not used) is responsible for 744 calling rest_of_decl_compilation itself. E.g. the C front-end 745 calls rest_of_decl_compilation from finish_decl. 746 One motivation for this is that is conventional in some 747 environments to write things like: 748 static const char rcsid[] = "... version string ..."; 749 intending to force the string to be in the executable. 750 751 A language processor that would prefer to have unneeded 752 static constants "optimized away" would just defer writing 753 them out until here. E.g. C++ does this, because static 754 constants are often defined in header files. 755 756 ??? A tempting alternative (for both C and C++) would be 757 to force a constant to be written if and only if it is 758 defined in a main file, as opposed to an include file. */ 759 760 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl)) 761 { 762 struct cgraph_varpool_node *node; 763 bool needed = true; 764 node = cgraph_varpool_node (decl); 765 766 if (node->finalized) 767 needed = false; 768 else if (node->alias) 769 needed = false; 770 else if (!cgraph_global_info_ready 771 && (TREE_USED (decl) 772 || TREE_USED (DECL_ASSEMBLER_NAME (decl)))) 773 /* needed */; 774 else if (node->needed) 775 /* needed */; 776 else if (DECL_COMDAT (decl)) 777 needed = false; 778 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl) 779 && (optimize || !flag_keep_static_consts 780 || DECL_ARTIFICIAL (decl))) 781 needed = false; 782 783 if (needed) 784 { 785 rest_of_decl_compilation (decl, 1, 1); 786 return true; 787 } 788 } 789 790 return false; 791} 792 793/* Do any final processing required for the declarations in VEC, of 794 which there are LEN. We write out inline functions and variables 795 that have been deferred until this point, but which are required. 796 Returns nonzero if anything was put out. */ 797 798bool 799wrapup_global_declarations (tree *vec, int len) 800{ 801 bool reconsider, output_something = false; 802 int i; 803 804 for (i = 0; i < len; i++) 805 wrapup_global_declaration_1 (vec[i]); 806 807 /* Now emit any global variables or functions that we have been 808 putting off. We need to loop in case one of the things emitted 809 here references another one which comes earlier in the list. */ 810 do 811 { 812 reconsider = false; 813 for (i = 0; i < len; i++) 814 reconsider |= wrapup_global_declaration_2 (vec[i]); 815 if (reconsider) 816 output_something = true; 817 } 818 while (reconsider); 819 820 return output_something; 821} 822 823/* A subroutine of check_global_declarations. Issue appropriate warnings 824 for the global declaration DECL. */ 825 826void 827check_global_declaration_1 (tree decl) 828{ 829 /* Warn about any function declared static but not defined. We don't 830 warn about variables, because many programs have static variables 831 that exist only to get some text into the object file. */ 832 if (TREE_CODE (decl) == FUNCTION_DECL 833 && DECL_INITIAL (decl) == 0 834 && DECL_EXTERNAL (decl) 835 && ! DECL_ARTIFICIAL (decl) 836 && ! TREE_NO_WARNING (decl) 837 && ! TREE_PUBLIC (decl) 838 && (warn_unused_function 839 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))) 840 { 841 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))) 842 pedwarn ("%q+F used but never defined", decl); 843 else 844 warning (0, "%q+F declared %<static%> but never defined", decl); 845 /* This symbol is effectively an "extern" declaration now. */ 846 TREE_PUBLIC (decl) = 1; 847 assemble_external (decl); 848 } 849 850 /* Warn about static fns or vars defined but not used. */ 851 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL) 852 /* We don't warn about "static const" variables because the 853 "rcs_id" idiom uses that construction. */ 854 || (warn_unused_variable 855 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl))) 856 && ! DECL_IN_SYSTEM_HEADER (decl) 857 && ! TREE_USED (decl) 858 /* The TREE_USED bit for file-scope decls is kept in the identifier, 859 to handle multiple external decls in different scopes. */ 860 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl))) 861 && ! DECL_EXTERNAL (decl) 862 && ! TREE_PUBLIC (decl) 863 /* A volatile variable might be used in some non-obvious way. */ 864 && ! TREE_THIS_VOLATILE (decl) 865 /* Global register variables must be declared to reserve them. */ 866 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl)) 867 /* Otherwise, ask the language. */ 868 && lang_hooks.decls.warn_unused_global (decl)) 869 warning (0, "%q+D defined but not used", decl); 870} 871 872/* Issue appropriate warnings for the global declarations in VEC (of 873 which there are LEN). */ 874 875void 876check_global_declarations (tree *vec, int len) 877{ 878 int i; 879 880 for (i = 0; i < len; i++) 881 check_global_declaration_1 (vec[i]); 882} 883 884/* Emit debugging information for all global declarations in VEC. */ 885 886void 887emit_debug_global_declarations (tree *vec, int len) 888{ 889 int i; 890 891 /* Avoid confusing the debug information machinery when there are errors. */ 892 if (errorcount != 0 || sorrycount != 0) 893 return; 894 895 timevar_push (TV_SYMOUT); 896 for (i = 0; i < len; i++) 897 debug_hooks->global_decl (vec[i]); 898 timevar_pop (TV_SYMOUT); 899} 900 901/* Warn about a use of an identifier which was marked deprecated. */ 902void 903warn_deprecated_use (tree node) 904{ 905 if (node == 0 || !warn_deprecated_decl) 906 return; 907 908 if (DECL_P (node)) 909 { 910 expanded_location xloc = expand_location (DECL_SOURCE_LOCATION (node)); 911 warning (OPT_Wdeprecated_declarations, 912 "%qs is deprecated (declared at %s:%d)", 913 IDENTIFIER_POINTER (DECL_NAME (node)), 914 xloc.file, xloc.line); 915 } 916 else if (TYPE_P (node)) 917 { 918 const char *what = NULL; 919 tree decl = TYPE_STUB_DECL (node); 920 921 if (TYPE_NAME (node)) 922 { 923 if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE) 924 what = IDENTIFIER_POINTER (TYPE_NAME (node)); 925 else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL 926 && DECL_NAME (TYPE_NAME (node))) 927 what = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (node))); 928 } 929 930 if (decl) 931 { 932 expanded_location xloc 933 = expand_location (DECL_SOURCE_LOCATION (decl)); 934 if (what) 935 warning (OPT_Wdeprecated_declarations, 936 "%qs is deprecated (declared at %s:%d)", what, 937 xloc.file, xloc.line); 938 else 939 warning (OPT_Wdeprecated_declarations, 940 "type is deprecated (declared at %s:%d)", 941 xloc.file, xloc.line); 942 } 943 else 944 { 945 if (what) 946 warning (OPT_Wdeprecated_declarations, "%qs is deprecated", what); 947 else 948 warning (OPT_Wdeprecated_declarations, "type is deprecated"); 949 } 950 } 951} 952 953/* Save the current INPUT_LOCATION on the top entry in the 954 INPUT_FILE_STACK. Push a new entry for FILE and LINE, and set the 955 INPUT_LOCATION accordingly. */ 956 957void 958#ifdef USE_MAPPED_LOCATION 959push_srcloc (location_t fline) 960#else 961push_srcloc (const char *file, int line) 962#endif 963{ 964 struct file_stack *fs; 965 966 gcc_assert (!input_file_stack_restored); 967 if (input_file_stack_tick == (int) ((1U << INPUT_FILE_STACK_BITS) - 1)) 968 sorry ("GCC supports only %d input file changes", input_file_stack_tick); 969 970 fs = XNEW (struct file_stack); 971 fs->location = input_location; 972 fs->next = input_file_stack; 973#ifdef USE_MAPPED_LOCATION 974 input_location = fline; 975#else 976 input_filename = file; 977 input_line = line; 978#endif 979 input_file_stack = fs; 980 input_file_stack_tick++; 981 VEC_safe_push (fs_p, heap, input_file_stack_history, input_file_stack); 982} 983 984/* Pop the top entry off the stack of presently open source files. 985 Restore the INPUT_LOCATION from the new topmost entry on the 986 stack. */ 987 988void 989pop_srcloc (void) 990{ 991 struct file_stack *fs; 992 993 gcc_assert (!input_file_stack_restored); 994 if (input_file_stack_tick == (int) ((1U << INPUT_FILE_STACK_BITS) - 1)) 995 sorry ("GCC supports only %d input file changes", input_file_stack_tick); 996 997 fs = input_file_stack; 998 input_location = fs->location; 999 input_file_stack = fs->next; 1000 input_file_stack_tick++; 1001 VEC_safe_push (fs_p, heap, input_file_stack_history, input_file_stack); 1002} 1003 1004/* Restore the input file stack to its state as of TICK, for the sake 1005 of diagnostics after processing the whole input. Once this has 1006 been called, push_srcloc and pop_srcloc may no longer be 1007 called. */ 1008void 1009restore_input_file_stack (int tick) 1010{ 1011 if (tick == 0) 1012 input_file_stack = NULL; 1013 else 1014 input_file_stack = VEC_index (fs_p, input_file_stack_history, tick - 1); 1015 input_file_stack_tick = tick; 1016 input_file_stack_restored = true; 1017} 1018 1019/* Compile an entire translation unit. Write a file of assembly 1020 output and various debugging dumps. */ 1021 1022static void 1023compile_file (void) 1024{ 1025 /* Initialize yet another pass. */ 1026 1027 init_cgraph (); 1028 init_final (main_input_filename); 1029 coverage_init (aux_base_name); 1030 1031 timevar_push (TV_PARSE); 1032 1033 /* Call the parser, which parses the entire file (calling 1034 rest_of_compilation for each function). */ 1035 lang_hooks.parse_file (set_yydebug); 1036 1037 /* In case there were missing block closers, 1038 get us back to the global binding level. */ 1039 lang_hooks.clear_binding_stack (); 1040 1041 /* Compilation is now finished except for writing 1042 what's left of the symbol table output. */ 1043 timevar_pop (TV_PARSE); 1044 1045 if (flag_syntax_only || errorcount || sorrycount) 1046 return; 1047 1048 lang_hooks.decls.final_write_globals (); 1049 cgraph_varpool_assemble_pending_decls (); 1050 finish_aliases_2 (); 1051 1052 /* This must occur after the loop to output deferred functions. 1053 Else the coverage initializer would not be emitted if all the 1054 functions in this compilation unit were deferred. */ 1055 coverage_finish (); 1056 1057 /* Likewise for mudflap static object registrations. */ 1058 if (flag_mudflap) 1059 mudflap_finish_file (); 1060 1061 output_shared_constant_pool (); 1062 output_object_blocks (); 1063 1064 /* Write out any pending weak symbol declarations. */ 1065 1066 weak_finish (); 1067 1068 /* Do dbx symbols. */ 1069 timevar_push (TV_SYMOUT); 1070 1071#if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO 1072 if (dwarf2out_do_frame ()) 1073 dwarf2out_frame_finish (); 1074#endif 1075 1076 (*debug_hooks->finish) (main_input_filename); 1077 timevar_pop (TV_SYMOUT); 1078 1079 /* Output some stuff at end of file if nec. */ 1080 1081 dw2_output_indirect_constants (); 1082 1083 /* Flush any pending external directives. cgraph did this for 1084 assemble_external calls from the front end, but the RTL 1085 expander can also generate them. */ 1086 process_pending_assemble_externals (); 1087 1088 /* Attach a special .ident directive to the end of the file to identify 1089 the version of GCC which compiled this code. The format of the .ident 1090 string is patterned after the ones produced by native SVR4 compilers. */ 1091#ifdef IDENT_ASM_OP 1092 if (!flag_no_ident) 1093 fprintf (asm_out_file, "%s\"GCC: (GNU) %s\"\n", 1094 IDENT_ASM_OP, version_string); 1095#endif 1096 1097 /* This must be at the end. Some target ports emit end of file directives 1098 into the assembly file here, and hence we can not output anything to the 1099 assembly file after this point. */ 1100 targetm.asm_out.file_end (); 1101} 1102 1103/* Parse a -d... command line switch. */ 1104 1105void 1106decode_d_option (const char *arg) 1107{ 1108 int c; 1109 1110 while (*arg) 1111 switch (c = *arg++) 1112 { 1113 case 'A': 1114 flag_debug_asm = 1; 1115 break; 1116 case 'p': 1117 flag_print_asm_name = 1; 1118 break; 1119 case 'P': 1120 flag_dump_rtl_in_asm = 1; 1121 flag_print_asm_name = 1; 1122 break; 1123 case 'v': 1124 graph_dump_format = vcg; 1125 break; 1126 case 'x': 1127 rtl_dump_and_exit = 1; 1128 break; 1129 case 'y': 1130 set_yydebug = 1; 1131 break; 1132 case 'D': /* These are handled by the preprocessor. */ 1133 case 'I': 1134 break; 1135 case 'H': 1136 setup_core_dumping(); 1137 break; 1138 1139 case 'a': 1140 default: 1141 if (!enable_rtl_dump_file (c)) 1142 warning (0, "unrecognized gcc debugging option: %c", c); 1143 break; 1144 } 1145} 1146 1147/* Indexed by enum debug_info_type. */ 1148const char *const debug_type_names[] = 1149{ 1150 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms" 1151}; 1152 1153/* Print version information to FILE. 1154 Each line begins with INDENT (for the case where FILE is the 1155 assembler output file). */ 1156 1157void 1158print_version (FILE *file, const char *indent) 1159{ 1160 static const char fmt1[] = 1161#ifdef __GNUC__ 1162 N_("%s%s%s version %s (%s)\n%s\tcompiled by GNU C version %s.\n") 1163#else 1164 N_("%s%s%s version %s (%s) compiled by CC.\n") 1165#endif 1166 ; 1167 static const char fmt2[] = 1168 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n"); 1169#ifndef __VERSION__ 1170#define __VERSION__ "[?]" 1171#endif 1172 fprintf (file, 1173 file == stderr ? _(fmt1) : fmt1, 1174 indent, *indent != 0 ? " " : "", 1175 lang_hooks.name, version_string, TARGET_NAME, 1176 indent, __VERSION__); 1177 fprintf (file, 1178 file == stderr ? _(fmt2) : fmt2, 1179 indent, *indent != 0 ? " " : "", 1180 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE)); 1181} 1182 1183/* Print an option value and return the adjusted position in the line. 1184 ??? We don't handle error returns from fprintf (disk full); presumably 1185 other code will catch a disk full though. */ 1186 1187static int 1188print_single_switch (FILE *file, int pos, int max, 1189 const char *indent, const char *sep, const char *term, 1190 const char *type, const char *name) 1191{ 1192 /* The ultrix fprintf returns 0 on success, so compute the result we want 1193 here since we need it for the following test. */ 1194 int len = strlen (sep) + strlen (type) + strlen (name); 1195 1196 if (pos != 0 1197 && pos + len > max) 1198 { 1199 fprintf (file, "%s", term); 1200 pos = 0; 1201 } 1202 if (pos == 0) 1203 { 1204 fprintf (file, "%s", indent); 1205 pos = strlen (indent); 1206 } 1207 fprintf (file, "%s%s%s", sep, type, name); 1208 pos += len; 1209 return pos; 1210} 1211 1212/* Print active target switches to FILE. 1213 POS is the current cursor position and MAX is the size of a "line". 1214 Each line begins with INDENT and ends with TERM. 1215 Each switch is separated from the next by SEP. */ 1216 1217static void 1218print_switch_values (FILE *file, int pos, int max, 1219 const char *indent, const char *sep, const char *term) 1220{ 1221 size_t j; 1222 const char **p; 1223 1224 /* Fill in the -frandom-seed option, if the user didn't pass it, so 1225 that it can be printed below. This helps reproducibility. */ 1226 randomize (); 1227 1228 /* Print the options as passed. */ 1229 pos = print_single_switch (file, pos, max, indent, *indent ? " " : "", term, 1230 _("options passed: "), ""); 1231 1232 for (p = &save_argv[1]; *p != NULL; p++) 1233 if (**p == '-') 1234 { 1235 /* Ignore these. */ 1236 if (strcmp (*p, "-o") == 0) 1237 { 1238 if (p[1] != NULL) 1239 p++; 1240 continue; 1241 } 1242 if (strcmp (*p, "-quiet") == 0) 1243 continue; 1244 if (strcmp (*p, "-version") == 0) 1245 continue; 1246 if ((*p)[1] == 'd') 1247 continue; 1248 1249 pos = print_single_switch (file, pos, max, indent, sep, term, *p, ""); 1250 } 1251 if (pos > 0) 1252 fprintf (file, "%s", term); 1253 1254 /* Print the -f and -m options that have been enabled. 1255 We don't handle language specific options but printing argv 1256 should suffice. */ 1257 1258 pos = print_single_switch (file, 0, max, indent, *indent ? " " : "", term, 1259 _("options enabled: "), ""); 1260 1261 for (j = 0; j < cl_options_count; j++) 1262 if ((cl_options[j].flags & CL_REPORT) 1263 && option_enabled (j) > 0) 1264 pos = print_single_switch (file, pos, max, indent, sep, term, 1265 "", cl_options[j].opt_text); 1266 1267 fprintf (file, "%s", term); 1268} 1269 1270/* Open assembly code output file. Do this even if -fsyntax-only is 1271 on, because then the driver will have provided the name of a 1272 temporary file or bit bucket for us. NAME is the file specified on 1273 the command line, possibly NULL. */ 1274static void 1275init_asm_output (const char *name) 1276{ 1277 if (name == NULL && asm_file_name == 0) 1278 asm_out_file = stdout; 1279 else 1280 { 1281 if (asm_file_name == 0) 1282 { 1283 int len = strlen (dump_base_name); 1284 char *dumpname = XNEWVEC (char, len + 6); 1285 memcpy (dumpname, dump_base_name, len + 1); 1286 strip_off_ending (dumpname, len); 1287 strcat (dumpname, ".s"); 1288 asm_file_name = dumpname; 1289 } 1290 if (!strcmp (asm_file_name, "-")) 1291 asm_out_file = stdout; 1292 else 1293 asm_out_file = fopen (asm_file_name, "w+b"); 1294 if (asm_out_file == 0) 1295 fatal_error ("can%'t open %s for writing: %m", asm_file_name); 1296 } 1297 1298 if (!flag_syntax_only) 1299 { 1300 targetm.asm_out.file_start (); 1301 1302#ifdef ASM_COMMENT_START 1303 if (flag_verbose_asm) 1304 { 1305 /* Print the list of options in effect. */ 1306 print_version (asm_out_file, ASM_COMMENT_START); 1307 print_switch_values (asm_out_file, 0, MAX_LINE, 1308 ASM_COMMENT_START, " ", "\n"); 1309 /* Add a blank line here so it appears in assembler output but not 1310 screen output. */ 1311 fprintf (asm_out_file, "\n"); 1312 } 1313#endif 1314 } 1315} 1316 1317/* Return true if the state of option OPTION should be stored in PCH files 1318 and checked by default_pch_valid_p. Store the option's current state 1319 in STATE if so. */ 1320 1321static inline bool 1322option_affects_pch_p (int option, struct cl_option_state *state) 1323{ 1324 if ((cl_options[option].flags & CL_TARGET) == 0) 1325 return false; 1326 if (cl_options[option].flag_var == &target_flags) 1327 if (targetm.check_pch_target_flags) 1328 return false; 1329 return get_option_state (option, state); 1330} 1331 1332/* Default version of get_pch_validity. 1333 By default, every flag difference is fatal; that will be mostly right for 1334 most targets, but completely right for very few. */ 1335 1336void * 1337default_get_pch_validity (size_t *len) 1338{ 1339 struct cl_option_state state; 1340 size_t i; 1341 char *result, *r; 1342 1343 *len = 2; 1344 if (targetm.check_pch_target_flags) 1345 *len += sizeof (target_flags); 1346 for (i = 0; i < cl_options_count; i++) 1347 if (option_affects_pch_p (i, &state)) 1348 *len += state.size; 1349 1350 result = r = XNEWVEC (char, *len); 1351 r[0] = flag_pic; 1352 r[1] = flag_pie; 1353 r += 2; 1354 if (targetm.check_pch_target_flags) 1355 { 1356 memcpy (r, &target_flags, sizeof (target_flags)); 1357 r += sizeof (target_flags); 1358 } 1359 1360 for (i = 0; i < cl_options_count; i++) 1361 if (option_affects_pch_p (i, &state)) 1362 { 1363 memcpy (r, state.data, state.size); 1364 r += state.size; 1365 } 1366 1367 return result; 1368} 1369 1370/* Return a message which says that a PCH file was created with a different 1371 setting of OPTION. */ 1372 1373static const char * 1374pch_option_mismatch (const char *option) 1375{ 1376 char *r; 1377 1378 asprintf (&r, _("created and used with differing settings of '%s'"), option); 1379 if (r == NULL) 1380 return _("out of memory"); 1381 return r; 1382} 1383 1384/* Default version of pch_valid_p. */ 1385 1386const char * 1387default_pch_valid_p (const void *data_p, size_t len) 1388{ 1389 struct cl_option_state state; 1390 const char *data = (const char *)data_p; 1391 size_t i; 1392 1393 /* -fpic and -fpie also usually make a PCH invalid. */ 1394 if (data[0] != flag_pic) 1395 return _("created and used with different settings of -fpic"); 1396 if (data[1] != flag_pie) 1397 return _("created and used with different settings of -fpie"); 1398 data += 2; 1399 1400 /* Check target_flags. */ 1401 if (targetm.check_pch_target_flags) 1402 { 1403 int tf; 1404 const char *r; 1405 1406 memcpy (&tf, data, sizeof (target_flags)); 1407 data += sizeof (target_flags); 1408 len -= sizeof (target_flags); 1409 r = targetm.check_pch_target_flags (tf); 1410 if (r != NULL) 1411 return r; 1412 } 1413 1414 for (i = 0; i < cl_options_count; i++) 1415 if (option_affects_pch_p (i, &state)) 1416 { 1417 if (memcmp (data, state.data, state.size) != 0) 1418 return pch_option_mismatch (cl_options[i].opt_text); 1419 data += state.size; 1420 len -= state.size; 1421 } 1422 1423 return NULL; 1424} 1425 1426/* Default tree printer. Handles declarations only. */ 1427static bool 1428default_tree_printer (pretty_printer * pp, text_info *text, const char *spec, 1429 int precision, bool wide, bool set_locus, bool hash) 1430{ 1431 tree t; 1432 1433 /* FUTURE: %+x should set the locus. */ 1434 if (precision != 0 || wide || hash) 1435 return false; 1436 1437 switch (*spec) 1438 { 1439 case 'D': 1440 t = va_arg (*text->args_ptr, tree); 1441 if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t)) 1442 t = DECL_DEBUG_EXPR (t); 1443 break; 1444 1445 case 'F': 1446 case 'T': 1447 t = va_arg (*text->args_ptr, tree); 1448 break; 1449 1450 default: 1451 return false; 1452 } 1453 1454 if (set_locus && text->locus) 1455 *text->locus = DECL_SOURCE_LOCATION (t); 1456 1457 if (DECL_P (t)) 1458 { 1459 const char *n = DECL_NAME (t) 1460 ? lang_hooks.decl_printable_name (t, 2) 1461 : "<anonymous>"; 1462 pp_string (pp, n); 1463 } 1464 else 1465 dump_generic_node (pp, t, 0, 0, 0); 1466 1467 return true; 1468} 1469 1470/* Initialization of the front end environment, before command line 1471 options are parsed. Signal handlers, internationalization etc. 1472 ARGV0 is main's argv[0]. */ 1473static void 1474general_init (const char *argv0) 1475{ 1476 const char *p; 1477 1478 p = argv0 + strlen (argv0); 1479 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1])) 1480 --p; 1481 progname = p; 1482 1483 xmalloc_set_program_name (progname); 1484 1485 hex_init (); 1486 1487 /* Unlock the stdio streams. */ 1488 unlock_std_streams (); 1489 1490 gcc_init_libintl (); 1491 1492 /* Initialize the diagnostics reporting machinery, so option parsing 1493 can give warnings and errors. */ 1494 diagnostic_initialize (global_dc); 1495 /* Set a default printer. Language specific initializations will 1496 override it later. */ 1497 pp_format_decoder (global_dc->printer) = &default_tree_printer; 1498 1499 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */ 1500#ifdef SIGSEGV 1501 signal (SIGSEGV, crash_signal); 1502#endif 1503#ifdef SIGILL 1504 signal (SIGILL, crash_signal); 1505#endif 1506#ifdef SIGBUS 1507 signal (SIGBUS, crash_signal); 1508#endif 1509#ifdef SIGABRT 1510 signal (SIGABRT, crash_signal); 1511#endif 1512#if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT) 1513 signal (SIGIOT, crash_signal); 1514#endif 1515#ifdef SIGFPE 1516 signal (SIGFPE, crash_signal); 1517#endif 1518 1519 /* Other host-specific signal setup. */ 1520 (*host_hooks.extra_signals)(); 1521 1522 /* Initialize the garbage-collector, string pools and tree type hash 1523 table. */ 1524 init_ggc (); 1525 init_stringpool (); 1526 linemap_init (&line_table); 1527 init_ttree (); 1528 1529 /* Initialize register usage now so switches may override. */ 1530 init_reg_sets (); 1531 1532 /* Register the language-independent parameters. */ 1533 add_params (lang_independent_params, LAST_PARAM); 1534 1535 /* This must be done after add_params but before argument processing. */ 1536 init_ggc_heuristics(); 1537 init_optimization_passes (); 1538} 1539 1540/* Return true if the current target supports -fsection-anchors. */ 1541 1542static bool 1543target_supports_section_anchors_p (void) 1544{ 1545 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0) 1546 return false; 1547 1548 if (targetm.asm_out.output_anchor == NULL) 1549 return false; 1550 1551 return true; 1552} 1553 1554/* Process the options that have been parsed. */ 1555static void 1556process_options (void) 1557{ 1558 /* Just in case lang_hooks.post_options ends up calling a debug_hook. 1559 This can happen with incorrect pre-processed input. */ 1560 debug_hooks = &do_nothing_debug_hooks; 1561 1562 /* Allow the front end to perform consistency checks and do further 1563 initialization based on the command line options. This hook also 1564 sets the original filename if appropriate (e.g. foo.i -> foo.c) 1565 so we can correctly initialize debug output. */ 1566 no_backend = lang_hooks.post_options (&main_input_filename); 1567#ifndef USE_MAPPED_LOCATION 1568 input_filename = main_input_filename; 1569#endif 1570 1571#ifdef OVERRIDE_OPTIONS 1572 /* Some machines may reject certain combinations of options. */ 1573 OVERRIDE_OPTIONS; 1574#endif 1575 1576 if (flag_section_anchors && !target_supports_section_anchors_p ()) 1577 { 1578 warning (OPT_fsection_anchors, 1579 "this target does not support %qs", "-fsection-anchors"); 1580 flag_section_anchors = 0; 1581 } 1582 1583 if (flag_short_enums == 2) 1584 flag_short_enums = targetm.default_short_enums (); 1585 1586 /* Set aux_base_name if not already set. */ 1587 if (aux_base_name) 1588 ; 1589 else if (main_input_filename) 1590 { 1591 char *name = xstrdup (lbasename (main_input_filename)); 1592 1593 strip_off_ending (name, strlen (name)); 1594 aux_base_name = name; 1595 } 1596 else 1597 aux_base_name = "gccaux"; 1598 1599 /* Set up the align_*_log variables, defaulting them to 1 if they 1600 were still unset. */ 1601 if (align_loops <= 0) align_loops = 1; 1602 if (align_loops_max_skip > align_loops || !align_loops) 1603 align_loops_max_skip = align_loops - 1; 1604 align_loops_log = floor_log2 (align_loops * 2 - 1); 1605 if (align_jumps <= 0) align_jumps = 1; 1606 if (align_jumps_max_skip > align_jumps || !align_jumps) 1607 align_jumps_max_skip = align_jumps - 1; 1608 align_jumps_log = floor_log2 (align_jumps * 2 - 1); 1609 if (align_labels <= 0) align_labels = 1; 1610 align_labels_log = floor_log2 (align_labels * 2 - 1); 1611 if (align_labels_max_skip > align_labels || !align_labels) 1612 align_labels_max_skip = align_labels - 1; 1613 if (align_functions <= 0) align_functions = 1; 1614 align_functions_log = floor_log2 (align_functions * 2 - 1); 1615 1616 /* Unrolling all loops implies that standard loop unrolling must also 1617 be done. */ 1618 if (flag_unroll_all_loops) 1619 flag_unroll_loops = 1; 1620 1621 /* The loop unrolling code assumes that cse will be run after loop. 1622 web and rename-registers also help when run after loop unrolling. */ 1623 1624 if (flag_rerun_cse_after_loop == AUTODETECT_VALUE) 1625 flag_rerun_cse_after_loop = flag_unroll_loops || flag_peel_loops; 1626 if (flag_web == AUTODETECT_VALUE) 1627 flag_web = flag_unroll_loops || flag_peel_loops; 1628 if (flag_rename_registers == AUTODETECT_VALUE) 1629 flag_rename_registers = flag_unroll_loops || flag_peel_loops; 1630 1631 if (flag_non_call_exceptions) 1632 flag_asynchronous_unwind_tables = 1; 1633 if (flag_asynchronous_unwind_tables) 1634 flag_unwind_tables = 1; 1635 1636 /* Disable unit-at-a-time mode for frontends not supporting callgraph 1637 interface. */ 1638 if (flag_unit_at_a_time && ! lang_hooks.callgraph.expand_function) 1639 flag_unit_at_a_time = 0; 1640 1641 if (!flag_unit_at_a_time) 1642 flag_section_anchors = 0; 1643 1644 if (flag_value_profile_transformations) 1645 flag_profile_values = 1; 1646 1647 /* Warn about options that are not supported on this machine. */ 1648#ifndef INSN_SCHEDULING 1649 if (flag_schedule_insns || flag_schedule_insns_after_reload) 1650 warning (0, "instruction scheduling not supported on this target machine"); 1651#endif 1652#ifndef DELAY_SLOTS 1653 if (flag_delayed_branch) 1654 warning (0, "this target machine does not have delayed branches"); 1655#endif 1656 1657 user_label_prefix = USER_LABEL_PREFIX; 1658 if (flag_leading_underscore != -1) 1659 { 1660 /* If the default prefix is more complicated than "" or "_", 1661 issue a warning and ignore this option. */ 1662 if (user_label_prefix[0] == 0 || 1663 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0)) 1664 { 1665 user_label_prefix = flag_leading_underscore ? "_" : ""; 1666 } 1667 else 1668 warning (0, "-f%sleading-underscore not supported on this target machine", 1669 flag_leading_underscore ? "" : "no-"); 1670 } 1671 1672 /* If we are in verbose mode, write out the version and maybe all the 1673 option flags in use. */ 1674 if (version_flag) 1675 { 1676 print_version (stderr, ""); 1677 if (! quiet_flag) 1678 print_switch_values (stderr, 0, MAX_LINE, "", " ", "\n"); 1679 } 1680 1681 if (flag_syntax_only) 1682 { 1683 write_symbols = NO_DEBUG; 1684 profile_flag = 0; 1685 } 1686 1687 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging 1688 level is 0. */ 1689 if (debug_info_level == DINFO_LEVEL_NONE) 1690 write_symbols = NO_DEBUG; 1691 1692 /* Now we know write_symbols, set up the debug hooks based on it. 1693 By default we do nothing for debug output. */ 1694 if (PREFERRED_DEBUGGING_TYPE == NO_DEBUG) 1695 default_debug_hooks = &do_nothing_debug_hooks; 1696#if defined(DBX_DEBUGGING_INFO) 1697 else if (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG) 1698 default_debug_hooks = &dbx_debug_hooks; 1699#endif 1700#if defined(XCOFF_DEBUGGING_INFO) 1701 else if (PREFERRED_DEBUGGING_TYPE == XCOFF_DEBUG) 1702 default_debug_hooks = &xcoff_debug_hooks; 1703#endif 1704#ifdef SDB_DEBUGGING_INFO 1705 else if (PREFERRED_DEBUGGING_TYPE == SDB_DEBUG) 1706 default_debug_hooks = &sdb_debug_hooks; 1707#endif 1708#ifdef DWARF2_DEBUGGING_INFO 1709 else if (PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG) 1710 default_debug_hooks = &dwarf2_debug_hooks; 1711#endif 1712#ifdef VMS_DEBUGGING_INFO 1713 else if (PREFERRED_DEBUGGING_TYPE == VMS_DEBUG 1714 || PREFERRED_DEBUGGING_TYPE == VMS_AND_DWARF2_DEBUG) 1715 default_debug_hooks = &vmsdbg_debug_hooks; 1716#endif 1717 1718 if (write_symbols == NO_DEBUG) 1719 ; 1720#if defined(DBX_DEBUGGING_INFO) 1721 else if (write_symbols == DBX_DEBUG) 1722 debug_hooks = &dbx_debug_hooks; 1723#endif 1724#if defined(XCOFF_DEBUGGING_INFO) 1725 else if (write_symbols == XCOFF_DEBUG) 1726 debug_hooks = &xcoff_debug_hooks; 1727#endif 1728#ifdef SDB_DEBUGGING_INFO 1729 else if (write_symbols == SDB_DEBUG) 1730 debug_hooks = &sdb_debug_hooks; 1731#endif 1732#ifdef DWARF2_DEBUGGING_INFO 1733 else if (write_symbols == DWARF2_DEBUG) 1734 debug_hooks = &dwarf2_debug_hooks; 1735#endif 1736#ifdef VMS_DEBUGGING_INFO 1737 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) 1738 debug_hooks = &vmsdbg_debug_hooks; 1739#endif 1740 else 1741 error ("target system does not support the \"%s\" debug format", 1742 debug_type_names[write_symbols]); 1743 1744 /* Now we know which debug output will be used so we can set 1745 flag_var_tracking, flag_rename_registers if the user has 1746 not specified them. */ 1747 if (debug_info_level < DINFO_LEVEL_NORMAL 1748 || debug_hooks->var_location == do_nothing_debug_hooks.var_location) 1749 { 1750 if (flag_var_tracking == 1) 1751 { 1752 if (debug_info_level < DINFO_LEVEL_NORMAL) 1753 warning (0, "variable tracking requested, but useless unless " 1754 "producing debug info"); 1755 else 1756 warning (0, "variable tracking requested, but not supported " 1757 "by this debug format"); 1758 } 1759 flag_var_tracking = 0; 1760 } 1761 1762 if (flag_rename_registers == AUTODETECT_VALUE) 1763 flag_rename_registers = default_debug_hooks->var_location 1764 != do_nothing_debug_hooks.var_location; 1765 1766 if (flag_var_tracking == AUTODETECT_VALUE) 1767 flag_var_tracking = optimize >= 1; 1768 1769 /* If auxiliary info generation is desired, open the output file. 1770 This goes in the same directory as the source file--unlike 1771 all the other output files. */ 1772 if (flag_gen_aux_info) 1773 { 1774 aux_info_file = fopen (aux_info_file_name, "w"); 1775 if (aux_info_file == 0) 1776 fatal_error ("can%'t open %s: %m", aux_info_file_name); 1777 } 1778 1779 if (! targetm.have_named_sections) 1780 { 1781 if (flag_function_sections) 1782 { 1783 warning (0, "-ffunction-sections not supported for this target"); 1784 flag_function_sections = 0; 1785 } 1786 if (flag_data_sections) 1787 { 1788 warning (0, "-fdata-sections not supported for this target"); 1789 flag_data_sections = 0; 1790 } 1791 } 1792 1793 if (flag_function_sections && profile_flag) 1794 { 1795 warning (0, "-ffunction-sections disabled; it makes profiling impossible"); 1796 flag_function_sections = 0; 1797 } 1798 1799#ifndef HAVE_prefetch 1800 if (flag_prefetch_loop_arrays) 1801 { 1802 warning (0, "-fprefetch-loop-arrays not supported for this target"); 1803 flag_prefetch_loop_arrays = 0; 1804 } 1805#else 1806 if (flag_prefetch_loop_arrays && !HAVE_prefetch) 1807 { 1808 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)"); 1809 flag_prefetch_loop_arrays = 0; 1810 } 1811#endif 1812 1813 /* This combination of options isn't handled for i386 targets and doesn't 1814 make much sense anyway, so don't allow it. */ 1815 if (flag_prefetch_loop_arrays && optimize_size) 1816 { 1817 warning (0, "-fprefetch-loop-arrays is not supported with -Os"); 1818 flag_prefetch_loop_arrays = 0; 1819 } 1820 1821#ifndef OBJECT_FORMAT_ELF 1822#ifndef OBJECT_FORMAT_MACHO 1823 if (flag_function_sections && write_symbols != NO_DEBUG) 1824 warning (0, "-ffunction-sections may affect debugging on some targets"); 1825#endif 1826#endif 1827 1828 /* The presence of IEEE signaling NaNs, implies all math can trap. */ 1829 if (flag_signaling_nans) 1830 flag_trapping_math = 1; 1831 1832 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */ 1833 if (flag_cx_limited_range) 1834 flag_complex_method = 0; 1835 1836 /* Targets must be able to place spill slots at lower addresses. If the 1837 target already uses a soft frame pointer, the transition is trivial. */ 1838 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect) 1839 { 1840 warning (0, "-fstack-protector not supported for this target"); 1841 flag_stack_protect = 0; 1842 } 1843 if (!flag_stack_protect) 1844 warn_stack_protect = 0; 1845 1846 /* ??? Unwind info is not correct around the CFG unless either a frame 1847 pointer is present or A_O_A is set. Fixing this requires rewriting 1848 unwind info generation to be aware of the CFG and propagating states 1849 around edges. */ 1850 if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS 1851 && flag_omit_frame_pointer) 1852 { 1853 warning (0, "unwind tables currently requires a frame pointer " 1854 "for correctness"); 1855 flag_omit_frame_pointer = 0; 1856 } 1857} 1858 1859/* Initialize the compiler back end. */ 1860static void 1861backend_init (void) 1862{ 1863 init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL 1864 || debug_info_level == DINFO_LEVEL_VERBOSE 1865#ifdef VMS_DEBUGGING_INFO 1866 /* Enable line number info for traceback. */ 1867 || debug_info_level > DINFO_LEVEL_NONE 1868#endif 1869 || flag_test_coverage); 1870 1871 init_rtlanal (); 1872 init_regs (); 1873 init_fake_stack_mems (); 1874 init_alias_once (); 1875 init_reload (); 1876 init_varasm_once (); 1877 1878 /* The following initialization functions need to generate rtl, so 1879 provide a dummy function context for them. */ 1880 init_dummy_function_start (); 1881 init_expmed (); 1882 if (flag_caller_saves) 1883 init_caller_save (); 1884 expand_dummy_function_end (); 1885} 1886 1887/* Language-dependent initialization. Returns nonzero on success. */ 1888static int 1889lang_dependent_init (const char *name) 1890{ 1891 location_t save_loc = input_location; 1892 if (dump_base_name == 0) 1893 dump_base_name = name && name[0] ? name : "gccdump"; 1894 1895 /* Other front-end initialization. */ 1896#ifdef USE_MAPPED_LOCATION 1897 input_location = BUILTINS_LOCATION; 1898#else 1899 input_filename = "<built-in>"; 1900 input_line = 0; 1901#endif 1902 if (lang_hooks.init () == 0) 1903 return 0; 1904 input_location = save_loc; 1905 1906 init_asm_output (name); 1907 1908 /* These create various _DECL nodes, so need to be called after the 1909 front end is initialized. */ 1910 init_eh (); 1911 init_optabs (); 1912 1913 /* The following initialization functions need to generate rtl, so 1914 provide a dummy function context for them. */ 1915 init_dummy_function_start (); 1916 init_expr_once (); 1917 expand_dummy_function_end (); 1918 1919 /* If dbx symbol table desired, initialize writing it and output the 1920 predefined types. */ 1921 timevar_push (TV_SYMOUT); 1922 1923#if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO 1924 if (dwarf2out_do_frame ()) 1925 dwarf2out_frame_init (); 1926#endif 1927 1928 /* Now we have the correct original filename, we can initialize 1929 debug output. */ 1930 (*debug_hooks->init) (name); 1931 1932 timevar_pop (TV_SYMOUT); 1933 1934 return 1; 1935} 1936 1937/* Clean up: close opened files, etc. */ 1938 1939static void 1940finalize (void) 1941{ 1942 /* Close the dump files. */ 1943 if (flag_gen_aux_info) 1944 { 1945 fclose (aux_info_file); 1946 if (errorcount) 1947 unlink (aux_info_file_name); 1948 } 1949 1950 /* Close non-debugging input and output files. Take special care to note 1951 whether fclose returns an error, since the pages might still be on the 1952 buffer chain while the file is open. */ 1953 1954 if (asm_out_file) 1955 { 1956 if (ferror (asm_out_file) != 0) 1957 fatal_error ("error writing to %s: %m", asm_file_name); 1958 if (fclose (asm_out_file) != 0) 1959 fatal_error ("error closing %s: %m", asm_file_name); 1960 } 1961 1962 finish_optimization_passes (); 1963 1964 if (mem_report) 1965 { 1966 ggc_print_statistics (); 1967 stringpool_statistics (); 1968 dump_tree_statistics (); 1969 dump_rtx_statistics (); 1970 dump_varray_statistics (); 1971 dump_alloc_pool_statistics (); 1972 dump_ggc_loc_statistics (); 1973 } 1974 1975 /* Free up memory for the benefit of leak detectors. */ 1976 free_reg_info (); 1977 1978 /* Language-specific end of compilation actions. */ 1979 lang_hooks.finish (); 1980} 1981 1982/* Initialize the compiler, and compile the input file. */ 1983static void 1984do_compile (void) 1985{ 1986 /* Initialize timing first. The C front ends read the main file in 1987 the post_options hook, and C++ does file timings. */ 1988 if (time_report || !quiet_flag || flag_detailed_statistics) 1989 timevar_init (); 1990 timevar_start (TV_TOTAL); 1991 1992 process_options (); 1993 1994 /* Don't do any more if an error has already occurred. */ 1995 if (!errorcount) 1996 { 1997 /* This must be run always, because it is needed to compute the FP 1998 predefined macros, such as __LDBL_MAX__, for targets using non 1999 default FP formats. */ 2000 init_adjust_machine_modes (); 2001 2002 /* Set up the back-end if requested. */ 2003 if (!no_backend) 2004 backend_init (); 2005 2006 /* Language-dependent initialization. Returns true on success. */ 2007 if (lang_dependent_init (main_input_filename)) 2008 compile_file (); 2009 2010 finalize (); 2011 } 2012 2013 /* Stop timing and print the times. */ 2014 timevar_stop (TV_TOTAL); 2015 timevar_print (stderr); 2016} 2017 2018/* Entry point of cc1, cc1plus, jc1, f771, etc. 2019 Exit code is FATAL_EXIT_CODE if can't open files or if there were 2020 any errors, or SUCCESS_EXIT_CODE if compilation succeeded. 2021 2022 It is not safe to call this function more than once. */ 2023 2024int 2025toplev_main (unsigned int argc, const char **argv) 2026{ 2027 save_argv = argv; 2028 2029 /* Initialization of GCC's environment, and diagnostics. */ 2030 general_init (argv[0]); 2031 2032 /* Parse the options and do minimal processing; basically just 2033 enough to default flags appropriately. */ 2034 decode_options (argc, argv); 2035 2036 randomize (); 2037 2038 /* Exit early if we can (e.g. -help). */ 2039 if (!exit_after_options) 2040 do_compile (); 2041 2042 if (errorcount || sorrycount) 2043 return (FATAL_EXIT_CODE); 2044 2045 return (SUCCESS_EXIT_CODE); 2046} 2047