toplev.c revision 215840
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 215840 2010-11-25 20:29:14Z dim $ */ 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. */ 1084 process_pending_assemble_externals (); 1085 1086 /* Attach a special .ident directive to the end of the file to identify 1087 the version of GCC which compiled this code. The format of the .ident 1088 string is patterned after the ones produced by native SVR4 compilers. */ 1089#ifdef IDENT_ASM_OP 1090 if (!flag_no_ident) 1091 fprintf (asm_out_file, "%s\"GCC: (GNU) %s\"\n", 1092 IDENT_ASM_OP, version_string); 1093#endif 1094 1095 /* This must be at the end. Some target ports emit end of file directives 1096 into the assembly file here, and hence we can not output anything to the 1097 assembly file after this point. */ 1098 targetm.asm_out.file_end (); 1099} 1100 1101/* Parse a -d... command line switch. */ 1102 1103void 1104decode_d_option (const char *arg) 1105{ 1106 int c; 1107 1108 while (*arg) 1109 switch (c = *arg++) 1110 { 1111 case 'A': 1112 flag_debug_asm = 1; 1113 break; 1114 case 'p': 1115 flag_print_asm_name = 1; 1116 break; 1117 case 'P': 1118 flag_dump_rtl_in_asm = 1; 1119 flag_print_asm_name = 1; 1120 break; 1121 case 'v': 1122 graph_dump_format = vcg; 1123 break; 1124 case 'x': 1125 rtl_dump_and_exit = 1; 1126 break; 1127 case 'y': 1128 set_yydebug = 1; 1129 break; 1130 case 'D': /* These are handled by the preprocessor. */ 1131 case 'I': 1132 break; 1133 case 'H': 1134 setup_core_dumping(); 1135 break; 1136 1137 case 'a': 1138 default: 1139 if (!enable_rtl_dump_file (c)) 1140 warning (0, "unrecognized gcc debugging option: %c", c); 1141 break; 1142 } 1143} 1144 1145/* Indexed by enum debug_info_type. */ 1146const char *const debug_type_names[] = 1147{ 1148 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms" 1149}; 1150 1151/* Print version information to FILE. 1152 Each line begins with INDENT (for the case where FILE is the 1153 assembler output file). */ 1154 1155void 1156print_version (FILE *file, const char *indent) 1157{ 1158 static const char fmt1[] = 1159#ifdef __GNUC__ 1160 N_("%s%s%s version %s (%s)\n%s\tcompiled by GNU C version %s.\n") 1161#else 1162 N_("%s%s%s version %s (%s) compiled by CC.\n") 1163#endif 1164 ; 1165 static const char fmt2[] = 1166 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n"); 1167#ifndef __VERSION__ 1168#define __VERSION__ "[?]" 1169#endif 1170 fprintf (file, 1171 file == stderr ? _(fmt1) : fmt1, 1172 indent, *indent != 0 ? " " : "", 1173 lang_hooks.name, version_string, TARGET_NAME, 1174 indent, __VERSION__); 1175 fprintf (file, 1176 file == stderr ? _(fmt2) : fmt2, 1177 indent, *indent != 0 ? " " : "", 1178 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE)); 1179} 1180 1181/* Print an option value and return the adjusted position in the line. 1182 ??? We don't handle error returns from fprintf (disk full); presumably 1183 other code will catch a disk full though. */ 1184 1185static int 1186print_single_switch (FILE *file, int pos, int max, 1187 const char *indent, const char *sep, const char *term, 1188 const char *type, const char *name) 1189{ 1190 /* The ultrix fprintf returns 0 on success, so compute the result we want 1191 here since we need it for the following test. */ 1192 int len = strlen (sep) + strlen (type) + strlen (name); 1193 1194 if (pos != 0 1195 && pos + len > max) 1196 { 1197 fprintf (file, "%s", term); 1198 pos = 0; 1199 } 1200 if (pos == 0) 1201 { 1202 fprintf (file, "%s", indent); 1203 pos = strlen (indent); 1204 } 1205 fprintf (file, "%s%s%s", sep, type, name); 1206 pos += len; 1207 return pos; 1208} 1209 1210/* Print active target switches to FILE. 1211 POS is the current cursor position and MAX is the size of a "line". 1212 Each line begins with INDENT and ends with TERM. 1213 Each switch is separated from the next by SEP. */ 1214 1215static void 1216print_switch_values (FILE *file, int pos, int max, 1217 const char *indent, const char *sep, const char *term) 1218{ 1219 size_t j; 1220 const char **p; 1221 1222 /* Fill in the -frandom-seed option, if the user didn't pass it, so 1223 that it can be printed below. This helps reproducibility. */ 1224 randomize (); 1225 1226 /* Print the options as passed. */ 1227 pos = print_single_switch (file, pos, max, indent, *indent ? " " : "", term, 1228 _("options passed: "), ""); 1229 1230 for (p = &save_argv[1]; *p != NULL; p++) 1231 if (**p == '-') 1232 { 1233 /* Ignore these. */ 1234 if (strcmp (*p, "-o") == 0) 1235 { 1236 if (p[1] != NULL) 1237 p++; 1238 continue; 1239 } 1240 if (strcmp (*p, "-quiet") == 0) 1241 continue; 1242 if (strcmp (*p, "-version") == 0) 1243 continue; 1244 if ((*p)[1] == 'd') 1245 continue; 1246 1247 pos = print_single_switch (file, pos, max, indent, sep, term, *p, ""); 1248 } 1249 if (pos > 0) 1250 fprintf (file, "%s", term); 1251 1252 /* Print the -f and -m options that have been enabled. 1253 We don't handle language specific options but printing argv 1254 should suffice. */ 1255 1256 pos = print_single_switch (file, 0, max, indent, *indent ? " " : "", term, 1257 _("options enabled: "), ""); 1258 1259 for (j = 0; j < cl_options_count; j++) 1260 if ((cl_options[j].flags & CL_REPORT) 1261 && option_enabled (j) > 0) 1262 pos = print_single_switch (file, pos, max, indent, sep, term, 1263 "", cl_options[j].opt_text); 1264 1265 fprintf (file, "%s", term); 1266} 1267 1268/* Open assembly code output file. Do this even if -fsyntax-only is 1269 on, because then the driver will have provided the name of a 1270 temporary file or bit bucket for us. NAME is the file specified on 1271 the command line, possibly NULL. */ 1272static void 1273init_asm_output (const char *name) 1274{ 1275 if (name == NULL && asm_file_name == 0) 1276 asm_out_file = stdout; 1277 else 1278 { 1279 if (asm_file_name == 0) 1280 { 1281 int len = strlen (dump_base_name); 1282 char *dumpname = XNEWVEC (char, len + 6); 1283 memcpy (dumpname, dump_base_name, len + 1); 1284 strip_off_ending (dumpname, len); 1285 strcat (dumpname, ".s"); 1286 asm_file_name = dumpname; 1287 } 1288 if (!strcmp (asm_file_name, "-")) 1289 asm_out_file = stdout; 1290 else 1291 asm_out_file = fopen (asm_file_name, "w+b"); 1292 if (asm_out_file == 0) 1293 fatal_error ("can%'t open %s for writing: %m", asm_file_name); 1294 } 1295 1296 if (!flag_syntax_only) 1297 { 1298 targetm.asm_out.file_start (); 1299 1300#ifdef ASM_COMMENT_START 1301 if (flag_verbose_asm) 1302 { 1303 /* Print the list of options in effect. */ 1304 print_version (asm_out_file, ASM_COMMENT_START); 1305 print_switch_values (asm_out_file, 0, MAX_LINE, 1306 ASM_COMMENT_START, " ", "\n"); 1307 /* Add a blank line here so it appears in assembler output but not 1308 screen output. */ 1309 fprintf (asm_out_file, "\n"); 1310 } 1311#endif 1312 } 1313} 1314 1315/* Return true if the state of option OPTION should be stored in PCH files 1316 and checked by default_pch_valid_p. Store the option's current state 1317 in STATE if so. */ 1318 1319static inline bool 1320option_affects_pch_p (int option, struct cl_option_state *state) 1321{ 1322 if ((cl_options[option].flags & CL_TARGET) == 0) 1323 return false; 1324 if (cl_options[option].flag_var == &target_flags) 1325 if (targetm.check_pch_target_flags) 1326 return false; 1327 return get_option_state (option, state); 1328} 1329 1330/* Default version of get_pch_validity. 1331 By default, every flag difference is fatal; that will be mostly right for 1332 most targets, but completely right for very few. */ 1333 1334void * 1335default_get_pch_validity (size_t *len) 1336{ 1337 struct cl_option_state state; 1338 size_t i; 1339 char *result, *r; 1340 1341 *len = 2; 1342 if (targetm.check_pch_target_flags) 1343 *len += sizeof (target_flags); 1344 for (i = 0; i < cl_options_count; i++) 1345 if (option_affects_pch_p (i, &state)) 1346 *len += state.size; 1347 1348 result = r = XNEWVEC (char, *len); 1349 r[0] = flag_pic; 1350 r[1] = flag_pie; 1351 r += 2; 1352 if (targetm.check_pch_target_flags) 1353 { 1354 memcpy (r, &target_flags, sizeof (target_flags)); 1355 r += sizeof (target_flags); 1356 } 1357 1358 for (i = 0; i < cl_options_count; i++) 1359 if (option_affects_pch_p (i, &state)) 1360 { 1361 memcpy (r, state.data, state.size); 1362 r += state.size; 1363 } 1364 1365 return result; 1366} 1367 1368/* Return a message which says that a PCH file was created with a different 1369 setting of OPTION. */ 1370 1371static const char * 1372pch_option_mismatch (const char *option) 1373{ 1374 char *r; 1375 1376 asprintf (&r, _("created and used with differing settings of '%s'"), option); 1377 if (r == NULL) 1378 return _("out of memory"); 1379 return r; 1380} 1381 1382/* Default version of pch_valid_p. */ 1383 1384const char * 1385default_pch_valid_p (const void *data_p, size_t len) 1386{ 1387 struct cl_option_state state; 1388 const char *data = (const char *)data_p; 1389 size_t i; 1390 1391 /* -fpic and -fpie also usually make a PCH invalid. */ 1392 if (data[0] != flag_pic) 1393 return _("created and used with different settings of -fpic"); 1394 if (data[1] != flag_pie) 1395 return _("created and used with different settings of -fpie"); 1396 data += 2; 1397 1398 /* Check target_flags. */ 1399 if (targetm.check_pch_target_flags) 1400 { 1401 int tf; 1402 const char *r; 1403 1404 memcpy (&tf, data, sizeof (target_flags)); 1405 data += sizeof (target_flags); 1406 len -= sizeof (target_flags); 1407 r = targetm.check_pch_target_flags (tf); 1408 if (r != NULL) 1409 return r; 1410 } 1411 1412 for (i = 0; i < cl_options_count; i++) 1413 if (option_affects_pch_p (i, &state)) 1414 { 1415 if (memcmp (data, state.data, state.size) != 0) 1416 return pch_option_mismatch (cl_options[i].opt_text); 1417 data += state.size; 1418 len -= state.size; 1419 } 1420 1421 return NULL; 1422} 1423 1424/* Default tree printer. Handles declarations only. */ 1425static bool 1426default_tree_printer (pretty_printer * pp, text_info *text, const char *spec, 1427 int precision, bool wide, bool set_locus, bool hash) 1428{ 1429 tree t; 1430 1431 /* FUTURE: %+x should set the locus. */ 1432 if (precision != 0 || wide || hash) 1433 return false; 1434 1435 switch (*spec) 1436 { 1437 case 'D': 1438 t = va_arg (*text->args_ptr, tree); 1439 if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t)) 1440 t = DECL_DEBUG_EXPR (t); 1441 break; 1442 1443 case 'F': 1444 case 'T': 1445 t = va_arg (*text->args_ptr, tree); 1446 break; 1447 1448 default: 1449 return false; 1450 } 1451 1452 if (set_locus && text->locus) 1453 *text->locus = DECL_SOURCE_LOCATION (t); 1454 1455 if (DECL_P (t)) 1456 { 1457 const char *n = DECL_NAME (t) 1458 ? lang_hooks.decl_printable_name (t, 2) 1459 : "<anonymous>"; 1460 pp_string (pp, n); 1461 } 1462 else 1463 dump_generic_node (pp, t, 0, 0, 0); 1464 1465 return true; 1466} 1467 1468/* Initialization of the front end environment, before command line 1469 options are parsed. Signal handlers, internationalization etc. 1470 ARGV0 is main's argv[0]. */ 1471static void 1472general_init (const char *argv0) 1473{ 1474 const char *p; 1475 1476 p = argv0 + strlen (argv0); 1477 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1])) 1478 --p; 1479 progname = p; 1480 1481 xmalloc_set_program_name (progname); 1482 1483 hex_init (); 1484 1485 /* Unlock the stdio streams. */ 1486 unlock_std_streams (); 1487 1488 gcc_init_libintl (); 1489 1490 /* Initialize the diagnostics reporting machinery, so option parsing 1491 can give warnings and errors. */ 1492 diagnostic_initialize (global_dc); 1493 /* Set a default printer. Language specific initializations will 1494 override it later. */ 1495 pp_format_decoder (global_dc->printer) = &default_tree_printer; 1496 1497 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */ 1498#ifdef SIGSEGV 1499 signal (SIGSEGV, crash_signal); 1500#endif 1501#ifdef SIGILL 1502 signal (SIGILL, crash_signal); 1503#endif 1504#ifdef SIGBUS 1505 signal (SIGBUS, crash_signal); 1506#endif 1507#ifdef SIGABRT 1508 signal (SIGABRT, crash_signal); 1509#endif 1510#if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT) 1511 signal (SIGIOT, crash_signal); 1512#endif 1513#ifdef SIGFPE 1514 signal (SIGFPE, crash_signal); 1515#endif 1516 1517 /* Other host-specific signal setup. */ 1518 (*host_hooks.extra_signals)(); 1519 1520 /* Initialize the garbage-collector, string pools and tree type hash 1521 table. */ 1522 init_ggc (); 1523 init_stringpool (); 1524 linemap_init (&line_table); 1525 init_ttree (); 1526 1527 /* Initialize register usage now so switches may override. */ 1528 init_reg_sets (); 1529 1530 /* Register the language-independent parameters. */ 1531 add_params (lang_independent_params, LAST_PARAM); 1532 1533 /* This must be done after add_params but before argument processing. */ 1534 init_ggc_heuristics(); 1535 init_optimization_passes (); 1536} 1537 1538/* Return true if the current target supports -fsection-anchors. */ 1539 1540static bool 1541target_supports_section_anchors_p (void) 1542{ 1543 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0) 1544 return false; 1545 1546 if (targetm.asm_out.output_anchor == NULL) 1547 return false; 1548 1549 return true; 1550} 1551 1552/* Process the options that have been parsed. */ 1553static void 1554process_options (void) 1555{ 1556 /* Just in case lang_hooks.post_options ends up calling a debug_hook. 1557 This can happen with incorrect pre-processed input. */ 1558 debug_hooks = &do_nothing_debug_hooks; 1559 1560 /* Allow the front end to perform consistency checks and do further 1561 initialization based on the command line options. This hook also 1562 sets the original filename if appropriate (e.g. foo.i -> foo.c) 1563 so we can correctly initialize debug output. */ 1564 no_backend = lang_hooks.post_options (&main_input_filename); 1565#ifndef USE_MAPPED_LOCATION 1566 input_filename = main_input_filename; 1567#endif 1568 1569#ifdef OVERRIDE_OPTIONS 1570 /* Some machines may reject certain combinations of options. */ 1571 OVERRIDE_OPTIONS; 1572#endif 1573 1574 if (flag_section_anchors && !target_supports_section_anchors_p ()) 1575 { 1576 warning (OPT_fsection_anchors, 1577 "this target does not support %qs", "-fsection-anchors"); 1578 flag_section_anchors = 0; 1579 } 1580 1581 if (flag_short_enums == 2) 1582 flag_short_enums = targetm.default_short_enums (); 1583 1584 /* Set aux_base_name if not already set. */ 1585 if (aux_base_name) 1586 ; 1587 else if (main_input_filename) 1588 { 1589 char *name = xstrdup (lbasename (main_input_filename)); 1590 1591 strip_off_ending (name, strlen (name)); 1592 aux_base_name = name; 1593 } 1594 else 1595 aux_base_name = "gccaux"; 1596 1597 /* Set up the align_*_log variables, defaulting them to 1 if they 1598 were still unset. */ 1599 if (align_loops <= 0) align_loops = 1; 1600 if (align_loops_max_skip > align_loops || !align_loops) 1601 align_loops_max_skip = align_loops - 1; 1602 align_loops_log = floor_log2 (align_loops * 2 - 1); 1603 if (align_jumps <= 0) align_jumps = 1; 1604 if (align_jumps_max_skip > align_jumps || !align_jumps) 1605 align_jumps_max_skip = align_jumps - 1; 1606 align_jumps_log = floor_log2 (align_jumps * 2 - 1); 1607 if (align_labels <= 0) align_labels = 1; 1608 align_labels_log = floor_log2 (align_labels * 2 - 1); 1609 if (align_labels_max_skip > align_labels || !align_labels) 1610 align_labels_max_skip = align_labels - 1; 1611 if (align_functions <= 0) align_functions = 1; 1612 align_functions_log = floor_log2 (align_functions * 2 - 1); 1613 1614 /* Unrolling all loops implies that standard loop unrolling must also 1615 be done. */ 1616 if (flag_unroll_all_loops) 1617 flag_unroll_loops = 1; 1618 1619 /* The loop unrolling code assumes that cse will be run after loop. 1620 web and rename-registers also help when run after loop unrolling. */ 1621 1622 if (flag_rerun_cse_after_loop == AUTODETECT_VALUE) 1623 flag_rerun_cse_after_loop = flag_unroll_loops || flag_peel_loops; 1624 if (flag_web == AUTODETECT_VALUE) 1625 flag_web = flag_unroll_loops || flag_peel_loops; 1626 if (flag_rename_registers == AUTODETECT_VALUE) 1627 flag_rename_registers = flag_unroll_loops || flag_peel_loops; 1628 1629 if (flag_non_call_exceptions) 1630 flag_asynchronous_unwind_tables = 1; 1631 if (flag_asynchronous_unwind_tables) 1632 flag_unwind_tables = 1; 1633 1634 /* Disable unit-at-a-time mode for frontends not supporting callgraph 1635 interface. */ 1636 if (flag_unit_at_a_time && ! lang_hooks.callgraph.expand_function) 1637 flag_unit_at_a_time = 0; 1638 1639 if (!flag_unit_at_a_time) 1640 flag_section_anchors = 0; 1641 1642 if (flag_value_profile_transformations) 1643 flag_profile_values = 1; 1644 1645 /* Warn about options that are not supported on this machine. */ 1646#ifndef INSN_SCHEDULING 1647 if (flag_schedule_insns || flag_schedule_insns_after_reload) 1648 warning (0, "instruction scheduling not supported on this target machine"); 1649#endif 1650#ifndef DELAY_SLOTS 1651 if (flag_delayed_branch) 1652 warning (0, "this target machine does not have delayed branches"); 1653#endif 1654 1655 user_label_prefix = USER_LABEL_PREFIX; 1656 if (flag_leading_underscore != -1) 1657 { 1658 /* If the default prefix is more complicated than "" or "_", 1659 issue a warning and ignore this option. */ 1660 if (user_label_prefix[0] == 0 || 1661 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0)) 1662 { 1663 user_label_prefix = flag_leading_underscore ? "_" : ""; 1664 } 1665 else 1666 warning (0, "-f%sleading-underscore not supported on this target machine", 1667 flag_leading_underscore ? "" : "no-"); 1668 } 1669 1670 /* If we are in verbose mode, write out the version and maybe all the 1671 option flags in use. */ 1672 if (version_flag) 1673 { 1674 print_version (stderr, ""); 1675 if (! quiet_flag) 1676 print_switch_values (stderr, 0, MAX_LINE, "", " ", "\n"); 1677 } 1678 1679 if (flag_syntax_only) 1680 { 1681 write_symbols = NO_DEBUG; 1682 profile_flag = 0; 1683 } 1684 1685 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging 1686 level is 0. */ 1687 if (debug_info_level == DINFO_LEVEL_NONE) 1688 write_symbols = NO_DEBUG; 1689 1690 /* Now we know write_symbols, set up the debug hooks based on it. 1691 By default we do nothing for debug output. */ 1692 if (PREFERRED_DEBUGGING_TYPE == NO_DEBUG) 1693 default_debug_hooks = &do_nothing_debug_hooks; 1694#if defined(DBX_DEBUGGING_INFO) 1695 else if (PREFERRED_DEBUGGING_TYPE == DBX_DEBUG) 1696 default_debug_hooks = &dbx_debug_hooks; 1697#endif 1698#if defined(XCOFF_DEBUGGING_INFO) 1699 else if (PREFERRED_DEBUGGING_TYPE == XCOFF_DEBUG) 1700 default_debug_hooks = &xcoff_debug_hooks; 1701#endif 1702#ifdef SDB_DEBUGGING_INFO 1703 else if (PREFERRED_DEBUGGING_TYPE == SDB_DEBUG) 1704 default_debug_hooks = &sdb_debug_hooks; 1705#endif 1706#ifdef DWARF2_DEBUGGING_INFO 1707 else if (PREFERRED_DEBUGGING_TYPE == DWARF2_DEBUG) 1708 default_debug_hooks = &dwarf2_debug_hooks; 1709#endif 1710#ifdef VMS_DEBUGGING_INFO 1711 else if (PREFERRED_DEBUGGING_TYPE == VMS_DEBUG 1712 || PREFERRED_DEBUGGING_TYPE == VMS_AND_DWARF2_DEBUG) 1713 default_debug_hooks = &vmsdbg_debug_hooks; 1714#endif 1715 1716 if (write_symbols == NO_DEBUG) 1717 ; 1718#if defined(DBX_DEBUGGING_INFO) 1719 else if (write_symbols == DBX_DEBUG) 1720 debug_hooks = &dbx_debug_hooks; 1721#endif 1722#if defined(XCOFF_DEBUGGING_INFO) 1723 else if (write_symbols == XCOFF_DEBUG) 1724 debug_hooks = &xcoff_debug_hooks; 1725#endif 1726#ifdef SDB_DEBUGGING_INFO 1727 else if (write_symbols == SDB_DEBUG) 1728 debug_hooks = &sdb_debug_hooks; 1729#endif 1730#ifdef DWARF2_DEBUGGING_INFO 1731 else if (write_symbols == DWARF2_DEBUG) 1732 debug_hooks = &dwarf2_debug_hooks; 1733#endif 1734#ifdef VMS_DEBUGGING_INFO 1735 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) 1736 debug_hooks = &vmsdbg_debug_hooks; 1737#endif 1738 else 1739 error ("target system does not support the \"%s\" debug format", 1740 debug_type_names[write_symbols]); 1741 1742 /* Now we know which debug output will be used so we can set 1743 flag_var_tracking, flag_rename_registers if the user has 1744 not specified them. */ 1745 if (debug_info_level < DINFO_LEVEL_NORMAL 1746 || debug_hooks->var_location == do_nothing_debug_hooks.var_location) 1747 { 1748 if (flag_var_tracking == 1) 1749 { 1750 if (debug_info_level < DINFO_LEVEL_NORMAL) 1751 warning (0, "variable tracking requested, but useless unless " 1752 "producing debug info"); 1753 else 1754 warning (0, "variable tracking requested, but not supported " 1755 "by this debug format"); 1756 } 1757 flag_var_tracking = 0; 1758 } 1759 1760 if (flag_rename_registers == AUTODETECT_VALUE) 1761 flag_rename_registers = default_debug_hooks->var_location 1762 != do_nothing_debug_hooks.var_location; 1763 1764 if (flag_var_tracking == AUTODETECT_VALUE) 1765 flag_var_tracking = optimize >= 1; 1766 1767 /* If auxiliary info generation is desired, open the output file. 1768 This goes in the same directory as the source file--unlike 1769 all the other output files. */ 1770 if (flag_gen_aux_info) 1771 { 1772 aux_info_file = fopen (aux_info_file_name, "w"); 1773 if (aux_info_file == 0) 1774 fatal_error ("can%'t open %s: %m", aux_info_file_name); 1775 } 1776 1777 if (! targetm.have_named_sections) 1778 { 1779 if (flag_function_sections) 1780 { 1781 warning (0, "-ffunction-sections not supported for this target"); 1782 flag_function_sections = 0; 1783 } 1784 if (flag_data_sections) 1785 { 1786 warning (0, "-fdata-sections not supported for this target"); 1787 flag_data_sections = 0; 1788 } 1789 } 1790 1791 if (flag_function_sections && profile_flag) 1792 { 1793 warning (0, "-ffunction-sections disabled; it makes profiling impossible"); 1794 flag_function_sections = 0; 1795 } 1796 1797#ifndef HAVE_prefetch 1798 if (flag_prefetch_loop_arrays) 1799 { 1800 warning (0, "-fprefetch-loop-arrays not supported for this target"); 1801 flag_prefetch_loop_arrays = 0; 1802 } 1803#else 1804 if (flag_prefetch_loop_arrays && !HAVE_prefetch) 1805 { 1806 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)"); 1807 flag_prefetch_loop_arrays = 0; 1808 } 1809#endif 1810 1811 /* This combination of options isn't handled for i386 targets and doesn't 1812 make much sense anyway, so don't allow it. */ 1813 if (flag_prefetch_loop_arrays && optimize_size) 1814 { 1815 warning (0, "-fprefetch-loop-arrays is not supported with -Os"); 1816 flag_prefetch_loop_arrays = 0; 1817 } 1818 1819#ifndef OBJECT_FORMAT_ELF 1820#ifndef OBJECT_FORMAT_MACHO 1821 if (flag_function_sections && write_symbols != NO_DEBUG) 1822 warning (0, "-ffunction-sections may affect debugging on some targets"); 1823#endif 1824#endif 1825 1826 /* The presence of IEEE signaling NaNs, implies all math can trap. */ 1827 if (flag_signaling_nans) 1828 flag_trapping_math = 1; 1829 1830 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */ 1831 if (flag_cx_limited_range) 1832 flag_complex_method = 0; 1833 1834 /* Targets must be able to place spill slots at lower addresses. If the 1835 target already uses a soft frame pointer, the transition is trivial. */ 1836 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect) 1837 { 1838 warning (0, "-fstack-protector not supported for this target"); 1839 flag_stack_protect = 0; 1840 } 1841 if (!flag_stack_protect) 1842 warn_stack_protect = 0; 1843 1844 /* ??? Unwind info is not correct around the CFG unless either a frame 1845 pointer is present or A_O_A is set. Fixing this requires rewriting 1846 unwind info generation to be aware of the CFG and propagating states 1847 around edges. */ 1848 if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS 1849 && flag_omit_frame_pointer) 1850 { 1851 warning (0, "unwind tables currently requires a frame pointer " 1852 "for correctness"); 1853 flag_omit_frame_pointer = 0; 1854 } 1855} 1856 1857/* Initialize the compiler back end. */ 1858static void 1859backend_init (void) 1860{ 1861 init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL 1862 || debug_info_level == DINFO_LEVEL_VERBOSE 1863#ifdef VMS_DEBUGGING_INFO 1864 /* Enable line number info for traceback. */ 1865 || debug_info_level > DINFO_LEVEL_NONE 1866#endif 1867 || flag_test_coverage); 1868 1869 init_rtlanal (); 1870 init_regs (); 1871 init_fake_stack_mems (); 1872 init_alias_once (); 1873 init_reload (); 1874 init_varasm_once (); 1875 1876 /* The following initialization functions need to generate rtl, so 1877 provide a dummy function context for them. */ 1878 init_dummy_function_start (); 1879 init_expmed (); 1880 if (flag_caller_saves) 1881 init_caller_save (); 1882 expand_dummy_function_end (); 1883} 1884 1885/* Language-dependent initialization. Returns nonzero on success. */ 1886static int 1887lang_dependent_init (const char *name) 1888{ 1889 location_t save_loc = input_location; 1890 if (dump_base_name == 0) 1891 dump_base_name = name && name[0] ? name : "gccdump"; 1892 1893 /* Other front-end initialization. */ 1894#ifdef USE_MAPPED_LOCATION 1895 input_location = BUILTINS_LOCATION; 1896#else 1897 input_filename = "<built-in>"; 1898 input_line = 0; 1899#endif 1900 if (lang_hooks.init () == 0) 1901 return 0; 1902 input_location = save_loc; 1903 1904 init_asm_output (name); 1905 1906 /* These create various _DECL nodes, so need to be called after the 1907 front end is initialized. */ 1908 init_eh (); 1909 init_optabs (); 1910 1911 /* The following initialization functions need to generate rtl, so 1912 provide a dummy function context for them. */ 1913 init_dummy_function_start (); 1914 init_expr_once (); 1915 expand_dummy_function_end (); 1916 1917 /* If dbx symbol table desired, initialize writing it and output the 1918 predefined types. */ 1919 timevar_push (TV_SYMOUT); 1920 1921#if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO 1922 if (dwarf2out_do_frame ()) 1923 dwarf2out_frame_init (); 1924#endif 1925 1926 /* Now we have the correct original filename, we can initialize 1927 debug output. */ 1928 (*debug_hooks->init) (name); 1929 1930 timevar_pop (TV_SYMOUT); 1931 1932 return 1; 1933} 1934 1935/* Clean up: close opened files, etc. */ 1936 1937static void 1938finalize (void) 1939{ 1940 /* Close the dump files. */ 1941 if (flag_gen_aux_info) 1942 { 1943 fclose (aux_info_file); 1944 if (errorcount) 1945 unlink (aux_info_file_name); 1946 } 1947 1948 /* Close non-debugging input and output files. Take special care to note 1949 whether fclose returns an error, since the pages might still be on the 1950 buffer chain while the file is open. */ 1951 1952 if (asm_out_file) 1953 { 1954 if (ferror (asm_out_file) != 0) 1955 fatal_error ("error writing to %s: %m", asm_file_name); 1956 if (fclose (asm_out_file) != 0) 1957 fatal_error ("error closing %s: %m", asm_file_name); 1958 } 1959 1960 finish_optimization_passes (); 1961 1962 if (mem_report) 1963 { 1964 ggc_print_statistics (); 1965 stringpool_statistics (); 1966 dump_tree_statistics (); 1967 dump_rtx_statistics (); 1968 dump_varray_statistics (); 1969 dump_alloc_pool_statistics (); 1970 dump_ggc_loc_statistics (); 1971 } 1972 1973 /* Free up memory for the benefit of leak detectors. */ 1974 free_reg_info (); 1975 1976 /* Language-specific end of compilation actions. */ 1977 lang_hooks.finish (); 1978} 1979 1980/* Initialize the compiler, and compile the input file. */ 1981static void 1982do_compile (void) 1983{ 1984 /* Initialize timing first. The C front ends read the main file in 1985 the post_options hook, and C++ does file timings. */ 1986 if (time_report || !quiet_flag || flag_detailed_statistics) 1987 timevar_init (); 1988 timevar_start (TV_TOTAL); 1989 1990 process_options (); 1991 1992 /* Don't do any more if an error has already occurred. */ 1993 if (!errorcount) 1994 { 1995 /* This must be run always, because it is needed to compute the FP 1996 predefined macros, such as __LDBL_MAX__, for targets using non 1997 default FP formats. */ 1998 init_adjust_machine_modes (); 1999 2000 /* Set up the back-end if requested. */ 2001 if (!no_backend) 2002 backend_init (); 2003 2004 /* Language-dependent initialization. Returns true on success. */ 2005 if (lang_dependent_init (main_input_filename)) 2006 compile_file (); 2007 2008 finalize (); 2009 } 2010 2011 /* Stop timing and print the times. */ 2012 timevar_stop (TV_TOTAL); 2013 timevar_print (stderr); 2014} 2015 2016/* Entry point of cc1, cc1plus, jc1, f771, etc. 2017 Exit code is FATAL_EXIT_CODE if can't open files or if there were 2018 any errors, or SUCCESS_EXIT_CODE if compilation succeeded. 2019 2020 It is not safe to call this function more than once. */ 2021 2022int 2023toplev_main (unsigned int argc, const char **argv) 2024{ 2025 save_argv = argv; 2026 2027 /* Initialization of GCC's environment, and diagnostics. */ 2028 general_init (argv[0]); 2029 2030 /* Parse the options and do minimal processing; basically just 2031 enough to default flags appropriately. */ 2032 decode_options (argc, argv); 2033 2034 randomize (); 2035 2036 /* Exit early if we can (e.g. -help). */ 2037 if (!exit_after_options) 2038 do_compile (); 2039 2040 if (errorcount || sorrycount) 2041 return (FATAL_EXIT_CODE); 2042 2043 return (SUCCESS_EXIT_CODE); 2044} 2045