68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 /* Compilation switch flag type definitions for GCC.
|
111
|
2 Copyright (C) 1987-2017 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 SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 and DWARF v2 debug info (using dwarf2out.c). */
|
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
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 enum debug_info_levels
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 DINFO_LEVEL_NONE, /* Write no debugging info. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */
|
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
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 /* A major contribution to object and executable size is debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 information size. A major contribution to debug information
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 size is struct descriptions replicated in several object files.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 The following function determines whether or not debug information
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 should be generated for a given struct. The indirect parameter
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 indicates that the struct is being handled indirectly, via
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 a pointer. See opts.c for the implementation. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 enum debug_info_usage
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 DINFO_USAGE_DFN, /* A struct definition. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 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
|
55 DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */
|
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
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 /* A major contribution to object and executable size is debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 information size. A major contribution to debug information size
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 is struct descriptions replicated in several object files. The
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62 following flags attempt to reduce this information. The basic
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 idea is to not emit struct debugging information in the current
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 compilation unit when that information will be generated by
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 another compilation unit.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 Debug information for a struct defined in the current source
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 file should be generated in the object file. Likewise the
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 debug information for a struct defined in a header should be
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 generated in the object file of the corresponding source file.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 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
|
72 the struct definition matches the base name of the source file
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 of the current compilation unit. This matching emits minimal
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 struct debugging information.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 The base file name matching rule above will fail to emit debug
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 information for structs defined in system headers. So a second
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78 category of files includes system headers in addition to files
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 with matching bases.
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 The remaining types of files are library headers and application
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82 headers. We cannot currently distinguish these two types. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 enum debug_struct_file
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88 same base name as the compilation unit. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90 header files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93
|
111
|
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
|
|
109 /* Enumerate Objective-c instance variable visibility settings. */
|
|
110
|
|
111 enum ivar_visibility
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 {
|
111
|
113 IVAR_VISIBILITY_PRIVATE,
|
|
114 IVAR_VISIBILITY_PROTECTED,
|
|
115 IVAR_VISIBILITY_PUBLIC,
|
|
116 IVAR_VISIBILITY_PACKAGE
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
117 };
|
111
|
118
|
|
119 /* The stack reuse level. */
|
|
120 enum stack_reuse_level
|
|
121 {
|
|
122 SR_NONE,
|
|
123 SR_NAMED_VARS,
|
|
124 SR_ALL
|
|
125 };
|
|
126
|
|
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 };
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
133
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
134 /* The algorithm used for the integrated register allocator (IRA). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
135 enum ira_algorithm
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
136 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 IRA_ALGORITHM_CB,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
138 IRA_ALGORITHM_PRIORITY
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
139 };
|
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 regions used for the integrated register allocator (IRA). */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 enum ira_region
|
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_REGION_ONE,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 IRA_REGION_ALL,
|
111
|
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
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
153 /* The options for excess precision. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
154 enum excess_precision
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
155 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
156 EXCESS_PRECISION_DEFAULT,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
157 EXCESS_PRECISION_FAST,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
158 EXCESS_PRECISION_STANDARD
|
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
|
111
|
161 /* The options for which values of FLT_EVAL_METHOD are permissible. */
|
|
162 enum permitted_flt_eval_methods
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163 {
|
111
|
164 PERMITTED_FLT_EVAL_METHODS_DEFAULT,
|
|
165 PERMITTED_FLT_EVAL_METHODS_TS_18661,
|
|
166 PERMITTED_FLT_EVAL_METHODS_C11
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
167 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
168
|
111
|
169 /* Type of stack check.
|
|
170
|
|
171 Stack checking is designed to detect infinite recursion and stack
|
|
172 overflows for Ada programs. Furthermore stack checking tries to ensure
|
|
173 in that scenario that enough stack space is left to run a signal handler.
|
|
174
|
|
175 -fstack-check= does not prevent stack-clash style attacks. For that
|
|
176 you want -fstack-clash-protection. */
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
177 enum stack_check_type
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
178 {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
179 /* Do not check the stack. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
180 NO_STACK_CHECK = 0,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
182 /* Check the stack generically, i.e. assume no specific support
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 from the target configuration files. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 GENERIC_STACK_CHECK,
|
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 /* Check the stack and rely on the target configuration files to
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
187 check the static frame of functions, i.e. use the generic
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
188 mechanism only for dynamic stack allocations. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
189 STATIC_BUILTIN_STACK_CHECK,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 /* Check the stack and entirely rely on the target configuration
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192 files, i.e. do not use the generic mechanism at all. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
193 FULL_BUILTIN_STACK_CHECK
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
195
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
196 /* Floating-point contraction mode. */
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
197 enum fp_contract_mode {
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
198 FP_CONTRACT_OFF = 0,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
199 FP_CONTRACT_ON = 1,
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
200 FP_CONTRACT_FAST = 2
|
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
|
111
|
203 /* Scalar storage order kind. */
|
|
204 enum scalar_storage_order_kind {
|
|
205 SSO_NATIVE = 0,
|
|
206 SSO_BIG_ENDIAN,
|
|
207 SSO_LITTLE_ENDIAN
|
|
208 };
|
|
209
|
|
210 /* Vectorizer cost-model. */
|
|
211 enum vect_cost_model {
|
|
212 VECT_COST_MODEL_UNLIMITED = 0,
|
|
213 VECT_COST_MODEL_CHEAP = 1,
|
|
214 VECT_COST_MODEL_DYNAMIC = 2,
|
|
215 VECT_COST_MODEL_DEFAULT = 3
|
|
216 };
|
|
217
|
|
218 /* Different instrumentation modes. */
|
|
219 enum sanitize_code {
|
|
220 /* AddressSanitizer. */
|
|
221 SANITIZE_ADDRESS = 1UL << 0,
|
|
222 SANITIZE_USER_ADDRESS = 1UL << 1,
|
|
223 SANITIZE_KERNEL_ADDRESS = 1UL << 2,
|
|
224 /* ThreadSanitizer. */
|
|
225 SANITIZE_THREAD = 1UL << 3,
|
|
226 /* LeakSanitizer. */
|
|
227 SANITIZE_LEAK = 1UL << 4,
|
|
228 /* UndefinedBehaviorSanitizer. */
|
|
229 SANITIZE_SHIFT_BASE = 1UL << 5,
|
|
230 SANITIZE_SHIFT_EXPONENT = 1UL << 6,
|
|
231 SANITIZE_DIVIDE = 1UL << 7,
|
|
232 SANITIZE_UNREACHABLE = 1UL << 8,
|
|
233 SANITIZE_VLA = 1UL << 9,
|
|
234 SANITIZE_NULL = 1UL << 10,
|
|
235 SANITIZE_RETURN = 1UL << 11,
|
|
236 SANITIZE_SI_OVERFLOW = 1UL << 12,
|
|
237 SANITIZE_BOOL = 1UL << 13,
|
|
238 SANITIZE_ENUM = 1UL << 14,
|
|
239 SANITIZE_FLOAT_DIVIDE = 1UL << 15,
|
|
240 SANITIZE_FLOAT_CAST = 1UL << 16,
|
|
241 SANITIZE_BOUNDS = 1UL << 17,
|
|
242 SANITIZE_ALIGNMENT = 1UL << 18,
|
|
243 SANITIZE_NONNULL_ATTRIBUTE = 1UL << 19,
|
|
244 SANITIZE_RETURNS_NONNULL_ATTRIBUTE = 1UL << 20,
|
|
245 SANITIZE_OBJECT_SIZE = 1UL << 21,
|
|
246 SANITIZE_VPTR = 1UL << 22,
|
|
247 SANITIZE_BOUNDS_STRICT = 1UL << 23,
|
|
248 SANITIZE_POINTER_OVERFLOW = 1UL << 24,
|
|
249 SANITIZE_BUILTIN = 1UL << 25,
|
|
250 SANITIZE_SHIFT = SANITIZE_SHIFT_BASE | SANITIZE_SHIFT_EXPONENT,
|
|
251 SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE
|
|
252 | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN
|
|
253 | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM
|
|
254 | SANITIZE_BOUNDS | SANITIZE_ALIGNMENT
|
|
255 | SANITIZE_NONNULL_ATTRIBUTE
|
|
256 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
|
|
257 | SANITIZE_OBJECT_SIZE | SANITIZE_VPTR
|
|
258 | SANITIZE_POINTER_OVERFLOW | SANITIZE_BUILTIN,
|
|
259 SANITIZE_UNDEFINED_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST
|
|
260 | SANITIZE_BOUNDS_STRICT
|
|
261 };
|
|
262
|
|
263 /* Different trace modes. */
|
|
264 enum sanitize_coverage_code {
|
|
265 /* Trace PC. */
|
|
266 SANITIZE_COV_TRACE_PC = 1 << 0,
|
|
267 /* Trace Comparison. */
|
|
268 SANITIZE_COV_TRACE_CMP = 1 << 1
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
269 };
|
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270
|
111
|
271 /* flag_vtable_verify initialization levels. */
|
|
272 enum vtv_priority {
|
|
273 VTV_NO_PRIORITY = 0, /* i.E. Do NOT do vtable verification. */
|
|
274 VTV_STANDARD_PRIORITY = 1,
|
|
275 VTV_PREINIT_PRIORITY = 2
|
|
276 };
|
|
277
|
|
278 /* flag_lto_partition initialization values. */
|
|
279 enum lto_partition_model {
|
|
280 LTO_PARTITION_NONE = 0,
|
|
281 LTO_PARTITION_ONE = 1,
|
|
282 LTO_PARTITION_BALANCED = 2,
|
|
283 LTO_PARTITION_1TO1 = 3,
|
|
284 LTO_PARTITION_MAX = 4
|
|
285 };
|
|
286
|
|
287 /* flag_lto_linker_output initialization values. */
|
|
288 enum lto_linker_output {
|
|
289 LTO_LINKER_OUTPUT_UNKNOWN,
|
|
290 LTO_LINKER_OUTPUT_REL,
|
|
291 LTO_LINKER_OUTPUT_DYN,
|
|
292 LTO_LINKER_OUTPUT_PIE,
|
|
293 LTO_LINKER_OUTPUT_EXEC
|
|
294 };
|
|
295
|
|
296 /* gfortran -finit-real= values. */
|
|
297
|
|
298 enum gfc_init_local_real
|
|
299 {
|
|
300 GFC_INIT_REAL_OFF = 0,
|
|
301 GFC_INIT_REAL_ZERO,
|
|
302 GFC_INIT_REAL_NAN,
|
|
303 GFC_INIT_REAL_SNAN,
|
|
304 GFC_INIT_REAL_INF,
|
|
305 GFC_INIT_REAL_NEG_INF
|
|
306 };
|
|
307
|
|
308 /* gfortran -fcoarray= values. */
|
|
309
|
|
310 enum gfc_fcoarray
|
|
311 {
|
|
312 GFC_FCOARRAY_NONE = 0,
|
|
313 GFC_FCOARRAY_SINGLE,
|
|
314 GFC_FCOARRAY_LIB
|
|
315 };
|
|
316
|
|
317
|
|
318 /* gfortran -fconvert= values; used for unformatted I/O.
|
|
319 Keep in sync with GFC_CONVERT_* in gcc/fortran/libgfortran.h. */
|
|
320 enum gfc_convert
|
|
321 {
|
|
322 GFC_FLAG_CONVERT_NATIVE = 0,
|
|
323 GFC_FLAG_CONVERT_SWAP,
|
|
324 GFC_FLAG_CONVERT_BIG,
|
|
325 GFC_FLAG_CONVERT_LITTLE
|
|
326 };
|
|
327
|
|
328
|
|
329 /* Control-Flow Protection values. */
|
|
330 enum cf_protection_level
|
|
331 {
|
|
332 CF_NONE = 0,
|
|
333 CF_BRANCH = 1 << 0,
|
|
334 CF_RETURN = 1 << 1,
|
|
335 CF_FULL = CF_BRANCH | CF_RETURN,
|
|
336 CF_SET = 1 << 2
|
|
337 };
|
68
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
338 #endif /* ! GCC_FLAG_TYPES_H */
|