68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 /* Compilation switch flag type definitions for GCC.
|
145
|
2 Copyright (C) 1987-2020 Free Software Foundation, Inc.
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 This file is part of GCC.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 GCC is free software; you can redistribute it and/or modify it under
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 the terms of the GNU General Public License as published by the Free
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 Software Foundation; either version 3, or (at your option) any later
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 version.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 for more details.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 You should have received a copy of the GNU General Public License
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 along with GCC; see the file COPYING3. If not see
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 <http://www.gnu.org/licenses/>. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 #ifndef GCC_FLAG_TYPES_H
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 #define GCC_FLAG_TYPES_H
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 enum debug_info_type
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 NO_DEBUG, /* Write no debug info. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 and DWARF v2 debug info (using dwarf2out.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 enum debug_info_levels
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 DINFO_LEVEL_NONE, /* Write no debugging info. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42 /* A major contribution to object and executable size is debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 information size. A major contribution to debug information
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 size is struct descriptions replicated in several object files.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 The following function determines whether or not debug information
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 should be generated for a given struct. The indirect parameter
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 indicates that the struct is being handled indirectly, via
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 a pointer. See opts.c for the implementation. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50 enum debug_info_usage
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 DINFO_USAGE_DFN, /* A struct definition. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 /* A major contribution to object and executable size is debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 information size. A major contribution to debug information size
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 is struct descriptions replicated in several object files. The
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 following flags attempt to reduce this information. The basic
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62 idea is to not emit struct debugging information in the current
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 compilation unit when that information will be generated by
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 another compilation unit.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 Debug information for a struct defined in the current source
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 file should be generated in the object file. Likewise the
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 debug information for a struct defined in a header should be
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 generated in the object file of the corresponding source file.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 Both of these case are handled when the base name of the file of
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 the struct definition matches the base name of the source file
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 of the current compilation unit. This matching emits minimal
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 struct debugging information.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 The base file name matching rule above will fail to emit debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 information for structs defined in system headers. So a second
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 category of files includes system headers in addition to files
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78 with matching bases.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 The remaining types of files are library headers and application
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 headers. We cannot currently distinguish these two types. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 enum debug_struct_file
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 same base name as the compilation unit. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 header files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92
|
111
|
93 /* Balance between GNAT encodings and standard DWARF to emit. */
|
|
94
|
|
95 enum dwarf_gnat_encodings
|
|
96 {
|
|
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. */
|
|
106 };
|
|
107
|
|
108 /* Enumerate Objective-c instance variable visibility settings. */
|
|
109
|
|
110 enum ivar_visibility
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 {
|
111
|
112 IVAR_VISIBILITY_PRIVATE,
|
|
113 IVAR_VISIBILITY_PROTECTED,
|
|
114 IVAR_VISIBILITY_PUBLIC,
|
|
115 IVAR_VISIBILITY_PACKAGE
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
116 };
|
111
|
117
|
|
118 /* The stack reuse level. */
|
|
119 enum stack_reuse_level
|
|
120 {
|
|
121 SR_NONE,
|
|
122 SR_NAMED_VARS,
|
|
123 SR_ALL
|
|
124 };
|
|
125
|
145
|
126 /* The live patching level. */
|
|
127 enum live_patching_level
|
|
128 {
|
|
129 LIVE_PATCHING_NONE = 0,
|
|
130 LIVE_PATCHING_INLINE_ONLY_STATIC,
|
|
131 LIVE_PATCHING_INLINE_CLONE
|
|
132 };
|
|
133
|
111
|
134 /* The algorithm used for basic block reordering. */
|
|
135 enum reorder_blocks_algorithm
|
|
136 {
|
|
137 REORDER_BLOCKS_ALGORITHM_SIMPLE,
|
|
138 REORDER_BLOCKS_ALGORITHM_STC
|
|
139 };
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
140
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
141 /* The algorithm used for the integrated register allocator (IRA). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 enum ira_algorithm
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 IRA_ALGORITHM_CB,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 IRA_ALGORITHM_PRIORITY
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
148 /* The regions used for the integrated register allocator (IRA). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
149 enum ira_region
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
150 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 IRA_REGION_ONE,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152 IRA_REGION_ALL,
|
111
|
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
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
158 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
160 /* The options for excess precision. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
161 enum excess_precision
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163 EXCESS_PRECISION_DEFAULT,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
164 EXCESS_PRECISION_FAST,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
165 EXCESS_PRECISION_STANDARD
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
166 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
167
|
111
|
168 /* The options for which values of FLT_EVAL_METHOD are permissible. */
|
|
169 enum permitted_flt_eval_methods
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
170 {
|
111
|
171 PERMITTED_FLT_EVAL_METHODS_DEFAULT,
|
|
172 PERMITTED_FLT_EVAL_METHODS_TS_18661,
|
|
173 PERMITTED_FLT_EVAL_METHODS_C11
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
174 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
175
|
111
|
176 /* Type of stack check.
|
|
177
|
|
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.
|
|
181
|
|
182 -fstack-check= does not prevent stack-clash style attacks. For that
|
|
183 you want -fstack-clash-protection. */
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 enum stack_check_type
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
185 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
186 /* Do not check the stack. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187 NO_STACK_CHECK = 0,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
189 /* Check the stack generically, i.e. assume no specific support
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190 from the target configuration files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 GENERIC_STACK_CHECK,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
193 /* Check the stack and rely on the target configuration files to
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194 check the static frame of functions, i.e. use the generic
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
195 mechanism only for dynamic stack allocations. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
196 STATIC_BUILTIN_STACK_CHECK,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
197
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
198 /* Check the stack and entirely rely on the target configuration
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
199 files, i.e. do not use the generic mechanism at all. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
200 FULL_BUILTIN_STACK_CHECK
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
201 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
202
|
145
|
203 /* Type of callgraph information. */
|
|
204 enum callgraph_info_type
|
|
205 {
|
|
206 /* No information. */
|
|
207 NO_CALLGRAPH_INFO = 0,
|
|
208
|
|
209 /* Naked callgraph. */
|
|
210 CALLGRAPH_INFO_NAKED = 1,
|
|
211
|
|
212 /* Callgraph decorated with stack usage information. */
|
|
213 CALLGRAPH_INFO_STACK_USAGE = 2,
|
|
214
|
|
215 /* Callgraph decoration with dynamic allocation information. */
|
|
216 CALLGRAPH_INFO_DYNAMIC_ALLOC = 4
|
|
217 };
|
|
218
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 /* Floating-point contraction mode. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
220 enum fp_contract_mode {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
221 FP_CONTRACT_OFF = 0,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
222 FP_CONTRACT_ON = 1,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
223 FP_CONTRACT_FAST = 2
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225
|
111
|
226 /* Scalar storage order kind. */
|
|
227 enum scalar_storage_order_kind {
|
|
228 SSO_NATIVE = 0,
|
|
229 SSO_BIG_ENDIAN,
|
|
230 SSO_LITTLE_ENDIAN
|
|
231 };
|
|
232
|
|
233 /* Vectorizer cost-model. */
|
|
234 enum vect_cost_model {
|
|
235 VECT_COST_MODEL_UNLIMITED = 0,
|
|
236 VECT_COST_MODEL_CHEAP = 1,
|
|
237 VECT_COST_MODEL_DYNAMIC = 2,
|
|
238 VECT_COST_MODEL_DEFAULT = 3
|
|
239 };
|
|
240
|
|
241 /* Different instrumentation modes. */
|
|
242 enum sanitize_code {
|
|
243 /* AddressSanitizer. */
|
|
244 SANITIZE_ADDRESS = 1UL << 0,
|
|
245 SANITIZE_USER_ADDRESS = 1UL << 1,
|
|
246 SANITIZE_KERNEL_ADDRESS = 1UL << 2,
|
|
247 /* ThreadSanitizer. */
|
|
248 SANITIZE_THREAD = 1UL << 3,
|
|
249 /* LeakSanitizer. */
|
|
250 SANITIZE_LEAK = 1UL << 4,
|
|
251 /* UndefinedBehaviorSanitizer. */
|
|
252 SANITIZE_SHIFT_BASE = 1UL << 5,
|
|
253 SANITIZE_SHIFT_EXPONENT = 1UL << 6,
|
|
254 SANITIZE_DIVIDE = 1UL << 7,
|
|
255 SANITIZE_UNREACHABLE = 1UL << 8,
|
|
256 SANITIZE_VLA = 1UL << 9,
|
|
257 SANITIZE_NULL = 1UL << 10,
|
|
258 SANITIZE_RETURN = 1UL << 11,
|
|
259 SANITIZE_SI_OVERFLOW = 1UL << 12,
|
|
260 SANITIZE_BOOL = 1UL << 13,
|
|
261 SANITIZE_ENUM = 1UL << 14,
|
|
262 SANITIZE_FLOAT_DIVIDE = 1UL << 15,
|
|
263 SANITIZE_FLOAT_CAST = 1UL << 16,
|
|
264 SANITIZE_BOUNDS = 1UL << 17,
|
|
265 SANITIZE_ALIGNMENT = 1UL << 18,
|
|
266 SANITIZE_NONNULL_ATTRIBUTE = 1UL << 19,
|
|
267 SANITIZE_RETURNS_NONNULL_ATTRIBUTE = 1UL << 20,
|
|
268 SANITIZE_OBJECT_SIZE = 1UL << 21,
|
|
269 SANITIZE_VPTR = 1UL << 22,
|
|
270 SANITIZE_BOUNDS_STRICT = 1UL << 23,
|
|
271 SANITIZE_POINTER_OVERFLOW = 1UL << 24,
|
|
272 SANITIZE_BUILTIN = 1UL << 25,
|
131
|
273 SANITIZE_POINTER_COMPARE = 1UL << 26,
|
|
274 SANITIZE_POINTER_SUBTRACT = 1UL << 27,
|
111
|
275 SANITIZE_SHIFT = SANITIZE_SHIFT_BASE | SANITIZE_SHIFT_EXPONENT,
|
|
276 SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE
|
|
277 | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN
|
|
278 | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM
|
|
279 | SANITIZE_BOUNDS | SANITIZE_ALIGNMENT
|
|
280 | SANITIZE_NONNULL_ATTRIBUTE
|
|
281 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
|
|
282 | SANITIZE_OBJECT_SIZE | SANITIZE_VPTR
|
|
283 | SANITIZE_POINTER_OVERFLOW | SANITIZE_BUILTIN,
|
|
284 SANITIZE_UNDEFINED_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST
|
|
285 | SANITIZE_BOUNDS_STRICT
|
|
286 };
|
|
287
|
131
|
288 /* Settings of flag_incremental_link. */
|
|
289 enum incremental_link {
|
|
290 INCREMENTAL_LINK_NONE,
|
|
291 /* Do incremental linking and produce binary. */
|
|
292 INCREMENTAL_LINK_NOLTO,
|
|
293 /* Do incremental linking and produce IL. */
|
|
294 INCREMENTAL_LINK_LTO
|
|
295 };
|
|
296
|
111
|
297 /* Different trace modes. */
|
|
298 enum sanitize_coverage_code {
|
|
299 /* Trace PC. */
|
|
300 SANITIZE_COV_TRACE_PC = 1 << 0,
|
|
301 /* Trace Comparison. */
|
|
302 SANITIZE_COV_TRACE_CMP = 1 << 1
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
303 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
304
|
111
|
305 /* flag_vtable_verify initialization levels. */
|
|
306 enum vtv_priority {
|
|
307 VTV_NO_PRIORITY = 0, /* i.E. Do NOT do vtable verification. */
|
|
308 VTV_STANDARD_PRIORITY = 1,
|
|
309 VTV_PREINIT_PRIORITY = 2
|
|
310 };
|
|
311
|
|
312 /* flag_lto_partition initialization values. */
|
|
313 enum lto_partition_model {
|
|
314 LTO_PARTITION_NONE = 0,
|
|
315 LTO_PARTITION_ONE = 1,
|
|
316 LTO_PARTITION_BALANCED = 2,
|
|
317 LTO_PARTITION_1TO1 = 3,
|
|
318 LTO_PARTITION_MAX = 4
|
|
319 };
|
|
320
|
|
321 /* flag_lto_linker_output initialization values. */
|
|
322 enum lto_linker_output {
|
|
323 LTO_LINKER_OUTPUT_UNKNOWN,
|
|
324 LTO_LINKER_OUTPUT_REL,
|
131
|
325 LTO_LINKER_OUTPUT_NOLTOREL,
|
111
|
326 LTO_LINKER_OUTPUT_DYN,
|
|
327 LTO_LINKER_OUTPUT_PIE,
|
|
328 LTO_LINKER_OUTPUT_EXEC
|
|
329 };
|
|
330
|
|
331 /* gfortran -finit-real= values. */
|
|
332
|
|
333 enum gfc_init_local_real
|
|
334 {
|
|
335 GFC_INIT_REAL_OFF = 0,
|
|
336 GFC_INIT_REAL_ZERO,
|
|
337 GFC_INIT_REAL_NAN,
|
|
338 GFC_INIT_REAL_SNAN,
|
|
339 GFC_INIT_REAL_INF,
|
|
340 GFC_INIT_REAL_NEG_INF
|
|
341 };
|
|
342
|
|
343 /* gfortran -fcoarray= values. */
|
|
344
|
|
345 enum gfc_fcoarray
|
|
346 {
|
|
347 GFC_FCOARRAY_NONE = 0,
|
|
348 GFC_FCOARRAY_SINGLE,
|
|
349 GFC_FCOARRAY_LIB
|
|
350 };
|
|
351
|
|
352
|
|
353 /* gfortran -fconvert= values; used for unformatted I/O.
|
|
354 Keep in sync with GFC_CONVERT_* in gcc/fortran/libgfortran.h. */
|
|
355 enum gfc_convert
|
|
356 {
|
|
357 GFC_FLAG_CONVERT_NATIVE = 0,
|
|
358 GFC_FLAG_CONVERT_SWAP,
|
|
359 GFC_FLAG_CONVERT_BIG,
|
|
360 GFC_FLAG_CONVERT_LITTLE
|
|
361 };
|
|
362
|
|
363
|
|
364 /* Control-Flow Protection values. */
|
|
365 enum cf_protection_level
|
|
366 {
|
|
367 CF_NONE = 0,
|
|
368 CF_BRANCH = 1 << 0,
|
|
369 CF_RETURN = 1 << 1,
|
|
370 CF_FULL = CF_BRANCH | CF_RETURN,
|
|
371 CF_SET = 1 << 2
|
|
372 };
|
145
|
373
|
|
374 /* Parloops schedule type. */
|
|
375 enum parloops_schedule_type
|
|
376 {
|
|
377 PARLOOPS_SCHEDULE_STATIC = 0,
|
|
378 PARLOOPS_SCHEDULE_DYNAMIC,
|
|
379 PARLOOPS_SCHEDULE_GUIDED,
|
|
380 PARLOOPS_SCHEDULE_AUTO,
|
|
381 PARLOOPS_SCHEDULE_RUNTIME
|
|
382 };
|
|
383
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
384 #endif /* ! GCC_FLAG_TYPES_H */
|