2014-08-04 Ed Schonberg <schonberg@adacore.com>
[official-gcc.git] / gcc / opts.c
blobbe1867c23882890d472b32a75d846f2a23c26119
1 /* Command line option handling.
2 Copyright (C) 2002-2014 Free Software Foundation, Inc.
3 Contributed by Neil Booth.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "intl.h"
24 #include "coretypes.h"
25 #include "opts.h"
26 #include "options.h"
27 #include "tm.h" /* For STACK_CHECK_BUILTIN,
28 STACK_CHECK_STATIC_BUILTIN, DEFAULT_GDB_EXTENSIONS,
29 DWARF2_DEBUGGING_INFO and DBX_DEBUGGING_INFO. */
30 #include "flags.h"
31 #include "params.h"
32 #include "diagnostic.h"
33 #include "diagnostic-color.h"
34 #include "opts-diagnostic.h"
35 #include "insn-attr-common.h"
36 #include "common/common-target.h"
38 static void set_Wstrict_aliasing (struct gcc_options *opts, int onoff);
40 /* Indexed by enum debug_info_type. */
41 const char *const debug_type_names[] =
43 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
46 /* Parse the -femit-struct-debug-detailed option value
47 and set the flag variables. */
49 #define MATCH( prefix, string ) \
50 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
51 ? ((string += sizeof prefix - 1), 1) : 0)
53 void
54 set_struct_debug_option (struct gcc_options *opts, location_t loc,
55 const char *spec)
57 /* various labels for comparison */
58 static const char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
59 static const char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
60 static const char none_lbl[] = "none", any_lbl[] = "any";
61 static const char base_lbl[] = "base", sys_lbl[] = "sys";
63 enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
64 /* Default is to apply to as much as possible. */
65 enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
66 int ord = 1, gen = 1;
68 /* What usage? */
69 if (MATCH (dfn_lbl, spec))
70 usage = DINFO_USAGE_DFN;
71 else if (MATCH (dir_lbl, spec))
72 usage = DINFO_USAGE_DIR_USE;
73 else if (MATCH (ind_lbl, spec))
74 usage = DINFO_USAGE_IND_USE;
76 /* Generics or not? */
77 if (MATCH (ord_lbl, spec))
78 gen = 0;
79 else if (MATCH (gen_lbl, spec))
80 ord = 0;
82 /* What allowable environment? */
83 if (MATCH (none_lbl, spec))
84 files = DINFO_STRUCT_FILE_NONE;
85 else if (MATCH (any_lbl, spec))
86 files = DINFO_STRUCT_FILE_ANY;
87 else if (MATCH (sys_lbl, spec))
88 files = DINFO_STRUCT_FILE_SYS;
89 else if (MATCH (base_lbl, spec))
90 files = DINFO_STRUCT_FILE_BASE;
91 else
92 error_at (loc,
93 "argument %qs to %<-femit-struct-debug-detailed%> "
94 "not recognized",
95 spec);
97 /* Effect the specification. */
98 if (usage == DINFO_USAGE_NUM_ENUMS)
100 if (ord)
102 opts->x_debug_struct_ordinary[DINFO_USAGE_DFN] = files;
103 opts->x_debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
104 opts->x_debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
106 if (gen)
108 opts->x_debug_struct_generic[DINFO_USAGE_DFN] = files;
109 opts->x_debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
110 opts->x_debug_struct_generic[DINFO_USAGE_IND_USE] = files;
113 else
115 if (ord)
116 opts->x_debug_struct_ordinary[usage] = files;
117 if (gen)
118 opts->x_debug_struct_generic[usage] = files;
121 if (*spec == ',')
122 set_struct_debug_option (opts, loc, spec+1);
123 else
125 /* No more -femit-struct-debug-detailed specifications.
126 Do final checks. */
127 if (*spec != '\0')
128 error_at (loc,
129 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
130 spec);
131 if (opts->x_debug_struct_ordinary[DINFO_USAGE_DIR_USE]
132 < opts->x_debug_struct_ordinary[DINFO_USAGE_IND_USE]
133 || opts->x_debug_struct_generic[DINFO_USAGE_DIR_USE]
134 < opts->x_debug_struct_generic[DINFO_USAGE_IND_USE])
135 error_at (loc,
136 "%<-femit-struct-debug-detailed=dir:...%> must allow "
137 "at least as much as "
138 "%<-femit-struct-debug-detailed=ind:...%>");
142 /* Strip off a legitimate source ending from the input string NAME of
143 length LEN. Rather than having to know the names used by all of
144 our front ends, we strip off an ending of a period followed by
145 up to five characters. (Java uses ".class".) */
147 void
148 strip_off_ending (char *name, int len)
150 int i;
151 for (i = 2; i < 6 && len > i; i++)
153 if (name[len - i] == '.')
155 name[len - i] = '\0';
156 break;
161 /* Find the base name of a path, stripping off both directories and
162 a single final extension. */
164 base_of_path (const char *path, const char **base_out)
166 const char *base = path;
167 const char *dot = 0;
168 const char *p = path;
169 char c = *p;
170 while (c)
172 if (IS_DIR_SEPARATOR (c))
174 base = p + 1;
175 dot = 0;
177 else if (c == '.')
178 dot = p;
179 c = *++p;
181 if (!dot)
182 dot = p;
183 *base_out = base;
184 return dot - base;
187 /* What to print when a switch has no documentation. */
188 static const char undocumented_msg[] = N_("This switch lacks documentation");
190 typedef char *char_p; /* For DEF_VEC_P. */
192 static void handle_param (struct gcc_options *opts,
193 struct gcc_options *opts_set, location_t loc,
194 const char *carg);
195 static void set_debug_level (enum debug_info_type type, int extended,
196 const char *arg, struct gcc_options *opts,
197 struct gcc_options *opts_set,
198 location_t loc);
199 static void set_fast_math_flags (struct gcc_options *opts, int set);
200 static void decode_d_option (const char *arg, struct gcc_options *opts,
201 location_t loc, diagnostic_context *dc);
202 static void set_unsafe_math_optimizations_flags (struct gcc_options *opts,
203 int set);
204 static void enable_warning_as_error (const char *arg, int value,
205 unsigned int lang_mask,
206 const struct cl_option_handlers *handlers,
207 struct gcc_options *opts,
208 struct gcc_options *opts_set,
209 location_t loc,
210 diagnostic_context *dc);
212 /* Handle a back-end option; arguments and return value as for
213 handle_option. */
215 bool
216 target_handle_option (struct gcc_options *opts,
217 struct gcc_options *opts_set,
218 const struct cl_decoded_option *decoded,
219 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
220 location_t loc,
221 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED,
222 diagnostic_context *dc)
224 gcc_assert (dc == global_dc);
225 gcc_assert (kind == DK_UNSPECIFIED);
226 return targetm_common.handle_option (opts, opts_set, decoded, loc);
229 /* Add comma-separated strings to a char_p vector. */
231 static void
232 add_comma_separated_to_vector (void **pvec, const char *arg)
234 char *tmp;
235 char *r;
236 char *w;
237 char *token_start;
238 vec<char_p> *v = (vec<char_p> *) *pvec;
240 vec_check_alloc (v, 1);
242 /* We never free this string. */
243 tmp = xstrdup (arg);
245 r = tmp;
246 w = tmp;
247 token_start = tmp;
249 while (*r != '\0')
251 if (*r == ',')
253 *w++ = '\0';
254 ++r;
255 v->safe_push (token_start);
256 token_start = w;
258 if (*r == '\\' && r[1] == ',')
260 *w++ = ',';
261 r += 2;
263 else
264 *w++ = *r++;
266 if (*token_start != '\0')
267 v->safe_push (token_start);
269 *pvec = v;
272 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
274 void
275 init_options_struct (struct gcc_options *opts, struct gcc_options *opts_set)
277 size_t num_params = get_num_compiler_params ();
279 gcc_obstack_init (&opts_obstack);
281 *opts = global_options_init;
283 if (opts_set)
284 memset (opts_set, 0, sizeof (*opts_set));
286 opts->x_param_values = XNEWVEC (int, num_params);
288 if (opts_set)
289 opts_set->x_param_values = XCNEWVEC (int, num_params);
291 init_param_values (opts->x_param_values);
293 /* Initialize whether `char' is signed. */
294 opts->x_flag_signed_char = DEFAULT_SIGNED_CHAR;
295 /* Set this to a special "uninitialized" value. The actual default
296 is set after target options have been processed. */
297 opts->x_flag_short_enums = 2;
299 /* Initialize target_flags before default_options_optimization
300 so the latter can modify it. */
301 opts->x_target_flags = targetm_common.default_target_flags;
303 /* Some targets have ABI-specified unwind tables. */
304 opts->x_flag_unwind_tables = targetm_common.unwind_tables_default;
306 /* Some targets have other target-specific initialization. */
307 targetm_common.option_init_struct (opts);
310 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
311 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
312 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
313 mask LANG_MASK and option handlers HANDLERS. */
315 static void
316 maybe_default_option (struct gcc_options *opts,
317 struct gcc_options *opts_set,
318 const struct default_options *default_opt,
319 int level, bool size, bool fast, bool debug,
320 unsigned int lang_mask,
321 const struct cl_option_handlers *handlers,
322 location_t loc,
323 diagnostic_context *dc)
325 const struct cl_option *option = &cl_options[default_opt->opt_index];
326 bool enabled;
328 if (size)
329 gcc_assert (level == 2);
330 if (fast)
331 gcc_assert (level == 3);
332 if (debug)
333 gcc_assert (level == 1);
335 switch (default_opt->levels)
337 case OPT_LEVELS_ALL:
338 enabled = true;
339 break;
341 case OPT_LEVELS_0_ONLY:
342 enabled = (level == 0);
343 break;
345 case OPT_LEVELS_1_PLUS:
346 enabled = (level >= 1);
347 break;
349 case OPT_LEVELS_1_PLUS_SPEED_ONLY:
350 enabled = (level >= 1 && !size && !debug);
351 break;
353 case OPT_LEVELS_1_PLUS_NOT_DEBUG:
354 enabled = (level >= 1 && !debug);
355 break;
357 case OPT_LEVELS_2_PLUS:
358 enabled = (level >= 2);
359 break;
361 case OPT_LEVELS_2_PLUS_SPEED_ONLY:
362 enabled = (level >= 2 && !size && !debug);
363 break;
365 case OPT_LEVELS_3_PLUS:
366 enabled = (level >= 3);
367 break;
369 case OPT_LEVELS_3_PLUS_AND_SIZE:
370 enabled = (level >= 3 || size);
371 break;
373 case OPT_LEVELS_SIZE:
374 enabled = size;
375 break;
377 case OPT_LEVELS_FAST:
378 enabled = fast;
379 break;
381 case OPT_LEVELS_NONE:
382 default:
383 gcc_unreachable ();
386 if (enabled)
387 handle_generated_option (opts, opts_set, default_opt->opt_index,
388 default_opt->arg, default_opt->value,
389 lang_mask, DK_UNSPECIFIED, loc,
390 handlers, dc);
391 else if (default_opt->arg == NULL
392 && !option->cl_reject_negative)
393 handle_generated_option (opts, opts_set, default_opt->opt_index,
394 default_opt->arg, !default_opt->value,
395 lang_mask, DK_UNSPECIFIED, loc,
396 handlers, dc);
399 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
400 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
401 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
402 language mask LANG_MASK and option handlers HANDLERS. */
404 static void
405 maybe_default_options (struct gcc_options *opts,
406 struct gcc_options *opts_set,
407 const struct default_options *default_opts,
408 int level, bool size, bool fast, bool debug,
409 unsigned int lang_mask,
410 const struct cl_option_handlers *handlers,
411 location_t loc,
412 diagnostic_context *dc)
414 size_t i;
416 for (i = 0; default_opts[i].levels != OPT_LEVELS_NONE; i++)
417 maybe_default_option (opts, opts_set, &default_opts[i],
418 level, size, fast, debug,
419 lang_mask, handlers, loc, dc);
422 /* Table of options enabled by default at different levels. */
424 static const struct default_options default_options_table[] =
426 /* -O1 optimizations. */
427 { OPT_LEVELS_1_PLUS, OPT_fdefer_pop, NULL, 1 },
428 #ifdef DELAY_SLOTS
429 { OPT_LEVELS_1_PLUS, OPT_fdelayed_branch, NULL, 1 },
430 #endif
431 { OPT_LEVELS_1_PLUS, OPT_fguess_branch_probability, NULL, 1 },
432 { OPT_LEVELS_1_PLUS, OPT_fcprop_registers, NULL, 1 },
433 { OPT_LEVELS_1_PLUS, OPT_fforward_propagate, NULL, 1 },
434 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fif_conversion, NULL, 1 },
435 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fif_conversion2, NULL, 1 },
436 { OPT_LEVELS_1_PLUS, OPT_fipa_pure_const, NULL, 1 },
437 { OPT_LEVELS_1_PLUS, OPT_fipa_reference, NULL, 1 },
438 { OPT_LEVELS_1_PLUS, OPT_fipa_profile, NULL, 1 },
439 { OPT_LEVELS_1_PLUS, OPT_fmerge_constants, NULL, 1 },
440 { OPT_LEVELS_1_PLUS, OPT_fshrink_wrap, NULL, 1 },
441 { OPT_LEVELS_1_PLUS, OPT_fsplit_wide_types, NULL, 1 },
442 { OPT_LEVELS_1_PLUS, OPT_ftree_ccp, NULL, 1 },
443 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_bit_ccp, NULL, 1 },
444 { OPT_LEVELS_1_PLUS, OPT_ftree_dce, NULL, 1 },
445 { OPT_LEVELS_1_PLUS, OPT_ftree_dominator_opts, NULL, 1 },
446 { OPT_LEVELS_1_PLUS, OPT_ftree_dse, NULL, 1 },
447 { OPT_LEVELS_1_PLUS, OPT_ftree_ter, NULL, 1 },
448 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_sra, NULL, 1 },
449 { OPT_LEVELS_1_PLUS, OPT_ftree_copyrename, NULL, 1 },
450 { OPT_LEVELS_1_PLUS, OPT_ftree_fre, NULL, 1 },
451 { OPT_LEVELS_1_PLUS, OPT_ftree_copy_prop, NULL, 1 },
452 { OPT_LEVELS_1_PLUS, OPT_ftree_sink, NULL, 1 },
453 { OPT_LEVELS_1_PLUS, OPT_ftree_ch, NULL, 1 },
454 { OPT_LEVELS_1_PLUS, OPT_fcombine_stack_adjustments, NULL, 1 },
455 { OPT_LEVELS_1_PLUS, OPT_fcompare_elim, NULL, 1 },
456 { OPT_LEVELS_1_PLUS, OPT_ftree_slsr, NULL, 1 },
457 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fbranch_count_reg, NULL, 1 },
458 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fmove_loop_invariants, NULL, 1 },
459 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_pta, NULL, 1 },
460 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fssa_phiopt, NULL, 1 },
462 /* -O2 optimizations. */
463 { OPT_LEVELS_2_PLUS, OPT_finline_small_functions, NULL, 1 },
464 { OPT_LEVELS_2_PLUS, OPT_findirect_inlining, NULL, 1 },
465 { OPT_LEVELS_2_PLUS, OPT_fpartial_inlining, NULL, 1 },
466 { OPT_LEVELS_2_PLUS, OPT_fthread_jumps, NULL, 1 },
467 { OPT_LEVELS_2_PLUS, OPT_fcrossjumping, NULL, 1 },
468 { OPT_LEVELS_2_PLUS, OPT_foptimize_sibling_calls, NULL, 1 },
469 { OPT_LEVELS_2_PLUS, OPT_fcse_follow_jumps, NULL, 1 },
470 { OPT_LEVELS_2_PLUS, OPT_fgcse, NULL, 1 },
471 { OPT_LEVELS_2_PLUS, OPT_fexpensive_optimizations, NULL, 1 },
472 { OPT_LEVELS_2_PLUS, OPT_frerun_cse_after_loop, NULL, 1 },
473 { OPT_LEVELS_2_PLUS, OPT_fcaller_saves, NULL, 1 },
474 { OPT_LEVELS_2_PLUS, OPT_fpeephole2, NULL, 1 },
475 #ifdef INSN_SCHEDULING
476 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
477 { OPT_LEVELS_2_PLUS_SPEED_ONLY, OPT_fschedule_insns, NULL, 1 },
478 { OPT_LEVELS_2_PLUS, OPT_fschedule_insns2, NULL, 1 },
479 #endif
480 { OPT_LEVELS_2_PLUS, OPT_fstrict_aliasing, NULL, 1 },
481 { OPT_LEVELS_2_PLUS, OPT_fstrict_overflow, NULL, 1 },
482 { OPT_LEVELS_2_PLUS, OPT_freorder_blocks, NULL, 1 },
483 { OPT_LEVELS_2_PLUS, OPT_freorder_functions, NULL, 1 },
484 { OPT_LEVELS_2_PLUS, OPT_ftree_vrp, NULL, 1 },
485 { OPT_LEVELS_2_PLUS, OPT_ftree_builtin_call_dce, NULL, 1 },
486 { OPT_LEVELS_2_PLUS, OPT_ftree_pre, NULL, 1 },
487 { OPT_LEVELS_2_PLUS, OPT_ftree_switch_conversion, NULL, 1 },
488 { OPT_LEVELS_2_PLUS, OPT_fipa_cp, NULL, 1 },
489 { OPT_LEVELS_2_PLUS, OPT_fdevirtualize, NULL, 1 },
490 { OPT_LEVELS_2_PLUS, OPT_fdevirtualize_speculatively, NULL, 1 },
491 { OPT_LEVELS_2_PLUS, OPT_fipa_sra, NULL, 1 },
492 { OPT_LEVELS_2_PLUS, OPT_falign_loops, NULL, 1 },
493 { OPT_LEVELS_2_PLUS, OPT_falign_jumps, NULL, 1 },
494 { OPT_LEVELS_2_PLUS, OPT_falign_labels, NULL, 1 },
495 { OPT_LEVELS_2_PLUS, OPT_falign_functions, NULL, 1 },
496 { OPT_LEVELS_2_PLUS, OPT_ftree_tail_merge, NULL, 1 },
497 { OPT_LEVELS_2_PLUS, OPT_fvect_cost_model_, NULL, VECT_COST_MODEL_CHEAP },
498 { OPT_LEVELS_2_PLUS_SPEED_ONLY, OPT_foptimize_strlen, NULL, 1 },
499 { OPT_LEVELS_2_PLUS, OPT_fhoist_adjacent_loads, NULL, 1 },
500 { OPT_LEVELS_2_PLUS, OPT_fisolate_erroneous_paths_dereference, NULL, 1 },
501 { OPT_LEVELS_2_PLUS, OPT_fuse_caller_save, NULL, 1 },
503 /* -O3 optimizations. */
504 { OPT_LEVELS_3_PLUS, OPT_ftree_loop_distribute_patterns, NULL, 1 },
505 { OPT_LEVELS_3_PLUS, OPT_fpredictive_commoning, NULL, 1 },
506 /* Inlining of functions reducing size is a good idea with -Os
507 regardless of them being declared inline. */
508 { OPT_LEVELS_3_PLUS_AND_SIZE, OPT_finline_functions, NULL, 1 },
509 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_finline_functions_called_once, NULL, 1 },
510 { OPT_LEVELS_3_PLUS, OPT_funswitch_loops, NULL, 1 },
511 { OPT_LEVELS_3_PLUS, OPT_fgcse_after_reload, NULL, 1 },
512 { OPT_LEVELS_3_PLUS, OPT_ftree_loop_vectorize, NULL, 1 },
513 { OPT_LEVELS_3_PLUS, OPT_ftree_slp_vectorize, NULL, 1 },
514 { OPT_LEVELS_3_PLUS, OPT_fvect_cost_model_, NULL, VECT_COST_MODEL_DYNAMIC },
515 { OPT_LEVELS_3_PLUS, OPT_fipa_cp_clone, NULL, 1 },
516 { OPT_LEVELS_3_PLUS, OPT_ftree_partial_pre, NULL, 1 },
518 /* -Ofast adds optimizations to -O3. */
519 { OPT_LEVELS_FAST, OPT_ffast_math, NULL, 1 },
521 { OPT_LEVELS_NONE, 0, NULL, 0 }
524 /* Default the options in OPTS and OPTS_SET based on the optimization
525 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
526 void
527 default_options_optimization (struct gcc_options *opts,
528 struct gcc_options *opts_set,
529 struct cl_decoded_option *decoded_options,
530 unsigned int decoded_options_count,
531 location_t loc,
532 unsigned int lang_mask,
533 const struct cl_option_handlers *handlers,
534 diagnostic_context *dc)
536 unsigned int i;
537 int opt2;
539 /* Scan to see what optimization level has been specified. That will
540 determine the default value of many flags. */
541 for (i = 1; i < decoded_options_count; i++)
543 struct cl_decoded_option *opt = &decoded_options[i];
544 switch (opt->opt_index)
546 case OPT_O:
547 if (*opt->arg == '\0')
549 opts->x_optimize = 1;
550 opts->x_optimize_size = 0;
551 opts->x_optimize_fast = 0;
552 opts->x_optimize_debug = 0;
554 else
556 const int optimize_val = integral_argument (opt->arg);
557 if (optimize_val == -1)
558 error_at (loc, "argument to %<-O%> should be a non-negative "
559 "integer, %<g%>, %<s%> or %<fast%>");
560 else
562 opts->x_optimize = optimize_val;
563 if ((unsigned int) opts->x_optimize > 255)
564 opts->x_optimize = 255;
565 opts->x_optimize_size = 0;
566 opts->x_optimize_fast = 0;
567 opts->x_optimize_debug = 0;
570 break;
572 case OPT_Os:
573 opts->x_optimize_size = 1;
575 /* Optimizing for size forces optimize to be 2. */
576 opts->x_optimize = 2;
577 opts->x_optimize_fast = 0;
578 opts->x_optimize_debug = 0;
579 break;
581 case OPT_Ofast:
582 /* -Ofast only adds flags to -O3. */
583 opts->x_optimize_size = 0;
584 opts->x_optimize = 3;
585 opts->x_optimize_fast = 1;
586 opts->x_optimize_debug = 0;
587 break;
589 case OPT_Og:
590 /* -Og selects optimization level 1. */
591 opts->x_optimize_size = 0;
592 opts->x_optimize = 1;
593 opts->x_optimize_fast = 0;
594 opts->x_optimize_debug = 1;
595 break;
597 default:
598 /* Ignore other options in this prescan. */
599 break;
603 maybe_default_options (opts, opts_set, default_options_table,
604 opts->x_optimize, opts->x_optimize_size,
605 opts->x_optimize_fast, opts->x_optimize_debug,
606 lang_mask, handlers, loc, dc);
608 /* -O2 param settings. */
609 opt2 = (opts->x_optimize >= 2);
611 /* Track fields in field-sensitive alias analysis. */
612 maybe_set_param_value
613 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE,
614 opt2 ? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE),
615 opts->x_param_values, opts_set->x_param_values);
617 /* For -O1 only do loop invariant motion for very small loops. */
618 maybe_set_param_value
619 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP,
620 opt2 ? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP) : 1000,
621 opts->x_param_values, opts_set->x_param_values);
623 /* At -Ofast, allow store motion to introduce potential race conditions. */
624 maybe_set_param_value
625 (PARAM_ALLOW_STORE_DATA_RACES,
626 opts->x_optimize_fast ? 1
627 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES),
628 opts->x_param_values, opts_set->x_param_values);
630 if (opts->x_optimize_size)
631 /* We want to crossjump as much as possible. */
632 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS, 1,
633 opts->x_param_values, opts_set->x_param_values);
634 else
635 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS,
636 default_param_value (PARAM_MIN_CROSSJUMP_INSNS),
637 opts->x_param_values, opts_set->x_param_values);
639 /* Allow default optimizations to be specified on a per-machine basis. */
640 maybe_default_options (opts, opts_set,
641 targetm_common.option_optimization_table,
642 opts->x_optimize, opts->x_optimize_size,
643 opts->x_optimize_fast, opts->x_optimize_debug,
644 lang_mask, handlers, loc, dc);
647 /* After all options at LOC have been read into OPTS and OPTS_SET,
648 finalize settings of those options and diagnose incompatible
649 combinations. */
650 void
651 finish_options (struct gcc_options *opts, struct gcc_options *opts_set,
652 location_t loc)
654 enum unwind_info_type ui_except;
656 if (opts->x_dump_base_name
657 && ! IS_ABSOLUTE_PATH (opts->x_dump_base_name)
658 && ! opts->x_dump_base_name_prefixed)
660 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
661 OPTS->X_DUMP_DIR_NAME directory. Then try to make
662 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
663 directory, typically the directory to contain the object
664 file. */
665 if (opts->x_dump_dir_name)
666 opts->x_dump_base_name = opts_concat (opts->x_dump_dir_name,
667 opts->x_dump_base_name, NULL);
668 else if (opts->x_aux_base_name
669 && strcmp (opts->x_aux_base_name, HOST_BIT_BUCKET) != 0)
671 const char *aux_base;
673 base_of_path (opts->x_aux_base_name, &aux_base);
674 if (opts->x_aux_base_name != aux_base)
676 int dir_len = aux_base - opts->x_aux_base_name;
677 char *new_dump_base_name
678 = XOBNEWVEC (&opts_obstack, char,
679 strlen (opts->x_dump_base_name) + dir_len + 1);
681 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
682 memcpy (new_dump_base_name, opts->x_aux_base_name, dir_len);
683 /* Append existing OPTS->X_DUMP_BASE_NAME. */
684 strcpy (new_dump_base_name + dir_len, opts->x_dump_base_name);
685 opts->x_dump_base_name = new_dump_base_name;
688 opts->x_dump_base_name_prefixed = true;
691 /* Handle related options for unit-at-a-time, toplevel-reorder, and
692 section-anchors. */
693 if (!opts->x_flag_unit_at_a_time)
695 if (opts->x_flag_section_anchors && opts_set->x_flag_section_anchors)
696 error_at (loc, "section anchors must be disabled when unit-at-a-time "
697 "is disabled");
698 opts->x_flag_section_anchors = 0;
699 if (opts->x_flag_toplevel_reorder == 1)
700 error_at (loc, "toplevel reorder must be disabled when unit-at-a-time "
701 "is disabled");
702 opts->x_flag_toplevel_reorder = 0;
705 if (opts->x_flag_tm && opts->x_flag_non_call_exceptions)
706 sorry ("transactional memory is not supported with non-call exceptions");
708 /* Unless the user has asked for section anchors, we disable toplevel
709 reordering at -O0 to disable transformations that might be surprising
710 to end users and to get -fno-toplevel-reorder tested. */
711 if (!opts->x_optimize
712 && opts->x_flag_toplevel_reorder == 2
713 && !(opts->x_flag_section_anchors && opts_set->x_flag_section_anchors))
715 opts->x_flag_toplevel_reorder = 0;
716 opts->x_flag_section_anchors = 0;
718 if (!opts->x_flag_toplevel_reorder)
720 if (opts->x_flag_section_anchors && opts_set->x_flag_section_anchors)
721 error_at (loc, "section anchors must be disabled when toplevel reorder"
722 " is disabled");
723 opts->x_flag_section_anchors = 0;
726 if (!opts->x_flag_opts_finished)
728 if (opts->x_flag_pie)
729 opts->x_flag_pic = opts->x_flag_pie;
730 if (opts->x_flag_pic && !opts->x_flag_pie)
731 opts->x_flag_shlib = 1;
732 opts->x_flag_opts_finished = true;
735 if (opts->x_optimize == 0)
737 /* Inlining does not work if not optimizing,
738 so force it not to be done. */
739 opts->x_warn_inline = 0;
740 opts->x_flag_no_inline = 1;
743 /* The optimization to partition hot and cold basic blocks into separate
744 sections of the .o and executable files does not work (currently)
745 with exception handling. This is because there is no support for
746 generating unwind info. If opts->x_flag_exceptions is turned on
747 we need to turn off the partitioning optimization. */
749 ui_except = targetm_common.except_unwind_info (opts);
751 if (opts->x_flag_exceptions
752 && opts->x_flag_reorder_blocks_and_partition
753 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))
755 if (opts_set->x_flag_reorder_blocks_and_partition)
756 inform (loc,
757 "-freorder-blocks-and-partition does not work "
758 "with exceptions on this architecture");
759 opts->x_flag_reorder_blocks_and_partition = 0;
760 opts->x_flag_reorder_blocks = 1;
763 /* If user requested unwind info, then turn off the partitioning
764 optimization. */
766 if (opts->x_flag_unwind_tables
767 && !targetm_common.unwind_tables_default
768 && opts->x_flag_reorder_blocks_and_partition
769 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))
771 if (opts_set->x_flag_reorder_blocks_and_partition)
772 inform (loc,
773 "-freorder-blocks-and-partition does not support "
774 "unwind info on this architecture");
775 opts->x_flag_reorder_blocks_and_partition = 0;
776 opts->x_flag_reorder_blocks = 1;
779 /* If the target requested unwind info, then turn off the partitioning
780 optimization with a different message. Likewise, if the target does not
781 support named sections. */
783 if (opts->x_flag_reorder_blocks_and_partition
784 && (!targetm_common.have_named_sections
785 || (opts->x_flag_unwind_tables
786 && targetm_common.unwind_tables_default
787 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))))
789 if (opts_set->x_flag_reorder_blocks_and_partition)
790 inform (loc,
791 "-freorder-blocks-and-partition does not work "
792 "on this architecture");
793 opts->x_flag_reorder_blocks_and_partition = 0;
794 opts->x_flag_reorder_blocks = 1;
797 if (opts->x_flag_reorder_blocks_and_partition
798 && !opts_set->x_flag_reorder_functions)
799 opts->x_flag_reorder_functions = 1;
801 /* Pipelining of outer loops is only possible when general pipelining
802 capabilities are requested. */
803 if (!opts->x_flag_sel_sched_pipelining)
804 opts->x_flag_sel_sched_pipelining_outer_loops = 0;
806 if (opts->x_flag_conserve_stack)
808 maybe_set_param_value (PARAM_LARGE_STACK_FRAME, 100,
809 opts->x_param_values, opts_set->x_param_values);
810 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH, 40,
811 opts->x_param_values, opts_set->x_param_values);
814 if (opts->x_flag_lto)
816 #ifdef ENABLE_LTO
817 opts->x_flag_generate_lto = 1;
819 /* When generating IL, do not operate in whole-program mode.
820 Otherwise, symbols will be privatized too early, causing link
821 errors later. */
822 opts->x_flag_whole_program = 0;
823 #else
824 error_at (loc, "LTO support has not been enabled in this configuration");
825 #endif
826 if (!opts->x_flag_fat_lto_objects
827 && (!HAVE_LTO_PLUGIN
828 || (opts_set->x_flag_use_linker_plugin
829 && !opts->x_flag_use_linker_plugin)))
831 if (opts_set->x_flag_fat_lto_objects)
832 error_at (loc, "-fno-fat-lto-objects are supported only with linker plugin");
833 opts->x_flag_fat_lto_objects = 1;
837 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
838 default value if they choose based on other options. */
839 if (opts->x_flag_split_stack == -1)
840 opts->x_flag_split_stack = 0;
841 else if (opts->x_flag_split_stack)
843 if (!targetm_common.supports_split_stack (true, opts))
845 error_at (loc, "%<-fsplit-stack%> is not supported by "
846 "this compiler configuration");
847 opts->x_flag_split_stack = 0;
851 /* Tune vectorization related parametees according to cost model. */
852 if (opts->x_flag_vect_cost_model == VECT_COST_MODEL_CHEAP)
854 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS,
855 6, opts->x_param_values, opts_set->x_param_values);
856 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS,
857 0, opts->x_param_values, opts_set->x_param_values);
858 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT,
859 0, opts->x_param_values, opts_set->x_param_values);
862 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
863 is disabled. */
864 if ((!opts->x_flag_tree_loop_vectorize && !opts->x_flag_tree_slp_vectorize)
865 || !opts->x_flag_tree_loop_if_convert)
866 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK, 0,
867 opts->x_param_values, opts_set->x_param_values);
869 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
870 if (opts->x_dwarf_split_debug_info)
871 opts->x_debug_generate_pub_sections = 2;
873 /* Userspace and kernel ASan conflict with each other and with TSan. */
875 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
876 && (flag_sanitize & SANITIZE_KERNEL_ADDRESS))
877 error_at (loc,
878 "-fsanitize=address is incompatible with "
879 "-fsanitize=kernel-address");
881 if ((flag_sanitize & SANITIZE_ADDRESS)
882 && (flag_sanitize & SANITIZE_THREAD))
883 error_at (loc,
884 "-fsanitize=address and -fsanitize=kernel-address "
885 "are incompatible with -fsanitize=thread");
888 #define LEFT_COLUMN 27
890 /* Output ITEM, of length ITEM_WIDTH, in the left column,
891 followed by word-wrapped HELP in a second column. */
892 static void
893 wrap_help (const char *help,
894 const char *item,
895 unsigned int item_width,
896 unsigned int columns)
898 unsigned int col_width = LEFT_COLUMN;
899 unsigned int remaining, room, len;
901 remaining = strlen (help);
905 room = columns - 3 - MAX (col_width, item_width);
906 if (room > columns)
907 room = 0;
908 len = remaining;
910 if (room < len)
912 unsigned int i;
914 for (i = 0; help[i]; i++)
916 if (i >= room && len != remaining)
917 break;
918 if (help[i] == ' ')
919 len = i;
920 else if ((help[i] == '-' || help[i] == '/')
921 && help[i + 1] != ' '
922 && i > 0 && ISALPHA (help[i - 1]))
923 len = i + 1;
927 printf (" %-*.*s %.*s\n", col_width, item_width, item, len, help);
928 item_width = 0;
929 while (help[len] == ' ')
930 len++;
931 help += len;
932 remaining -= len;
934 while (remaining);
937 /* Print help for a specific front-end, etc. */
938 static void
939 print_filtered_help (unsigned int include_flags,
940 unsigned int exclude_flags,
941 unsigned int any_flags,
942 unsigned int columns,
943 struct gcc_options *opts,
944 unsigned int lang_mask)
946 unsigned int i;
947 const char *help;
948 bool found = false;
949 bool displayed = false;
951 if (include_flags == CL_PARAMS)
953 for (i = 0; i < LAST_PARAM; i++)
955 const char *param = compiler_params[i].option;
957 help = compiler_params[i].help;
958 if (help == NULL || *help == '\0')
960 if (exclude_flags & CL_UNDOCUMENTED)
961 continue;
962 help = undocumented_msg;
965 /* Get the translation. */
966 help = _(help);
968 wrap_help (help, param, strlen (param), columns);
970 putchar ('\n');
971 return;
974 if (!opts->x_help_printed)
975 opts->x_help_printed = XCNEWVAR (char, cl_options_count);
977 if (!opts->x_help_enum_printed)
978 opts->x_help_enum_printed = XCNEWVAR (char, cl_enums_count);
980 for (i = 0; i < cl_options_count; i++)
982 char new_help[128];
983 const struct cl_option *option = cl_options + i;
984 unsigned int len;
985 const char *opt;
986 const char *tab;
988 if (include_flags == 0
989 || ((option->flags & include_flags) != include_flags))
991 if ((option->flags & any_flags) == 0)
992 continue;
995 /* Skip unwanted switches. */
996 if ((option->flags & exclude_flags) != 0)
997 continue;
999 /* The driver currently prints its own help text. */
1000 if ((option->flags & CL_DRIVER) != 0
1001 && (option->flags & (((1U << cl_lang_count) - 1)
1002 | CL_COMMON | CL_TARGET)) == 0)
1003 continue;
1005 found = true;
1006 /* Skip switches that have already been printed. */
1007 if (opts->x_help_printed[i])
1008 continue;
1010 opts->x_help_printed[i] = true;
1012 help = option->help;
1013 if (help == NULL)
1015 if (exclude_flags & CL_UNDOCUMENTED)
1016 continue;
1017 help = undocumented_msg;
1020 /* Get the translation. */
1021 help = _(help);
1023 /* Find the gap between the name of the
1024 option and its descriptive text. */
1025 tab = strchr (help, '\t');
1026 if (tab)
1028 len = tab - help;
1029 opt = help;
1030 help = tab + 1;
1032 else
1034 opt = option->opt_text;
1035 len = strlen (opt);
1038 /* With the -Q option enabled we change the descriptive text associated
1039 with an option to be an indication of its current setting. */
1040 if (!opts->x_quiet_flag)
1042 void *flag_var = option_flag_var (i, opts);
1044 if (len < (LEFT_COLUMN + 2))
1045 strcpy (new_help, "\t\t");
1046 else
1047 strcpy (new_help, "\t");
1049 if (flag_var != NULL
1050 && option->var_type != CLVC_DEFER)
1052 if (option->flags & CL_JOINED)
1054 if (option->var_type == CLVC_STRING)
1056 if (* (const char **) flag_var != NULL)
1057 snprintf (new_help + strlen (new_help),
1058 sizeof (new_help) - strlen (new_help),
1059 * (const char **) flag_var);
1061 else if (option->var_type == CLVC_ENUM)
1063 const struct cl_enum *e = &cl_enums[option->var_enum];
1064 int value;
1065 const char *arg = NULL;
1067 value = e->get (flag_var);
1068 enum_value_to_arg (e->values, &arg, value, lang_mask);
1069 if (arg == NULL)
1070 arg = _("[default]");
1071 snprintf (new_help + strlen (new_help),
1072 sizeof (new_help) - strlen (new_help),
1073 arg);
1075 else
1076 sprintf (new_help + strlen (new_help),
1077 "%#x", * (int *) flag_var);
1079 else
1080 strcat (new_help, option_enabled (i, opts)
1081 ? _("[enabled]") : _("[disabled]"));
1084 help = new_help;
1087 wrap_help (help, opt, len, columns);
1088 displayed = true;
1090 if (option->var_type == CLVC_ENUM
1091 && opts->x_help_enum_printed[option->var_enum] != 2)
1092 opts->x_help_enum_printed[option->var_enum] = 1;
1095 if (! found)
1097 unsigned int langs = include_flags & CL_LANG_ALL;
1099 if (langs == 0)
1100 printf (_(" No options with the desired characteristics were found\n"));
1101 else
1103 unsigned int i;
1105 /* PR 31349: Tell the user how to see all of the
1106 options supported by a specific front end. */
1107 for (i = 0; (1U << i) < CL_LANG_ALL; i ++)
1108 if ((1U << i) & langs)
1109 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1110 lang_names[i], lang_names[i]);
1114 else if (! displayed)
1115 printf (_(" All options with the desired characteristics have already been displayed\n"));
1117 putchar ('\n');
1119 /* Print details of enumerated option arguments, if those
1120 enumerations have help text headings provided. If no help text
1121 is provided, presume that the possible values are listed in the
1122 help text for the relevant options. */
1123 for (i = 0; i < cl_enums_count; i++)
1125 unsigned int j, pos;
1127 if (opts->x_help_enum_printed[i] != 1)
1128 continue;
1129 if (cl_enums[i].help == NULL)
1130 continue;
1131 printf (" %s\n ", _(cl_enums[i].help));
1132 pos = 4;
1133 for (j = 0; cl_enums[i].values[j].arg != NULL; j++)
1135 unsigned int len = strlen (cl_enums[i].values[j].arg);
1137 if (pos > 4 && pos + 1 + len <= columns)
1139 printf (" %s", cl_enums[i].values[j].arg);
1140 pos += 1 + len;
1142 else
1144 if (pos > 4)
1146 printf ("\n ");
1147 pos = 4;
1149 printf ("%s", cl_enums[i].values[j].arg);
1150 pos += len;
1153 printf ("\n\n");
1154 opts->x_help_enum_printed[i] = 2;
1158 /* Display help for a specified type of option.
1159 The options must have ALL of the INCLUDE_FLAGS set
1160 ANY of the flags in the ANY_FLAGS set
1161 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1162 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1163 static void
1164 print_specific_help (unsigned int include_flags,
1165 unsigned int exclude_flags,
1166 unsigned int any_flags,
1167 struct gcc_options *opts,
1168 unsigned int lang_mask)
1170 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1171 const char * description = NULL;
1172 const char * descrip_extra = "";
1173 size_t i;
1174 unsigned int flag;
1176 /* Sanity check: Make sure that we do not have more
1177 languages than we have bits available to enumerate them. */
1178 gcc_assert ((1U << cl_lang_count) <= CL_MIN_OPTION_CLASS);
1180 /* If we have not done so already, obtain
1181 the desired maximum width of the output. */
1182 if (opts->x_help_columns == 0)
1184 const char *p;
1186 p = getenv ("COLUMNS");
1187 if (p != NULL)
1189 int value = atoi (p);
1191 if (value > 0)
1192 opts->x_help_columns = value;
1195 if (opts->x_help_columns == 0)
1196 /* Use a reasonable default. */
1197 opts->x_help_columns = 80;
1200 /* Decide upon the title for the options that we are going to display. */
1201 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1203 switch (flag & include_flags)
1205 case 0:
1206 case CL_DRIVER:
1207 break;
1209 case CL_TARGET:
1210 description = _("The following options are target specific");
1211 break;
1212 case CL_WARNING:
1213 description = _("The following options control compiler warning messages");
1214 break;
1215 case CL_OPTIMIZATION:
1216 description = _("The following options control optimizations");
1217 break;
1218 case CL_COMMON:
1219 description = _("The following options are language-independent");
1220 break;
1221 case CL_PARAMS:
1222 description = _("The --param option recognizes the following as parameters");
1223 break;
1224 default:
1225 if (i >= cl_lang_count)
1226 break;
1227 if (exclude_flags & all_langs_mask)
1228 description = _("The following options are specific to just the language ");
1229 else
1230 description = _("The following options are supported by the language ");
1231 descrip_extra = lang_names [i];
1232 break;
1236 if (description == NULL)
1238 if (any_flags == 0)
1240 if (include_flags & CL_UNDOCUMENTED)
1241 description = _("The following options are not documented");
1242 else if (include_flags & CL_SEPARATE)
1243 description = _("The following options take separate arguments");
1244 else if (include_flags & CL_JOINED)
1245 description = _("The following options take joined arguments");
1246 else
1248 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1249 include_flags);
1250 return;
1253 else
1255 if (any_flags & all_langs_mask)
1256 description = _("The following options are language-related");
1257 else
1258 description = _("The following options are language-independent");
1262 printf ("%s%s:\n", description, descrip_extra);
1263 print_filtered_help (include_flags, exclude_flags, any_flags,
1264 opts->x_help_columns, opts, lang_mask);
1267 /* Handle target- and language-independent options. Return zero to
1268 generate an "unknown option" message. Only options that need
1269 extra handling need to be listed here; if you simply want
1270 DECODED->value assigned to a variable, it happens automatically. */
1272 bool
1273 common_handle_option (struct gcc_options *opts,
1274 struct gcc_options *opts_set,
1275 const struct cl_decoded_option *decoded,
1276 unsigned int lang_mask, int kind ATTRIBUTE_UNUSED,
1277 location_t loc,
1278 const struct cl_option_handlers *handlers,
1279 diagnostic_context *dc)
1281 size_t scode = decoded->opt_index;
1282 const char *arg = decoded->arg;
1283 int value = decoded->value;
1284 enum opt_code code = (enum opt_code) scode;
1286 gcc_assert (decoded->canonical_option_num_elements <= 2);
1288 switch (code)
1290 case OPT__param:
1291 handle_param (opts, opts_set, loc, arg);
1292 break;
1294 case OPT__help:
1296 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1297 unsigned int undoc_mask;
1298 unsigned int i;
1300 if (lang_mask == CL_DRIVER)
1301 break;;
1303 undoc_mask = ((opts->x_verbose_flag | opts->x_extra_warnings)
1305 : CL_UNDOCUMENTED);
1306 /* First display any single language specific options. */
1307 for (i = 0; i < cl_lang_count; i++)
1308 print_specific_help
1309 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0, opts,
1310 lang_mask);
1311 /* Next display any multi language specific options. */
1312 print_specific_help (0, undoc_mask, all_langs_mask, opts, lang_mask);
1313 /* Then display any remaining, non-language options. */
1314 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1315 if (i != CL_DRIVER)
1316 print_specific_help (i, undoc_mask, 0, opts, lang_mask);
1317 opts->x_exit_after_options = true;
1318 break;
1321 case OPT__target_help:
1322 if (lang_mask == CL_DRIVER)
1323 break;
1325 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0, opts, lang_mask);
1326 opts->x_exit_after_options = true;
1327 break;
1329 case OPT__help_:
1331 const char * a = arg;
1332 unsigned int include_flags = 0;
1333 /* Note - by default we include undocumented options when listing
1334 specific classes. If you only want to see documented options
1335 then add ",^undocumented" to the --help= option. E.g.:
1337 --help=target,^undocumented */
1338 unsigned int exclude_flags = 0;
1340 if (lang_mask == CL_DRIVER)
1341 break;
1343 /* Walk along the argument string, parsing each word in turn.
1344 The format is:
1345 arg = [^]{word}[,{arg}]
1346 word = {optimizers|target|warnings|undocumented|
1347 params|common|<language>} */
1348 while (* a != 0)
1350 static const struct
1352 const char * string;
1353 unsigned int flag;
1355 specifics[] =
1357 { "optimizers", CL_OPTIMIZATION },
1358 { "target", CL_TARGET },
1359 { "warnings", CL_WARNING },
1360 { "undocumented", CL_UNDOCUMENTED },
1361 { "params", CL_PARAMS },
1362 { "joined", CL_JOINED },
1363 { "separate", CL_SEPARATE },
1364 { "common", CL_COMMON },
1365 { NULL, 0 }
1367 unsigned int * pflags;
1368 const char * comma;
1369 unsigned int lang_flag, specific_flag;
1370 unsigned int len;
1371 unsigned int i;
1373 if (* a == '^')
1375 ++ a;
1376 pflags = & exclude_flags;
1378 else
1379 pflags = & include_flags;
1381 comma = strchr (a, ',');
1382 if (comma == NULL)
1383 len = strlen (a);
1384 else
1385 len = comma - a;
1386 if (len == 0)
1388 a = comma + 1;
1389 continue;
1392 /* Check to see if the string matches an option class name. */
1393 for (i = 0, specific_flag = 0; specifics[i].string != NULL; i++)
1394 if (strncasecmp (a, specifics[i].string, len) == 0)
1396 specific_flag = specifics[i].flag;
1397 break;
1400 /* Check to see if the string matches a language name.
1401 Note - we rely upon the alpha-sorted nature of the entries in
1402 the lang_names array, specifically that shorter names appear
1403 before their longer variants. (i.e. C before C++). That way
1404 when we are attempting to match --help=c for example we will
1405 match with C first and not C++. */
1406 for (i = 0, lang_flag = 0; i < cl_lang_count; i++)
1407 if (strncasecmp (a, lang_names[i], len) == 0)
1409 lang_flag = 1U << i;
1410 break;
1413 if (specific_flag != 0)
1415 if (lang_flag == 0)
1416 * pflags |= specific_flag;
1417 else
1419 /* The option's argument matches both the start of a
1420 language name and the start of an option class name.
1421 We have a special case for when the user has
1422 specified "--help=c", but otherwise we have to issue
1423 a warning. */
1424 if (strncasecmp (a, "c", len) == 0)
1425 * pflags |= lang_flag;
1426 else
1427 warning_at (loc, 0,
1428 "--help argument %q.*s is ambiguous, "
1429 "please be more specific",
1430 len, a);
1433 else if (lang_flag != 0)
1434 * pflags |= lang_flag;
1435 else
1436 warning_at (loc, 0,
1437 "unrecognized argument to --help= option: %q.*s",
1438 len, a);
1440 if (comma == NULL)
1441 break;
1442 a = comma + 1;
1445 if (include_flags)
1446 print_specific_help (include_flags, exclude_flags, 0, opts,
1447 lang_mask);
1448 opts->x_exit_after_options = true;
1449 break;
1452 case OPT__version:
1453 if (lang_mask == CL_DRIVER)
1454 break;
1456 opts->x_exit_after_options = true;
1457 break;
1459 case OPT_fsanitize_:
1461 const char *p = arg;
1462 while (*p != 0)
1464 static const struct
1466 const char *const name;
1467 unsigned int flag;
1468 size_t len;
1469 } spec[] =
1471 { "address", SANITIZE_ADDRESS | SANITIZE_USER_ADDRESS,
1472 sizeof "address" - 1 },
1473 { "kernel-address", SANITIZE_ADDRESS | SANITIZE_KERNEL_ADDRESS,
1474 sizeof "kernel-address" - 1 },
1475 { "thread", SANITIZE_THREAD, sizeof "thread" - 1 },
1476 { "leak", SANITIZE_LEAK, sizeof "leak" - 1 },
1477 { "shift", SANITIZE_SHIFT, sizeof "shift" - 1 },
1478 { "integer-divide-by-zero", SANITIZE_DIVIDE,
1479 sizeof "integer-divide-by-zero" - 1 },
1480 { "undefined", SANITIZE_UNDEFINED, sizeof "undefined" - 1 },
1481 { "unreachable", SANITIZE_UNREACHABLE,
1482 sizeof "unreachable" - 1 },
1483 { "vla-bound", SANITIZE_VLA, sizeof "vla-bound" - 1 },
1484 { "return", SANITIZE_RETURN, sizeof "return" - 1 },
1485 { "null", SANITIZE_NULL, sizeof "null" - 1 },
1486 { "signed-integer-overflow", SANITIZE_SI_OVERFLOW,
1487 sizeof "signed-integer-overflow" -1 },
1488 { "bool", SANITIZE_BOOL, sizeof "bool" - 1 },
1489 { "enum", SANITIZE_ENUM, sizeof "enum" - 1 },
1490 { "float-divide-by-zero", SANITIZE_FLOAT_DIVIDE,
1491 sizeof "float-divide-by-zero" - 1 },
1492 { "float-cast-overflow", SANITIZE_FLOAT_CAST,
1493 sizeof "float-cast-overflow" - 1 },
1494 { "bounds", SANITIZE_BOUNDS, sizeof "bounds" - 1 },
1495 { "alignment", SANITIZE_ALIGNMENT, sizeof "alignment" - 1 },
1496 { NULL, 0, 0 }
1498 const char *comma;
1499 size_t len, i;
1500 bool found = false;
1502 comma = strchr (p, ',');
1503 if (comma == NULL)
1504 len = strlen (p);
1505 else
1506 len = comma - p;
1507 if (len == 0)
1509 p = comma + 1;
1510 continue;
1513 /* Check to see if the string matches an option class name. */
1514 for (i = 0; spec[i].name != NULL; ++i)
1515 if (len == spec[i].len
1516 && memcmp (p, spec[i].name, len) == 0)
1518 /* Handle both -fsanitize and -fno-sanitize cases. */
1519 if (value)
1520 flag_sanitize |= spec[i].flag;
1521 else
1522 flag_sanitize &= ~spec[i].flag;
1523 found = true;
1524 break;
1527 if (! found)
1528 error_at (loc,
1529 "unrecognized argument to -fsanitize= option: %q.*s",
1530 (int) len, p);
1532 if (comma == NULL)
1533 break;
1534 p = comma + 1;
1537 /* When instrumenting the pointers, we don't want to remove
1538 the null pointer checks. */
1539 if (flag_sanitize & SANITIZE_NULL)
1540 opts->x_flag_delete_null_pointer_checks = 0;
1542 /* Kernel ASan implies normal ASan but does not yet support
1543 all features. */
1544 if (flag_sanitize & SANITIZE_KERNEL_ADDRESS)
1546 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD, 0,
1547 opts->x_param_values,
1548 opts_set->x_param_values);
1549 maybe_set_param_value (PARAM_ASAN_GLOBALS, 0,
1550 opts->x_param_values,
1551 opts_set->x_param_values);
1552 maybe_set_param_value (PARAM_ASAN_STACK, 0,
1553 opts->x_param_values,
1554 opts_set->x_param_values);
1555 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN, 0,
1556 opts->x_param_values,
1557 opts_set->x_param_values);
1560 break;
1563 case OPT_O:
1564 case OPT_Os:
1565 case OPT_Ofast:
1566 case OPT_Og:
1567 /* Currently handled in a prescan. */
1568 break;
1570 case OPT_Werror:
1571 dc->warning_as_error_requested = value;
1572 break;
1574 case OPT_Werror_:
1575 if (lang_mask == CL_DRIVER)
1576 break;
1578 enable_warning_as_error (arg, value, lang_mask, handlers,
1579 opts, opts_set, loc, dc);
1580 break;
1582 case OPT_Wlarger_than_:
1583 opts->x_larger_than_size = value;
1584 opts->x_warn_larger_than = value != -1;
1585 break;
1587 case OPT_Wfatal_errors:
1588 dc->fatal_errors = value;
1589 break;
1591 case OPT_Wframe_larger_than_:
1592 opts->x_frame_larger_than_size = value;
1593 opts->x_warn_frame_larger_than = value != -1;
1594 break;
1596 case OPT_Wstack_usage_:
1597 opts->x_warn_stack_usage = value;
1598 opts->x_flag_stack_usage_info = value != -1;
1599 break;
1601 case OPT_Wstrict_aliasing:
1602 set_Wstrict_aliasing (opts, value);
1603 break;
1605 case OPT_Wstrict_overflow:
1606 opts->x_warn_strict_overflow = (value
1607 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1608 : 0);
1609 break;
1611 case OPT_Wsystem_headers:
1612 dc->dc_warn_system_headers = value;
1613 break;
1615 case OPT_aux_info:
1616 opts->x_flag_gen_aux_info = 1;
1617 break;
1619 case OPT_auxbase_strip:
1621 char *tmp = xstrdup (arg);
1622 strip_off_ending (tmp, strlen (tmp));
1623 if (tmp[0])
1624 opts->x_aux_base_name = tmp;
1625 else
1626 free (tmp);
1628 break;
1630 case OPT_d:
1631 decode_d_option (arg, opts, loc, dc);
1632 break;
1634 case OPT_fcall_used_:
1635 case OPT_fcall_saved_:
1636 /* Deferred. */
1637 break;
1639 case OPT_fdbg_cnt_:
1640 case OPT_fdbg_cnt_list:
1641 /* Deferred. */
1642 break;
1644 case OPT_fdebug_prefix_map_:
1645 /* Deferred. */
1646 break;
1648 case OPT_fdiagnostics_show_location_:
1649 diagnostic_prefixing_rule (dc) = (diagnostic_prefixing_rule_t) value;
1650 break;
1652 case OPT_fdiagnostics_show_caret:
1653 dc->show_caret = value;
1654 break;
1656 case OPT_fdiagnostics_color_:
1657 pp_show_color (dc->printer)
1658 = colorize_init ((diagnostic_color_rule_t) value);
1659 break;
1661 case OPT_fdiagnostics_show_option:
1662 dc->show_option_requested = value;
1663 break;
1665 case OPT_fdump_:
1666 /* Deferred. */
1667 break;
1669 case OPT_ffast_math:
1670 set_fast_math_flags (opts, value);
1671 break;
1673 case OPT_funsafe_math_optimizations:
1674 set_unsafe_math_optimizations_flags (opts, value);
1675 break;
1677 case OPT_ffixed_:
1678 /* Deferred. */
1679 break;
1681 case OPT_finline_limit_:
1682 set_param_value ("max-inline-insns-single", value / 2,
1683 opts->x_param_values, opts_set->x_param_values);
1684 set_param_value ("max-inline-insns-auto", value / 2,
1685 opts->x_param_values, opts_set->x_param_values);
1686 break;
1688 case OPT_finstrument_functions_exclude_function_list_:
1689 add_comma_separated_to_vector
1690 (&opts->x_flag_instrument_functions_exclude_functions, arg);
1691 break;
1693 case OPT_finstrument_functions_exclude_file_list_:
1694 add_comma_separated_to_vector
1695 (&opts->x_flag_instrument_functions_exclude_files, arg);
1696 break;
1698 case OPT_fmessage_length_:
1699 pp_set_line_maximum_length (dc->printer, value);
1700 diagnostic_set_caret_max_width (dc, value);
1701 break;
1703 case OPT_fopt_info:
1704 case OPT_fopt_info_:
1705 /* Deferred. */
1706 break;
1708 case OPT_fpack_struct_:
1709 if (value <= 0 || (value & (value - 1)) || value > 16)
1710 error_at (loc,
1711 "structure alignment must be a small power of two, not %d",
1712 value);
1713 else
1714 opts->x_initial_max_fld_align = value;
1715 break;
1717 case OPT_fplugin_:
1718 case OPT_fplugin_arg_:
1719 /* Deferred. */
1720 break;
1722 case OPT_fprofile_use_:
1723 opts->x_profile_data_prefix = xstrdup (arg);
1724 opts->x_flag_profile_use = true;
1725 value = true;
1726 /* No break here - do -fprofile-use processing. */
1727 case OPT_fprofile_use:
1728 if (!opts_set->x_flag_branch_probabilities)
1729 opts->x_flag_branch_probabilities = value;
1730 if (!opts_set->x_flag_profile_values)
1731 opts->x_flag_profile_values = value;
1732 if (!opts_set->x_flag_unroll_loops)
1733 opts->x_flag_unroll_loops = value;
1734 if (!opts_set->x_flag_peel_loops)
1735 opts->x_flag_peel_loops = value;
1736 if (!opts_set->x_flag_tracer)
1737 opts->x_flag_tracer = value;
1738 if (!opts_set->x_flag_value_profile_transformations)
1739 opts->x_flag_value_profile_transformations = value;
1740 if (!opts_set->x_flag_inline_functions)
1741 opts->x_flag_inline_functions = value;
1742 if (!opts_set->x_flag_ipa_cp)
1743 opts->x_flag_ipa_cp = value;
1744 if (!opts_set->x_flag_ipa_cp_clone
1745 && value && opts->x_flag_ipa_cp)
1746 opts->x_flag_ipa_cp_clone = value;
1747 if (!opts_set->x_flag_predictive_commoning)
1748 opts->x_flag_predictive_commoning = value;
1749 if (!opts_set->x_flag_unswitch_loops)
1750 opts->x_flag_unswitch_loops = value;
1751 if (!opts_set->x_flag_gcse_after_reload)
1752 opts->x_flag_gcse_after_reload = value;
1753 if (!opts_set->x_flag_tree_loop_vectorize
1754 && !opts_set->x_flag_tree_vectorize)
1755 opts->x_flag_tree_loop_vectorize = value;
1756 if (!opts_set->x_flag_tree_slp_vectorize
1757 && !opts_set->x_flag_tree_vectorize)
1758 opts->x_flag_tree_slp_vectorize = value;
1759 if (!opts_set->x_flag_vect_cost_model)
1760 opts->x_flag_vect_cost_model = VECT_COST_MODEL_DYNAMIC;
1761 if (!opts_set->x_flag_tree_loop_distribute_patterns)
1762 opts->x_flag_tree_loop_distribute_patterns = value;
1763 if (!opts_set->x_flag_profile_reorder_functions)
1764 opts->x_flag_profile_reorder_functions = value;
1765 /* Indirect call profiling should do all useful transformations
1766 speculative devirtualization does. */
1767 if (!opts_set->x_flag_devirtualize_speculatively
1768 && opts->x_flag_value_profile_transformations)
1769 opts->x_flag_devirtualize_speculatively = false;
1770 break;
1772 case OPT_fprofile_generate_:
1773 opts->x_profile_data_prefix = xstrdup (arg);
1774 value = true;
1775 /* No break here - do -fprofile-generate processing. */
1776 case OPT_fprofile_generate:
1777 if (!opts_set->x_profile_arc_flag)
1778 opts->x_profile_arc_flag = value;
1779 if (!opts_set->x_flag_profile_values)
1780 opts->x_flag_profile_values = value;
1781 if (!opts_set->x_flag_inline_functions)
1782 opts->x_flag_inline_functions = value;
1783 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
1784 quadratic. Disable the pass until better memory representation
1785 is done. */
1786 if (!opts_set->x_flag_ipa_reference)
1787 opts->x_flag_ipa_reference = false;
1788 break;
1790 case OPT_ftree_vectorize:
1791 if (!opts_set->x_flag_tree_loop_vectorize)
1792 opts->x_flag_tree_loop_vectorize = value;
1793 if (!opts_set->x_flag_tree_slp_vectorize)
1794 opts->x_flag_tree_slp_vectorize = value;
1795 break;
1796 case OPT_fshow_column:
1797 dc->show_column = value;
1798 break;
1800 case OPT_frandom_seed:
1801 /* The real switch is -fno-random-seed. */
1802 if (value)
1803 return false;
1804 /* Deferred. */
1805 break;
1807 case OPT_frandom_seed_:
1808 /* Deferred. */
1809 break;
1811 case OPT_fsched_verbose_:
1812 #ifdef INSN_SCHEDULING
1813 /* Handled with Var in common.opt. */
1814 break;
1815 #else
1816 return false;
1817 #endif
1819 case OPT_fsched_stalled_insns_:
1820 opts->x_flag_sched_stalled_insns = value;
1821 if (opts->x_flag_sched_stalled_insns == 0)
1822 opts->x_flag_sched_stalled_insns = -1;
1823 break;
1825 case OPT_fsched_stalled_insns_dep_:
1826 opts->x_flag_sched_stalled_insns_dep = value;
1827 break;
1829 case OPT_fstack_check_:
1830 if (!strcmp (arg, "no"))
1831 opts->x_flag_stack_check = NO_STACK_CHECK;
1832 else if (!strcmp (arg, "generic"))
1833 /* This is the old stack checking method. */
1834 opts->x_flag_stack_check = STACK_CHECK_BUILTIN
1835 ? FULL_BUILTIN_STACK_CHECK
1836 : GENERIC_STACK_CHECK;
1837 else if (!strcmp (arg, "specific"))
1838 /* This is the new stack checking method. */
1839 opts->x_flag_stack_check = STACK_CHECK_BUILTIN
1840 ? FULL_BUILTIN_STACK_CHECK
1841 : STACK_CHECK_STATIC_BUILTIN
1842 ? STATIC_BUILTIN_STACK_CHECK
1843 : GENERIC_STACK_CHECK;
1844 else
1845 warning_at (loc, 0, "unknown stack check parameter \"%s\"", arg);
1846 break;
1848 case OPT_fstack_limit:
1849 /* The real switch is -fno-stack-limit. */
1850 if (value)
1851 return false;
1852 /* Deferred. */
1853 break;
1855 case OPT_fstack_limit_register_:
1856 case OPT_fstack_limit_symbol_:
1857 /* Deferred. */
1858 break;
1860 case OPT_fstack_usage:
1861 opts->x_flag_stack_usage = value;
1862 opts->x_flag_stack_usage_info = value != 0;
1863 break;
1865 case OPT_g:
1866 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg, opts, opts_set,
1867 loc);
1868 break;
1870 case OPT_gcoff:
1871 set_debug_level (SDB_DEBUG, false, arg, opts, opts_set, loc);
1872 break;
1874 case OPT_gdwarf:
1875 if (arg && strlen (arg) != 0)
1877 error_at (loc, "%<-gdwarf%s%> is ambiguous; "
1878 "use %<-gdwarf-%s%> for DWARF version "
1879 "or %<-gdwarf -g%s%> for debug level", arg, arg, arg);
1880 break;
1882 else
1883 value = opts->x_dwarf_version;
1885 /* FALLTHRU */
1886 case OPT_gdwarf_:
1887 if (value < 2 || value > 4)
1888 error_at (loc, "dwarf version %d is not supported", value);
1889 else
1890 opts->x_dwarf_version = value;
1891 set_debug_level (DWARF2_DEBUG, false, "", opts, opts_set, loc);
1892 break;
1894 case OPT_gsplit_dwarf:
1895 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, "", opts, opts_set,
1896 loc);
1897 break;
1899 case OPT_ggdb:
1900 set_debug_level (NO_DEBUG, 2, arg, opts, opts_set, loc);
1901 break;
1903 case OPT_gstabs:
1904 case OPT_gstabs_:
1905 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg, opts, opts_set,
1906 loc);
1907 break;
1909 case OPT_gvms:
1910 set_debug_level (VMS_DEBUG, false, arg, opts, opts_set, loc);
1911 break;
1913 case OPT_gxcoff:
1914 case OPT_gxcoff_:
1915 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg, opts, opts_set,
1916 loc);
1917 break;
1919 case OPT_gz:
1920 case OPT_gz_:
1921 /* Handled completely via specs. */
1922 break;
1924 case OPT_pedantic_errors:
1925 dc->pedantic_errors = 1;
1926 control_warning_option (OPT_Wpedantic, DK_ERROR, value,
1927 loc, lang_mask,
1928 handlers, opts, opts_set,
1929 dc);
1930 break;
1932 case OPT_flto:
1933 opts->x_flag_lto = value ? "" : NULL;
1934 break;
1936 case OPT_w:
1937 dc->dc_inhibit_warnings = true;
1938 break;
1940 case OPT_fmax_errors_:
1941 dc->max_errors = value;
1942 break;
1944 case OPT_fuse_ld_bfd:
1945 case OPT_fuse_ld_gold:
1946 case OPT_fuse_linker_plugin:
1947 /* No-op. Used by the driver and passed to us because it starts with f.*/
1948 break;
1950 case OPT_fwrapv:
1951 if (value)
1952 opts->x_flag_trapv = 0;
1953 break;
1955 case OPT_ftrapv:
1956 if (value)
1957 opts->x_flag_wrapv = 0;
1958 break;
1960 default:
1961 /* If the flag was handled in a standard way, assume the lack of
1962 processing here is intentional. */
1963 gcc_assert (option_flag_var (scode, opts));
1964 break;
1967 common_handle_option_auto (opts, opts_set, decoded, lang_mask, kind,
1968 loc, handlers, dc);
1969 return true;
1972 /* Handle --param NAME=VALUE. */
1973 static void
1974 handle_param (struct gcc_options *opts, struct gcc_options *opts_set,
1975 location_t loc, const char *carg)
1977 char *equal, *arg;
1978 int value;
1980 arg = xstrdup (carg);
1981 equal = strchr (arg, '=');
1982 if (!equal)
1983 error_at (loc, "%s: --param arguments should be of the form NAME=VALUE",
1984 arg);
1985 else
1987 value = integral_argument (equal + 1);
1988 if (value == -1)
1989 error_at (loc, "invalid --param value %qs", equal + 1);
1990 else
1992 *equal = '\0';
1993 set_param_value (arg, value,
1994 opts->x_param_values, opts_set->x_param_values);
1998 free (arg);
2001 /* Used to set the level of strict aliasing warnings in OPTS,
2002 when no level is specified (i.e., when -Wstrict-aliasing, and not
2003 -Wstrict-aliasing=level was given).
2004 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2005 and 0 otherwise. After calling this function, wstrict_aliasing will be
2006 set to the default value of -Wstrict_aliasing=level, currently 3. */
2007 static void
2008 set_Wstrict_aliasing (struct gcc_options *opts, int onoff)
2010 gcc_assert (onoff == 0 || onoff == 1);
2011 if (onoff != 0)
2012 opts->x_warn_strict_aliasing = 3;
2013 else
2014 opts->x_warn_strict_aliasing = 0;
2017 /* The following routines are useful in setting all the flags that
2018 -ffast-math and -fno-fast-math imply. */
2019 static void
2020 set_fast_math_flags (struct gcc_options *opts, int set)
2022 if (!opts->frontend_set_flag_unsafe_math_optimizations)
2024 opts->x_flag_unsafe_math_optimizations = set;
2025 set_unsafe_math_optimizations_flags (opts, set);
2027 if (!opts->frontend_set_flag_finite_math_only)
2028 opts->x_flag_finite_math_only = set;
2029 if (!opts->frontend_set_flag_errno_math)
2030 opts->x_flag_errno_math = !set;
2031 if (set)
2033 if (!opts->frontend_set_flag_signaling_nans)
2034 opts->x_flag_signaling_nans = 0;
2035 if (!opts->frontend_set_flag_rounding_math)
2036 opts->x_flag_rounding_math = 0;
2037 if (!opts->frontend_set_flag_cx_limited_range)
2038 opts->x_flag_cx_limited_range = 1;
2042 /* When -funsafe-math-optimizations is set the following
2043 flags are set as well. */
2044 static void
2045 set_unsafe_math_optimizations_flags (struct gcc_options *opts, int set)
2047 if (!opts->frontend_set_flag_trapping_math)
2048 opts->x_flag_trapping_math = !set;
2049 if (!opts->frontend_set_flag_signed_zeros)
2050 opts->x_flag_signed_zeros = !set;
2051 if (!opts->frontend_set_flag_associative_math)
2052 opts->x_flag_associative_math = set;
2053 if (!opts->frontend_set_flag_reciprocal_math)
2054 opts->x_flag_reciprocal_math = set;
2057 /* Return true iff flags in OPTS are set as if -ffast-math. */
2058 bool
2059 fast_math_flags_set_p (const struct gcc_options *opts)
2061 return (!opts->x_flag_trapping_math
2062 && opts->x_flag_unsafe_math_optimizations
2063 && opts->x_flag_finite_math_only
2064 && !opts->x_flag_signed_zeros
2065 && !opts->x_flag_errno_math);
2068 /* Return true iff flags are set as if -ffast-math but using the flags stored
2069 in the struct cl_optimization structure. */
2070 bool
2071 fast_math_flags_struct_set_p (struct cl_optimization *opt)
2073 return (!opt->x_flag_trapping_math
2074 && opt->x_flag_unsafe_math_optimizations
2075 && opt->x_flag_finite_math_only
2076 && !opt->x_flag_signed_zeros
2077 && !opt->x_flag_errno_math);
2080 /* Handle a debug output -g switch for options OPTS
2081 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2082 explicitly), location LOC. EXTENDED is true or false to support
2083 extended output (2 is special and means "-ggdb" was given). */
2084 static void
2085 set_debug_level (enum debug_info_type type, int extended, const char *arg,
2086 struct gcc_options *opts, struct gcc_options *opts_set,
2087 location_t loc)
2089 opts->x_use_gnu_debug_info_extensions = extended;
2091 if (type == NO_DEBUG)
2093 if (opts->x_write_symbols == NO_DEBUG)
2095 opts->x_write_symbols = PREFERRED_DEBUGGING_TYPE;
2097 if (extended == 2)
2099 #ifdef DWARF2_DEBUGGING_INFO
2100 opts->x_write_symbols = DWARF2_DEBUG;
2101 #elif defined DBX_DEBUGGING_INFO
2102 opts->x_write_symbols = DBX_DEBUG;
2103 #endif
2106 if (opts->x_write_symbols == NO_DEBUG)
2107 warning_at (loc, 0, "target system does not support debug output");
2110 else
2112 /* Does it conflict with an already selected type? */
2113 if (opts_set->x_write_symbols != NO_DEBUG
2114 && opts->x_write_symbols != NO_DEBUG
2115 && type != opts->x_write_symbols)
2116 error_at (loc, "debug format \"%s\" conflicts with prior selection",
2117 debug_type_names[type]);
2118 opts->x_write_symbols = type;
2119 opts_set->x_write_symbols = type;
2122 /* A debug flag without a level defaults to level 2.
2123 If off or at level 1, set it to level 2, but if already
2124 at level 3, don't lower it. */
2125 if (*arg == '\0')
2127 if (opts->x_debug_info_level < DINFO_LEVEL_NORMAL)
2128 opts->x_debug_info_level = DINFO_LEVEL_NORMAL;
2130 else
2132 int argval = integral_argument (arg);
2133 if (argval == -1)
2134 error_at (loc, "unrecognised debug output level \"%s\"", arg);
2135 else if (argval > 3)
2136 error_at (loc, "debug output level %s is too high", arg);
2137 else
2138 opts->x_debug_info_level = (enum debug_info_levels) argval;
2142 /* Arrange to dump core on error for diagnostic context DC. (The
2143 regular error message is still printed first, except in the case of
2144 abort ().) */
2146 static void
2147 setup_core_dumping (diagnostic_context *dc)
2149 #ifdef SIGABRT
2150 signal (SIGABRT, SIG_DFL);
2151 #endif
2152 #if defined(HAVE_SETRLIMIT)
2154 struct rlimit rlim;
2155 if (getrlimit (RLIMIT_CORE, &rlim) != 0)
2156 fatal_error ("getting core file size maximum limit: %m");
2157 rlim.rlim_cur = rlim.rlim_max;
2158 if (setrlimit (RLIMIT_CORE, &rlim) != 0)
2159 fatal_error ("setting core file size limit to maximum: %m");
2161 #endif
2162 diagnostic_abort_on_error (dc);
2165 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2166 diagnostic context DC. */
2168 static void
2169 decode_d_option (const char *arg, struct gcc_options *opts,
2170 location_t loc, diagnostic_context *dc)
2172 int c;
2174 while (*arg)
2175 switch (c = *arg++)
2177 case 'A':
2178 opts->x_flag_debug_asm = 1;
2179 break;
2180 case 'p':
2181 opts->x_flag_print_asm_name = 1;
2182 break;
2183 case 'P':
2184 opts->x_flag_dump_rtl_in_asm = 1;
2185 opts->x_flag_print_asm_name = 1;
2186 break;
2187 case 'x':
2188 opts->x_rtl_dump_and_exit = 1;
2189 break;
2190 case 'D': /* These are handled by the preprocessor. */
2191 case 'I':
2192 case 'M':
2193 case 'N':
2194 case 'U':
2195 break;
2196 case 'H':
2197 setup_core_dumping (dc);
2198 break;
2199 case 'a':
2200 opts->x_flag_dump_all_passed = true;
2201 break;
2203 default:
2204 warning_at (loc, 0, "unrecognized gcc debugging option: %c", c);
2205 break;
2209 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2210 mask LANG_MASK, option handlers HANDLERS) as an error for option
2211 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2212 NULL), location LOC. This is used by -Werror=. */
2214 static void
2215 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask,
2216 const struct cl_option_handlers *handlers,
2217 struct gcc_options *opts,
2218 struct gcc_options *opts_set,
2219 location_t loc, diagnostic_context *dc)
2221 char *new_option;
2222 int option_index;
2224 new_option = XNEWVEC (char, strlen (arg) + 2);
2225 new_option[0] = 'W';
2226 strcpy (new_option + 1, arg);
2227 option_index = find_opt (new_option, lang_mask);
2228 if (option_index == OPT_SPECIAL_unknown)
2230 error_at (loc, "-Werror=%s: no option -%s", arg, new_option);
2232 else
2234 const diagnostic_t kind = value ? DK_ERROR : DK_WARNING;
2236 control_warning_option (option_index, (int) kind, value,
2237 loc, lang_mask,
2238 handlers, opts, opts_set, dc);
2240 free (new_option);
2243 /* Return malloced memory for the name of the option OPTION_INDEX
2244 which enabled a diagnostic (context CONTEXT), originally of type
2245 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2246 as -Werror. */
2248 char *
2249 option_name (diagnostic_context *context, int option_index,
2250 diagnostic_t orig_diag_kind, diagnostic_t diag_kind)
2252 if (option_index)
2254 /* A warning classified as an error. */
2255 if ((orig_diag_kind == DK_WARNING || orig_diag_kind == DK_PEDWARN)
2256 && diag_kind == DK_ERROR)
2257 return concat (cl_options[OPT_Werror_].opt_text,
2258 /* Skip over "-W". */
2259 cl_options[option_index].opt_text + 2,
2260 NULL);
2261 /* A warning with option. */
2262 else
2263 return xstrdup (cl_options[option_index].opt_text);
2265 /* A warning without option classified as an error. */
2266 else if ((orig_diag_kind == DK_WARNING || orig_diag_kind == DK_PEDWARN
2267 || diag_kind == DK_WARNING)
2268 && context->warning_as_error_requested)
2269 return xstrdup (cl_options[OPT_Werror].opt_text);
2270 else
2271 return NULL;