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