Define arm_arch_core_flags in a single file
[official-gcc.git] / gcc / opts.c
blob890da03e6a12d4eaadae8b21b96998ccf9a8ad74
1 /* Command line option handling.
2 Copyright (C) 2002-2016 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 "tm.h"
27 #include "flags.h"
28 #include "params.h"
29 #include "diagnostic.h"
30 #include "opts-diagnostic.h"
31 #include "insn-attr-common.h"
32 #include "common/common-target.h"
34 static void set_Wstrict_aliasing (struct gcc_options *opts, int onoff);
36 /* Indexed by enum debug_info_type. */
37 const char *const debug_type_names[] =
39 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
42 /* Parse the -femit-struct-debug-detailed option value
43 and set the flag variables. */
45 #define MATCH( prefix, string ) \
46 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
47 ? ((string += sizeof prefix - 1), 1) : 0)
49 void
50 set_struct_debug_option (struct gcc_options *opts, location_t loc,
51 const char *spec)
53 /* various labels for comparison */
54 static const char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
55 static const char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
56 static const char none_lbl[] = "none", any_lbl[] = "any";
57 static const char base_lbl[] = "base", sys_lbl[] = "sys";
59 enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
60 /* Default is to apply to as much as possible. */
61 enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
62 int ord = 1, gen = 1;
64 /* What usage? */
65 if (MATCH (dfn_lbl, spec))
66 usage = DINFO_USAGE_DFN;
67 else if (MATCH (dir_lbl, spec))
68 usage = DINFO_USAGE_DIR_USE;
69 else if (MATCH (ind_lbl, spec))
70 usage = DINFO_USAGE_IND_USE;
72 /* Generics or not? */
73 if (MATCH (ord_lbl, spec))
74 gen = 0;
75 else if (MATCH (gen_lbl, spec))
76 ord = 0;
78 /* What allowable environment? */
79 if (MATCH (none_lbl, spec))
80 files = DINFO_STRUCT_FILE_NONE;
81 else if (MATCH (any_lbl, spec))
82 files = DINFO_STRUCT_FILE_ANY;
83 else if (MATCH (sys_lbl, spec))
84 files = DINFO_STRUCT_FILE_SYS;
85 else if (MATCH (base_lbl, spec))
86 files = DINFO_STRUCT_FILE_BASE;
87 else
88 error_at (loc,
89 "argument %qs to %<-femit-struct-debug-detailed%> "
90 "not recognized",
91 spec);
93 /* Effect the specification. */
94 if (usage == DINFO_USAGE_NUM_ENUMS)
96 if (ord)
98 opts->x_debug_struct_ordinary[DINFO_USAGE_DFN] = files;
99 opts->x_debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
100 opts->x_debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
102 if (gen)
104 opts->x_debug_struct_generic[DINFO_USAGE_DFN] = files;
105 opts->x_debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
106 opts->x_debug_struct_generic[DINFO_USAGE_IND_USE] = files;
109 else
111 if (ord)
112 opts->x_debug_struct_ordinary[usage] = files;
113 if (gen)
114 opts->x_debug_struct_generic[usage] = files;
117 if (*spec == ',')
118 set_struct_debug_option (opts, loc, spec+1);
119 else
121 /* No more -femit-struct-debug-detailed specifications.
122 Do final checks. */
123 if (*spec != '\0')
124 error_at (loc,
125 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
126 spec);
127 if (opts->x_debug_struct_ordinary[DINFO_USAGE_DIR_USE]
128 < opts->x_debug_struct_ordinary[DINFO_USAGE_IND_USE]
129 || opts->x_debug_struct_generic[DINFO_USAGE_DIR_USE]
130 < opts->x_debug_struct_generic[DINFO_USAGE_IND_USE])
131 error_at (loc,
132 "%<-femit-struct-debug-detailed=dir:...%> must allow "
133 "at least as much as "
134 "%<-femit-struct-debug-detailed=ind:...%>");
138 /* Strip off a legitimate source ending from the input string NAME of
139 length LEN. Rather than having to know the names used by all of
140 our front ends, we strip off an ending of a period followed by
141 up to five characters. (Java uses ".class".) */
143 void
144 strip_off_ending (char *name, int len)
146 int i;
147 for (i = 2; i < 6 && len > i; i++)
149 if (name[len - i] == '.')
151 name[len - i] = '\0';
152 break;
157 /* Find the base name of a path, stripping off both directories and
158 a single final extension. */
160 base_of_path (const char *path, const char **base_out)
162 const char *base = path;
163 const char *dot = 0;
164 const char *p = path;
165 char c = *p;
166 while (c)
168 if (IS_DIR_SEPARATOR (c))
170 base = p + 1;
171 dot = 0;
173 else if (c == '.')
174 dot = p;
175 c = *++p;
177 if (!dot)
178 dot = p;
179 *base_out = base;
180 return dot - base;
183 /* What to print when a switch has no documentation. */
184 static const char undocumented_msg[] = N_("This option lacks documentation.");
185 static const char use_diagnosed_msg[] = N_("Uses of this option are diagnosed.");
187 typedef char *char_p; /* For DEF_VEC_P. */
189 static void handle_param (struct gcc_options *opts,
190 struct gcc_options *opts_set, location_t loc,
191 const char *carg);
192 static void set_debug_level (enum debug_info_type type, int extended,
193 const char *arg, struct gcc_options *opts,
194 struct gcc_options *opts_set,
195 location_t loc);
196 static void set_fast_math_flags (struct gcc_options *opts, int set);
197 static void decode_d_option (const char *arg, struct gcc_options *opts,
198 location_t loc, diagnostic_context *dc);
199 static void set_unsafe_math_optimizations_flags (struct gcc_options *opts,
200 int set);
201 static void enable_warning_as_error (const char *arg, int value,
202 unsigned int lang_mask,
203 const struct cl_option_handlers *handlers,
204 struct gcc_options *opts,
205 struct gcc_options *opts_set,
206 location_t loc,
207 diagnostic_context *dc);
209 /* Handle a back-end option; arguments and return value as for
210 handle_option. */
212 bool
213 target_handle_option (struct gcc_options *opts,
214 struct gcc_options *opts_set,
215 const struct cl_decoded_option *decoded,
216 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
217 location_t loc,
218 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED,
219 diagnostic_context *dc)
221 gcc_assert (dc == global_dc);
222 gcc_assert (kind == DK_UNSPECIFIED);
223 return targetm_common.handle_option (opts, opts_set, decoded, loc);
226 /* Add comma-separated strings to a char_p vector. */
228 static void
229 add_comma_separated_to_vector (void **pvec, const char *arg)
231 char *tmp;
232 char *r;
233 char *w;
234 char *token_start;
235 vec<char_p> *v = (vec<char_p> *) *pvec;
237 vec_check_alloc (v, 1);
239 /* We never free this string. */
240 tmp = xstrdup (arg);
242 r = tmp;
243 w = tmp;
244 token_start = tmp;
246 while (*r != '\0')
248 if (*r == ',')
250 *w++ = '\0';
251 ++r;
252 v->safe_push (token_start);
253 token_start = w;
255 if (*r == '\\' && r[1] == ',')
257 *w++ = ',';
258 r += 2;
260 else
261 *w++ = *r++;
263 if (*token_start != '\0')
264 v->safe_push (token_start);
266 *pvec = v;
269 /* Initialize opts_obstack. */
271 void
272 init_opts_obstack (void)
274 gcc_obstack_init (&opts_obstack);
277 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
279 void
280 init_options_struct (struct gcc_options *opts, struct gcc_options *opts_set)
282 size_t num_params = get_num_compiler_params ();
284 /* Ensure that opts_obstack has already been initialized by the time
285 that we initialize any gcc_options instances (PR jit/68446). */
286 gcc_assert (opts_obstack.chunk_size > 0);
288 *opts = global_options_init;
290 if (opts_set)
291 memset (opts_set, 0, sizeof (*opts_set));
293 opts->x_param_values = XNEWVEC (int, num_params);
295 if (opts_set)
296 opts_set->x_param_values = XCNEWVEC (int, num_params);
298 init_param_values (opts->x_param_values);
300 /* Initialize whether `char' is signed. */
301 opts->x_flag_signed_char = DEFAULT_SIGNED_CHAR;
302 /* Set this to a special "uninitialized" value. The actual default
303 is set after target options have been processed. */
304 opts->x_flag_short_enums = 2;
306 /* Initialize target_flags before default_options_optimization
307 so the latter can modify it. */
308 opts->x_target_flags = targetm_common.default_target_flags;
310 /* Some targets have ABI-specified unwind tables. */
311 opts->x_flag_unwind_tables = targetm_common.unwind_tables_default;
313 /* Some targets have other target-specific initialization. */
314 targetm_common.option_init_struct (opts);
317 /* Release any allocations owned by OPTS. */
319 void
320 finalize_options_struct (struct gcc_options *opts)
322 XDELETEVEC (opts->x_param_values);
325 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
326 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
327 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
328 mask LANG_MASK and option handlers HANDLERS. */
330 static void
331 maybe_default_option (struct gcc_options *opts,
332 struct gcc_options *opts_set,
333 const struct default_options *default_opt,
334 int level, bool size, bool fast, bool debug,
335 unsigned int lang_mask,
336 const struct cl_option_handlers *handlers,
337 location_t loc,
338 diagnostic_context *dc)
340 const struct cl_option *option = &cl_options[default_opt->opt_index];
341 bool enabled;
343 if (size)
344 gcc_assert (level == 2);
345 if (fast)
346 gcc_assert (level == 3);
347 if (debug)
348 gcc_assert (level == 1);
350 switch (default_opt->levels)
352 case OPT_LEVELS_ALL:
353 enabled = true;
354 break;
356 case OPT_LEVELS_0_ONLY:
357 enabled = (level == 0);
358 break;
360 case OPT_LEVELS_1_PLUS:
361 enabled = (level >= 1);
362 break;
364 case OPT_LEVELS_1_PLUS_SPEED_ONLY:
365 enabled = (level >= 1 && !size && !debug);
366 break;
368 case OPT_LEVELS_1_PLUS_NOT_DEBUG:
369 enabled = (level >= 1 && !debug);
370 break;
372 case OPT_LEVELS_2_PLUS:
373 enabled = (level >= 2);
374 break;
376 case OPT_LEVELS_2_PLUS_SPEED_ONLY:
377 enabled = (level >= 2 && !size && !debug);
378 break;
380 case OPT_LEVELS_3_PLUS:
381 enabled = (level >= 3);
382 break;
384 case OPT_LEVELS_3_PLUS_AND_SIZE:
385 enabled = (level >= 3 || size);
386 break;
388 case OPT_LEVELS_SIZE:
389 enabled = size;
390 break;
392 case OPT_LEVELS_FAST:
393 enabled = fast;
394 break;
396 case OPT_LEVELS_NONE:
397 default:
398 gcc_unreachable ();
401 if (enabled)
402 handle_generated_option (opts, opts_set, default_opt->opt_index,
403 default_opt->arg, default_opt->value,
404 lang_mask, DK_UNSPECIFIED, loc,
405 handlers, dc);
406 else if (default_opt->arg == NULL
407 && !option->cl_reject_negative)
408 handle_generated_option (opts, opts_set, default_opt->opt_index,
409 default_opt->arg, !default_opt->value,
410 lang_mask, DK_UNSPECIFIED, loc,
411 handlers, dc);
414 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
415 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
416 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
417 language mask LANG_MASK and option handlers HANDLERS. */
419 static void
420 maybe_default_options (struct gcc_options *opts,
421 struct gcc_options *opts_set,
422 const struct default_options *default_opts,
423 int level, bool size, bool fast, bool debug,
424 unsigned int lang_mask,
425 const struct cl_option_handlers *handlers,
426 location_t loc,
427 diagnostic_context *dc)
429 size_t i;
431 for (i = 0; default_opts[i].levels != OPT_LEVELS_NONE; i++)
432 maybe_default_option (opts, opts_set, &default_opts[i],
433 level, size, fast, debug,
434 lang_mask, handlers, loc, dc);
437 /* Table of options enabled by default at different levels. */
439 static const struct default_options default_options_table[] =
441 /* -O1 optimizations. */
442 { OPT_LEVELS_1_PLUS, OPT_fdefer_pop, NULL, 1 },
443 #if DELAY_SLOTS
444 { OPT_LEVELS_1_PLUS, OPT_fdelayed_branch, NULL, 1 },
445 #endif
446 { OPT_LEVELS_1_PLUS, OPT_fguess_branch_probability, NULL, 1 },
447 { OPT_LEVELS_1_PLUS, OPT_fcprop_registers, NULL, 1 },
448 { OPT_LEVELS_1_PLUS, OPT_fforward_propagate, NULL, 1 },
449 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fif_conversion, NULL, 1 },
450 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fif_conversion2, NULL, 1 },
451 { OPT_LEVELS_1_PLUS, OPT_fipa_pure_const, NULL, 1 },
452 { OPT_LEVELS_1_PLUS, OPT_fipa_reference, NULL, 1 },
453 { OPT_LEVELS_1_PLUS, OPT_fipa_profile, NULL, 1 },
454 { OPT_LEVELS_1_PLUS, OPT_fmerge_constants, NULL, 1 },
455 { OPT_LEVELS_1_PLUS, OPT_freorder_blocks, NULL, 1 },
456 { OPT_LEVELS_1_PLUS, OPT_fshrink_wrap, NULL, 1 },
457 { OPT_LEVELS_1_PLUS, OPT_fsplit_wide_types, NULL, 1 },
458 { OPT_LEVELS_1_PLUS, OPT_ftree_ccp, NULL, 1 },
459 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_bit_ccp, NULL, 1 },
460 { OPT_LEVELS_1_PLUS, OPT_ftree_coalesce_vars, NULL, 1 },
461 { OPT_LEVELS_1_PLUS, OPT_ftree_dce, NULL, 1 },
462 { OPT_LEVELS_1_PLUS, OPT_ftree_dominator_opts, NULL, 1 },
463 { OPT_LEVELS_1_PLUS, OPT_ftree_dse, NULL, 1 },
464 { OPT_LEVELS_1_PLUS, OPT_ftree_ter, NULL, 1 },
465 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_sra, NULL, 1 },
466 { OPT_LEVELS_1_PLUS, OPT_ftree_fre, NULL, 1 },
467 { OPT_LEVELS_1_PLUS, OPT_ftree_copy_prop, NULL, 1 },
468 { OPT_LEVELS_1_PLUS, OPT_ftree_sink, NULL, 1 },
469 { OPT_LEVELS_1_PLUS, OPT_ftree_ch, NULL, 1 },
470 { OPT_LEVELS_1_PLUS, OPT_fcombine_stack_adjustments, NULL, 1 },
471 { OPT_LEVELS_1_PLUS, OPT_fcompare_elim, NULL, 1 },
472 { OPT_LEVELS_1_PLUS, OPT_ftree_slsr, NULL, 1 },
473 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fbranch_count_reg, NULL, 1 },
474 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fmove_loop_invariants, NULL, 1 },
475 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_ftree_pta, NULL, 1 },
476 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_fssa_phiopt, NULL, 1 },
477 { OPT_LEVELS_1_PLUS, OPT_ftree_builtin_call_dce, NULL, 1 },
479 /* -O2 optimizations. */
480 { OPT_LEVELS_2_PLUS, OPT_finline_small_functions, NULL, 1 },
481 { OPT_LEVELS_2_PLUS, OPT_findirect_inlining, NULL, 1 },
482 { OPT_LEVELS_2_PLUS, OPT_fpartial_inlining, NULL, 1 },
483 { OPT_LEVELS_2_PLUS, OPT_fthread_jumps, NULL, 1 },
484 { OPT_LEVELS_2_PLUS, OPT_fcrossjumping, NULL, 1 },
485 { OPT_LEVELS_2_PLUS, OPT_foptimize_sibling_calls, NULL, 1 },
486 { OPT_LEVELS_2_PLUS, OPT_fcse_follow_jumps, NULL, 1 },
487 { OPT_LEVELS_2_PLUS, OPT_fgcse, NULL, 1 },
488 { OPT_LEVELS_2_PLUS, OPT_fexpensive_optimizations, NULL, 1 },
489 { OPT_LEVELS_2_PLUS, OPT_frerun_cse_after_loop, NULL, 1 },
490 { OPT_LEVELS_2_PLUS, OPT_fcaller_saves, NULL, 1 },
491 { OPT_LEVELS_2_PLUS, OPT_fpeephole2, NULL, 1 },
492 #ifdef INSN_SCHEDULING
493 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
494 { OPT_LEVELS_2_PLUS_SPEED_ONLY, OPT_fschedule_insns, NULL, 1 },
495 { OPT_LEVELS_2_PLUS, OPT_fschedule_insns2, NULL, 1 },
496 #endif
497 { OPT_LEVELS_2_PLUS, OPT_fstrict_aliasing, NULL, 1 },
498 { OPT_LEVELS_2_PLUS, OPT_fstrict_overflow, NULL, 1 },
499 { OPT_LEVELS_2_PLUS_SPEED_ONLY, OPT_freorder_blocks_algorithm_, NULL,
500 REORDER_BLOCKS_ALGORITHM_STC },
501 { OPT_LEVELS_2_PLUS, OPT_freorder_functions, NULL, 1 },
502 { OPT_LEVELS_2_PLUS, OPT_ftree_vrp, NULL, 1 },
503 { OPT_LEVELS_2_PLUS, OPT_fcode_hoisting, NULL, 1 },
504 { OPT_LEVELS_2_PLUS, OPT_ftree_pre, NULL, 1 },
505 { OPT_LEVELS_2_PLUS, OPT_ftree_switch_conversion, NULL, 1 },
506 { OPT_LEVELS_2_PLUS, OPT_fipa_cp, NULL, 1 },
507 { OPT_LEVELS_2_PLUS, OPT_fipa_bit_cp, NULL, 1 },
508 { OPT_LEVELS_2_PLUS, OPT_fipa_vrp, NULL, 1 },
509 { OPT_LEVELS_2_PLUS, OPT_fdevirtualize, NULL, 1 },
510 { OPT_LEVELS_2_PLUS, OPT_fdevirtualize_speculatively, NULL, 1 },
511 { OPT_LEVELS_2_PLUS, OPT_fipa_sra, NULL, 1 },
512 { OPT_LEVELS_2_PLUS, OPT_falign_loops, NULL, 1 },
513 { OPT_LEVELS_2_PLUS, OPT_falign_jumps, NULL, 1 },
514 { OPT_LEVELS_2_PLUS, OPT_falign_labels, NULL, 1 },
515 { OPT_LEVELS_2_PLUS, OPT_falign_functions, NULL, 1 },
516 { OPT_LEVELS_2_PLUS, OPT_ftree_tail_merge, NULL, 1 },
517 { OPT_LEVELS_2_PLUS, OPT_fvect_cost_model_, NULL, VECT_COST_MODEL_CHEAP },
518 { OPT_LEVELS_2_PLUS_SPEED_ONLY, OPT_foptimize_strlen, NULL, 1 },
519 { OPT_LEVELS_2_PLUS, OPT_fhoist_adjacent_loads, NULL, 1 },
520 { OPT_LEVELS_2_PLUS, OPT_fipa_icf, NULL, 1 },
521 { OPT_LEVELS_2_PLUS, OPT_fisolate_erroneous_paths_dereference, NULL, 1 },
522 { OPT_LEVELS_2_PLUS, OPT_fipa_ra, NULL, 1 },
523 { OPT_LEVELS_2_PLUS, OPT_flra_remat, NULL, 1 },
524 { OPT_LEVELS_2_PLUS, OPT_fstore_merging, NULL, 1 },
526 /* -O3 optimizations. */
527 { OPT_LEVELS_3_PLUS, OPT_ftree_loop_distribute_patterns, NULL, 1 },
528 { OPT_LEVELS_3_PLUS, OPT_fpredictive_commoning, NULL, 1 },
529 { OPT_LEVELS_3_PLUS, OPT_fsplit_paths, NULL, 1 },
530 /* Inlining of functions reducing size is a good idea with -Os
531 regardless of them being declared inline. */
532 { OPT_LEVELS_3_PLUS_AND_SIZE, OPT_finline_functions, NULL, 1 },
533 { OPT_LEVELS_1_PLUS_NOT_DEBUG, OPT_finline_functions_called_once, NULL, 1 },
534 { OPT_LEVELS_3_PLUS, OPT_fsplit_loops, NULL, 1 },
535 { OPT_LEVELS_3_PLUS, OPT_funswitch_loops, NULL, 1 },
536 { OPT_LEVELS_3_PLUS, OPT_fgcse_after_reload, NULL, 1 },
537 { OPT_LEVELS_3_PLUS, OPT_ftree_loop_vectorize, NULL, 1 },
538 { OPT_LEVELS_3_PLUS, OPT_ftree_slp_vectorize, NULL, 1 },
539 { OPT_LEVELS_3_PLUS, OPT_fvect_cost_model_, NULL, VECT_COST_MODEL_DYNAMIC },
540 { OPT_LEVELS_3_PLUS, OPT_fipa_cp_clone, NULL, 1 },
541 { OPT_LEVELS_3_PLUS, OPT_ftree_partial_pre, NULL, 1 },
542 { OPT_LEVELS_3_PLUS, OPT_fpeel_loops, NULL, 1 },
544 /* -Ofast adds optimizations to -O3. */
545 { OPT_LEVELS_FAST, OPT_ffast_math, NULL, 1 },
547 { OPT_LEVELS_NONE, 0, NULL, 0 }
550 /* Default the options in OPTS and OPTS_SET based on the optimization
551 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
552 void
553 default_options_optimization (struct gcc_options *opts,
554 struct gcc_options *opts_set,
555 struct cl_decoded_option *decoded_options,
556 unsigned int decoded_options_count,
557 location_t loc,
558 unsigned int lang_mask,
559 const struct cl_option_handlers *handlers,
560 diagnostic_context *dc)
562 unsigned int i;
563 int opt2;
564 bool openacc_mode = false;
566 /* Scan to see what optimization level has been specified. That will
567 determine the default value of many flags. */
568 for (i = 1; i < decoded_options_count; i++)
570 struct cl_decoded_option *opt = &decoded_options[i];
571 switch (opt->opt_index)
573 case OPT_O:
574 if (*opt->arg == '\0')
576 opts->x_optimize = 1;
577 opts->x_optimize_size = 0;
578 opts->x_optimize_fast = 0;
579 opts->x_optimize_debug = 0;
581 else
583 const int optimize_val = integral_argument (opt->arg);
584 if (optimize_val == -1)
585 error_at (loc, "argument to %<-O%> should be a non-negative "
586 "integer, %<g%>, %<s%> or %<fast%>");
587 else
589 opts->x_optimize = optimize_val;
590 if ((unsigned int) opts->x_optimize > 255)
591 opts->x_optimize = 255;
592 opts->x_optimize_size = 0;
593 opts->x_optimize_fast = 0;
594 opts->x_optimize_debug = 0;
597 break;
599 case OPT_Os:
600 opts->x_optimize_size = 1;
602 /* Optimizing for size forces optimize to be 2. */
603 opts->x_optimize = 2;
604 opts->x_optimize_fast = 0;
605 opts->x_optimize_debug = 0;
606 break;
608 case OPT_Ofast:
609 /* -Ofast only adds flags to -O3. */
610 opts->x_optimize_size = 0;
611 opts->x_optimize = 3;
612 opts->x_optimize_fast = 1;
613 opts->x_optimize_debug = 0;
614 break;
616 case OPT_Og:
617 /* -Og selects optimization level 1. */
618 opts->x_optimize_size = 0;
619 opts->x_optimize = 1;
620 opts->x_optimize_fast = 0;
621 opts->x_optimize_debug = 1;
622 break;
624 case OPT_fopenacc:
625 if (opt->value)
626 openacc_mode = true;
627 break;
629 default:
630 /* Ignore other options in this prescan. */
631 break;
635 maybe_default_options (opts, opts_set, default_options_table,
636 opts->x_optimize, opts->x_optimize_size,
637 opts->x_optimize_fast, opts->x_optimize_debug,
638 lang_mask, handlers, loc, dc);
640 /* -O2 param settings. */
641 opt2 = (opts->x_optimize >= 2);
643 if (openacc_mode
644 && !opts_set->x_flag_ipa_pta)
645 opts->x_flag_ipa_pta = true;
647 /* Track fields in field-sensitive alias analysis. */
648 maybe_set_param_value
649 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE,
650 opt2 ? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE),
651 opts->x_param_values, opts_set->x_param_values);
653 /* For -O1 only do loop invariant motion for very small loops. */
654 maybe_set_param_value
655 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP,
656 opt2 ? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP) : 1000,
657 opts->x_param_values, opts_set->x_param_values);
659 /* At -Ofast, allow store motion to introduce potential race conditions. */
660 maybe_set_param_value
661 (PARAM_ALLOW_STORE_DATA_RACES,
662 opts->x_optimize_fast ? 1
663 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES),
664 opts->x_param_values, opts_set->x_param_values);
666 if (opts->x_optimize_size)
667 /* We want to crossjump as much as possible. */
668 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS, 1,
669 opts->x_param_values, opts_set->x_param_values);
670 else
671 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS,
672 default_param_value (PARAM_MIN_CROSSJUMP_INSNS),
673 opts->x_param_values, opts_set->x_param_values);
675 /* Restrict the amount of work combine does at -Og while retaining
676 most of its useful transforms. */
677 if (opts->x_optimize_debug)
678 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS, 2,
679 opts->x_param_values, opts_set->x_param_values);
681 /* Allow default optimizations to be specified on a per-machine basis. */
682 maybe_default_options (opts, opts_set,
683 targetm_common.option_optimization_table,
684 opts->x_optimize, opts->x_optimize_size,
685 opts->x_optimize_fast, opts->x_optimize_debug,
686 lang_mask, handlers, loc, dc);
689 /* After all options at LOC have been read into OPTS and OPTS_SET,
690 finalize settings of those options and diagnose incompatible
691 combinations. */
692 void
693 finish_options (struct gcc_options *opts, struct gcc_options *opts_set,
694 location_t loc)
696 enum unwind_info_type ui_except;
698 if (opts->x_dump_base_name
699 && ! IS_ABSOLUTE_PATH (opts->x_dump_base_name)
700 && ! opts->x_dump_base_name_prefixed)
702 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
703 OPTS->X_DUMP_DIR_NAME directory. Then try to make
704 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
705 directory, typically the directory to contain the object
706 file. */
707 if (opts->x_dump_dir_name)
708 opts->x_dump_base_name = opts_concat (opts->x_dump_dir_name,
709 opts->x_dump_base_name, NULL);
710 else if (opts->x_aux_base_name
711 && strcmp (opts->x_aux_base_name, HOST_BIT_BUCKET) != 0)
713 const char *aux_base;
715 base_of_path (opts->x_aux_base_name, &aux_base);
716 if (opts->x_aux_base_name != aux_base)
718 int dir_len = aux_base - opts->x_aux_base_name;
719 char *new_dump_base_name
720 = XOBNEWVEC (&opts_obstack, char,
721 strlen (opts->x_dump_base_name) + dir_len + 1);
723 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
724 memcpy (new_dump_base_name, opts->x_aux_base_name, dir_len);
725 /* Append existing OPTS->X_DUMP_BASE_NAME. */
726 strcpy (new_dump_base_name + dir_len, opts->x_dump_base_name);
727 opts->x_dump_base_name = new_dump_base_name;
730 opts->x_dump_base_name_prefixed = true;
733 /* Handle related options for unit-at-a-time, toplevel-reorder, and
734 section-anchors. */
735 if (!opts->x_flag_unit_at_a_time)
737 if (opts->x_flag_section_anchors && opts_set->x_flag_section_anchors)
738 error_at (loc, "section anchors must be disabled when unit-at-a-time "
739 "is disabled");
740 opts->x_flag_section_anchors = 0;
741 if (opts->x_flag_toplevel_reorder == 1)
742 error_at (loc, "toplevel reorder must be disabled when unit-at-a-time "
743 "is disabled");
744 opts->x_flag_toplevel_reorder = 0;
747 /* -fself-test depends on the state of the compiler prior to
748 compiling anything. Ideally it should be run on an empty source
749 file. However, in case we get run with actual source, assume
750 -fsyntax-only which will inhibit any compiler initialization
751 which may confuse the self tests. */
752 if (opts->x_flag_self_test)
753 opts->x_flag_syntax_only = 1;
755 if (opts->x_flag_tm && opts->x_flag_non_call_exceptions)
756 sorry ("transactional memory is not supported with non-call exceptions");
758 /* Unless the user has asked for section anchors, we disable toplevel
759 reordering at -O0 to disable transformations that might be surprising
760 to end users and to get -fno-toplevel-reorder tested. */
761 if (!opts->x_optimize
762 && opts->x_flag_toplevel_reorder == 2
763 && !(opts->x_flag_section_anchors && opts_set->x_flag_section_anchors))
765 opts->x_flag_toplevel_reorder = 0;
766 opts->x_flag_section_anchors = 0;
768 if (!opts->x_flag_toplevel_reorder)
770 if (opts->x_flag_section_anchors && opts_set->x_flag_section_anchors)
771 error_at (loc, "section anchors must be disabled when toplevel reorder"
772 " is disabled");
773 opts->x_flag_section_anchors = 0;
776 if (!opts->x_flag_opts_finished)
778 /* We initialize opts->x_flag_pie to -1 so that targets can set a
779 default value. */
780 if (opts->x_flag_pie == -1)
782 /* We initialize opts->x_flag_pic to -1 so that we can tell if
783 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
784 if (opts->x_flag_pic == -1)
785 opts->x_flag_pie = DEFAULT_FLAG_PIE;
786 else
787 opts->x_flag_pie = 0;
789 /* If -fPIE or -fpie is used, turn on PIC. */
790 if (opts->x_flag_pie)
791 opts->x_flag_pic = opts->x_flag_pie;
792 else if (opts->x_flag_pic == -1)
793 opts->x_flag_pic = 0;
794 if (opts->x_flag_pic && !opts->x_flag_pie)
795 opts->x_flag_shlib = 1;
796 opts->x_flag_opts_finished = true;
799 /* We initialize opts->x_flag_stack_protect to -1 so that targets
800 can set a default value. */
801 if (opts->x_flag_stack_protect == -1)
802 opts->x_flag_stack_protect = DEFAULT_FLAG_SSP;
804 if (opts->x_optimize == 0)
806 /* Inlining does not work if not optimizing,
807 so force it not to be done. */
808 opts->x_warn_inline = 0;
809 opts->x_flag_no_inline = 1;
812 /* The optimization to partition hot and cold basic blocks into separate
813 sections of the .o and executable files does not work (currently)
814 with exception handling. This is because there is no support for
815 generating unwind info. If opts->x_flag_exceptions is turned on
816 we need to turn off the partitioning optimization. */
818 ui_except = targetm_common.except_unwind_info (opts);
820 if (opts->x_flag_exceptions
821 && opts->x_flag_reorder_blocks_and_partition
822 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))
824 if (opts_set->x_flag_reorder_blocks_and_partition)
825 inform (loc,
826 "-freorder-blocks-and-partition does not work "
827 "with exceptions on this architecture");
828 opts->x_flag_reorder_blocks_and_partition = 0;
829 opts->x_flag_reorder_blocks = 1;
832 /* If user requested unwind info, then turn off the partitioning
833 optimization. */
835 if (opts->x_flag_unwind_tables
836 && !targetm_common.unwind_tables_default
837 && opts->x_flag_reorder_blocks_and_partition
838 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))
840 if (opts_set->x_flag_reorder_blocks_and_partition)
841 inform (loc,
842 "-freorder-blocks-and-partition does not support "
843 "unwind info on this architecture");
844 opts->x_flag_reorder_blocks_and_partition = 0;
845 opts->x_flag_reorder_blocks = 1;
848 /* If the target requested unwind info, then turn off the partitioning
849 optimization with a different message. Likewise, if the target does not
850 support named sections. */
852 if (opts->x_flag_reorder_blocks_and_partition
853 && (!targetm_common.have_named_sections
854 || (opts->x_flag_unwind_tables
855 && targetm_common.unwind_tables_default
856 && (ui_except == UI_SJLJ || ui_except >= UI_TARGET))))
858 if (opts_set->x_flag_reorder_blocks_and_partition)
859 inform (loc,
860 "-freorder-blocks-and-partition does not work "
861 "on this architecture");
862 opts->x_flag_reorder_blocks_and_partition = 0;
863 opts->x_flag_reorder_blocks = 1;
866 /* Disable -freorder-blocks-and-partition when -fprofile-use is not in
867 effect. Function splitting was not actually being performed in that case,
868 as probably_never_executed_bb_p does not distinguish any basic blocks as
869 being cold vs hot when there is no profile data. Leaving it enabled,
870 however, causes the assembly code generator to create (empty) cold
871 sections and labels, leading to unnecessary size overhead. */
872 if (opts->x_flag_reorder_blocks_and_partition
873 && !opts_set->x_flag_profile_use)
874 opts->x_flag_reorder_blocks_and_partition = 0;
876 if (opts->x_flag_reorder_blocks_and_partition
877 && !opts_set->x_flag_reorder_functions)
878 opts->x_flag_reorder_functions = 1;
880 /* Pipelining of outer loops is only possible when general pipelining
881 capabilities are requested. */
882 if (!opts->x_flag_sel_sched_pipelining)
883 opts->x_flag_sel_sched_pipelining_outer_loops = 0;
885 if (opts->x_flag_conserve_stack)
887 maybe_set_param_value (PARAM_LARGE_STACK_FRAME, 100,
888 opts->x_param_values, opts_set->x_param_values);
889 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH, 40,
890 opts->x_param_values, opts_set->x_param_values);
893 if (opts->x_flag_lto)
895 #ifdef ENABLE_LTO
896 opts->x_flag_generate_lto = 1;
898 /* When generating IL, do not operate in whole-program mode.
899 Otherwise, symbols will be privatized too early, causing link
900 errors later. */
901 opts->x_flag_whole_program = 0;
902 #else
903 error_at (loc, "LTO support has not been enabled in this configuration");
904 #endif
905 if (!opts->x_flag_fat_lto_objects
906 && (!HAVE_LTO_PLUGIN
907 || (opts_set->x_flag_use_linker_plugin
908 && !opts->x_flag_use_linker_plugin)))
910 if (opts_set->x_flag_fat_lto_objects)
911 error_at (loc, "-fno-fat-lto-objects are supported only with linker plugin");
912 opts->x_flag_fat_lto_objects = 1;
916 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
917 default value if they choose based on other options. */
918 if (opts->x_flag_split_stack == -1)
919 opts->x_flag_split_stack = 0;
920 else if (opts->x_flag_split_stack)
922 if (!targetm_common.supports_split_stack (true, opts))
924 error_at (loc, "%<-fsplit-stack%> is not supported by "
925 "this compiler configuration");
926 opts->x_flag_split_stack = 0;
930 /* Tune vectorization related parametees according to cost model. */
931 if (opts->x_flag_vect_cost_model == VECT_COST_MODEL_CHEAP)
933 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS,
934 6, opts->x_param_values, opts_set->x_param_values);
935 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS,
936 0, opts->x_param_values, opts_set->x_param_values);
937 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT,
938 0, opts->x_param_values, opts_set->x_param_values);
941 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
942 is disabled. */
943 if ((!opts->x_flag_tree_loop_vectorize && !opts->x_flag_tree_slp_vectorize)
944 || !opts->x_flag_tree_loop_if_convert)
945 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK, 0,
946 opts->x_param_values, opts_set->x_param_values);
948 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
949 if (opts->x_dwarf_split_debug_info)
950 opts->x_debug_generate_pub_sections = 2;
952 /* Userspace and kernel ASan conflict with each other. */
953 if ((opts->x_flag_sanitize & SANITIZE_USER_ADDRESS)
954 && (opts->x_flag_sanitize & SANITIZE_KERNEL_ADDRESS))
955 error_at (loc,
956 "-fsanitize=address is incompatible with "
957 "-fsanitize=kernel-address");
959 /* And with TSan. */
960 if ((opts->x_flag_sanitize & SANITIZE_ADDRESS)
961 && (opts->x_flag_sanitize & SANITIZE_THREAD))
962 error_at (loc,
963 "-fsanitize=address and -fsanitize=kernel-address "
964 "are incompatible with -fsanitize=thread");
966 if ((opts->x_flag_sanitize & SANITIZE_LEAK)
967 && (opts->x_flag_sanitize & SANITIZE_THREAD))
968 error_at (loc,
969 "-fsanitize=leak is incompatible with -fsanitize=thread");
971 /* Check error recovery for -fsanitize-recover option. */
972 for (int i = 0; sanitizer_opts[i].name != NULL; ++i)
973 if ((opts->x_flag_sanitize_recover & sanitizer_opts[i].flag)
974 && !sanitizer_opts[i].can_recover)
975 error_at (loc, "-fsanitize-recover=%s is not supported",
976 sanitizer_opts[i].name);
978 /* When instrumenting the pointers, we don't want to remove
979 the null pointer checks. */
980 if (opts->x_flag_sanitize & (SANITIZE_NULL | SANITIZE_NONNULL_ATTRIBUTE
981 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE))
982 opts->x_flag_delete_null_pointer_checks = 0;
984 /* Aggressive compiler optimizations may cause false negatives. */
985 if (opts->x_flag_sanitize & ~(SANITIZE_LEAK | SANITIZE_UNREACHABLE))
987 opts->x_flag_aggressive_loop_optimizations = 0;
988 opts->x_flag_strict_overflow = 0;
991 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
992 enabled. */
993 if ((opts->x_flag_sanitize & SANITIZE_USER_ADDRESS)
994 && !opts_set->x_flag_sanitize_address_use_after_scope)
995 opts->x_flag_sanitize_address_use_after_scope = true;
997 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
998 is enabled. */
999 if (opts->x_flag_sanitize_address_use_after_scope)
1001 if (opts->x_flag_stack_reuse != SR_NONE
1002 && opts_set->x_flag_stack_reuse != SR_NONE)
1003 error_at (loc,
1004 "-fsanitize-address-use-after-scope requires "
1005 "-fstack-reuse=none option");
1007 opts->x_flag_stack_reuse = SR_NONE;
1011 #define LEFT_COLUMN 27
1013 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1014 followed by word-wrapped HELP in a second column. */
1015 static void
1016 wrap_help (const char *help,
1017 const char *item,
1018 unsigned int item_width,
1019 unsigned int columns)
1021 unsigned int col_width = LEFT_COLUMN;
1022 unsigned int remaining, room, len;
1024 remaining = strlen (help);
1028 room = columns - 3 - MAX (col_width, item_width);
1029 if (room > columns)
1030 room = 0;
1031 len = remaining;
1033 if (room < len)
1035 unsigned int i;
1037 for (i = 0; help[i]; i++)
1039 if (i >= room && len != remaining)
1040 break;
1041 if (help[i] == ' ')
1042 len = i;
1043 else if ((help[i] == '-' || help[i] == '/')
1044 && help[i + 1] != ' '
1045 && i > 0 && ISALPHA (help[i - 1]))
1046 len = i + 1;
1050 printf (" %-*.*s %.*s\n", col_width, item_width, item, len, help);
1051 item_width = 0;
1052 while (help[len] == ' ')
1053 len++;
1054 help += len;
1055 remaining -= len;
1057 while (remaining);
1060 /* Print help for a specific front-end, etc. */
1061 static void
1062 print_filtered_help (unsigned int include_flags,
1063 unsigned int exclude_flags,
1064 unsigned int any_flags,
1065 unsigned int columns,
1066 struct gcc_options *opts,
1067 unsigned int lang_mask)
1069 unsigned int i;
1070 const char *help;
1071 bool found = false;
1072 bool displayed = false;
1073 char new_help[256];
1075 if (include_flags == CL_PARAMS)
1077 for (i = 0; i < LAST_PARAM; i++)
1079 const char *param = compiler_params[i].option;
1081 help = compiler_params[i].help;
1082 if (help == NULL || *help == '\0')
1084 if (exclude_flags & CL_UNDOCUMENTED)
1085 continue;
1086 help = undocumented_msg;
1089 /* Get the translation. */
1090 help = _(help);
1092 if (!opts->x_quiet_flag)
1094 snprintf (new_help, sizeof (new_help),
1095 _("default %d minimum %d maximum %d"),
1096 compiler_params[i].default_value,
1097 compiler_params[i].min_value,
1098 compiler_params[i].max_value);
1099 help = new_help;
1101 wrap_help (help, param, strlen (param), columns);
1103 putchar ('\n');
1104 return;
1107 if (!opts->x_help_printed)
1108 opts->x_help_printed = XCNEWVAR (char, cl_options_count);
1110 if (!opts->x_help_enum_printed)
1111 opts->x_help_enum_printed = XCNEWVAR (char, cl_enums_count);
1113 for (i = 0; i < cl_options_count; i++)
1115 const struct cl_option *option = cl_options + i;
1116 unsigned int len;
1117 const char *opt;
1118 const char *tab;
1120 if (include_flags == 0
1121 || ((option->flags & include_flags) != include_flags))
1123 if ((option->flags & any_flags) == 0)
1124 continue;
1127 /* Skip unwanted switches. */
1128 if ((option->flags & exclude_flags) != 0)
1129 continue;
1131 /* The driver currently prints its own help text. */
1132 if ((option->flags & CL_DRIVER) != 0
1133 && (option->flags & (((1U << cl_lang_count) - 1)
1134 | CL_COMMON | CL_TARGET)) == 0)
1135 continue;
1137 found = true;
1138 /* Skip switches that have already been printed. */
1139 if (opts->x_help_printed[i])
1140 continue;
1142 opts->x_help_printed[i] = true;
1144 help = option->help;
1145 if (help == NULL)
1147 if (exclude_flags & CL_UNDOCUMENTED)
1148 continue;
1150 help = undocumented_msg;
1153 if (option->alias_target < N_OPTS
1154 && cl_options [option->alias_target].help)
1156 if (help == undocumented_msg)
1158 /* For undocumented options that are aliases for other options
1159 that are documented, point the reader to the other option in
1160 preference of the former. */
1161 snprintf (new_help, sizeof new_help,
1162 _("Same as %s. Use the latter option instead."),
1163 cl_options [option->alias_target].opt_text);
1165 else
1167 /* For documented options with aliases, mention the aliased
1168 option's name for reference. */
1169 snprintf (new_help, sizeof new_help,
1170 _("%s Same as %s."),
1171 help, cl_options [option->alias_target].opt_text);
1174 help = new_help;
1177 if (option->warn_message)
1179 /* Mention that the use of the option will trigger a warning. */
1180 if (help == new_help)
1181 snprintf (new_help + strlen (new_help),
1182 sizeof new_help - strlen (new_help),
1183 " %s", _(use_diagnosed_msg));
1184 else
1185 snprintf (new_help, sizeof new_help,
1186 "%s %s", help, _(use_diagnosed_msg));
1188 help = new_help;
1191 /* Get the translation. */
1192 help = _(help);
1194 /* Find the gap between the name of the
1195 option and its descriptive text. */
1196 tab = strchr (help, '\t');
1197 if (tab)
1199 len = tab - help;
1200 opt = help;
1201 help = tab + 1;
1203 else
1205 opt = option->opt_text;
1206 len = strlen (opt);
1209 /* With the -Q option enabled we change the descriptive text associated
1210 with an option to be an indication of its current setting. */
1211 if (!opts->x_quiet_flag)
1213 void *flag_var = option_flag_var (i, opts);
1215 if (len < (LEFT_COLUMN + 2))
1216 strcpy (new_help, "\t\t");
1217 else
1218 strcpy (new_help, "\t");
1220 if (flag_var != NULL
1221 && option->var_type != CLVC_DEFER)
1223 if (option->flags & CL_JOINED)
1225 if (option->var_type == CLVC_STRING)
1227 if (* (const char **) flag_var != NULL)
1228 snprintf (new_help + strlen (new_help),
1229 sizeof (new_help) - strlen (new_help),
1230 "%s", * (const char **) flag_var);
1232 else if (option->var_type == CLVC_ENUM)
1234 const struct cl_enum *e = &cl_enums[option->var_enum];
1235 int value;
1236 const char *arg = NULL;
1238 value = e->get (flag_var);
1239 enum_value_to_arg (e->values, &arg, value, lang_mask);
1240 if (arg == NULL)
1241 arg = _("[default]");
1242 snprintf (new_help + strlen (new_help),
1243 sizeof (new_help) - strlen (new_help),
1244 "%s", arg);
1246 else
1247 sprintf (new_help + strlen (new_help),
1248 "%#x", * (int *) flag_var);
1250 else
1251 strcat (new_help, option_enabled (i, opts)
1252 ? _("[enabled]") : _("[disabled]"));
1255 help = new_help;
1258 wrap_help (help, opt, len, columns);
1259 displayed = true;
1261 if (option->var_type == CLVC_ENUM
1262 && opts->x_help_enum_printed[option->var_enum] != 2)
1263 opts->x_help_enum_printed[option->var_enum] = 1;
1266 if (! found)
1268 unsigned int langs = include_flags & CL_LANG_ALL;
1270 if (langs == 0)
1271 printf (_(" No options with the desired characteristics were found\n"));
1272 else
1274 unsigned int i;
1276 /* PR 31349: Tell the user how to see all of the
1277 options supported by a specific front end. */
1278 for (i = 0; (1U << i) < CL_LANG_ALL; i ++)
1279 if ((1U << i) & langs)
1280 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1281 lang_names[i], lang_names[i]);
1285 else if (! displayed)
1286 printf (_(" All options with the desired characteristics have already been displayed\n"));
1288 putchar ('\n');
1290 /* Print details of enumerated option arguments, if those
1291 enumerations have help text headings provided. If no help text
1292 is provided, presume that the possible values are listed in the
1293 help text for the relevant options. */
1294 for (i = 0; i < cl_enums_count; i++)
1296 unsigned int j, pos;
1298 if (opts->x_help_enum_printed[i] != 1)
1299 continue;
1300 if (cl_enums[i].help == NULL)
1301 continue;
1302 printf (" %s\n ", _(cl_enums[i].help));
1303 pos = 4;
1304 for (j = 0; cl_enums[i].values[j].arg != NULL; j++)
1306 unsigned int len = strlen (cl_enums[i].values[j].arg);
1308 if (pos > 4 && pos + 1 + len <= columns)
1310 printf (" %s", cl_enums[i].values[j].arg);
1311 pos += 1 + len;
1313 else
1315 if (pos > 4)
1317 printf ("\n ");
1318 pos = 4;
1320 printf ("%s", cl_enums[i].values[j].arg);
1321 pos += len;
1324 printf ("\n\n");
1325 opts->x_help_enum_printed[i] = 2;
1329 /* Display help for a specified type of option.
1330 The options must have ALL of the INCLUDE_FLAGS set
1331 ANY of the flags in the ANY_FLAGS set
1332 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1333 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1334 static void
1335 print_specific_help (unsigned int include_flags,
1336 unsigned int exclude_flags,
1337 unsigned int any_flags,
1338 struct gcc_options *opts,
1339 unsigned int lang_mask)
1341 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1342 const char * description = NULL;
1343 const char * descrip_extra = "";
1344 size_t i;
1345 unsigned int flag;
1347 /* Sanity check: Make sure that we do not have more
1348 languages than we have bits available to enumerate them. */
1349 gcc_assert ((1U << cl_lang_count) <= CL_MIN_OPTION_CLASS);
1351 /* If we have not done so already, obtain
1352 the desired maximum width of the output. */
1353 if (opts->x_help_columns == 0)
1355 opts->x_help_columns = get_terminal_width ();
1356 if (opts->x_help_columns == INT_MAX)
1357 /* Use a reasonable default. */
1358 opts->x_help_columns = 80;
1361 /* Decide upon the title for the options that we are going to display. */
1362 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1364 switch (flag & include_flags)
1366 case 0:
1367 case CL_DRIVER:
1368 break;
1370 case CL_TARGET:
1371 description = _("The following options are target specific");
1372 break;
1373 case CL_WARNING:
1374 description = _("The following options control compiler warning messages");
1375 break;
1376 case CL_OPTIMIZATION:
1377 description = _("The following options control optimizations");
1378 break;
1379 case CL_COMMON:
1380 description = _("The following options are language-independent");
1381 break;
1382 case CL_PARAMS:
1383 description = _("The --param option recognizes the following as parameters");
1384 break;
1385 default:
1386 if (i >= cl_lang_count)
1387 break;
1388 if (exclude_flags & all_langs_mask)
1389 description = _("The following options are specific to just the language ");
1390 else
1391 description = _("The following options are supported by the language ");
1392 descrip_extra = lang_names [i];
1393 break;
1397 if (description == NULL)
1399 if (any_flags == 0)
1401 if (include_flags & CL_UNDOCUMENTED)
1402 description = _("The following options are not documented");
1403 else if (include_flags & CL_SEPARATE)
1404 description = _("The following options take separate arguments");
1405 else if (include_flags & CL_JOINED)
1406 description = _("The following options take joined arguments");
1407 else
1409 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1410 include_flags);
1411 return;
1414 else
1416 if (any_flags & all_langs_mask)
1417 description = _("The following options are language-related");
1418 else
1419 description = _("The following options are language-independent");
1423 printf ("%s%s:\n", description, descrip_extra);
1424 print_filtered_help (include_flags, exclude_flags, any_flags,
1425 opts->x_help_columns, opts, lang_mask);
1428 /* Enable FDO-related flags. */
1430 static void
1431 enable_fdo_optimizations (struct gcc_options *opts,
1432 struct gcc_options *opts_set,
1433 int value)
1435 if (!opts_set->x_flag_branch_probabilities)
1436 opts->x_flag_branch_probabilities = value;
1437 if (!opts_set->x_flag_profile_values)
1438 opts->x_flag_profile_values = value;
1439 if (!opts_set->x_flag_unroll_loops)
1440 opts->x_flag_unroll_loops = value;
1441 if (!opts_set->x_flag_peel_loops)
1442 opts->x_flag_peel_loops = value;
1443 if (!opts_set->x_flag_tracer)
1444 opts->x_flag_tracer = value;
1445 if (!opts_set->x_flag_value_profile_transformations)
1446 opts->x_flag_value_profile_transformations = value;
1447 if (!opts_set->x_flag_inline_functions)
1448 opts->x_flag_inline_functions = value;
1449 if (!opts_set->x_flag_ipa_cp)
1450 opts->x_flag_ipa_cp = value;
1451 if (!opts_set->x_flag_ipa_cp_clone
1452 && value && opts->x_flag_ipa_cp)
1453 opts->x_flag_ipa_cp_clone = value;
1454 if (!opts_set->x_flag_ipa_bit_cp
1455 && value && opts->x_flag_ipa_cp)
1456 opts->x_flag_ipa_bit_cp = value;
1457 if (!opts_set->x_flag_predictive_commoning)
1458 opts->x_flag_predictive_commoning = value;
1459 if (!opts_set->x_flag_split_loops)
1460 opts->x_flag_split_loops = value;
1461 if (!opts_set->x_flag_unswitch_loops)
1462 opts->x_flag_unswitch_loops = value;
1463 if (!opts_set->x_flag_gcse_after_reload)
1464 opts->x_flag_gcse_after_reload = value;
1465 if (!opts_set->x_flag_tree_loop_vectorize
1466 && !opts_set->x_flag_tree_vectorize)
1467 opts->x_flag_tree_loop_vectorize = value;
1468 if (!opts_set->x_flag_tree_slp_vectorize
1469 && !opts_set->x_flag_tree_vectorize)
1470 opts->x_flag_tree_slp_vectorize = value;
1471 if (!opts_set->x_flag_vect_cost_model)
1472 opts->x_flag_vect_cost_model = VECT_COST_MODEL_DYNAMIC;
1473 if (!opts_set->x_flag_tree_loop_distribute_patterns)
1474 opts->x_flag_tree_loop_distribute_patterns = value;
1477 /* -f{,no-}sanitize{,-recover}= suboptions. */
1478 const struct sanitizer_opts_s sanitizer_opts[] =
1480 #define SANITIZER_OPT(name, flags, recover) \
1481 { #name, flags, sizeof #name - 1, recover }
1482 SANITIZER_OPT (address, (SANITIZE_ADDRESS | SANITIZE_USER_ADDRESS), true),
1483 SANITIZER_OPT (kernel-address, (SANITIZE_ADDRESS | SANITIZE_KERNEL_ADDRESS),
1484 true),
1485 SANITIZER_OPT (thread, SANITIZE_THREAD, false),
1486 SANITIZER_OPT (leak, SANITIZE_LEAK, false),
1487 SANITIZER_OPT (shift, SANITIZE_SHIFT, true),
1488 SANITIZER_OPT (shift-base, SANITIZE_SHIFT_BASE, true),
1489 SANITIZER_OPT (shift-exponent, SANITIZE_SHIFT_EXPONENT, true),
1490 SANITIZER_OPT (integer-divide-by-zero, SANITIZE_DIVIDE, true),
1491 SANITIZER_OPT (undefined, SANITIZE_UNDEFINED, true),
1492 SANITIZER_OPT (unreachable, SANITIZE_UNREACHABLE, false),
1493 SANITIZER_OPT (vla-bound, SANITIZE_VLA, true),
1494 SANITIZER_OPT (return, SANITIZE_RETURN, false),
1495 SANITIZER_OPT (null, SANITIZE_NULL, true),
1496 SANITIZER_OPT (signed-integer-overflow, SANITIZE_SI_OVERFLOW, true),
1497 SANITIZER_OPT (bool, SANITIZE_BOOL, true),
1498 SANITIZER_OPT (enum, SANITIZE_ENUM, true),
1499 SANITIZER_OPT (float-divide-by-zero, SANITIZE_FLOAT_DIVIDE, true),
1500 SANITIZER_OPT (float-cast-overflow, SANITIZE_FLOAT_CAST, true),
1501 SANITIZER_OPT (bounds, SANITIZE_BOUNDS, true),
1502 SANITIZER_OPT (bounds-strict, SANITIZE_BOUNDS | SANITIZE_BOUNDS_STRICT, true),
1503 SANITIZER_OPT (alignment, SANITIZE_ALIGNMENT, true),
1504 SANITIZER_OPT (nonnull-attribute, SANITIZE_NONNULL_ATTRIBUTE, true),
1505 SANITIZER_OPT (returns-nonnull-attribute, SANITIZE_RETURNS_NONNULL_ATTRIBUTE,
1506 true),
1507 SANITIZER_OPT (object-size, SANITIZE_OBJECT_SIZE, true),
1508 SANITIZER_OPT (vptr, SANITIZE_VPTR, true),
1509 SANITIZER_OPT (all, ~0U, true),
1510 #undef SANITIZER_OPT
1511 { NULL, 0U, 0UL, false }
1514 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1515 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1516 don't issue diagnostics. */
1518 unsigned int
1519 parse_sanitizer_options (const char *p, location_t loc, int scode,
1520 unsigned int flags, int value, bool complain)
1522 enum opt_code code = (enum opt_code) scode;
1523 while (*p != 0)
1525 size_t len, i;
1526 bool found = false;
1527 const char *comma = strchr (p, ',');
1529 if (comma == NULL)
1530 len = strlen (p);
1531 else
1532 len = comma - p;
1533 if (len == 0)
1535 p = comma + 1;
1536 continue;
1539 /* Check to see if the string matches an option class name. */
1540 for (i = 0; sanitizer_opts[i].name != NULL; ++i)
1541 if (len == sanitizer_opts[i].len
1542 && memcmp (p, sanitizer_opts[i].name, len) == 0)
1544 /* Handle both -fsanitize and -fno-sanitize cases. */
1545 if (value && sanitizer_opts[i].flag == ~0U)
1547 if (code == OPT_fsanitize_)
1549 if (complain)
1550 error_at (loc, "-fsanitize=all option is not valid");
1552 else
1553 flags |= ~(SANITIZE_THREAD | SANITIZE_LEAK
1554 | SANITIZE_UNREACHABLE | SANITIZE_RETURN);
1556 else if (value)
1558 /* Do not enable -fsanitize-recover=unreachable and
1559 -fsanitize-recover=return if -fsanitize-recover=undefined
1560 is selected. */
1561 if (code == OPT_fsanitize_recover_
1562 && sanitizer_opts[i].flag == SANITIZE_UNDEFINED)
1563 flags |= (SANITIZE_UNDEFINED
1564 & ~(SANITIZE_UNREACHABLE | SANITIZE_RETURN));
1565 else
1566 flags |= sanitizer_opts[i].flag;
1568 else
1569 flags &= ~sanitizer_opts[i].flag;
1570 found = true;
1571 break;
1574 if (! found && complain)
1575 error_at (loc, "unrecognized argument to -fsanitize%s= option: %q.*s",
1576 code == OPT_fsanitize_ ? "" : "-recover", (int) len, p);
1578 if (comma == NULL)
1579 break;
1580 p = comma + 1;
1582 return flags;
1585 /* Handle target- and language-independent options. Return zero to
1586 generate an "unknown option" message. Only options that need
1587 extra handling need to be listed here; if you simply want
1588 DECODED->value assigned to a variable, it happens automatically. */
1590 bool
1591 common_handle_option (struct gcc_options *opts,
1592 struct gcc_options *opts_set,
1593 const struct cl_decoded_option *decoded,
1594 unsigned int lang_mask, int kind ATTRIBUTE_UNUSED,
1595 location_t loc,
1596 const struct cl_option_handlers *handlers,
1597 diagnostic_context *dc)
1599 size_t scode = decoded->opt_index;
1600 const char *arg = decoded->arg;
1601 int value = decoded->value;
1602 enum opt_code code = (enum opt_code) scode;
1604 gcc_assert (decoded->canonical_option_num_elements <= 2);
1606 switch (code)
1608 case OPT__param:
1609 handle_param (opts, opts_set, loc, arg);
1610 break;
1612 case OPT__help:
1614 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1615 unsigned int undoc_mask;
1616 unsigned int i;
1618 if (lang_mask == CL_DRIVER)
1619 break;
1621 undoc_mask = ((opts->x_verbose_flag | opts->x_extra_warnings)
1623 : CL_UNDOCUMENTED);
1624 /* First display any single language specific options. */
1625 for (i = 0; i < cl_lang_count; i++)
1626 print_specific_help
1627 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0, opts,
1628 lang_mask);
1629 /* Next display any multi language specific options. */
1630 print_specific_help (0, undoc_mask, all_langs_mask, opts, lang_mask);
1631 /* Then display any remaining, non-language options. */
1632 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1633 if (i != CL_DRIVER)
1634 print_specific_help (i, undoc_mask, 0, opts, lang_mask);
1635 opts->x_exit_after_options = true;
1636 break;
1639 case OPT__target_help:
1640 if (lang_mask == CL_DRIVER)
1641 break;
1643 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0, opts, lang_mask);
1644 opts->x_exit_after_options = true;
1645 break;
1647 case OPT__help_:
1649 const char *a = arg;
1650 unsigned int include_flags = 0;
1651 /* Note - by default we include undocumented options when listing
1652 specific classes. If you only want to see documented options
1653 then add ",^undocumented" to the --help= option. E.g.:
1655 --help=target,^undocumented */
1656 unsigned int exclude_flags = 0;
1658 if (lang_mask == CL_DRIVER)
1659 break;
1661 /* Walk along the argument string, parsing each word in turn.
1662 The format is:
1663 arg = [^]{word}[,{arg}]
1664 word = {optimizers|target|warnings|undocumented|
1665 params|common|<language>} */
1666 while (*a != 0)
1668 static const struct
1670 const char *string;
1671 unsigned int flag;
1673 specifics[] =
1675 { "optimizers", CL_OPTIMIZATION },
1676 { "target", CL_TARGET },
1677 { "warnings", CL_WARNING },
1678 { "undocumented", CL_UNDOCUMENTED },
1679 { "params", CL_PARAMS },
1680 { "joined", CL_JOINED },
1681 { "separate", CL_SEPARATE },
1682 { "common", CL_COMMON },
1683 { NULL, 0 }
1685 unsigned int *pflags;
1686 const char *comma;
1687 unsigned int lang_flag, specific_flag;
1688 unsigned int len;
1689 unsigned int i;
1691 if (*a == '^')
1693 ++a;
1694 if (*a == '\0')
1696 error_at (loc, "missing argument to %qs", "--help=^");
1697 break;
1699 pflags = &exclude_flags;
1701 else
1702 pflags = &include_flags;
1704 comma = strchr (a, ',');
1705 if (comma == NULL)
1706 len = strlen (a);
1707 else
1708 len = comma - a;
1709 if (len == 0)
1711 a = comma + 1;
1712 continue;
1715 /* Check to see if the string matches an option class name. */
1716 for (i = 0, specific_flag = 0; specifics[i].string != NULL; i++)
1717 if (strncasecmp (a, specifics[i].string, len) == 0)
1719 specific_flag = specifics[i].flag;
1720 break;
1723 /* Check to see if the string matches a language name.
1724 Note - we rely upon the alpha-sorted nature of the entries in
1725 the lang_names array, specifically that shorter names appear
1726 before their longer variants. (i.e. C before C++). That way
1727 when we are attempting to match --help=c for example we will
1728 match with C first and not C++. */
1729 for (i = 0, lang_flag = 0; i < cl_lang_count; i++)
1730 if (strncasecmp (a, lang_names[i], len) == 0)
1732 lang_flag = 1U << i;
1733 break;
1736 if (specific_flag != 0)
1738 if (lang_flag == 0)
1739 *pflags |= specific_flag;
1740 else
1742 /* The option's argument matches both the start of a
1743 language name and the start of an option class name.
1744 We have a special case for when the user has
1745 specified "--help=c", but otherwise we have to issue
1746 a warning. */
1747 if (strncasecmp (a, "c", len) == 0)
1748 *pflags |= lang_flag;
1749 else
1750 warning_at (loc, 0,
1751 "--help argument %q.*s is ambiguous, "
1752 "please be more specific",
1753 len, a);
1756 else if (lang_flag != 0)
1757 *pflags |= lang_flag;
1758 else
1759 warning_at (loc, 0,
1760 "unrecognized argument to --help= option: %q.*s",
1761 len, a);
1763 if (comma == NULL)
1764 break;
1765 a = comma + 1;
1768 if (include_flags)
1769 print_specific_help (include_flags, exclude_flags, 0, opts,
1770 lang_mask);
1771 opts->x_exit_after_options = true;
1772 break;
1775 case OPT__version:
1776 if (lang_mask == CL_DRIVER)
1777 break;
1779 opts->x_exit_after_options = true;
1780 break;
1782 case OPT_fsanitize_:
1783 opts->x_flag_sanitize
1784 = parse_sanitizer_options (arg, loc, code,
1785 opts->x_flag_sanitize, value, true);
1787 /* Kernel ASan implies normal ASan but does not yet support
1788 all features. */
1789 if (opts->x_flag_sanitize & SANITIZE_KERNEL_ADDRESS)
1791 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD,
1792 0, opts->x_param_values,
1793 opts_set->x_param_values);
1794 maybe_set_param_value (PARAM_ASAN_GLOBALS, 0, opts->x_param_values,
1795 opts_set->x_param_values);
1796 maybe_set_param_value (PARAM_ASAN_STACK, 0, opts->x_param_values,
1797 opts_set->x_param_values);
1798 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN, 0,
1799 opts->x_param_values,
1800 opts_set->x_param_values);
1802 break;
1804 case OPT_fsanitize_recover_:
1805 opts->x_flag_sanitize_recover
1806 = parse_sanitizer_options (arg, loc, code,
1807 opts->x_flag_sanitize_recover, value, true);
1808 break;
1810 case OPT_fasan_shadow_offset_:
1811 /* Deferred. */
1812 break;
1814 case OPT_fsanitize_address_use_after_scope:
1815 opts->x_flag_sanitize_address_use_after_scope = value;
1816 break;
1818 case OPT_fsanitize_recover:
1819 if (value)
1820 opts->x_flag_sanitize_recover
1821 |= (SANITIZE_UNDEFINED | SANITIZE_NONDEFAULT)
1822 & ~(SANITIZE_UNREACHABLE | SANITIZE_RETURN);
1823 else
1824 opts->x_flag_sanitize_recover
1825 &= ~(SANITIZE_UNDEFINED | SANITIZE_NONDEFAULT);
1826 break;
1828 case OPT_O:
1829 case OPT_Os:
1830 case OPT_Ofast:
1831 case OPT_Og:
1832 /* Currently handled in a prescan. */
1833 break;
1835 case OPT_Werror:
1836 dc->warning_as_error_requested = value;
1837 break;
1839 case OPT_Werror_:
1840 if (lang_mask == CL_DRIVER)
1841 break;
1843 enable_warning_as_error (arg, value, lang_mask, handlers,
1844 opts, opts_set, loc, dc);
1845 break;
1847 case OPT_Wlarger_than_:
1848 opts->x_larger_than_size = value;
1849 opts->x_warn_larger_than = value != -1;
1850 break;
1852 case OPT_Wfatal_errors:
1853 dc->fatal_errors = value;
1854 break;
1856 case OPT_Wframe_larger_than_:
1857 opts->x_frame_larger_than_size = value;
1858 opts->x_warn_frame_larger_than = value != -1;
1859 break;
1861 case OPT_Wstack_usage_:
1862 opts->x_warn_stack_usage = value;
1863 opts->x_flag_stack_usage_info = value != -1;
1864 break;
1866 case OPT_Wstrict_aliasing:
1867 set_Wstrict_aliasing (opts, value);
1868 break;
1870 case OPT_Wstrict_overflow:
1871 opts->x_warn_strict_overflow = (value
1872 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1873 : 0);
1874 break;
1876 case OPT_Wsystem_headers:
1877 dc->dc_warn_system_headers = value;
1878 break;
1880 case OPT_aux_info:
1881 opts->x_flag_gen_aux_info = 1;
1882 break;
1884 case OPT_auxbase_strip:
1886 char *tmp = xstrdup (arg);
1887 strip_off_ending (tmp, strlen (tmp));
1888 if (tmp[0])
1889 opts->x_aux_base_name = tmp;
1890 else
1891 free (tmp);
1893 break;
1895 case OPT_d:
1896 decode_d_option (arg, opts, loc, dc);
1897 break;
1899 case OPT_fcall_used_:
1900 case OPT_fcall_saved_:
1901 /* Deferred. */
1902 break;
1904 case OPT_fdbg_cnt_:
1905 /* Deferred. */
1906 break;
1908 case OPT_fdbg_cnt_list:
1909 /* Deferred. */
1910 opts->x_exit_after_options = true;
1911 break;
1913 case OPT_fdebug_prefix_map_:
1914 /* Deferred. */
1915 break;
1917 case OPT_fdiagnostics_show_location_:
1918 diagnostic_prefixing_rule (dc) = (diagnostic_prefixing_rule_t) value;
1919 break;
1921 case OPT_fdiagnostics_show_caret:
1922 dc->show_caret = value;
1923 break;
1925 case OPT_fdiagnostics_color_:
1926 diagnostic_color_init (dc, value);
1927 break;
1929 case OPT_fdiagnostics_parseable_fixits:
1930 dc->parseable_fixits_p = value;
1931 break;
1933 case OPT_fdiagnostics_show_option:
1934 dc->show_option_requested = value;
1935 break;
1937 case OPT_fdump_:
1938 /* Deferred. */
1939 break;
1941 case OPT_ffast_math:
1942 set_fast_math_flags (opts, value);
1943 break;
1945 case OPT_funsafe_math_optimizations:
1946 set_unsafe_math_optimizations_flags (opts, value);
1947 break;
1949 case OPT_ffixed_:
1950 /* Deferred. */
1951 break;
1953 case OPT_finline_limit_:
1954 set_param_value ("max-inline-insns-single", value / 2,
1955 opts->x_param_values, opts_set->x_param_values);
1956 set_param_value ("max-inline-insns-auto", value / 2,
1957 opts->x_param_values, opts_set->x_param_values);
1958 break;
1960 case OPT_finstrument_functions_exclude_function_list_:
1961 add_comma_separated_to_vector
1962 (&opts->x_flag_instrument_functions_exclude_functions, arg);
1963 break;
1965 case OPT_finstrument_functions_exclude_file_list_:
1966 add_comma_separated_to_vector
1967 (&opts->x_flag_instrument_functions_exclude_files, arg);
1968 break;
1970 case OPT_fmessage_length_:
1971 pp_set_line_maximum_length (dc->printer, value);
1972 diagnostic_set_caret_max_width (dc, value);
1973 break;
1975 case OPT_fopt_info:
1976 case OPT_fopt_info_:
1977 /* Deferred. */
1978 break;
1980 case OPT_foffload_:
1982 const char *p = arg;
1983 opts->x_flag_disable_hsa = true;
1984 while (*p != 0)
1986 const char *comma = strchr (p, ',');
1988 if ((strncmp (p, "disable", 7) == 0)
1989 && (p[7] == ',' || p[7] == '\0'))
1991 opts->x_flag_disable_hsa = true;
1992 break;
1995 if ((strncmp (p, "hsa", 3) == 0)
1996 && (p[3] == ',' || p[3] == '\0'))
1998 #ifdef ENABLE_HSA
1999 opts->x_flag_disable_hsa = false;
2000 #else
2001 sorry ("HSA has not been enabled during configuration");
2002 #endif
2004 if (!comma)
2005 break;
2006 p = comma + 1;
2008 break;
2011 #ifndef ACCEL_COMPILER
2012 case OPT_foffload_abi_:
2013 error_at (loc, "-foffload-abi option can be specified only for "
2014 "offload compiler");
2015 break;
2016 #endif
2018 case OPT_fpack_struct_:
2019 if (value <= 0 || (value & (value - 1)) || value > 16)
2020 error_at (loc,
2021 "structure alignment must be a small power of two, not %d",
2022 value);
2023 else
2024 opts->x_initial_max_fld_align = value;
2025 break;
2027 case OPT_fplugin_:
2028 case OPT_fplugin_arg_:
2029 /* Deferred. */
2030 break;
2032 case OPT_fprofile_use_:
2033 opts->x_profile_data_prefix = xstrdup (arg);
2034 opts->x_flag_profile_use = true;
2035 value = true;
2036 /* No break here - do -fprofile-use processing. */
2037 /* FALLTHRU */
2038 case OPT_fprofile_use:
2039 enable_fdo_optimizations (opts, opts_set, value);
2040 if (!opts_set->x_flag_profile_reorder_functions)
2041 opts->x_flag_profile_reorder_functions = value;
2042 /* Indirect call profiling should do all useful transformations
2043 speculative devirtualization does. */
2044 if (!opts_set->x_flag_devirtualize_speculatively
2045 && opts->x_flag_value_profile_transformations)
2046 opts->x_flag_devirtualize_speculatively = false;
2047 break;
2049 case OPT_fauto_profile_:
2050 opts->x_auto_profile_file = xstrdup (arg);
2051 opts->x_flag_auto_profile = true;
2052 value = true;
2053 /* No break here - do -fauto-profile processing. */
2054 /* FALLTHRU */
2055 case OPT_fauto_profile:
2056 enable_fdo_optimizations (opts, opts_set, value);
2057 if (!opts_set->x_flag_profile_correction)
2058 opts->x_flag_profile_correction = value;
2059 maybe_set_param_value (
2060 PARAM_EARLY_INLINER_MAX_ITERATIONS, 10,
2061 opts->x_param_values, opts_set->x_param_values);
2062 break;
2064 case OPT_fprofile_generate_:
2065 opts->x_profile_data_prefix = xstrdup (arg);
2066 value = true;
2067 /* No break here - do -fprofile-generate processing. */
2068 /* FALLTHRU */
2069 case OPT_fprofile_generate:
2070 if (!opts_set->x_profile_arc_flag)
2071 opts->x_profile_arc_flag = value;
2072 if (!opts_set->x_flag_profile_values)
2073 opts->x_flag_profile_values = value;
2074 if (!opts_set->x_flag_inline_functions)
2075 opts->x_flag_inline_functions = value;
2076 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
2077 quadratic. Disable the pass until better memory representation
2078 is done. */
2079 if (!opts_set->x_flag_ipa_reference)
2080 opts->x_flag_ipa_reference = false;
2081 break;
2083 case OPT_ftree_vectorize:
2084 if (!opts_set->x_flag_tree_loop_vectorize)
2085 opts->x_flag_tree_loop_vectorize = value;
2086 if (!opts_set->x_flag_tree_slp_vectorize)
2087 opts->x_flag_tree_slp_vectorize = value;
2088 break;
2089 case OPT_fshow_column:
2090 dc->show_column = value;
2091 break;
2093 case OPT_frandom_seed:
2094 /* The real switch is -fno-random-seed. */
2095 if (value)
2096 return false;
2097 /* Deferred. */
2098 break;
2100 case OPT_frandom_seed_:
2101 /* Deferred. */
2102 break;
2104 case OPT_fsched_verbose_:
2105 #ifdef INSN_SCHEDULING
2106 /* Handled with Var in common.opt. */
2107 break;
2108 #else
2109 return false;
2110 #endif
2112 case OPT_fsched_stalled_insns_:
2113 opts->x_flag_sched_stalled_insns = value;
2114 if (opts->x_flag_sched_stalled_insns == 0)
2115 opts->x_flag_sched_stalled_insns = -1;
2116 break;
2118 case OPT_fsched_stalled_insns_dep_:
2119 opts->x_flag_sched_stalled_insns_dep = value;
2120 break;
2122 case OPT_fstack_check_:
2123 if (!strcmp (arg, "no"))
2124 opts->x_flag_stack_check = NO_STACK_CHECK;
2125 else if (!strcmp (arg, "generic"))
2126 /* This is the old stack checking method. */
2127 opts->x_flag_stack_check = STACK_CHECK_BUILTIN
2128 ? FULL_BUILTIN_STACK_CHECK
2129 : GENERIC_STACK_CHECK;
2130 else if (!strcmp (arg, "specific"))
2131 /* This is the new stack checking method. */
2132 opts->x_flag_stack_check = STACK_CHECK_BUILTIN
2133 ? FULL_BUILTIN_STACK_CHECK
2134 : STACK_CHECK_STATIC_BUILTIN
2135 ? STATIC_BUILTIN_STACK_CHECK
2136 : GENERIC_STACK_CHECK;
2137 else
2138 warning_at (loc, 0, "unknown stack check parameter %qs", arg);
2139 break;
2141 case OPT_fstack_limit:
2142 /* The real switch is -fno-stack-limit. */
2143 if (value)
2144 return false;
2145 /* Deferred. */
2146 break;
2148 case OPT_fstack_limit_register_:
2149 case OPT_fstack_limit_symbol_:
2150 /* Deferred. */
2151 break;
2153 case OPT_fstack_usage:
2154 opts->x_flag_stack_usage = value;
2155 opts->x_flag_stack_usage_info = value != 0;
2156 break;
2158 case OPT_g:
2159 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg, opts, opts_set,
2160 loc);
2161 break;
2163 case OPT_gcoff:
2164 set_debug_level (SDB_DEBUG, false, arg, opts, opts_set, loc);
2165 break;
2167 case OPT_gdwarf:
2168 if (arg && strlen (arg) != 0)
2170 error_at (loc, "%<-gdwarf%s%> is ambiguous; "
2171 "use %<-gdwarf-%s%> for DWARF version "
2172 "or %<-gdwarf -g%s%> for debug level", arg, arg, arg);
2173 break;
2175 else
2176 value = opts->x_dwarf_version;
2178 /* FALLTHRU */
2179 case OPT_gdwarf_:
2180 if (value < 2 || value > 5)
2181 error_at (loc, "dwarf version %d is not supported", value);
2182 else
2183 opts->x_dwarf_version = value;
2184 set_debug_level (DWARF2_DEBUG, false, "", opts, opts_set, loc);
2185 break;
2187 case OPT_gsplit_dwarf:
2188 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, "", opts, opts_set,
2189 loc);
2190 break;
2192 case OPT_ggdb:
2193 set_debug_level (NO_DEBUG, 2, arg, opts, opts_set, loc);
2194 break;
2196 case OPT_gstabs:
2197 case OPT_gstabs_:
2198 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg, opts, opts_set,
2199 loc);
2200 break;
2202 case OPT_gvms:
2203 set_debug_level (VMS_DEBUG, false, arg, opts, opts_set, loc);
2204 break;
2206 case OPT_gxcoff:
2207 case OPT_gxcoff_:
2208 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg, opts, opts_set,
2209 loc);
2210 break;
2212 case OPT_gz:
2213 case OPT_gz_:
2214 /* Handled completely via specs. */
2215 break;
2217 case OPT_pedantic_errors:
2218 dc->pedantic_errors = 1;
2219 control_warning_option (OPT_Wpedantic, DK_ERROR, NULL, value,
2220 loc, lang_mask,
2221 handlers, opts, opts_set,
2222 dc);
2223 break;
2225 case OPT_flto:
2226 opts->x_flag_lto = value ? "" : NULL;
2227 break;
2229 case OPT_w:
2230 dc->dc_inhibit_warnings = true;
2231 break;
2233 case OPT_fmax_errors_:
2234 dc->max_errors = value;
2235 break;
2237 case OPT_fuse_ld_bfd:
2238 case OPT_fuse_ld_gold:
2239 case OPT_fuse_linker_plugin:
2240 /* No-op. Used by the driver and passed to us because it starts with f.*/
2241 break;
2243 case OPT_fwrapv:
2244 if (value)
2245 opts->x_flag_trapv = 0;
2246 break;
2248 case OPT_ftrapv:
2249 if (value)
2250 opts->x_flag_wrapv = 0;
2251 break;
2253 case OPT_fipa_icf:
2254 opts->x_flag_ipa_icf_functions = value;
2255 opts->x_flag_ipa_icf_variables = value;
2256 break;
2258 default:
2259 /* If the flag was handled in a standard way, assume the lack of
2260 processing here is intentional. */
2261 gcc_assert (option_flag_var (scode, opts));
2262 break;
2265 common_handle_option_auto (opts, opts_set, decoded, lang_mask, kind,
2266 loc, handlers, dc);
2267 return true;
2270 /* Handle --param NAME=VALUE. */
2271 static void
2272 handle_param (struct gcc_options *opts, struct gcc_options *opts_set,
2273 location_t loc, const char *carg)
2275 char *equal, *arg;
2276 int value;
2278 arg = xstrdup (carg);
2279 equal = strchr (arg, '=');
2280 if (!equal)
2281 error_at (loc, "%s: --param arguments should be of the form NAME=VALUE",
2282 arg);
2283 else
2285 *equal = '\0';
2287 enum compiler_param index;
2288 if (!find_param (arg, &index))
2290 const char *suggestion = find_param_fuzzy (arg);
2291 if (suggestion)
2292 error_at (loc, "invalid --param name %qs; did you mean %qs?",
2293 arg, suggestion);
2294 else
2295 error_at (loc, "invalid --param name %qs", arg);
2297 else
2299 if (!param_string_value_p (index, equal + 1, &value))
2300 value = integral_argument (equal + 1);
2302 if (value == -1)
2303 error_at (loc, "invalid --param value %qs", equal + 1);
2304 else
2305 set_param_value (arg, value,
2306 opts->x_param_values, opts_set->x_param_values);
2310 free (arg);
2313 /* Used to set the level of strict aliasing warnings in OPTS,
2314 when no level is specified (i.e., when -Wstrict-aliasing, and not
2315 -Wstrict-aliasing=level was given).
2316 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2317 and 0 otherwise. After calling this function, wstrict_aliasing will be
2318 set to the default value of -Wstrict_aliasing=level, currently 3. */
2319 static void
2320 set_Wstrict_aliasing (struct gcc_options *opts, int onoff)
2322 gcc_assert (onoff == 0 || onoff == 1);
2323 if (onoff != 0)
2324 opts->x_warn_strict_aliasing = 3;
2325 else
2326 opts->x_warn_strict_aliasing = 0;
2329 /* The following routines are useful in setting all the flags that
2330 -ffast-math and -fno-fast-math imply. */
2331 static void
2332 set_fast_math_flags (struct gcc_options *opts, int set)
2334 if (!opts->frontend_set_flag_unsafe_math_optimizations)
2336 opts->x_flag_unsafe_math_optimizations = set;
2337 set_unsafe_math_optimizations_flags (opts, set);
2339 if (!opts->frontend_set_flag_finite_math_only)
2340 opts->x_flag_finite_math_only = set;
2341 if (!opts->frontend_set_flag_errno_math)
2342 opts->x_flag_errno_math = !set;
2343 if (set)
2345 if (!opts->frontend_set_flag_signaling_nans)
2346 opts->x_flag_signaling_nans = 0;
2347 if (!opts->frontend_set_flag_rounding_math)
2348 opts->x_flag_rounding_math = 0;
2349 if (!opts->frontend_set_flag_cx_limited_range)
2350 opts->x_flag_cx_limited_range = 1;
2354 /* When -funsafe-math-optimizations is set the following
2355 flags are set as well. */
2356 static void
2357 set_unsafe_math_optimizations_flags (struct gcc_options *opts, int set)
2359 if (!opts->frontend_set_flag_trapping_math)
2360 opts->x_flag_trapping_math = !set;
2361 if (!opts->frontend_set_flag_signed_zeros)
2362 opts->x_flag_signed_zeros = !set;
2363 if (!opts->frontend_set_flag_associative_math)
2364 opts->x_flag_associative_math = set;
2365 if (!opts->frontend_set_flag_reciprocal_math)
2366 opts->x_flag_reciprocal_math = set;
2369 /* Return true iff flags in OPTS are set as if -ffast-math. */
2370 bool
2371 fast_math_flags_set_p (const struct gcc_options *opts)
2373 return (!opts->x_flag_trapping_math
2374 && opts->x_flag_unsafe_math_optimizations
2375 && opts->x_flag_finite_math_only
2376 && !opts->x_flag_signed_zeros
2377 && !opts->x_flag_errno_math);
2380 /* Return true iff flags are set as if -ffast-math but using the flags stored
2381 in the struct cl_optimization structure. */
2382 bool
2383 fast_math_flags_struct_set_p (struct cl_optimization *opt)
2385 return (!opt->x_flag_trapping_math
2386 && opt->x_flag_unsafe_math_optimizations
2387 && opt->x_flag_finite_math_only
2388 && !opt->x_flag_signed_zeros
2389 && !opt->x_flag_errno_math);
2392 /* Handle a debug output -g switch for options OPTS
2393 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2394 explicitly), location LOC. EXTENDED is true or false to support
2395 extended output (2 is special and means "-ggdb" was given). */
2396 static void
2397 set_debug_level (enum debug_info_type type, int extended, const char *arg,
2398 struct gcc_options *opts, struct gcc_options *opts_set,
2399 location_t loc)
2401 opts->x_use_gnu_debug_info_extensions = extended;
2403 if (type == NO_DEBUG)
2405 if (opts->x_write_symbols == NO_DEBUG)
2407 opts->x_write_symbols = PREFERRED_DEBUGGING_TYPE;
2409 if (extended == 2)
2411 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2412 opts->x_write_symbols = DWARF2_DEBUG;
2413 #elif defined DBX_DEBUGGING_INFO
2414 opts->x_write_symbols = DBX_DEBUG;
2415 #endif
2418 if (opts->x_write_symbols == NO_DEBUG)
2419 warning_at (loc, 0, "target system does not support debug output");
2422 else
2424 /* Does it conflict with an already selected type? */
2425 if (opts_set->x_write_symbols != NO_DEBUG
2426 && opts->x_write_symbols != NO_DEBUG
2427 && type != opts->x_write_symbols)
2428 error_at (loc, "debug format %qs conflicts with prior selection",
2429 debug_type_names[type]);
2430 opts->x_write_symbols = type;
2431 opts_set->x_write_symbols = type;
2434 /* A debug flag without a level defaults to level 2.
2435 If off or at level 1, set it to level 2, but if already
2436 at level 3, don't lower it. */
2437 if (*arg == '\0')
2439 if (opts->x_debug_info_level < DINFO_LEVEL_NORMAL)
2440 opts->x_debug_info_level = DINFO_LEVEL_NORMAL;
2442 else
2444 int argval = integral_argument (arg);
2445 if (argval == -1)
2446 error_at (loc, "unrecognised debug output level %qs", arg);
2447 else if (argval > 3)
2448 error_at (loc, "debug output level %qs is too high", arg);
2449 else
2450 opts->x_debug_info_level = (enum debug_info_levels) argval;
2454 /* Arrange to dump core on error for diagnostic context DC. (The
2455 regular error message is still printed first, except in the case of
2456 abort ().) */
2458 static void
2459 setup_core_dumping (diagnostic_context *dc)
2461 #ifdef SIGABRT
2462 signal (SIGABRT, SIG_DFL);
2463 #endif
2464 #if defined(HAVE_SETRLIMIT)
2466 struct rlimit rlim;
2467 if (getrlimit (RLIMIT_CORE, &rlim) != 0)
2468 fatal_error (input_location, "getting core file size maximum limit: %m");
2469 rlim.rlim_cur = rlim.rlim_max;
2470 if (setrlimit (RLIMIT_CORE, &rlim) != 0)
2471 fatal_error (input_location,
2472 "setting core file size limit to maximum: %m");
2474 #endif
2475 diagnostic_abort_on_error (dc);
2478 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2479 diagnostic context DC. */
2481 static void
2482 decode_d_option (const char *arg, struct gcc_options *opts,
2483 location_t loc, diagnostic_context *dc)
2485 int c;
2487 while (*arg)
2488 switch (c = *arg++)
2490 case 'A':
2491 opts->x_flag_debug_asm = 1;
2492 break;
2493 case 'p':
2494 opts->x_flag_print_asm_name = 1;
2495 break;
2496 case 'P':
2497 opts->x_flag_dump_rtl_in_asm = 1;
2498 opts->x_flag_print_asm_name = 1;
2499 break;
2500 case 'x':
2501 opts->x_rtl_dump_and_exit = 1;
2502 break;
2503 case 'D': /* These are handled by the preprocessor. */
2504 case 'I':
2505 case 'M':
2506 case 'N':
2507 case 'U':
2508 break;
2509 case 'H':
2510 setup_core_dumping (dc);
2511 break;
2512 case 'a':
2513 opts->x_flag_dump_all_passed = true;
2514 break;
2516 default:
2517 warning_at (loc, 0, "unrecognized gcc debugging option: %c", c);
2518 break;
2522 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2523 mask LANG_MASK, option handlers HANDLERS) as an error for option
2524 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2525 NULL), location LOC. This is used by -Werror=. */
2527 static void
2528 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask,
2529 const struct cl_option_handlers *handlers,
2530 struct gcc_options *opts,
2531 struct gcc_options *opts_set,
2532 location_t loc, diagnostic_context *dc)
2534 char *new_option;
2535 int option_index;
2537 new_option = XNEWVEC (char, strlen (arg) + 2);
2538 new_option[0] = 'W';
2539 strcpy (new_option + 1, arg);
2540 option_index = find_opt (new_option, lang_mask);
2541 if (option_index == OPT_SPECIAL_unknown)
2542 error_at (loc, "-Werror=%s: no option -%s", arg, new_option);
2543 else if (!(cl_options[option_index].flags & CL_WARNING))
2544 error_at (loc, "-Werror=%s: -%s is not an option that controls warnings",
2545 arg, new_option);
2546 else
2548 const diagnostic_t kind = value ? DK_ERROR : DK_WARNING;
2549 const char *arg = NULL;
2551 if (cl_options[option_index].flags & CL_JOINED)
2552 arg = new_option + cl_options[option_index].opt_len;
2553 control_warning_option (option_index, (int) kind, arg, value,
2554 loc, lang_mask,
2555 handlers, opts, opts_set, dc);
2557 free (new_option);
2560 /* Return malloced memory for the name of the option OPTION_INDEX
2561 which enabled a diagnostic (context CONTEXT), originally of type
2562 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2563 as -Werror. */
2565 char *
2566 option_name (diagnostic_context *context, int option_index,
2567 diagnostic_t orig_diag_kind, diagnostic_t diag_kind)
2569 if (option_index)
2571 /* A warning classified as an error. */
2572 if ((orig_diag_kind == DK_WARNING || orig_diag_kind == DK_PEDWARN)
2573 && diag_kind == DK_ERROR)
2574 return concat (cl_options[OPT_Werror_].opt_text,
2575 /* Skip over "-W". */
2576 cl_options[option_index].opt_text + 2,
2577 NULL);
2578 /* A warning with option. */
2579 else
2580 return xstrdup (cl_options[option_index].opt_text);
2582 /* A warning without option classified as an error. */
2583 else if ((orig_diag_kind == DK_WARNING || orig_diag_kind == DK_PEDWARN
2584 || diag_kind == DK_WARNING)
2585 && context->warning_as_error_requested)
2586 return xstrdup (cl_options[OPT_Werror].opt_text);
2587 else
2588 return NULL;