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