1 /* Command line option handling.
2 Copyright (C) 2002-2020 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
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
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/>. */
24 #include "coretypes.h"
28 #include "diagnostic.h"
29 #include "opts-diagnostic.h"
30 #include "insn-attr-common.h"
31 #include "common/common-target.h"
32 #include "spellcheck.h"
33 #include "opt-suggestions.h"
34 #include "diagnostic-color.h"
37 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
39 /* Indexed by enum debug_info_type. */
40 const char *const debug_type_names
[] =
42 "none", "stabs", "dwarf-2", "xcoff", "vms"
45 /* Parse the -femit-struct-debug-detailed option value
46 and set the flag variables. */
48 #define MATCH( prefix, string ) \
49 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
50 ? ((string += sizeof prefix - 1), 1) : 0)
53 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
56 /* various labels for comparison */
57 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
58 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
59 static const char none_lbl
[] = "none", any_lbl
[] = "any";
60 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
62 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
63 /* Default is to apply to as much as possible. */
64 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
68 if (MATCH (dfn_lbl
, spec
))
69 usage
= DINFO_USAGE_DFN
;
70 else if (MATCH (dir_lbl
, spec
))
71 usage
= DINFO_USAGE_DIR_USE
;
72 else if (MATCH (ind_lbl
, spec
))
73 usage
= DINFO_USAGE_IND_USE
;
75 /* Generics or not? */
76 if (MATCH (ord_lbl
, spec
))
78 else if (MATCH (gen_lbl
, spec
))
81 /* What allowable environment? */
82 if (MATCH (none_lbl
, spec
))
83 files
= DINFO_STRUCT_FILE_NONE
;
84 else if (MATCH (any_lbl
, spec
))
85 files
= DINFO_STRUCT_FILE_ANY
;
86 else if (MATCH (sys_lbl
, spec
))
87 files
= DINFO_STRUCT_FILE_SYS
;
88 else if (MATCH (base_lbl
, spec
))
89 files
= DINFO_STRUCT_FILE_BASE
;
92 "argument %qs to %<-femit-struct-debug-detailed%> "
96 /* Effect the specification. */
97 if (usage
== DINFO_USAGE_NUM_ENUMS
)
101 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
102 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
103 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
107 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
108 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
109 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
115 opts
->x_debug_struct_ordinary
[usage
] = files
;
117 opts
->x_debug_struct_generic
[usage
] = files
;
121 set_struct_debug_option (opts
, loc
, spec
+1);
124 /* No more -femit-struct-debug-detailed specifications.
128 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
130 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
131 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
132 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
133 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
135 "%<-femit-struct-debug-detailed=dir:...%> must allow "
136 "at least as much as "
137 "%<-femit-struct-debug-detailed=ind:...%>");
141 /* Strip off a legitimate source ending from the input string NAME of
142 length LEN. Rather than having to know the names used by all of
143 our front ends, we strip off an ending of a period followed by
144 up to fource characters. (C++ uses ".cpp".) */
147 strip_off_ending (char *name
, int len
)
150 for (i
= 2; i
< 5 && len
> i
; i
++)
152 if (name
[len
- i
] == '.')
154 name
[len
- i
] = '\0';
160 /* Find the base name of a path, stripping off both directories and
161 a single final extension. */
163 base_of_path (const char *path
, const char **base_out
)
165 const char *base
= path
;
167 const char *p
= path
;
171 if (IS_DIR_SEPARATOR (c
))
186 /* What to print when a switch has no documentation. */
187 static const char undocumented_msg
[] = N_("This option lacks documentation.");
188 static const char use_diagnosed_msg
[] = N_("Uses of this option are diagnosed.");
190 typedef char *char_p
; /* For DEF_VEC_P. */
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
,
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
,
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
,
207 diagnostic_context
*dc
);
209 /* Handle a back-end option; arguments and return value as for
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
,
218 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
219 diagnostic_context
*dc
, void (*) (void))
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. */
229 add_comma_separated_to_vector (void **pvec
, const char *arg
)
235 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
237 vec_check_alloc (v
, 1);
239 /* We never free this string. */
252 v
->safe_push (token_start
);
255 if (*r
== '\\' && r
[1] == ',')
265 if (*token_start
!= '\0')
266 v
->safe_push (token_start
);
271 /* Initialize opts_obstack. */
274 init_opts_obstack (void)
276 gcc_obstack_init (&opts_obstack
);
279 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
282 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
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
;
291 memset (opts_set
, 0, sizeof (*opts_set
));
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. */
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
,
323 diagnostic_context
*dc
)
325 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
329 gcc_assert (level
== 2);
331 gcc_assert (level
== 3);
333 gcc_assert (level
== 1);
335 switch (default_opt
->levels
)
341 case OPT_LEVELS_0_ONLY
:
342 enabled
= (level
== 0);
345 case OPT_LEVELS_1_PLUS
:
346 enabled
= (level
>= 1);
349 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
350 enabled
= (level
>= 1 && !size
&& !debug
);
353 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
354 enabled
= (level
>= 1 && !debug
);
357 case OPT_LEVELS_2_PLUS
:
358 enabled
= (level
>= 2);
361 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
362 enabled
= (level
>= 2 && !size
&& !debug
);
365 case OPT_LEVELS_3_PLUS
:
366 enabled
= (level
>= 3);
369 case OPT_LEVELS_3_PLUS_AND_SIZE
:
370 enabled
= (level
>= 3 || size
);
373 case OPT_LEVELS_SIZE
:
377 case OPT_LEVELS_FAST
:
381 case OPT_LEVELS_NONE
:
387 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
388 default_opt
->arg
, default_opt
->value
,
389 lang_mask
, DK_UNSPECIFIED
, loc
,
391 else if (default_opt
->arg
== NULL
392 && !option
->cl_reject_negative
393 && !(option
->flags
& CL_PARAMS
))
394 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
395 default_opt
->arg
, !default_opt
->value
,
396 lang_mask
, DK_UNSPECIFIED
, loc
,
400 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
401 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
402 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
403 language mask LANG_MASK and option handlers HANDLERS. */
406 maybe_default_options (struct gcc_options
*opts
,
407 struct gcc_options
*opts_set
,
408 const struct default_options
*default_opts
,
409 int level
, bool size
, bool fast
, bool debug
,
410 unsigned int lang_mask
,
411 const struct cl_option_handlers
*handlers
,
413 diagnostic_context
*dc
)
417 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
418 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
419 level
, size
, fast
, debug
,
420 lang_mask
, handlers
, loc
, dc
);
423 /* Table of options enabled by default at different levels.
424 Please keep this list sorted by level and alphabetized within
425 each level; this makes it easier to keep the documentation
428 static const struct default_options default_options_table
[] =
430 /* -O1 and -Og optimizations. */
431 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
432 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
433 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
434 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
435 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
436 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
437 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
438 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
439 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
440 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference_addressable
, NULL
, 1 },
441 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
442 { OPT_LEVELS_1_PLUS
, OPT_fomit_frame_pointer
, NULL
, 1 },
443 { OPT_LEVELS_1_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
444 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
445 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
446 { OPT_LEVELS_1_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
447 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
448 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
449 { OPT_LEVELS_1_PLUS
, OPT_ftree_coalesce_vars
, NULL
, 1 },
450 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
451 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
452 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
453 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
454 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
455 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
456 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
458 /* -O1 (and not -Og) optimizations. */
459 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
461 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdelayed_branch
, NULL
, 1 },
463 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdse
, NULL
, 1 },
464 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
465 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion2
, NULL
, 1 },
466 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
467 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
468 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
469 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_bit_ccp
, NULL
, 1 },
470 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_dse
, NULL
, 1 },
471 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
472 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
474 /* -O2 and -Os optimizations. */
475 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
476 { OPT_LEVELS_2_PLUS
, OPT_fcode_hoisting
, NULL
, 1 },
477 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
478 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
479 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
480 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
481 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_fipa_bit_cp
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_fipa_vrp
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
494 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
497 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
498 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
499 #ifdef INSN_SCHEDULING
500 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
502 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
503 { OPT_LEVELS_2_PLUS
, OPT_fstore_merging
, NULL
, 1 },
504 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
505 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
506 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
507 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
508 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
509 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
510 { OPT_LEVELS_2_PLUS
, OPT_finline_functions
, NULL
, 1 },
511 { OPT_LEVELS_2_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
513 /* -O2 and above optimizations, but not -Os or -Og. */
514 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_functions
, NULL
, 1 },
515 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_jumps
, NULL
, 1 },
516 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_labels
, NULL
, 1 },
517 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_loops
, NULL
, 1 },
518 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
519 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_freorder_blocks_algorithm_
, NULL
,
520 REORDER_BLOCKS_ALGORITHM_STC
},
521 #ifdef INSN_SCHEDULING
522 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
523 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
526 /* -O3 and -Os optimizations. */
528 /* -O3 optimizations. */
529 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
530 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
531 { OPT_LEVELS_3_PLUS
, OPT_floop_interchange
, NULL
, 1 },
532 { OPT_LEVELS_3_PLUS
, OPT_floop_unroll_and_jam
, NULL
, 1 },
533 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
534 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
535 { OPT_LEVELS_3_PLUS
, OPT_fsplit_loops
, NULL
, 1 },
536 { OPT_LEVELS_3_PLUS
, OPT_fsplit_paths
, NULL
, 1 },
537 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribution
, NULL
, 1 },
538 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
539 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
540 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
541 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
542 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
543 { OPT_LEVELS_3_PLUS
, OPT_fversion_loops_for_strides
, NULL
, 1 },
545 /* -O3 parameters. */
546 { OPT_LEVELS_3_PLUS
, OPT__param_max_inline_insns_auto_
, NULL
, 30 },
547 { OPT_LEVELS_3_PLUS
, OPT__param_early_inlining_insns_
, NULL
, 14 },
548 { OPT_LEVELS_3_PLUS
, OPT__param_inline_heuristics_hint_percent_
, NULL
, 600 },
549 { OPT_LEVELS_3_PLUS
, OPT__param_inline_min_speedup_
, NULL
, 15 },
550 { OPT_LEVELS_3_PLUS
, OPT__param_max_inline_insns_single_
, NULL
, 200 },
552 /* -Ofast adds optimizations to -O3. */
553 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
554 { OPT_LEVELS_FAST
, OPT_fallow_store_data_races
, NULL
, 1 },
556 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
559 /* Default the options in OPTS and OPTS_SET based on the optimization
560 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
562 default_options_optimization (struct gcc_options
*opts
,
563 struct gcc_options
*opts_set
,
564 struct cl_decoded_option
*decoded_options
,
565 unsigned int decoded_options_count
,
567 unsigned int lang_mask
,
568 const struct cl_option_handlers
*handlers
,
569 diagnostic_context
*dc
)
573 bool openacc_mode
= false;
575 /* Scan to see what optimization level has been specified. That will
576 determine the default value of many flags. */
577 for (i
= 1; i
< decoded_options_count
; i
++)
579 struct cl_decoded_option
*opt
= &decoded_options
[i
];
580 switch (opt
->opt_index
)
583 if (*opt
->arg
== '\0')
585 opts
->x_optimize
= 1;
586 opts
->x_optimize_size
= 0;
587 opts
->x_optimize_fast
= 0;
588 opts
->x_optimize_debug
= 0;
592 const int optimize_val
= integral_argument (opt
->arg
);
593 if (optimize_val
== -1)
594 error_at (loc
, "argument to %<-O%> should be a non-negative "
595 "integer, %<g%>, %<s%> or %<fast%>");
598 opts
->x_optimize
= optimize_val
;
599 if ((unsigned int) opts
->x_optimize
> 255)
600 opts
->x_optimize
= 255;
601 opts
->x_optimize_size
= 0;
602 opts
->x_optimize_fast
= 0;
603 opts
->x_optimize_debug
= 0;
609 opts
->x_optimize_size
= 1;
611 /* Optimizing for size forces optimize to be 2. */
612 opts
->x_optimize
= 2;
613 opts
->x_optimize_fast
= 0;
614 opts
->x_optimize_debug
= 0;
618 /* -Ofast only adds flags to -O3. */
619 opts
->x_optimize_size
= 0;
620 opts
->x_optimize
= 3;
621 opts
->x_optimize_fast
= 1;
622 opts
->x_optimize_debug
= 0;
626 /* -Og selects optimization level 1. */
627 opts
->x_optimize_size
= 0;
628 opts
->x_optimize
= 1;
629 opts
->x_optimize_fast
= 0;
630 opts
->x_optimize_debug
= 1;
639 /* Ignore other options in this prescan. */
644 maybe_default_options (opts
, opts_set
, default_options_table
,
645 opts
->x_optimize
, opts
->x_optimize_size
,
646 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
647 lang_mask
, handlers
, loc
, dc
);
649 /* -O2 param settings. */
650 opt2
= (opts
->x_optimize
>= 2);
653 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_pta
, true);
655 /* Track fields in field-sensitive alias analysis. */
657 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_fields_for_field_sensitive
,
660 if (opts
->x_optimize_size
)
661 /* We want to crossjump as much as possible. */
662 SET_OPTION_IF_UNSET (opts
, opts_set
, param_min_crossjump_insns
, 1);
664 /* Restrict the amount of work combine does at -Og while retaining
665 most of its useful transforms. */
666 if (opts
->x_optimize_debug
)
667 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_combine_insns
, 2);
669 /* Allow default optimizations to be specified on a per-machine basis. */
670 maybe_default_options (opts
, opts_set
,
671 targetm_common
.option_optimization_table
,
672 opts
->x_optimize
, opts
->x_optimize_size
,
673 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
674 lang_mask
, handlers
, loc
, dc
);
677 /* Control IPA optimizations based on different live patching LEVEL. */
679 control_options_for_live_patching (struct gcc_options
*opts
,
680 struct gcc_options
*opts_set
,
681 enum live_patching_level level
,
684 gcc_assert (level
> LIVE_PATCHING_NONE
);
688 case LIVE_PATCHING_INLINE_ONLY_STATIC
:
689 if (opts_set
->x_flag_ipa_cp_clone
&& opts
->x_flag_ipa_cp_clone
)
691 "%<-fipa-cp-clone%> is incompatible with "
692 "%<-flive-patching=inline-only-static%>");
694 opts
->x_flag_ipa_cp_clone
= 0;
696 if (opts_set
->x_flag_ipa_sra
&& opts
->x_flag_ipa_sra
)
698 "%<-fipa-sra%> is incompatible with "
699 "%<-flive-patching=inline-only-static%>");
701 opts
->x_flag_ipa_sra
= 0;
703 if (opts_set
->x_flag_partial_inlining
&& opts
->x_flag_partial_inlining
)
705 "%<-fpartial-inlining%> is incompatible with "
706 "%<-flive-patching=inline-only-static%>");
708 opts
->x_flag_partial_inlining
= 0;
710 if (opts_set
->x_flag_ipa_cp
&& opts
->x_flag_ipa_cp
)
712 "%<-fipa-cp%> is incompatible with "
713 "%<-flive-patching=inline-only-static%>");
715 opts
->x_flag_ipa_cp
= 0;
718 case LIVE_PATCHING_INLINE_CLONE
:
719 /* live patching should disable whole-program optimization. */
720 if (opts_set
->x_flag_whole_program
&& opts
->x_flag_whole_program
)
722 "%<-fwhole-program%> is incompatible with "
723 "%<-flive-patching=inline-only-static|inline-clone%>");
725 opts
->x_flag_whole_program
= 0;
727 /* visibility change should be excluded by !flag_whole_program
728 && !in_lto_p && !flag_ipa_cp_clone && !flag_ipa_sra
729 && !flag_partial_inlining. */
731 if (opts_set
->x_flag_ipa_pta
&& opts
->x_flag_ipa_pta
)
733 "%<-fipa-pta%> is incompatible with "
734 "%<-flive-patching=inline-only-static|inline-clone%>");
736 opts
->x_flag_ipa_pta
= 0;
738 if (opts_set
->x_flag_ipa_reference
&& opts
->x_flag_ipa_reference
)
740 "%<-fipa-reference%> is incompatible with "
741 "%<-flive-patching=inline-only-static|inline-clone%>");
743 opts
->x_flag_ipa_reference
= 0;
745 if (opts_set
->x_flag_ipa_ra
&& opts
->x_flag_ipa_ra
)
747 "%<-fipa-ra%> is incompatible with "
748 "%<-flive-patching=inline-only-static|inline-clone%>");
750 opts
->x_flag_ipa_ra
= 0;
752 if (opts_set
->x_flag_ipa_icf
&& opts
->x_flag_ipa_icf
)
754 "%<-fipa-icf%> is incompatible with "
755 "%<-flive-patching=inline-only-static|inline-clone%>");
757 opts
->x_flag_ipa_icf
= 0;
759 if (opts_set
->x_flag_ipa_icf_functions
&& opts
->x_flag_ipa_icf_functions
)
761 "%<-fipa-icf-functions%> is incompatible with "
762 "%<-flive-patching=inline-only-static|inline-clone%>");
764 opts
->x_flag_ipa_icf_functions
= 0;
766 if (opts_set
->x_flag_ipa_icf_variables
&& opts
->x_flag_ipa_icf_variables
)
768 "%<-fipa-icf-variables%> is incompatible with "
769 "%<-flive-patching=inline-only-static|inline-clone%>");
771 opts
->x_flag_ipa_icf_variables
= 0;
773 if (opts_set
->x_flag_ipa_bit_cp
&& opts
->x_flag_ipa_bit_cp
)
775 "%<-fipa-bit-cp%> is incompatible with "
776 "%<-flive-patching=inline-only-static|inline-clone%>");
778 opts
->x_flag_ipa_bit_cp
= 0;
780 if (opts_set
->x_flag_ipa_vrp
&& opts
->x_flag_ipa_vrp
)
782 "%<-fipa-vrp%> is incompatible with "
783 "%<-flive-patching=inline-only-static|inline-clone%>");
785 opts
->x_flag_ipa_vrp
= 0;
787 if (opts_set
->x_flag_ipa_pure_const
&& opts
->x_flag_ipa_pure_const
)
789 "%<-fipa-pure-const%> is incompatible with "
790 "%<-flive-patching=inline-only-static|inline-clone%>");
792 opts
->x_flag_ipa_pure_const
= 0;
794 /* FIXME: disable unreachable code removal. */
796 /* discovery of functions/variables with no address taken. */
797 if (opts_set
->x_flag_ipa_reference_addressable
798 && opts
->x_flag_ipa_reference_addressable
)
800 "%<-fipa-reference-addressable%> is incompatible with "
801 "%<-flive-patching=inline-only-static|inline-clone%>");
803 opts
->x_flag_ipa_reference_addressable
= 0;
805 /* ipa stack alignment propagation. */
806 if (opts_set
->x_flag_ipa_stack_alignment
807 && opts
->x_flag_ipa_stack_alignment
)
809 "%<-fipa-stack-alignment%> is incompatible with "
810 "%<-flive-patching=inline-only-static|inline-clone%>");
812 opts
->x_flag_ipa_stack_alignment
= 0;
819 /* --help option argument if set. */
820 vec
<const char *> help_option_arguments
;
823 /* After all options at LOC have been read into OPTS and OPTS_SET,
824 finalize settings of those options and diagnose incompatible
827 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
830 enum unwind_info_type ui_except
;
832 if (opts
->x_dump_base_name
833 && ! opts
->x_dump_base_name_prefixed
)
835 const char *sep
= opts
->x_dump_base_name
;
838 if (IS_DIR_SEPARATOR (*sep
))
842 /* If dump_base_path contains subdirectories, don't prepend
844 else if (opts
->x_dump_dir_name
)
845 /* We have a DUMP_DIR_NAME, prepend that. */
846 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
847 opts
->x_dump_base_name
, NULL
);
848 else if (opts
->x_aux_base_name
849 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
850 /* AUX_BASE_NAME is set and is not the bit bucket. If it
851 contains a directory component, prepend those directories.
852 Typically this places things in the same directory as the
855 const char *aux_base
;
857 base_of_path (opts
->x_aux_base_name
, &aux_base
);
858 if (opts
->x_aux_base_name
!= aux_base
)
860 int dir_len
= aux_base
- opts
->x_aux_base_name
;
861 char *new_dump_base_name
862 = XOBNEWVEC (&opts_obstack
, char,
863 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
865 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
866 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
867 /* Append existing OPTS->X_DUMP_BASE_NAME. */
868 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
869 opts
->x_dump_base_name
= new_dump_base_name
;
873 /* It is definitely prefixed now. */
874 opts
->x_dump_base_name_prefixed
= true;
877 /* Handle related options for unit-at-a-time, toplevel-reorder, and
879 if (!opts
->x_flag_unit_at_a_time
)
881 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
882 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
884 opts
->x_flag_section_anchors
= 0;
885 if (opts
->x_flag_toplevel_reorder
== 1)
886 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
888 opts
->x_flag_toplevel_reorder
= 0;
891 /* -fself-test depends on the state of the compiler prior to
892 compiling anything. Ideally it should be run on an empty source
893 file. However, in case we get run with actual source, assume
894 -fsyntax-only which will inhibit any compiler initialization
895 which may confuse the self tests. */
896 if (opts
->x_flag_self_test
)
897 opts
->x_flag_syntax_only
= 1;
899 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
900 sorry ("transactional memory is not supported with non-call exceptions");
902 /* Unless the user has asked for section anchors, we disable toplevel
903 reordering at -O0 to disable transformations that might be surprising
904 to end users and to get -fno-toplevel-reorder tested. */
905 if (!opts
->x_optimize
906 && opts
->x_flag_toplevel_reorder
== 2
907 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
909 opts
->x_flag_toplevel_reorder
= 0;
910 opts
->x_flag_section_anchors
= 0;
912 if (!opts
->x_flag_toplevel_reorder
)
914 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
915 error_at (loc
, "section anchors must be disabled when toplevel reorder"
917 opts
->x_flag_section_anchors
= 0;
920 if (!opts
->x_flag_opts_finished
)
922 /* We initialize opts->x_flag_pie to -1 so that targets can set a
924 if (opts
->x_flag_pie
== -1)
926 /* We initialize opts->x_flag_pic to -1 so that we can tell if
927 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
928 if (opts
->x_flag_pic
== -1)
929 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
931 opts
->x_flag_pie
= 0;
933 /* If -fPIE or -fpie is used, turn on PIC. */
934 if (opts
->x_flag_pie
)
935 opts
->x_flag_pic
= opts
->x_flag_pie
;
936 else if (opts
->x_flag_pic
== -1)
937 opts
->x_flag_pic
= 0;
938 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
939 opts
->x_flag_shlib
= 1;
940 opts
->x_flag_opts_finished
= true;
943 /* We initialize opts->x_flag_stack_protect to -1 so that targets
944 can set a default value. */
945 if (opts
->x_flag_stack_protect
== -1)
946 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
948 if (opts
->x_optimize
== 0)
950 /* Inlining does not work if not optimizing,
951 so force it not to be done. */
952 opts
->x_warn_inline
= 0;
953 opts
->x_flag_no_inline
= 1;
956 /* The optimization to partition hot and cold basic blocks into separate
957 sections of the .o and executable files does not work (currently)
958 with exception handling. This is because there is no support for
959 generating unwind info. If opts->x_flag_exceptions is turned on
960 we need to turn off the partitioning optimization. */
962 ui_except
= targetm_common
.except_unwind_info (opts
);
964 if (opts
->x_flag_exceptions
965 && opts
->x_flag_reorder_blocks_and_partition
966 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
968 if (opts_set
->x_flag_reorder_blocks_and_partition
)
970 "%<-freorder-blocks-and-partition%> does not work "
971 "with exceptions on this architecture");
972 opts
->x_flag_reorder_blocks_and_partition
= 0;
973 opts
->x_flag_reorder_blocks
= 1;
976 /* If user requested unwind info, then turn off the partitioning
979 if (opts
->x_flag_unwind_tables
980 && !targetm_common
.unwind_tables_default
981 && opts
->x_flag_reorder_blocks_and_partition
982 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
984 if (opts_set
->x_flag_reorder_blocks_and_partition
)
986 "%<-freorder-blocks-and-partition%> does not support "
987 "unwind info on this architecture");
988 opts
->x_flag_reorder_blocks_and_partition
= 0;
989 opts
->x_flag_reorder_blocks
= 1;
992 /* If the target requested unwind info, then turn off the partitioning
993 optimization with a different message. Likewise, if the target does not
994 support named sections. */
996 if (opts
->x_flag_reorder_blocks_and_partition
997 && (!targetm_common
.have_named_sections
998 || (opts
->x_flag_unwind_tables
999 && targetm_common
.unwind_tables_default
1000 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
1002 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1004 "%<-freorder-blocks-and-partition%> does not work "
1005 "on this architecture");
1006 opts
->x_flag_reorder_blocks_and_partition
= 0;
1007 opts
->x_flag_reorder_blocks
= 1;
1011 /* Pipelining of outer loops is only possible when general pipelining
1012 capabilities are requested. */
1013 if (!opts
->x_flag_sel_sched_pipelining
)
1014 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
1016 if (opts
->x_flag_conserve_stack
)
1018 SET_OPTION_IF_UNSET (opts
, opts_set
, param_large_stack_frame
, 100);
1019 SET_OPTION_IF_UNSET (opts
, opts_set
, param_stack_frame_growth
, 40);
1022 if (opts
->x_flag_lto
)
1025 opts
->x_flag_generate_lto
= 1;
1027 /* When generating IL, do not operate in whole-program mode.
1028 Otherwise, symbols will be privatized too early, causing link
1030 opts
->x_flag_whole_program
= 0;
1032 error_at (loc
, "LTO support has not been enabled in this configuration");
1034 if (!opts
->x_flag_fat_lto_objects
1035 && (!HAVE_LTO_PLUGIN
1036 || (opts_set
->x_flag_use_linker_plugin
1037 && !opts
->x_flag_use_linker_plugin
)))
1039 if (opts_set
->x_flag_fat_lto_objects
)
1040 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
1042 opts
->x_flag_fat_lto_objects
= 1;
1045 /* -gsplit-dwarf isn't compatible with LTO, see PR88389. */
1046 if (opts
->x_dwarf_split_debug_info
)
1048 inform (loc
, "%<-gsplit-dwarf%> is not supported with LTO,"
1050 opts
->x_dwarf_split_debug_info
= 0;
1054 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
1055 default value if they choose based on other options. */
1056 if (opts
->x_flag_split_stack
== -1)
1057 opts
->x_flag_split_stack
= 0;
1058 else if (opts
->x_flag_split_stack
)
1060 if (!targetm_common
.supports_split_stack (true, opts
))
1062 error_at (loc
, "%<-fsplit-stack%> is not supported by "
1063 "this compiler configuration");
1064 opts
->x_flag_split_stack
= 0;
1068 /* If stack splitting is turned on, and the user did not explicitly
1069 request function partitioning, turn off partitioning, as it
1070 confuses the linker when trying to handle partitioned split-stack
1071 code that calls a non-split-stack functions. But if partitioning
1072 was turned on explicitly just hope for the best. */
1073 if (opts
->x_flag_split_stack
1074 && opts
->x_flag_reorder_blocks_and_partition
)
1075 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_reorder_blocks_and_partition
, 0);
1077 if (opts
->x_flag_reorder_blocks_and_partition
)
1078 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_reorder_functions
, 1);
1080 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
1081 if (opts
->x_dwarf_split_debug_info
)
1082 opts
->x_debug_generate_pub_sections
= 2;
1084 if ((opts
->x_flag_sanitize
1085 & (SANITIZE_USER_ADDRESS
| SANITIZE_KERNEL_ADDRESS
)) == 0)
1087 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_COMPARE
)
1089 "%<-fsanitize=pointer-compare%> must be combined with "
1090 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1091 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_SUBTRACT
)
1093 "%<-fsanitize=pointer-subtract%> must be combined with "
1094 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1097 /* Userspace and kernel ASan conflict with each other. */
1098 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
1099 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
1101 "%<-fsanitize=address%> is incompatible with "
1102 "%<-fsanitize=kernel-address%>");
1104 /* And with TSan. */
1105 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
1106 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
1108 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
1109 "are incompatible with %<-fsanitize=thread%>");
1111 if ((opts
->x_flag_sanitize
& SANITIZE_LEAK
)
1112 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
1114 "%<-fsanitize=leak%> is incompatible with %<-fsanitize=thread%>");
1116 /* Check error recovery for -fsanitize-recover option. */
1117 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1118 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
1119 && !sanitizer_opts
[i
].can_recover
)
1120 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
1121 sanitizer_opts
[i
].name
);
1123 /* When instrumenting the pointers, we don't want to remove
1124 the null pointer checks. */
1125 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
1126 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
1127 opts
->x_flag_delete_null_pointer_checks
= 0;
1129 /* Aggressive compiler optimizations may cause false negatives. */
1130 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
1131 opts
->x_flag_aggressive_loop_optimizations
= 0;
1133 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
1135 if (opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
1136 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_sanitize_address_use_after_scope
,
1139 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
1141 if (opts
->x_flag_sanitize_address_use_after_scope
)
1143 if (opts
->x_flag_stack_reuse
!= SR_NONE
1144 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1146 "%<-fsanitize-address-use-after-scope%> requires "
1147 "%<-fstack-reuse=none%> option");
1149 opts
->x_flag_stack_reuse
= SR_NONE
;
1152 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1153 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1155 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1156 sorry ("transactional memory is not supported with "
1157 "%<-fsanitize=kernel-address%>");
1159 /* Currently live patching is not support for LTO. */
1160 if (opts
->x_flag_live_patching
&& opts
->x_flag_lto
)
1161 sorry ("live patching is not supported with LTO");
1163 /* Currently vtable verification is not supported for LTO */
1164 if (opts
->x_flag_vtable_verify
&& opts
->x_flag_lto
)
1165 sorry ("vtable verification is not supported with LTO");
1167 /* Control IPA optimizations based on different -flive-patching level. */
1168 if (opts
->x_flag_live_patching
)
1170 control_options_for_live_patching (opts
, opts_set
,
1171 opts
->x_flag_live_patching
,
1176 #define LEFT_COLUMN 27
1178 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1179 followed by word-wrapped HELP in a second column. */
1181 wrap_help (const char *help
,
1183 unsigned int item_width
,
1184 unsigned int columns
)
1186 unsigned int col_width
= LEFT_COLUMN
;
1187 unsigned int remaining
, room
, len
;
1189 remaining
= strlen (help
);
1193 room
= columns
- 3 - MAX (col_width
, item_width
);
1202 for (i
= 0; help
[i
]; i
++)
1204 if (i
>= room
&& len
!= remaining
)
1208 else if ((help
[i
] == '-' || help
[i
] == '/')
1209 && help
[i
+ 1] != ' '
1210 && i
> 0 && ISALPHA (help
[i
- 1]))
1215 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1217 while (help
[len
] == ' ')
1225 /* Data structure used to print list of valid option values. */
1227 class option_help_tuple
1230 option_help_tuple (int code
, vec
<const char *> values
):
1231 m_code (code
), m_values (values
)
1234 /* Code of an option. */
1237 /* List of possible values. */
1238 vec
<const char *> m_values
;
1241 /* Print help for a specific front-end, etc. */
1243 print_filtered_help (unsigned int include_flags
,
1244 unsigned int exclude_flags
,
1245 unsigned int any_flags
,
1246 unsigned int columns
,
1247 struct gcc_options
*opts
,
1248 unsigned int lang_mask
)
1253 bool displayed
= false;
1256 if (!opts
->x_help_printed
)
1257 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1259 if (!opts
->x_help_enum_printed
)
1260 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1262 auto_vec
<option_help_tuple
> help_tuples
;
1264 for (i
= 0; i
< cl_options_count
; i
++)
1266 const struct cl_option
*option
= cl_options
+ i
;
1271 if (include_flags
== 0
1272 || ((option
->flags
& include_flags
) != include_flags
))
1274 if ((option
->flags
& any_flags
) == 0)
1278 /* Skip unwanted switches. */
1279 if ((option
->flags
& exclude_flags
) != 0)
1282 /* The driver currently prints its own help text. */
1283 if ((option
->flags
& CL_DRIVER
) != 0
1284 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1285 | CL_COMMON
| CL_TARGET
)) == 0)
1288 /* If an option contains a language specification,
1289 exclude it from common unless all languages are present. */
1290 if ((include_flags
& CL_COMMON
)
1291 && !(option
->flags
& CL_DRIVER
)
1292 && (option
->flags
& CL_LANG_ALL
)
1293 && (option
->flags
& CL_LANG_ALL
) != CL_LANG_ALL
)
1297 /* Skip switches that have already been printed. */
1298 if (opts
->x_help_printed
[i
])
1301 opts
->x_help_printed
[i
] = true;
1303 help
= option
->help
;
1306 if (exclude_flags
& CL_UNDOCUMENTED
)
1309 help
= undocumented_msg
;
1312 /* Get the translation. */
1315 if (option
->alias_target
< N_OPTS
1316 && cl_options
[option
->alias_target
].help
)
1318 const struct cl_option
*target
= cl_options
+ option
->alias_target
;
1319 if (option
->help
== NULL
)
1321 /* The option is undocumented but is an alias for an option that
1322 is documented. If the option has alias arguments, then its
1323 purpose is to provide certain arguments to the other option, so
1324 inform the reader of this. Otherwise, point the reader to the
1325 other option in preference to the former. */
1327 if (option
->alias_arg
)
1329 if (option
->neg_alias_arg
)
1330 snprintf (new_help
, sizeof new_help
,
1331 _("Same as %s%s (or, in negated form, %s%s)."),
1332 target
->opt_text
, option
->alias_arg
,
1333 target
->opt_text
, option
->neg_alias_arg
);
1335 snprintf (new_help
, sizeof new_help
,
1337 target
->opt_text
, option
->alias_arg
);
1340 snprintf (new_help
, sizeof new_help
,
1346 /* For documented options with aliases, mention the aliased
1347 option's name for reference. */
1348 snprintf (new_help
, sizeof new_help
,
1349 _("%s Same as %s."),
1350 help
, cl_options
[option
->alias_target
].opt_text
);
1356 if (option
->warn_message
)
1358 /* Mention that the use of the option will trigger a warning. */
1359 if (help
== new_help
)
1360 snprintf (new_help
+ strlen (new_help
),
1361 sizeof new_help
- strlen (new_help
),
1362 " %s", _(use_diagnosed_msg
));
1364 snprintf (new_help
, sizeof new_help
,
1365 "%s %s", help
, _(use_diagnosed_msg
));
1370 /* Find the gap between the name of the
1371 option and its descriptive text. */
1372 tab
= strchr (help
, '\t');
1381 opt
= option
->opt_text
;
1385 /* With the -Q option enabled we change the descriptive text associated
1386 with an option to be an indication of its current setting. */
1387 if (!opts
->x_quiet_flag
)
1389 void *flag_var
= option_flag_var (i
, opts
);
1391 if (len
< (LEFT_COLUMN
+ 2))
1392 strcpy (new_help
, "\t\t");
1394 strcpy (new_help
, "\t");
1396 /* Set to print whether the option is enabled or disabled,
1397 or, if it's an alias for another option, the name of
1398 the aliased option. */
1399 bool print_state
= false;
1401 if (flag_var
!= NULL
1402 && option
->var_type
!= CLVC_DEFER
)
1404 /* If OPTION is only available for a specific subset
1405 of languages other than this one, mention them. */
1406 bool avail_for_lang
= true;
1407 if (unsigned langset
= option
->flags
& CL_LANG_ALL
)
1409 if (!(langset
& lang_mask
))
1411 avail_for_lang
= false;
1412 strcat (new_help
, _("[available in "));
1413 for (unsigned i
= 0, n
= 0; (1U << i
) < CL_LANG_ALL
; ++i
)
1414 if (langset
& (1U << i
))
1417 strcat (new_help
, ", ");
1418 strcat (new_help
, lang_names
[i
]);
1420 strcat (new_help
, "]");
1423 if (!avail_for_lang
)
1424 ; /* Print nothing else if the option is not available
1425 in the current language. */
1426 else if (option
->flags
& CL_JOINED
)
1428 if (option
->var_type
== CLVC_STRING
)
1430 if (* (const char **) flag_var
!= NULL
)
1431 snprintf (new_help
+ strlen (new_help
),
1432 sizeof (new_help
) - strlen (new_help
),
1433 "%s", * (const char **) flag_var
);
1435 else if (option
->var_type
== CLVC_ENUM
)
1437 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1439 const char *arg
= NULL
;
1441 value
= e
->get (flag_var
);
1442 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1444 arg
= _("[default]");
1445 snprintf (new_help
+ strlen (new_help
),
1446 sizeof (new_help
) - strlen (new_help
),
1451 if (option
->cl_host_wide_int
)
1452 sprintf (new_help
+ strlen (new_help
),
1453 _("%llu bytes"), (unsigned long long)
1454 *(unsigned HOST_WIDE_INT
*) flag_var
);
1456 sprintf (new_help
+ strlen (new_help
),
1457 "%i", * (int *) flag_var
);
1464 /* When there is no argument, print the option state only
1465 if the option takes no argument. */
1466 print_state
= !(option
->flags
& CL_JOINED
);
1470 if (option
->alias_target
< N_OPTS
1471 && option
->alias_target
!= OPT_SPECIAL_warn_removed
1472 && option
->alias_target
!= OPT_SPECIAL_ignore
1473 && option
->alias_target
!= OPT_SPECIAL_input_file
1474 && option
->alias_target
!= OPT_SPECIAL_program_name
1475 && option
->alias_target
!= OPT_SPECIAL_unknown
)
1477 const struct cl_option
*target
1478 = &cl_options
[option
->alias_target
];
1479 sprintf (new_help
+ strlen (new_help
), "%s%s",
1481 option
->alias_arg
? option
->alias_arg
: "");
1483 else if (option
->alias_target
== OPT_SPECIAL_ignore
)
1484 strcat (new_help
, ("[ignored]"));
1487 /* Print the state for an on/off option. */
1488 int ena
= option_enabled (i
, lang_mask
, opts
);
1490 strcat (new_help
, _("[enabled]"));
1492 strcat (new_help
, _("[disabled]"));
1499 if (option
->range_max
!= -1)
1502 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1504 opt
= concat (opt
, b
, NULL
);
1508 wrap_help (help
, opt
, len
, columns
);
1511 if (option
->var_type
== CLVC_ENUM
1512 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1513 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1516 vec
<const char *> option_values
1517 = targetm_common
.get_valid_option_values (i
, NULL
);
1518 if (!option_values
.is_empty ())
1519 help_tuples
.safe_push (option_help_tuple (i
, option_values
));
1525 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1528 printf (_(" No options with the desired characteristics were found\n"));
1533 /* PR 31349: Tell the user how to see all of the
1534 options supported by a specific front end. */
1535 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1536 if ((1U << i
) & langs
)
1537 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1538 lang_names
[i
], lang_names
[i
]);
1542 else if (! displayed
)
1543 printf (_(" All options with the desired characteristics have already been displayed\n"));
1547 /* Print details of enumerated option arguments, if those
1548 enumerations have help text headings provided. If no help text
1549 is provided, presume that the possible values are listed in the
1550 help text for the relevant options. */
1551 for (i
= 0; i
< cl_enums_count
; i
++)
1553 unsigned int j
, pos
;
1555 if (opts
->x_help_enum_printed
[i
] != 1)
1557 if (cl_enums
[i
].help
== NULL
)
1559 printf (" %s\n ", _(cl_enums
[i
].help
));
1561 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1563 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1565 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1567 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1577 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1582 opts
->x_help_enum_printed
[i
] = 2;
1585 for (unsigned i
= 0; i
< help_tuples
.length (); i
++)
1587 const struct cl_option
*option
= cl_options
+ help_tuples
[i
].m_code
;
1588 printf (_(" Known valid arguments for %s option:\n "),
1590 for (unsigned j
= 0; j
< help_tuples
[i
].m_values
.length (); j
++)
1591 printf (" %s", help_tuples
[i
].m_values
[j
]);
1596 /* Display help for a specified type of option.
1597 The options must have ALL of the INCLUDE_FLAGS set
1598 ANY of the flags in the ANY_FLAGS set
1599 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1600 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1602 print_specific_help (unsigned int include_flags
,
1603 unsigned int exclude_flags
,
1604 unsigned int any_flags
,
1605 struct gcc_options
*opts
,
1606 unsigned int lang_mask
)
1608 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1609 const char * description
= NULL
;
1610 const char * descrip_extra
= "";
1614 /* Sanity check: Make sure that we do not have more
1615 languages than we have bits available to enumerate them. */
1616 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1618 /* If we have not done so already, obtain
1619 the desired maximum width of the output. */
1620 if (opts
->x_help_columns
== 0)
1622 opts
->x_help_columns
= get_terminal_width ();
1623 if (opts
->x_help_columns
== INT_MAX
)
1624 /* Use a reasonable default. */
1625 opts
->x_help_columns
= 80;
1628 /* Decide upon the title for the options that we are going to display. */
1629 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1631 switch (flag
& include_flags
)
1638 description
= _("The following options are target specific");
1641 description
= _("The following options control compiler warning messages");
1643 case CL_OPTIMIZATION
:
1644 description
= _("The following options control optimizations");
1647 description
= _("The following options are language-independent");
1650 description
= _("The following options control parameters");
1653 if (i
>= cl_lang_count
)
1655 if (exclude_flags
& all_langs_mask
)
1656 description
= _("The following options are specific to just the language ");
1658 description
= _("The following options are supported by the language ");
1659 descrip_extra
= lang_names
[i
];
1664 if (description
== NULL
)
1668 if (include_flags
& CL_UNDOCUMENTED
)
1669 description
= _("The following options are not documented");
1670 else if (include_flags
& CL_SEPARATE
)
1671 description
= _("The following options take separate arguments");
1672 else if (include_flags
& CL_JOINED
)
1673 description
= _("The following options take joined arguments");
1676 internal_error ("unrecognized %<include_flags 0x%x%> passed "
1677 "to %<print_specific_help%>",
1684 if (any_flags
& all_langs_mask
)
1685 description
= _("The following options are language-related");
1687 description
= _("The following options are language-independent");
1691 printf ("%s%s:\n", description
, descrip_extra
);
1692 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1693 opts
->x_help_columns
, opts
, lang_mask
);
1696 /* Enable FDO-related flags. */
1699 enable_fdo_optimizations (struct gcc_options
*opts
,
1700 struct gcc_options
*opts_set
,
1703 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_branch_probabilities
, value
);
1704 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_values
, value
);
1705 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unroll_loops
, value
);
1706 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_peel_loops
, value
);
1707 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tracer
, value
);
1708 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_value_profile_transformations
,
1710 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_inline_functions
, value
);
1711 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_cp
, value
);
1714 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_cp_clone
, 1);
1715 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_bit_cp
, 1);
1717 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_predictive_commoning
, value
);
1718 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_split_loops
, value
);
1719 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unswitch_loops
, value
);
1720 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_gcse_after_reload
, value
);
1721 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_vectorize
, value
);
1722 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_slp_vectorize
, value
);
1723 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_version_loops_for_strides
, value
);
1724 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_vect_cost_model
,
1725 VECT_COST_MODEL_DYNAMIC
);
1726 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_distribute_patterns
,
1728 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_loop_interchange
, value
);
1729 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unroll_jam
, value
);
1730 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_distribution
, value
);
1733 /* -f{,no-}sanitize{,-recover}= suboptions. */
1734 const struct sanitizer_opts_s sanitizer_opts
[] =
1736 #define SANITIZER_OPT(name, flags, recover) \
1737 { #name, flags, sizeof #name - 1, recover }
1738 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1739 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1741 SANITIZER_OPT (pointer
-compare
, SANITIZE_POINTER_COMPARE
, true),
1742 SANITIZER_OPT (pointer
-subtract
, SANITIZE_POINTER_SUBTRACT
, true),
1743 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1744 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1745 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1746 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1747 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1748 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1749 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1750 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1751 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1752 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1753 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1754 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1755 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1756 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1757 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1758 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1759 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1760 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1761 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1762 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1763 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1765 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1766 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1767 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1768 SANITIZER_OPT (builtin
, SANITIZE_BUILTIN
, true),
1769 SANITIZER_OPT (all
, ~0U, true),
1770 #undef SANITIZER_OPT
1771 { NULL
, 0U, 0UL, false }
1774 /* -f{,no-}sanitize-coverage= suboptions. */
1775 const struct sanitizer_opts_s coverage_sanitizer_opts
[] =
1777 #define COVERAGE_SANITIZER_OPT(name, flags) \
1778 { #name, flags, sizeof #name - 1, true }
1779 COVERAGE_SANITIZER_OPT (trace
-pc
, SANITIZE_COV_TRACE_PC
),
1780 COVERAGE_SANITIZER_OPT (trace
-cmp
, SANITIZE_COV_TRACE_CMP
),
1781 #undef COVERAGE_SANITIZER_OPT
1782 { NULL
, 0U, 0UL, false }
1785 /* A struct for describing a run of chars within a string. */
1787 class string_fragment
1790 string_fragment (const char *start
, size_t len
)
1791 : m_start (start
), m_len (len
) {}
1793 const char *m_start
;
1797 /* Specialization of edit_distance_traits for string_fragment,
1798 for use by get_closest_sanitizer_option. */
1801 struct edit_distance_traits
<const string_fragment
&>
1803 static size_t get_length (const string_fragment
&fragment
)
1805 return fragment
.m_len
;
1808 static const char *get_string (const string_fragment
&fragment
)
1810 return fragment
.m_start
;
1814 /* Given ARG, an unrecognized sanitizer option, return the best
1815 matching sanitizer option, or NULL if there isn't one.
1816 OPTS is array of candidate sanitizer options.
1817 CODE is OPT_fsanitize_, OPT_fsanitize_recover_ or
1818 OPT_fsanitize_coverage_.
1819 VALUE is non-zero for the regular form of the option, zero
1820 for the "no-" form (e.g. "-fno-sanitize-recover="). */
1823 get_closest_sanitizer_option (const string_fragment
&arg
,
1824 const struct sanitizer_opts_s
*opts
,
1825 enum opt_code code
, int value
)
1827 best_match
<const string_fragment
&, const char*> bm (arg
);
1828 for (int i
= 0; opts
[i
].name
!= NULL
; ++i
)
1830 /* -fsanitize=all is not valid, so don't offer it. */
1831 if (code
== OPT_fsanitize_
1832 && opts
[i
].flag
== ~0U
1836 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
1837 don't offer the non-recoverable options. */
1838 if (code
== OPT_fsanitize_recover_
1839 && !opts
[i
].can_recover
1843 bm
.consider (opts
[i
].name
);
1845 return bm
.get_best_meaningful_candidate ();
1848 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1849 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1850 don't issue diagnostics. */
1853 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
1854 unsigned int flags
, int value
, bool complain
)
1856 enum opt_code code
= (enum opt_code
) scode
;
1858 const struct sanitizer_opts_s
*opts
;
1859 if (code
== OPT_fsanitize_coverage_
)
1860 opts
= coverage_sanitizer_opts
;
1862 opts
= sanitizer_opts
;
1868 const char *comma
= strchr (p
, ',');
1880 /* Check to see if the string matches an option class name. */
1881 for (i
= 0; opts
[i
].name
!= NULL
; ++i
)
1882 if (len
== opts
[i
].len
&& memcmp (p
, opts
[i
].name
, len
) == 0)
1884 /* Handle both -fsanitize and -fno-sanitize cases. */
1885 if (value
&& opts
[i
].flag
== ~0U)
1887 if (code
== OPT_fsanitize_
)
1890 error_at (loc
, "%<-fsanitize=all%> option is not valid");
1893 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
1894 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1898 /* Do not enable -fsanitize-recover=unreachable and
1899 -fsanitize-recover=return if -fsanitize-recover=undefined
1901 if (code
== OPT_fsanitize_recover_
1902 && opts
[i
].flag
== SANITIZE_UNDEFINED
)
1903 flags
|= (SANITIZE_UNDEFINED
1904 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
1906 flags
|= opts
[i
].flag
;
1909 flags
&= ~opts
[i
].flag
;
1914 if (! found
&& complain
)
1917 = get_closest_sanitizer_option (string_fragment (p
, len
),
1921 if (code
== OPT_fsanitize_recover_
)
1922 suffix
= "-recover";
1923 else if (code
== OPT_fsanitize_coverage_
)
1924 suffix
= "-coverage";
1930 "unrecognized argument to %<-f%ssanitize%s=%> "
1931 "option: %q.*s; did you mean %qs?",
1933 suffix
, (int) len
, p
, hint
);
1936 "unrecognized argument to %<-f%ssanitize%s=%> option: "
1937 "%q.*s", value
? "" : "no-",
1938 suffix
, (int) len
, p
);
1948 /* Parse string values of no_sanitize attribute passed in VALUE.
1949 Values are separated with comma. */
1952 parse_no_sanitize_attribute (char *value
)
1954 unsigned int flags
= 0;
1956 char *q
= strtok (value
, ",");
1960 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1961 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
1963 flags
|= sanitizer_opts
[i
].flag
;
1964 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
1965 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
1969 if (sanitizer_opts
[i
].name
== NULL
)
1970 warning (OPT_Wattributes
,
1971 "%qs attribute directive ignored", q
);
1973 q
= strtok (NULL
, ",");
1979 /* Parse -falign-NAME format for a FLAG value. Return individual
1980 parsed integer values into RESULT_VALUES array. If REPORT_ERROR is
1981 set, print error message at LOC location. */
1984 parse_and_check_align_values (const char *flag
,
1986 auto_vec
<unsigned> &result_values
,
1990 char *str
= xstrdup (flag
);
1991 for (char *p
= strtok (str
, ":"); p
; p
= strtok (NULL
, ":"))
1994 int v
= strtol (p
, &end
, 10);
1995 if (*end
!= '\0' || v
< 0)
1998 error_at (loc
, "invalid arguments for %<-falign-%s%> option: %qs",
2004 result_values
.safe_push ((unsigned)v
);
2009 /* Check that we have a correct number of values. */
2010 if (result_values
.is_empty () || result_values
.length () > 4)
2013 error_at (loc
, "invalid number of arguments for %<-falign-%s%> "
2014 "option: %qs", name
, flag
);
2018 for (unsigned i
= 0; i
< result_values
.length (); i
++)
2019 if (result_values
[i
] > MAX_CODE_ALIGN_VALUE
)
2022 error_at (loc
, "%<-falign-%s%> is not between 0 and %d",
2023 name
, MAX_CODE_ALIGN_VALUE
);
2030 /* Check that alignment value FLAG for -falign-NAME is valid at a given
2034 check_alignment_argument (location_t loc
, const char *flag
, const char *name
)
2036 auto_vec
<unsigned> align_result
;
2037 parse_and_check_align_values (flag
, name
, align_result
, true, loc
);
2040 /* Print help when OPT__help_ is set. */
2043 print_help (struct gcc_options
*opts
, unsigned int lang_mask
,
2044 const char *help_option_argument
)
2046 const char *a
= help_option_argument
;
2047 unsigned int include_flags
= 0;
2048 /* Note - by default we include undocumented options when listing
2049 specific classes. If you only want to see documented options
2050 then add ",^undocumented" to the --help= option. E.g.:
2052 --help=target,^undocumented */
2053 unsigned int exclude_flags
= 0;
2055 if (lang_mask
== CL_DRIVER
)
2058 /* Walk along the argument string, parsing each word in turn.
2060 arg = [^]{word}[,{arg}]
2061 word = {optimizers|target|warnings|undocumented|
2062 params|common|<language>} */
2072 { "optimizers", CL_OPTIMIZATION
},
2073 { "target", CL_TARGET
},
2074 { "warnings", CL_WARNING
},
2075 { "undocumented", CL_UNDOCUMENTED
},
2076 { "params", CL_PARAMS
},
2077 { "joined", CL_JOINED
},
2078 { "separate", CL_SEPARATE
},
2079 { "common", CL_COMMON
},
2082 unsigned int *pflags
;
2084 unsigned int lang_flag
, specific_flag
;
2093 error ("missing argument to %qs", "--help=^");
2096 pflags
= &exclude_flags
;
2099 pflags
= &include_flags
;
2101 comma
= strchr (a
, ',');
2112 /* Check to see if the string matches an option class name. */
2113 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
2114 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
2116 specific_flag
= specifics
[i
].flag
;
2120 /* Check to see if the string matches a language name.
2121 Note - we rely upon the alpha-sorted nature of the entries in
2122 the lang_names array, specifically that shorter names appear
2123 before their longer variants. (i.e. C before C++). That way
2124 when we are attempting to match --help=c for example we will
2125 match with C first and not C++. */
2126 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
2127 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
2129 lang_flag
= 1U << i
;
2133 if (specific_flag
!= 0)
2136 *pflags
|= specific_flag
;
2139 /* The option's argument matches both the start of a
2140 language name and the start of an option class name.
2141 We have a special case for when the user has
2142 specified "--help=c", but otherwise we have to issue
2144 if (strncasecmp (a
, "c", len
) == 0)
2145 *pflags
|= lang_flag
;
2148 "%<--help%> argument %q.*s is ambiguous, "
2149 "please be more specific",
2153 else if (lang_flag
!= 0)
2154 *pflags
|= lang_flag
;
2157 "unrecognized argument to %<--help=%> option: %q.*s",
2165 /* We started using PerFunction/Optimization for parameters and
2166 a warning. We should exclude these from optimization options. */
2167 if (include_flags
& CL_OPTIMIZATION
)
2168 exclude_flags
|= CL_WARNING
;
2169 if (!(include_flags
& CL_PARAMS
))
2170 exclude_flags
|= CL_PARAMS
;
2173 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
2177 /* Handle target- and language-independent options. Return zero to
2178 generate an "unknown option" message. Only options that need
2179 extra handling need to be listed here; if you simply want
2180 DECODED->value assigned to a variable, it happens automatically. */
2183 common_handle_option (struct gcc_options
*opts
,
2184 struct gcc_options
*opts_set
,
2185 const struct cl_decoded_option
*decoded
,
2186 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
2188 const struct cl_option_handlers
*handlers
,
2189 diagnostic_context
*dc
,
2190 void (*target_option_override_hook
) (void))
2192 size_t scode
= decoded
->opt_index
;
2193 const char *arg
= decoded
->arg
;
2194 HOST_WIDE_INT value
= decoded
->value
;
2195 enum opt_code code
= (enum opt_code
) scode
;
2197 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
2203 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
2204 unsigned int undoc_mask
;
2207 if (lang_mask
== CL_DRIVER
)
2210 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
2213 target_option_override_hook ();
2214 /* First display any single language specific options. */
2215 for (i
= 0; i
< cl_lang_count
; i
++)
2217 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
2219 /* Next display any multi language specific options. */
2220 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
2221 /* Then display any remaining, non-language options. */
2222 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
2224 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
2225 opts
->x_exit_after_options
= true;
2229 case OPT__target_help
:
2230 if (lang_mask
== CL_DRIVER
)
2233 target_option_override_hook ();
2234 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
2235 opts
->x_exit_after_options
= true;
2240 help_option_arguments
.safe_push (arg
);
2241 opts
->x_exit_after_options
= true;
2246 if (lang_mask
== CL_DRIVER
)
2249 opts
->x_exit_after_options
= true;
2252 case OPT__completion_
:
2255 case OPT_fsanitize_
:
2256 opts
->x_flag_sanitize
2257 = parse_sanitizer_options (arg
, loc
, code
,
2258 opts
->x_flag_sanitize
, value
, true);
2260 /* Kernel ASan implies normal ASan but does not yet support
2262 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
2264 SET_OPTION_IF_UNSET (opts
, opts_set
,
2265 param_asan_instrumentation_with_call_threshold
,
2267 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_globals
, 0);
2268 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_stack
, 0);
2269 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_protect_allocas
, 0);
2270 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_use_after_return
, 0);
2274 case OPT_fsanitize_recover_
:
2275 opts
->x_flag_sanitize_recover
2276 = parse_sanitizer_options (arg
, loc
, code
,
2277 opts
->x_flag_sanitize_recover
, value
, true);
2280 case OPT_fasan_shadow_offset_
:
2284 case OPT_fsanitize_address_use_after_scope
:
2285 opts
->x_flag_sanitize_address_use_after_scope
= value
;
2288 case OPT_fsanitize_recover
:
2290 opts
->x_flag_sanitize_recover
2291 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
2292 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
2294 opts
->x_flag_sanitize_recover
2295 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
2298 case OPT_fsanitize_coverage_
:
2299 opts
->x_flag_sanitize_coverage
2300 = parse_sanitizer_options (arg
, loc
, code
,
2301 opts
->x_flag_sanitize_coverage
, value
, true);
2308 /* Currently handled in a prescan. */
2312 dc
->warning_as_error_requested
= value
;
2316 if (lang_mask
== CL_DRIVER
)
2319 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
2320 opts
, opts_set
, loc
, dc
);
2323 case OPT_Wfatal_errors
:
2324 dc
->fatal_errors
= value
;
2327 case OPT_Wstack_usage_
:
2328 opts
->x_flag_stack_usage_info
= value
!= -1;
2331 case OPT_Wstrict_aliasing
:
2332 set_Wstrict_aliasing (opts
, value
);
2335 case OPT_Wstrict_overflow
:
2336 opts
->x_warn_strict_overflow
= (value
2337 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2341 case OPT_Wsystem_headers
:
2342 dc
->dc_warn_system_headers
= value
;
2346 opts
->x_flag_gen_aux_info
= 1;
2349 case OPT_auxbase_strip
:
2351 char *tmp
= xstrdup (arg
);
2352 strip_off_ending (tmp
, strlen (tmp
));
2354 opts
->x_aux_base_name
= tmp
;
2361 decode_d_option (arg
, opts
, loc
, dc
);
2364 case OPT_fcall_used_
:
2365 case OPT_fcall_saved_
:
2373 case OPT_fdbg_cnt_list
:
2375 opts
->x_exit_after_options
= true;
2378 case OPT_fdebug_prefix_map_
:
2379 case OPT_ffile_prefix_map_
:
2383 case OPT_fcallgraph_info
:
2384 opts
->x_flag_callgraph_info
= CALLGRAPH_INFO_NAKED
;
2387 case OPT_fcallgraph_info_
:
2390 my_arg
= xstrdup (arg
);
2391 p
= strtok (my_arg
, ",");
2394 if (strcmp (p
, "su") == 0)
2396 opts
->x_flag_callgraph_info
|= CALLGRAPH_INFO_STACK_USAGE
;
2397 opts
->x_flag_stack_usage_info
= true;
2399 else if (strcmp (p
, "da") == 0)
2400 opts
->x_flag_callgraph_info
|= CALLGRAPH_INFO_DYNAMIC_ALLOC
;
2403 p
= strtok (NULL
, ",");
2409 case OPT_fdiagnostics_show_location_
:
2410 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2413 case OPT_fdiagnostics_show_caret
:
2414 dc
->show_caret
= value
;
2417 case OPT_fdiagnostics_show_labels
:
2418 dc
->show_labels_p
= value
;
2421 case OPT_fdiagnostics_show_line_numbers
:
2422 dc
->show_line_numbers_p
= value
;
2425 case OPT_fdiagnostics_color_
:
2426 diagnostic_color_init (dc
, value
);
2429 case OPT_fdiagnostics_urls_
:
2430 diagnostic_urls_init (dc
, value
);
2433 case OPT_fdiagnostics_format_
:
2434 diagnostic_output_format_init (dc
,
2435 (enum diagnostics_output_format
)value
);
2438 case OPT_fdiagnostics_parseable_fixits
:
2439 dc
->parseable_fixits_p
= value
;
2442 case OPT_fdiagnostics_show_cwe
:
2443 dc
->show_cwe
= value
;
2446 case OPT_fdiagnostics_path_format_
:
2447 dc
->path_format
= (enum diagnostic_path_format
)value
;
2450 case OPT_fdiagnostics_show_path_depths
:
2451 dc
->show_path_depths
= value
;
2454 case OPT_fdiagnostics_show_option
:
2455 dc
->show_option_requested
= value
;
2458 case OPT_fdiagnostics_minimum_margin_width_
:
2459 dc
->min_margin_width
= value
;
2466 case OPT_ffast_math
:
2467 set_fast_math_flags (opts
, value
);
2470 case OPT_funsafe_math_optimizations
:
2471 set_unsafe_math_optimizations_flags (opts
, value
);
2478 case OPT_finline_limit_
:
2479 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_inline_insns_single
,
2481 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_inline_insns_auto
,
2485 case OPT_finstrument_functions_exclude_function_list_
:
2486 add_comma_separated_to_vector
2487 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2490 case OPT_finstrument_functions_exclude_file_list_
:
2491 add_comma_separated_to_vector
2492 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2495 case OPT_fmessage_length_
:
2496 pp_set_line_maximum_length (dc
->printer
, value
);
2497 diagnostic_set_caret_max_width (dc
, value
);
2501 case OPT_fopt_info_
:
2507 const char *p
= arg
;
2508 opts
->x_flag_disable_hsa
= true;
2511 const char *comma
= strchr (p
, ',');
2513 if ((strncmp (p
, "disable", 7) == 0)
2514 && (p
[7] == ',' || p
[7] == '\0'))
2516 opts
->x_flag_disable_hsa
= true;
2520 if ((strncmp (p
, "hsa", 3) == 0)
2521 && (p
[3] == ',' || p
[3] == '\0'))
2524 opts
->x_flag_disable_hsa
= false;
2526 sorry ("HSA has not been enabled during configuration");
2536 #ifndef ACCEL_COMPILER
2537 case OPT_foffload_abi_
:
2538 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2539 "offload compiler");
2543 case OPT_fpack_struct_
:
2544 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2546 "structure alignment must be a small power of two, not %wu",
2549 opts
->x_initial_max_fld_align
= value
;
2553 case OPT_fplugin_arg_
:
2557 case OPT_fprofile_use_
:
2558 opts
->x_profile_data_prefix
= xstrdup (arg
);
2559 opts
->x_flag_profile_use
= true;
2561 /* No break here - do -fprofile-use processing. */
2563 case OPT_fprofile_use
:
2564 enable_fdo_optimizations (opts
, opts_set
, value
);
2565 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_reorder_functions
,
2567 /* Indirect call profiling should do all useful transformations
2568 speculative devirtualization does. */
2569 if (opts
->x_flag_value_profile_transformations
)
2570 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_devirtualize_speculatively
,
2574 case OPT_fauto_profile_
:
2575 opts
->x_auto_profile_file
= xstrdup (arg
);
2576 opts
->x_flag_auto_profile
= true;
2578 /* No break here - do -fauto-profile processing. */
2580 case OPT_fauto_profile
:
2581 enable_fdo_optimizations (opts
, opts_set
, value
);
2582 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_correction
, value
);
2583 SET_OPTION_IF_UNSET (opts
, opts_set
,
2584 param_early_inliner_max_iterations
, 10);
2587 case OPT_fprofile_generate_
:
2588 opts
->x_profile_data_prefix
= xstrdup (arg
);
2590 /* No break here - do -fprofile-generate processing. */
2592 case OPT_fprofile_generate
:
2593 SET_OPTION_IF_UNSET (opts
, opts_set
, profile_arc_flag
, value
);
2594 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_values
, value
);
2595 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_inline_functions
, value
);
2596 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_bit_cp
, value
);
2599 case OPT_fpatchable_function_entry_
:
2601 char *patch_area_arg
= xstrdup (arg
);
2602 char *comma
= strchr (patch_area_arg
, ',');
2606 function_entry_patch_area_size
=
2607 integral_argument (patch_area_arg
);
2608 function_entry_patch_area_start
=
2609 integral_argument (comma
+ 1);
2613 function_entry_patch_area_size
=
2614 integral_argument (patch_area_arg
);
2615 function_entry_patch_area_start
= 0;
2617 if (function_entry_patch_area_size
< 0
2618 || function_entry_patch_area_size
> USHRT_MAX
2619 || function_entry_patch_area_start
< 0
2620 || function_entry_patch_area_start
> USHRT_MAX
2621 || function_entry_patch_area_size
2622 < function_entry_patch_area_start
)
2623 error ("invalid arguments for %<-fpatchable-function-entry%>");
2624 free (patch_area_arg
);
2628 case OPT_ftree_vectorize
:
2629 /* Automatically sets -ftree-loop-vectorize and
2630 -ftree-slp-vectorize. Nothing more to do here. */
2632 case OPT_fshow_column
:
2633 dc
->show_column
= value
;
2636 case OPT_frandom_seed
:
2637 /* The real switch is -fno-random-seed. */
2643 case OPT_frandom_seed_
:
2647 case OPT_fsched_verbose_
:
2648 #ifdef INSN_SCHEDULING
2649 /* Handled with Var in common.opt. */
2655 case OPT_fsched_stalled_insns_
:
2656 opts
->x_flag_sched_stalled_insns
= value
;
2657 if (opts
->x_flag_sched_stalled_insns
== 0)
2658 opts
->x_flag_sched_stalled_insns
= -1;
2661 case OPT_fsched_stalled_insns_dep_
:
2662 opts
->x_flag_sched_stalled_insns_dep
= value
;
2665 case OPT_fstack_check_
:
2666 if (!strcmp (arg
, "no"))
2667 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2668 else if (!strcmp (arg
, "generic"))
2669 /* This is the old stack checking method. */
2670 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2671 ? FULL_BUILTIN_STACK_CHECK
2672 : GENERIC_STACK_CHECK
;
2673 else if (!strcmp (arg
, "specific"))
2674 /* This is the new stack checking method. */
2675 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2676 ? FULL_BUILTIN_STACK_CHECK
2677 : STACK_CHECK_STATIC_BUILTIN
2678 ? STATIC_BUILTIN_STACK_CHECK
2679 : GENERIC_STACK_CHECK
;
2681 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2684 case OPT_fstack_limit
:
2685 /* The real switch is -fno-stack-limit. */
2691 case OPT_fstack_limit_register_
:
2692 case OPT_fstack_limit_symbol_
:
2696 case OPT_fstack_usage
:
2697 opts
->x_flag_stack_usage
= value
;
2698 opts
->x_flag_stack_usage_info
= value
!= 0;
2702 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2707 if (arg
&& strlen (arg
) != 0)
2709 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2710 "use %<-gdwarf-%s%> for DWARF version "
2711 "or %<-gdwarf%> %<-g%s%> for debug level", arg
, arg
, arg
);
2715 value
= opts
->x_dwarf_version
;
2719 if (value
< 2 || value
> 5)
2720 error_at (loc
, "dwarf version %wu is not supported", value
);
2722 opts
->x_dwarf_version
= value
;
2723 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2726 case OPT_gsplit_dwarf
:
2727 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2732 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2737 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2742 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2747 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2753 /* Handled completely via specs. */
2756 case OPT_pedantic_errors
:
2757 dc
->pedantic_errors
= 1;
2758 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2760 handlers
, opts
, opts_set
,
2765 opts
->x_flag_lto
= value
? "" : NULL
;
2769 if (strcmp (arg
, "none") != 0
2770 && strcmp (arg
, "jobserver") != 0
2771 && strcmp (arg
, "auto") != 0
2774 "unrecognized argument to %<-flto=%> option: %qs", arg
);
2778 dc
->dc_inhibit_warnings
= true;
2781 case OPT_fmax_errors_
:
2782 dc
->max_errors
= value
;
2785 case OPT_fuse_ld_bfd
:
2786 case OPT_fuse_ld_gold
:
2787 case OPT_fuse_ld_lld
:
2788 case OPT_fuse_linker_plugin
:
2789 /* No-op. Used by the driver and passed to us because it starts with f.*/
2794 opts
->x_flag_trapv
= 0;
2799 opts
->x_flag_wrapv
= 0;
2802 case OPT_fstrict_overflow
:
2803 opts
->x_flag_wrapv
= !value
;
2804 opts
->x_flag_wrapv_pointer
= !value
;
2806 opts
->x_flag_trapv
= 0;
2810 opts
->x_flag_ipa_icf_functions
= value
;
2811 opts
->x_flag_ipa_icf_variables
= value
;
2814 case OPT_falign_loops_
:
2815 check_alignment_argument (loc
, arg
, "loops");
2818 case OPT_falign_jumps_
:
2819 check_alignment_argument (loc
, arg
, "jumps");
2822 case OPT_falign_labels_
:
2823 check_alignment_argument (loc
, arg
, "labels");
2826 case OPT_falign_functions_
:
2827 check_alignment_argument (loc
, arg
, "functions");
2831 /* If the flag was handled in a standard way, assume the lack of
2832 processing here is intentional. */
2833 gcc_assert (option_flag_var (scode
, opts
));
2837 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2842 /* Used to set the level of strict aliasing warnings in OPTS,
2843 when no level is specified (i.e., when -Wstrict-aliasing, and not
2844 -Wstrict-aliasing=level was given).
2845 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2846 and 0 otherwise. After calling this function, wstrict_aliasing will be
2847 set to the default value of -Wstrict_aliasing=level, currently 3. */
2849 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2851 gcc_assert (onoff
== 0 || onoff
== 1);
2853 opts
->x_warn_strict_aliasing
= 3;
2855 opts
->x_warn_strict_aliasing
= 0;
2858 /* The following routines are useful in setting all the flags that
2859 -ffast-math and -fno-fast-math imply. */
2861 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2863 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2865 opts
->x_flag_unsafe_math_optimizations
= set
;
2866 set_unsafe_math_optimizations_flags (opts
, set
);
2868 if (!opts
->frontend_set_flag_finite_math_only
)
2869 opts
->x_flag_finite_math_only
= set
;
2870 if (!opts
->frontend_set_flag_errno_math
)
2871 opts
->x_flag_errno_math
= !set
;
2874 if (opts
->frontend_set_flag_excess_precision
== EXCESS_PRECISION_DEFAULT
)
2875 opts
->x_flag_excess_precision
2876 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
2877 if (!opts
->frontend_set_flag_signaling_nans
)
2878 opts
->x_flag_signaling_nans
= 0;
2879 if (!opts
->frontend_set_flag_rounding_math
)
2880 opts
->x_flag_rounding_math
= 0;
2881 if (!opts
->frontend_set_flag_cx_limited_range
)
2882 opts
->x_flag_cx_limited_range
= 1;
2886 /* When -funsafe-math-optimizations is set the following
2887 flags are set as well. */
2889 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2891 if (!opts
->frontend_set_flag_trapping_math
)
2892 opts
->x_flag_trapping_math
= !set
;
2893 if (!opts
->frontend_set_flag_signed_zeros
)
2894 opts
->x_flag_signed_zeros
= !set
;
2895 if (!opts
->frontend_set_flag_associative_math
)
2896 opts
->x_flag_associative_math
= set
;
2897 if (!opts
->frontend_set_flag_reciprocal_math
)
2898 opts
->x_flag_reciprocal_math
= set
;
2901 /* Return true iff flags in OPTS are set as if -ffast-math. */
2903 fast_math_flags_set_p (const struct gcc_options
*opts
)
2905 return (!opts
->x_flag_trapping_math
2906 && opts
->x_flag_unsafe_math_optimizations
2907 && opts
->x_flag_finite_math_only
2908 && !opts
->x_flag_signed_zeros
2909 && !opts
->x_flag_errno_math
2910 && opts
->x_flag_excess_precision
== EXCESS_PRECISION_FAST
);
2913 /* Return true iff flags are set as if -ffast-math but using the flags stored
2914 in the struct cl_optimization structure. */
2916 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2918 return (!opt
->x_flag_trapping_math
2919 && opt
->x_flag_unsafe_math_optimizations
2920 && opt
->x_flag_finite_math_only
2921 && !opt
->x_flag_signed_zeros
2922 && !opt
->x_flag_errno_math
);
2925 /* Handle a debug output -g switch for options OPTS
2926 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2927 explicitly), location LOC. EXTENDED is true or false to support
2928 extended output (2 is special and means "-ggdb" was given). */
2930 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2931 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2934 opts
->x_use_gnu_debug_info_extensions
= extended
;
2936 if (type
== NO_DEBUG
)
2938 if (opts
->x_write_symbols
== NO_DEBUG
)
2940 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2944 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2945 opts
->x_write_symbols
= DWARF2_DEBUG
;
2946 #elif defined DBX_DEBUGGING_INFO
2947 opts
->x_write_symbols
= DBX_DEBUG
;
2951 if (opts
->x_write_symbols
== NO_DEBUG
)
2952 warning_at (loc
, 0, "target system does not support debug output");
2957 /* Does it conflict with an already selected type? */
2958 if (opts_set
->x_write_symbols
!= NO_DEBUG
2959 && opts
->x_write_symbols
!= NO_DEBUG
2960 && type
!= opts
->x_write_symbols
)
2961 error_at (loc
, "debug format %qs conflicts with prior selection",
2962 debug_type_names
[type
]);
2963 opts
->x_write_symbols
= type
;
2964 opts_set
->x_write_symbols
= type
;
2967 /* A debug flag without a level defaults to level 2.
2968 If off or at level 1, set it to level 2, but if already
2969 at level 3, don't lower it. */
2972 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2973 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2977 int argval
= integral_argument (arg
);
2979 error_at (loc
, "unrecognized debug output level %qs", arg
);
2980 else if (argval
> 3)
2981 error_at (loc
, "debug output level %qs is too high", arg
);
2983 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2987 /* Arrange to dump core on error for diagnostic context DC. (The
2988 regular error message is still printed first, except in the case of
2992 setup_core_dumping (diagnostic_context
*dc
)
2995 signal (SIGABRT
, SIG_DFL
);
2997 #if defined(HAVE_SETRLIMIT)
3000 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
3001 fatal_error (input_location
, "getting core file size maximum limit: %m");
3002 rlim
.rlim_cur
= rlim
.rlim_max
;
3003 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
3004 fatal_error (input_location
,
3005 "setting core file size limit to maximum: %m");
3008 diagnostic_abort_on_error (dc
);
3011 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
3012 diagnostic context DC. */
3015 decode_d_option (const char *arg
, struct gcc_options
*opts
,
3016 location_t loc
, diagnostic_context
*dc
)
3024 opts
->x_flag_debug_asm
= 1;
3027 opts
->x_flag_print_asm_name
= 1;
3030 opts
->x_flag_dump_rtl_in_asm
= 1;
3031 opts
->x_flag_print_asm_name
= 1;
3034 opts
->x_rtl_dump_and_exit
= 1;
3036 case 'D': /* These are handled by the preprocessor. */
3043 setup_core_dumping (dc
);
3046 opts
->x_flag_dump_all_passed
= true;
3050 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
3055 /* Enable (or disable if VALUE is 0) a warning option ARG (language
3056 mask LANG_MASK, option handlers HANDLERS) as an error for option
3057 structures OPTS and OPTS_SET, diagnostic context DC (possibly
3058 NULL), location LOC. This is used by -Werror=. */
3061 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
3062 const struct cl_option_handlers
*handlers
,
3063 struct gcc_options
*opts
,
3064 struct gcc_options
*opts_set
,
3065 location_t loc
, diagnostic_context
*dc
)
3070 new_option
= XNEWVEC (char, strlen (arg
) + 2);
3071 new_option
[0] = 'W';
3072 strcpy (new_option
+ 1, arg
);
3073 option_index
= find_opt (new_option
, lang_mask
);
3074 if (option_index
== OPT_SPECIAL_unknown
)
3077 const char *hint
= op
.suggest_option (new_option
);
3079 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>;"
3080 " did you mean %<-%s%>?", value
? "" : "no-",
3081 arg
, new_option
, hint
);
3083 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>",
3084 value
? "" : "no-", arg
, new_option
);
3086 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
3087 error_at (loc
, "%<-Werror=%s%>: %<-%s%> is not an option that "
3088 "controls warnings", arg
, new_option
);
3091 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
3092 const char *arg
= NULL
;
3094 if (cl_options
[option_index
].flags
& CL_JOINED
)
3095 arg
= new_option
+ cl_options
[option_index
].opt_len
;
3096 control_warning_option (option_index
, (int) kind
, arg
, value
,
3098 handlers
, opts
, opts_set
, dc
);
3103 /* Return malloced memory for the name of the option OPTION_INDEX
3104 which enabled a diagnostic (context CONTEXT), originally of type
3105 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
3109 option_name (diagnostic_context
*context
, int option_index
,
3110 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
3114 /* A warning classified as an error. */
3115 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
3116 && diag_kind
== DK_ERROR
)
3117 return concat (cl_options
[OPT_Werror_
].opt_text
,
3118 /* Skip over "-W". */
3119 cl_options
[option_index
].opt_text
+ 2,
3121 /* A warning with option. */
3123 return xstrdup (cl_options
[option_index
].opt_text
);
3125 /* A warning without option classified as an error. */
3126 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
3127 || diag_kind
== DK_WARNING
)
3128 && context
->warning_as_error_requested
)
3129 return xstrdup (cl_options
[OPT_Werror
].opt_text
);
3134 /* Get the page within the documentation for this option. */
3137 get_option_html_page (int option_index
)
3139 const cl_option
*cl_opt
= &cl_options
[option_index
];
3141 /* Analyzer options are on their own page. */
3142 if (strstr(cl_opt
->opt_text
, "analyzer-"))
3143 return "gcc/Static-Analyzer-Options.html";
3146 if ((cl_opt
->flags
& CL_Fortran
) != 0
3147 /* If it is option common to both C/C++ and Fortran, it is documented
3148 in gcc/ rather than gfortran/ docs. */
3149 && (cl_opt
->flags
& CL_C
) == 0
3151 && (cl_opt
->flags
& CL_CXX
) == 0
3154 return "gfortran/Error-and-Warning-Options.html";
3157 return "gcc/Warning-Options.html";
3160 /* Return malloced memory for a URL describing the option OPTION_INDEX
3161 which enabled a diagnostic (context CONTEXT). */
3164 get_option_url (diagnostic_context
*, int option_index
)
3167 return concat (/* DOCUMENTATION_ROOT_URL should be supplied via -D by
3168 the Makefile (see --with-documentation-root-url), and
3169 should have a trailing slash. */
3170 DOCUMENTATION_ROOT_URL
,
3172 /* get_option_html_page will return something like
3173 "gcc/Warning-Options.html". */
3174 get_option_html_page (option_index
),
3176 /* Expect an anchor of the form "index-Wfoo" e.g.
3177 <a name="index-Wformat"></a>, and thus an id within
3178 the URL of "#index-Wformat". */
3179 "#index", cl_options
[option_index
].opt_text
,
3187 namespace selftest
{
3189 /* Verify that get_option_html_page works as expected. */
3192 test_get_option_html_page ()
3194 ASSERT_STREQ (get_option_html_page (OPT_Wcpp
), "gcc/Warning-Options.html");
3195 ASSERT_STREQ (get_option_html_page (OPT_Wanalyzer_double_free
),
3196 "gcc/Static-Analyzer-Options.html");
3198 ASSERT_STREQ (get_option_html_page (OPT_Wline_truncation
),
3199 "gfortran/Error-and-Warning-Options.html");
3203 /* Run all of the selftests within this file. */
3208 test_get_option_html_page ();
3211 } // namespace selftest
3213 #endif /* #if CHECKING_P */