]> git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/flags.h
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / flags.h
1 /* Compilation switch flag definitions for GCC.
2 Copyright (C) 1987-2021 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
19
20 #ifndef GCC_FLAGS_H
21 #define GCC_FLAGS_H
22
23 #if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)
24
25 /* Names of fundamental debug info formats indexed by enum
26 debug_info_type. */
27
28 extern const char *const debug_type_names[];
29
30 /* Get enum debug_info_type of the specified debug format, for error messages.
31 Can be used only for individual debug format types. */
32
33 extern enum debug_info_type debug_set_to_format (uint32_t debug_info_set);
34
35 /* Get the number of debug formats enabled for output. */
36
37 unsigned int debug_set_count (uint32_t w_symbols);
38
39 /* Get the names of the debug formats enabled for output. */
40
41 const char * debug_set_names (uint32_t w_symbols);
42
43 /* Return true iff BTF debug info is enabled. */
44
45 extern bool btf_debuginfo_p ();
46
47 /* Return true iff BTF with CO-RE debug info is enabled. */
48
49 extern bool btf_with_core_debuginfo_p ();
50
51 /* Return true iff CTF debug info is enabled. */
52
53 extern bool ctf_debuginfo_p ();
54
55 /* Return true iff DWARF2 debug info is enabled. */
56
57 extern bool dwarf_debuginfo_p ();
58
59 /* Return true iff the debug info format is to be generated based on DWARF
60 DIEs (like CTF and BTF debug info formats). */
61
62 extern bool dwarf_based_debuginfo_p ();
63
64 extern void strip_off_ending (char *, int);
65 extern int base_of_path (const char *path, const char **base_out);
66
67 /* Return true iff flags are set as if -ffast-math. */
68 extern bool fast_math_flags_set_p (const struct gcc_options *);
69 extern bool fast_math_flags_struct_set_p (struct cl_optimization *);
70
71 \f
72 /* Now the symbols that are set with `-f' switches. */
73
74 /* True if printing into -fdump-final-insns= dump. */
75
76 extern bool final_insns_dump_p;
77
78 \f
79 /* Other basic status info about current function. */
80
81 class target_flag_state
82 {
83 public:
84 /* Each falign-foo can generate up to two levels of alignment:
85 -falign-foo=N:M[:N2:M2] */
86 align_flags x_align_loops;
87 align_flags x_align_jumps;
88 align_flags x_align_labels;
89 align_flags x_align_functions;
90 };
91
92 extern class target_flag_state default_target_flag_state;
93 #if SWITCHABLE_TARGET
94 extern class target_flag_state *this_target_flag_state;
95 #else
96 #define this_target_flag_state (&default_target_flag_state)
97 #endif
98
99 #define align_loops (this_target_flag_state->x_align_loops)
100 #define align_jumps (this_target_flag_state->x_align_jumps)
101 #define align_labels (this_target_flag_state->x_align_labels)
102 #define align_functions (this_target_flag_state->x_align_functions)
103
104 /* Returns TRUE if generated code should match ABI version N or
105 greater is in use. */
106
107 #define abi_version_at_least(N) \
108 (flag_abi_version == 0 || flag_abi_version >= (N))
109
110 /* Whether to emit an overflow warning whose code is C. */
111 #define issue_strict_overflow_warning(c) (warn_strict_overflow >= (int) (c))
112
113 #endif
114
115 #endif /* ! GCC_FLAGS_H */