1 /* Command line option handling.
2 Copyright (C) 2002-2021 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"
38 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
40 /* Names of fundamental debug info formats indexed by enum
43 const char *const debug_type_names
[] =
45 "none", "stabs", "dwarf-2", "xcoff", "vms", "ctf", "btf"
48 /* Bitmasks of fundamental debug info formats indexed by enum
51 static uint32_t debug_type_masks
[] =
53 NO_DEBUG
, DBX_DEBUG
, DWARF2_DEBUG
, XCOFF_DEBUG
, VMS_DEBUG
,
57 /* Names of the set of debug formats requested by user. Updated and accessed
58 via debug_set_names. */
60 static char df_set_names
[sizeof "none stabs dwarf-2 xcoff vms ctf btf"];
62 /* Get enum debug_info_type of the specified debug format, for error messages.
63 Can be used only for individual debug format types. */
66 debug_set_to_format (uint32_t debug_info_set
)
69 enum debug_info_type dinfo_type
= DINFO_TYPE_NONE
;
70 /* Find first set bit. */
72 idx
= exact_log2 (debug_info_set
& - debug_info_set
);
73 /* Check that only one bit is set, if at all. This function is meant to be
74 used only for vanilla debug_info_set bitmask values, i.e. for individual
75 debug format types upto DINFO_TYPE_MAX. */
76 gcc_assert ((debug_info_set
& (debug_info_set
- 1)) == 0);
77 dinfo_type
= (enum debug_info_type
)idx
;
78 gcc_assert (dinfo_type
<= DINFO_TYPE_MAX
);
82 /* Get the number of debug formats enabled for output. */
85 debug_set_count (uint32_t w_symbols
)
87 unsigned int count
= 0;
91 w_symbols
&= ~ (w_symbols
& - w_symbols
);
96 /* Get the names of the debug formats enabled for output. */
99 debug_set_names (uint32_t w_symbols
)
101 uint32_t df_mask
= 0;
102 /* Reset the string to be returned. */
103 memset (df_set_names
, 0, sizeof (df_set_names
));
104 /* Get the popcount. */
105 int num_set_df
= debug_set_count (w_symbols
);
106 /* Iterate over the debug formats. Add name string for those enabled. */
107 for (int i
= DINFO_TYPE_NONE
; i
<= DINFO_TYPE_MAX
; i
++)
109 df_mask
= debug_type_masks
[i
];
110 if (w_symbols
& df_mask
)
112 strcat (df_set_names
, debug_type_names
[i
]);
115 strcat (df_set_names
, " ");
121 /* No debug formats enabled. */
122 gcc_assert (i
== DINFO_TYPE_NONE
);
123 strcat (df_set_names
, debug_type_names
[i
]);
130 /* Return TRUE iff BTF debug info is enabled. */
135 return (write_symbols
& BTF_DEBUG
);
138 /* Return TRUE iff BTF with CO-RE debug info is enabled. */
141 btf_with_core_debuginfo_p ()
143 return (write_symbols
& BTF_WITH_CORE_DEBUG
);
146 /* Return TRUE iff CTF debug info is enabled. */
151 return (write_symbols
& CTF_DEBUG
);
154 /* Return TRUE iff dwarf2 debug info is enabled. */
159 return (write_symbols
& DWARF2_DEBUG
);
162 /* Return true iff the debug info format is to be generated based on DWARF
163 DIEs (like CTF and BTF debug info formats). */
165 bool dwarf_based_debuginfo_p ()
167 return ((write_symbols
& CTF_DEBUG
)
168 || (write_symbols
& BTF_DEBUG
));
171 /* Parse the -femit-struct-debug-detailed option value
172 and set the flag variables. */
174 #define MATCH( prefix, string ) \
175 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
176 ? ((string += sizeof prefix - 1), 1) : 0)
179 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
182 /* various labels for comparison */
183 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
184 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
185 static const char none_lbl
[] = "none", any_lbl
[] = "any";
186 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
188 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
189 /* Default is to apply to as much as possible. */
190 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
191 int ord
= 1, gen
= 1;
194 if (MATCH (dfn_lbl
, spec
))
195 usage
= DINFO_USAGE_DFN
;
196 else if (MATCH (dir_lbl
, spec
))
197 usage
= DINFO_USAGE_DIR_USE
;
198 else if (MATCH (ind_lbl
, spec
))
199 usage
= DINFO_USAGE_IND_USE
;
201 /* Generics or not? */
202 if (MATCH (ord_lbl
, spec
))
204 else if (MATCH (gen_lbl
, spec
))
207 /* What allowable environment? */
208 if (MATCH (none_lbl
, spec
))
209 files
= DINFO_STRUCT_FILE_NONE
;
210 else if (MATCH (any_lbl
, spec
))
211 files
= DINFO_STRUCT_FILE_ANY
;
212 else if (MATCH (sys_lbl
, spec
))
213 files
= DINFO_STRUCT_FILE_SYS
;
214 else if (MATCH (base_lbl
, spec
))
215 files
= DINFO_STRUCT_FILE_BASE
;
218 "argument %qs to %<-femit-struct-debug-detailed%> "
222 /* Effect the specification. */
223 if (usage
== DINFO_USAGE_NUM_ENUMS
)
227 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
228 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
229 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
233 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
234 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
235 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
241 opts
->x_debug_struct_ordinary
[usage
] = files
;
243 opts
->x_debug_struct_generic
[usage
] = files
;
247 set_struct_debug_option (opts
, loc
, spec
+1);
250 /* No more -femit-struct-debug-detailed specifications.
254 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
256 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
257 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
258 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
259 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
261 "%<-femit-struct-debug-detailed=dir:...%> must allow "
262 "at least as much as "
263 "%<-femit-struct-debug-detailed=ind:...%>");
267 /* Strip off a legitimate source ending from the input string NAME of
268 length LEN. Rather than having to know the names used by all of
269 our front ends, we strip off an ending of a period followed by
270 up to fource characters. (C++ uses ".cpp".) */
273 strip_off_ending (char *name
, int len
)
276 for (i
= 2; i
< 5 && len
> i
; i
++)
278 if (name
[len
- i
] == '.')
280 name
[len
- i
] = '\0';
286 /* Find the base name of a path, stripping off both directories and
287 a single final extension. */
289 base_of_path (const char *path
, const char **base_out
)
291 const char *base
= path
;
293 const char *p
= path
;
297 if (IS_DIR_SEPARATOR (c
))
312 /* What to print when a switch has no documentation. */
313 static const char undocumented_msg
[] = N_("This option lacks documentation.");
314 static const char use_diagnosed_msg
[] = N_("Uses of this option are diagnosed.");
316 typedef char *char_p
; /* For DEF_VEC_P. */
318 static void set_debug_level (uint32_t dinfo
, int extended
,
319 const char *arg
, struct gcc_options
*opts
,
320 struct gcc_options
*opts_set
,
322 static void set_fast_math_flags (struct gcc_options
*opts
, int set
);
323 static void decode_d_option (const char *arg
, struct gcc_options
*opts
,
324 location_t loc
, diagnostic_context
*dc
);
325 static void set_unsafe_math_optimizations_flags (struct gcc_options
*opts
,
327 static void enable_warning_as_error (const char *arg
, int value
,
328 unsigned int lang_mask
,
329 const struct cl_option_handlers
*handlers
,
330 struct gcc_options
*opts
,
331 struct gcc_options
*opts_set
,
333 diagnostic_context
*dc
);
335 /* Handle a back-end option; arguments and return value as for
339 target_handle_option (struct gcc_options
*opts
,
340 struct gcc_options
*opts_set
,
341 const struct cl_decoded_option
*decoded
,
342 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
344 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
345 diagnostic_context
*dc
, void (*) (void))
347 gcc_assert (dc
== global_dc
);
348 gcc_assert (kind
== DK_UNSPECIFIED
);
349 return targetm_common
.handle_option (opts
, opts_set
, decoded
, loc
);
352 /* Add comma-separated strings to a char_p vector. */
355 add_comma_separated_to_vector (void **pvec
, const char *arg
)
361 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
363 vec_check_alloc (v
, 1);
365 /* We never free this string. */
378 v
->safe_push (token_start
);
381 if (*r
== '\\' && r
[1] == ',')
391 if (*token_start
!= '\0')
392 v
->safe_push (token_start
);
397 /* Initialize opts_obstack. */
400 init_opts_obstack (void)
402 gcc_obstack_init (&opts_obstack
);
405 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
408 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
410 /* Ensure that opts_obstack has already been initialized by the time
411 that we initialize any gcc_options instances (PR jit/68446). */
412 gcc_assert (opts_obstack
.chunk_size
> 0);
414 *opts
= global_options_init
;
417 memset (opts_set
, 0, sizeof (*opts_set
));
419 /* Initialize whether `char' is signed. */
420 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
421 /* Set this to a special "uninitialized" value. The actual default
422 is set after target options have been processed. */
423 opts
->x_flag_short_enums
= 2;
425 /* Initialize target_flags before default_options_optimization
426 so the latter can modify it. */
427 opts
->x_target_flags
= targetm_common
.default_target_flags
;
429 /* Some targets have ABI-specified unwind tables. */
430 opts
->x_flag_unwind_tables
= targetm_common
.unwind_tables_default
;
432 /* Some targets have other target-specific initialization. */
433 targetm_common
.option_init_struct (opts
);
436 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
437 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
438 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
439 mask LANG_MASK and option handlers HANDLERS. */
442 maybe_default_option (struct gcc_options
*opts
,
443 struct gcc_options
*opts_set
,
444 const struct default_options
*default_opt
,
445 int level
, bool size
, bool fast
, bool debug
,
446 unsigned int lang_mask
,
447 const struct cl_option_handlers
*handlers
,
449 diagnostic_context
*dc
)
451 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
455 gcc_assert (level
== 2);
457 gcc_assert (level
== 3);
459 gcc_assert (level
== 1);
461 switch (default_opt
->levels
)
467 case OPT_LEVELS_0_ONLY
:
468 enabled
= (level
== 0);
471 case OPT_LEVELS_1_PLUS
:
472 enabled
= (level
>= 1);
475 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
476 enabled
= (level
>= 1 && !size
&& !debug
);
479 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
480 enabled
= (level
>= 1 && !debug
);
483 case OPT_LEVELS_2_PLUS
:
484 enabled
= (level
>= 2);
487 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
488 enabled
= (level
>= 2 && !size
&& !debug
);
491 case OPT_LEVELS_3_PLUS
:
492 enabled
= (level
>= 3);
495 case OPT_LEVELS_3_PLUS_AND_SIZE
:
496 enabled
= (level
>= 3 || size
);
499 case OPT_LEVELS_SIZE
:
503 case OPT_LEVELS_FAST
:
507 case OPT_LEVELS_NONE
:
513 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
514 default_opt
->arg
, default_opt
->value
,
515 lang_mask
, DK_UNSPECIFIED
, loc
,
517 else if (default_opt
->arg
== NULL
518 && !option
->cl_reject_negative
519 && !(option
->flags
& CL_PARAMS
))
520 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
521 default_opt
->arg
, !default_opt
->value
,
522 lang_mask
, DK_UNSPECIFIED
, loc
,
526 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
527 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
528 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
529 language mask LANG_MASK and option handlers HANDLERS. */
532 maybe_default_options (struct gcc_options
*opts
,
533 struct gcc_options
*opts_set
,
534 const struct default_options
*default_opts
,
535 int level
, bool size
, bool fast
, bool debug
,
536 unsigned int lang_mask
,
537 const struct cl_option_handlers
*handlers
,
539 diagnostic_context
*dc
)
543 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
544 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
545 level
, size
, fast
, debug
,
546 lang_mask
, handlers
, loc
, dc
);
549 /* Table of options enabled by default at different levels.
550 Please keep this list sorted by level and alphabetized within
551 each level; this makes it easier to keep the documentation
554 static const struct default_options default_options_table
[] =
556 /* -O1 and -Og optimizations. */
557 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
558 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
559 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
560 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
561 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
562 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
563 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
564 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
565 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
566 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference_addressable
, NULL
, 1 },
567 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
568 { OPT_LEVELS_1_PLUS
, OPT_fomit_frame_pointer
, NULL
, 1 },
569 { OPT_LEVELS_1_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
570 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
571 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
572 { OPT_LEVELS_1_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
573 { OPT_LEVELS_1_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
574 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
575 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
576 { OPT_LEVELS_1_PLUS
, OPT_ftree_coalesce_vars
, NULL
, 1 },
577 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
578 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
579 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
580 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
581 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
582 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
583 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
585 /* -O1 (and not -Og) optimizations. */
586 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
588 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdelayed_branch
, NULL
, 1 },
590 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdse
, NULL
, 1 },
591 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
592 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion2
, NULL
, 1 },
593 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
594 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
595 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_stores
, NULL
, 1 },
596 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
597 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fipa_modref
, NULL
, 1 },
598 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_bit_ccp
, NULL
, 1 },
599 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_dse
, NULL
, 1 },
600 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
601 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
603 /* -O2 and -Os optimizations. */
604 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
605 { OPT_LEVELS_2_PLUS
, OPT_fcode_hoisting
, NULL
, 1 },
606 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
607 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
608 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
609 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
610 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
611 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
612 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
613 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
614 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
615 { OPT_LEVELS_2_PLUS
, OPT_fipa_bit_cp
, NULL
, 1 },
616 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
617 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
618 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
619 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
620 { OPT_LEVELS_2_PLUS
, OPT_fipa_vrp
, NULL
, 1 },
621 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
622 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
623 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
624 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
625 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
626 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
627 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
628 #ifdef INSN_SCHEDULING
629 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
631 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
632 { OPT_LEVELS_2_PLUS
, OPT_fstore_merging
, NULL
, 1 },
633 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
634 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
635 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
636 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
637 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
638 { OPT_LEVELS_2_PLUS
, OPT_finline_functions
, NULL
, 1 },
639 { OPT_LEVELS_2_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
641 /* -O2 and above optimizations, but not -Os or -Og. */
642 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_functions
, NULL
, 1 },
643 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_jumps
, NULL
, 1 },
644 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_labels
, NULL
, 1 },
645 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_loops
, NULL
, 1 },
646 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
647 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_freorder_blocks_algorithm_
, NULL
,
648 REORDER_BLOCKS_ALGORITHM_STC
},
649 #ifdef INSN_SCHEDULING
650 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
651 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
654 /* -O3 and -Os optimizations. */
656 /* -O3 optimizations. */
657 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
658 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
659 { OPT_LEVELS_3_PLUS
, OPT_floop_interchange
, NULL
, 1 },
660 { OPT_LEVELS_3_PLUS
, OPT_floop_unroll_and_jam
, NULL
, 1 },
661 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
662 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
663 { OPT_LEVELS_3_PLUS
, OPT_fsplit_loops
, NULL
, 1 },
664 { OPT_LEVELS_3_PLUS
, OPT_fsplit_paths
, NULL
, 1 },
665 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribution
, NULL
, 1 },
666 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
667 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
668 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
669 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
670 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
671 { OPT_LEVELS_3_PLUS
, OPT_fversion_loops_for_strides
, NULL
, 1 },
673 /* -O3 parameters. */
674 { OPT_LEVELS_3_PLUS
, OPT__param_max_inline_insns_auto_
, NULL
, 30 },
675 { OPT_LEVELS_3_PLUS
, OPT__param_early_inlining_insns_
, NULL
, 14 },
676 { OPT_LEVELS_3_PLUS
, OPT__param_inline_heuristics_hint_percent_
, NULL
, 600 },
677 { OPT_LEVELS_3_PLUS
, OPT__param_inline_min_speedup_
, NULL
, 15 },
678 { OPT_LEVELS_3_PLUS
, OPT__param_max_inline_insns_single_
, NULL
, 200 },
680 /* -Ofast adds optimizations to -O3. */
681 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
682 { OPT_LEVELS_FAST
, OPT_fallow_store_data_races
, NULL
, 1 },
684 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
687 /* Default the options in OPTS and OPTS_SET based on the optimization
688 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
690 default_options_optimization (struct gcc_options
*opts
,
691 struct gcc_options
*opts_set
,
692 struct cl_decoded_option
*decoded_options
,
693 unsigned int decoded_options_count
,
695 unsigned int lang_mask
,
696 const struct cl_option_handlers
*handlers
,
697 diagnostic_context
*dc
)
701 bool openacc_mode
= false;
703 /* Scan to see what optimization level has been specified. That will
704 determine the default value of many flags. */
705 for (i
= 1; i
< decoded_options_count
; i
++)
707 struct cl_decoded_option
*opt
= &decoded_options
[i
];
708 switch (opt
->opt_index
)
711 if (*opt
->arg
== '\0')
713 opts
->x_optimize
= 1;
714 opts
->x_optimize_size
= 0;
715 opts
->x_optimize_fast
= 0;
716 opts
->x_optimize_debug
= 0;
720 const int optimize_val
= integral_argument (opt
->arg
);
721 if (optimize_val
== -1)
722 error_at (loc
, "argument to %<-O%> should be a non-negative "
723 "integer, %<g%>, %<s%> or %<fast%>");
726 opts
->x_optimize
= optimize_val
;
727 if ((unsigned int) opts
->x_optimize
> 255)
728 opts
->x_optimize
= 255;
729 opts
->x_optimize_size
= 0;
730 opts
->x_optimize_fast
= 0;
731 opts
->x_optimize_debug
= 0;
737 opts
->x_optimize_size
= 1;
739 /* Optimizing for size forces optimize to be 2. */
740 opts
->x_optimize
= 2;
741 opts
->x_optimize_fast
= 0;
742 opts
->x_optimize_debug
= 0;
746 /* -Ofast only adds flags to -O3. */
747 opts
->x_optimize_size
= 0;
748 opts
->x_optimize
= 3;
749 opts
->x_optimize_fast
= 1;
750 opts
->x_optimize_debug
= 0;
754 /* -Og selects optimization level 1. */
755 opts
->x_optimize_size
= 0;
756 opts
->x_optimize
= 1;
757 opts
->x_optimize_fast
= 0;
758 opts
->x_optimize_debug
= 1;
767 /* Ignore other options in this prescan. */
772 maybe_default_options (opts
, opts_set
, default_options_table
,
773 opts
->x_optimize
, opts
->x_optimize_size
,
774 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
775 lang_mask
, handlers
, loc
, dc
);
777 /* -O2 param settings. */
778 opt2
= (opts
->x_optimize
>= 2);
781 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_pta
, true);
783 /* Track fields in field-sensitive alias analysis. */
785 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_fields_for_field_sensitive
,
788 if (opts
->x_optimize_size
)
789 /* We want to crossjump as much as possible. */
790 SET_OPTION_IF_UNSET (opts
, opts_set
, param_min_crossjump_insns
, 1);
792 /* Restrict the amount of work combine does at -Og while retaining
793 most of its useful transforms. */
794 if (opts
->x_optimize_debug
)
795 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_combine_insns
, 2);
797 /* Allow default optimizations to be specified on a per-machine basis. */
798 maybe_default_options (opts
, opts_set
,
799 targetm_common
.option_optimization_table
,
800 opts
->x_optimize
, opts
->x_optimize_size
,
801 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
802 lang_mask
, handlers
, loc
, dc
);
805 /* Control IPA optimizations based on different live patching LEVEL. */
807 control_options_for_live_patching (struct gcc_options
*opts
,
808 struct gcc_options
*opts_set
,
809 enum live_patching_level level
,
812 gcc_assert (level
> LIVE_PATCHING_NONE
);
816 case LIVE_PATCHING_INLINE_ONLY_STATIC
:
817 #define LIVE_PATCHING_OPTION "-flive-patching=inline-only-static"
818 if (opts_set
->x_flag_ipa_cp_clone
&& opts
->x_flag_ipa_cp_clone
)
819 error_at (loc
, "%qs is incompatible with %qs",
820 "-fipa-cp-clone", LIVE_PATCHING_OPTION
);
822 opts
->x_flag_ipa_cp_clone
= 0;
824 if (opts_set
->x_flag_ipa_sra
&& opts
->x_flag_ipa_sra
)
825 error_at (loc
, "%qs is incompatible with %qs",
826 "-fipa-sra", LIVE_PATCHING_OPTION
);
828 opts
->x_flag_ipa_sra
= 0;
830 if (opts_set
->x_flag_partial_inlining
&& opts
->x_flag_partial_inlining
)
831 error_at (loc
, "%qs is incompatible with %qs",
832 "-fpartial-inlining", LIVE_PATCHING_OPTION
);
834 opts
->x_flag_partial_inlining
= 0;
836 if (opts_set
->x_flag_ipa_cp
&& opts
->x_flag_ipa_cp
)
837 error_at (loc
, "%qs is incompatible with %qs",
838 "-fipa-cp", LIVE_PATCHING_OPTION
);
840 opts
->x_flag_ipa_cp
= 0;
843 case LIVE_PATCHING_INLINE_CLONE
:
844 #undef LIVE_PATCHING_OPTION
845 #define LIVE_PATCHING_OPTION "-flive-patching=inline-only-static|inline-clone"
846 /* live patching should disable whole-program optimization. */
847 if (opts_set
->x_flag_whole_program
&& opts
->x_flag_whole_program
)
848 error_at (loc
, "%qs is incompatible with %qs",
849 "-fwhole-program", LIVE_PATCHING_OPTION
);
851 opts
->x_flag_whole_program
= 0;
853 /* visibility change should be excluded by !flag_whole_program
854 && !in_lto_p && !flag_ipa_cp_clone && !flag_ipa_sra
855 && !flag_partial_inlining. */
857 if (opts_set
->x_flag_ipa_pta
&& opts
->x_flag_ipa_pta
)
858 error_at (loc
, "%qs is incompatible with %qs",
859 "-fipa-pta", LIVE_PATCHING_OPTION
);
861 opts
->x_flag_ipa_pta
= 0;
863 if (opts_set
->x_flag_ipa_reference
&& opts
->x_flag_ipa_reference
)
864 error_at (loc
, "%qs is incompatible with %qs",
865 "-fipa-reference", LIVE_PATCHING_OPTION
);
867 opts
->x_flag_ipa_reference
= 0;
869 if (opts_set
->x_flag_ipa_ra
&& opts
->x_flag_ipa_ra
)
870 error_at (loc
, "%qs is incompatible with %qs",
871 "-fipa-ra", LIVE_PATCHING_OPTION
);
873 opts
->x_flag_ipa_ra
= 0;
875 if (opts_set
->x_flag_ipa_icf
&& opts
->x_flag_ipa_icf
)
876 error_at (loc
, "%qs is incompatible with %qs",
877 "-fipa-icf", LIVE_PATCHING_OPTION
);
879 opts
->x_flag_ipa_icf
= 0;
881 if (opts_set
->x_flag_ipa_icf_functions
&& opts
->x_flag_ipa_icf_functions
)
882 error_at (loc
, "%qs is incompatible with %qs",
883 "-fipa-icf-functions", LIVE_PATCHING_OPTION
);
885 opts
->x_flag_ipa_icf_functions
= 0;
887 if (opts_set
->x_flag_ipa_icf_variables
&& opts
->x_flag_ipa_icf_variables
)
888 error_at (loc
, "%qs is incompatible with %qs",
889 "-fipa-icf-variables", LIVE_PATCHING_OPTION
);
891 opts
->x_flag_ipa_icf_variables
= 0;
893 if (opts_set
->x_flag_ipa_bit_cp
&& opts
->x_flag_ipa_bit_cp
)
894 error_at (loc
, "%qs is incompatible with %qs",
895 "-fipa-bit-cp", LIVE_PATCHING_OPTION
);
897 opts
->x_flag_ipa_bit_cp
= 0;
899 if (opts_set
->x_flag_ipa_vrp
&& opts
->x_flag_ipa_vrp
)
900 error_at (loc
, "%qs is incompatible with %qs",
901 "-fipa-vrp", LIVE_PATCHING_OPTION
);
903 opts
->x_flag_ipa_vrp
= 0;
905 if (opts_set
->x_flag_ipa_pure_const
&& opts
->x_flag_ipa_pure_const
)
906 error_at (loc
, "%qs is incompatible with %qs",
907 "-fipa-pure-const", LIVE_PATCHING_OPTION
);
909 opts
->x_flag_ipa_pure_const
= 0;
911 if (opts_set
->x_flag_ipa_modref
&& opts
->x_flag_ipa_modref
)
913 "%<-fipa-modref%> is incompatible with %qs",
914 LIVE_PATCHING_OPTION
);
916 opts
->x_flag_ipa_modref
= 0;
918 /* FIXME: disable unreachable code removal. */
920 /* discovery of functions/variables with no address taken. */
921 if (opts_set
->x_flag_ipa_reference_addressable
922 && opts
->x_flag_ipa_reference_addressable
)
923 error_at (loc
, "%qs is incompatible with %qs",
924 "-fipa-reference-addressable", LIVE_PATCHING_OPTION
);
926 opts
->x_flag_ipa_reference_addressable
= 0;
928 /* ipa stack alignment propagation. */
929 if (opts_set
->x_flag_ipa_stack_alignment
930 && opts
->x_flag_ipa_stack_alignment
)
931 error_at (loc
, "%qs is incompatible with %qs",
932 "-fipa-stack-alignment", LIVE_PATCHING_OPTION
);
934 opts
->x_flag_ipa_stack_alignment
= 0;
940 #undef LIVE_PATCHING_OPTION
943 /* --help option argument if set. */
944 vec
<const char *> help_option_arguments
;
946 /* Return the string name describing a sanitizer argument which has been
947 provided on the command line and has set this particular flag. */
949 find_sanitizer_argument (struct gcc_options
*opts
, unsigned int flags
)
951 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
953 /* Need to find the sanitizer_opts element which:
954 a) Could have set the flags requested.
955 b) Has been set on the command line.
957 Can have (a) without (b) if the flag requested is e.g.
958 SANITIZE_ADDRESS, since both -fsanitize=address and
959 -fsanitize=kernel-address set this flag.
961 Can have (b) without (a) by requesting more than one sanitizer on the
963 if ((sanitizer_opts
[i
].flag
& opts
->x_flag_sanitize
)
964 != sanitizer_opts
[i
].flag
)
966 if ((sanitizer_opts
[i
].flag
& flags
) != flags
)
968 return sanitizer_opts
[i
].name
;
974 /* Report an error to the user about sanitizer options they have requested
975 which have set conflicting flags.
977 LEFT and RIGHT indicate sanitizer flags which conflict with each other, this
978 function reports an error if both have been set in OPTS->x_flag_sanitize and
979 ensures the error identifies the requested command line options that have
982 report_conflicting_sanitizer_options (struct gcc_options
*opts
, location_t loc
,
983 unsigned int left
, unsigned int right
)
985 unsigned int left_seen
= (opts
->x_flag_sanitize
& left
);
986 unsigned int right_seen
= (opts
->x_flag_sanitize
& right
);
987 if (left_seen
&& right_seen
)
989 const char* left_arg
= find_sanitizer_argument (opts
, left_seen
);
990 const char* right_arg
= find_sanitizer_argument (opts
, right_seen
);
991 gcc_assert (left_arg
&& right_arg
);
993 "%<-fsanitize=%s%> is incompatible with %<-fsanitize=%s%>",
994 left_arg
, right_arg
);
998 /* After all options at LOC have been read into OPTS and OPTS_SET,
999 finalize settings of those options and diagnose incompatible
1002 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
1005 enum unwind_info_type ui_except
;
1007 if (opts
->x_dump_base_name
1008 && ! opts
->x_dump_base_name_prefixed
)
1010 const char *sep
= opts
->x_dump_base_name
;
1013 if (IS_DIR_SEPARATOR (*sep
))
1017 /* If dump_base_path contains subdirectories, don't prepend
1019 else if (opts
->x_dump_dir_name
)
1020 /* We have a DUMP_DIR_NAME, prepend that. */
1021 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
1022 opts
->x_dump_base_name
, NULL
);
1024 /* It is definitely prefixed now. */
1025 opts
->x_dump_base_name_prefixed
= true;
1028 /* Handle related options for unit-at-a-time, toplevel-reorder, and
1030 if (!opts
->x_flag_unit_at_a_time
)
1032 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
1033 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
1035 opts
->x_flag_section_anchors
= 0;
1036 if (opts
->x_flag_toplevel_reorder
== 1)
1037 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
1039 opts
->x_flag_toplevel_reorder
= 0;
1042 /* -fself-test depends on the state of the compiler prior to
1043 compiling anything. Ideally it should be run on an empty source
1044 file. However, in case we get run with actual source, assume
1045 -fsyntax-only which will inhibit any compiler initialization
1046 which may confuse the self tests. */
1047 if (opts
->x_flag_self_test
)
1048 opts
->x_flag_syntax_only
= 1;
1050 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
1051 sorry ("transactional memory is not supported with non-call exceptions");
1053 /* Unless the user has asked for section anchors, we disable toplevel
1054 reordering at -O0 to disable transformations that might be surprising
1055 to end users and to get -fno-toplevel-reorder tested. */
1056 if (!opts
->x_optimize
1057 && opts
->x_flag_toplevel_reorder
== 2
1058 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
1060 opts
->x_flag_toplevel_reorder
= 0;
1061 opts
->x_flag_section_anchors
= 0;
1063 if (!opts
->x_flag_toplevel_reorder
)
1065 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
1066 error_at (loc
, "section anchors must be disabled when toplevel reorder"
1068 opts
->x_flag_section_anchors
= 0;
1071 if (!opts
->x_flag_opts_finished
)
1073 /* We initialize opts->x_flag_pie to -1 so that targets can set a
1075 if (opts
->x_flag_pie
== -1)
1077 /* We initialize opts->x_flag_pic to -1 so that we can tell if
1078 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
1079 if (opts
->x_flag_pic
== -1)
1080 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
1082 opts
->x_flag_pie
= 0;
1084 /* If -fPIE or -fpie is used, turn on PIC. */
1085 if (opts
->x_flag_pie
)
1086 opts
->x_flag_pic
= opts
->x_flag_pie
;
1087 else if (opts
->x_flag_pic
== -1)
1088 opts
->x_flag_pic
= 0;
1089 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
1090 opts
->x_flag_shlib
= 1;
1091 opts
->x_flag_opts_finished
= true;
1094 /* We initialize opts->x_flag_stack_protect to -1 so that targets
1095 can set a default value. */
1096 if (opts
->x_flag_stack_protect
== -1)
1097 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
1099 if (opts
->x_optimize
== 0)
1101 /* Inlining does not work if not optimizing,
1102 so force it not to be done. */
1103 opts
->x_warn_inline
= 0;
1104 opts
->x_flag_no_inline
= 1;
1107 /* The optimization to partition hot and cold basic blocks into separate
1108 sections of the .o and executable files does not work (currently)
1109 with exception handling. This is because there is no support for
1110 generating unwind info. If opts->x_flag_exceptions is turned on
1111 we need to turn off the partitioning optimization. */
1113 ui_except
= targetm_common
.except_unwind_info (opts
);
1115 if (opts
->x_flag_exceptions
1116 && opts
->x_flag_reorder_blocks_and_partition
1117 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
1119 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1121 "%<-freorder-blocks-and-partition%> does not work "
1122 "with exceptions on this architecture");
1123 opts
->x_flag_reorder_blocks_and_partition
= 0;
1124 opts
->x_flag_reorder_blocks
= 1;
1127 /* If user requested unwind info, then turn off the partitioning
1130 if (opts
->x_flag_unwind_tables
1131 && !targetm_common
.unwind_tables_default
1132 && opts
->x_flag_reorder_blocks_and_partition
1133 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
1135 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1137 "%<-freorder-blocks-and-partition%> does not support "
1138 "unwind info on this architecture");
1139 opts
->x_flag_reorder_blocks_and_partition
= 0;
1140 opts
->x_flag_reorder_blocks
= 1;
1143 /* If the target requested unwind info, then turn off the partitioning
1144 optimization with a different message. Likewise, if the target does not
1145 support named sections. */
1147 if (opts
->x_flag_reorder_blocks_and_partition
1148 && (!targetm_common
.have_named_sections
1149 || (opts
->x_flag_unwind_tables
1150 && targetm_common
.unwind_tables_default
1151 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
1153 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1155 "%<-freorder-blocks-and-partition%> does not work "
1156 "on this architecture");
1157 opts
->x_flag_reorder_blocks_and_partition
= 0;
1158 opts
->x_flag_reorder_blocks
= 1;
1162 /* Pipelining of outer loops is only possible when general pipelining
1163 capabilities are requested. */
1164 if (!opts
->x_flag_sel_sched_pipelining
)
1165 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
1167 if (opts
->x_flag_conserve_stack
)
1169 SET_OPTION_IF_UNSET (opts
, opts_set
, param_large_stack_frame
, 100);
1170 SET_OPTION_IF_UNSET (opts
, opts_set
, param_stack_frame_growth
, 40);
1173 if (opts
->x_flag_lto
)
1176 opts
->x_flag_generate_lto
= 1;
1178 /* When generating IL, do not operate in whole-program mode.
1179 Otherwise, symbols will be privatized too early, causing link
1181 opts
->x_flag_whole_program
= 0;
1183 error_at (loc
, "LTO support has not been enabled in this configuration");
1185 if (!opts
->x_flag_fat_lto_objects
1186 && (!HAVE_LTO_PLUGIN
1187 || (opts_set
->x_flag_use_linker_plugin
1188 && !opts
->x_flag_use_linker_plugin
)))
1190 if (opts_set
->x_flag_fat_lto_objects
)
1191 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
1193 opts
->x_flag_fat_lto_objects
= 1;
1196 /* -gsplit-dwarf isn't compatible with LTO, see PR88389. */
1197 if (opts
->x_dwarf_split_debug_info
)
1199 inform (loc
, "%<-gsplit-dwarf%> is not supported with LTO,"
1201 opts
->x_dwarf_split_debug_info
= 0;
1205 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
1206 default value if they choose based on other options. */
1207 if (opts
->x_flag_split_stack
== -1)
1208 opts
->x_flag_split_stack
= 0;
1209 else if (opts
->x_flag_split_stack
)
1211 if (!targetm_common
.supports_split_stack (true, opts
))
1213 error_at (loc
, "%<-fsplit-stack%> is not supported by "
1214 "this compiler configuration");
1215 opts
->x_flag_split_stack
= 0;
1219 /* If stack splitting is turned on, and the user did not explicitly
1220 request function partitioning, turn off partitioning, as it
1221 confuses the linker when trying to handle partitioned split-stack
1222 code that calls a non-split-stack functions. But if partitioning
1223 was turned on explicitly just hope for the best. */
1224 if (opts
->x_flag_split_stack
1225 && opts
->x_flag_reorder_blocks_and_partition
)
1226 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_reorder_blocks_and_partition
, 0);
1228 if (opts
->x_flag_reorder_blocks_and_partition
)
1229 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_reorder_functions
, 1);
1231 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
1232 if (opts
->x_dwarf_split_debug_info
)
1233 opts
->x_debug_generate_pub_sections
= 2;
1235 if ((opts
->x_flag_sanitize
1236 & (SANITIZE_USER_ADDRESS
| SANITIZE_KERNEL_ADDRESS
)) == 0)
1238 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_COMPARE
)
1240 "%<-fsanitize=pointer-compare%> must be combined with "
1241 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1242 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_SUBTRACT
)
1244 "%<-fsanitize=pointer-subtract%> must be combined with "
1245 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1248 /* Address sanitizers conflict with the thread sanitizer. */
1249 report_conflicting_sanitizer_options (opts
, loc
, SANITIZE_THREAD
,
1250 SANITIZE_ADDRESS
| SANITIZE_HWADDRESS
);
1251 /* The leak sanitizer conflicts with the thread sanitizer. */
1252 report_conflicting_sanitizer_options (opts
, loc
, SANITIZE_LEAK
,
1255 /* No combination of HWASAN and ASAN work together. */
1256 report_conflicting_sanitizer_options (opts
, loc
,
1257 SANITIZE_HWADDRESS
, SANITIZE_ADDRESS
);
1259 /* The userspace and kernel address sanitizers conflict with each other. */
1260 report_conflicting_sanitizer_options (opts
, loc
, SANITIZE_USER_HWADDRESS
,
1261 SANITIZE_KERNEL_HWADDRESS
);
1262 report_conflicting_sanitizer_options (opts
, loc
, SANITIZE_USER_ADDRESS
,
1263 SANITIZE_KERNEL_ADDRESS
);
1265 /* Check error recovery for -fsanitize-recover option. */
1266 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1267 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
1268 && !sanitizer_opts
[i
].can_recover
)
1269 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
1270 sanitizer_opts
[i
].name
);
1272 /* When instrumenting the pointers, we don't want to remove
1273 the null pointer checks. */
1274 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
1275 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
1276 opts
->x_flag_delete_null_pointer_checks
= 0;
1278 /* Aggressive compiler optimizations may cause false negatives. */
1279 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
1280 opts
->x_flag_aggressive_loop_optimizations
= 0;
1282 /* Enable -fsanitize-address-use-after-scope if either address sanitizer is
1284 if (opts
->x_flag_sanitize
1285 & (SANITIZE_USER_ADDRESS
| SANITIZE_USER_HWADDRESS
))
1286 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_sanitize_address_use_after_scope
,
1289 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
1291 if (opts
->x_flag_sanitize_address_use_after_scope
)
1293 if (opts
->x_flag_stack_reuse
!= SR_NONE
1294 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1296 "%<-fsanitize-address-use-after-scope%> requires "
1297 "%<-fstack-reuse=none%> option");
1299 opts
->x_flag_stack_reuse
= SR_NONE
;
1302 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1303 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1305 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1306 sorry ("transactional memory is not supported with "
1307 "%<-fsanitize=kernel-address%>");
1309 /* Currently live patching is not support for LTO. */
1310 if (opts
->x_flag_live_patching
&& opts
->x_flag_lto
)
1311 sorry ("live patching is not supported with LTO");
1313 /* Currently vtable verification is not supported for LTO */
1314 if (opts
->x_flag_vtable_verify
&& opts
->x_flag_lto
)
1315 sorry ("vtable verification is not supported with LTO");
1317 /* Control IPA optimizations based on different -flive-patching level. */
1318 if (opts
->x_flag_live_patching
)
1319 control_options_for_live_patching (opts
, opts_set
,
1320 opts
->x_flag_live_patching
,
1323 /* Unrolling all loops implies that standard loop unrolling must also
1325 if (opts
->x_flag_unroll_all_loops
)
1326 opts
->x_flag_unroll_loops
= 1;
1328 /* Allow cunroll to grow size accordingly. */
1329 if (!opts_set
->x_flag_cunroll_grow_size
)
1330 opts
->x_flag_cunroll_grow_size
1331 = (opts
->x_flag_unroll_loops
1332 || opts
->x_flag_peel_loops
1333 || opts
->x_optimize
>= 3);
1335 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1336 if (opts
->x_flag_cx_limited_range
)
1337 opts
->x_flag_complex_method
= 0;
1338 else if (opts_set
->x_flag_cx_limited_range
)
1339 opts
->x_flag_complex_method
= opts
->x_flag_default_complex_method
;
1341 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1342 if (opts
->x_flag_cx_fortran_rules
)
1343 opts
->x_flag_complex_method
= 1;
1344 else if (opts_set
->x_flag_cx_fortran_rules
)
1345 opts
->x_flag_complex_method
= opts
->x_flag_default_complex_method
;
1348 #define LEFT_COLUMN 27
1350 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1351 followed by word-wrapped HELP in a second column. */
1353 wrap_help (const char *help
,
1355 unsigned int item_width
,
1356 unsigned int columns
)
1358 unsigned int col_width
= LEFT_COLUMN
;
1359 unsigned int remaining
, room
, len
;
1361 remaining
= strlen (help
);
1365 room
= columns
- 3 - MAX (col_width
, item_width
);
1374 for (i
= 0; help
[i
]; i
++)
1376 if (i
>= room
&& len
!= remaining
)
1380 else if ((help
[i
] == '-' || help
[i
] == '/')
1381 && help
[i
+ 1] != ' '
1382 && i
> 0 && ISALPHA (help
[i
- 1]))
1387 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1389 while (help
[len
] == ' ')
1397 /* Data structure used to print list of valid option values. */
1399 class option_help_tuple
1402 option_help_tuple (int code
, vec
<const char *> values
):
1403 m_code (code
), m_values (values
)
1406 /* Code of an option. */
1409 /* List of possible values. */
1410 vec
<const char *> m_values
;
1413 /* Print help for a specific front-end, etc. */
1415 print_filtered_help (unsigned int include_flags
,
1416 unsigned int exclude_flags
,
1417 unsigned int any_flags
,
1418 unsigned int columns
,
1419 struct gcc_options
*opts
,
1420 unsigned int lang_mask
)
1425 bool displayed
= false;
1428 if (!opts
->x_help_printed
)
1429 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1431 if (!opts
->x_help_enum_printed
)
1432 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1434 auto_vec
<option_help_tuple
> help_tuples
;
1436 for (i
= 0; i
< cl_options_count
; i
++)
1438 const struct cl_option
*option
= cl_options
+ i
;
1443 if (include_flags
== 0
1444 || ((option
->flags
& include_flags
) != include_flags
))
1446 if ((option
->flags
& any_flags
) == 0)
1450 /* Skip unwanted switches. */
1451 if ((option
->flags
& exclude_flags
) != 0)
1454 /* The driver currently prints its own help text. */
1455 if ((option
->flags
& CL_DRIVER
) != 0
1456 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1457 | CL_COMMON
| CL_TARGET
)) == 0)
1460 /* If an option contains a language specification,
1461 exclude it from common unless all languages are present. */
1462 if ((include_flags
& CL_COMMON
)
1463 && !(option
->flags
& CL_DRIVER
)
1464 && (option
->flags
& CL_LANG_ALL
)
1465 && (option
->flags
& CL_LANG_ALL
) != CL_LANG_ALL
)
1469 /* Skip switches that have already been printed. */
1470 if (opts
->x_help_printed
[i
])
1473 opts
->x_help_printed
[i
] = true;
1475 help
= option
->help
;
1478 if (exclude_flags
& CL_UNDOCUMENTED
)
1481 help
= undocumented_msg
;
1484 /* Get the translation. */
1487 if (option
->alias_target
< N_OPTS
1488 && cl_options
[option
->alias_target
].help
)
1490 const struct cl_option
*target
= cl_options
+ option
->alias_target
;
1491 if (option
->help
== NULL
)
1493 /* The option is undocumented but is an alias for an option that
1494 is documented. If the option has alias arguments, then its
1495 purpose is to provide certain arguments to the other option, so
1496 inform the reader of this. Otherwise, point the reader to the
1497 other option in preference to the former. */
1499 if (option
->alias_arg
)
1501 if (option
->neg_alias_arg
)
1502 snprintf (new_help
, sizeof new_help
,
1503 _("Same as %s%s (or, in negated form, %s%s)."),
1504 target
->opt_text
, option
->alias_arg
,
1505 target
->opt_text
, option
->neg_alias_arg
);
1507 snprintf (new_help
, sizeof new_help
,
1509 target
->opt_text
, option
->alias_arg
);
1512 snprintf (new_help
, sizeof new_help
,
1518 /* For documented options with aliases, mention the aliased
1519 option's name for reference. */
1520 snprintf (new_help
, sizeof new_help
,
1521 _("%s Same as %s."),
1522 help
, cl_options
[option
->alias_target
].opt_text
);
1528 if (option
->warn_message
)
1530 /* Mention that the use of the option will trigger a warning. */
1531 if (help
== new_help
)
1532 snprintf (new_help
+ strlen (new_help
),
1533 sizeof new_help
- strlen (new_help
),
1534 " %s", _(use_diagnosed_msg
));
1536 snprintf (new_help
, sizeof new_help
,
1537 "%s %s", help
, _(use_diagnosed_msg
));
1542 /* Find the gap between the name of the
1543 option and its descriptive text. */
1544 tab
= strchr (help
, '\t');
1553 opt
= option
->opt_text
;
1557 /* With the -Q option enabled we change the descriptive text associated
1558 with an option to be an indication of its current setting. */
1559 if (!opts
->x_quiet_flag
)
1561 void *flag_var
= option_flag_var (i
, opts
);
1563 if (len
< (LEFT_COLUMN
+ 2))
1564 strcpy (new_help
, "\t\t");
1566 strcpy (new_help
, "\t");
1568 /* Set to print whether the option is enabled or disabled,
1569 or, if it's an alias for another option, the name of
1570 the aliased option. */
1571 bool print_state
= false;
1573 if (flag_var
!= NULL
1574 && option
->var_type
!= CLVC_DEFER
)
1576 /* If OPTION is only available for a specific subset
1577 of languages other than this one, mention them. */
1578 bool avail_for_lang
= true;
1579 if (unsigned langset
= option
->flags
& CL_LANG_ALL
)
1581 if (!(langset
& lang_mask
))
1583 avail_for_lang
= false;
1584 strcat (new_help
, _("[available in "));
1585 for (unsigned i
= 0, n
= 0; (1U << i
) < CL_LANG_ALL
; ++i
)
1586 if (langset
& (1U << i
))
1589 strcat (new_help
, ", ");
1590 strcat (new_help
, lang_names
[i
]);
1592 strcat (new_help
, "]");
1595 if (!avail_for_lang
)
1596 ; /* Print nothing else if the option is not available
1597 in the current language. */
1598 else if (option
->flags
& CL_JOINED
)
1600 if (option
->var_type
== CLVC_STRING
)
1602 if (* (const char **) flag_var
!= NULL
)
1603 snprintf (new_help
+ strlen (new_help
),
1604 sizeof (new_help
) - strlen (new_help
),
1605 "%s", * (const char **) flag_var
);
1607 else if (option
->var_type
== CLVC_ENUM
)
1609 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1611 const char *arg
= NULL
;
1613 value
= e
->get (flag_var
);
1614 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1616 arg
= _("[default]");
1617 snprintf (new_help
+ strlen (new_help
),
1618 sizeof (new_help
) - strlen (new_help
),
1623 if (option
->cl_host_wide_int
)
1624 sprintf (new_help
+ strlen (new_help
),
1625 _("%llu bytes"), (unsigned long long)
1626 *(unsigned HOST_WIDE_INT
*) flag_var
);
1628 sprintf (new_help
+ strlen (new_help
),
1629 "%i", * (int *) flag_var
);
1636 /* When there is no argument, print the option state only
1637 if the option takes no argument. */
1638 print_state
= !(option
->flags
& CL_JOINED
);
1642 if (option
->alias_target
< N_OPTS
1643 && option
->alias_target
!= OPT_SPECIAL_warn_removed
1644 && option
->alias_target
!= OPT_SPECIAL_ignore
1645 && option
->alias_target
!= OPT_SPECIAL_input_file
1646 && option
->alias_target
!= OPT_SPECIAL_program_name
1647 && option
->alias_target
!= OPT_SPECIAL_unknown
)
1649 const struct cl_option
*target
1650 = &cl_options
[option
->alias_target
];
1651 sprintf (new_help
+ strlen (new_help
), "%s%s",
1653 option
->alias_arg
? option
->alias_arg
: "");
1655 else if (option
->alias_target
== OPT_SPECIAL_ignore
)
1656 strcat (new_help
, ("[ignored]"));
1659 /* Print the state for an on/off option. */
1660 int ena
= option_enabled (i
, lang_mask
, opts
);
1662 strcat (new_help
, _("[enabled]"));
1664 strcat (new_help
, _("[disabled]"));
1671 if (option
->range_max
!= -1)
1674 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1676 opt
= concat (opt
, b
, NULL
);
1680 wrap_help (help
, opt
, len
, columns
);
1683 if (option
->var_type
== CLVC_ENUM
1684 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1685 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1688 vec
<const char *> option_values
1689 = targetm_common
.get_valid_option_values (i
, NULL
);
1690 if (!option_values
.is_empty ())
1691 help_tuples
.safe_push (option_help_tuple (i
, option_values
));
1697 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1700 printf (_(" No options with the desired characteristics were found\n"));
1705 /* PR 31349: Tell the user how to see all of the
1706 options supported by a specific front end. */
1707 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1708 if ((1U << i
) & langs
)
1709 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1710 lang_names
[i
], lang_names
[i
]);
1714 else if (! displayed
)
1715 printf (_(" All options with the desired characteristics have already been displayed\n"));
1719 /* Print details of enumerated option arguments, if those
1720 enumerations have help text headings provided. If no help text
1721 is provided, presume that the possible values are listed in the
1722 help text for the relevant options. */
1723 for (i
= 0; i
< cl_enums_count
; i
++)
1725 unsigned int j
, pos
;
1727 if (opts
->x_help_enum_printed
[i
] != 1)
1729 if (cl_enums
[i
].help
== NULL
)
1731 printf (" %s\n ", _(cl_enums
[i
].help
));
1733 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1735 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1737 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1739 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1749 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1754 opts
->x_help_enum_printed
[i
] = 2;
1757 for (unsigned i
= 0; i
< help_tuples
.length (); i
++)
1759 const struct cl_option
*option
= cl_options
+ help_tuples
[i
].m_code
;
1760 printf (_(" Known valid arguments for %s option:\n "),
1762 for (unsigned j
= 0; j
< help_tuples
[i
].m_values
.length (); j
++)
1763 printf (" %s", help_tuples
[i
].m_values
[j
]);
1768 /* Display help for a specified type of option.
1769 The options must have ALL of the INCLUDE_FLAGS set
1770 ANY of the flags in the ANY_FLAGS set
1771 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1772 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1774 print_specific_help (unsigned int include_flags
,
1775 unsigned int exclude_flags
,
1776 unsigned int any_flags
,
1777 struct gcc_options
*opts
,
1778 unsigned int lang_mask
)
1780 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1781 const char * description
= NULL
;
1782 const char * descrip_extra
= "";
1786 /* Sanity check: Make sure that we do not have more
1787 languages than we have bits available to enumerate them. */
1788 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1790 /* If we have not done so already, obtain
1791 the desired maximum width of the output. */
1792 if (opts
->x_help_columns
== 0)
1794 opts
->x_help_columns
= get_terminal_width ();
1795 if (opts
->x_help_columns
== INT_MAX
)
1796 /* Use a reasonable default. */
1797 opts
->x_help_columns
= 80;
1800 /* Decide upon the title for the options that we are going to display. */
1801 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1803 switch (flag
& include_flags
)
1810 description
= _("The following options are target specific");
1813 description
= _("The following options control compiler warning messages");
1815 case CL_OPTIMIZATION
:
1816 description
= _("The following options control optimizations");
1819 description
= _("The following options are language-independent");
1822 description
= _("The following options control parameters");
1825 if (i
>= cl_lang_count
)
1827 if (exclude_flags
& all_langs_mask
)
1828 description
= _("The following options are specific to just the language ");
1830 description
= _("The following options are supported by the language ");
1831 descrip_extra
= lang_names
[i
];
1836 if (description
== NULL
)
1840 if (include_flags
& CL_UNDOCUMENTED
)
1841 description
= _("The following options are not documented");
1842 else if (include_flags
& CL_SEPARATE
)
1843 description
= _("The following options take separate arguments");
1844 else if (include_flags
& CL_JOINED
)
1845 description
= _("The following options take joined arguments");
1848 internal_error ("unrecognized %<include_flags 0x%x%> passed "
1849 "to %<print_specific_help%>",
1856 if (any_flags
& all_langs_mask
)
1857 description
= _("The following options are language-related");
1859 description
= _("The following options are language-independent");
1863 printf ("%s%s:\n", description
, descrip_extra
);
1864 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1865 opts
->x_help_columns
, opts
, lang_mask
);
1868 /* Enable FDO-related flags. */
1871 enable_fdo_optimizations (struct gcc_options
*opts
,
1872 struct gcc_options
*opts_set
,
1875 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_branch_probabilities
, value
);
1876 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_values
, value
);
1877 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unroll_loops
, value
);
1878 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_peel_loops
, value
);
1879 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tracer
, value
);
1880 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_value_profile_transformations
,
1882 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_inline_functions
, value
);
1883 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_cp
, value
);
1886 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_cp_clone
, 1);
1887 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_bit_cp
, 1);
1889 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_predictive_commoning
, value
);
1890 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_split_loops
, value
);
1891 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unswitch_loops
, value
);
1892 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_gcse_after_reload
, value
);
1893 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_vectorize
, value
);
1894 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_slp_vectorize
, value
);
1895 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_version_loops_for_strides
, value
);
1896 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_vect_cost_model
,
1897 VECT_COST_MODEL_DYNAMIC
);
1898 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_distribute_patterns
,
1900 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_loop_interchange
, value
);
1901 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_unroll_jam
, value
);
1902 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_tree_loop_distribution
, value
);
1905 /* -f{,no-}sanitize{,-recover}= suboptions. */
1906 const struct sanitizer_opts_s sanitizer_opts
[] =
1908 #define SANITIZER_OPT(name, flags, recover) \
1909 { #name, flags, sizeof #name - 1, recover }
1910 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1911 SANITIZER_OPT (hwaddress
, (SANITIZE_HWADDRESS
| SANITIZE_USER_HWADDRESS
),
1913 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1915 SANITIZER_OPT (kernel
-hwaddress
,
1916 (SANITIZE_HWADDRESS
| SANITIZE_KERNEL_HWADDRESS
),
1918 SANITIZER_OPT (pointer
-compare
, SANITIZE_POINTER_COMPARE
, true),
1919 SANITIZER_OPT (pointer
-subtract
, SANITIZE_POINTER_SUBTRACT
, true),
1920 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1921 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1922 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1923 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1924 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1925 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1926 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1927 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1928 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1929 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1930 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1931 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1932 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1933 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1934 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1935 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1936 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1937 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1938 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1939 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1940 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1942 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1943 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1944 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1945 SANITIZER_OPT (builtin
, SANITIZE_BUILTIN
, true),
1946 SANITIZER_OPT (all
, ~0U, true),
1947 #undef SANITIZER_OPT
1948 { NULL
, 0U, 0UL, false }
1951 /* -fzero-call-used-regs= suboptions. */
1952 const struct zero_call_used_regs_opts_s zero_call_used_regs_opts
[] =
1954 #define ZERO_CALL_USED_REGS_OPT(name, flags) \
1956 ZERO_CALL_USED_REGS_OPT (skip
, zero_regs_flags::SKIP
),
1957 ZERO_CALL_USED_REGS_OPT (used
-gpr
-arg
, zero_regs_flags::USED_GPR_ARG
),
1958 ZERO_CALL_USED_REGS_OPT (used
-gpr
, zero_regs_flags::USED_GPR
),
1959 ZERO_CALL_USED_REGS_OPT (used
-arg
, zero_regs_flags::USED_ARG
),
1960 ZERO_CALL_USED_REGS_OPT (used
, zero_regs_flags::USED
),
1961 ZERO_CALL_USED_REGS_OPT (all
-gpr
-arg
, zero_regs_flags::ALL_GPR_ARG
),
1962 ZERO_CALL_USED_REGS_OPT (all
-gpr
, zero_regs_flags::ALL_GPR
),
1963 ZERO_CALL_USED_REGS_OPT (all
-arg
, zero_regs_flags::ALL_ARG
),
1964 ZERO_CALL_USED_REGS_OPT (all
, zero_regs_flags::ALL
),
1965 #undef ZERO_CALL_USED_REGS_OPT
1969 /* A struct for describing a run of chars within a string. */
1971 class string_fragment
1974 string_fragment (const char *start
, size_t len
)
1975 : m_start (start
), m_len (len
) {}
1977 const char *m_start
;
1981 /* Specialization of edit_distance_traits for string_fragment,
1982 for use by get_closest_sanitizer_option. */
1985 struct edit_distance_traits
<const string_fragment
&>
1987 static size_t get_length (const string_fragment
&fragment
)
1989 return fragment
.m_len
;
1992 static const char *get_string (const string_fragment
&fragment
)
1994 return fragment
.m_start
;
1998 /* Given ARG, an unrecognized sanitizer option, return the best
1999 matching sanitizer option, or NULL if there isn't one.
2000 OPTS is array of candidate sanitizer options.
2001 CODE is OPT_fsanitize_ or OPT_fsanitize_recover_.
2002 VALUE is non-zero for the regular form of the option, zero
2003 for the "no-" form (e.g. "-fno-sanitize-recover="). */
2006 get_closest_sanitizer_option (const string_fragment
&arg
,
2007 const struct sanitizer_opts_s
*opts
,
2008 enum opt_code code
, int value
)
2010 best_match
<const string_fragment
&, const char*> bm (arg
);
2011 for (int i
= 0; opts
[i
].name
!= NULL
; ++i
)
2013 /* -fsanitize=all is not valid, so don't offer it. */
2014 if (code
== OPT_fsanitize_
2015 && opts
[i
].flag
== ~0U
2019 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
2020 don't offer the non-recoverable options. */
2021 if (code
== OPT_fsanitize_recover_
2022 && !opts
[i
].can_recover
2026 bm
.consider (opts
[i
].name
);
2028 return bm
.get_best_meaningful_candidate ();
2031 /* Parse comma separated sanitizer suboptions from P for option SCODE,
2032 adjust previous FLAGS and return new ones. If COMPLAIN is false,
2033 don't issue diagnostics. */
2036 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
2037 unsigned int flags
, int value
, bool complain
)
2039 enum opt_code code
= (enum opt_code
) scode
;
2045 const char *comma
= strchr (p
, ',');
2057 /* Check to see if the string matches an option class name. */
2058 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
2059 if (len
== sanitizer_opts
[i
].len
2060 && memcmp (p
, sanitizer_opts
[i
].name
, len
) == 0)
2062 /* Handle both -fsanitize and -fno-sanitize cases. */
2063 if (value
&& sanitizer_opts
[i
].flag
== ~0U)
2065 if (code
== OPT_fsanitize_
)
2068 error_at (loc
, "%<-fsanitize=all%> option is not valid");
2071 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
2072 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
2076 /* Do not enable -fsanitize-recover=unreachable and
2077 -fsanitize-recover=return if -fsanitize-recover=undefined
2079 if (code
== OPT_fsanitize_recover_
2080 && sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
2081 flags
|= (SANITIZE_UNDEFINED
2082 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
2084 flags
|= sanitizer_opts
[i
].flag
;
2087 flags
&= ~sanitizer_opts
[i
].flag
;
2092 if (! found
&& complain
)
2095 = get_closest_sanitizer_option (string_fragment (p
, len
),
2096 sanitizer_opts
, code
, value
);
2099 if (code
== OPT_fsanitize_recover_
)
2100 suffix
= "-recover";
2106 "unrecognized argument to %<-f%ssanitize%s=%> "
2107 "option: %q.*s; did you mean %qs?",
2109 suffix
, (int) len
, p
, hint
);
2112 "unrecognized argument to %<-f%ssanitize%s=%> option: "
2113 "%q.*s", value
? "" : "no-",
2114 suffix
, (int) len
, p
);
2124 /* Parse string values of no_sanitize attribute passed in VALUE.
2125 Values are separated with comma. */
2128 parse_no_sanitize_attribute (char *value
)
2130 unsigned int flags
= 0;
2132 char *q
= strtok (value
, ",");
2136 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
2137 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
2139 flags
|= sanitizer_opts
[i
].flag
;
2140 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
2141 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
2145 if (sanitizer_opts
[i
].name
== NULL
)
2146 warning (OPT_Wattributes
,
2147 "%qs attribute directive ignored", q
);
2149 q
= strtok (NULL
, ",");
2155 /* Parse -fzero-call-used-regs suboptions from ARG, return the FLAGS. */
2158 parse_zero_call_used_regs_options (const char *arg
)
2160 unsigned int flags
= 0;
2162 /* Check to see if the string matches a sub-option name. */
2163 for (unsigned int i
= 0; zero_call_used_regs_opts
[i
].name
!= NULL
; ++i
)
2164 if (strcmp (arg
, zero_call_used_regs_opts
[i
].name
) == 0)
2166 flags
= zero_call_used_regs_opts
[i
].flag
;
2171 error ("unrecognized argument to %<-fzero-call-used-regs=%>: %qs", arg
);
2176 /* Parse -falign-NAME format for a FLAG value. Return individual
2177 parsed integer values into RESULT_VALUES array. If REPORT_ERROR is
2178 set, print error message at LOC location. */
2181 parse_and_check_align_values (const char *flag
,
2183 auto_vec
<unsigned> &result_values
,
2187 char *str
= xstrdup (flag
);
2188 for (char *p
= strtok (str
, ":"); p
; p
= strtok (NULL
, ":"))
2191 int v
= strtol (p
, &end
, 10);
2192 if (*end
!= '\0' || v
< 0)
2195 error_at (loc
, "invalid arguments for %<-falign-%s%> option: %qs",
2201 result_values
.safe_push ((unsigned)v
);
2206 /* Check that we have a correct number of values. */
2207 if (result_values
.is_empty () || result_values
.length () > 4)
2210 error_at (loc
, "invalid number of arguments for %<-falign-%s%> "
2211 "option: %qs", name
, flag
);
2215 for (unsigned i
= 0; i
< result_values
.length (); i
++)
2216 if (result_values
[i
] > MAX_CODE_ALIGN_VALUE
)
2219 error_at (loc
, "%<-falign-%s%> is not between 0 and %d",
2220 name
, MAX_CODE_ALIGN_VALUE
);
2227 /* Check that alignment value FLAG for -falign-NAME is valid at a given
2228 location LOC. OPT_STR points to the stored -falign-NAME=argument and
2229 OPT_FLAG points to the associated -falign-NAME on/off flag. */
2232 check_alignment_argument (location_t loc
, const char *flag
, const char *name
,
2233 int *opt_flag
, const char **opt_str
)
2235 auto_vec
<unsigned> align_result
;
2236 parse_and_check_align_values (flag
, name
, align_result
, true, loc
);
2238 if (align_result
.length() >= 1 && align_result
[0] == 0)
2245 /* Parse argument of -fpatchable-function-entry option ARG and store
2246 corresponding values to PATCH_AREA_SIZE and PATCH_AREA_START.
2247 If REPORT_ERROR is set to true, generate error for a problematic
2248 option arguments. */
2251 parse_and_check_patch_area (const char *arg
, bool report_error
,
2252 HOST_WIDE_INT
*patch_area_size
,
2253 HOST_WIDE_INT
*patch_area_start
)
2255 *patch_area_size
= 0;
2256 *patch_area_start
= 0;
2261 char *patch_area_arg
= xstrdup (arg
);
2262 char *comma
= strchr (patch_area_arg
, ',');
2266 *patch_area_size
= integral_argument (patch_area_arg
);
2267 *patch_area_start
= integral_argument (comma
+ 1);
2270 *patch_area_size
= integral_argument (patch_area_arg
);
2272 if (*patch_area_size
< 0
2273 || *patch_area_size
> USHRT_MAX
2274 || *patch_area_start
< 0
2275 || *patch_area_start
> USHRT_MAX
2276 || *patch_area_size
< *patch_area_start
)
2278 error ("invalid arguments for %<-fpatchable-function-entry%>");
2280 free (patch_area_arg
);
2283 /* Print help when OPT__help_ is set. */
2286 print_help (struct gcc_options
*opts
, unsigned int lang_mask
,
2287 const char *help_option_argument
)
2289 const char *a
= help_option_argument
;
2290 unsigned int include_flags
= 0;
2291 /* Note - by default we include undocumented options when listing
2292 specific classes. If you only want to see documented options
2293 then add ",^undocumented" to the --help= option. E.g.:
2295 --help=target,^undocumented */
2296 unsigned int exclude_flags
= 0;
2298 if (lang_mask
== CL_DRIVER
)
2301 /* Walk along the argument string, parsing each word in turn.
2303 arg = [^]{word}[,{arg}]
2304 word = {optimizers|target|warnings|undocumented|
2305 params|common|<language>} */
2315 { "optimizers", CL_OPTIMIZATION
},
2316 { "target", CL_TARGET
},
2317 { "warnings", CL_WARNING
},
2318 { "undocumented", CL_UNDOCUMENTED
},
2319 { "params", CL_PARAMS
},
2320 { "joined", CL_JOINED
},
2321 { "separate", CL_SEPARATE
},
2322 { "common", CL_COMMON
},
2325 unsigned int *pflags
;
2327 unsigned int lang_flag
, specific_flag
;
2336 error ("missing argument to %qs", "--help=^");
2339 pflags
= &exclude_flags
;
2342 pflags
= &include_flags
;
2344 comma
= strchr (a
, ',');
2355 /* Check to see if the string matches an option class name. */
2356 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
2357 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
2359 specific_flag
= specifics
[i
].flag
;
2363 /* Check to see if the string matches a language name.
2364 Note - we rely upon the alpha-sorted nature of the entries in
2365 the lang_names array, specifically that shorter names appear
2366 before their longer variants. (i.e. C before C++). That way
2367 when we are attempting to match --help=c for example we will
2368 match with C first and not C++. */
2369 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
2370 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
2372 lang_flag
= 1U << i
;
2376 if (specific_flag
!= 0)
2379 *pflags
|= specific_flag
;
2382 /* The option's argument matches both the start of a
2383 language name and the start of an option class name.
2384 We have a special case for when the user has
2385 specified "--help=c", but otherwise we have to issue
2387 if (strncasecmp (a
, "c", len
) == 0)
2388 *pflags
|= lang_flag
;
2391 "%<--help%> argument %q.*s is ambiguous, "
2392 "please be more specific",
2396 else if (lang_flag
!= 0)
2397 *pflags
|= lang_flag
;
2400 "unrecognized argument to %<--help=%> option: %q.*s",
2408 /* We started using PerFunction/Optimization for parameters and
2409 a warning. We should exclude these from optimization options. */
2410 if (include_flags
& CL_OPTIMIZATION
)
2411 exclude_flags
|= CL_WARNING
;
2412 if (!(include_flags
& CL_PARAMS
))
2413 exclude_flags
|= CL_PARAMS
;
2416 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
2420 /* Handle target- and language-independent options. Return zero to
2421 generate an "unknown option" message. Only options that need
2422 extra handling need to be listed here; if you simply want
2423 DECODED->value assigned to a variable, it happens automatically. */
2426 common_handle_option (struct gcc_options
*opts
,
2427 struct gcc_options
*opts_set
,
2428 const struct cl_decoded_option
*decoded
,
2429 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
2431 const struct cl_option_handlers
*handlers
,
2432 diagnostic_context
*dc
,
2433 void (*target_option_override_hook
) (void))
2435 size_t scode
= decoded
->opt_index
;
2436 const char *arg
= decoded
->arg
;
2437 HOST_WIDE_INT value
= decoded
->value
;
2438 enum opt_code code
= (enum opt_code
) scode
;
2440 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
2446 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
2447 unsigned int undoc_mask
;
2450 if (lang_mask
== CL_DRIVER
)
2453 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
2456 target_option_override_hook ();
2457 /* First display any single language specific options. */
2458 for (i
= 0; i
< cl_lang_count
; i
++)
2460 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
2462 /* Next display any multi language specific options. */
2463 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
2464 /* Then display any remaining, non-language options. */
2465 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
2467 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
2468 opts
->x_exit_after_options
= true;
2472 case OPT__target_help
:
2473 if (lang_mask
== CL_DRIVER
)
2476 target_option_override_hook ();
2477 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
2478 opts
->x_exit_after_options
= true;
2483 help_option_arguments
.safe_push (arg
);
2484 opts
->x_exit_after_options
= true;
2489 if (lang_mask
== CL_DRIVER
)
2492 opts
->x_exit_after_options
= true;
2495 case OPT__completion_
:
2498 case OPT_fsanitize_
:
2499 opts
->x_flag_sanitize
2500 = parse_sanitizer_options (arg
, loc
, code
,
2501 opts
->x_flag_sanitize
, value
, true);
2503 /* Kernel ASan implies normal ASan but does not yet support
2505 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
2507 SET_OPTION_IF_UNSET (opts
, opts_set
,
2508 param_asan_instrumentation_with_call_threshold
,
2510 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_globals
, 0);
2511 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_stack
, 0);
2512 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_protect_allocas
, 0);
2513 SET_OPTION_IF_UNSET (opts
, opts_set
, param_asan_use_after_return
, 0);
2515 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_HWADDRESS
)
2517 SET_OPTION_IF_UNSET (opts
, opts_set
,
2518 param_hwasan_instrument_stack
, 0);
2519 SET_OPTION_IF_UNSET (opts
, opts_set
,
2520 param_hwasan_random_frame_tag
, 0);
2521 SET_OPTION_IF_UNSET (opts
, opts_set
,
2522 param_hwasan_instrument_allocas
, 0);
2526 case OPT_fsanitize_recover_
:
2527 opts
->x_flag_sanitize_recover
2528 = parse_sanitizer_options (arg
, loc
, code
,
2529 opts
->x_flag_sanitize_recover
, value
, true);
2532 case OPT_fasan_shadow_offset_
:
2536 case OPT_fsanitize_address_use_after_scope
:
2537 opts
->x_flag_sanitize_address_use_after_scope
= value
;
2540 case OPT_fsanitize_recover
:
2542 opts
->x_flag_sanitize_recover
2543 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
2544 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
2546 opts
->x_flag_sanitize_recover
2547 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
2550 case OPT_fsanitize_coverage_
:
2551 opts
->x_flag_sanitize_coverage
= value
;
2558 /* Currently handled in a prescan. */
2562 dc
->warning_as_error_requested
= value
;
2566 if (lang_mask
== CL_DRIVER
)
2569 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
2570 opts
, opts_set
, loc
, dc
);
2573 case OPT_Wfatal_errors
:
2574 dc
->fatal_errors
= value
;
2577 case OPT_Wstack_usage_
:
2578 opts
->x_flag_stack_usage_info
= value
!= -1;
2581 case OPT_Wstrict_aliasing
:
2582 set_Wstrict_aliasing (opts
, value
);
2585 case OPT_Wstrict_overflow
:
2586 opts
->x_warn_strict_overflow
= (value
2587 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2591 case OPT_Wsystem_headers
:
2592 dc
->dc_warn_system_headers
= value
;
2596 opts
->x_flag_gen_aux_info
= 1;
2600 decode_d_option (arg
, opts
, loc
, dc
);
2603 case OPT_fcall_used_
:
2604 case OPT_fcall_saved_
:
2612 case OPT_fdebug_prefix_map_
:
2613 case OPT_ffile_prefix_map_
:
2617 case OPT_fcallgraph_info
:
2618 opts
->x_flag_callgraph_info
= CALLGRAPH_INFO_NAKED
;
2621 case OPT_fcallgraph_info_
:
2624 my_arg
= xstrdup (arg
);
2625 p
= strtok (my_arg
, ",");
2628 if (strcmp (p
, "su") == 0)
2630 opts
->x_flag_callgraph_info
|= CALLGRAPH_INFO_STACK_USAGE
;
2631 opts
->x_flag_stack_usage_info
= true;
2633 else if (strcmp (p
, "da") == 0)
2634 opts
->x_flag_callgraph_info
|= CALLGRAPH_INFO_DYNAMIC_ALLOC
;
2637 p
= strtok (NULL
, ",");
2643 case OPT_fdiagnostics_show_location_
:
2644 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2647 case OPT_fdiagnostics_show_caret
:
2648 dc
->show_caret
= value
;
2651 case OPT_fdiagnostics_show_labels
:
2652 dc
->show_labels_p
= value
;
2655 case OPT_fdiagnostics_show_line_numbers
:
2656 dc
->show_line_numbers_p
= value
;
2659 case OPT_fdiagnostics_color_
:
2660 diagnostic_color_init (dc
, value
);
2663 case OPT_fdiagnostics_urls_
:
2664 diagnostic_urls_init (dc
, value
);
2667 case OPT_fdiagnostics_format_
:
2668 diagnostic_output_format_init (dc
,
2669 (enum diagnostics_output_format
)value
);
2672 case OPT_fdiagnostics_parseable_fixits
:
2673 dc
->extra_output_kind
= (value
2674 ? EXTRA_DIAGNOSTIC_OUTPUT_fixits_v1
2675 : EXTRA_DIAGNOSTIC_OUTPUT_none
);
2678 case OPT_fdiagnostics_column_unit_
:
2679 dc
->column_unit
= (enum diagnostics_column_unit
)value
;
2682 case OPT_fdiagnostics_column_origin_
:
2683 dc
->column_origin
= value
;
2686 case OPT_fdiagnostics_show_cwe
:
2687 dc
->show_cwe
= value
;
2690 case OPT_fdiagnostics_path_format_
:
2691 dc
->path_format
= (enum diagnostic_path_format
)value
;
2694 case OPT_fdiagnostics_show_path_depths
:
2695 dc
->show_path_depths
= value
;
2698 case OPT_fdiagnostics_show_option
:
2699 dc
->show_option_requested
= value
;
2702 case OPT_fdiagnostics_minimum_margin_width_
:
2703 dc
->min_margin_width
= value
;
2710 case OPT_ffast_math
:
2711 set_fast_math_flags (opts
, value
);
2714 case OPT_funsafe_math_optimizations
:
2715 set_unsafe_math_optimizations_flags (opts
, value
);
2722 case OPT_finline_limit_
:
2723 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_inline_insns_single
,
2725 SET_OPTION_IF_UNSET (opts
, opts_set
, param_max_inline_insns_auto
,
2729 case OPT_finstrument_functions_exclude_function_list_
:
2730 add_comma_separated_to_vector
2731 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2734 case OPT_finstrument_functions_exclude_file_list_
:
2735 add_comma_separated_to_vector
2736 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2739 case OPT_fmessage_length_
:
2740 pp_set_line_maximum_length (dc
->printer
, value
);
2741 diagnostic_set_caret_max_width (dc
, value
);
2745 case OPT_fopt_info_
:
2749 case OPT_foffload_options_
:
2753 case OPT_foffload_abi_
:
2754 #ifdef ACCEL_COMPILER
2755 /* Handled in the 'mkoffload's. */
2757 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2758 "offload compiler");
2762 case OPT_fpack_struct_
:
2763 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2765 "structure alignment must be a small power of two, not %wu",
2768 opts
->x_initial_max_fld_align
= value
;
2772 case OPT_fplugin_arg_
:
2776 case OPT_fprofile_use_
:
2777 opts
->x_profile_data_prefix
= xstrdup (arg
);
2778 opts
->x_flag_profile_use
= true;
2780 /* No break here - do -fprofile-use processing. */
2782 case OPT_fprofile_use
:
2783 enable_fdo_optimizations (opts
, opts_set
, value
);
2784 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_reorder_functions
,
2786 /* Indirect call profiling should do all useful transformations
2787 speculative devirtualization does. */
2788 if (opts
->x_flag_value_profile_transformations
)
2789 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_devirtualize_speculatively
,
2793 case OPT_fauto_profile_
:
2794 opts
->x_auto_profile_file
= xstrdup (arg
);
2795 opts
->x_flag_auto_profile
= true;
2797 /* No break here - do -fauto-profile processing. */
2799 case OPT_fauto_profile
:
2800 enable_fdo_optimizations (opts
, opts_set
, value
);
2801 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_correction
, value
);
2802 SET_OPTION_IF_UNSET (opts
, opts_set
,
2803 param_early_inliner_max_iterations
, 10);
2806 case OPT_fprofile_generate_
:
2807 opts
->x_profile_data_prefix
= xstrdup (arg
);
2809 /* No break here - do -fprofile-generate processing. */
2811 case OPT_fprofile_generate
:
2812 SET_OPTION_IF_UNSET (opts
, opts_set
, profile_arc_flag
, value
);
2813 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_profile_values
, value
);
2814 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_inline_functions
, value
);
2815 SET_OPTION_IF_UNSET (opts
, opts_set
, flag_ipa_bit_cp
, value
);
2818 case OPT_fprofile_info_section
:
2819 opts
->x_profile_info_section
= ".gcov_info";
2822 case OPT_fpatchable_function_entry_
:
2824 HOST_WIDE_INT patch_area_size
, patch_area_start
;
2825 parse_and_check_patch_area (arg
, true, &patch_area_size
,
2830 case OPT_ftree_vectorize
:
2831 /* Automatically sets -ftree-loop-vectorize and
2832 -ftree-slp-vectorize. Nothing more to do here. */
2834 case OPT_fzero_call_used_regs_
:
2835 opts
->x_flag_zero_call_used_regs
2836 = parse_zero_call_used_regs_options (arg
);
2839 case OPT_fshow_column
:
2840 dc
->show_column
= value
;
2843 case OPT_frandom_seed
:
2844 /* The real switch is -fno-random-seed. */
2850 case OPT_frandom_seed_
:
2854 case OPT_fsched_verbose_
:
2855 #ifdef INSN_SCHEDULING
2856 /* Handled with Var in common.opt. */
2862 case OPT_fsched_stalled_insns_
:
2863 opts
->x_flag_sched_stalled_insns
= value
;
2864 if (opts
->x_flag_sched_stalled_insns
== 0)
2865 opts
->x_flag_sched_stalled_insns
= -1;
2868 case OPT_fsched_stalled_insns_dep_
:
2869 opts
->x_flag_sched_stalled_insns_dep
= value
;
2872 case OPT_fstack_check_
:
2873 if (!strcmp (arg
, "no"))
2874 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2875 else if (!strcmp (arg
, "generic"))
2876 /* This is the old stack checking method. */
2877 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2878 ? FULL_BUILTIN_STACK_CHECK
2879 : GENERIC_STACK_CHECK
;
2880 else if (!strcmp (arg
, "specific"))
2881 /* This is the new stack checking method. */
2882 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2883 ? FULL_BUILTIN_STACK_CHECK
2884 : STACK_CHECK_STATIC_BUILTIN
2885 ? STATIC_BUILTIN_STACK_CHECK
2886 : GENERIC_STACK_CHECK
;
2888 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2891 case OPT_fstack_limit
:
2892 /* The real switch is -fno-stack-limit. */
2898 case OPT_fstack_limit_register_
:
2899 case OPT_fstack_limit_symbol_
:
2903 case OPT_fstack_usage
:
2904 opts
->x_flag_stack_usage
= value
;
2905 opts
->x_flag_stack_usage_info
= value
!= 0;
2909 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2914 set_debug_level (BTF_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2915 /* set the debug level to level 2, but if already at level 3,
2917 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2918 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2922 set_debug_level (CTF_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2923 /* CTF generation feeds off DWARF dies. For optimal CTF, switch debug
2924 info level to 2. If off or at level 1, set it to level 2, but if
2925 already at level 3, don't lower it. */
2926 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
2927 && opts
->x_ctf_debug_info_level
> CTFINFO_LEVEL_NONE
)
2928 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2932 if (arg
&& strlen (arg
) != 0)
2934 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2935 "use %<-gdwarf-%s%> for DWARF version "
2936 "or %<-gdwarf%> %<-g%s%> for debug level", arg
, arg
, arg
);
2940 value
= opts
->x_dwarf_version
;
2944 if (value
< 2 || value
> 5)
2945 error_at (loc
, "dwarf version %wu is not supported", value
);
2947 opts
->x_dwarf_version
= value
;
2948 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2952 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2957 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2962 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2967 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2973 /* Handled completely via specs. */
2976 case OPT_pedantic_errors
:
2977 dc
->pedantic_errors
= 1;
2978 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2980 handlers
, opts
, opts_set
,
2985 opts
->x_flag_lto
= value
? "" : NULL
;
2989 if (strcmp (arg
, "none") != 0
2990 && strcmp (arg
, "jobserver") != 0
2991 && strcmp (arg
, "auto") != 0
2994 "unrecognized argument to %<-flto=%> option: %qs", arg
);
2998 dc
->dc_inhibit_warnings
= true;
3001 case OPT_fmax_errors_
:
3002 dc
->max_errors
= value
;
3005 case OPT_fuse_ld_bfd
:
3006 case OPT_fuse_ld_gold
:
3007 case OPT_fuse_ld_lld
:
3008 case OPT_fuse_linker_plugin
:
3009 /* No-op. Used by the driver and passed to us because it starts with f.*/
3014 opts
->x_flag_trapv
= 0;
3019 opts
->x_flag_wrapv
= 0;
3022 case OPT_fstrict_overflow
:
3023 opts
->x_flag_wrapv
= !value
;
3024 opts
->x_flag_wrapv_pointer
= !value
;
3026 opts
->x_flag_trapv
= 0;
3030 opts
->x_flag_ipa_icf_functions
= value
;
3031 opts
->x_flag_ipa_icf_variables
= value
;
3034 case OPT_falign_loops_
:
3035 check_alignment_argument (loc
, arg
, "loops",
3036 &opts
->x_flag_align_loops
,
3037 &opts
->x_str_align_loops
);
3040 case OPT_falign_jumps_
:
3041 check_alignment_argument (loc
, arg
, "jumps",
3042 &opts
->x_flag_align_jumps
,
3043 &opts
->x_str_align_jumps
);
3046 case OPT_falign_labels_
:
3047 check_alignment_argument (loc
, arg
, "labels",
3048 &opts
->x_flag_align_labels
,
3049 &opts
->x_str_align_labels
);
3052 case OPT_falign_functions_
:
3053 check_alignment_argument (loc
, arg
, "functions",
3054 &opts
->x_flag_align_functions
,
3055 &opts
->x_str_align_functions
);
3059 /* It is documented that we silently ignore silly values. */
3060 if (value
>= 1 && value
<= 100)
3061 dc
->tabstop
= value
;
3065 /* If the flag was handled in a standard way, assume the lack of
3066 processing here is intentional. */
3067 gcc_assert (option_flag_var (scode
, opts
));
3071 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
3076 /* Used to set the level of strict aliasing warnings in OPTS,
3077 when no level is specified (i.e., when -Wstrict-aliasing, and not
3078 -Wstrict-aliasing=level was given).
3079 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
3080 and 0 otherwise. After calling this function, wstrict_aliasing will be
3081 set to the default value of -Wstrict_aliasing=level, currently 3. */
3083 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
3085 gcc_assert (onoff
== 0 || onoff
== 1);
3087 opts
->x_warn_strict_aliasing
= 3;
3089 opts
->x_warn_strict_aliasing
= 0;
3092 /* The following routines are useful in setting all the flags that
3093 -ffast-math and -fno-fast-math imply. */
3095 set_fast_math_flags (struct gcc_options
*opts
, int set
)
3097 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
3099 opts
->x_flag_unsafe_math_optimizations
= set
;
3100 set_unsafe_math_optimizations_flags (opts
, set
);
3102 if (!opts
->frontend_set_flag_finite_math_only
)
3103 opts
->x_flag_finite_math_only
= set
;
3104 if (!opts
->frontend_set_flag_errno_math
)
3105 opts
->x_flag_errno_math
= !set
;
3108 if (opts
->frontend_set_flag_excess_precision
== EXCESS_PRECISION_DEFAULT
)
3109 opts
->x_flag_excess_precision
3110 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
3111 if (!opts
->frontend_set_flag_signaling_nans
)
3112 opts
->x_flag_signaling_nans
= 0;
3113 if (!opts
->frontend_set_flag_rounding_math
)
3114 opts
->x_flag_rounding_math
= 0;
3115 if (!opts
->frontend_set_flag_cx_limited_range
)
3116 opts
->x_flag_cx_limited_range
= 1;
3120 /* When -funsafe-math-optimizations is set the following
3121 flags are set as well. */
3123 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
3125 if (!opts
->frontend_set_flag_trapping_math
)
3126 opts
->x_flag_trapping_math
= !set
;
3127 if (!opts
->frontend_set_flag_signed_zeros
)
3128 opts
->x_flag_signed_zeros
= !set
;
3129 if (!opts
->frontend_set_flag_associative_math
)
3130 opts
->x_flag_associative_math
= set
;
3131 if (!opts
->frontend_set_flag_reciprocal_math
)
3132 opts
->x_flag_reciprocal_math
= set
;
3135 /* Return true iff flags in OPTS are set as if -ffast-math. */
3137 fast_math_flags_set_p (const struct gcc_options
*opts
)
3139 return (!opts
->x_flag_trapping_math
3140 && opts
->x_flag_unsafe_math_optimizations
3141 && opts
->x_flag_finite_math_only
3142 && !opts
->x_flag_signed_zeros
3143 && !opts
->x_flag_errno_math
3144 && opts
->x_flag_excess_precision
== EXCESS_PRECISION_FAST
);
3147 /* Return true iff flags are set as if -ffast-math but using the flags stored
3148 in the struct cl_optimization structure. */
3150 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
3152 return (!opt
->x_flag_trapping_math
3153 && opt
->x_flag_unsafe_math_optimizations
3154 && opt
->x_flag_finite_math_only
3155 && !opt
->x_flag_signed_zeros
3156 && !opt
->x_flag_errno_math
);
3159 /* Handle a debug output -g switch for options OPTS
3160 (OPTS_SET->x_write_symbols storing whether a debug format was passed
3161 explicitly), location LOC. EXTENDED is true or false to support
3162 extended output (2 is special and means "-ggdb" was given). */
3164 set_debug_level (uint32_t dinfo
, int extended
, const char *arg
,
3165 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
3168 opts
->x_use_gnu_debug_info_extensions
= extended
;
3170 if (dinfo
== NO_DEBUG
)
3172 if (opts
->x_write_symbols
== NO_DEBUG
)
3174 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
3178 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
3179 if (opts
->x_write_symbols
& CTF_DEBUG
)
3180 opts
->x_write_symbols
|= DWARF2_DEBUG
;
3182 opts
->x_write_symbols
= DWARF2_DEBUG
;
3183 #elif defined DBX_DEBUGGING_INFO
3184 opts
->x_write_symbols
= DBX_DEBUG
;
3188 if (opts
->x_write_symbols
== NO_DEBUG
)
3189 warning_at (loc
, 0, "target system does not support debug output");
3191 else if ((opts
->x_write_symbols
& CTF_DEBUG
)
3192 || (opts
->x_write_symbols
& BTF_DEBUG
))
3194 opts
->x_write_symbols
|= DWARF2_DEBUG
;
3195 opts_set
->x_write_symbols
|= DWARF2_DEBUG
;
3200 /* Make and retain the choice if both CTF and DWARF debug info are to
3202 if (((dinfo
== DWARF2_DEBUG
) || (dinfo
== CTF_DEBUG
))
3203 && ((opts
->x_write_symbols
== (DWARF2_DEBUG
|CTF_DEBUG
))
3204 || (opts
->x_write_symbols
== DWARF2_DEBUG
)
3205 || (opts
->x_write_symbols
== CTF_DEBUG
)))
3207 opts
->x_write_symbols
|= dinfo
;
3208 opts_set
->x_write_symbols
|= dinfo
;
3210 /* However, CTF and BTF are not allowed together at this time. */
3211 else if (((dinfo
== DWARF2_DEBUG
) || (dinfo
== BTF_DEBUG
))
3212 && ((opts
->x_write_symbols
== (DWARF2_DEBUG
|BTF_DEBUG
))
3213 || (opts
->x_write_symbols
== DWARF2_DEBUG
)
3214 || (opts
->x_write_symbols
== BTF_DEBUG
)))
3216 opts
->x_write_symbols
|= dinfo
;
3217 opts_set
->x_write_symbols
|= dinfo
;
3221 /* Does it conflict with an already selected debug format? */
3222 if (opts_set
->x_write_symbols
!= NO_DEBUG
3223 && opts
->x_write_symbols
!= NO_DEBUG
3224 && dinfo
!= opts
->x_write_symbols
)
3226 gcc_assert (debug_set_count (dinfo
) <= 1);
3227 error_at (loc
, "debug format %qs conflicts with prior selection",
3228 debug_type_names
[debug_set_to_format (dinfo
)]);
3230 opts
->x_write_symbols
= dinfo
;
3231 opts_set
->x_write_symbols
= dinfo
;
3235 if (dinfo
!= BTF_DEBUG
)
3237 /* A debug flag without a level defaults to level 2.
3238 If off or at level 1, set it to level 2, but if already
3239 at level 3, don't lower it. */
3242 if (dinfo
== CTF_DEBUG
)
3243 opts
->x_ctf_debug_info_level
= CTFINFO_LEVEL_NORMAL
;
3244 else if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
3245 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
3249 int argval
= integral_argument (arg
);
3251 error_at (loc
, "unrecognized debug output level %qs", arg
);
3252 else if (argval
> 3)
3253 error_at (loc
, "debug output level %qs is too high", arg
);
3256 if (dinfo
== CTF_DEBUG
)
3257 opts
->x_ctf_debug_info_level
3258 = (enum ctf_debug_info_levels
) argval
;
3260 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
3264 else if (*arg
!= '\0')
3265 error_at (loc
, "unrecognized btf debug output level %qs", arg
);
3268 /* Arrange to dump core on error for diagnostic context DC. (The
3269 regular error message is still printed first, except in the case of
3273 setup_core_dumping (diagnostic_context
*dc
)
3276 signal (SIGABRT
, SIG_DFL
);
3278 #if defined(HAVE_SETRLIMIT)
3281 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
3282 fatal_error (input_location
, "getting core file size maximum limit: %m");
3283 rlim
.rlim_cur
= rlim
.rlim_max
;
3284 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
3285 fatal_error (input_location
,
3286 "setting core file size limit to maximum: %m");
3289 diagnostic_abort_on_error (dc
);
3292 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
3293 diagnostic context DC. */
3296 decode_d_option (const char *arg
, struct gcc_options
*opts
,
3297 location_t loc
, diagnostic_context
*dc
)
3305 opts
->x_flag_debug_asm
= 1;
3308 opts
->x_flag_print_asm_name
= 1;
3311 opts
->x_flag_dump_rtl_in_asm
= 1;
3312 opts
->x_flag_print_asm_name
= 1;
3315 opts
->x_rtl_dump_and_exit
= 1;
3317 case 'D': /* These are handled by the preprocessor. */
3324 setup_core_dumping (dc
);
3327 opts
->x_flag_dump_all_passed
= true;
3331 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
3336 /* Enable (or disable if VALUE is 0) a warning option ARG (language
3337 mask LANG_MASK, option handlers HANDLERS) as an error for option
3338 structures OPTS and OPTS_SET, diagnostic context DC (possibly
3339 NULL), location LOC. This is used by -Werror=. */
3342 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
3343 const struct cl_option_handlers
*handlers
,
3344 struct gcc_options
*opts
,
3345 struct gcc_options
*opts_set
,
3346 location_t loc
, diagnostic_context
*dc
)
3351 new_option
= XNEWVEC (char, strlen (arg
) + 2);
3352 new_option
[0] = 'W';
3353 strcpy (new_option
+ 1, arg
);
3354 option_index
= find_opt (new_option
, lang_mask
);
3355 if (option_index
== OPT_SPECIAL_unknown
)
3358 const char *hint
= op
.suggest_option (new_option
);
3360 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>;"
3361 " did you mean %<-%s%>?", value
? "" : "no-",
3362 arg
, new_option
, hint
);
3364 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>",
3365 value
? "" : "no-", arg
, new_option
);
3367 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
3368 error_at (loc
, "%<-Werror=%s%>: %<-%s%> is not an option that "
3369 "controls warnings", arg
, new_option
);
3372 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
3373 const char *arg
= NULL
;
3375 if (cl_options
[option_index
].flags
& CL_JOINED
)
3376 arg
= new_option
+ cl_options
[option_index
].opt_len
;
3377 control_warning_option (option_index
, (int) kind
, arg
, value
,
3379 handlers
, opts
, opts_set
, dc
);
3384 /* Return malloced memory for the name of the option OPTION_INDEX
3385 which enabled a diagnostic (context CONTEXT), originally of type
3386 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
3390 option_name (diagnostic_context
*context
, int option_index
,
3391 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
3395 /* A warning classified as an error. */
3396 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
3397 && diag_kind
== DK_ERROR
)
3398 return concat (cl_options
[OPT_Werror_
].opt_text
,
3399 /* Skip over "-W". */
3400 cl_options
[option_index
].opt_text
+ 2,
3402 /* A warning with option. */
3404 return xstrdup (cl_options
[option_index
].opt_text
);
3406 /* A warning without option classified as an error. */
3407 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
3408 || diag_kind
== DK_WARNING
)
3409 && context
->warning_as_error_requested
)
3410 return xstrdup (cl_options
[OPT_Werror
].opt_text
);
3415 /* Get the page within the documentation for this option. */
3418 get_option_html_page (int option_index
)
3420 const cl_option
*cl_opt
= &cl_options
[option_index
];
3422 /* Analyzer options are on their own page. */
3423 if (strstr (cl_opt
->opt_text
, "analyzer-"))
3424 return "gcc/Static-Analyzer-Options.html";
3426 /* Handle -flto= option. */
3427 if (strstr (cl_opt
->opt_text
, "flto"))
3428 return "gcc/Optimize-Options.html";
3431 if ((cl_opt
->flags
& CL_Fortran
) != 0
3432 /* If it is option common to both C/C++ and Fortran, it is documented
3433 in gcc/ rather than gfortran/ docs. */
3434 && (cl_opt
->flags
& CL_C
) == 0
3436 && (cl_opt
->flags
& CL_CXX
) == 0
3439 return "gfortran/Error-and-Warning-Options.html";
3442 return "gcc/Warning-Options.html";
3445 /* Return malloced memory for a URL describing the option OPTION_INDEX
3446 which enabled a diagnostic (context CONTEXT). */
3449 get_option_url (diagnostic_context
*, int option_index
)
3452 return concat (/* DOCUMENTATION_ROOT_URL should be supplied via -D by
3453 the Makefile (see --with-documentation-root-url), and
3454 should have a trailing slash. */
3455 DOCUMENTATION_ROOT_URL
,
3457 /* get_option_html_page will return something like
3458 "gcc/Warning-Options.html". */
3459 get_option_html_page (option_index
),
3461 /* Expect an anchor of the form "index-Wfoo" e.g.
3462 <a name="index-Wformat"></a>, and thus an id within
3463 the URL of "#index-Wformat". */
3464 "#index", cl_options
[option_index
].opt_text
,
3470 /* Return a heap allocated producer with command line options. */
3473 gen_command_line_string (cl_decoded_option
*options
,
3474 unsigned int options_count
)
3476 auto_vec
<const char *> switches
;
3477 char *options_string
, *tail
;
3481 for (unsigned i
= 0; i
< options_count
; i
++)
3482 switch (options
[i
].opt_index
)
3487 case OPT_dumpbase_ext
:
3497 case OPT_SPECIAL_unknown
:
3498 case OPT_SPECIAL_ignore
:
3499 case OPT_SPECIAL_warn_removed
:
3500 case OPT_SPECIAL_program_name
:
3501 case OPT_SPECIAL_input_file
:
3502 case OPT_grecord_gcc_switches
:
3503 case OPT_frecord_gcc_switches
:
3504 case OPT__output_pch_
:
3505 case OPT_fdiagnostics_show_location_
:
3506 case OPT_fdiagnostics_show_option
:
3507 case OPT_fdiagnostics_show_caret
:
3508 case OPT_fdiagnostics_show_labels
:
3509 case OPT_fdiagnostics_show_line_numbers
:
3510 case OPT_fdiagnostics_color_
:
3511 case OPT_fdiagnostics_format_
:
3512 case OPT_fverbose_asm
:
3516 case OPT_nostdinc__
:
3517 case OPT_fpreprocessed
:
3518 case OPT_fltrans_output_list_
:
3519 case OPT_fresolution_
:
3520 case OPT_fdebug_prefix_map_
:
3521 case OPT_fmacro_prefix_map_
:
3522 case OPT_ffile_prefix_map_
:
3523 case OPT_fcompare_debug
:
3525 case OPT_fchecking_
:
3530 const char *lto_canonical
= "-flto";
3531 switches
.safe_push (lto_canonical
);
3532 len
+= strlen (lto_canonical
) + 1;
3536 if (cl_options
[options
[i
].opt_index
].flags
3537 & CL_NO_DWARF_RECORD
)
3539 gcc_checking_assert (options
[i
].canonical_option
[0][0] == '-');
3540 switch (options
[i
].canonical_option
[0][1])
3547 if (strncmp (options
[i
].canonical_option
[0] + 2,
3554 switches
.safe_push (options
[i
].orig_option_with_args_text
);
3555 len
+= strlen (options
[i
].orig_option_with_args_text
) + 1;
3559 options_string
= XNEWVEC (char, len
+ 1);
3560 tail
= options_string
;
3563 FOR_EACH_VEC_ELT (switches
, i
, p
)
3566 memcpy (tail
, p
, len
);
3568 if (i
!= switches
.length () - 1)
3576 return options_string
;
3579 /* Return a heap allocated producer string including command line options. */
3582 gen_producer_string (const char *language_string
, cl_decoded_option
*options
,
3583 unsigned int options_count
)
3585 char *cmdline
= gen_command_line_string (options
, options_count
);
3586 char *combined
= concat (language_string
, " ", version_string
, " ",
3594 namespace selftest
{
3596 /* Verify that get_option_html_page works as expected. */
3599 test_get_option_html_page ()
3601 ASSERT_STREQ (get_option_html_page (OPT_Wcpp
), "gcc/Warning-Options.html");
3602 ASSERT_STREQ (get_option_html_page (OPT_Wanalyzer_double_free
),
3603 "gcc/Static-Analyzer-Options.html");
3605 ASSERT_STREQ (get_option_html_page (OPT_Wline_truncation
),
3606 "gfortran/Error-and-Warning-Options.html");
3610 /* Run all of the selftests within this file. */
3615 test_get_option_html_page ();
3618 } // namespace selftest
3620 #endif /* #if CHECKING_P */