]>
Commit | Line | Data |
---|---|---|
5457b645 | 1 | /* Command line option handling. |
981eb798 | 2 | Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007 |
3 | Free Software Foundation, Inc. | |
5457b645 | 4 | Contributed by Neil Booth. |
5 | ||
6 | This file is part of GCC. | |
7 | ||
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 | |
10 | Software Foundation; either version 2, or (at your option) any later | |
11 | version. | |
12 | ||
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. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with GCC; see the file COPYING. If not, write to the Free | |
67ce556b | 20 | Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA |
21 | 02110-1301, USA. */ | |
5457b645 | 22 | |
23 | #include "config.h" | |
24 | #include "system.h" | |
53b8e5c1 | 25 | #include "intl.h" |
5457b645 | 26 | #include "coretypes.h" |
27 | #include "tm.h" | |
28 | #include "tree.h" | |
941a4893 | 29 | #include "rtl.h" |
30 | #include "ggc.h" | |
31 | #include "output.h" | |
5457b645 | 32 | #include "langhooks.h" |
33 | #include "opts.h" | |
3272db82 | 34 | #include "options.h" |
35 | #include "flags.h" | |
36 | #include "toplev.h" | |
da3b1bab | 37 | #include "params.h" |
1e06725a | 38 | #include "diagnostic.h" |
f5d971c5 | 39 | #include "tm_p.h" /* For OPTIMIZATION_OPTIONS. */ |
00f1bbdb | 40 | #include "insn-attr.h" /* For INSN_SCHEDULING. */ |
bfb835d3 | 41 | #include "target.h" |
77fce4cd | 42 | #include "tree-pass.h" |
5457b645 | 43 | |
e690b385 | 44 | /* Value of the -G xx switch, and whether it was passed or not. */ |
45 | unsigned HOST_WIDE_INT g_switch_value; | |
46 | bool g_switch_set; | |
47 | ||
48 | /* True if we should exit after parsing options. */ | |
49 | bool exit_after_options; | |
50 | ||
6f2f567f | 51 | /* Print various extra warnings. -W/-Wextra. */ |
52 | bool extra_warnings; | |
53 | ||
6f2f567f | 54 | /* True to warn about any objects definitions whose size is larger |
55 | than N bytes. Also want about function definitions whose returned | |
56 | values are larger than N bytes, where N is `larger_than_size'. */ | |
57 | bool warn_larger_than; | |
58 | HOST_WIDE_INT larger_than_size; | |
59 | ||
6f2f567f | 60 | /* Nonzero means warn about constructs which might not be |
61 | strict-aliasing safe. */ | |
c1628b55 | 62 | int warn_strict_aliasing; |
6f2f567f | 63 | |
add6ee5e | 64 | /* Nonzero means warn about optimizations which rely on undefined |
65 | signed overflow. */ | |
66 | int warn_strict_overflow; | |
67 | ||
da3b1bab | 68 | /* Hack for cooperation between set_Wunused and set_Wextra. */ |
69 | static bool maybe_warn_unused_parameter; | |
70 | ||
b0e56fb1 | 71 | /* Type(s) of debugging information we are producing (if any). See |
72 | flags.h for the definitions of the different possible types of | |
73 | debugging information. */ | |
74 | enum debug_info_type write_symbols = NO_DEBUG; | |
75 | ||
76 | /* Level of debugging information we are producing. See flags.h for | |
77 | the definitions of the different possible levels. */ | |
78 | enum debug_info_level debug_info_level = DINFO_LEVEL_NONE; | |
79 | ||
0e4744ac | 80 | /* A major contribution to object and executable size is debug |
81 | information size. A major contribution to debug information size | |
82 | is struct descriptions replicated in several object files. The | |
83 | following flags attempt to reduce this information. The basic | |
84 | idea is to not emit struct debugging information in the current | |
85 | compilation unit when that information will be generated by | |
86 | another compilation unit. | |
87 | ||
88 | Debug information for a struct defined in the current source | |
89 | file should be generated in the object file. Likewise the | |
90 | debug information for a struct defined in a header should be | |
91 | generated in the object file of the corresponding source file. | |
92 | Both of these case are handled when the base name of the file of | |
93 | the struct definition matches the base name of the source file | |
94 | of thet current compilation unit. This matching emits minimal | |
95 | struct debugging information. | |
96 | ||
97 | The base file name matching rule above will fail to emit debug | |
98 | information for structs defined in system headers. So a second | |
99 | category of files includes system headers in addition to files | |
100 | with matching bases. | |
101 | ||
102 | The remaining types of files are library headers and application | |
103 | headers. We cannot currently distinguish these two types. */ | |
104 | ||
105 | enum debug_struct_file | |
106 | { | |
107 | DINFO_STRUCT_FILE_NONE, /* Debug no structs. */ | |
108 | DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the | |
109 | same base name as the compilation unit. */ | |
110 | DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system | |
111 | header files. */ | |
112 | DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */ | |
113 | }; | |
114 | ||
115 | /* Generic structs (e.g. templates not explicitly specialized) | |
116 | may not have a compilation unit associated with them, and so | |
117 | may need to be treated differently from ordinary structs. | |
118 | ||
119 | Structs only handled by reference (indirectly), will also usually | |
120 | not need as much debugging information. */ | |
121 | ||
122 | static enum debug_struct_file debug_struct_ordinary[DINFO_USAGE_NUM_ENUMS] | |
123 | = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY }; | |
124 | static enum debug_struct_file debug_struct_generic[DINFO_USAGE_NUM_ENUMS] | |
125 | = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY }; | |
126 | ||
127 | /* Parse the -femit-struct-debug-detailed option value | |
128 | and set the flag variables. */ | |
129 | ||
130 | #define MATCH( prefix, string ) \ | |
131 | ((strncmp (prefix, string, sizeof prefix - 1) == 0) \ | |
132 | ? ((string += sizeof prefix - 1), 1) : 0) | |
133 | ||
134 | void | |
135 | set_struct_debug_option (const char *spec) | |
136 | { | |
137 | /* various labels for comparison */ | |
138 | static char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:"; | |
139 | static char ord_lbl[] = "ord:", gen_lbl[] = "gen:"; | |
140 | static char none_lbl[] = "none", any_lbl[] = "any"; | |
141 | static char base_lbl[] = "base", sys_lbl[] = "sys"; | |
142 | ||
143 | enum debug_struct_file files = DINFO_STRUCT_FILE_ANY; | |
144 | /* Default is to apply to as much as possible. */ | |
145 | enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS; | |
146 | int ord = 1, gen = 1; | |
147 | ||
148 | /* What usage? */ | |
149 | if (MATCH (dfn_lbl, spec)) | |
150 | usage = DINFO_USAGE_DFN; | |
151 | else if (MATCH (dir_lbl, spec)) | |
152 | usage = DINFO_USAGE_DIR_USE; | |
153 | else if (MATCH (ind_lbl, spec)) | |
154 | usage = DINFO_USAGE_IND_USE; | |
155 | ||
156 | /* Generics or not? */ | |
157 | if (MATCH (ord_lbl, spec)) | |
158 | gen = 0; | |
159 | else if (MATCH (gen_lbl, spec)) | |
160 | ord = 0; | |
161 | ||
162 | /* What allowable environment? */ | |
163 | if (MATCH (none_lbl, spec)) | |
164 | files = DINFO_STRUCT_FILE_NONE; | |
165 | else if (MATCH (any_lbl, spec)) | |
166 | files = DINFO_STRUCT_FILE_ANY; | |
167 | else if (MATCH (sys_lbl, spec)) | |
168 | files = DINFO_STRUCT_FILE_SYS; | |
169 | else if (MATCH (base_lbl, spec)) | |
170 | files = DINFO_STRUCT_FILE_BASE; | |
171 | else | |
172 | error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized", | |
173 | spec); | |
174 | ||
175 | /* Effect the specification. */ | |
176 | if (usage == DINFO_USAGE_NUM_ENUMS) | |
177 | { | |
178 | if (ord) | |
179 | { | |
180 | debug_struct_ordinary[DINFO_USAGE_DFN] = files; | |
181 | debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files; | |
182 | debug_struct_ordinary[DINFO_USAGE_IND_USE] = files; | |
183 | } | |
184 | if (gen) | |
185 | { | |
186 | debug_struct_generic[DINFO_USAGE_DFN] = files; | |
187 | debug_struct_generic[DINFO_USAGE_DIR_USE] = files; | |
188 | debug_struct_generic[DINFO_USAGE_IND_USE] = files; | |
189 | } | |
190 | } | |
191 | else | |
192 | { | |
193 | if (ord) | |
194 | debug_struct_ordinary[usage] = files; | |
195 | if (gen) | |
196 | debug_struct_generic[usage] = files; | |
197 | } | |
198 | ||
199 | if (*spec == ',') | |
200 | set_struct_debug_option (spec+1); | |
201 | else | |
202 | { | |
203 | /* No more -femit-struct-debug-detailed specifications. | |
204 | Do final checks. */ | |
205 | if (*spec != '\0') | |
206 | error ("argument %qs to %<-femit-struct-debug-detailed%> unknown", | |
207 | spec); | |
208 | if (debug_struct_ordinary[DINFO_USAGE_DIR_USE] | |
209 | < debug_struct_ordinary[DINFO_USAGE_IND_USE] | |
210 | || debug_struct_generic[DINFO_USAGE_DIR_USE] | |
211 | < debug_struct_generic[DINFO_USAGE_IND_USE]) | |
212 | error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least" | |
213 | " as much as %<-femit-struct-debug-detailed=ind:...%>"); | |
214 | } | |
215 | } | |
216 | ||
217 | /* Find the base name of a path, stripping off both directories and | |
218 | a single final extension. */ | |
219 | static int | |
220 | base_of_path (const char *path, const char **base_out) | |
221 | { | |
222 | const char *base = path; | |
223 | const char *dot = 0; | |
224 | const char *p = path; | |
225 | char c = *p; | |
226 | while (c) | |
227 | { | |
228 | if (IS_DIR_SEPARATOR(c)) | |
229 | { | |
230 | base = p + 1; | |
231 | dot = 0; | |
232 | } | |
233 | else if (c == '.') | |
234 | dot = p; | |
235 | c = *++p; | |
236 | } | |
237 | if (!dot) | |
238 | dot = p; | |
239 | *base_out = base; | |
240 | return dot - base; | |
241 | } | |
242 | ||
243 | /* Match the base name of a file to the base name of a compilation unit. */ | |
244 | ||
245 | static const char *main_input_basename; | |
246 | static int main_input_baselength; | |
247 | ||
248 | static int | |
249 | matches_main_base (const char *path) | |
250 | { | |
251 | /* Cache the last query. */ | |
252 | static const char *last_path = NULL; | |
253 | static int last_match = 0; | |
254 | if (path != last_path) | |
255 | { | |
256 | const char *base; | |
257 | int length = base_of_path (path, &base); | |
258 | last_path = path; | |
259 | last_match = (length == main_input_baselength | |
260 | && memcmp (base, main_input_basename, length) == 0); | |
261 | } | |
262 | return last_match; | |
263 | } | |
264 | ||
265 | #ifdef DEBUG_DEBUG_STRUCT | |
266 | ||
267 | static int | |
268 | dump_struct_debug (tree type, enum debug_info_usage usage, | |
269 | enum debug_struct_file criterion, int generic, | |
270 | int matches, int result) | |
271 | { | |
272 | /* Find the type name. */ | |
273 | tree type_decl = TYPE_STUB_DECL (type); | |
274 | tree t = type_decl; | |
275 | const char *name = 0; | |
276 | if (TREE_CODE (t) == TYPE_DECL) | |
277 | t = DECL_NAME (t); | |
278 | if (t) | |
279 | name = IDENTIFIER_POINTER (t); | |
280 | ||
281 | fprintf (stderr, " struct %d %s %s %s %s %d %p %s\n", | |
282 | criterion, | |
283 | DECL_IN_SYSTEM_HEADER (type_decl) ? "sys" : "usr", | |
284 | matches ? "bas" : "hdr", | |
285 | generic ? "gen" : "ord", | |
286 | usage == DINFO_USAGE_DFN ? ";" : | |
287 | usage == DINFO_USAGE_DIR_USE ? "." : "*", | |
288 | result, | |
289 | (void*) type_decl, name); | |
290 | return result; | |
291 | } | |
292 | #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \ | |
293 | dump_struct_debug (type, usage, criterion, generic, matches, result) | |
294 | ||
295 | #else | |
296 | ||
297 | #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \ | |
298 | (result) | |
299 | ||
300 | #endif | |
301 | ||
302 | ||
303 | bool | |
304 | should_emit_struct_debug (tree type, enum debug_info_usage usage) | |
305 | { | |
306 | enum debug_struct_file criterion; | |
307 | tree type_decl; | |
308 | bool generic = lang_hooks.types.generic_p (type); | |
309 | ||
310 | if (generic) | |
311 | criterion = debug_struct_generic[usage]; | |
312 | else | |
313 | criterion = debug_struct_ordinary[usage]; | |
314 | ||
315 | if (criterion == DINFO_STRUCT_FILE_NONE) | |
316 | return DUMP_GSTRUCT (type, usage, criterion, generic, false, false); | |
317 | if (criterion == DINFO_STRUCT_FILE_ANY) | |
318 | return DUMP_GSTRUCT (type, usage, criterion, generic, false, true); | |
319 | ||
320 | type_decl = TYPE_STUB_DECL (type); | |
321 | ||
322 | if (criterion == DINFO_STRUCT_FILE_SYS && DECL_IN_SYSTEM_HEADER (type_decl)) | |
323 | return DUMP_GSTRUCT (type, usage, criterion, generic, false, true); | |
324 | ||
325 | if (matches_main_base (DECL_SOURCE_FILE (type_decl))) | |
326 | return DUMP_GSTRUCT (type, usage, criterion, generic, true, true); | |
327 | return DUMP_GSTRUCT (type, usage, criterion, generic, false, false); | |
328 | } | |
329 | ||
b0e56fb1 | 330 | /* Nonzero means use GNU-only extensions in the generated symbolic |
331 | debugging information. Currently, this only has an effect when | |
332 | write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */ | |
333 | bool use_gnu_debug_info_extensions; | |
334 | ||
b212f378 | 335 | /* The default visibility for all symbols (unless overridden) */ |
336 | enum symbol_visibility default_visibility = VISIBILITY_DEFAULT; | |
337 | ||
17c6c7fc | 338 | /* Disable unit-at-a-time for frontends that might be still broken in this |
339 | respect. */ | |
87c75316 | 340 | |
17c6c7fc | 341 | bool no_unit_at_a_time_default; |
342 | ||
b212f378 | 343 | /* Global visibility options. */ |
344 | struct visibility_flags visibility_options; | |
345 | ||
344c9292 | 346 | /* What to print when a switch has no documentation. */ |
347 | static const char undocumented_msg[] = N_("This switch lacks documentation"); | |
348 | ||
7dea76ba | 349 | /* Used for bookkeeping on whether user set these flags so |
350 | -fprofile-use/-fprofile-generate does not use them. */ | |
351 | static bool profile_arc_flag_set, flag_profile_values_set; | |
352 | static bool flag_unroll_loops_set, flag_tracer_set; | |
353 | static bool flag_value_profile_transformations_set; | |
354 | static bool flag_peel_loops_set, flag_branch_probabilities_set; | |
355 | ||
7981458e | 356 | /* Input file names. */ |
dcfa26d9 | 357 | const char **in_fnames; |
358 | unsigned num_in_fnames; | |
359 | ||
76f02516 | 360 | static int common_handle_option (size_t scode, const char *arg, int value, |
361 | unsigned int lang_mask); | |
da3b1bab | 362 | static void handle_param (const char *); |
363 | static void set_Wextra (int); | |
4838a8b6 | 364 | static unsigned int handle_option (const char **argv, unsigned int lang_mask); |
9cf6679e | 365 | static char *write_langs (unsigned int lang_mask); |
366 | static void complain_wrong_lang (const char *, const struct cl_option *, | |
367 | unsigned int lang_mask); | |
4838a8b6 | 368 | static void handle_options (unsigned int, const char **, unsigned int); |
b0e56fb1 | 369 | static void set_debug_level (enum debug_info_type type, int extended, |
370 | const char *arg); | |
5457b645 | 371 | |
6f2f567f | 372 | /* If ARG is a non-negative integer made up solely of digits, return its |
837277ab | 373 | value, otherwise return -1. */ |
374 | static int | |
375 | integral_argument (const char *arg) | |
376 | { | |
377 | const char *p = arg; | |
378 | ||
379 | while (*p && ISDIGIT (*p)) | |
380 | p++; | |
381 | ||
382 | if (*p == '\0') | |
383 | return atoi (arg); | |
384 | ||
385 | return -1; | |
386 | } | |
387 | ||
9cf6679e | 388 | /* Return a malloced slash-separated list of languages in MASK. */ |
389 | static char * | |
390 | write_langs (unsigned int mask) | |
391 | { | |
392 | unsigned int n = 0, len = 0; | |
393 | const char *lang_name; | |
394 | char *result; | |
395 | ||
396 | for (n = 0; (lang_name = lang_names[n]) != 0; n++) | |
397 | if (mask & (1U << n)) | |
398 | len += strlen (lang_name) + 1; | |
399 | ||
4c36ffe6 | 400 | result = XNEWVEC (char, len); |
9cf6679e | 401 | len = 0; |
402 | for (n = 0; (lang_name = lang_names[n]) != 0; n++) | |
403 | if (mask & (1U << n)) | |
404 | { | |
405 | if (len) | |
406 | result[len++] = '/'; | |
407 | strcpy (result + len, lang_name); | |
408 | len += strlen (lang_name); | |
409 | } | |
410 | ||
411 | result[len] = 0; | |
412 | ||
413 | return result; | |
414 | } | |
415 | ||
416 | /* Complain that switch OPT_INDEX does not apply to this front end. */ | |
417 | static void | |
418 | complain_wrong_lang (const char *text, const struct cl_option *option, | |
419 | unsigned int lang_mask) | |
420 | { | |
421 | char *ok_langs, *bad_lang; | |
422 | ||
423 | ok_langs = write_langs (option->flags); | |
424 | bad_lang = write_langs (lang_mask); | |
425 | ||
426 | /* Eventually this should become a hard error IMO. */ | |
c3ceba8e | 427 | warning (0, "command line option \"%s\" is valid for %s but not for %s", |
9cf6679e | 428 | text, ok_langs, bad_lang); |
429 | ||
430 | free (ok_langs); | |
431 | free (bad_lang); | |
432 | } | |
433 | ||
434 | /* Handle the switch beginning at ARGV for the language indicated by | |
435 | LANG_MASK. Returns the number of switches consumed. */ | |
436 | static unsigned int | |
4838a8b6 | 437 | handle_option (const char **argv, unsigned int lang_mask) |
5457b645 | 438 | { |
439 | size_t opt_index; | |
440 | const char *opt, *arg = 0; | |
441 | char *dup = 0; | |
837277ab | 442 | int value = 1; |
9cf6679e | 443 | unsigned int result = 0; |
5457b645 | 444 | const struct cl_option *option; |
445 | ||
5457b645 | 446 | opt = argv[0]; |
447 | ||
ff05e09e | 448 | opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET); |
449 | if (opt_index == cl_options_count | |
450 | && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm') | |
76bf7746 | 451 | && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-') |
5457b645 | 452 | { |
ff05e09e | 453 | /* Drop the "no-" from negative switches. */ |
76bf7746 | 454 | size_t len = strlen (opt) - 3; |
455 | ||
4c36ffe6 | 456 | dup = XNEWVEC (char, len + 1); |
76bf7746 | 457 | dup[0] = '-'; |
458 | dup[1] = opt[1]; | |
459 | memcpy (dup + 2, opt + 5, len - 2 + 1); | |
460 | opt = dup; | |
461 | value = 0; | |
ff05e09e | 462 | opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET); |
5457b645 | 463 | } |
5457b645 | 464 | |
76bf7746 | 465 | if (opt_index == cl_options_count) |
6c3bc3be | 466 | goto done; |
5457b645 | 467 | |
76bf7746 | 468 | option = &cl_options[opt_index]; |
5457b645 | 469 | |
76bf7746 | 470 | /* Reject negative form of switches that don't take negatives as |
471 | unrecognized. */ | |
472 | if (!value && (option->flags & CL_REJECT_NEGATIVE)) | |
473 | goto done; | |
5457b645 | 474 | |
76bf7746 | 475 | /* We've recognized this switch. */ |
476 | result = 1; | |
5457b645 | 477 | |
5c5ccba2 | 478 | /* Check to see if the option is disabled for this configuration. */ |
479 | if (option->flags & CL_DISABLED) | |
480 | { | |
481 | error ("command line option %qs" | |
482 | " is not supported by this configuration", opt); | |
483 | goto done; | |
484 | } | |
485 | ||
76bf7746 | 486 | /* Sort out any argument the switch takes. */ |
487 | if (option->flags & CL_JOINED) | |
488 | { | |
489 | /* Have arg point to the original switch. This is because | |
490 | some code, such as disable_builtin_function, expects its | |
491 | argument to be persistent until the program exits. */ | |
492 | arg = argv[0] + cl_options[opt_index].opt_len + 1; | |
493 | if (!value) | |
494 | arg += strlen ("no-"); | |
495 | ||
496 | if (*arg == '\0' && !(option->flags & CL_MISSING_OK)) | |
5457b645 | 497 | { |
76bf7746 | 498 | if (option->flags & CL_SEPARATE) |
5457b645 | 499 | { |
76bf7746 | 500 | arg = argv[1]; |
501 | result = 2; | |
5457b645 | 502 | } |
76bf7746 | 503 | else |
504 | /* Missing argument. */ | |
505 | arg = NULL; | |
837277ab | 506 | } |
76bf7746 | 507 | } |
508 | else if (option->flags & CL_SEPARATE) | |
509 | { | |
510 | arg = argv[1]; | |
511 | result = 2; | |
512 | } | |
5457b645 | 513 | |
76bf7746 | 514 | /* Now we've swallowed any potential argument, complain if this |
515 | is a switch for a different front end. */ | |
ff05e09e | 516 | if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET))) |
76bf7746 | 517 | { |
518 | complain_wrong_lang (argv[0], option, lang_mask); | |
519 | goto done; | |
520 | } | |
b9fc964a | 521 | else if ((option->flags & CL_TARGET) |
522 | && (option->flags & CL_LANG_ALL) | |
523 | && !(option->flags & lang_mask)) | |
524 | { | |
525 | /* Complain for target flag language mismatches if any languages | |
526 | are specified. */ | |
527 | complain_wrong_lang (argv[0], option, lang_mask); | |
528 | goto done; | |
529 | } | |
9cf6679e | 530 | |
76bf7746 | 531 | if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE))) |
532 | { | |
dc24ddbd | 533 | if (!lang_hooks.missing_argument (opt, opt_index)) |
76bf7746 | 534 | error ("missing argument to \"%s\"", opt); |
535 | goto done; | |
536 | } | |
29689179 | 537 | |
76bf7746 | 538 | /* If the switch takes an integer, convert it. */ |
539 | if (arg && (option->flags & CL_UINTEGER)) | |
540 | { | |
541 | value = integral_argument (arg); | |
542 | if (value == -1) | |
837277ab | 543 | { |
53b8e5c1 | 544 | error ("argument to \"%s\" should be a non-negative integer", |
76bf7746 | 545 | option->opt_text); |
546 | goto done; | |
5457b645 | 547 | } |
76bf7746 | 548 | } |
5457b645 | 549 | |
2e9da478 | 550 | if (option->flag_var) |
0fe44c73 | 551 | switch (option->var_type) |
ff05e09e | 552 | { |
553 | case CLVC_BOOLEAN: | |
0fe44c73 | 554 | *(int *) option->flag_var = value; |
ff05e09e | 555 | break; |
556 | ||
557 | case CLVC_EQUAL: | |
0fe44c73 | 558 | *(int *) option->flag_var = (value |
559 | ? option->var_value | |
560 | : !option->var_value); | |
ff05e09e | 561 | break; |
562 | ||
563 | case CLVC_BIT_CLEAR: | |
564 | case CLVC_BIT_SET: | |
0fe44c73 | 565 | if ((value != 0) == (option->var_type == CLVC_BIT_SET)) |
566 | *(int *) option->flag_var |= option->var_value; | |
ff05e09e | 567 | else |
0fe44c73 | 568 | *(int *) option->flag_var &= ~option->var_value; |
ff05e09e | 569 | if (option->flag_var == &target_flags) |
570 | target_flags_explicit |= option->var_value; | |
571 | break; | |
0fe44c73 | 572 | |
573 | case CLVC_STRING: | |
574 | *(const char **) option->flag_var = arg; | |
575 | break; | |
ff05e09e | 576 | } |
87c75316 | 577 | |
76bf7746 | 578 | if (option->flags & lang_mask) |
dc24ddbd | 579 | if (lang_hooks.handle_option (opt_index, arg, value) == 0) |
76bf7746 | 580 | result = 0; |
3272db82 | 581 | |
76bf7746 | 582 | if (result && (option->flags & CL_COMMON)) |
76f02516 | 583 | if (common_handle_option (opt_index, arg, value, lang_mask) == 0) |
76bf7746 | 584 | result = 0; |
5457b645 | 585 | |
ff05e09e | 586 | if (result && (option->flags & CL_TARGET)) |
587 | if (!targetm.handle_option (opt_index, arg, value)) | |
588 | result = 0; | |
589 | ||
5457b645 | 590 | done: |
591 | if (dup) | |
592 | free (dup); | |
593 | return result; | |
594 | } | |
3272db82 | 595 | |
06ac2f3d | 596 | /* Handle FILENAME from the command line. */ |
597 | static void | |
598 | add_input_filename (const char *filename) | |
599 | { | |
600 | num_in_fnames++; | |
601 | in_fnames = xrealloc (in_fnames, num_in_fnames * sizeof (in_fnames[0])); | |
602 | in_fnames[num_in_fnames - 1] = filename; | |
603 | } | |
604 | ||
9cf6679e | 605 | /* Decode and handle the vector of command line options. LANG_MASK |
606 | contains has a single bit set representing the current | |
607 | language. */ | |
f5d971c5 | 608 | static void |
4838a8b6 | 609 | handle_options (unsigned int argc, const char **argv, unsigned int lang_mask) |
9cf6679e | 610 | { |
611 | unsigned int n, i; | |
612 | ||
613 | for (i = 1; i < argc; i += n) | |
614 | { | |
76bf7746 | 615 | const char *opt = argv[i]; |
616 | ||
617 | /* Interpret "-" or a non-switch as a file name. */ | |
618 | if (opt[0] != '-' || opt[1] == '\0') | |
619 | { | |
d732fcf0 | 620 | if (main_input_filename == NULL) |
0e4744ac | 621 | { |
d732fcf0 | 622 | main_input_filename = opt; |
0e4744ac | 623 | main_input_baselength |
624 | = base_of_path (main_input_filename, &main_input_basename); | |
625 | } | |
dcfa26d9 | 626 | add_input_filename (opt); |
76bf7746 | 627 | n = 1; |
628 | continue; | |
629 | } | |
630 | ||
9cf6679e | 631 | n = handle_option (argv + i, lang_mask); |
632 | ||
633 | if (!n) | |
634 | { | |
635 | n = 1; | |
76bf7746 | 636 | error ("unrecognized command line option \"%s\"", opt); |
9cf6679e | 637 | } |
638 | } | |
639 | } | |
640 | ||
f5d971c5 | 641 | /* Parse command line options and set default flag values. Do minimal |
642 | options processing. */ | |
643 | void | |
4838a8b6 | 644 | decode_options (unsigned int argc, const char **argv) |
f5d971c5 | 645 | { |
4838a8b6 | 646 | unsigned int i, lang_mask; |
f5d971c5 | 647 | |
648 | /* Perform language-specific options initialization. */ | |
dc24ddbd | 649 | lang_mask = lang_hooks.init_options (argc, argv); |
f5d971c5 | 650 | |
f63da8d3 | 651 | lang_hooks.initialize_diagnostics (global_dc); |
652 | ||
f5d971c5 | 653 | /* Scan to see what optimization level has been specified. That will |
654 | determine the default value of many flags. */ | |
655 | for (i = 1; i < argc; i++) | |
656 | { | |
657 | if (!strcmp (argv[i], "-O")) | |
658 | { | |
659 | optimize = 1; | |
660 | optimize_size = 0; | |
661 | } | |
662 | else if (argv[i][0] == '-' && argv[i][1] == 'O') | |
663 | { | |
664 | /* Handle -Os, -O2, -O3, -O69, ... */ | |
4838a8b6 | 665 | const char *p = &argv[i][2]; |
f5d971c5 | 666 | |
667 | if ((p[0] == 's') && (p[1] == 0)) | |
668 | { | |
669 | optimize_size = 1; | |
670 | ||
671 | /* Optimizing for size forces optimize to be 2. */ | |
672 | optimize = 2; | |
673 | } | |
674 | else | |
675 | { | |
676 | const int optimize_val = read_integral_parameter (p, p - 2, -1); | |
677 | if (optimize_val != -1) | |
678 | { | |
679 | optimize = optimize_val; | |
680 | optimize_size = 0; | |
681 | } | |
682 | } | |
683 | } | |
684 | } | |
685 | ||
686 | if (!optimize) | |
687 | { | |
688 | flag_merge_constants = 0; | |
689 | } | |
690 | ||
691 | if (optimize >= 1) | |
692 | { | |
693 | flag_defer_pop = 1; | |
f5d971c5 | 694 | #ifdef DELAY_SLOTS |
695 | flag_delayed_branch = 1; | |
696 | #endif | |
697 | #ifdef CAN_DEBUG_WITHOUT_FP | |
698 | flag_omit_frame_pointer = 1; | |
699 | #endif | |
700 | flag_guess_branch_prob = 1; | |
701 | flag_cprop_registers = 1; | |
f5d971c5 | 702 | flag_if_conversion = 1; |
703 | flag_if_conversion2 = 1; | |
f7d118a9 | 704 | flag_ipa_pure_const = 1; |
705 | flag_ipa_reference = 1; | |
1a6a0f2a | 706 | flag_split_wide_types = 1; |
4ee9c684 | 707 | flag_tree_ccp = 1; |
708 | flag_tree_dce = 1; | |
709 | flag_tree_dom = 1; | |
710 | flag_tree_dse = 1; | |
4ee9c684 | 711 | flag_tree_ter = 1; |
4ee9c684 | 712 | flag_tree_sra = 1; |
713 | flag_tree_copyrename = 1; | |
591c2a30 | 714 | flag_tree_fre = 1; |
88dbf20f | 715 | flag_tree_copy_prop = 1; |
5e733b02 | 716 | flag_tree_sink = 1; |
2be14d8b | 717 | flag_tree_salias = 1; |
17c6c7fc | 718 | if (!no_unit_at_a_time_default) |
719 | flag_unit_at_a_time = 1; | |
4ee9c684 | 720 | |
721 | if (!optimize_size) | |
722 | { | |
723 | /* Loop header copying usually increases size of the code. This used | |
724 | not to be true, since quite often it is possible to verify that | |
725 | the condition is satisfied in the first iteration and therefore | |
726 | to eliminate it. Jump threading handles these cases now. */ | |
727 | flag_tree_ch = 1; | |
728 | } | |
f5d971c5 | 729 | } |
730 | ||
731 | if (optimize >= 2) | |
732 | { | |
523a88b0 | 733 | flag_thread_jumps = 1; |
99cf25d0 | 734 | flag_crossjumping = 1; |
f5d971c5 | 735 | flag_optimize_sibling_calls = 1; |
42a3a38b | 736 | flag_forward_propagate = 1; |
f5d971c5 | 737 | flag_cse_follow_jumps = 1; |
f5d971c5 | 738 | flag_gcse = 1; |
739 | flag_expensive_optimizations = 1; | |
f7d118a9 | 740 | flag_ipa_type_escape = 1; |
f5d971c5 | 741 | flag_rerun_cse_after_loop = 1; |
f5d971c5 | 742 | flag_caller_saves = 1; |
f5d971c5 | 743 | flag_peephole2 = 1; |
744 | #ifdef INSN_SCHEDULING | |
745 | flag_schedule_insns = 1; | |
746 | flag_schedule_insns_after_reload = 1; | |
747 | #endif | |
748 | flag_regmove = 1; | |
749 | flag_strict_aliasing = 1; | |
981eb798 | 750 | flag_strict_overflow = 1; |
f5d971c5 | 751 | flag_delete_null_pointer_checks = 1; |
752 | flag_reorder_blocks = 1; | |
753 | flag_reorder_functions = 1; | |
88dbf20f | 754 | flag_tree_store_ccp = 1; |
755 | flag_tree_store_copy_prop = 1; | |
756 | flag_tree_vrp = 1; | |
523a88b0 | 757 | |
758 | if (!optimize_size) | |
759 | { | |
760 | /* PRE tends to generate bigger code. */ | |
761 | flag_tree_pre = 1; | |
762 | } | |
c227f8de | 763 | |
764 | /* Allow more virtual operators to increase alias precision. */ | |
765 | set_param_value ("max-aliased-vops", 500); | |
f5d971c5 | 766 | } |
767 | ||
768 | if (optimize >= 3) | |
769 | { | |
770 | flag_inline_functions = 1; | |
f5d971c5 | 771 | flag_unswitch_loops = 1; |
839f8415 | 772 | flag_gcse_after_reload = 1; |
c227f8de | 773 | |
774 | /* Allow even more virtual operators. */ | |
775 | set_param_value ("max-aliased-vops", 1000); | |
776 | set_param_value ("avg-aliased-vops", 3); | |
f5d971c5 | 777 | } |
778 | ||
779 | if (optimize < 2 || optimize_size) | |
780 | { | |
781 | align_loops = 1; | |
782 | align_jumps = 1; | |
783 | align_labels = 1; | |
784 | align_functions = 1; | |
785 | ||
786 | /* Don't reorder blocks when optimizing for size because extra | |
787 | jump insns may be created; also barrier may create extra padding. | |
788 | ||
789 | More correctly we should have a block reordering mode that tried | |
790 | to minimize the combined size of all the jumps. This would more | |
791 | or less automatically remove extra jumps, but would also try to | |
792 | use more short jumps instead of long jumps. */ | |
793 | flag_reorder_blocks = 0; | |
4f18499c | 794 | flag_reorder_blocks_and_partition = 0; |
f5d971c5 | 795 | } |
796 | ||
8ba44f35 | 797 | if (optimize_size) |
798 | { | |
799 | /* Inlining of very small functions usually reduces total size. */ | |
800 | set_param_value ("max-inline-insns-single", 5); | |
801 | set_param_value ("max-inline-insns-auto", 5); | |
8ba44f35 | 802 | flag_inline_functions = 1; |
9eb0191e | 803 | |
804 | /* We want to crossjump as much as possible. */ | |
805 | set_param_value ("min-crossjump-insns", 1); | |
8ba44f35 | 806 | } |
807 | ||
f5d971c5 | 808 | /* Initialize whether `char' is signed. */ |
809 | flag_signed_char = DEFAULT_SIGNED_CHAR; | |
5bf3fee3 | 810 | /* Set this to a special "uninitialized" value. The actual default is set |
811 | after target options have been processed. */ | |
812 | flag_short_enums = 2; | |
f5d971c5 | 813 | |
814 | /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can | |
815 | modify it. */ | |
ff05e09e | 816 | target_flags = targetm.default_target_flags; |
f5d971c5 | 817 | |
1774763d | 818 | /* Some tagets have ABI-specified unwind tables. */ |
819 | flag_unwind_tables = targetm.unwind_tables_default; | |
f5d971c5 | 820 | |
821 | #ifdef OPTIMIZATION_OPTIONS | |
822 | /* Allow default optimizations to be specified on a per-machine basis. */ | |
823 | OPTIMIZATION_OPTIONS (optimize, optimize_size); | |
824 | #endif | |
825 | ||
826 | handle_options (argc, argv, lang_mask); | |
827 | ||
828 | if (flag_pie) | |
829 | flag_pic = flag_pie; | |
830 | if (flag_pic && !flag_pie) | |
831 | flag_shlib = 1; | |
832 | ||
833 | if (flag_no_inline == 2) | |
834 | flag_no_inline = 0; | |
835 | else | |
836 | flag_really_no_inline = flag_no_inline; | |
837 | ||
838 | /* Set flag_no_inline before the post_options () hook. The C front | |
839 | ends use it to determine tree inlining defaults. FIXME: such | |
840 | code should be lang-independent when all front ends use tree | |
841 | inlining, in which case it, and this condition, should be moved | |
842 | to the top of process_options() instead. */ | |
843 | if (optimize == 0) | |
844 | { | |
845 | /* Inlining does not work if not optimizing, | |
846 | so force it not to be done. */ | |
847 | flag_no_inline = 1; | |
848 | warn_inline = 0; | |
849 | ||
850 | /* The c_decode_option function and decode_option hook set | |
851 | this to `2' if -Wall is used, so we can avoid giving out | |
852 | lots of errors for people who don't realize what -Wall does. */ | |
853 | if (warn_uninitialized == 1) | |
8b6866af | 854 | warning (OPT_Wuninitialized, |
855 | "-Wuninitialized is not supported without -O"); | |
f5d971c5 | 856 | } |
857 | ||
858 | if (flag_really_no_inline == 2) | |
859 | flag_really_no_inline = flag_no_inline; | |
4f18499c | 860 | |
861 | /* The optimization to partition hot and cold basic blocks into separate | |
862 | sections of the .o and executable files does not work (currently) | |
8de492c3 | 863 | with exception handling. This is because there is no support for |
864 | generating unwind info. If flag_exceptions is turned on we need to | |
4f18499c | 865 | turn off the partitioning optimization. */ |
866 | ||
867 | if (flag_exceptions && flag_reorder_blocks_and_partition) | |
868 | { | |
87c75316 | 869 | inform |
4f18499c | 870 | ("-freorder-blocks-and-partition does not work with exceptions"); |
871 | flag_reorder_blocks_and_partition = 0; | |
872 | flag_reorder_blocks = 1; | |
873 | } | |
4d0e931f | 874 | |
8de492c3 | 875 | /* If user requested unwind info, then turn off the partitioning |
876 | optimization. */ | |
877 | ||
878 | if (flag_unwind_tables && ! targetm.unwind_tables_default | |
879 | && flag_reorder_blocks_and_partition) | |
880 | { | |
1028541d | 881 | inform ("-freorder-blocks-and-partition does not support unwind info"); |
8de492c3 | 882 | flag_reorder_blocks_and_partition = 0; |
883 | flag_reorder_blocks = 1; | |
884 | } | |
885 | ||
886 | /* If the target requested unwind info, then turn off the partitioning | |
887 | optimization with a different message. Likewise, if the target does not | |
888 | support named sections. */ | |
889 | ||
4d0e931f | 890 | if (flag_reorder_blocks_and_partition |
8de492c3 | 891 | && (!targetm.have_named_sections |
892 | || (flag_unwind_tables && targetm.unwind_tables_default))) | |
4d0e931f | 893 | { |
87c75316 | 894 | inform |
3284a242 | 895 | ("-freorder-blocks-and-partition does not work on this architecture"); |
4d0e931f | 896 | flag_reorder_blocks_and_partition = 0; |
897 | flag_reorder_blocks = 1; | |
898 | } | |
f5d971c5 | 899 | } |
900 | ||
87c75316 | 901 | #define LEFT_COLUMN 27 |
902 | ||
903 | /* Output ITEM, of length ITEM_WIDTH, in the left column, | |
904 | followed by word-wrapped HELP in a second column. */ | |
905 | static void | |
906 | wrap_help (const char *help, | |
907 | const char *item, | |
908 | unsigned int item_width, | |
909 | unsigned int columns) | |
910 | { | |
911 | unsigned int col_width = LEFT_COLUMN; | |
912 | unsigned int remaining, room, len; | |
913 | ||
914 | remaining = strlen (help); | |
915 | ||
916 | do | |
917 | { | |
918 | room = columns - 3 - MAX (col_width, item_width); | |
919 | if (room > columns) | |
920 | room = 0; | |
921 | len = remaining; | |
922 | ||
923 | if (room < len) | |
924 | { | |
925 | unsigned int i; | |
926 | ||
927 | for (i = 0; help[i]; i++) | |
928 | { | |
929 | if (i >= room && len != remaining) | |
930 | break; | |
931 | if (help[i] == ' ') | |
932 | len = i; | |
933 | else if ((help[i] == '-' || help[i] == '/') | |
934 | && help[i + 1] != ' ' | |
935 | && i > 0 && ISALPHA (help[i - 1])) | |
936 | len = i + 1; | |
937 | } | |
938 | } | |
939 | ||
940 | printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help); | |
941 | item_width = 0; | |
942 | while (help[len] == ' ') | |
943 | len++; | |
944 | help += len; | |
945 | remaining -= len; | |
946 | } | |
947 | while (remaining); | |
948 | } | |
949 | ||
950 | /* Print help for a specific front-end, etc. */ | |
951 | static void | |
952 | print_filtered_help (unsigned int include_flags, | |
953 | unsigned int exclude_flags, | |
954 | unsigned int any_flags, | |
955 | unsigned int columns) | |
956 | { | |
957 | unsigned int i; | |
958 | const char *help; | |
959 | static char *printed = NULL; | |
960 | bool found = false; | |
961 | bool displayed = false; | |
962 | ||
963 | if (include_flags == CL_PARAMS) | |
964 | { | |
965 | for (i = 0; i < LAST_PARAM; i++) | |
966 | { | |
967 | const char *param = compiler_params[i].option; | |
968 | ||
969 | help = compiler_params[i].help; | |
970 | if (help == NULL || *help == '\0') | |
971 | { | |
972 | if (exclude_flags & CL_UNDOCUMENTED) | |
973 | continue; | |
974 | help = undocumented_msg; | |
975 | } | |
976 | ||
977 | /* Get the translation. */ | |
978 | help = _(help); | |
979 | ||
980 | wrap_help (help, param, strlen (param), columns); | |
981 | } | |
982 | putchar ('\n'); | |
983 | return; | |
984 | } | |
985 | ||
986 | if (!printed) | |
987 | printed = xcalloc (1, cl_options_count); | |
988 | ||
989 | for (i = 0; i < cl_options_count; i++) | |
990 | { | |
991 | static char new_help[128]; | |
992 | const struct cl_option *option = cl_options + i; | |
993 | unsigned int len; | |
994 | const char *opt; | |
995 | const char *tab; | |
996 | ||
997 | if (include_flags == 0 | |
998 | || ((option->flags & include_flags) != include_flags)) | |
999 | { | |
1000 | if ((option->flags & any_flags) == 0) | |
1001 | continue; | |
1002 | } | |
1003 | ||
1004 | /* Skip unwanted switches. */ | |
1005 | if ((option->flags & exclude_flags) != 0) | |
1006 | continue; | |
1007 | ||
1008 | found = true; | |
1009 | /* Skip switches that have already been printed. */ | |
1010 | if (printed[i]) | |
1011 | continue; | |
1012 | ||
1013 | printed[i] = true; | |
1014 | ||
1015 | help = option->help; | |
1016 | if (help == NULL) | |
1017 | { | |
1018 | if (exclude_flags & CL_UNDOCUMENTED) | |
1019 | continue; | |
1020 | help = undocumented_msg; | |
1021 | } | |
1022 | ||
1023 | /* Get the translation. */ | |
1024 | help = _(help); | |
1025 | ||
1026 | /* Find the gap between the name of the | |
1027 | option and its descriptive text. */ | |
1028 | tab = strchr (help, '\t'); | |
1029 | if (tab) | |
1030 | { | |
1031 | len = tab - help; | |
1032 | opt = help; | |
1033 | help = tab + 1; | |
1034 | } | |
1035 | else | |
1036 | { | |
1037 | opt = option->opt_text; | |
1038 | len = strlen (opt); | |
1039 | } | |
1040 | ||
1041 | /* With the -Q option enabled we change the descriptive text associated | |
1042 | with an option to be an indication of its current setting. */ | |
1043 | if (!quiet_flag) | |
1044 | { | |
1045 | if (len < (LEFT_COLUMN + 2)) | |
1046 | strcpy (new_help, "\t\t"); | |
1047 | else | |
1048 | strcpy (new_help, "\t"); | |
1049 | ||
1050 | if (option->flag_var != NULL) | |
1051 | { | |
1052 | if (option->flags & CL_JOINED) | |
1053 | { | |
1054 | if (option->var_type == CLVC_STRING) | |
1055 | { | |
1056 | if (* (const char **) option->flag_var != NULL) | |
1057 | snprintf (new_help + strlen (new_help), | |
1058 | sizeof (new_help) - strlen (new_help), | |
1059 | * (const char **) option->flag_var); | |
1060 | } | |
1061 | else | |
1062 | sprintf (new_help + strlen (new_help), | |
1063 | "%#x", * (int *) option->flag_var); | |
1064 | } | |
1065 | else | |
1066 | strcat (new_help, option_enabled (i) | |
1067 | ? _("[enabled]") : _("[disabled]")); | |
1068 | } | |
1069 | ||
1070 | help = new_help; | |
1071 | } | |
1072 | ||
1073 | wrap_help (help, opt, len, columns); | |
1074 | displayed = true; | |
1075 | } | |
1076 | ||
1077 | if (! found) | |
1078 | printf (_(" No options with the desired characteristics were found\n")); | |
1079 | else if (! displayed) | |
1080 | printf (_(" All options with the desired characteristics have already been displayed\n")); | |
1081 | ||
1082 | putchar ('\n'); | |
1083 | } | |
1084 | ||
1085 | /* Display help for a specified type of option. | |
1086 | The options must have ALL of the INCLUDE_FLAGS set | |
1087 | ANY of the flags in the ANY_FLAGS set | |
1088 | and NONE of the EXCLUDE_FLAGS set. */ | |
1089 | static void | |
1090 | print_specific_help (unsigned int include_flags, | |
1091 | unsigned int exclude_flags, | |
1092 | unsigned int any_flags) | |
1093 | { | |
1094 | unsigned int all_langs_mask = (1U << cl_lang_count) - 1; | |
1095 | const char * description = NULL; | |
1096 | const char * descrip_extra = ""; | |
1097 | size_t i; | |
1098 | unsigned int flag; | |
1099 | static unsigned int columns = 0; | |
1100 | ||
1101 | /* Sanity check: Make sure that we do not have more | |
1102 | languages than we have bits available to enumerate them. */ | |
1103 | gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS); | |
1104 | ||
1105 | /* If we have not done so already, obtain | |
1106 | the desired maximum width of the output. */ | |
1107 | if (columns == 0) | |
1108 | { | |
1109 | const char *p; | |
1110 | ||
1111 | GET_ENVIRONMENT (p, "COLUMNS"); | |
1112 | if (p != NULL) | |
1113 | { | |
1114 | int value = atoi (p); | |
1115 | ||
1116 | if (value > 0) | |
1117 | columns = value; | |
1118 | } | |
1119 | ||
1120 | if (columns == 0) | |
1121 | /* Use a reasonable default. */ | |
1122 | columns = 80; | |
1123 | } | |
1124 | ||
1125 | /* Decide upon the title for the options that we are going to display. */ | |
1126 | for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++) | |
1127 | { | |
1128 | switch (flag & include_flags) | |
1129 | { | |
1130 | case 0: | |
1131 | break; | |
1132 | ||
1133 | case CL_TARGET: | |
1134 | description = _("The following options are target specific"); | |
1135 | break; | |
1136 | case CL_WARNING: | |
1137 | description = _("The following options control compiler warning messages"); | |
1138 | break; | |
1139 | case CL_OPTIMIZATION: | |
1140 | description = _("The following options control optimizations"); | |
1141 | break; | |
1142 | case CL_COMMON: | |
1143 | description = _("The following options are language-independent"); | |
1144 | break; | |
1145 | case CL_PARAMS: | |
1146 | description = _("The --param option recognizes the following as parameters"); | |
1147 | break; | |
1148 | default: | |
1149 | if (i >= cl_lang_count) | |
1150 | break; | |
1151 | if ((exclude_flags & ((1U << cl_lang_count) - 1)) != 0) | |
1152 | { | |
1153 | description = _("The following options are specific to the language "); | |
1154 | descrip_extra = lang_names [i]; | |
1155 | } | |
1156 | else | |
7fbbfa9f | 1157 | description = _("The following options are supported by the language "); |
1158 | descrip_extra = lang_names [i]; | |
87c75316 | 1159 | break; |
1160 | } | |
1161 | } | |
1162 | ||
1163 | if (description == NULL) | |
1164 | { | |
1165 | if (any_flags == 0) | |
1166 | { | |
1167 | if (include_flags == CL_UNDOCUMENTED) | |
1168 | description = _("The following options are not documented"); | |
1169 | else | |
1170 | { | |
1171 | internal_error ("unrecognized include_flags 0x%x passed to print_specific_help", | |
1172 | include_flags); | |
1173 | return; | |
1174 | } | |
1175 | } | |
1176 | else | |
1177 | { | |
1178 | if (any_flags & all_langs_mask) | |
1179 | description = _("The following options are language-related"); | |
1180 | else | |
1181 | description = _("The following options are language-independent"); | |
1182 | } | |
1183 | } | |
1184 | ||
1185 | printf ("%s%s:\n", description, descrip_extra); | |
1186 | print_filtered_help (include_flags, exclude_flags, any_flags, columns); | |
1187 | } | |
1188 | ||
3272db82 | 1189 | /* Handle target- and language-independent options. Return zero to |
2e9da478 | 1190 | generate an "unknown option" message. Only options that need |
1191 | extra handling need to be listed here; if you simply want | |
1192 | VALUE assigned to a variable, it happens automatically. */ | |
1193 | ||
3272db82 | 1194 | static int |
76f02516 | 1195 | common_handle_option (size_t scode, const char *arg, int value, |
1196 | unsigned int lang_mask) | |
3272db82 | 1197 | { |
3272db82 | 1198 | enum opt_code code = (enum opt_code) scode; |
1199 | ||
3272db82 | 1200 | switch (code) |
1201 | { | |
da3b1bab | 1202 | case OPT__param: |
1203 | handle_param (arg); | |
1204 | break; | |
1205 | ||
87c75316 | 1206 | case OPT_fhelp: |
1207 | case OPT__help: | |
1208 | { | |
1209 | unsigned int all_langs_mask = (1U << cl_lang_count) - 1; | |
1210 | unsigned int undoc_mask; | |
1211 | unsigned int i; | |
1212 | ||
1213 | undoc_mask = extra_warnings ? 0 : CL_UNDOCUMENTED; | |
1214 | /* First display any single language specific options. */ | |
1215 | for (i = 0; i < cl_lang_count; i++) | |
1216 | print_specific_help | |
1217 | (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0); | |
1218 | /* Next display any multi language specific options. */ | |
1219 | print_specific_help (0, undoc_mask, all_langs_mask); | |
1220 | /* Then display any remaining, non-language options. */ | |
1221 | for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1) | |
1222 | print_specific_help (i, undoc_mask, 0); | |
1223 | exit_after_options = true; | |
1224 | break; | |
1225 | } | |
1226 | ||
1227 | case OPT_ftarget_help: | |
e690b385 | 1228 | case OPT__target_help: |
87c75316 | 1229 | print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0); |
e690b385 | 1230 | exit_after_options = true; |
1231 | break; | |
1232 | ||
87c75316 | 1233 | case OPT_fhelp_: |
1234 | case OPT__help_: | |
1235 | { | |
1236 | const char * a = arg; | |
1237 | unsigned int include_flags = 0; | |
1238 | /* Note - by default we include undocumented options when listing | |
1239 | specific classes. If you only want to see documented options | |
1240 | then add ",^undocumented" to the --help= option. e.g.: | |
1241 | ||
1242 | --help=target,^undocumented */ | |
1243 | unsigned int exclude_flags = 0; | |
1244 | ||
1245 | /* Walk along the argument string, parsing each word in turn. | |
1246 | The format is: | |
1247 | arg = [^]{word}[,{arg}] | |
7fbbfa9f | 1248 | word = {optimizers|target|warnings|undocumented| |
1249 | params|common|<language>} */ | |
87c75316 | 1250 | while (* a != 0) |
1251 | { | |
1252 | static struct | |
1253 | { | |
1254 | const char * string; | |
1255 | unsigned int flag; | |
1256 | } | |
1257 | specifics[] = | |
1258 | { | |
1259 | { "optimizers", CL_OPTIMIZATION }, | |
1260 | { "target", CL_TARGET }, | |
1261 | { "warnings", CL_WARNING }, | |
1262 | { "undocumented", CL_UNDOCUMENTED }, | |
1263 | { "params", CL_PARAMS }, | |
1264 | { "joined", CL_JOINED }, | |
1265 | { "separate", CL_SEPARATE }, | |
7fbbfa9f | 1266 | { "common", CL_COMMON }, |
87c75316 | 1267 | { NULL, 0 } |
1268 | }; | |
1269 | unsigned int * pflags; | |
1270 | char * comma; | |
1271 | unsigned int len; | |
1272 | unsigned int i; | |
1273 | ||
1274 | if (* a == '^') | |
1275 | { | |
1276 | ++ a; | |
1277 | pflags = & exclude_flags; | |
1278 | } | |
1279 | else | |
1280 | pflags = & include_flags; | |
1281 | ||
1282 | comma = strchr (a, ','); | |
1283 | if (comma == NULL) | |
1284 | len = strlen (a); | |
1285 | else | |
1286 | len = comma - a; | |
1287 | ||
1288 | for (i = 0; specifics[i].string != NULL; i++) | |
1289 | if (strncasecmp (a, specifics[i].string, len) == 0) | |
1290 | { | |
1291 | * pflags |= specifics[i].flag; | |
1292 | break; | |
1293 | } | |
1294 | ||
1295 | if (specifics[i].string == NULL) | |
1296 | { | |
1297 | /* Check to see if the string matches a language name. */ | |
1298 | for (i = 0; i < cl_lang_count; i++) | |
1299 | if (strncasecmp (a, lang_names[i], len) == 0) | |
1300 | { | |
1301 | * pflags |= 1U << i; | |
1302 | break; | |
1303 | } | |
1304 | ||
1305 | if (i == cl_lang_count) | |
1306 | fnotice (stderr, | |
1307 | "warning: unrecognized argument to --help= switch: %.*s\n", | |
1308 | len, a); | |
1309 | } | |
1310 | ||
1311 | if (comma == NULL) | |
1312 | break; | |
1313 | a = comma + 1; | |
1314 | } | |
1315 | ||
1316 | if (include_flags) | |
1317 | print_specific_help (include_flags, exclude_flags, 0); | |
1318 | exit_after_options = true; | |
1319 | break; | |
1320 | } | |
1321 | ||
e690b385 | 1322 | case OPT__version: |
1323 | print_version (stderr, ""); | |
1324 | exit_after_options = true; | |
1325 | break; | |
1326 | ||
1327 | case OPT_G: | |
837277ab | 1328 | g_switch_value = value; |
e690b385 | 1329 | g_switch_set = true; |
1330 | break; | |
1331 | ||
da3b1bab | 1332 | case OPT_O: |
1333 | case OPT_Os: | |
1334 | /* Currently handled in a prescan. */ | |
1335 | break; | |
1336 | ||
1337 | case OPT_W: | |
1338 | /* For backward compatibility, -W is the same as -Wextra. */ | |
1339 | set_Wextra (value); | |
1340 | break; | |
1341 | ||
76f02516 | 1342 | case OPT_Werror_: |
3ba510aa | 1343 | enable_warning_as_error (arg, value, lang_mask); |
76f02516 | 1344 | break; |
1345 | ||
da3b1bab | 1346 | case OPT_Wextra: |
1347 | set_Wextra (value); | |
1348 | break; | |
1349 | ||
6f2f567f | 1350 | case OPT_Wlarger_than_: |
1351 | larger_than_size = value; | |
1352 | warn_larger_than = value != -1; | |
1353 | break; | |
1354 | ||
6f2f567f | 1355 | case OPT_Wstrict_aliasing: |
c1628b55 | 1356 | case OPT_Wstrict_aliasing_: |
6f2f567f | 1357 | warn_strict_aliasing = value; |
1358 | break; | |
1359 | ||
add6ee5e | 1360 | case OPT_Wstrict_overflow: |
47fcc258 | 1361 | warn_strict_overflow = (value |
1362 | ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL | |
1363 | : 0); | |
1364 | break; | |
1365 | ||
add6ee5e | 1366 | case OPT_Wstrict_overflow_: |
1367 | warn_strict_overflow = value; | |
1368 | break; | |
1369 | ||
da3b1bab | 1370 | case OPT_Wunused: |
1371 | set_Wunused (value); | |
1372 | break; | |
1373 | ||
e690b385 | 1374 | case OPT_aux_info: |
1375 | case OPT_aux_info_: | |
1376 | aux_info_file_name = arg; | |
1377 | flag_gen_aux_info = 1; | |
1378 | break; | |
1379 | ||
1380 | case OPT_auxbase: | |
1381 | aux_base_name = arg; | |
1382 | break; | |
1383 | ||
1384 | case OPT_auxbase_strip: | |
1385 | { | |
1386 | char *tmp = xstrdup (arg); | |
1387 | strip_off_ending (tmp, strlen (tmp)); | |
1388 | if (tmp[0]) | |
1389 | aux_base_name = tmp; | |
1390 | } | |
1391 | break; | |
1392 | ||
1393 | case OPT_d: | |
1394 | decode_d_option (arg); | |
1395 | break; | |
1396 | ||
1397 | case OPT_dumpbase: | |
1398 | dump_base_name = arg; | |
1399 | break; | |
1400 | ||
299dd221 | 1401 | case OPT_falign_functions_: |
1402 | align_functions = value; | |
1403 | break; | |
1404 | ||
299dd221 | 1405 | case OPT_falign_jumps_: |
1406 | align_jumps = value; | |
1407 | break; | |
1408 | ||
299dd221 | 1409 | case OPT_falign_labels_: |
1410 | align_labels = value; | |
1411 | break; | |
1412 | ||
299dd221 | 1413 | case OPT_falign_loops_: |
1414 | align_loops = value; | |
1415 | break; | |
1416 | ||
ecdb6d1a | 1417 | case OPT_fbranch_probabilities: |
7dea76ba | 1418 | flag_branch_probabilities_set = true; |
08d163a9 | 1419 | break; |
1420 | ||
941a4893 | 1421 | case OPT_fcall_used_: |
1422 | fix_register (arg, 0, 1); | |
1423 | break; | |
1424 | ||
1425 | case OPT_fcall_saved_: | |
1426 | fix_register (arg, 0, 0); | |
1427 | break; | |
1428 | ||
1e06725a | 1429 | case OPT_fdiagnostics_show_location_: |
1430 | if (!strcmp (arg, "once")) | |
1431 | diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE; | |
1432 | else if (!strcmp (arg, "every-line")) | |
1433 | diagnostic_prefixing_rule (global_dc) | |
1434 | = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE; | |
1435 | else | |
1436 | return 0; | |
1437 | break; | |
1438 | ||
b0932b2f | 1439 | case OPT_fdiagnostics_show_option: |
1440 | global_dc->show_option_requested = true; | |
1441 | break; | |
1442 | ||
4ee9c684 | 1443 | case OPT_fdump_: |
1444 | if (!dump_switch_p (arg)) | |
1445 | return 0; | |
1446 | break; | |
1447 | ||
941a4893 | 1448 | case OPT_ffast_math: |
1449 | set_fast_math_flags (value); | |
1450 | break; | |
1451 | ||
1452 | case OPT_ffixed_: | |
1453 | fix_register (arg, 1, 1); | |
1454 | break; | |
1455 | ||
39470ac3 | 1456 | case OPT_finline_limit_: |
1457 | case OPT_finline_limit_eq: | |
39470ac3 | 1458 | set_param_value ("max-inline-insns-single", value / 2); |
1459 | set_param_value ("max-inline-insns-auto", value / 2); | |
39470ac3 | 1460 | break; |
1461 | ||
1e06725a | 1462 | case OPT_fmessage_length_: |
aa6db498 | 1463 | pp_set_line_maximum_length (global_dc->printer, value); |
1e06725a | 1464 | break; |
1465 | ||
6b5553e5 | 1466 | case OPT_fpack_struct_: |
1467 | if (value <= 0 || (value & (value - 1)) || value > 16) | |
87c75316 | 1468 | error ("structure alignment must be a small power of two, not %d", value); |
6b5553e5 | 1469 | else |
1470 | { | |
1471 | initial_max_fld_align = value; | |
1472 | maximum_field_alignment = value * BITS_PER_UNIT; | |
1473 | } | |
1474 | break; | |
1475 | ||
1e06725a | 1476 | case OPT_fpeel_loops: |
7dea76ba | 1477 | flag_peel_loops_set = true; |
ecdb6d1a | 1478 | break; |
1479 | ||
1480 | case OPT_fprofile_arcs: | |
7dea76ba | 1481 | profile_arc_flag_set = true; |
ecdb6d1a | 1482 | break; |
1483 | ||
7dea76ba | 1484 | case OPT_fprofile_use: |
1485 | if (!flag_branch_probabilities_set) | |
1486 | flag_branch_probabilities = value; | |
1487 | if (!flag_profile_values_set) | |
1488 | flag_profile_values = value; | |
1489 | if (!flag_unroll_loops_set) | |
1490 | flag_unroll_loops = value; | |
1491 | if (!flag_peel_loops_set) | |
1492 | flag_peel_loops = value; | |
1493 | if (!flag_tracer_set) | |
1494 | flag_tracer = value; | |
1495 | if (!flag_value_profile_transformations_set) | |
1496 | flag_value_profile_transformations = value; | |
1497 | break; | |
1498 | ||
1499 | case OPT_fprofile_generate: | |
1500 | if (!profile_arc_flag_set) | |
1501 | profile_arc_flag = value; | |
1502 | if (!flag_profile_values_set) | |
1503 | flag_profile_values = value; | |
1504 | if (!flag_value_profile_transformations_set) | |
1505 | flag_value_profile_transformations = value; | |
1506 | break; | |
1507 | ||
1c6a7b8c | 1508 | case OPT_fprofile_values: |
7dea76ba | 1509 | flag_profile_values_set = true; |
1c6a7b8c | 1510 | break; |
1511 | ||
b212f378 | 1512 | case OPT_fvisibility_: |
1513 | { | |
1514 | if (!strcmp(arg, "default")) | |
1515 | default_visibility = VISIBILITY_DEFAULT; | |
1516 | else if (!strcmp(arg, "internal")) | |
1517 | default_visibility = VISIBILITY_INTERNAL; | |
1518 | else if (!strcmp(arg, "hidden")) | |
1519 | default_visibility = VISIBILITY_HIDDEN; | |
1520 | else if (!strcmp(arg, "protected")) | |
1521 | default_visibility = VISIBILITY_PROTECTED; | |
1522 | else | |
4133d091 | 1523 | error ("unrecognized visibility value \"%s\"", arg); |
b212f378 | 1524 | } |
1525 | break; | |
1526 | ||
1c6a7b8c | 1527 | case OPT_fvpt: |
8a5df2ce | 1528 | flag_value_profile_transformations_set = true; |
1529 | break; | |
1530 | ||
1e06725a | 1531 | case OPT_frandom_seed: |
1532 | /* The real switch is -fno-random-seed. */ | |
1533 | if (value) | |
1534 | return 0; | |
b6c1bd72 | 1535 | set_random_seed (NULL); |
1e06725a | 1536 | break; |
1537 | ||
1538 | case OPT_frandom_seed_: | |
b6c1bd72 | 1539 | set_random_seed (arg); |
1e06725a | 1540 | break; |
1541 | ||
1e06725a | 1542 | case OPT_fsched_verbose_: |
1543 | #ifdef INSN_SCHEDULING | |
1544 | fix_sched_param ("verbose", arg); | |
1545 | break; | |
1546 | #else | |
1547 | return 0; | |
1548 | #endif | |
1549 | ||
52c4b43f | 1550 | case OPT_fsched_stalled_insns_: |
1551 | flag_sched_stalled_insns = value; | |
1552 | if (flag_sched_stalled_insns == 0) | |
1553 | flag_sched_stalled_insns = -1; | |
1554 | break; | |
1555 | ||
52c4b43f | 1556 | case OPT_fsched_stalled_insns_dep_: |
1557 | flag_sched_stalled_insns_dep = value; | |
1558 | break; | |
ecdb6d1a | 1559 | |
1e06725a | 1560 | case OPT_fstack_limit: |
1561 | /* The real switch is -fno-stack-limit. */ | |
1562 | if (value) | |
1563 | return 0; | |
1564 | stack_limit_rtx = NULL_RTX; | |
1565 | break; | |
1566 | ||
941a4893 | 1567 | case OPT_fstack_limit_register_: |
1568 | { | |
1569 | int reg = decode_reg_name (arg); | |
1570 | if (reg < 0) | |
1571 | error ("unrecognized register name \"%s\"", arg); | |
1572 | else | |
1573 | stack_limit_rtx = gen_rtx_REG (Pmode, reg); | |
1574 | } | |
1575 | break; | |
1576 | ||
1577 | case OPT_fstack_limit_symbol_: | |
1578 | stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg)); | |
1579 | break; | |
1580 | ||
459e8543 | 1581 | case OPT_ftree_vectorizer_verbose_: |
1582 | vect_set_verbosity_level (arg); | |
1583 | break; | |
1584 | ||
941a4893 | 1585 | case OPT_ftls_model_: |
1586 | if (!strcmp (arg, "global-dynamic")) | |
1587 | flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC; | |
1588 | else if (!strcmp (arg, "local-dynamic")) | |
1589 | flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC; | |
1590 | else if (!strcmp (arg, "initial-exec")) | |
1591 | flag_tls_default = TLS_MODEL_INITIAL_EXEC; | |
1592 | else if (!strcmp (arg, "local-exec")) | |
1593 | flag_tls_default = TLS_MODEL_LOCAL_EXEC; | |
1594 | else | |
c3ceba8e | 1595 | warning (0, "unknown tls-model \"%s\"", arg); |
941a4893 | 1596 | break; |
1597 | ||
1e06725a | 1598 | case OPT_ftracer: |
7dea76ba | 1599 | flag_tracer_set = true; |
4ee9c684 | 1600 | break; |
1601 | ||
1e06725a | 1602 | case OPT_funroll_loops: |
7dea76ba | 1603 | flag_unroll_loops_set = true; |
ecdb6d1a | 1604 | break; |
1605 | ||
6f2f567f | 1606 | case OPT_g: |
b0e56fb1 | 1607 | set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg); |
1608 | break; | |
1609 | ||
1610 | case OPT_gcoff: | |
1611 | set_debug_level (SDB_DEBUG, false, arg); | |
1612 | break; | |
1613 | ||
b0e56fb1 | 1614 | case OPT_gdwarf_2: |
1615 | set_debug_level (DWARF2_DEBUG, false, arg); | |
1616 | break; | |
1617 | ||
1618 | case OPT_ggdb: | |
1619 | set_debug_level (NO_DEBUG, 2, arg); | |
1620 | break; | |
1621 | ||
1622 | case OPT_gstabs: | |
1623 | case OPT_gstabs_: | |
1624 | set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg); | |
1625 | break; | |
1626 | ||
1627 | case OPT_gvms: | |
1628 | set_debug_level (VMS_DEBUG, false, arg); | |
1629 | break; | |
1630 | ||
1631 | case OPT_gxcoff: | |
1632 | case OPT_gxcoff_: | |
1633 | set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg); | |
6f2f567f | 1634 | break; |
1635 | ||
e690b385 | 1636 | case OPT_o: |
1637 | asm_file_name = arg; | |
1638 | break; | |
1639 | ||
e690b385 | 1640 | case OPT_pedantic_errors: |
1641 | flag_pedantic_errors = pedantic = 1; | |
1642 | break; | |
1643 | ||
4f87b914 | 1644 | case OPT_floop_optimize: |
1645 | case OPT_frerun_loop_opt: | |
1646 | case OPT_fstrength_reduce: | |
334ec2d8 | 1647 | /* These are no-ops, preserved for backward compatibility. */ |
4f87b914 | 1648 | break; |
1649 | ||
2e9da478 | 1650 | default: |
1651 | /* If the flag was handled in a standard way, assume the lack of | |
1652 | processing here is intentional. */ | |
1fa3a8f6 | 1653 | gcc_assert (cl_options[scode].flag_var); |
1654 | break; | |
3272db82 | 1655 | } |
1656 | ||
1657 | return 1; | |
1658 | } | |
da3b1bab | 1659 | |
1660 | /* Handle --param NAME=VALUE. */ | |
1661 | static void | |
1662 | handle_param (const char *carg) | |
1663 | { | |
1664 | char *equal, *arg; | |
1665 | int value; | |
1666 | ||
1667 | arg = xstrdup (carg); | |
1668 | equal = strchr (arg, '='); | |
1669 | if (!equal) | |
1670 | error ("%s: --param arguments should be of the form NAME=VALUE", arg); | |
1671 | else | |
1672 | { | |
1673 | value = integral_argument (equal + 1); | |
1674 | if (value == -1) | |
1e5fcbe2 | 1675 | error ("invalid --param value %qs", equal + 1); |
da3b1bab | 1676 | else |
1677 | { | |
1678 | *equal = '\0'; | |
1679 | set_param_value (arg, value); | |
1680 | } | |
1681 | } | |
1682 | ||
1683 | free (arg); | |
1684 | } | |
1685 | ||
1686 | /* Handle -W and -Wextra. */ | |
1687 | static void | |
1688 | set_Wextra (int setting) | |
1689 | { | |
1690 | extra_warnings = setting; | |
da3b1bab | 1691 | warn_unused_parameter = (setting && maybe_warn_unused_parameter); |
1692 | ||
1693 | /* We save the value of warn_uninitialized, since if they put | |
1694 | -Wuninitialized on the command line, we need to generate a | |
1695 | warning about not using it without also specifying -O. */ | |
1696 | if (setting == 0) | |
1697 | warn_uninitialized = 0; | |
1698 | else if (warn_uninitialized != 1) | |
1699 | warn_uninitialized = 2; | |
1700 | } | |
1701 | ||
1702 | /* Initialize unused warning flags. */ | |
1703 | void | |
1704 | set_Wunused (int setting) | |
1705 | { | |
1706 | warn_unused_function = setting; | |
1707 | warn_unused_label = setting; | |
1708 | /* Unused function parameter warnings are reported when either | |
1709 | ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified. | |
1710 | Thus, if -Wextra has already been seen, set warn_unused_parameter; | |
1711 | otherwise set maybe_warn_extra_parameter, which will be picked up | |
1712 | by set_Wextra. */ | |
1713 | maybe_warn_unused_parameter = setting; | |
1714 | warn_unused_parameter = (setting && extra_warnings); | |
1715 | warn_unused_variable = setting; | |
1716 | warn_unused_value = setting; | |
1717 | } | |
941a4893 | 1718 | |
1719 | /* The following routines are useful in setting all the flags that | |
1720 | -ffast-math and -fno-fast-math imply. */ | |
1721 | void | |
1722 | set_fast_math_flags (int set) | |
1723 | { | |
1724 | flag_trapping_math = !set; | |
1725 | flag_unsafe_math_optimizations = set; | |
1726 | flag_finite_math_only = set; | |
893038cd | 1727 | flag_signed_zeros = !set; |
941a4893 | 1728 | flag_errno_math = !set; |
1729 | if (set) | |
5466f589 | 1730 | { |
1731 | flag_signaling_nans = 0; | |
1732 | flag_rounding_math = 0; | |
45b9d334 | 1733 | flag_cx_limited_range = 1; |
5466f589 | 1734 | } |
941a4893 | 1735 | } |
1736 | ||
1737 | /* Return true iff flags are set as if -ffast-math. */ | |
1738 | bool | |
1739 | fast_math_flags_set_p (void) | |
1740 | { | |
1741 | return (!flag_trapping_math | |
1742 | && flag_unsafe_math_optimizations | |
1743 | && flag_finite_math_only | |
893038cd | 1744 | && !flag_signed_zeros |
941a4893 | 1745 | && !flag_errno_math); |
1746 | } | |
53b8e5c1 | 1747 | |
b0e56fb1 | 1748 | /* Handle a debug output -g switch. EXTENDED is true or false to support |
1749 | extended output (2 is special and means "-ggdb" was given). */ | |
1750 | static void | |
1751 | set_debug_level (enum debug_info_type type, int extended, const char *arg) | |
1752 | { | |
1753 | static bool type_explicit; | |
1754 | ||
1755 | use_gnu_debug_info_extensions = extended; | |
1756 | ||
1757 | if (type == NO_DEBUG) | |
1758 | { | |
1759 | if (write_symbols == NO_DEBUG) | |
1760 | { | |
1761 | write_symbols = PREFERRED_DEBUGGING_TYPE; | |
1762 | ||
1763 | if (extended == 2) | |
1764 | { | |
1765 | #ifdef DWARF2_DEBUGGING_INFO | |
1766 | write_symbols = DWARF2_DEBUG; | |
1767 | #elif defined DBX_DEBUGGING_INFO | |
1768 | write_symbols = DBX_DEBUG; | |
1769 | #endif | |
1770 | } | |
1771 | ||
1772 | if (write_symbols == NO_DEBUG) | |
c3ceba8e | 1773 | warning (0, "target system does not support debug output"); |
b0e56fb1 | 1774 | } |
1775 | } | |
1776 | else | |
1777 | { | |
1778 | /* Does it conflict with an already selected type? */ | |
1779 | if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols) | |
1780 | error ("debug format \"%s\" conflicts with prior selection", | |
1781 | debug_type_names[type]); | |
1782 | write_symbols = type; | |
1783 | type_explicit = true; | |
1784 | } | |
1785 | ||
1786 | /* A debug flag without a level defaults to level 2. */ | |
1787 | if (*arg == '\0') | |
1788 | { | |
1789 | if (!debug_info_level) | |
1790 | debug_info_level = 2; | |
1791 | } | |
1792 | else | |
1793 | { | |
1794 | debug_info_level = integral_argument (arg); | |
1795 | if (debug_info_level == (unsigned int) -1) | |
1796 | error ("unrecognised debug output level \"%s\"", arg); | |
1797 | else if (debug_info_level > 3) | |
1798 | error ("debug output level %s is too high", arg); | |
1799 | } | |
1800 | } | |
1801 | ||
ff05e09e | 1802 | /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't |
1803 | a simple on-off switch. */ | |
1804 | ||
1805 | int | |
efb9d9ee | 1806 | option_enabled (int opt_idx) |
ff05e09e | 1807 | { |
efb9d9ee | 1808 | const struct cl_option *option = &(cl_options[opt_idx]); |
87c75316 | 1809 | |
ff05e09e | 1810 | if (option->flag_var) |
0fe44c73 | 1811 | switch (option->var_type) |
ff05e09e | 1812 | { |
1813 | case CLVC_BOOLEAN: | |
0fe44c73 | 1814 | return *(int *) option->flag_var != 0; |
ff05e09e | 1815 | |
1816 | case CLVC_EQUAL: | |
0fe44c73 | 1817 | return *(int *) option->flag_var == option->var_value; |
ff05e09e | 1818 | |
1819 | case CLVC_BIT_CLEAR: | |
0fe44c73 | 1820 | return (*(int *) option->flag_var & option->var_value) == 0; |
ff05e09e | 1821 | |
1822 | case CLVC_BIT_SET: | |
0fe44c73 | 1823 | return (*(int *) option->flag_var & option->var_value) != 0; |
1824 | ||
1825 | case CLVC_STRING: | |
1826 | break; | |
ff05e09e | 1827 | } |
1828 | return -1; | |
1829 | } | |
7abcc497 | 1830 | |
1831 | /* Fill STATE with the current state of option OPTION. Return true if | |
1832 | there is some state to store. */ | |
1833 | ||
1834 | bool | |
1835 | get_option_state (int option, struct cl_option_state *state) | |
1836 | { | |
1837 | if (cl_options[option].flag_var == 0) | |
1838 | return false; | |
1839 | ||
1840 | switch (cl_options[option].var_type) | |
1841 | { | |
1842 | case CLVC_BOOLEAN: | |
1843 | case CLVC_EQUAL: | |
1844 | state->data = cl_options[option].flag_var; | |
1845 | state->size = sizeof (int); | |
1846 | break; | |
1847 | ||
1848 | case CLVC_BIT_CLEAR: | |
1849 | case CLVC_BIT_SET: | |
1850 | state->ch = option_enabled (option); | |
1851 | state->data = &state->ch; | |
1852 | state->size = 1; | |
1853 | break; | |
1854 | ||
1855 | case CLVC_STRING: | |
1856 | state->data = *(const char **) cl_options[option].flag_var; | |
1857 | if (state->data == 0) | |
1858 | state->data = ""; | |
1859 | state->size = strlen (state->data) + 1; | |
1860 | break; | |
1861 | } | |
1862 | return true; | |
1863 | } | |
3ba510aa | 1864 | |
1865 | /* Enable a warning option as an error. This is used by -Werror= and | |
1866 | also by legacy Werror-implicit-function-declaration. */ | |
1867 | ||
1868 | void | |
1869 | enable_warning_as_error (const char *arg, int value, unsigned int lang_mask) | |
1870 | { | |
1871 | char *new_option; | |
1872 | int option_index; | |
1873 | ||
1874 | new_option = XNEWVEC (char, strlen (arg) + 2); | |
1875 | new_option[0] = 'W'; | |
1876 | strcpy (new_option + 1, arg); | |
1877 | option_index = find_opt (new_option, lang_mask); | |
1878 | if (option_index == N_OPTS) | |
1879 | { | |
1880 | error ("-Werror=%s: No option -%s", arg, new_option); | |
1881 | } | |
1882 | else | |
1883 | { | |
1884 | int kind = value ? DK_ERROR : DK_WARNING; | |
1885 | diagnostic_classify_diagnostic (global_dc, option_index, kind); | |
1886 | ||
1887 | /* -Werror=foo implies -Wfoo. */ | |
1888 | if (cl_options[option_index].var_type == CLVC_BOOLEAN | |
1889 | && cl_options[option_index].flag_var | |
1890 | && kind == DK_ERROR) | |
1891 | *(int *) cl_options[option_index].flag_var = 1; | |
1892 | } | |
1893 | free (new_option); | |
1894 | } |