]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - gcc/flags.h
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / flags.h
index 7aa9ff14be3b1606565629e4ae95a3da2de07531..af61bcd613bdabe02d08379a673f4d9be4ce0cba 100644 (file)
@@ -1,7 +1,5 @@
 /* Compilation switch flag definitions for GCC.
-   Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002,
-   2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
-   Free Software Foundation, Inc.
+   Copyright (C) 1987-2021 Free Software Foundation, Inc.
 
 This file is part of GCC.
 
@@ -22,136 +20,86 @@ along with GCC; see the file COPYING3.  If not see
 #ifndef GCC_FLAGS_H
 #define GCC_FLAGS_H
 
-#include "coretypes.h"
-#include "flag-types.h"
-#include "options.h"
-
 #if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)
 
-/* Specify which kind of debugging info to generate.  */
-extern enum debug_info_type write_symbols;
+/* Names of fundamental debug info formats indexed by enum
+   debug_info_type.  */
 
-/* Names of debug_info_type, for error messages.  */
 extern const char *const debug_type_names[];
 
-/* Specify how much debugging info to generate.  */
-extern enum debug_info_level debug_info_level;
+/* Get enum debug_info_type of the specified debug format, for error messages.
+   Can be used only for individual debug format types.  */
 
-extern bool should_emit_struct_debug (tree type_decl, enum debug_info_usage);
-extern void set_struct_debug_option (const char *value);
+extern enum debug_info_type debug_set_to_format (uint32_t debug_info_set);
 
-/* Nonzero means use GNU-only extensions in the generated symbolic
-   debugging information.  */
-extern bool use_gnu_debug_info_extensions;
+/* Get the number of debug formats enabled for output.  */
 
-/* Run the second compilation of -fcompare-debug.  Not defined using
-   Var in common.opt because this is used in Ada code and so must be
-   an actual variable not a macro.  */
-extern int flag_compare_debug;
+unsigned int debug_set_count (uint32_t w_symbols);
 
-/* Global visibility options.  */
-extern struct visibility_flags visibility_options;
+/* Get the names of the debug formats enabled for output.  */
 
-/* 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.  */
+const char * debug_set_names (uint32_t w_symbols);
 
-extern bool in_lto_p;
+/* Return true iff BTF debug info is enabled.  */
 
-/* Used to set the level of -Wstrict-aliasing in OPTS, 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 btf_debuginfo_p ();
 
-extern void set_Wstrict_aliasing (struct gcc_options *opts, int onoff);
+/* Return true iff BTF with CO-RE debug info is enabled.  */
 
-/* Nonzero for -dp: annotate the assembly with a comment describing the
-   pattern and alternative used.  */
+extern bool btf_with_core_debuginfo_p ();
 
-extern int flag_print_asm_name;
-\f
-/* Now the symbols that are set with `-f' switches.  */
+/* Return true iff CTF debug info is enabled.  */
 
-/* Nonzero if we are only using compiler to check syntax errors.  */
+extern bool ctf_debuginfo_p ();
 
-extern int rtl_dump_and_exit;
+/* Return true iff DWARF2 debug info is enabled.  */
 
-/* True if printing into -fdump-final-insns= dump.  */
+extern bool dwarf_debuginfo_p ();
 
-extern bool final_insns_dump_p;
+/* Return true iff the debug info format is to be generated based on DWARF
+   DIEs (like CTF and BTF debug info formats).  */
 
-/* Nonzero means make permerror produce warnings instead of errors.  */
+extern bool dwarf_based_debuginfo_p ();
 
-extern int flag_permissive;
+extern void strip_off_ending (char *, int);
+extern int base_of_path (const char *path, const char **base_out);
 
-/* -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.  */
+/* Return true iff flags are set as if -ffast-math.  */
+extern bool fast_math_flags_set_p (const struct gcc_options *);
+extern bool fast_math_flags_struct_set_p (struct cl_optimization *);
 
