[Ada] Missing range check on assignment to bit-packed array
[official-gcc.git] / gcc / flag-types.h
bloba2103282d469db31ad157a87572068d943061c8c
1 /* Compilation switch flag type definitions for GCC.
2 Copyright (C) 1987-2019 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #ifndef GCC_FLAG_TYPES_H
21 #define GCC_FLAG_TYPES_H
23 enum debug_info_type
25 NO_DEBUG, /* Write no debug info. */
26 DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */
27 DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */
28 XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */
29 VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */
30 VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).
31 and DWARF v2 debug info (using dwarf2out.c). */
34 enum debug_info_levels
36 DINFO_LEVEL_NONE, /* Write no debugging info. */
37 DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */
38 DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */
39 DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */
42 /* A major contribution to object and executable size is debug
43 information size. A major contribution to debug information
44 size is struct descriptions replicated in several object files.
45 The following function determines whether or not debug information
46 should be generated for a given struct. The indirect parameter
47 indicates that the struct is being handled indirectly, via
48 a pointer. See opts.c for the implementation. */
50 enum debug_info_usage
52 DINFO_USAGE_DFN, /* A struct definition. */
53 DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */
54 DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */
55 DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */
58 /* A major contribution to object and executable size is debug
59 information size. A major contribution to debug information size
60 is struct descriptions replicated in several object files. The
61 following flags attempt to reduce this information. The basic
62 idea is to not emit struct debugging information in the current
63 compilation unit when that information will be generated by
64 another compilation unit.
66 Debug information for a struct defined in the current source
67 file should be generated in the object file. Likewise the
68 debug information for a struct defined in a header should be
69 generated in the object file of the corresponding source file.
70 Both of these case are handled when the base name of the file of
71 the struct definition matches the base name of the source file
72 of the current compilation unit. This matching emits minimal
73 struct debugging information.
75 The base file name matching rule above will fail to emit debug
76 information for structs defined in system headers. So a second
77 category of files includes system headers in addition to files
78 with matching bases.
80 The remaining types of files are library headers and application
81 headers. We cannot currently distinguish these two types. */
83 enum debug_struct_file
85 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
86 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
87 same base name as the compilation unit. */
88 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
89 header files. */
90 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
93 /* Balance between GNAT encodings and standard DWARF to emit. */
95 enum dwarf_gnat_encodings
97 DWARF_GNAT_ENCODINGS_ALL = 0, /* Emit all GNAT encodings, then emit as
98 much standard DWARF as possible so it
99 does not conflict with GNAT
100 encodings. */
101 DWARF_GNAT_ENCODINGS_GDB = 1, /* Emit as much standard DWARF as possible
102 as long as GDB handles them. Emit GNAT
103 encodings for the rest. */
104 DWARF_GNAT_ENCODINGS_MINIMAL = 2 /* Emit all the standard DWARF we can.
105 Emit GNAT encodings for the rest. */
108 /* Enumerate Objective-c instance variable visibility settings. */
110 enum ivar_visibility
112 IVAR_VISIBILITY_PRIVATE,
113 IVAR_VISIBILITY_PROTECTED,
114 IVAR_VISIBILITY_PUBLIC,
115 IVAR_VISIBILITY_PACKAGE
118 /* The stack reuse level. */
119 enum stack_reuse_level
121 SR_NONE,
122 SR_NAMED_VARS,
123 SR_ALL
126 /* The live patching level. */
127 enum live_patching_level
129 LIVE_PATCHING_NONE = 0,
130 LIVE_PATCHING_INLINE_ONLY_STATIC,
131 LIVE_PATCHING_INLINE_CLONE
134 /* The algorithm used for basic block reordering. */
135 enum reorder_blocks_algorithm
137 REORDER_BLOCKS_ALGORITHM_SIMPLE,
138 REORDER_BLOCKS_ALGORITHM_STC
141 /* The algorithm used for the integrated register allocator (IRA). */
142 enum ira_algorithm
144 IRA_ALGORITHM_CB,
145 IRA_ALGORITHM_PRIORITY
148 /* The regions used for the integrated register allocator (IRA). */
149 enum ira_region
151 IRA_REGION_ONE,
152 IRA_REGION_ALL,
153 IRA_REGION_MIXED,
154 /* This value means that there were no options -fira-region on the
155 command line and that we should choose a value depending on the
156 used -O option. */
157 IRA_REGION_AUTODETECT
160 /* The options for excess precision. */
161 enum excess_precision
163 EXCESS_PRECISION_DEFAULT,
164 EXCESS_PRECISION_FAST,
165 EXCESS_PRECISION_STANDARD
168 /* The options for which values of FLT_EVAL_METHOD are permissible. */
169 enum permitted_flt_eval_methods
171 PERMITTED_FLT_EVAL_METHODS_DEFAULT,
172 PERMITTED_FLT_EVAL_METHODS_TS_18661,
173 PERMITTED_FLT_EVAL_METHODS_C11
176 /* Type of stack check.
178 Stack checking is designed to detect infinite recursion and stack
179 overflows for Ada programs. Furthermore stack checking tries to ensure
180 in that scenario that enough stack space is left to run a signal handler.
182 -fstack-check= does not prevent stack-clash style attacks. For that
183 you want -fstack-clash-protection. */
184 enum stack_check_type
186 /* Do not check the stack. */
187 NO_STACK_CHECK = 0,
189 /* Check the stack generically, i.e. assume no specific support
190 from the target configuration files. */
191 GENERIC_STACK_CHECK,
193 /* Check the stack and rely on the target configuration files to
194 check the static frame of functions, i.e. use the generic
195 mechanism only for dynamic stack allocations. */
196 STATIC_BUILTIN_STACK_CHECK,
198 /* Check the stack and entirely rely on the target configuration
199 files, i.e. do not use the generic mechanism at all. */
200 FULL_BUILTIN_STACK_CHECK
203 /* Floating-point contraction mode. */
204 enum fp_contract_mode {
205 FP_CONTRACT_OFF = 0,
206 FP_CONTRACT_ON = 1,
207 FP_CONTRACT_FAST = 2
210 /* Scalar storage order kind. */
211 enum scalar_storage_order_kind {
212 SSO_NATIVE = 0,
213 SSO_BIG_ENDIAN,
214 SSO_LITTLE_ENDIAN
217 /* Vectorizer cost-model. */
218 enum vect_cost_model {
219 VECT_COST_MODEL_UNLIMITED = 0,
220 VECT_COST_MODEL_CHEAP = 1,
221 VECT_COST_MODEL_DYNAMIC = 2,
222 VECT_COST_MODEL_DEFAULT = 3
225 /* Different instrumentation modes. */
226 enum sanitize_code {
227 /* AddressSanitizer. */
228 SANITIZE_ADDRESS = 1UL << 0,
229 SANITIZE_USER_ADDRESS = 1UL << 1,
230 SANITIZE_KERNEL_ADDRESS = 1UL << 2,
231 /* ThreadSanitizer. */
232 SANITIZE_THREAD = 1UL << 3,
233 /* LeakSanitizer. */
234 SANITIZE_LEAK = 1UL << 4,
235 /* UndefinedBehaviorSanitizer. */
236 SANITIZE_SHIFT_BASE = 1UL << 5,
237 SANITIZE_SHIFT_EXPONENT = 1UL << 6,
238 SANITIZE_DIVIDE = 1UL << 7,
239 SANITIZE_UNREACHABLE = 1UL << 8,
240 SANITIZE_VLA = 1UL << 9,
241 SANITIZE_NULL = 1UL << 10,
242 SANITIZE_RETURN = 1UL << 11,
243 SANITIZE_SI_OVERFLOW = 1UL << 12,
244 SANITIZE_BOOL = 1UL << 13,
245 SANITIZE_ENUM = 1UL << 14,
246 SANITIZE_FLOAT_DIVIDE = 1UL << 15,
247 SANITIZE_FLOAT_CAST = 1UL << 16,
248 SANITIZE_BOUNDS = 1UL << 17,
249 SANITIZE_ALIGNMENT = 1UL << 18,
250 SANITIZE_NONNULL_ATTRIBUTE = 1UL << 19,
251 SANITIZE_RETURNS_NONNULL_ATTRIBUTE = 1UL << 20,
252 SANITIZE_OBJECT_SIZE = 1UL << 21,
253 SANITIZE_VPTR = 1UL << 22,
254 SANITIZE_BOUNDS_STRICT = 1UL << 23,
255 SANITIZE_POINTER_OVERFLOW = 1UL << 24,
256 SANITIZE_BUILTIN = 1UL << 25,
257 SANITIZE_POINTER_COMPARE = 1UL << 26,
258 SANITIZE_POINTER_SUBTRACT = 1UL << 27,
259 SANITIZE_SHIFT = SANITIZE_SHIFT_BASE | SANITIZE_SHIFT_EXPONENT,
260 SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE
261 | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN
262 | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM
263 | SANITIZE_BOUNDS | SANITIZE_ALIGNMENT
264 | SANITIZE_NONNULL_ATTRIBUTE
265 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
266 | SANITIZE_OBJECT_SIZE | SANITIZE_VPTR
267 | SANITIZE_POINTER_OVERFLOW | SANITIZE_BUILTIN,
268 SANITIZE_UNDEFINED_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST
269 | SANITIZE_BOUNDS_STRICT
272 /* Settings of flag_incremental_link. */
273 enum incremental_link {
274 INCREMENTAL_LINK_NONE,
275 /* Do incremental linking and produce binary. */
276 INCREMENTAL_LINK_NOLTO,
277 /* Do incremental linking and produce IL. */
278 INCREMENTAL_LINK_LTO
281 /* Different trace modes. */
282 enum sanitize_coverage_code {
283 /* Trace PC. */
284 SANITIZE_COV_TRACE_PC = 1 << 0,
285 /* Trace Comparison. */
286 SANITIZE_COV_TRACE_CMP = 1 << 1
289 /* flag_vtable_verify initialization levels. */
290 enum vtv_priority {
291 VTV_NO_PRIORITY = 0, /* i.E. Do NOT do vtable verification. */
292 VTV_STANDARD_PRIORITY = 1,
293 VTV_PREINIT_PRIORITY = 2
296 /* flag_lto_partition initialization values. */
297 enum lto_partition_model {
298 LTO_PARTITION_NONE = 0,
299 LTO_PARTITION_ONE = 1,
300 LTO_PARTITION_BALANCED = 2,
301 LTO_PARTITION_1TO1 = 3,
302 LTO_PARTITION_MAX = 4
305 /* flag_lto_linker_output initialization values. */
306 enum lto_linker_output {
307 LTO_LINKER_OUTPUT_UNKNOWN,
308 LTO_LINKER_OUTPUT_REL,
309 LTO_LINKER_OUTPUT_NOLTOREL,
310 LTO_LINKER_OUTPUT_DYN,
311 LTO_LINKER_OUTPUT_PIE,
312 LTO_LINKER_OUTPUT_EXEC
315 /* gfortran -finit-real= values. */
317 enum gfc_init_local_real
319 GFC_INIT_REAL_OFF = 0,
320 GFC_INIT_REAL_ZERO,
321 GFC_INIT_REAL_NAN,
322 GFC_INIT_REAL_SNAN,
323 GFC_INIT_REAL_INF,
324 GFC_INIT_REAL_NEG_INF
327 /* gfortran -fcoarray= values. */
329 enum gfc_fcoarray
331 GFC_FCOARRAY_NONE = 0,
332 GFC_FCOARRAY_SINGLE,
333 GFC_FCOARRAY_LIB
337 /* gfortran -fconvert= values; used for unformatted I/O.
338 Keep in sync with GFC_CONVERT_* in gcc/fortran/libgfortran.h. */
339 enum gfc_convert
341 GFC_FLAG_CONVERT_NATIVE = 0,
342 GFC_FLAG_CONVERT_SWAP,
343 GFC_FLAG_CONVERT_BIG,
344 GFC_FLAG_CONVERT_LITTLE
348 /* Control-Flow Protection values. */
349 enum cf_protection_level
351 CF_NONE = 0,
352 CF_BRANCH = 1 << 0,
353 CF_RETURN = 1 << 1,
354 CF_FULL = CF_BRANCH | CF_RETURN,
355 CF_SET = 1 << 2
357 #endif /* ! GCC_FLAG_TYPES_H */