1 /* Command line option handling.
2 Copyright (C) 2002-2019 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"
29 #include "diagnostic.h"
30 #include "opts-diagnostic.h"
31 #include "insn-attr-common.h"
32 #include "common/common-target.h"
33 #include "spellcheck.h"
34 #include "opt-suggestions.h"
35 #include "diagnostic-color.h"
37 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
39 /* Indexed by enum debug_info_type. */
40 const char *const debug_type_names
[] =
42 "none", "stabs", "dwarf-2", "xcoff", "vms"
45 /* Parse the -femit-struct-debug-detailed option value
46 and set the flag variables. */
48 #define MATCH( prefix, string ) \
49 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
50 ? ((string += sizeof prefix - 1), 1) : 0)
53 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
56 /* various labels for comparison */
57 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
58 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
59 static const char none_lbl
[] = "none", any_lbl
[] = "any";
60 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
62 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
63 /* Default is to apply to as much as possible. */
64 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
68 if (MATCH (dfn_lbl
, spec
))
69 usage
= DINFO_USAGE_DFN
;
70 else if (MATCH (dir_lbl
, spec
))
71 usage
= DINFO_USAGE_DIR_USE
;
72 else if (MATCH (ind_lbl
, spec
))
73 usage
= DINFO_USAGE_IND_USE
;
75 /* Generics or not? */
76 if (MATCH (ord_lbl
, spec
))
78 else if (MATCH (gen_lbl
, spec
))
81 /* What allowable environment? */
82 if (MATCH (none_lbl
, spec
))
83 files
= DINFO_STRUCT_FILE_NONE
;
84 else if (MATCH (any_lbl
, spec
))
85 files
= DINFO_STRUCT_FILE_ANY
;
86 else if (MATCH (sys_lbl
, spec
))
87 files
= DINFO_STRUCT_FILE_SYS
;
88 else if (MATCH (base_lbl
, spec
))
89 files
= DINFO_STRUCT_FILE_BASE
;
92 "argument %qs to %<-femit-struct-debug-detailed%> "
96 /* Effect the specification. */
97 if (usage
== DINFO_USAGE_NUM_ENUMS
)
101 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
102 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
103 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
107 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
108 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
109 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
115 opts
->x_debug_struct_ordinary
[usage
] = files
;
117 opts
->x_debug_struct_generic
[usage
] = files
;
121 set_struct_debug_option (opts
, loc
, spec
+1);
124 /* No more -femit-struct-debug-detailed specifications.
128 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
130 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
131 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
132 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
133 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
135 "%<-femit-struct-debug-detailed=dir:...%> must allow "
136 "at least as much as "
137 "%<-femit-struct-debug-detailed=ind:...%>");
141 /* Strip off a legitimate source ending from the input string NAME of
142 length LEN. Rather than having to know the names used by all of
143 our front ends, we strip off an ending of a period followed by
144 up to fource characters. (C++ uses ".cpp".) */
147 strip_off_ending (char *name
, int len
)
150 for (i
= 2; i
< 5 && len
> i
; i
++)
152 if (name
[len
- i
] == '.')
154 name
[len
- i
] = '\0';
160 /* Find the base name of a path, stripping off both directories and
161 a single final extension. */
163 base_of_path (const char *path
, const char **base_out
)
165 const char *base
= path
;
167 const char *p
= path
;
171 if (IS_DIR_SEPARATOR (c
))
186 /* What to print when a switch has no documentation. */
187 static const char undocumented_msg
[] = N_("This option lacks documentation.");
188 static const char use_diagnosed_msg
[] = N_("Uses of this option are diagnosed.");
190 typedef char *char_p
; /* For DEF_VEC_P. */
192 static void handle_param (struct gcc_options
*opts
,
193 struct gcc_options
*opts_set
, location_t loc
,
195 static void set_debug_level (enum debug_info_type type
, int extended
,
196 const char *arg
, struct gcc_options
*opts
,
197 struct gcc_options
*opts_set
,
199 static void set_fast_math_flags (struct gcc_options
*opts
, int set
);
200 static void decode_d_option (const char *arg
, struct gcc_options
*opts
,
201 location_t loc
, diagnostic_context
*dc
);
202 static void set_unsafe_math_optimizations_flags (struct gcc_options
*opts
,
204 static void enable_warning_as_error (const char *arg
, int value
,
205 unsigned int lang_mask
,
206 const struct cl_option_handlers
*handlers
,
207 struct gcc_options
*opts
,
208 struct gcc_options
*opts_set
,
210 diagnostic_context
*dc
);
212 /* Handle a back-end option; arguments and return value as for
216 target_handle_option (struct gcc_options
*opts
,
217 struct gcc_options
*opts_set
,
218 const struct cl_decoded_option
*decoded
,
219 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
221 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
222 diagnostic_context
*dc
, void (*) (void))
224 gcc_assert (dc
== global_dc
);
225 gcc_assert (kind
== DK_UNSPECIFIED
);
226 return targetm_common
.handle_option (opts
, opts_set
, decoded
, loc
);
229 /* Add comma-separated strings to a char_p vector. */
232 add_comma_separated_to_vector (void **pvec
, const char *arg
)
238 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
240 vec_check_alloc (v
, 1);
242 /* We never free this string. */
255 v
->safe_push (token_start
);
258 if (*r
== '\\' && r
[1] == ',')
268 if (*token_start
!= '\0')
269 v
->safe_push (token_start
);
274 /* Initialize opts_obstack. */
277 init_opts_obstack (void)
279 gcc_obstack_init (&opts_obstack
);
282 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
285 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
287 size_t num_params
= get_num_compiler_params ();
289 /* Ensure that opts_obstack has already been initialized by the time
290 that we initialize any gcc_options instances (PR jit/68446). */
291 gcc_assert (opts_obstack
.chunk_size
> 0);
293 *opts
= global_options_init
;
296 memset (opts_set
, 0, sizeof (*opts_set
));
298 opts
->x_param_values
= XNEWVEC (int, num_params
);
301 opts_set
->x_param_values
= XCNEWVEC (int, num_params
);
303 init_param_values (opts
->x_param_values
);
305 /* Initialize whether `char' is signed. */
306 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
307 /* Set this to a special "uninitialized" value. The actual default
308 is set after target options have been processed. */
309 opts
->x_flag_short_enums
= 2;
311 /* Initialize target_flags before default_options_optimization
312 so the latter can modify it. */
313 opts
->x_target_flags
= targetm_common
.default_target_flags
;
315 /* Some targets have ABI-specified unwind tables. */
316 opts
->x_flag_unwind_tables
= targetm_common
.unwind_tables_default
;
318 /* Some targets have other target-specific initialization. */
319 targetm_common
.option_init_struct (opts
);
322 /* Release any allocations owned by OPTS. */
325 finalize_options_struct (struct gcc_options
*opts
)
327 XDELETEVEC (opts
->x_param_values
);
330 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
331 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
332 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
333 mask LANG_MASK and option handlers HANDLERS. */
336 maybe_default_option (struct gcc_options
*opts
,
337 struct gcc_options
*opts_set
,
338 const struct default_options
*default_opt
,
339 int level
, bool size
, bool fast
, bool debug
,
340 unsigned int lang_mask
,
341 const struct cl_option_handlers
*handlers
,
343 diagnostic_context
*dc
)
345 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
349 gcc_assert (level
== 2);
351 gcc_assert (level
== 3);
353 gcc_assert (level
== 1);
355 switch (default_opt
->levels
)
361 case OPT_LEVELS_0_ONLY
:
362 enabled
= (level
== 0);
365 case OPT_LEVELS_1_PLUS
:
366 enabled
= (level
>= 1);
369 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
370 enabled
= (level
>= 1 && !size
&& !debug
);
373 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
374 enabled
= (level
>= 1 && !debug
);
377 case OPT_LEVELS_2_PLUS
:
378 enabled
= (level
>= 2);
381 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
382 enabled
= (level
>= 2 && !size
&& !debug
);
385 case OPT_LEVELS_3_PLUS
:
386 enabled
= (level
>= 3);
389 case OPT_LEVELS_3_PLUS_AND_SIZE
:
390 enabled
= (level
>= 3 || size
);
393 case OPT_LEVELS_SIZE
:
397 case OPT_LEVELS_FAST
:
401 case OPT_LEVELS_NONE
:
407 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
408 default_opt
->arg
, default_opt
->value
,
409 lang_mask
, DK_UNSPECIFIED
, loc
,
411 else if (default_opt
->arg
== NULL
412 && !option
->cl_reject_negative
)
413 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
414 default_opt
->arg
, !default_opt
->value
,
415 lang_mask
, DK_UNSPECIFIED
, loc
,
419 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
420 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
421 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
422 language mask LANG_MASK and option handlers HANDLERS. */
425 maybe_default_options (struct gcc_options
*opts
,
426 struct gcc_options
*opts_set
,
427 const struct default_options
*default_opts
,
428 int level
, bool size
, bool fast
, bool debug
,
429 unsigned int lang_mask
,
430 const struct cl_option_handlers
*handlers
,
432 diagnostic_context
*dc
)
436 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
437 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
438 level
, size
, fast
, debug
,
439 lang_mask
, handlers
, loc
, dc
);
442 /* Table of options enabled by default at different levels.
443 Please keep this list sorted by level and alphabetized within
444 each level; this makes it easier to keep the documentation
447 static const struct default_options default_options_table
[] =
449 /* -O1 and -Og optimizations. */
450 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
451 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
452 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
453 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
454 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
455 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
456 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
457 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
458 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
459 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference_addressable
, NULL
, 1 },
460 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
461 { OPT_LEVELS_1_PLUS
, OPT_fomit_frame_pointer
, NULL
, 1 },
462 { OPT_LEVELS_1_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
463 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
464 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
465 { OPT_LEVELS_1_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
466 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
467 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
468 { OPT_LEVELS_1_PLUS
, OPT_ftree_coalesce_vars
, NULL
, 1 },
469 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
470 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
471 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
472 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
473 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
474 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
475 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
477 /* -O1 (and not -Og) optimizations. */
478 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
480 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdelayed_branch
, NULL
, 1 },
482 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fdse
, NULL
, 1 },
483 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
484 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion2
, NULL
, 1 },
485 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
486 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
487 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
488 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_bit_ccp
, NULL
, 1 },
489 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_dse
, NULL
, 1 },
490 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
491 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
493 /* -O2 and -Os optimizations. */
494 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_fcode_hoisting
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
497 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
498 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
500 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
501 { OPT_LEVELS_2_PLUS
, OPT_ffinite_loops
, NULL
, 1 },
502 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
503 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
504 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
505 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
506 { OPT_LEVELS_2_PLUS
, OPT_fipa_bit_cp
, NULL
, 1 },
507 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
508 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
509 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
510 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
511 { OPT_LEVELS_2_PLUS
, OPT_fipa_vrp
, NULL
, 1 },
512 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
513 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
514 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
515 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
516 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
517 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
518 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
519 #ifdef INSN_SCHEDULING
520 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
522 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
523 { OPT_LEVELS_2_PLUS
, OPT_fstore_merging
, NULL
, 1 },
524 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
525 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
526 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
527 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
528 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
529 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
530 { OPT_LEVELS_2_PLUS
, OPT_finline_functions
, NULL
, 1 },
532 /* -O2 and -Os optimizations. */
533 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_functions
, NULL
, 1 },
534 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_jumps
, NULL
, 1 },
535 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_labels
, NULL
, 1 },
536 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_falign_loops
, NULL
, 1 },
537 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
538 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_freorder_blocks_algorithm_
, NULL
,
539 REORDER_BLOCKS_ALGORITHM_STC
},
540 #ifdef INSN_SCHEDULING
541 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
542 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
545 /* -O3 and -Os optimizations. */
547 /* -O3 optimizations. */
548 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
549 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
550 { OPT_LEVELS_3_PLUS
, OPT_floop_interchange
, NULL
, 1 },
551 { OPT_LEVELS_3_PLUS
, OPT_floop_unroll_and_jam
, NULL
, 1 },
552 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
553 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
554 { OPT_LEVELS_3_PLUS
, OPT_fsplit_loops
, NULL
, 1 },
555 { OPT_LEVELS_3_PLUS
, OPT_fsplit_paths
, NULL
, 1 },
556 { OPT_LEVELS_2_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
557 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribution
, NULL
, 1 },
558 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
559 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
560 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
561 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
562 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
563 { OPT_LEVELS_3_PLUS
, OPT_fversion_loops_for_strides
, NULL
, 1 },
565 /* -Ofast adds optimizations to -O3. */
566 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
568 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
571 /* Default the options in OPTS and OPTS_SET based on the optimization
572 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
574 default_options_optimization (struct gcc_options
*opts
,
575 struct gcc_options
*opts_set
,
576 struct cl_decoded_option
*decoded_options
,
577 unsigned int decoded_options_count
,
579 unsigned int lang_mask
,
580 const struct cl_option_handlers
*handlers
,
581 diagnostic_context
*dc
)
585 bool openacc_mode
= false;
587 /* Scan to see what optimization level has been specified. That will
588 determine the default value of many flags. */
589 for (i
= 1; i
< decoded_options_count
; i
++)
591 struct cl_decoded_option
*opt
= &decoded_options
[i
];
592 switch (opt
->opt_index
)
595 if (*opt
->arg
== '\0')
597 opts
->x_optimize
= 1;
598 opts
->x_optimize_size
= 0;
599 opts
->x_optimize_fast
= 0;
600 opts
->x_optimize_debug
= 0;
604 const int optimize_val
= integral_argument (opt
->arg
);
605 if (optimize_val
== -1)
606 error_at (loc
, "argument to %<-O%> should be a non-negative "
607 "integer, %<g%>, %<s%> or %<fast%>");
610 opts
->x_optimize
= optimize_val
;
611 if ((unsigned int) opts
->x_optimize
> 255)
612 opts
->x_optimize
= 255;
613 opts
->x_optimize_size
= 0;
614 opts
->x_optimize_fast
= 0;
615 opts
->x_optimize_debug
= 0;
621 opts
->x_optimize_size
= 1;
623 /* Optimizing for size forces optimize to be 2. */
624 opts
->x_optimize
= 2;
625 opts
->x_optimize_fast
= 0;
626 opts
->x_optimize_debug
= 0;
630 /* -Ofast only adds flags to -O3. */
631 opts
->x_optimize_size
= 0;
632 opts
->x_optimize
= 3;
633 opts
->x_optimize_fast
= 1;
634 opts
->x_optimize_debug
= 0;
638 /* -Og selects optimization level 1. */
639 opts
->x_optimize_size
= 0;
640 opts
->x_optimize
= 1;
641 opts
->x_optimize_fast
= 0;
642 opts
->x_optimize_debug
= 1;
651 /* Ignore other options in this prescan. */
656 maybe_default_options (opts
, opts_set
, default_options_table
,
657 opts
->x_optimize
, opts
->x_optimize_size
,
658 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
659 lang_mask
, handlers
, loc
, dc
);
661 /* -O2 param settings. */
662 opt2
= (opts
->x_optimize
>= 2);
665 && !opts_set
->x_flag_ipa_pta
)
666 opts
->x_flag_ipa_pta
= true;
668 /* Track fields in field-sensitive alias analysis. */
669 maybe_set_param_value
670 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
671 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
672 opts
->x_param_values
, opts_set
->x_param_values
);
674 /* For -O1 only do loop invariant motion for very small loops. */
675 maybe_set_param_value
676 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
677 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
)
678 : default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) / 10,
679 opts
->x_param_values
, opts_set
->x_param_values
);
681 /* For -O1 reduce the maximum number of active local stores for RTL DSE
682 since this can consume huge amounts of memory (PR89115). */
683 maybe_set_param_value
684 (PARAM_MAX_DSE_ACTIVE_LOCAL_STORES
,
685 opt2
? default_param_value (PARAM_MAX_DSE_ACTIVE_LOCAL_STORES
)
686 : default_param_value (PARAM_MAX_DSE_ACTIVE_LOCAL_STORES
) / 10,
687 opts
->x_param_values
, opts_set
->x_param_values
);
689 /* At -Ofast, allow store motion to introduce potential race conditions. */
690 maybe_set_param_value
691 (PARAM_ALLOW_STORE_DATA_RACES
,
692 opts
->x_optimize_fast
? 1
693 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES
),
694 opts
->x_param_values
, opts_set
->x_param_values
);
696 if (opts
->x_optimize_size
)
697 /* We want to crossjump as much as possible. */
698 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
699 opts
->x_param_values
, opts_set
->x_param_values
);
701 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
702 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
703 opts
->x_param_values
, opts_set
->x_param_values
);
705 /* Restrict the amount of work combine does at -Og while retaining
706 most of its useful transforms. */
707 if (opts
->x_optimize_debug
)
708 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS
, 2,
709 opts
->x_param_values
, opts_set
->x_param_values
);
711 /* Allow default optimizations to be specified on a per-machine basis. */
712 maybe_default_options (opts
, opts_set
,
713 targetm_common
.option_optimization_table
,
714 opts
->x_optimize
, opts
->x_optimize_size
,
715 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
716 lang_mask
, handlers
, loc
, dc
);
719 /* Control IPA optimizations based on different live patching LEVEL. */
721 control_options_for_live_patching (struct gcc_options
*opts
,
722 struct gcc_options
*opts_set
,
723 enum live_patching_level level
,
726 gcc_assert (level
> LIVE_PATCHING_NONE
);
730 case LIVE_PATCHING_INLINE_ONLY_STATIC
:
731 if (opts_set
->x_flag_ipa_cp_clone
&& opts
->x_flag_ipa_cp_clone
)
733 "%<-fipa-cp-clone%> is incompatible with "
734 "%<-flive-patching=inline-only-static%>");
736 opts
->x_flag_ipa_cp_clone
= 0;
738 if (opts_set
->x_flag_ipa_sra
&& opts
->x_flag_ipa_sra
)
740 "%<-fipa-sra%> is incompatible with "
741 "%<-flive-patching=inline-only-static%>");
743 opts
->x_flag_ipa_sra
= 0;
745 if (opts_set
->x_flag_partial_inlining
&& opts
->x_flag_partial_inlining
)
747 "%<-fpartial-inlining%> is incompatible with "
748 "%<-flive-patching=inline-only-static%>");
750 opts
->x_flag_partial_inlining
= 0;
752 if (opts_set
->x_flag_ipa_cp
&& opts
->x_flag_ipa_cp
)
754 "%<-fipa-cp%> is incompatible with "
755 "%<-flive-patching=inline-only-static%>");
757 opts
->x_flag_ipa_cp
= 0;
760 case LIVE_PATCHING_INLINE_CLONE
:
761 /* live patching should disable whole-program optimization. */
762 if (opts_set
->x_flag_whole_program
&& opts
->x_flag_whole_program
)
764 "%<-fwhole-program%> is incompatible with "
765 "%<-flive-patching=inline-only-static|inline-clone%>");
767 opts
->x_flag_whole_program
= 0;
769 /* visibility change should be excluded by !flag_whole_program
770 && !in_lto_p && !flag_ipa_cp_clone && !flag_ipa_sra
771 && !flag_partial_inlining. */
773 if (opts_set
->x_flag_ipa_pta
&& opts
->x_flag_ipa_pta
)
775 "%<-fipa-pta%> is incompatible with "
776 "%<-flive-patching=inline-only-static|inline-clone%>");
778 opts
->x_flag_ipa_pta
= 0;
780 if (opts_set
->x_flag_ipa_reference
&& opts
->x_flag_ipa_reference
)
782 "%<-fipa-reference%> is incompatible with "
783 "%<-flive-patching=inline-only-static|inline-clone%>");
785 opts
->x_flag_ipa_reference
= 0;
787 if (opts_set
->x_flag_ipa_ra
&& opts
->x_flag_ipa_ra
)
789 "%<-fipa-ra%> is incompatible with "
790 "%<-flive-patching=inline-only-static|inline-clone%>");
792 opts
->x_flag_ipa_ra
= 0;
794 if (opts_set
->x_flag_ipa_icf
&& opts
->x_flag_ipa_icf
)
796 "%<-fipa-icf%> is incompatible with "
797 "%<-flive-patching=inline-only-static|inline-clone%>");
799 opts
->x_flag_ipa_icf
= 0;
801 if (opts_set
->x_flag_ipa_icf_functions
&& opts
->x_flag_ipa_icf_functions
)
803 "%<-fipa-icf-functions%> is incompatible with "
804 "%<-flive-patching=inline-only-static|inline-clone%>");
806 opts
->x_flag_ipa_icf_functions
= 0;
808 if (opts_set
->x_flag_ipa_icf_variables
&& opts
->x_flag_ipa_icf_variables
)
810 "%<-fipa-icf-variables%> is incompatible with "
811 "%<-flive-patching=inline-only-static|inline-clone%>");
813 opts
->x_flag_ipa_icf_variables
= 0;
815 if (opts_set
->x_flag_ipa_bit_cp
&& opts
->x_flag_ipa_bit_cp
)
817 "%<-fipa-bit-cp%> is incompatible with "
818 "%<-flive-patching=inline-only-static|inline-clone%>");
820 opts
->x_flag_ipa_bit_cp
= 0;
822 if (opts_set
->x_flag_ipa_vrp
&& opts
->x_flag_ipa_vrp
)
824 "%<-fipa-vrp%> is incompatible with "
825 "%<-flive-patching=inline-only-static|inline-clone%>");
827 opts
->x_flag_ipa_vrp
= 0;
829 if (opts_set
->x_flag_ipa_pure_const
&& opts
->x_flag_ipa_pure_const
)
831 "%<-fipa-pure-const%> is incompatible with "
832 "%<-flive-patching=inline-only-static|inline-clone%>");
834 opts
->x_flag_ipa_pure_const
= 0;
836 /* FIXME: disable unreachable code removal. */
838 /* discovery of functions/variables with no address taken. */
839 if (opts_set
->x_flag_ipa_reference_addressable
840 && opts
->x_flag_ipa_reference_addressable
)
842 "%<-fipa-reference-addressable%> is incompatible with "
843 "%<-flive-patching=inline-only-static|inline-clone%>");
845 opts
->x_flag_ipa_reference_addressable
= 0;
847 /* ipa stack alignment propagation. */
848 if (opts_set
->x_flag_ipa_stack_alignment
849 && opts
->x_flag_ipa_stack_alignment
)
851 "%<-fipa-stack-alignment%> is incompatible with "
852 "%<-flive-patching=inline-only-static|inline-clone%>");
854 opts
->x_flag_ipa_stack_alignment
= 0;
861 /* --help option argument if set. */
862 vec
<const char *> help_option_arguments
;
865 /* After all options at LOC have been read into OPTS and OPTS_SET,
866 finalize settings of those options and diagnose incompatible
869 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
872 enum unwind_info_type ui_except
;
874 if (opts
->x_dump_base_name
875 && ! opts
->x_dump_base_name_prefixed
)
877 const char *sep
= opts
->x_dump_base_name
;
880 if (IS_DIR_SEPARATOR (*sep
))
884 /* If dump_base_path contains subdirectories, don't prepend
886 else if (opts
->x_dump_dir_name
)
887 /* We have a DUMP_DIR_NAME, prepend that. */
888 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
889 opts
->x_dump_base_name
, NULL
);
890 else if (opts
->x_aux_base_name
891 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
892 /* AUX_BASE_NAME is set and is not the bit bucket. If it
893 contains a directory component, prepend those directories.
894 Typically this places things in the same directory as the
897 const char *aux_base
;
899 base_of_path (opts
->x_aux_base_name
, &aux_base
);
900 if (opts
->x_aux_base_name
!= aux_base
)
902 int dir_len
= aux_base
- opts
->x_aux_base_name
;
903 char *new_dump_base_name
904 = XOBNEWVEC (&opts_obstack
, char,
905 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
907 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
908 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
909 /* Append existing OPTS->X_DUMP_BASE_NAME. */
910 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
911 opts
->x_dump_base_name
= new_dump_base_name
;
915 /* It is definitely prefixed now. */
916 opts
->x_dump_base_name_prefixed
= true;
919 /* Handle related options for unit-at-a-time, toplevel-reorder, and
921 if (!opts
->x_flag_unit_at_a_time
)
923 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
924 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
926 opts
->x_flag_section_anchors
= 0;
927 if (opts
->x_flag_toplevel_reorder
== 1)
928 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
930 opts
->x_flag_toplevel_reorder
= 0;
933 /* -fself-test depends on the state of the compiler prior to
934 compiling anything. Ideally it should be run on an empty source
935 file. However, in case we get run with actual source, assume
936 -fsyntax-only which will inhibit any compiler initialization
937 which may confuse the self tests. */
938 if (opts
->x_flag_self_test
)
939 opts
->x_flag_syntax_only
= 1;
941 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
942 sorry ("transactional memory is not supported with non-call exceptions");
944 /* Unless the user has asked for section anchors, we disable toplevel
945 reordering at -O0 to disable transformations that might be surprising
946 to end users and to get -fno-toplevel-reorder tested. */
947 if (!opts
->x_optimize
948 && opts
->x_flag_toplevel_reorder
== 2
949 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
951 opts
->x_flag_toplevel_reorder
= 0;
952 opts
->x_flag_section_anchors
= 0;
954 if (!opts
->x_flag_toplevel_reorder
)
956 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
957 error_at (loc
, "section anchors must be disabled when toplevel reorder"
959 opts
->x_flag_section_anchors
= 0;
962 if (!opts
->x_flag_opts_finished
)
964 /* We initialize opts->x_flag_pie to -1 so that targets can set a
966 if (opts
->x_flag_pie
== -1)
968 /* We initialize opts->x_flag_pic to -1 so that we can tell if
969 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
970 if (opts
->x_flag_pic
== -1)
971 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
973 opts
->x_flag_pie
= 0;
975 /* If -fPIE or -fpie is used, turn on PIC. */
976 if (opts
->x_flag_pie
)
977 opts
->x_flag_pic
= opts
->x_flag_pie
;
978 else if (opts
->x_flag_pic
== -1)
979 opts
->x_flag_pic
= 0;
980 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
981 opts
->x_flag_shlib
= 1;
982 opts
->x_flag_opts_finished
= true;
985 /* We initialize opts->x_flag_stack_protect to -1 so that targets
986 can set a default value. */
987 if (opts
->x_flag_stack_protect
== -1)
988 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
990 if (opts
->x_optimize
== 0)
992 /* Inlining does not work if not optimizing,
993 so force it not to be done. */
994 opts
->x_warn_inline
= 0;
995 opts
->x_flag_no_inline
= 1;
998 /* The optimization to partition hot and cold basic blocks into separate
999 sections of the .o and executable files does not work (currently)
1000 with exception handling. This is because there is no support for
1001 generating unwind info. If opts->x_flag_exceptions is turned on
1002 we need to turn off the partitioning optimization. */
1004 ui_except
= targetm_common
.except_unwind_info (opts
);
1006 if (opts
->x_flag_exceptions
1007 && opts
->x_flag_reorder_blocks_and_partition
1008 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
1010 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1012 "%<-freorder-blocks-and-partition%> does not work "
1013 "with exceptions on this architecture");
1014 opts
->x_flag_reorder_blocks_and_partition
= 0;
1015 opts
->x_flag_reorder_blocks
= 1;
1018 /* If user requested unwind info, then turn off the partitioning
1021 if (opts
->x_flag_unwind_tables
1022 && !targetm_common
.unwind_tables_default
1023 && opts
->x_flag_reorder_blocks_and_partition
1024 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
1026 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1028 "%<-freorder-blocks-and-partition%> does not support "
1029 "unwind info on this architecture");
1030 opts
->x_flag_reorder_blocks_and_partition
= 0;
1031 opts
->x_flag_reorder_blocks
= 1;
1034 /* If the target requested unwind info, then turn off the partitioning
1035 optimization with a different message. Likewise, if the target does not
1036 support named sections. */
1038 if (opts
->x_flag_reorder_blocks_and_partition
1039 && (!targetm_common
.have_named_sections
1040 || (opts
->x_flag_unwind_tables
1041 && targetm_common
.unwind_tables_default
1042 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
1044 if (opts_set
->x_flag_reorder_blocks_and_partition
)
1046 "%<-freorder-blocks-and-partition%> does not work "
1047 "on this architecture");
1048 opts
->x_flag_reorder_blocks_and_partition
= 0;
1049 opts
->x_flag_reorder_blocks
= 1;
1053 /* Pipelining of outer loops is only possible when general pipelining
1054 capabilities are requested. */
1055 if (!opts
->x_flag_sel_sched_pipelining
)
1056 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
1058 if (opts
->x_flag_conserve_stack
)
1060 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
1061 opts
->x_param_values
, opts_set
->x_param_values
);
1062 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
1063 opts
->x_param_values
, opts_set
->x_param_values
);
1066 if (opts
->x_flag_lto
)
1069 opts
->x_flag_generate_lto
= 1;
1071 /* When generating IL, do not operate in whole-program mode.
1072 Otherwise, symbols will be privatized too early, causing link
1074 opts
->x_flag_whole_program
= 0;
1076 error_at (loc
, "LTO support has not been enabled in this configuration");
1078 if (!opts
->x_flag_fat_lto_objects
1079 && (!HAVE_LTO_PLUGIN
1080 || (opts_set
->x_flag_use_linker_plugin
1081 && !opts
->x_flag_use_linker_plugin
)))
1083 if (opts_set
->x_flag_fat_lto_objects
)
1084 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
1086 opts
->x_flag_fat_lto_objects
= 1;
1089 /* -gsplit-dwarf isn't compatible with LTO, see PR88389. */
1090 if (opts
->x_dwarf_split_debug_info
)
1092 inform (loc
, "%<-gsplit-dwarf%> is not supported with LTO,"
1094 opts
->x_dwarf_split_debug_info
= 0;
1098 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
1099 default value if they choose based on other options. */
1100 if (opts
->x_flag_split_stack
== -1)
1101 opts
->x_flag_split_stack
= 0;
1102 else if (opts
->x_flag_split_stack
)
1104 if (!targetm_common
.supports_split_stack (true, opts
))
1106 error_at (loc
, "%<-fsplit-stack%> is not supported by "
1107 "this compiler configuration");
1108 opts
->x_flag_split_stack
= 0;
1112 /* If stack splitting is turned on, and the user did not explicitly
1113 request function partitioning, turn off partitioning, as it
1114 confuses the linker when trying to handle partitioned split-stack
1115 code that calls a non-split-stack functions. But if partitioning
1116 was turned on explicitly just hope for the best. */
1117 if (opts
->x_flag_split_stack
1118 && opts
->x_flag_reorder_blocks_and_partition
1119 && !opts_set
->x_flag_reorder_blocks_and_partition
)
1120 opts
->x_flag_reorder_blocks_and_partition
= 0;
1122 if (opts
->x_flag_reorder_blocks_and_partition
1123 && !opts_set
->x_flag_reorder_functions
)
1124 opts
->x_flag_reorder_functions
= 1;
1126 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
1127 if (opts
->x_dwarf_split_debug_info
)
1128 opts
->x_debug_generate_pub_sections
= 2;
1130 if ((opts
->x_flag_sanitize
1131 & (SANITIZE_USER_ADDRESS
| SANITIZE_KERNEL_ADDRESS
)) == 0)
1133 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_COMPARE
)
1135 "%<-fsanitize=pointer-compare%> must be combined with "
1136 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1137 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_SUBTRACT
)
1139 "%<-fsanitize=pointer-subtract%> must be combined with "
1140 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
1143 /* Userspace and kernel ASan conflict with each other. */
1144 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
1145 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
1147 "%<-fsanitize=address%> is incompatible with "
1148 "%<-fsanitize=kernel-address%>");
1150 /* And with TSan. */
1151 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
1152 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
1154 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
1155 "are incompatible with %<-fsanitize=thread%>");
1157 if ((opts
->x_flag_sanitize
& SANITIZE_LEAK
)
1158 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
1160 "%<-fsanitize=leak%> is incompatible with %<-fsanitize=thread%>");
1162 /* Check error recovery for -fsanitize-recover option. */
1163 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1164 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
1165 && !sanitizer_opts
[i
].can_recover
)
1166 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
1167 sanitizer_opts
[i
].name
);
1169 /* When instrumenting the pointers, we don't want to remove
1170 the null pointer checks. */
1171 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
1172 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
1173 opts
->x_flag_delete_null_pointer_checks
= 0;
1175 /* Aggressive compiler optimizations may cause false negatives. */
1176 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
1177 opts
->x_flag_aggressive_loop_optimizations
= 0;
1179 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
1181 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
1182 && !opts_set
->x_flag_sanitize_address_use_after_scope
)
1183 opts
->x_flag_sanitize_address_use_after_scope
= true;
1185 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
1187 if (opts
->x_flag_sanitize_address_use_after_scope
)
1189 if (opts
->x_flag_stack_reuse
!= SR_NONE
1190 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1192 "%<-fsanitize-address-use-after-scope%> requires "
1193 "%<-fstack-reuse=none%> option");
1195 opts
->x_flag_stack_reuse
= SR_NONE
;
1198 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1199 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1201 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1202 sorry ("transactional memory is not supported with "
1203 "%<-fsanitize=kernel-address%>");
1205 /* Currently live patching is not support for LTO. */
1206 if (opts
->x_flag_live_patching
&& opts
->x_flag_lto
)
1207 sorry ("live patching is not supported with LTO");
1209 /* Currently vtable verification is not supported for LTO */
1210 if (opts
->x_flag_vtable_verify
&& opts
->x_flag_lto
)
1211 sorry ("vtable verification is not supported with LTO");
1213 /* Control IPA optimizations based on different -flive-patching level. */
1214 if (opts
->x_flag_live_patching
)
1216 control_options_for_live_patching (opts
, opts_set
,
1217 opts
->x_flag_live_patching
,
1222 #define LEFT_COLUMN 27
1224 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1225 followed by word-wrapped HELP in a second column. */
1227 wrap_help (const char *help
,
1229 unsigned int item_width
,
1230 unsigned int columns
)
1232 unsigned int col_width
= LEFT_COLUMN
;
1233 unsigned int remaining
, room
, len
;
1235 remaining
= strlen (help
);
1239 room
= columns
- 3 - MAX (col_width
, item_width
);
1248 for (i
= 0; help
[i
]; i
++)
1250 if (i
>= room
&& len
!= remaining
)
1254 else if ((help
[i
] == '-' || help
[i
] == '/')
1255 && help
[i
+ 1] != ' '
1256 && i
> 0 && ISALPHA (help
[i
- 1]))
1261 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1263 while (help
[len
] == ' ')
1271 /* Data structure used to print list of valid option values. */
1273 class option_help_tuple
1276 option_help_tuple (int code
, vec
<const char *> values
):
1277 m_code (code
), m_values (values
)
1280 /* Code of an option. */
1283 /* List of possible values. */
1284 vec
<const char *> m_values
;
1287 /* Print help for a specific front-end, etc. */
1289 print_filtered_help (unsigned int include_flags
,
1290 unsigned int exclude_flags
,
1291 unsigned int any_flags
,
1292 unsigned int columns
,
1293 struct gcc_options
*opts
,
1294 unsigned int lang_mask
)
1299 bool displayed
= false;
1302 if (include_flags
== CL_PARAMS
)
1304 for (i
= 0; i
< LAST_PARAM
; i
++)
1306 const char *param
= compiler_params
[i
].option
;
1308 help
= compiler_params
[i
].help
;
1309 if (help
== NULL
|| *help
== '\0')
1311 if (exclude_flags
& CL_UNDOCUMENTED
)
1313 help
= undocumented_msg
;
1316 /* Get the translation. */
1319 if (!opts
->x_quiet_flag
)
1321 snprintf (new_help
, sizeof (new_help
),
1322 _("default %d minimum %d maximum %d"),
1323 compiler_params
[i
].default_value
,
1324 compiler_params
[i
].min_value
,
1325 compiler_params
[i
].max_value
);
1328 wrap_help (help
, param
, strlen (param
), columns
);
1334 if (!opts
->x_help_printed
)
1335 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1337 if (!opts
->x_help_enum_printed
)
1338 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1340 auto_vec
<option_help_tuple
> help_tuples
;
1342 for (i
= 0; i
< cl_options_count
; i
++)
1344 const struct cl_option
*option
= cl_options
+ i
;
1349 if (include_flags
== 0
1350 || ((option
->flags
& include_flags
) != include_flags
))
1352 if ((option
->flags
& any_flags
) == 0)
1356 /* Skip unwanted switches. */
1357 if ((option
->flags
& exclude_flags
) != 0)
1360 /* The driver currently prints its own help text. */
1361 if ((option
->flags
& CL_DRIVER
) != 0
1362 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1363 | CL_COMMON
| CL_TARGET
)) == 0)
1367 /* Skip switches that have already been printed. */
1368 if (opts
->x_help_printed
[i
])
1371 opts
->x_help_printed
[i
] = true;
1373 help
= option
->help
;
1376 if (exclude_flags
& CL_UNDOCUMENTED
)
1379 help
= undocumented_msg
;
1382 if (option
->alias_target
< N_OPTS
1383 && cl_options
[option
->alias_target
].help
)
1385 if (help
== undocumented_msg
)
1387 /* For undocumented options that are aliases for other options
1388 that are documented, point the reader to the other option in
1389 preference of the former. */
1390 snprintf (new_help
, sizeof new_help
,
1391 _("Same as %s. Use the latter option instead."),
1392 cl_options
[option
->alias_target
].opt_text
);
1396 /* For documented options with aliases, mention the aliased
1397 option's name for reference. */
1398 snprintf (new_help
, sizeof new_help
,
1399 _("%s Same as %s."),
1400 help
, cl_options
[option
->alias_target
].opt_text
);
1406 if (option
->warn_message
)
1408 /* Mention that the use of the option will trigger a warning. */
1409 if (help
== new_help
)
1410 snprintf (new_help
+ strlen (new_help
),
1411 sizeof new_help
- strlen (new_help
),
1412 " %s", _(use_diagnosed_msg
));
1414 snprintf (new_help
, sizeof new_help
,
1415 "%s %s", help
, _(use_diagnosed_msg
));
1420 /* Get the translation. */
1423 /* Find the gap between the name of the
1424 option and its descriptive text. */
1425 tab
= strchr (help
, '\t');
1434 opt
= option
->opt_text
;
1438 /* With the -Q option enabled we change the descriptive text associated
1439 with an option to be an indication of its current setting. */
1440 if (!opts
->x_quiet_flag
)
1442 void *flag_var
= option_flag_var (i
, opts
);
1444 if (len
< (LEFT_COLUMN
+ 2))
1445 strcpy (new_help
, "\t\t");
1447 strcpy (new_help
, "\t");
1449 /* Set to print whether the option is enabled or disabled,
1450 or, if it's an alias for another option, the name of
1451 the aliased option. */
1452 bool print_state
= false;
1454 if (flag_var
!= NULL
1455 && option
->var_type
!= CLVC_DEFER
)
1457 /* If OPTION is only available for a specific subset
1458 of languages other than this one, mention them. */
1459 bool avail_for_lang
= true;
1460 if (unsigned langset
= option
->flags
& CL_LANG_ALL
)
1462 if (!(langset
& lang_mask
))
1464 avail_for_lang
= false;
1465 strcat (new_help
, _("[available in "));
1466 for (unsigned i
= 0, n
= 0; (1U << i
) < CL_LANG_ALL
; ++i
)
1467 if (langset
& (1U << i
))
1470 strcat (new_help
, ", ");
1471 strcat (new_help
, lang_names
[i
]);
1473 strcat (new_help
, "]");
1476 if (!avail_for_lang
)
1477 ; /* Print nothing else if the option is not available
1478 in the current language. */
1479 else if (option
->flags
& CL_JOINED
)
1481 if (option
->var_type
== CLVC_STRING
)
1483 if (* (const char **) flag_var
!= NULL
)
1484 snprintf (new_help
+ strlen (new_help
),
1485 sizeof (new_help
) - strlen (new_help
),
1486 "%s", * (const char **) flag_var
);
1488 else if (option
->var_type
== CLVC_ENUM
)
1490 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1492 const char *arg
= NULL
;
1494 value
= e
->get (flag_var
);
1495 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1497 arg
= _("[default]");
1498 snprintf (new_help
+ strlen (new_help
),
1499 sizeof (new_help
) - strlen (new_help
),
1504 if (option
->cl_host_wide_int
)
1505 sprintf (new_help
+ strlen (new_help
),
1506 _("%llu bytes"), (unsigned long long)
1507 *(unsigned HOST_WIDE_INT
*) flag_var
);
1509 sprintf (new_help
+ strlen (new_help
),
1510 "%i", * (int *) flag_var
);
1517 /* When there is no argument, print the option state only
1518 if the option takes no argument. */
1519 print_state
= !(option
->flags
& CL_JOINED
);
1523 if (option
->alias_target
< N_OPTS
1524 && option
->alias_target
!= OPT_SPECIAL_warn_removed
1525 && option
->alias_target
!= OPT_SPECIAL_ignore
1526 && option
->alias_target
!= OPT_SPECIAL_input_file
1527 && option
->alias_target
!= OPT_SPECIAL_program_name
1528 && option
->alias_target
!= OPT_SPECIAL_unknown
)
1530 const struct cl_option
*target
1531 = &cl_options
[option
->alias_target
];
1532 sprintf (new_help
+ strlen (new_help
), "%s%s",
1534 option
->alias_arg
? option
->alias_arg
: "");
1536 else if (option
->alias_target
== OPT_SPECIAL_ignore
)
1537 strcat (new_help
, ("[ignored]"));
1540 /* Print the state for an on/off option. */
1541 int ena
= option_enabled (i
, lang_mask
, opts
);
1543 strcat (new_help
, _("[enabled]"));
1545 strcat (new_help
, _("[disabled]"));
1552 if (option
->range_max
!= -1)
1555 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1557 opt
= concat (opt
, b
, NULL
);
1561 wrap_help (help
, opt
, len
, columns
);
1564 if (option
->var_type
== CLVC_ENUM
1565 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1566 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1569 vec
<const char *> option_values
1570 = targetm_common
.get_valid_option_values (i
, NULL
);
1571 if (!option_values
.is_empty ())
1572 help_tuples
.safe_push (option_help_tuple (i
, option_values
));
1578 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1581 printf (_(" No options with the desired characteristics were found\n"));
1586 /* PR 31349: Tell the user how to see all of the
1587 options supported by a specific front end. */
1588 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1589 if ((1U << i
) & langs
)
1590 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1591 lang_names
[i
], lang_names
[i
]);
1595 else if (! displayed
)
1596 printf (_(" All options with the desired characteristics have already been displayed\n"));
1600 /* Print details of enumerated option arguments, if those
1601 enumerations have help text headings provided. If no help text
1602 is provided, presume that the possible values are listed in the
1603 help text for the relevant options. */
1604 for (i
= 0; i
< cl_enums_count
; i
++)
1606 unsigned int j
, pos
;
1608 if (opts
->x_help_enum_printed
[i
] != 1)
1610 if (cl_enums
[i
].help
== NULL
)
1612 printf (" %s\n ", _(cl_enums
[i
].help
));
1614 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1616 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1618 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1620 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1630 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1635 opts
->x_help_enum_printed
[i
] = 2;
1638 for (unsigned i
= 0; i
< help_tuples
.length (); i
++)
1640 const struct cl_option
*option
= cl_options
+ help_tuples
[i
].m_code
;
1641 printf (_(" Known valid arguments for %s option:\n "),
1643 for (unsigned j
= 0; j
< help_tuples
[i
].m_values
.length (); j
++)
1644 printf (" %s", help_tuples
[i
].m_values
[j
]);
1649 /* Display help for a specified type of option.
1650 The options must have ALL of the INCLUDE_FLAGS set
1651 ANY of the flags in the ANY_FLAGS set
1652 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1653 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1655 print_specific_help (unsigned int include_flags
,
1656 unsigned int exclude_flags
,
1657 unsigned int any_flags
,
1658 struct gcc_options
*opts
,
1659 unsigned int lang_mask
)
1661 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1662 const char * description
= NULL
;
1663 const char * descrip_extra
= "";
1667 /* Sanity check: Make sure that we do not have more
1668 languages than we have bits available to enumerate them. */
1669 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1671 /* If we have not done so already, obtain
1672 the desired maximum width of the output. */
1673 if (opts
->x_help_columns
== 0)
1675 opts
->x_help_columns
= get_terminal_width ();
1676 if (opts
->x_help_columns
== INT_MAX
)
1677 /* Use a reasonable default. */
1678 opts
->x_help_columns
= 80;
1681 /* Decide upon the title for the options that we are going to display. */
1682 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1684 switch (flag
& include_flags
)
1691 description
= _("The following options are target specific");
1694 description
= _("The following options control compiler warning messages");
1696 case CL_OPTIMIZATION
:
1697 description
= _("The following options control optimizations");
1700 description
= _("The following options are language-independent");
1703 description
= _("The --param option recognizes the following as parameters");
1706 if (i
>= cl_lang_count
)
1708 if (exclude_flags
& all_langs_mask
)
1709 description
= _("The following options are specific to just the language ");
1711 description
= _("The following options are supported by the language ");
1712 descrip_extra
= lang_names
[i
];
1717 if (description
== NULL
)
1721 if (include_flags
& CL_UNDOCUMENTED
)
1722 description
= _("The following options are not documented");
1723 else if (include_flags
& CL_SEPARATE
)
1724 description
= _("The following options take separate arguments");
1725 else if (include_flags
& CL_JOINED
)
1726 description
= _("The following options take joined arguments");
1729 internal_error ("unrecognized %<include_flags 0x%x%> passed "
1730 "to %<print_specific_help%>",
1737 if (any_flags
& all_langs_mask
)
1738 description
= _("The following options are language-related");
1740 description
= _("The following options are language-independent");
1744 printf ("%s%s:\n", description
, descrip_extra
);
1745 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1746 opts
->x_help_columns
, opts
, lang_mask
);
1749 /* Enable FDO-related flags. */
1752 enable_fdo_optimizations (struct gcc_options
*opts
,
1753 struct gcc_options
*opts_set
,
1756 if (!opts_set
->x_flag_branch_probabilities
)
1757 opts
->x_flag_branch_probabilities
= value
;
1758 if (!opts_set
->x_flag_profile_values
)
1759 opts
->x_flag_profile_values
= value
;
1760 if (!opts_set
->x_flag_unroll_loops
)
1761 opts
->x_flag_unroll_loops
= value
;
1762 if (!opts_set
->x_flag_peel_loops
)
1763 opts
->x_flag_peel_loops
= value
;
1764 if (!opts_set
->x_flag_tracer
)
1765 opts
->x_flag_tracer
= value
;
1766 if (!opts_set
->x_flag_value_profile_transformations
)
1767 opts
->x_flag_value_profile_transformations
= value
;
1768 if (!opts_set
->x_flag_inline_functions
)
1769 opts
->x_flag_inline_functions
= value
;
1770 if (!opts_set
->x_flag_ipa_cp
)
1771 opts
->x_flag_ipa_cp
= value
;
1772 if (!opts_set
->x_flag_ipa_cp_clone
1773 && value
&& opts
->x_flag_ipa_cp
)
1774 opts
->x_flag_ipa_cp_clone
= value
;
1775 if (!opts_set
->x_flag_ipa_bit_cp
1776 && value
&& opts
->x_flag_ipa_cp
)
1777 opts
->x_flag_ipa_bit_cp
= value
;
1778 if (!opts_set
->x_flag_predictive_commoning
)
1779 opts
->x_flag_predictive_commoning
= value
;
1780 if (!opts_set
->x_flag_split_loops
)
1781 opts
->x_flag_split_loops
= value
;
1782 if (!opts_set
->x_flag_unswitch_loops
)
1783 opts
->x_flag_unswitch_loops
= value
;
1784 if (!opts_set
->x_flag_gcse_after_reload
)
1785 opts
->x_flag_gcse_after_reload
= value
;
1786 if (!opts_set
->x_flag_tree_loop_vectorize
)
1787 opts
->x_flag_tree_loop_vectorize
= value
;
1788 if (!opts_set
->x_flag_tree_slp_vectorize
)
1789 opts
->x_flag_tree_slp_vectorize
= value
;
1790 if (!opts_set
->x_flag_version_loops_for_strides
)
1791 opts
->x_flag_version_loops_for_strides
= value
;
1792 if (!opts_set
->x_flag_vect_cost_model
)
1793 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1794 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1795 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1796 if (!opts_set
->x_flag_loop_interchange
)
1797 opts
->x_flag_loop_interchange
= value
;
1798 if (!opts_set
->x_flag_unroll_jam
)
1799 opts
->x_flag_unroll_jam
= value
;
1800 if (!opts_set
->x_flag_tree_loop_distribution
)
1801 opts
->x_flag_tree_loop_distribution
= value
;
1804 /* -f{,no-}sanitize{,-recover}= suboptions. */
1805 const struct sanitizer_opts_s sanitizer_opts
[] =
1807 #define SANITIZER_OPT(name, flags, recover) \
1808 { #name, flags, sizeof #name - 1, recover }
1809 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1810 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1812 SANITIZER_OPT (pointer
-compare
, SANITIZE_POINTER_COMPARE
, true),
1813 SANITIZER_OPT (pointer
-subtract
, SANITIZE_POINTER_SUBTRACT
, true),
1814 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1815 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1816 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1817 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1818 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1819 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1820 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1821 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1822 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1823 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1824 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1825 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1826 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1827 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1828 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1829 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1830 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1831 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1832 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1833 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1834 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1836 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1837 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1838 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1839 SANITIZER_OPT (builtin
, SANITIZE_BUILTIN
, true),
1840 SANITIZER_OPT (all
, ~0U, true),
1841 #undef SANITIZER_OPT
1842 { NULL
, 0U, 0UL, false }
1845 /* -f{,no-}sanitize-coverage= suboptions. */
1846 const struct sanitizer_opts_s coverage_sanitizer_opts
[] =
1848 #define COVERAGE_SANITIZER_OPT(name, flags) \
1849 { #name, flags, sizeof #name - 1, true }
1850 COVERAGE_SANITIZER_OPT (trace
-pc
, SANITIZE_COV_TRACE_PC
),
1851 COVERAGE_SANITIZER_OPT (trace
-cmp
, SANITIZE_COV_TRACE_CMP
),
1852 #undef COVERAGE_SANITIZER_OPT
1853 { NULL
, 0U, 0UL, false }
1856 /* A struct for describing a run of chars within a string. */
1858 class string_fragment
1861 string_fragment (const char *start
, size_t len
)
1862 : m_start (start
), m_len (len
) {}
1864 const char *m_start
;
1868 /* Specialization of edit_distance_traits for string_fragment,
1869 for use by get_closest_sanitizer_option. */
1872 struct edit_distance_traits
<const string_fragment
&>
1874 static size_t get_length (const string_fragment
&fragment
)
1876 return fragment
.m_len
;
1879 static const char *get_string (const string_fragment
&fragment
)
1881 return fragment
.m_start
;
1885 /* Given ARG, an unrecognized sanitizer option, return the best
1886 matching sanitizer option, or NULL if there isn't one.
1887 OPTS is array of candidate sanitizer options.
1888 CODE is OPT_fsanitize_, OPT_fsanitize_recover_ or
1889 OPT_fsanitize_coverage_.
1890 VALUE is non-zero for the regular form of the option, zero
1891 for the "no-" form (e.g. "-fno-sanitize-recover="). */
1894 get_closest_sanitizer_option (const string_fragment
&arg
,
1895 const struct sanitizer_opts_s
*opts
,
1896 enum opt_code code
, int value
)
1898 best_match
<const string_fragment
&, const char*> bm (arg
);
1899 for (int i
= 0; opts
[i
].name
!= NULL
; ++i
)
1901 /* -fsanitize=all is not valid, so don't offer it. */
1902 if (code
== OPT_fsanitize_
1903 && opts
[i
].flag
== ~0U
1907 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
1908 don't offer the non-recoverable options. */
1909 if (code
== OPT_fsanitize_recover_
1910 && !opts
[i
].can_recover
1914 bm
.consider (opts
[i
].name
);
1916 return bm
.get_best_meaningful_candidate ();
1919 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1920 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1921 don't issue diagnostics. */
1924 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
1925 unsigned int flags
, int value
, bool complain
)
1927 enum opt_code code
= (enum opt_code
) scode
;
1929 const struct sanitizer_opts_s
*opts
;
1930 if (code
== OPT_fsanitize_coverage_
)
1931 opts
= coverage_sanitizer_opts
;
1933 opts
= sanitizer_opts
;
1939 const char *comma
= strchr (p
, ',');
1951 /* Check to see if the string matches an option class name. */
1952 for (i
= 0; opts
[i
].name
!= NULL
; ++i
)
1953 if (len
== opts
[i
].len
&& memcmp (p
, opts
[i
].name
, len
) == 0)
1955 /* Handle both -fsanitize and -fno-sanitize cases. */
1956 if (value
&& opts
[i
].flag
== ~0U)
1958 if (code
== OPT_fsanitize_
)
1961 error_at (loc
, "%<-fsanitize=all%> option is not valid");
1964 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
1965 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1969 /* Do not enable -fsanitize-recover=unreachable and
1970 -fsanitize-recover=return if -fsanitize-recover=undefined
1972 if (code
== OPT_fsanitize_recover_
1973 && opts
[i
].flag
== SANITIZE_UNDEFINED
)
1974 flags
|= (SANITIZE_UNDEFINED
1975 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
1977 flags
|= opts
[i
].flag
;
1980 flags
&= ~opts
[i
].flag
;
1985 if (! found
&& complain
)
1988 = get_closest_sanitizer_option (string_fragment (p
, len
),
1992 if (code
== OPT_fsanitize_recover_
)
1993 suffix
= "-recover";
1994 else if (code
== OPT_fsanitize_coverage_
)
1995 suffix
= "-coverage";
2001 "unrecognized argument to %<-f%ssanitize%s=%> "
2002 "option: %q.*s; did you mean %qs?",
2004 suffix
, (int) len
, p
, hint
);
2007 "unrecognized argument to %<-f%ssanitize%s=%> option: "
2008 "%q.*s", value
? "" : "no-",
2009 suffix
, (int) len
, p
);
2019 /* Parse string values of no_sanitize attribute passed in VALUE.
2020 Values are separated with comma. */
2023 parse_no_sanitize_attribute (char *value
)
2025 unsigned int flags
= 0;
2027 char *q
= strtok (value
, ",");
2031 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
2032 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
2034 flags
|= sanitizer_opts
[i
].flag
;
2035 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
2036 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
2040 if (sanitizer_opts
[i
].name
== NULL
)
2041 warning (OPT_Wattributes
,
2042 "%qs attribute directive ignored", q
);
2044 q
= strtok (NULL
, ",");
2050 /* Parse -falign-NAME format for a FLAG value. Return individual
2051 parsed integer values into RESULT_VALUES array. If REPORT_ERROR is
2052 set, print error message at LOC location. */
2055 parse_and_check_align_values (const char *flag
,
2057 auto_vec
<unsigned> &result_values
,
2061 char *str
= xstrdup (flag
);
2062 for (char *p
= strtok (str
, ":"); p
; p
= strtok (NULL
, ":"))
2065 int v
= strtol (p
, &end
, 10);
2066 if (*end
!= '\0' || v
< 0)
2069 error_at (loc
, "invalid arguments for %<-falign-%s%> option: %qs",
2075 result_values
.safe_push ((unsigned)v
);
2080 /* Check that we have a correct number of values. */
2081 if (result_values
.is_empty () || result_values
.length () > 4)
2084 error_at (loc
, "invalid number of arguments for %<-falign-%s%> "
2085 "option: %qs", name
, flag
);
2089 for (unsigned i
= 0; i
< result_values
.length (); i
++)
2090 if (result_values
[i
] > MAX_CODE_ALIGN_VALUE
)
2093 error_at (loc
, "%<-falign-%s%> is not between 0 and %d",
2094 name
, MAX_CODE_ALIGN_VALUE
);
2101 /* Check that alignment value FLAG for -falign-NAME is valid at a given
2105 check_alignment_argument (location_t loc
, const char *flag
, const char *name
)
2107 auto_vec
<unsigned> align_result
;
2108 parse_and_check_align_values (flag
, name
, align_result
, true, loc
);
2111 /* Print help when OPT__help_ is set. */
2114 print_help (struct gcc_options
*opts
, unsigned int lang_mask
,
2115 const char *help_option_argument
)
2117 const char *a
= help_option_argument
;
2118 unsigned int include_flags
= 0;
2119 /* Note - by default we include undocumented options when listing
2120 specific classes. If you only want to see documented options
2121 then add ",^undocumented" to the --help= option. E.g.:
2123 --help=target,^undocumented */
2124 unsigned int exclude_flags
= 0;
2126 if (lang_mask
== CL_DRIVER
)
2129 /* Walk along the argument string, parsing each word in turn.
2131 arg = [^]{word}[,{arg}]
2132 word = {optimizers|target|warnings|undocumented|
2133 params|common|<language>} */
2143 { "optimizers", CL_OPTIMIZATION
},
2144 { "target", CL_TARGET
},
2145 { "warnings", CL_WARNING
},
2146 { "undocumented", CL_UNDOCUMENTED
},
2147 { "params", CL_PARAMS
},
2148 { "joined", CL_JOINED
},
2149 { "separate", CL_SEPARATE
},
2150 { "common", CL_COMMON
},
2153 unsigned int *pflags
;
2155 unsigned int lang_flag
, specific_flag
;
2164 error ("missing argument to %qs", "--help=^");
2167 pflags
= &exclude_flags
;
2170 pflags
= &include_flags
;
2172 comma
= strchr (a
, ',');
2183 /* Check to see if the string matches an option class name. */
2184 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
2185 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
2187 specific_flag
= specifics
[i
].flag
;
2191 /* Check to see if the string matches a language name.
2192 Note - we rely upon the alpha-sorted nature of the entries in
2193 the lang_names array, specifically that shorter names appear
2194 before their longer variants. (i.e. C before C++). That way
2195 when we are attempting to match --help=c for example we will
2196 match with C first and not C++. */
2197 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
2198 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
2200 lang_flag
= 1U << i
;
2204 if (specific_flag
!= 0)
2207 *pflags
|= specific_flag
;
2210 /* The option's argument matches both the start of a
2211 language name and the start of an option class name.
2212 We have a special case for when the user has
2213 specified "--help=c", but otherwise we have to issue
2215 if (strncasecmp (a
, "c", len
) == 0)
2216 *pflags
|= lang_flag
;
2219 "%<--help%> argument %q.*s is ambiguous, "
2220 "please be more specific",
2224 else if (lang_flag
!= 0)
2225 *pflags
|= lang_flag
;
2228 "unrecognized argument to %<--help=%> option: %q.*s",
2237 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
2241 /* Handle target- and language-independent options. Return zero to
2242 generate an "unknown option" message. Only options that need
2243 extra handling need to be listed here; if you simply want
2244 DECODED->value assigned to a variable, it happens automatically. */
2247 common_handle_option (struct gcc_options
*opts
,
2248 struct gcc_options
*opts_set
,
2249 const struct cl_decoded_option
*decoded
,
2250 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
2252 const struct cl_option_handlers
*handlers
,
2253 diagnostic_context
*dc
,
2254 void (*target_option_override_hook
) (void))
2256 size_t scode
= decoded
->opt_index
;
2257 const char *arg
= decoded
->arg
;
2258 HOST_WIDE_INT value
= decoded
->value
;
2259 enum opt_code code
= (enum opt_code
) scode
;
2261 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
2266 handle_param (opts
, opts_set
, loc
, arg
);
2271 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
2272 unsigned int undoc_mask
;
2275 if (lang_mask
== CL_DRIVER
)
2278 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
2281 target_option_override_hook ();
2282 /* First display any single language specific options. */
2283 for (i
= 0; i
< cl_lang_count
; i
++)
2285 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
2287 /* Next display any multi language specific options. */
2288 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
2289 /* Then display any remaining, non-language options. */
2290 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
2292 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
2293 opts
->x_exit_after_options
= true;
2297 case OPT__target_help
:
2298 if (lang_mask
== CL_DRIVER
)
2301 target_option_override_hook ();
2302 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
2303 opts
->x_exit_after_options
= true;
2308 help_option_arguments
.safe_push (arg
);
2309 opts
->x_exit_after_options
= true;
2314 if (lang_mask
== CL_DRIVER
)
2317 opts
->x_exit_after_options
= true;
2320 case OPT__completion_
:
2323 case OPT_fsanitize_
:
2324 opts
->x_flag_sanitize
2325 = parse_sanitizer_options (arg
, loc
, code
,
2326 opts
->x_flag_sanitize
, value
, true);
2328 /* Kernel ASan implies normal ASan but does not yet support
2330 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
2332 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD
,
2333 0, opts
->x_param_values
,
2334 opts_set
->x_param_values
);
2335 maybe_set_param_value (PARAM_ASAN_GLOBALS
, 0, opts
->x_param_values
,
2336 opts_set
->x_param_values
);
2337 maybe_set_param_value (PARAM_ASAN_STACK
, 0, opts
->x_param_values
,
2338 opts_set
->x_param_values
);
2339 maybe_set_param_value (PARAM_ASAN_PROTECT_ALLOCAS
, 0,
2340 opts
->x_param_values
,
2341 opts_set
->x_param_values
);
2342 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN
, 0,
2343 opts
->x_param_values
,
2344 opts_set
->x_param_values
);
2348 case OPT_fsanitize_recover_
:
2349 opts
->x_flag_sanitize_recover
2350 = parse_sanitizer_options (arg
, loc
, code
,
2351 opts
->x_flag_sanitize_recover
, value
, true);
2354 case OPT_fasan_shadow_offset_
:
2358 case OPT_fsanitize_address_use_after_scope
:
2359 opts
->x_flag_sanitize_address_use_after_scope
= value
;
2362 case OPT_fsanitize_recover
:
2364 opts
->x_flag_sanitize_recover
2365 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
2366 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
2368 opts
->x_flag_sanitize_recover
2369 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
2372 case OPT_fsanitize_coverage_
:
2373 opts
->x_flag_sanitize_coverage
2374 = parse_sanitizer_options (arg
, loc
, code
,
2375 opts
->x_flag_sanitize_coverage
, value
, true);
2382 /* Currently handled in a prescan. */
2386 dc
->warning_as_error_requested
= value
;
2390 if (lang_mask
== CL_DRIVER
)
2393 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
2394 opts
, opts_set
, loc
, dc
);
2397 case OPT_Wfatal_errors
:
2398 dc
->fatal_errors
= value
;
2401 case OPT_Wstack_usage_
:
2402 opts
->x_flag_stack_usage_info
= value
!= -1;
2405 case OPT_Wstrict_aliasing
:
2406 set_Wstrict_aliasing (opts
, value
);
2409 case OPT_Wstrict_overflow
:
2410 opts
->x_warn_strict_overflow
= (value
2411 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2415 case OPT_Wsystem_headers
:
2416 dc
->dc_warn_system_headers
= value
;
2420 opts
->x_flag_gen_aux_info
= 1;
2423 case OPT_auxbase_strip
:
2425 char *tmp
= xstrdup (arg
);
2426 strip_off_ending (tmp
, strlen (tmp
));
2428 opts
->x_aux_base_name
= tmp
;
2435 decode_d_option (arg
, opts
, loc
, dc
);
2438 case OPT_fcall_used_
:
2439 case OPT_fcall_saved_
:
2447 case OPT_fdbg_cnt_list
:
2449 opts
->x_exit_after_options
= true;
2452 case OPT_fdebug_prefix_map_
:
2453 case OPT_ffile_prefix_map_
:
2457 case OPT_fdiagnostics_show_location_
:
2458 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2461 case OPT_fdiagnostics_show_caret
:
2462 dc
->show_caret
= value
;
2465 case OPT_fdiagnostics_show_labels
:
2466 dc
->show_labels_p
= value
;
2469 case OPT_fdiagnostics_show_line_numbers
:
2470 dc
->show_line_numbers_p
= value
;
2473 case OPT_fdiagnostics_color_
:
2474 diagnostic_color_init (dc
, value
);
2477 case OPT_fdiagnostics_urls_
:
2478 diagnostic_urls_init (dc
, value
);
2481 case OPT_fdiagnostics_format_
:
2482 diagnostic_output_format_init (dc
,
2483 (enum diagnostics_output_format
)value
);
2486 case OPT_fdiagnostics_parseable_fixits
:
2487 dc
->parseable_fixits_p
= value
;
2490 case OPT_fdiagnostics_show_option
:
2491 dc
->show_option_requested
= value
;
2494 case OPT_fdiagnostics_minimum_margin_width_
:
2495 dc
->min_margin_width
= value
;
2502 case OPT_ffast_math
:
2503 set_fast_math_flags (opts
, value
);
2506 case OPT_funsafe_math_optimizations
:
2507 set_unsafe_math_optimizations_flags (opts
, value
);
2514 case OPT_finline_limit_
:
2515 set_param_value ("max-inline-insns-single", value
/ 2,
2516 opts
->x_param_values
, opts_set
->x_param_values
);
2517 set_param_value ("max-inline-insns-auto", value
/ 2,
2518 opts
->x_param_values
, opts_set
->x_param_values
);
2521 case OPT_finstrument_functions_exclude_function_list_
:
2522 add_comma_separated_to_vector
2523 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2526 case OPT_finstrument_functions_exclude_file_list_
:
2527 add_comma_separated_to_vector
2528 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2531 case OPT_fmessage_length_
:
2532 pp_set_line_maximum_length (dc
->printer
, value
);
2533 diagnostic_set_caret_max_width (dc
, value
);
2537 case OPT_fopt_info_
:
2543 const char *p
= arg
;
2544 opts
->x_flag_disable_hsa
= true;
2547 const char *comma
= strchr (p
, ',');
2549 if ((strncmp (p
, "disable", 7) == 0)
2550 && (p
[7] == ',' || p
[7] == '\0'))
2552 opts
->x_flag_disable_hsa
= true;
2556 if ((strncmp (p
, "hsa", 3) == 0)
2557 && (p
[3] == ',' || p
[3] == '\0'))
2560 opts
->x_flag_disable_hsa
= false;
2562 sorry ("HSA has not been enabled during configuration");
2572 #ifndef ACCEL_COMPILER
2573 case OPT_foffload_abi_
:
2574 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2575 "offload compiler");
2579 case OPT_fpack_struct_
:
2580 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2582 "structure alignment must be a small power of two, not %wu",
2585 opts
->x_initial_max_fld_align
= value
;
2589 case OPT_fplugin_arg_
:
2593 case OPT_fprofile_use_
:
2594 opts
->x_profile_data_prefix
= xstrdup (arg
);
2595 opts
->x_flag_profile_use
= true;
2597 /* No break here - do -fprofile-use processing. */
2599 case OPT_fprofile_use
:
2600 enable_fdo_optimizations (opts
, opts_set
, value
);
2601 if (!opts_set
->x_flag_profile_reorder_functions
)
2602 opts
->x_flag_profile_reorder_functions
= value
;
2603 /* Indirect call profiling should do all useful transformations
2604 speculative devirtualization does. */
2605 if (!opts_set
->x_flag_devirtualize_speculatively
2606 && opts
->x_flag_value_profile_transformations
)
2607 opts
->x_flag_devirtualize_speculatively
= false;
2610 case OPT_fauto_profile_
:
2611 opts
->x_auto_profile_file
= xstrdup (arg
);
2612 opts
->x_flag_auto_profile
= true;
2614 /* No break here - do -fauto-profile processing. */
2616 case OPT_fauto_profile
:
2617 enable_fdo_optimizations (opts
, opts_set
, value
);
2618 if (!opts_set
->x_flag_profile_correction
)
2619 opts
->x_flag_profile_correction
= value
;
2620 maybe_set_param_value (
2621 PARAM_EARLY_INLINER_MAX_ITERATIONS
, 10,
2622 opts
->x_param_values
, opts_set
->x_param_values
);
2625 case OPT_fprofile_generate_
:
2626 opts
->x_profile_data_prefix
= xstrdup (arg
);
2628 /* No break here - do -fprofile-generate processing. */
2630 case OPT_fprofile_generate
:
2631 if (!opts_set
->x_profile_arc_flag
)
2632 opts
->x_profile_arc_flag
= value
;
2633 if (!opts_set
->x_flag_profile_values
)
2634 opts
->x_flag_profile_values
= value
;
2635 if (!opts_set
->x_flag_inline_functions
)
2636 opts
->x_flag_inline_functions
= value
;
2637 if (!opts_set
->x_flag_ipa_bit_cp
)
2638 opts
->x_flag_ipa_bit_cp
= value
;
2639 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
2640 quadratic. Disable the pass until better memory representation
2642 if (!opts_set
->x_flag_ipa_reference
)
2643 opts
->x_flag_ipa_reference
= false;
2646 case OPT_fpatchable_function_entry_
:
2648 char *patch_area_arg
= xstrdup (arg
);
2649 char *comma
= strchr (patch_area_arg
, ',');
2653 function_entry_patch_area_size
=
2654 integral_argument (patch_area_arg
);
2655 function_entry_patch_area_start
=
2656 integral_argument (comma
+ 1);
2660 function_entry_patch_area_size
=
2661 integral_argument (patch_area_arg
);
2662 function_entry_patch_area_start
= 0;
2664 if (function_entry_patch_area_size
< 0
2665 || function_entry_patch_area_start
< 0
2666 || function_entry_patch_area_size
2667 < function_entry_patch_area_start
)
2668 error ("invalid arguments for %<-fpatchable_function_entry%>");
2669 free (patch_area_arg
);
2673 case OPT_ftree_vectorize
:
2674 /* Automatically sets -ftree-loop-vectorize and
2675 -ftree-slp-vectorize. Nothing more to do here. */
2677 case OPT_fshow_column
:
2678 dc
->show_column
= value
;
2681 case OPT_frandom_seed
:
2682 /* The real switch is -fno-random-seed. */
2688 case OPT_frandom_seed_
:
2692 case OPT_fsched_verbose_
:
2693 #ifdef INSN_SCHEDULING
2694 /* Handled with Var in common.opt. */
2700 case OPT_fsched_stalled_insns_
:
2701 opts
->x_flag_sched_stalled_insns
= value
;
2702 if (opts
->x_flag_sched_stalled_insns
== 0)
2703 opts
->x_flag_sched_stalled_insns
= -1;
2706 case OPT_fsched_stalled_insns_dep_
:
2707 opts
->x_flag_sched_stalled_insns_dep
= value
;
2710 case OPT_fstack_check_
:
2711 if (!strcmp (arg
, "no"))
2712 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2713 else if (!strcmp (arg
, "generic"))
2714 /* This is the old stack checking method. */
2715 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2716 ? FULL_BUILTIN_STACK_CHECK
2717 : GENERIC_STACK_CHECK
;
2718 else if (!strcmp (arg
, "specific"))
2719 /* This is the new stack checking method. */
2720 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2721 ? FULL_BUILTIN_STACK_CHECK
2722 : STACK_CHECK_STATIC_BUILTIN
2723 ? STATIC_BUILTIN_STACK_CHECK
2724 : GENERIC_STACK_CHECK
;
2726 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2729 case OPT_fstack_limit
:
2730 /* The real switch is -fno-stack-limit. */
2736 case OPT_fstack_limit_register_
:
2737 case OPT_fstack_limit_symbol_
:
2741 case OPT_fstack_usage
:
2742 opts
->x_flag_stack_usage
= value
;
2743 opts
->x_flag_stack_usage_info
= value
!= 0;
2747 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2752 if (arg
&& strlen (arg
) != 0)
2754 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2755 "use %<-gdwarf-%s%> for DWARF version "
2756 "or %<-gdwarf%> %<-g%s%> for debug level", arg
, arg
, arg
);
2760 value
= opts
->x_dwarf_version
;
2764 if (value
< 2 || value
> 5)
2765 error_at (loc
, "dwarf version %wu is not supported", value
);
2767 opts
->x_dwarf_version
= value
;
2768 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2771 case OPT_gsplit_dwarf
:
2772 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2777 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2782 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2787 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2792 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2798 /* Handled completely via specs. */
2801 case OPT_pedantic_errors
:
2802 dc
->pedantic_errors
= 1;
2803 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2805 handlers
, opts
, opts_set
,
2810 opts
->x_flag_lto
= value
? "" : NULL
;
2814 if (strcmp (arg
, "none") != 0
2815 && strcmp (arg
, "jobserver") != 0
2816 && strcmp (arg
, "auto") != 0
2819 "unrecognized argument to %<-flto=%> option: %qs", arg
);
2823 dc
->dc_inhibit_warnings
= true;
2826 case OPT_fmax_errors_
:
2827 dc
->max_errors
= value
;
2830 case OPT_fuse_ld_bfd
:
2831 case OPT_fuse_ld_gold
:
2832 case OPT_fuse_ld_lld
:
2833 case OPT_fuse_linker_plugin
:
2834 /* No-op. Used by the driver and passed to us because it starts with f.*/
2839 opts
->x_flag_trapv
= 0;
2844 opts
->x_flag_wrapv
= 0;
2847 case OPT_fstrict_overflow
:
2848 opts
->x_flag_wrapv
= !value
;
2849 opts
->x_flag_wrapv_pointer
= !value
;
2851 opts
->x_flag_trapv
= 0;
2855 opts
->x_flag_ipa_icf_functions
= value
;
2856 opts
->x_flag_ipa_icf_variables
= value
;
2859 case OPT_falign_loops_
:
2860 check_alignment_argument (loc
, arg
, "loops");
2863 case OPT_falign_jumps_
:
2864 check_alignment_argument (loc
, arg
, "jumps");
2867 case OPT_falign_labels_
:
2868 check_alignment_argument (loc
, arg
, "labels");
2871 case OPT_falign_functions_
:
2872 check_alignment_argument (loc
, arg
, "functions");
2876 /* If the flag was handled in a standard way, assume the lack of
2877 processing here is intentional. */
2878 gcc_assert (option_flag_var (scode
, opts
));
2882 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2887 /* Handle --param NAME=VALUE. */
2889 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2890 location_t loc
, const char *carg
)
2895 arg
= xstrdup (carg
);
2896 equal
= strchr (arg
, '=');
2898 error_at (loc
, "%s: %qs arguments should be of the form NAME=VALUE",
2904 enum compiler_param index
;
2905 if (!find_param (arg
, &index
))
2907 const char *suggestion
= find_param_fuzzy (arg
);
2909 error_at (loc
, "invalid %qs name %qs; did you mean %qs?",
2910 "--param", arg
, suggestion
);
2912 error_at (loc
, "invalid %qs name %qs", "--param", arg
);
2916 if (!param_string_value_p (index
, equal
+ 1, &value
))
2917 value
= integral_argument (equal
+ 1);
2920 error_at (loc
, "invalid %qs value %qs", "--param", equal
+ 1);
2922 set_param_value (arg
, value
,
2923 opts
->x_param_values
, opts_set
->x_param_values
);
2930 /* Used to set the level of strict aliasing warnings in OPTS,
2931 when no level is specified (i.e., when -Wstrict-aliasing, and not
2932 -Wstrict-aliasing=level was given).
2933 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2934 and 0 otherwise. After calling this function, wstrict_aliasing will be
2935 set to the default value of -Wstrict_aliasing=level, currently 3. */
2937 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2939 gcc_assert (onoff
== 0 || onoff
== 1);
2941 opts
->x_warn_strict_aliasing
= 3;
2943 opts
->x_warn_strict_aliasing
= 0;
2946 /* The following routines are useful in setting all the flags that
2947 -ffast-math and -fno-fast-math imply. */
2949 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2951 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2953 opts
->x_flag_unsafe_math_optimizations
= set
;
2954 set_unsafe_math_optimizations_flags (opts
, set
);
2956 if (!opts
->frontend_set_flag_finite_math_only
)
2957 opts
->x_flag_finite_math_only
= set
;
2958 if (!opts
->frontend_set_flag_errno_math
)
2959 opts
->x_flag_errno_math
= !set
;
2962 if (opts
->frontend_set_flag_excess_precision
== EXCESS_PRECISION_DEFAULT
)
2963 opts
->x_flag_excess_precision
2964 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
2965 if (!opts
->frontend_set_flag_signaling_nans
)
2966 opts
->x_flag_signaling_nans
= 0;
2967 if (!opts
->frontend_set_flag_rounding_math
)
2968 opts
->x_flag_rounding_math
= 0;
2969 if (!opts
->frontend_set_flag_cx_limited_range
)
2970 opts
->x_flag_cx_limited_range
= 1;
2974 /* When -funsafe-math-optimizations is set the following
2975 flags are set as well. */
2977 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2979 if (!opts
->frontend_set_flag_trapping_math
)
2980 opts
->x_flag_trapping_math
= !set
;
2981 if (!opts
->frontend_set_flag_signed_zeros
)
2982 opts
->x_flag_signed_zeros
= !set
;
2983 if (!opts
->frontend_set_flag_associative_math
)
2984 opts
->x_flag_associative_math
= set
;
2985 if (!opts
->frontend_set_flag_reciprocal_math
)
2986 opts
->x_flag_reciprocal_math
= set
;
2989 /* Return true iff flags in OPTS are set as if -ffast-math. */
2991 fast_math_flags_set_p (const struct gcc_options
*opts
)
2993 return (!opts
->x_flag_trapping_math
2994 && opts
->x_flag_unsafe_math_optimizations
2995 && opts
->x_flag_finite_math_only
2996 && !opts
->x_flag_signed_zeros
2997 && !opts
->x_flag_errno_math
2998 && opts
->x_flag_excess_precision
== EXCESS_PRECISION_FAST
);
3001 /* Return true iff flags are set as if -ffast-math but using the flags stored
3002 in the struct cl_optimization structure. */
3004 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
3006 return (!opt
->x_flag_trapping_math
3007 && opt
->x_flag_unsafe_math_optimizations
3008 && opt
->x_flag_finite_math_only
3009 && !opt
->x_flag_signed_zeros
3010 && !opt
->x_flag_errno_math
);
3013 /* Handle a debug output -g switch for options OPTS
3014 (OPTS_SET->x_write_symbols storing whether a debug type was passed
3015 explicitly), location LOC. EXTENDED is true or false to support
3016 extended output (2 is special and means "-ggdb" was given). */
3018 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
3019 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
3022 opts
->x_use_gnu_debug_info_extensions
= extended
;
3024 if (type
== NO_DEBUG
)
3026 if (opts
->x_write_symbols
== NO_DEBUG
)
3028 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
3032 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
3033 opts
->x_write_symbols
= DWARF2_DEBUG
;
3034 #elif defined DBX_DEBUGGING_INFO
3035 opts
->x_write_symbols
= DBX_DEBUG
;
3039 if (opts
->x_write_symbols
== NO_DEBUG
)
3040 warning_at (loc
, 0, "target system does not support debug output");
3045 /* Does it conflict with an already selected type? */
3046 if (opts_set
->x_write_symbols
!= NO_DEBUG
3047 && opts
->x_write_symbols
!= NO_DEBUG
3048 && type
!= opts
->x_write_symbols
)
3049 error_at (loc
, "debug format %qs conflicts with prior selection",
3050 debug_type_names
[type
]);
3051 opts
->x_write_symbols
= type
;
3052 opts_set
->x_write_symbols
= type
;
3055 /* A debug flag without a level defaults to level 2.
3056 If off or at level 1, set it to level 2, but if already
3057 at level 3, don't lower it. */
3060 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
3061 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
3065 int argval
= integral_argument (arg
);
3067 error_at (loc
, "unrecognized debug output level %qs", arg
);
3068 else if (argval
> 3)
3069 error_at (loc
, "debug output level %qs is too high", arg
);
3071 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
3075 /* Arrange to dump core on error for diagnostic context DC. (The
3076 regular error message is still printed first, except in the case of
3080 setup_core_dumping (diagnostic_context
*dc
)
3083 signal (SIGABRT
, SIG_DFL
);
3085 #if defined(HAVE_SETRLIMIT)
3088 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
3089 fatal_error (input_location
, "getting core file size maximum limit: %m");
3090 rlim
.rlim_cur
= rlim
.rlim_max
;
3091 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
3092 fatal_error (input_location
,
3093 "setting core file size limit to maximum: %m");
3096 diagnostic_abort_on_error (dc
);
3099 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
3100 diagnostic context DC. */
3103 decode_d_option (const char *arg
, struct gcc_options
*opts
,
3104 location_t loc
, diagnostic_context
*dc
)
3112 opts
->x_flag_debug_asm
= 1;
3115 opts
->x_flag_print_asm_name
= 1;
3118 opts
->x_flag_dump_rtl_in_asm
= 1;
3119 opts
->x_flag_print_asm_name
= 1;
3122 opts
->x_rtl_dump_and_exit
= 1;
3124 case 'D': /* These are handled by the preprocessor. */
3131 setup_core_dumping (dc
);
3134 opts
->x_flag_dump_all_passed
= true;
3138 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
3143 /* Enable (or disable if VALUE is 0) a warning option ARG (language
3144 mask LANG_MASK, option handlers HANDLERS) as an error for option
3145 structures OPTS and OPTS_SET, diagnostic context DC (possibly
3146 NULL), location LOC. This is used by -Werror=. */
3149 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
3150 const struct cl_option_handlers
*handlers
,
3151 struct gcc_options
*opts
,
3152 struct gcc_options
*opts_set
,
3153 location_t loc
, diagnostic_context
*dc
)
3158 new_option
= XNEWVEC (char, strlen (arg
) + 2);
3159 new_option
[0] = 'W';
3160 strcpy (new_option
+ 1, arg
);
3161 option_index
= find_opt (new_option
, lang_mask
);
3162 if (option_index
== OPT_SPECIAL_unknown
)
3165 const char *hint
= op
.suggest_option (new_option
);
3167 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>;"
3168 " did you mean %<-%s%>?", value
? "" : "no-",
3169 arg
, new_option
, hint
);
3171 error_at (loc
, "%<-W%serror=%s%>: no option %<-%s%>",
3172 value
? "" : "no-", arg
, new_option
);
3174 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
3175 error_at (loc
, "%<-Werror=%s%>: %<-%s%> is not an option that "
3176 "controls warnings", arg
, new_option
);
3179 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
3180 const char *arg
= NULL
;
3182 if (cl_options
[option_index
].flags
& CL_JOINED
)
3183 arg
= new_option
+ cl_options
[option_index
].opt_len
;
3184 control_warning_option (option_index
, (int) kind
, arg
, value
,
3186 handlers
, opts
, opts_set
, dc
);
3191 /* Return malloced memory for the name of the option OPTION_INDEX
3192 which enabled a diagnostic (context CONTEXT), originally of type
3193 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
3197 option_name (diagnostic_context
*context
, int option_index
,
3198 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
3202 /* A warning classified as an error. */
3203 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
3204 && diag_kind
== DK_ERROR
)
3205 return concat (cl_options
[OPT_Werror_
].opt_text
,
3206 /* Skip over "-W". */
3207 cl_options
[option_index
].opt_text
+ 2,
3209 /* A warning with option. */
3211 return xstrdup (cl_options
[option_index
].opt_text
);
3213 /* A warning without option classified as an error. */
3214 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
3215 || diag_kind
== DK_WARNING
)
3216 && context
->warning_as_error_requested
)
3217 return xstrdup (cl_options
[OPT_Werror
].opt_text
);