-extern int flag_debug_asm;
+\f
+/* Now the symbols that are set with `-f' switches.  */
 
-/* Generate code for GNU or NeXT Objective-C runtime environment.  */
+/* True if printing into -fdump-final-insns= dump.  */
 
-extern int flag_next_runtime;
+extern bool final_insns_dump_p;
 
-extern int flag_dump_rtl_in_asm;
 \f
 /* Other basic status info about current function.  */
 
-/* Target-dependent global state.  */
-struct target_flag_state {
-  /* 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.  */
-  int x_align_loops_log;
-  int x_align_loops_max_skip;
-  int x_align_jumps_log;
-  int x_align_jumps_max_skip;
-  int x_align_labels_log;
-  int x_align_labels_max_skip;
-  int x_align_functions_log;
-
-  /* The excess precision currently in effect.  */
-  enum excess_precision x_flag_excess_precision;
+class target_flag_state
+{
+public:
+  /* Each falign-foo can generate up to two levels of alignment:
+     -falign-foo=N:M[:N2:M2] */
+  align_flags x_align_loops;
+  align_flags x_align_jumps;
+  align_flags x_align_labels;
+  align_flags x_align_functions;
 };
 
-extern struct target_flag_state default_target_flag_state;
+extern class target_flag_state default_target_flag_state;
 #if SWITCHABLE_TARGET
-extern struct target_flag_state *this_target_flag_state;
+extern class target_flag_state *this_target_flag_state;
 #else
 #define this_target_flag_state (&default_target_flag_state)
 #endif
 
-#define align_loops_log \
-  (this_target_flag_state->x_align_loops_log)
-#define align_loops_max_skip \
-  (this_target_flag_state->x_align_loops_max_skip)
-#define align_jumps_log \
-  (this_target_flag_state->x_align_jumps_log)
-#define align_jumps_max_skip \
-  (this_target_flag_state->x_align_jumps_max_skip)
-#define align_labels_log \
-  (this_target_flag_state->x_align_labels_log)
-#define align_labels_max_skip \
-  (this_target_flag_state->x_align_labels_max_skip)
-#define align_functions_log \
-  (this_target_flag_state->x_align_functions_log)
-#define flag_excess_precision \
-  (this_target_flag_state->x_flag_excess_precision)
-
-/* Nonzero if we dump in VCG format, not plain text.  */
-extern int dump_for_graph;
-
-extern enum graph_dump_types graph_dump_format;
-
-extern enum stack_check_type flag_stack_check;
+#define align_loops     (this_target_flag_state->x_align_loops)
+#define align_jumps     (this_target_flag_state->x_align_jumps)
+#define align_labels    (this_target_flag_state->x_align_labels)
+#define align_functions         (this_target_flag_state->x_align_functions)
 
 /* Returns TRUE if generated code should match ABI version N or
    greater is in use.  */
@@ -159,34 +107,6 @@ extern enum stack_check_type flag_stack_check;
 #define abi_version_at_least(N) \
   (flag_abi_version == 0 || flag_abi_version >= (N))
 
-/* Return whether the function should be excluded from
-   instrumentation.  */
-extern bool flag_instrument_functions_exclude_p (tree fndecl);
-
-/* 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)
-
-/* True if overflow is undefined for the given integral type.  We may
-   optimize on the assumption that values in the type never overflow.
-
-   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 overflow for the given integral type should issue a
-   trap.  */
-#define TYPE_OVERFLOW_TRAPS(TYPE) \
-  (!TYPE_UNSIGNED (TYPE) && flag_trapv)
-
-/* True if pointer types have undefined overflow.  */
-#define POINTER_TYPE_OVERFLOW_UNDEFINED (flag_strict_overflow)
-
 /* Whether to emit an overflow warning whose code is C.  */
 #define issue_strict_overflow_warning(c) (warn_strict_overflow >= (int) (c))