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