]>
Commit | Line | Data |
---|---|---|
a317e77e | 1 | /* Compilation switch flag type definitions for GCC. |
f1717362 | 2 | Copyright (C) 1987-2016 Free Software Foundation, Inc. |
a317e77e | 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_FLAG_TYPES_H | |
21 | #define GCC_FLAG_TYPES_H | |
22 | ||
23 | enum debug_info_type | |
24 | { | |
25 | NO_DEBUG, /* Write no debug info. */ | |
26 | DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ | |
27 | SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */ | |
28 | DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ | |
29 | XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ | |
30 | VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ | |
31 | VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). | |
32 | and DWARF v2 debug info (using dwarf2out.c). */ | |
33 | }; | |
34 | ||
cc4fa57a | 35 | enum debug_info_levels |
a317e77e | 36 | { |
37 | DINFO_LEVEL_NONE, /* Write no debugging info. */ | |
38 | DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */ | |
39 | DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */ | |
40 | DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */ | |
41 | }; | |
42 | ||
43 | /* A major contribution to object and executable size is debug | |
44 | information size. A major contribution to debug information | |
45 | size is struct descriptions replicated in several object files. | |
46 | The following function determines whether or not debug information | |
47 | should be generated for a given struct. The indirect parameter | |
48 | indicates that the struct is being handled indirectly, via | |
49 | a pointer. See opts.c for the implementation. */ | |
50 | ||
51 | enum debug_info_usage | |
52 | { | |
53 | DINFO_USAGE_DFN, /* A struct definition. */ | |
54 | DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */ | |
55 | DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */ | |
56 | DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */ | |
57 | }; | |
58 | ||
d7175aef | 59 | /* A major contribution to object and executable size is debug |
60 | information size. A major contribution to debug information size | |
61 | is struct descriptions replicated in several object files. The | |
62 | following flags attempt to reduce this information. The basic | |
63 | idea is to not emit struct debugging information in the current | |
64 | compilation unit when that information will be generated by | |
65 | another compilation unit. | |
66 | ||
67 | Debug information for a struct defined in the current source | |
68 | file should be generated in the object file. Likewise the | |
69 | debug information for a struct defined in a header should be | |
70 | generated in the object file of the corresponding source file. | |
71 | Both of these case are handled when the base name of the file of | |
72 | the struct definition matches the base name of the source file | |
73 | of the current compilation unit. This matching emits minimal | |
74 | struct debugging information. | |
75 | ||
76 | The base file name matching rule above will fail to emit debug | |
77 | information for structs defined in system headers. So a second | |
78 | category of files includes system headers in addition to files | |
79 | with matching bases. | |
80 | ||
81 | The remaining types of files are library headers and application | |
82 | headers. We cannot currently distinguish these two types. */ | |
83 | ||
84 | enum debug_struct_file | |
85 | { | |
86 | DINFO_STRUCT_FILE_NONE, /* Debug no structs. */ | |
87 | DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the | |
88 | same base name as the compilation unit. */ | |
89 | DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system | |
90 | header files. */ | |
91 | DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */ | |
92 | }; | |
93 | ||
f78f10d6 | 94 | /* Balance between GNAT encodings and standard DWARF to emit. */ |
95 | ||
96 | enum dwarf_gnat_encodings | |
97 | { | |
98 | DWARF_GNAT_ENCODINGS_ALL = 0, /* Emit all GNAT encodings, then emit as | |
99 | much standard DWARF as possible so it | |
100 | does not conflict with GNAT | |
101 | encodings. */ | |
102 | DWARF_GNAT_ENCODINGS_GDB = 1, /* Emit as much standard DWARF as possible | |
103 | as long as GDB handles them. Emit GNAT | |
104 | encodings for the rest. */ | |
105 | DWARF_GNAT_ENCODINGS_MINIMAL = 2 /* Emit all the standard DWARF we can. | |
106 | Emit GNAT encodings for the rest. */ | |
107 | }; | |
108 | ||
06511efd | 109 | /* Enumerate Objective-c instance variable visibility settings. */ |
110 | ||
111 | enum ivar_visibility | |
112 | { | |
113 | IVAR_VISIBILITY_PRIVATE, | |
114 | IVAR_VISIBILITY_PROTECTED, | |
115 | IVAR_VISIBILITY_PUBLIC, | |
116 | IVAR_VISIBILITY_PACKAGE | |
117 | }; | |
118 | ||
5680e508 | 119 | /* The stack reuse level. */ |
120 | enum stack_reuse_level | |
121 | { | |
122 | SR_NONE, | |
123 | SR_NAMED_VARS, | |
124 | SR_ALL | |
125 | }; | |
126 | ||
e57ef194 | 127 | /* The algorithm used for basic block reordering. */ |
128 | enum reorder_blocks_algorithm | |
129 | { | |
130 | REORDER_BLOCKS_ALGORITHM_SIMPLE, | |
131 | REORDER_BLOCKS_ALGORITHM_STC | |
132 | }; | |
133 | ||
a317e77e | 134 | /* The algorithm used for the integrated register allocator (IRA). */ |
135 | enum ira_algorithm | |
136 | { | |
137 | IRA_ALGORITHM_CB, | |
138 | IRA_ALGORITHM_PRIORITY | |
139 | }; | |
140 | ||
141 | /* The regions used for the integrated register allocator (IRA). */ | |
142 | enum ira_region | |
143 | { | |
144 | IRA_REGION_ONE, | |
145 | IRA_REGION_ALL, | |
0cb057cb | 146 | IRA_REGION_MIXED, |
147 | /* This value means that there were no options -fira-region on the | |
148 | command line and that we should choose a value depending on the | |
149 | used -O option. */ | |
150 | IRA_REGION_AUTODETECT | |
a317e77e | 151 | }; |
152 | ||
153 | /* The options for excess precision. */ | |
154 | enum excess_precision | |
155 | { | |
156 | EXCESS_PRECISION_DEFAULT, | |
157 | EXCESS_PRECISION_FAST, | |
158 | EXCESS_PRECISION_STANDARD | |
159 | }; | |
160 | ||
a317e77e | 161 | /* Type of stack check. */ |
162 | enum stack_check_type | |
163 | { | |
164 | /* Do not check the stack. */ | |
165 | NO_STACK_CHECK = 0, | |
166 | ||
167 | /* Check the stack generically, i.e. assume no specific support | |
168 | from the target configuration files. */ | |
169 | GENERIC_STACK_CHECK, | |
170 | ||
171 | /* Check the stack and rely on the target configuration files to | |
172 | check the static frame of functions, i.e. use the generic | |
173 | mechanism only for dynamic stack allocations. */ | |
174 | STATIC_BUILTIN_STACK_CHECK, | |
175 | ||
176 | /* Check the stack and entirely rely on the target configuration | |
177 | files, i.e. do not use the generic mechanism at all. */ | |
178 | FULL_BUILTIN_STACK_CHECK | |
179 | }; | |
180 | ||
181 | /* Names for the different levels of -Wstrict-overflow=N. The numeric | |
182 | values here correspond to N. */ | |
a317e77e | 183 | enum warn_strict_overflow_code |
184 | { | |
185 | /* Overflow warning that should be issued with -Wall: a questionable | |
186 | construct that is easy to avoid even when using macros. Example: | |
187 | folding (x + CONSTANT > x) to 1. */ | |
188 | WARN_STRICT_OVERFLOW_ALL = 1, | |
189 | /* Overflow warning about folding a comparison to a constant because | |
190 | of undefined signed overflow, other than cases covered by | |
191 | WARN_STRICT_OVERFLOW_ALL. Example: folding (abs (x) >= 0) to 1 | |
192 | (this is false when x == INT_MIN). */ | |
193 | WARN_STRICT_OVERFLOW_CONDITIONAL = 2, | |
194 | /* Overflow warning about changes to comparisons other than folding | |
195 | them to a constant. Example: folding (x + 1 > 1) to (x > 0). */ | |
196 | WARN_STRICT_OVERFLOW_COMPARISON = 3, | |
197 | /* Overflow warnings not covered by the above cases. Example: | |
198 | folding ((x * 10) / 5) to (x * 2). */ | |
199 | WARN_STRICT_OVERFLOW_MISC = 4, | |
200 | /* Overflow warnings about reducing magnitude of constants in | |
201 | comparison. Example: folding (x + 2 > y) to (x + 1 >= y). */ | |
202 | WARN_STRICT_OVERFLOW_MAGNITUDE = 5 | |
203 | }; | |
204 | ||
b9be572e | 205 | /* Floating-point contraction mode. */ |
206 | enum fp_contract_mode { | |
207 | FP_CONTRACT_OFF = 0, | |
208 | FP_CONTRACT_ON = 1, | |
209 | FP_CONTRACT_FAST = 2 | |
210 | }; | |
211 | ||
292237f3 | 212 | /* Scalar storage order kind. */ |
213 | enum scalar_storage_order_kind { | |
214 | SSO_NATIVE = 0, | |
215 | SSO_BIG_ENDIAN, | |
216 | SSO_LITTLE_ENDIAN | |
217 | }; | |
218 | ||
1dbf9bd1 | 219 | /* Vectorizer cost-model. */ |
220 | enum vect_cost_model { | |
221 | VECT_COST_MODEL_UNLIMITED = 0, | |
222 | VECT_COST_MODEL_CHEAP = 1, | |
223 | VECT_COST_MODEL_DYNAMIC = 2, | |
224 | VECT_COST_MODEL_DEFAULT = 3 | |
225 | }; | |
226 | ||
9e46467d | 227 | /* Different instrumentation modes. */ |
228 | enum sanitize_code { | |
229 | /* AddressSanitizer. */ | |
230 | SANITIZE_ADDRESS = 1 << 0, | |
3e1dd01e | 231 | SANITIZE_USER_ADDRESS = 1 << 1, |
232 | SANITIZE_KERNEL_ADDRESS = 1 << 2, | |
9e46467d | 233 | /* ThreadSanitizer. */ |
3e1dd01e | 234 | SANITIZE_THREAD = 1 << 3, |
f8ff4a27 | 235 | /* LeakSanitizer. */ |
3e1dd01e | 236 | SANITIZE_LEAK = 1 << 4, |
9e46467d | 237 | /* UndefinedBehaviorSanitizer. */ |
3e1dd01e | 238 | SANITIZE_SHIFT = 1 << 5, |
239 | SANITIZE_DIVIDE = 1 << 6, | |
240 | SANITIZE_UNREACHABLE = 1 << 7, | |
241 | SANITIZE_VLA = 1 << 8, | |
242 | SANITIZE_NULL = 1 << 9, | |
243 | SANITIZE_RETURN = 1 << 10, | |
244 | SANITIZE_SI_OVERFLOW = 1 << 11, | |
245 | SANITIZE_BOOL = 1 << 12, | |
246 | SANITIZE_ENUM = 1 << 13, | |
247 | SANITIZE_FLOAT_DIVIDE = 1 << 14, | |
248 | SANITIZE_FLOAT_CAST = 1 << 15, | |
0b3de590 | 249 | SANITIZE_BOUNDS = 1UL << 16, |
250 | SANITIZE_ALIGNMENT = 1UL << 17, | |
251 | SANITIZE_NONNULL_ATTRIBUTE = 1UL << 18, | |
252 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE = 1UL << 19, | |
253 | SANITIZE_OBJECT_SIZE = 1UL << 20, | |
32cf7025 | 254 | SANITIZE_VPTR = 1UL << 21, |
8cafe283 | 255 | SANITIZE_BOUNDS_STRICT = 1UL << 22, |
9e46467d | 256 | SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE |
020bc656 | 257 | | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN |
5ef6b660 | 258 | | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM |
4a94b996 | 259 | | SANITIZE_BOUNDS | SANITIZE_ALIGNMENT |
260 | | SANITIZE_NONNULL_ATTRIBUTE | |
0b45f2d1 | 261 | | SANITIZE_RETURNS_NONNULL_ATTRIBUTE |
32cf7025 | 262 | | SANITIZE_OBJECT_SIZE | SANITIZE_VPTR, |
c8cc2651 | 263 | SANITIZE_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST |
8cafe283 | 264 | | SANITIZE_BOUNDS_STRICT |
9e46467d | 265 | }; |
266 | ||
b710ec85 | 267 | /* flag_vtable_verify initialization levels. */ |
268 | enum vtv_priority { | |
269 | VTV_NO_PRIORITY = 0, /* i.E. Do NOT do vtable verification. */ | |
270 | VTV_STANDARD_PRIORITY = 1, | |
271 | VTV_PREINIT_PRIORITY = 2 | |
272 | }; | |
4a137074 | 273 | |
274 | /* flag_lto_partition initialization values. */ | |
275 | enum lto_partition_model { | |
276 | LTO_PARTITION_NONE = 0, | |
277 | LTO_PARTITION_ONE = 1, | |
278 | LTO_PARTITION_BALANCED = 2, | |
279 | LTO_PARTITION_1TO1 = 3, | |
280 | LTO_PARTITION_MAX = 4 | |
281 | }; | |
282 | ||
4c4a180d | 283 | /* flag_lto_linker_output initialization values. */ |
284 | enum lto_linker_output { | |
285 | LTO_LINKER_OUTPUT_UNKNOWN, | |
286 | LTO_LINKER_OUTPUT_REL, | |
287 | LTO_LINKER_OUTPUT_DYN, | |
288 | LTO_LINKER_OUTPUT_PIE, | |
289 | LTO_LINKER_OUTPUT_EXEC | |
290 | }; | |
4fe73152 | 291 | |
292 | /* gfortran -finit-real= values. */ | |
293 | ||
294 | enum gfc_init_local_real | |
295 | { | |
296 | GFC_INIT_REAL_OFF = 0, | |
297 | GFC_INIT_REAL_ZERO, | |
298 | GFC_INIT_REAL_NAN, | |
299 | GFC_INIT_REAL_SNAN, | |
300 | GFC_INIT_REAL_INF, | |
301 | GFC_INIT_REAL_NEG_INF | |
302 | }; | |
303 | ||
304 | /* gfortran -fcoarray= values. */ | |
305 | ||
306 | enum gfc_fcoarray | |
307 | { | |
308 | GFC_FCOARRAY_NONE = 0, | |
309 | GFC_FCOARRAY_SINGLE, | |
310 | GFC_FCOARRAY_LIB | |
311 | }; | |
312 | ||
313 | ||
314 | /* gfortran -fconvert= values; used for unformatted I/O. | |
315 | Keep in sync with GFC_CONVERT_* in gcc/fortran/libgfortran.h. */ | |
316 | enum gfc_convert | |
317 | { | |
318 | GFC_FLAG_CONVERT_NATIVE = 0, | |
319 | GFC_FLAG_CONVERT_SWAP, | |
320 | GFC_FLAG_CONVERT_BIG, | |
321 | GFC_FLAG_CONVERT_LITTLE | |
322 | }; | |
323 | ||
324 | ||
a317e77e | 325 | #endif /* ! GCC_FLAG_TYPES_H */ |