]>
Commit | Line | Data |
---|---|---|
f12b58b3 | 1 | /* Compilation switch flag definitions for GCC. |
bc233f0c | 2 | Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, |
981eb798 | 3 | 2003, 2004, 2005, 2006, 2007 |
b278476e | 4 | Free Software Foundation, Inc. |
addd8f36 | 5 | |
f12b58b3 | 6 | This file is part of GCC. |
addd8f36 | 7 | |
f12b58b3 | 8 | GCC is free software; you can redistribute it and/or modify it under |
9 | the terms of the GNU General Public License as published by the Free | |
8c4c00c1 | 10 | Software Foundation; either version 3, or (at your option) any later |
f12b58b3 | 11 | version. |
addd8f36 | 12 | |
f12b58b3 | 13 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
14 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 | for more details. | |
addd8f36 | 17 | |
18 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 19 | along with GCC; see the file COPYING3. If not see |
20 | <http://www.gnu.org/licenses/>. */ | |
addd8f36 | 21 | |
518796ad | 22 | #ifndef GCC_FLAGS_H |
23 | #define GCC_FLAGS_H | |
24 | ||
0e4744ac | 25 | #include "coretypes.h" |
2e9da478 | 26 | #include "options.h" |
27 | ||
addd8f36 | 28 | enum debug_info_type |
29 | { | |
30 | NO_DEBUG, /* Write no debug info. */ | |
31 | DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ | |
32 | SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */ | |
be6eb971 | 33 | DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ |
8d60d2bc | 34 | XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ |
00e0eb3d | 35 | VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ |
8d60d2bc | 36 | VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). |
00e0eb3d | 37 | and DWARF v2 debug info (using dwarf2out.c). */ |
addd8f36 | 38 | }; |
39 | ||
40 | /* Specify which kind of debugging info to generate. */ | |
41 | extern enum debug_info_type write_symbols; | |
42 | ||
cc4ca723 | 43 | /* Names of debug_info_type, for error messages. */ |
44 | extern const char *const debug_type_names[]; | |
45 | ||
addd8f36 | 46 | enum debug_info_level |
47 | { | |
48 | DINFO_LEVEL_NONE, /* Write no debugging info. */ | |
49 | DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */ | |
a7dce381 | 50 | DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */ |
addd8f36 | 51 | DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */ |
52 | }; | |
53 | ||
54 | /* Specify how much debugging info to generate. */ | |
55 | extern enum debug_info_level debug_info_level; | |
56 | ||
0e4744ac | 57 | /* A major contribution to object and executable size is debug |
58 | information size. A major contribution to debug information | |
59 | size is struct descriptions replicated in several object files. | |
60 | The following function determines whether or not debug information | |
61 | should be generated for a given struct. The indirect parameter | |
62 | indicates that the struct is being handled indirectly, via | |
63 | a pointer. See opts.c for the implementation. */ | |
64 | ||
65 | enum debug_info_usage | |
66 | { | |
67 | DINFO_USAGE_DFN, /* A struct definition. */ | |
68 | DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */ | |
69 | DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */ | |
70 | DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */ | |
71 | }; | |
72 | ||
73 | extern bool should_emit_struct_debug (tree type_decl, enum debug_info_usage); | |
74 | extern void set_struct_debug_option (const char *value); | |
75 | ||
51d7935f | 76 | /* Nonzero means use GNU-only extensions in the generated symbolic |
77 | debugging information. */ | |
b0e56fb1 | 78 | extern bool use_gnu_debug_info_extensions; |
addd8f36 | 79 | |
4a2849cb | 80 | /* Enumerate visibility settings. This is deliberately ordered from most |
81 | to least visibility. */ | |
b212f378 | 82 | #ifndef SYMBOL_VISIBILITY_DEFINED |
83 | #define SYMBOL_VISIBILITY_DEFINED | |
84 | enum symbol_visibility | |
85 | { | |
86 | VISIBILITY_DEFAULT, | |
4a2849cb | 87 | VISIBILITY_PROTECTED, |
b212f378 | 88 | VISIBILITY_HIDDEN, |
4a2849cb | 89 | VISIBILITY_INTERNAL |
b212f378 | 90 | }; |
91 | #endif | |
92 | ||
93 | /* The default visibility for all symbols (unless overridden). */ | |
94 | extern enum symbol_visibility default_visibility; | |
95 | ||
96 | struct visibility_flags | |
97 | { | |
98 | unsigned inpragma : 1; /* True when in #pragma GCC visibility. */ | |
99 | unsigned inlines_hidden : 1; /* True when -finlineshidden in effect. */ | |
100 | }; | |
101 | ||
102 | /* Global visibility options. */ | |
103 | extern struct visibility_flags visibility_options; | |
104 | ||
addd8f36 | 105 | /* Nonzero means do optimizations. -opt. */ |
106 | ||
107 | extern int optimize; | |
108 | ||
57361983 | 109 | /* Nonzero means optimize for size. -Os. */ |
110 | ||
111 | extern int optimize_size; | |
112 | ||
56421f52 | 113 | /* Do print extra warnings (such as for uninitialized variables). |
114 | -W/-Wextra. */ | |
addd8f36 | 115 | |
6f2f567f | 116 | extern bool extra_warnings; |
117 | ||
6dfd0eba | 118 | /* Nonzero to warn about unused variables, functions et.al. Use |
119 | set_Wunused() to update the -Wunused-* flags that correspond to the | |
a7dce381 | 120 | -Wunused option. */ |
addd8f36 | 121 | |
8a82c3cf | 122 | extern void set_Wunused (int setting); |
6dfd0eba | 123 | |
e6fa0ea6 | 124 | /* Used to set the level of -Wstrict-aliasing, when no level is specified. |
125 | The external way to set the default level is to use | |
126 | -Wstrict-aliasing=level. | |
127 | ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified, | |
128 | and 0 otherwise. After calling this function, wstrict_aliasing will be | |
129 | set to the default value of -Wstrict_aliasing=level. */ | |
130 | ||
131 | extern void set_Wstrict_aliasing (int onoff); | |
132 | ||
75db8365 | 133 | /* Nonzero means warn about any objects definitions whose size is larger |
134 | than N bytes. Also want about function definitions whose returned | |
135 | values are larger than N bytes. The value N is in `larger_than_size'. */ | |
136 | ||
6f2f567f | 137 | extern bool warn_larger_than; |
b278476e | 138 | extern HOST_WIDE_INT larger_than_size; |
addd8f36 | 139 | |
addd8f36 | 140 | /* Temporarily suppress certain warnings. |
141 | This is set while reading code from a system header file. */ | |
142 | ||
143 | extern int in_system_header; | |
144 | ||
145 | /* Nonzero for -dp: annotate the assembly with a comment describing the | |
146 | pattern and alternative used. */ | |
147 | ||
148 | extern int flag_print_asm_name; | |
149 | \f | |
150 | /* Now the symbols that are set with `-f' switches. */ | |
151 | ||
152 | /* Nonzero means `char' should be signed. */ | |
153 | ||
154 | extern int flag_signed_char; | |
155 | ||
5bf3fee3 | 156 | /* Nonzero means give an enum type only as many bytes as it needs. A value |
157 | of 2 means it has not yet been initialized. */ | |
addd8f36 | 158 | |
159 | extern int flag_short_enums; | |
160 | ||
addd8f36 | 161 | /* Nonzero for -fpcc-struct-return: return values the same way PCC does. */ |
162 | ||
163 | extern int flag_pcc_struct_return; | |
164 | ||
27bc6aee | 165 | /* 0 means straightforward implementation of complex divide acceptable. |
166 | 1 means wide ranges of inputs must work for complex divide. | |
0dfc45b5 | 167 | 2 means C99-like requirements for complex multiply and divide. */ |
27bc6aee | 168 | |
0dfc45b5 | 169 | extern int flag_complex_method; |
27bc6aee | 170 | |
c31da6e7 | 171 | /* Nonzero means that we don't want inlining by virtue of -fno-inline, |
172 | not just because the tree inliner turned us off. */ | |
173 | ||
174 | extern int flag_really_no_inline; | |
175 | ||
addd8f36 | 176 | /* Nonzero if we are only using compiler to check syntax errors. */ |
177 | ||
a49a878f | 178 | extern int rtl_dump_and_exit; |
addd8f36 | 179 | |
f9e15121 | 180 | /* Nonzero means we should save auxiliary info into a .X file. */ |
addd8f36 | 181 | |
182 | extern int flag_gen_aux_info; | |
183 | ||
fd63ca43 | 184 | /* Nonzero means suppress output of instruction numbers and line number |
185 | notes in debugging dumps. */ | |
186 | ||
187 | extern int flag_dump_unnumbered; | |
188 | ||
addd8f36 | 189 | /* Nonzero means change certain warnings into errors. |
190 | Usually these are warnings about failure to conform to some standard. */ | |
191 | ||
192 | extern int flag_pedantic_errors; | |
193 | ||
c3ce66b0 | 194 | /* Nonzero if we are compiling code for a shared library, zero for |
195 | executable. */ | |
196 | ||
197 | extern int flag_shlib; | |
198 | ||
4f96aab5 | 199 | /* -dA causes debug information to be produced in |
200 | the generated assembly code (to make it more readable). This option | |
201 | is generally only of use to those who actually need to read the | |
202 | generated assembly code (perhaps while debugging the compiler itself). | |
203 | Currently, this switch is only used by dwarfout.c; however, it is intended | |
204 | to be a catchall for printing debug information in the assembler file. */ | |
205 | ||
206 | extern int flag_debug_asm; | |
207 | ||
66575a0b | 208 | /* Generate code for GNU or NeXT Objective-C runtime environment. */ |
209 | ||
210 | extern int flag_next_runtime; | |
211 | ||
af5e5fd0 | 212 | extern int flag_dump_rtl_in_asm; |
addd8f36 | 213 | \f |
214 | /* Other basic status info about current function. */ | |
215 | ||
216 | /* Nonzero means current function must be given a frame pointer. | |
217 | Set in stmt.c if anything is allocated on the stack there. | |
218 | Set in reload1.c if anything is allocated on the stack there. */ | |
219 | ||
220 | extern int frame_pointer_needed; | |
221 | ||
3541e113 | 222 | /* Nonzero if subexpressions must be evaluated from left-to-right. */ |
223 | extern int flag_evaluation_order; | |
224 | ||
a9fa9190 | 225 | /* Value of the -G xx switch, and whether it was passed or not. */ |
3be2f219 | 226 | extern unsigned HOST_WIDE_INT g_switch_value; |
e690b385 | 227 | extern bool g_switch_set; |
3eaf50a4 | 228 | |
61e95947 | 229 | /* Values of the -falign-* flags: how much to align labels in code. |
230 | 0 means `use default', 1 means `don't align'. | |
231 | For each variable, there is an _log variant which is the power | |
232 | of two not less than the variable, for .align output. */ | |
233 | ||
61e95947 | 234 | extern int align_loops_log; |
93429286 | 235 | extern int align_loops_max_skip; |
61e95947 | 236 | extern int align_jumps_log; |
93429286 | 237 | extern int align_jumps_max_skip; |
61e95947 | 238 | extern int align_labels_log; |
93429286 | 239 | extern int align_labels_max_skip; |
61e95947 | 240 | extern int align_functions_log; |
241 | ||
3eaf50a4 | 242 | /* Nonzero if we dump in VCG format, not plain text. */ |
243 | extern int dump_for_graph; | |
244 | ||
245 | /* Selection of the graph form. */ | |
246 | enum graph_dump_types | |
247 | { | |
248 | no_graph = 0, | |
249 | vcg | |
250 | }; | |
251 | extern enum graph_dump_types graph_dump_format; | |
5bbb9f06 | 252 | |
6ef828f9 | 253 | /* Nonzero means to collect statistics which might be expensive |
518796ad | 254 | and to print them when we are done. */ |
255 | extern int flag_detailed_statistics; | |
256 | ||
19489abd | 257 | /* Nonzero means that we defer emitting functions until they are actually |
258 | used. */ | |
259 | extern int flag_remove_unreachable_functions; | |
260 | ||
5923a5e7 | 261 | /* Nonzero if we should track variables. */ |
262 | extern int flag_var_tracking; | |
263 | ||
8a5df2ce | 264 | /* True if flag_speculative_prefetching was set by user. Used to suppress |
265 | warning message in case flag was set by -fprofile-{generate,use}. */ | |
266 | extern bool flag_speculative_prefetching_set; | |
267 | ||
e100aadc | 268 | /* Returns TRUE if generated code should match ABI version N or |
269 | greater is in use. */ | |
270 | ||
271 | #define abi_version_at_least(N) \ | |
272 | (flag_abi_version == 0 || flag_abi_version >= (N)) | |
273 | ||
a95c0776 | 274 | /* Return whether the function should be excluded from |
275 | instrumentation. */ | |
276 | extern bool flag_instrument_functions_exclude_p (tree fndecl); | |
277 | ||
920d0fb5 | 278 | /* True if the given mode has a NaN representation and the treatment of |
279 | NaN operands is important. Certain optimizations, such as folding | |
64a46f56 | 280 | x * 0 into 0, are not correct for NaN operands, and are normally |
920d0fb5 | 281 | disabled for modes with NaNs. The user can ask for them to be |
282 | done anyway using the -funsafe-math-optimizations switch. */ | |
283 | #define HONOR_NANS(MODE) \ | |
7eece8c3 | 284 | (MODE_HAS_NANS (MODE) && !flag_finite_math_only) |
920d0fb5 | 285 | |
0a8176f3 | 286 | /* Like HONOR_NANs, but true if we honor signaling NaNs (or sNaNs). */ |
287 | #define HONOR_SNANS(MODE) (flag_signaling_nans && HONOR_NANS (MODE)) | |
288 | ||
920d0fb5 | 289 | /* As for HONOR_NANS, but true if the mode can represent infinity and |
290 | the treatment of infinite values is important. */ | |
291 | #define HONOR_INFINITIES(MODE) \ | |
7eece8c3 | 292 | (MODE_HAS_INFINITIES (MODE) && !flag_finite_math_only) |
920d0fb5 | 293 | |
294 | /* Like HONOR_NANS, but true if the given mode distinguishes between | |
98667efb | 295 | positive and negative zero, and the sign of zero is important. */ |
920d0fb5 | 296 | #define HONOR_SIGNED_ZEROS(MODE) \ |
893038cd | 297 | (MODE_HAS_SIGNED_ZEROS (MODE) && flag_signed_zeros) |
920d0fb5 | 298 | |
299 | /* Like HONOR_NANS, but true if given mode supports sign-dependent rounding, | |
300 | and the rounding mode is important. */ | |
301 | #define HONOR_SIGN_DEPENDENT_ROUNDING(MODE) \ | |
5466f589 | 302 | (MODE_HAS_SIGN_DEPENDENT_ROUNDING (MODE) && flag_rounding_math) |
920d0fb5 | 303 | |
981eb798 | 304 | /* True if overflow wraps around for the given integral type. That |
305 | is, TYPE_MAX + 1 == TYPE_MIN. */ | |
306 | #define TYPE_OVERFLOW_WRAPS(TYPE) \ | |
307 | (TYPE_UNSIGNED (TYPE) || flag_wrapv) | |
308 | ||
309 | /* True if overflow is undefined for the given integral type. We may | |
add6ee5e | 310 | optimize on the assumption that values in the type never overflow. |
311 | ||
312 | IMPORTANT NOTE: Any optimization based on TYPE_OVERFLOW_UNDEFINED | |
313 | must issue a warning based on warn_strict_overflow. In some cases | |
314 | it will be appropriate to issue the warning immediately, and in | |
315 | other cases it will be appropriate to simply set a flag and let the | |
316 | caller decide whether a warning is appropriate or not. */ | |
981eb798 | 317 | #define TYPE_OVERFLOW_UNDEFINED(TYPE) \ |
318 | (!TYPE_UNSIGNED (TYPE) && !flag_wrapv && !flag_trapv && flag_strict_overflow) | |
319 | ||
320 | /* True if overflow for the given integral type should issue a | |
321 | trap. */ | |
322 | #define TYPE_OVERFLOW_TRAPS(TYPE) \ | |
323 | (!TYPE_UNSIGNED (TYPE) && flag_trapv) | |
324 | ||
add6ee5e | 325 | /* Names for the different levels of -Wstrict-overflow=N. The numeric |
326 | values here correspond to N. */ | |
327 | ||
328 | enum warn_strict_overflow_code | |
329 | { | |
330 | /* Overflow warning that should be issued with -Wall: a questionable | |
331 | construct that is easy to avoid even when using macros. Example: | |
332 | folding (x + CONSTANT > x) to 1. */ | |
333 | WARN_STRICT_OVERFLOW_ALL = 1, | |
334 | /* Overflow warning about folding a comparison to a constant because | |
335 | of undefined signed overflow, other than cases covered by | |
336 | WARN_STRICT_OVERFLOW_ALL. Example: folding (abs (x) >= 0) to 1 | |
337 | (this is false when x == INT_MIN). */ | |
338 | WARN_STRICT_OVERFLOW_CONDITIONAL = 2, | |
339 | /* Overflow warning about changes to comparisons other than folding | |
340 | them to a constant. Example: folding (x + 1 > 1) to (x > 0). */ | |
341 | WARN_STRICT_OVERFLOW_COMPARISON = 3, | |
342 | /* Overflow warnings not covered by the above cases. Example: | |
343 | folding ((x * 10) / 5) to (x * 2). */ | |
344 | WARN_STRICT_OVERFLOW_MISC = 4, | |
345 | /* Overflow warnings about reducing magnitude of constants in | |
346 | comparison. Example: folding (x + 2 > y) to (x + 1 >= y). */ | |
347 | WARN_STRICT_OVERFLOW_MAGNITUDE = 5 | |
348 | }; | |
349 | ||
350 | /* Whether to emit an overflow warning whose code is C. */ | |
184c9ca9 | 351 | #define issue_strict_overflow_warning(c) (warn_strict_overflow >= (int) (c)) |
add6ee5e | 352 | |
2a281353 | 353 | #endif /* ! GCC_FLAGS_H */ |