X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fflags.h;h=bc51b2bda348f81f3a8e7d7ea04aa08c2d8bbe0b;hb=e93bcd03af477f080698c0ef08ad3f048e984dba;hp=d0ee4a10afbdc8b3036e3d292ef5a72d4aeb329f;hpb=2358393e3a0db63122498ce79a712bc28fa95f9e;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/flags.h b/gcc/flags.h index d0ee4a10afb..bc51b2bda34 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -1,13 +1,13 @@ /* Compilation switch flag definitions for GCC. Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, - 2003 + 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free -Software Foundation; either version 2, or (at your option) any later +Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY @@ -16,19 +16,20 @@ FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING. If not, write to the Free -Software Foundation, 59 Temple Place - Suite 330, Boston, MA -02111-1307, USA. */ +along with GCC; see the file COPYING3. If not see +. */ #ifndef GCC_FLAGS_H #define GCC_FLAGS_H +#include "coretypes.h" +#include "options.h" + enum debug_info_type { NO_DEBUG, /* Write no debug info. */ DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */ - DWARF_DEBUG, /* Write Dwarf debug info (using dwarfout.c). */ DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ @@ -53,104 +54,81 @@ enum debug_info_level /* Specify how much debugging info to generate. */ extern enum debug_info_level debug_info_level; -/* Nonzero means use GNU-only extensions in the generated symbolic - debugging information. */ -extern int use_gnu_debug_info_extensions; - -/* Nonzero means emit debugging information only for symbols which are used. */ -extern int flag_debug_only_used_symbols; - -/* Nonzero means do optimizations. -opt. */ - -extern int optimize; - -/* Nonzero means optimize for size. -Os. */ - -extern int optimize_size; - -/* Don't print functions as they are compiled and don't print - times taken by the various passes. -quiet. */ - -extern int quiet_flag; - -/* Print memory still in use at end of compilation (which may have little - to do with peak memory consumption). -fmem-report. */ - -extern int mem_report; - -/* Don't print warning messages. -w. */ - -extern bool inhibit_warnings; - -/* Don't suppress warnings from system headers. -Wsystem-headers. */ - -extern bool warn_system_headers; - -/* Do print extra warnings (such as for uninitialized variables). - -W/-Wextra. */ - -extern bool extra_warnings; - -/* If -Werror. */ - -extern bool warnings_are_errors; - -/* Nonzero to warn about unused variables, functions et.al. Use - set_Wunused() to update the -Wunused-* flags that correspond to the - -Wunused option. */ +/* A major contribution to object and executable size is debug + information size. A major contribution to debug information + size is struct descriptions replicated in several object files. + The following function determines whether or not debug information + should be generated for a given struct. The indirect parameter + indicates that the struct is being handled indirectly, via + a pointer. See opts.c for the implementation. */ -extern void set_Wunused PARAMS ((int setting)); - -extern bool warn_unused_function; -extern bool warn_unused_label; -extern bool warn_unused_parameter; -extern bool warn_unused_variable; -extern bool warn_unused_value; - -/* Nonzero to warn about code which is never reached. */ - -extern bool warn_notreached; - -/* Nonzero means warn if inline function is too large. */ - -extern bool warn_inline; +enum debug_info_usage +{ + DINFO_USAGE_DFN, /* A struct definition. */ + DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */ + DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */ + DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */ +}; -/* Nonzero to warn about variables used before they are initialized. */ +extern bool should_emit_struct_debug (tree type_decl, enum debug_info_usage); +extern void set_struct_debug_option (const char *value); -extern int warn_uninitialized; +/* Nonzero means use GNU-only extensions in the generated symbolic + debugging information. */ +extern bool use_gnu_debug_info_extensions; -/* Nonzero means warn about all declarations which shadow others. */ +/* Enumerate visibility settings. This is deliberately ordered from most + to least visibility. */ +#ifndef SYMBOL_VISIBILITY_DEFINED +#define SYMBOL_VISIBILITY_DEFINED +enum symbol_visibility +{ + VISIBILITY_DEFAULT, + VISIBILITY_PROTECTED, + VISIBILITY_HIDDEN, + VISIBILITY_INTERNAL +}; +#endif -extern bool warn_shadow; +/* The default visibility for all symbols (unless overridden). */ +extern enum symbol_visibility default_visibility; -/* Warn if a switch on an enum, that does not have a default case, - fails to have a case for every enum value. */ +struct visibility_flags +{ + unsigned inpragma : 1; /* True when in #pragma GCC visibility. */ + unsigned inlines_hidden : 1; /* True when -finlineshidden in effect. */ +}; -extern bool warn_switch; +/* Global visibility options. */ +extern struct visibility_flags visibility_options; -/* Warn if a switch does not have a default case. */ +/* Nonzero means do optimizations. -opt. */ -extern bool warn_switch_default; +extern int optimize; -/* Warn if a switch on an enum fails to have a case for every enum - value (regardless of the presence or otherwise of a default case). */ +/* Nonzero means optimize for size. -Os. */ -extern bool warn_switch_enum; +extern int optimize_size; -/* Nonzero means warn about function definitions that default the return type - or that use a null return and have a return-type other than void. */ +/* True if this is the LTO front end (lto1). This is used to disable + gimple generation and lowering passes that are normally run on the + output of a front end. These passes must be bypassed for lto since + they have already been done before the gimple was written. */ -extern int warn_return_type; +extern bool in_lto_p; -/* Warn about functions which might be candidates for attribute noreturn. */ +/* Nonzero if we should write GIMPLE bytecode for link-time optimization. */ -extern bool warn_missing_noreturn; +extern int flag_generate_lto; -/* Nonzero means warn about pointer casts that increase the required - alignment of the target type (and might therefore lead to a crash - due to a misaligned access). */ +/* Used to set the level of -Wstrict-aliasing, when no level is specified. + The external way to set the default level is to use + -Wstrict-aliasing=level. + ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified, + and 0 otherwise. After calling this function, wstrict_aliasing will be + set to the default value of -Wstrict_aliasing=level. */ -extern bool warn_cast_align; +extern void set_Wstrict_aliasing (int onoff); /* Nonzero means warn about any objects definitions whose size is larger than N bytes. Also want about function definitions whose returned @@ -159,74 +137,11 @@ extern bool warn_cast_align; extern bool warn_larger_than; extern HOST_WIDE_INT larger_than_size; -/* Warn if a function returns an aggregate, - since there are often incompatible calling conventions for doing this. */ - -extern bool warn_aggregate_return; - -/* Warn if packed attribute on struct is unnecessary and inefficient. */ - -extern bool warn_packed; - -/* Warn when gcc pads a structure to an alignment boundary. */ - -extern bool warn_padded; - -/* Warn when an optimization pass is disabled. */ - -extern bool warn_disabled_optimization; +/* Nonzero means warn about any function whose frame size is larger + than N bytes. */ -/* Nonzero means warn about uses of __attribute__((deprecated)) - declarations. */ - -extern bool warn_deprecated_decl; - -/* Nonzero means warn about constructs which might not be strict - aliasing safe. */ - -extern bool warn_strict_aliasing; - -/* Nonzero if generating code to do profiling. */ - -extern int profile_flag; - -/* Nonzero if generating code to profile program flow graph arcs. */ - -extern int profile_arc_flag; - -/* Nonzero if value profile should be measured. */ - -extern int flag_profile_values; - -/* Nonzero if generating info for gcov to calculate line test coverage. */ - -extern int flag_test_coverage; - -/* Nonzero indicates that branch taken probabilities should be calculated. */ - -extern int flag_branch_probabilities; - -/* Nonzero if basic blocks should be reordered. */ - -extern int flag_reorder_blocks; - -/* Nonzero if functions should be reordered. */ - -extern int flag_reorder_functions; - -/* Nonzero if registers should be renamed. */ - -extern int flag_rename_registers; - -/* Nonzero for -pedantic switch: warn about anything - that standard C forbids. */ - -extern int pedantic; - -/* Temporarily suppress certain warnings. - This is set while reading code from a system header file. */ - -extern int in_system_header; +extern bool warn_frame_larger_than; +extern HOST_WIDE_INT frame_larger_than_size; /* Nonzero for -dp: annotate the assembly with a comment describing the pattern and alternative used. */ @@ -239,391 +154,132 @@ extern int flag_print_asm_name; extern int flag_signed_char; -/* Nonzero means give an enum type only as many bytes as it needs. */ +/* Nonzero means give an enum type only as many bytes as it needs. A value + of 2 means it has not yet been initialized. */ extern int flag_short_enums; -/* Nonzero for -fcaller-saves: allocate values in regs that need to - be saved across function calls, if that produces overall better code. - Optional now, so people can test it. */ - -extern int flag_caller_saves; - /* Nonzero for -fpcc-struct-return: return values the same way PCC does. */ extern int flag_pcc_struct_return; -/* Nonzero for -fforce-mem: load memory value into a register - before arithmetic on it. This makes better cse but slower compilation. */ - -extern int flag_force_mem; - -/* Nonzero for -fforce-addr: load memory address into a register before - reference to memory. This makes better cse but slower compilation. */ - -extern int flag_force_addr; - -/* Nonzero for -fdefer-pop: don't pop args after each function call; - instead save them up to pop many calls' args with one insns. */ - -extern int flag_defer_pop; - -/* Nonzero for -ffloat-store: don't allocate floats and doubles - in extended-precision registers. */ - -extern int flag_float_store; - -/* Nonzero enables strength-reduction in loop.c. */ - -extern int flag_strength_reduce; - -/* Nonzero enables loop unrolling in unroll.c. Only loops for which the - number of iterations can be calculated at compile-time (UNROLL_COMPLETELY, - UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are - unrolled. */ - -extern int flag_old_unroll_loops; - -/* Nonzero enables loop unrolling in unroll.c. All loops are unrolled. - This is generally not a win. */ - -extern int flag_old_unroll_all_loops; - -/* Nonzero forces all invariant computations in loops to be moved - outside the loop. */ - -extern int flag_move_all_movables; - -/* Nonzero enables prefetch optimizations for arrays in loops. */ - -extern int flag_prefetch_loop_arrays; - -/* Nonzero forces all general induction variables in loops to be - strength reduced. */ - -extern int flag_reduce_all_givs; - -/* Nonzero for -fcse-follow-jumps: - have cse follow jumps to do a more extensive job. */ - -extern int flag_cse_follow_jumps; - -/* Nonzero for -fcse-skip-blocks: - have cse follow a branch around a block. */ - -extern int flag_cse_skip_blocks; - -/* Nonzero for -fexpensive-optimizations: - perform miscellaneous relatively-expensive optimizations. */ -extern int flag_expensive_optimizations; - -/* Nonzero for -fwritable-strings: - store string constants in data segment and don't uniquize them. */ - -extern int flag_writable_strings; - -/* Nonzero means don't put addresses of constant functions in registers. - Used for compiling the Unix kernel, where strange substitutions are - done on the assembly output. */ - -extern int flag_no_function_cse; - -/* Nonzero for -fomit-frame-pointer: - don't make a frame pointer in simple functions that don't require one. */ - -extern int flag_omit_frame_pointer; - -/* Nonzero to inhibit use of define_optimization peephole opts. */ - -extern int flag_no_peephole; - -/* Nonzero allows GCC to optimize sibling and tail recursive calls. */ - -extern int flag_optimize_sibling_calls; - -/* Nonzero means the front end generally wants `errno' maintained by math - operations, like built-in SQRT. */ - -extern int flag_errno_math; - -/* Nonzero means that unsafe floating-point math optimizations are allowed - for the sake of speed. IEEE compliance is not guaranteed, and operations - are allowed to assume that their arguments and results are "normal" - (e.g., nonnegative for SQRT). */ - -extern int flag_unsafe_math_optimizations; - -/* Nonzero means that no NaNs or +-Infs are expected. */ - -extern int flag_finite_math_only; - -/* Zero means that floating-point math operations cannot generate a - (user-visible) trap. This is the case, for example, in nonstop - IEEE 754 arithmetic. */ - -extern int flag_trapping_math; - /* 0 means straightforward implementation of complex divide acceptable. 1 means wide ranges of inputs must work for complex divide. - 2 means C99-like requirements for complex divide (not yet implemented). */ - -extern int flag_complex_divide_method; - -/* Nonzero means to run loop optimizations twice. */ - -extern int flag_rerun_loop_opt; - -/* Nonzero means make functions that look like good inline candidates - go inline. */ - -extern int flag_inline_functions; - -/* Nonzero for -fkeep-inline-functions: even if we make a function - go inline everywhere, keep its definition around for debugging - purposes. */ + 2 means C99-like requirements for complex multiply and divide. */ -extern int flag_keep_inline_functions; - -/* Nonzero means that functions declared `inline' will be treated - as `static'. Prevents generation of zillions of copies of unused - static inline functions; instead, `inlines' are written out - only when actually used. Used in conjunction with -g. Also - does the right thing with #pragma interface. */ - -extern int flag_no_inline; - -/* Nonzero means that we don't want inlining by virtue of -fno-inline, - not just because the tree inliner turned us off. */ - -extern int flag_really_no_inline; +extern int flag_complex_method; /* Nonzero if we are only using compiler to check syntax errors. */ -extern int flag_syntax_only; +extern int rtl_dump_and_exit; /* Nonzero means we should save auxiliary info into a .X file. */ extern int flag_gen_aux_info; -/* Nonzero means make the text shared if supported. */ - -extern int flag_shared_data; - -/* flag_schedule_insns means schedule insns within basic blocks (before - local_alloc). - flag_schedule_insns_after_reload means schedule insns after - global_alloc. */ - -extern int flag_schedule_insns; -extern int flag_schedule_insns_after_reload; -extern int flag_sched2_use_superblocks; -extern int flag_sched2_use_traces; - -/* The following flags have effect only for scheduling before register - allocation: - - flag_schedule_interblock means schedule insns across basic blocks. - flag_schedule_speculative means allow speculative motion of non-load insns. - flag_schedule_speculative_load means allow speculative motion of some - load insns. - flag_schedule_speculative_load_dangerous allows speculative motion of more - load insns. */ - -extern int flag_schedule_interblock; -extern int flag_schedule_speculative; -extern int flag_schedule_speculative_load; -extern int flag_schedule_speculative_load_dangerous; - -/* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple - by a cheaper branch, on a count register. */ -extern int flag_branch_on_count_reg; - -/* This option is set to 1 on -fsingle-precision-constant option which is - used to convert the floating point constants to single precision - constants. */ - -extern int flag_single_precision_constant; - -/* Nonzero means put things in delayed-branch slots if supported. */ - -extern int flag_delayed_branch; - /* Nonzero means suppress output of instruction numbers and line number notes in debugging dumps. */ extern int flag_dump_unnumbered; +/* True if printing into -fdump-final-insns= dump. */ + +extern bool final_insns_dump_p; + /* Nonzero means change certain warnings into errors. Usually these are warnings about failure to conform to some standard. */ extern int flag_pedantic_errors; -/* Nonzero means generate position-independent code. 1 vs 2 for a - target-dependent "small" or "large" mode. */ +/* Nonzero means make permerror produce warnings instead of errors. */ -extern int flag_pic; +extern int flag_permissive; -/* Nonzero if we are compiling position independent code for executable. - 1 vs 2 for a target-dependent "small" or "large" mode. */ - -extern int flag_pie; - /* Nonzero if we are compiling code for a shared library, zero for executable. */ extern int flag_shlib; -/* Nonzero means generate extra code for exception handling and enable - exception handling. */ - -extern int flag_exceptions; - -/* Nonzero means generate frame unwind info table when supported. */ - -extern int flag_unwind_tables; - -/* Nonzero means generate frame unwind info table exact at each insn boundary. */ +/* -dA causes debug information to be produced in + the generated assembly code (to make it more readable). This option + is generally only of use to those who actually need to read the + generated assembly code (perhaps while debugging the compiler itself). + Currently, this switch is only used by dwarfout.c; however, it is intended + to be a catchall for printing debug information in the assembler file. */ -extern int flag_asynchronous_unwind_tables; +extern int flag_debug_asm; -/* Nonzero means don't place uninitialized global data in common storage - by default. */ +/* Generate code for GNU or NeXT Objective-C runtime environment. */ -extern int flag_no_common; +extern int flag_next_runtime; -/* -finhibit-size-directive inhibits output of .size for ELF. - This is used only for compiling crtstuff.c, - and it may be extended to other effects - needed for crtstuff.c on other systems. */ -extern int flag_inhibit_size_directive; +extern int flag_dump_rtl_in_asm; -/* Nonzero means place each function into its own section on those platforms - which support arbitrary section names and unlimited numbers of sections. */ +/* The algorithm used for the integrated register allocator (IRA). */ +enum ira_algorithm +{ + IRA_ALGORITHM_CB, + IRA_ALGORITHM_PRIORITY +}; -extern int flag_function_sections; +extern enum ira_algorithm flag_ira_algorithm; -/* ... and similar for data. */ - -extern int flag_data_sections; +/* The regions used for the integrated register allocator (IRA). */ +enum ira_region +{ + IRA_REGION_ONE, + IRA_REGION_ALL, + IRA_REGION_MIXED +}; -/* -fverbose-asm causes extra commentary information to be produced in - the generated assembly code (to make it more readable). This option - is generally only of use to those who actually need to read the - generated assembly code (perhaps while debugging the compiler itself). - -fno-verbose-asm, the default, causes the extra information - to not be added and is useful when comparing two assembler files. */ +extern enum ira_region flag_ira_region; -extern int flag_verbose_asm; +extern unsigned int flag_ira_verbose; -/* -dA causes debug information to be produced in - the generated assembly code (to make it more readable). This option - is generally only of use to those who actually need to read the - generated assembly code (perhaps while debugging the compiler itself). - Currently, this switch is only used by dwarfout.c; however, it is intended - to be a catchall for printing debug information in the assembler file. */ +/* The options for excess precision. */ +enum excess_precision +{ + EXCESS_PRECISION_DEFAULT, + EXCESS_PRECISION_FAST, + EXCESS_PRECISION_STANDARD +}; -extern int flag_debug_asm; +/* The excess precision specified on the command line, or defaulted by + the front end. */ +extern enum excess_precision flag_excess_precision_cmdline; -extern int flag_dump_rtl_in_asm; +/* The excess precision currently in effect. */ +extern enum excess_precision flag_excess_precision; -/* Greater than zero if user symbols are prepended by a leading underscore - in generated assembly code. */ -extern int flag_leading_underscore; - -/* -fgnu-linker specifies use of the GNU linker for initializations. - -fno-gnu-linker says that collect will be used. */ -extern int flag_gnu_linker; - -/* Tag all structures with __attribute__(packed) */ -extern int flag_pack_struct; - -/* This flag is only tested if alias checking is enabled. - 0 if pointer arguments may alias each other. True in C. - 1 if pointer arguments may not alias each other but may alias - global variables. - 2 if pointer arguments may not alias each other and may not - alias global variables. True in Fortran. - The value is ignored if flag_alias_check is 0. */ -extern int flag_argument_noalias; - -/* Nonzero if we should do (language-dependent) alias analysis. - Typically, this analysis will assume that expressions of certain - types do not alias expressions of certain other types. Only used - if alias analysis (in general) is enabled. */ -extern int flag_strict_aliasing; - -/* Emit code to probe the stack, to help detect stack overflow; also - may cause large objects to be allocated dynamically. */ -extern int flag_stack_check; - -/* Do the full regmove optimization pass. */ -extern int flag_regmove; - -/* Instrument functions with calls at entry and exit, for profiling. */ -extern int flag_instrument_function_entry_exit; - -/* Perform a peephole pass before sched2. */ -extern int flag_peephole2; - -/* Try to guess branch probabilities. */ -extern int flag_guess_branch_prob; - -/* -fcheck-bounds causes gcc to generate array bounds checks. - For C, C++ and ObjC: defaults off. - For Java: defaults to on. - For Fortran: defaults to off. */ -extern int flag_bounds_check; - -/* This will attempt to merge constant section constants, if 1 only - string constants and constants from constant pool, if 2 also constant - variables. */ -extern int flag_merge_constants; - -/* If one, renumber instruction UIDs to reduce the number of - unused UIDs if there are a lot of instructions. If greater than - one, unconditionally renumber instruction UIDs. */ -extern int flag_renumber_insns; /* Other basic status info about current function. */ -/* Nonzero means current function must be given a frame pointer. - Set in stmt.c if anything is allocated on the stack there. - Set in reload1.c if anything is allocated on the stack there. */ - -extern int frame_pointer_needed; - -/* Nonzero if the generated code should trap on signed overflow - for PLUS / SUB / MULT. */ -extern int flag_trapv; - -/* Nonzero if the signed arithmetic overflow should wrap around. */ -extern int flag_wrapv; +/* Nonzero if subexpressions must be evaluated from left-to-right. */ +extern int flag_evaluation_order; /* Value of the -G xx switch, and whether it was passed or not. */ extern unsigned HOST_WIDE_INT g_switch_value; extern bool g_switch_set; -/* Values of the -falign-* flags: how much to align labels in code. - 0 means `use default', 1 means `don't align'. +/* Same for selective scheduling. */ +extern bool sel_sched_switch_set; + +/* Whether to run the warn_unused_result attribute pass. */ +extern bool flag_warn_unused_result; + +/* Values of the -falign-* flags: how much to align labels in code. + 0 means `use default', 1 means `don't align'. For each variable, there is an _log variant which is the power of two not less than the variable, for .align output. */ -extern int align_loops; extern int align_loops_log; extern int align_loops_max_skip; -extern int align_jumps; extern int align_jumps_log; extern int align_jumps_max_skip; -extern int align_labels; extern int align_labels_log; extern int align_labels_max_skip; -extern int align_functions; extern int align_functions_log; -/* Like align_functions_log above, but used by front-ends to force the - minimum function alignment. Zero means no alignment is forced. */ -extern int force_align_functions_log; - /* Nonzero if we dump in VCG format, not plain text. */ extern int dump_for_graph; @@ -635,87 +291,102 @@ enum graph_dump_types }; extern enum graph_dump_types graph_dump_format; -/* Nonzero means ignore `#ident' directives. 0 means handle them. - On SVR4 targets, it also controls whether or not to emit a - string identifying the compiler. */ - -extern int flag_no_ident; - -/* Nonzero means perform global CSE. */ - -extern int flag_gcse; - -/* Nonzero if we want to perform enhanced load motion during gcse. */ - -extern int flag_gcse_lm; - -/* Nonzero if we want to perform store motion after gcse. */ - -extern int flag_gcse_sm; - -/* Perform branch target register optimization before prologue / epilogue - threading. */ - -extern int flag_branch_target_load_optimize; - -/* Perform branch target register optimization after prologue / epilogue - threading and jump2. */ +/* Nonzero means to collect statistics which might be expensive + and to print them when we are done. */ +extern int flag_detailed_statistics; -extern int flag_branch_target_load_optimize2; +/* Nonzero means that we defer emitting functions until they are actually + used. */ +extern int flag_remove_unreachable_functions; +/* Nonzero if we should track variables. */ +extern int flag_var_tracking; -/* Nonzero means we should do dwarf2 duplicate elimination. */ +/* True if flag_speculative_prefetching was set by user. Used to suppress + warning message in case flag was set by -fprofile-{generate,use}. */ +extern bool flag_speculative_prefetching_set; -extern int flag_eliminate_dwarf2_dups; +/* Type of stack check. */ +enum stack_check_type +{ + /* Do not check the stack. */ + NO_STACK_CHECK = 0, -/* Nonzero means we should do unused type elimination. */ + /* Check the stack generically, i.e. assume no specific support + from the target configuration files. */ + GENERIC_STACK_CHECK, -extern int flag_eliminate_unused_debug_types; + /* Check the stack and rely on the target configuration files to + check the static frame of functions, i.e. use the generic + mechanism only for dynamic stack allocations. */ + STATIC_BUILTIN_STACK_CHECK, -/* Nonzero means to collect statistics which might be expensive - and to print them when we are done. */ -extern int flag_detailed_statistics; + /* Check the stack and entirely rely on the target configuration + files, i.e. do not use the generic mechanism at all. */ + FULL_BUILTIN_STACK_CHECK +}; +extern enum stack_check_type flag_stack_check; -/* Nonzero means enable synchronous exceptions for non-call instructions. */ -extern int flag_non_call_exceptions; +/* Returns TRUE if generated code should match ABI version N or + greater is in use. */ -/* Nonzero means put zero initialized data in the bss section. */ -extern int flag_zero_initialized_in_bss; +#define abi_version_at_least(N) \ + (flag_abi_version == 0 || flag_abi_version >= (N)) -/* Nonzero means disable transformations observable by signaling NaNs. */ -extern int flag_signaling_nans; +/* Return whether the function should be excluded from + instrumentation. */ +extern bool flag_instrument_functions_exclude_p (tree fndecl); -extern int flag_unit_at_a_time; +/* True if overflow wraps around for the given integral type. That + is, TYPE_MAX + 1 == TYPE_MIN. */ +#define TYPE_OVERFLOW_WRAPS(TYPE) \ + (TYPE_UNSIGNED (TYPE) || flag_wrapv) -/* A string that's used when a random name is required. NULL means - to make it really random. */ +/* True if overflow is undefined for the given integral type. We may + optimize on the assumption that values in the type never overflow. -extern const char *flag_random_seed; + IMPORTANT NOTE: Any optimization based on TYPE_OVERFLOW_UNDEFINED + must issue a warning based on warn_strict_overflow. In some cases + it will be appropriate to issue the warning immediately, and in + other cases it will be appropriate to simply set a flag and let the + caller decide whether a warning is appropriate or not. */ +#define TYPE_OVERFLOW_UNDEFINED(TYPE) \ + (!TYPE_UNSIGNED (TYPE) && !flag_wrapv && !flag_trapv && flag_strict_overflow) -/* True if the given mode has a NaN representation and the treatment of - NaN operands is important. Certain optimizations, such as folding - x * 0 into x, are not correct for NaN operands, and are normally - disabled for modes with NaNs. The user can ask for them to be - done anyway using the -funsafe-math-optimizations switch. */ -#define HONOR_NANS(MODE) \ - (MODE_HAS_NANS (MODE) && !flag_finite_math_only) +/* True if overflow for the given integral type should issue a + trap. */ +#define TYPE_OVERFLOW_TRAPS(TYPE) \ + (!TYPE_UNSIGNED (TYPE) && flag_trapv) -/* Like HONOR_NANs, but true if we honor signaling NaNs (or sNaNs). */ -#define HONOR_SNANS(MODE) (flag_signaling_nans && HONOR_NANS (MODE)) +/* True if pointer types have undefined overflow. */ +#define POINTER_TYPE_OVERFLOW_UNDEFINED (flag_strict_overflow) -/* As for HONOR_NANS, but true if the mode can represent infinity and - the treatment of infinite values is important. */ -#define HONOR_INFINITIES(MODE) \ - (MODE_HAS_INFINITIES (MODE) && !flag_finite_math_only) +/* Names for the different levels of -Wstrict-overflow=N. The numeric + values here correspond to N. */ -/* Like HONOR_NANS, but true if the given mode distinguishes between - positive and negative zero, and the sign of zero is important. */ -#define HONOR_SIGNED_ZEROS(MODE) \ - (MODE_HAS_SIGNED_ZEROS (MODE) && !flag_unsafe_math_optimizations) +enum warn_strict_overflow_code +{ + /* Overflow warning that should be issued with -Wall: a questionable + construct that is easy to avoid even when using macros. Example: + folding (x + CONSTANT > x) to 1. */ + WARN_STRICT_OVERFLOW_ALL = 1, + /* Overflow warning about folding a comparison to a constant because + of undefined signed overflow, other than cases covered by + WARN_STRICT_OVERFLOW_ALL. Example: folding (abs (x) >= 0) to 1 + (this is false when x == INT_MIN). */ + WARN_STRICT_OVERFLOW_CONDITIONAL = 2, + /* Overflow warning about changes to comparisons other than folding + them to a constant. Example: folding (x + 1 > 1) to (x > 0). */ + WARN_STRICT_OVERFLOW_COMPARISON = 3, + /* Overflow warnings not covered by the above cases. Example: + folding ((x * 10) / 5) to (x * 2). */ + WARN_STRICT_OVERFLOW_MISC = 4, + /* Overflow warnings about reducing magnitude of constants in + comparison. Example: folding (x + 2 > y) to (x + 1 >= y). */ + WARN_STRICT_OVERFLOW_MAGNITUDE = 5 +}; -/* Like HONOR_NANS, but true if given mode supports sign-dependent rounding, - and the rounding mode is important. */ -#define HONOR_SIGN_DEPENDENT_ROUNDING(MODE) \ - (MODE_HAS_SIGN_DEPENDENT_ROUNDING (MODE) && !flag_unsafe_math_optimizations) +/* Whether to emit an overflow warning whose code is C. */ +#define issue_strict_overflow_warning(c) (warn_strict_overflow >= (int) (c)) #endif /* ! GCC_FLAGS_H */