1 /* Command line option handling.
2 Copyright (C) 2002-2017 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"
35 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
37 /* Indexed by enum debug_info_type. */
38 const char *const debug_type_names
[] =
40 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
43 /* Parse the -femit-struct-debug-detailed option value
44 and set the flag variables. */
46 #define MATCH( prefix, string ) \
47 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
48 ? ((string += sizeof prefix - 1), 1) : 0)
51 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
54 /* various labels for comparison */
55 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
56 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
57 static const char none_lbl
[] = "none", any_lbl
[] = "any";
58 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
60 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
61 /* Default is to apply to as much as possible. */
62 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
66 if (MATCH (dfn_lbl
, spec
))
67 usage
= DINFO_USAGE_DFN
;
68 else if (MATCH (dir_lbl
, spec
))
69 usage
= DINFO_USAGE_DIR_USE
;
70 else if (MATCH (ind_lbl
, spec
))
71 usage
= DINFO_USAGE_IND_USE
;
73 /* Generics or not? */
74 if (MATCH (ord_lbl
, spec
))
76 else if (MATCH (gen_lbl
, spec
))
79 /* What allowable environment? */
80 if (MATCH (none_lbl
, spec
))
81 files
= DINFO_STRUCT_FILE_NONE
;
82 else if (MATCH (any_lbl
, spec
))
83 files
= DINFO_STRUCT_FILE_ANY
;
84 else if (MATCH (sys_lbl
, spec
))
85 files
= DINFO_STRUCT_FILE_SYS
;
86 else if (MATCH (base_lbl
, spec
))
87 files
= DINFO_STRUCT_FILE_BASE
;
90 "argument %qs to %<-femit-struct-debug-detailed%> "
94 /* Effect the specification. */
95 if (usage
== DINFO_USAGE_NUM_ENUMS
)
99 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
100 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
101 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
105 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
106 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
107 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
113 opts
->x_debug_struct_ordinary
[usage
] = files
;
115 opts
->x_debug_struct_generic
[usage
] = files
;
119 set_struct_debug_option (opts
, loc
, spec
+1);
122 /* No more -femit-struct-debug-detailed specifications.
126 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
128 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
129 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
130 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
131 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
133 "%<-femit-struct-debug-detailed=dir:...%> must allow "
134 "at least as much as "
135 "%<-femit-struct-debug-detailed=ind:...%>");
139 /* Strip off a legitimate source ending from the input string NAME of
140 length LEN. Rather than having to know the names used by all of
141 our front ends, we strip off an ending of a period followed by
142 up to fource characters. (C++ uses ".cpp".) */
145 strip_off_ending (char *name
, int len
)
148 for (i
= 2; i
< 5 && len
> i
; i
++)
150 if (name
[len
- i
] == '.')
152 name
[len
- i
] = '\0';
158 /* Find the base name of a path, stripping off both directories and
159 a single final extension. */
161 base_of_path (const char *path
, const char **base_out
)
163 const char *base
= path
;
165 const char *p
= path
;
169 if (IS_DIR_SEPARATOR (c
))
184 /* What to print when a switch has no documentation. */
185 static const char undocumented_msg
[] = N_("This option lacks documentation.");
186 static const char use_diagnosed_msg
[] = N_("Uses of this option are diagnosed.");
188 typedef char *char_p
; /* For DEF_VEC_P. */
190 static void handle_param (struct gcc_options
*opts
,
191 struct gcc_options
*opts_set
, location_t loc
,
193 static void set_debug_level (enum debug_info_type type
, int extended
,
194 const char *arg
, struct gcc_options
*opts
,
195 struct gcc_options
*opts_set
,
197 static void set_fast_math_flags (struct gcc_options
*opts
, int set
);
198 static void decode_d_option (const char *arg
, struct gcc_options
*opts
,
199 location_t loc
, diagnostic_context
*dc
);
200 static void set_unsafe_math_optimizations_flags (struct gcc_options
*opts
,
202 static void enable_warning_as_error (const char *arg
, int value
,
203 unsigned int lang_mask
,
204 const struct cl_option_handlers
*handlers
,
205 struct gcc_options
*opts
,
206 struct gcc_options
*opts_set
,
208 diagnostic_context
*dc
);
210 /* Handle a back-end option; arguments and return value as for
214 target_handle_option (struct gcc_options
*opts
,
215 struct gcc_options
*opts_set
,
216 const struct cl_decoded_option
*decoded
,
217 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
219 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
220 diagnostic_context
*dc
)
222 gcc_assert (dc
== global_dc
);
223 gcc_assert (kind
== DK_UNSPECIFIED
);
224 return targetm_common
.handle_option (opts
, opts_set
, decoded
, loc
);
227 /* Add comma-separated strings to a char_p vector. */
230 add_comma_separated_to_vector (void **pvec
, const char *arg
)
236 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
238 vec_check_alloc (v
, 1);
240 /* We never free this string. */
253 v
->safe_push (token_start
);
256 if (*r
== '\\' && r
[1] == ',')
264 if (*token_start
!= '\0')
265 v
->safe_push (token_start
);
270 /* Initialize opts_obstack. */
273 init_opts_obstack (void)
275 gcc_obstack_init (&opts_obstack
);
278 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
281 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
283 size_t num_params
= get_num_compiler_params ();
285 /* Ensure that opts_obstack has already been initialized by the time
286 that we initialize any gcc_options instances (PR jit/68446). */
287 gcc_assert (opts_obstack
.chunk_size
> 0);
289 *opts
= global_options_init
;
292 memset (opts_set
, 0, sizeof (*opts_set
));
294 opts
->x_param_values
= XNEWVEC (int, num_params
);
297 opts_set
->x_param_values
= XCNEWVEC (int, num_params
);
299 init_param_values (opts
->x_param_values
);
301 /* Initialize whether `char' is signed. */
302 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
303 /* Set this to a special "uninitialized" value. The actual default
304 is set after target options have been processed. */
305 opts
->x_flag_short_enums
= 2;
307 /* Initialize target_flags before default_options_optimization
308 so the latter can modify it. */
309 opts
->x_target_flags
= targetm_common
.default_target_flags
;
311 /* Some targets have ABI-specified unwind tables. */
312 opts
->x_flag_unwind_tables
= targetm_common
.unwind_tables_default
;
314 /* Some targets have other target-specific initialization. */
315 targetm_common
.option_init_struct (opts
);
318 /* Release any allocations owned by OPTS. */
321 finalize_options_struct (struct gcc_options
*opts
)
323 XDELETEVEC (opts
->x_param_values
);
326 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
327 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
328 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
329 mask LANG_MASK and option handlers HANDLERS. */
332 maybe_default_option (struct gcc_options
*opts
,
333 struct gcc_options
*opts_set
,
334 const struct default_options
*default_opt
,
335 int level
, bool size
, bool fast
, bool debug
,
336 unsigned int lang_mask
,
337 const struct cl_option_handlers
*handlers
,
339 diagnostic_context
*dc
)
341 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
345 gcc_assert (level
== 2);
347 gcc_assert (level
== 3);
349 gcc_assert (level
== 1);
351 switch (default_opt
->levels
)
357 case OPT_LEVELS_0_ONLY
:
358 enabled
= (level
== 0);
361 case OPT_LEVELS_1_PLUS
:
362 enabled
= (level
>= 1);
365 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
366 enabled
= (level
>= 1 && !size
&& !debug
);
369 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
370 enabled
= (level
>= 1 && !debug
);
373 case OPT_LEVELS_2_PLUS
:
374 enabled
= (level
>= 2);
377 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
378 enabled
= (level
>= 2 && !size
&& !debug
);
381 case OPT_LEVELS_3_PLUS
:
382 enabled
= (level
>= 3);
385 case OPT_LEVELS_3_PLUS_AND_SIZE
:
386 enabled
= (level
>= 3 || size
);
389 case OPT_LEVELS_SIZE
:
393 case OPT_LEVELS_FAST
:
397 case OPT_LEVELS_NONE
:
403 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
404 default_opt
->arg
, default_opt
->value
,
405 lang_mask
, DK_UNSPECIFIED
, loc
,
407 else if (default_opt
->arg
== NULL
408 && !option
->cl_reject_negative
)
409 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
410 default_opt
->arg
, !default_opt
->value
,
411 lang_mask
, DK_UNSPECIFIED
, loc
,
415 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
416 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
417 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
418 language mask LANG_MASK and option handlers HANDLERS. */
421 maybe_default_options (struct gcc_options
*opts
,
422 struct gcc_options
*opts_set
,
423 const struct default_options
*default_opts
,
424 int level
, bool size
, bool fast
, bool debug
,
425 unsigned int lang_mask
,
426 const struct cl_option_handlers
*handlers
,
428 diagnostic_context
*dc
)
432 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
433 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
434 level
, size
, fast
, debug
,
435 lang_mask
, handlers
, loc
, dc
);
438 /* Table of options enabled by default at different levels. */
440 static const struct default_options default_options_table
[] =
442 /* -O1 optimizations. */
443 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
445 { OPT_LEVELS_1_PLUS
, OPT_fdelayed_branch
, NULL
, 1 },
447 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
448 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
449 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
450 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
451 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion2
, NULL
, 1 },
452 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
453 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
454 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
455 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
456 { OPT_LEVELS_1_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
457 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
458 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
459 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
460 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_bit_ccp
, NULL
, 1 },
461 { OPT_LEVELS_1_PLUS
, OPT_ftree_coalesce_vars
, NULL
, 1 },
462 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
463 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
464 { OPT_LEVELS_1_PLUS
, OPT_ftree_dse
, NULL
, 1 },
465 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
466 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
467 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
468 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
469 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
470 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
471 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
472 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
473 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
474 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
475 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
476 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
477 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
478 { OPT_LEVELS_1_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
480 /* -O2 optimizations. */
481 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
493 #ifdef INSN_SCHEDULING
494 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
495 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
498 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_freorder_blocks_algorithm_
, NULL
,
500 REORDER_BLOCKS_ALGORITHM_STC
},
501 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
502 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
503 { OPT_LEVELS_2_PLUS
, OPT_fcode_hoisting
, NULL
, 1 },
504 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
505 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
506 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
507 { OPT_LEVELS_2_PLUS
, OPT_fipa_bit_cp
, NULL
, 1 },
508 { OPT_LEVELS_2_PLUS
, OPT_fipa_vrp
, NULL
, 1 },
509 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
510 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
511 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
512 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
513 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
514 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
515 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
516 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
517 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
518 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
519 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
520 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
521 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
522 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
523 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
524 { OPT_LEVELS_2_PLUS
, OPT_fstore_merging
, NULL
, 1 },
526 /* -O3 optimizations. */
527 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
528 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
529 { OPT_LEVELS_3_PLUS
, OPT_fsplit_paths
, NULL
, 1 },
530 /* Inlining of functions reducing size is a good idea with -Os
531 regardless of them being declared inline. */
532 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
533 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
534 { OPT_LEVELS_3_PLUS
, OPT_fsplit_loops
, NULL
, 1 },
535 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
536 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
537 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
538 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
539 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
540 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
541 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
542 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
544 /* -Ofast adds optimizations to -O3. */
545 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
547 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
550 /* Default the options in OPTS and OPTS_SET based on the optimization
551 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
553 default_options_optimization (struct gcc_options
*opts
,
554 struct gcc_options
*opts_set
,
555 struct cl_decoded_option
*decoded_options
,
556 unsigned int decoded_options_count
,
558 unsigned int lang_mask
,
559 const struct cl_option_handlers
*handlers
,
560 diagnostic_context
*dc
)
564 bool openacc_mode
= false;
566 /* Scan to see what optimization level has been specified. That will
567 determine the default value of many flags. */
568 for (i
= 1; i
< decoded_options_count
; i
++)
570 struct cl_decoded_option
*opt
= &decoded_options
[i
];
571 switch (opt
->opt_index
)
574 if (*opt
->arg
== '\0')
576 opts
->x_optimize
= 1;
577 opts
->x_optimize_size
= 0;
578 opts
->x_optimize_fast
= 0;
579 opts
->x_optimize_debug
= 0;
583 const int optimize_val
= integral_argument (opt
->arg
);
584 if (optimize_val
== -1)
585 error_at (loc
, "argument to %<-O%> should be a non-negative "
586 "integer, %<g%>, %<s%> or %<fast%>");
589 opts
->x_optimize
= optimize_val
;
590 if ((unsigned int) opts
->x_optimize
> 255)
591 opts
->x_optimize
= 255;
592 opts
->x_optimize_size
= 0;
593 opts
->x_optimize_fast
= 0;
594 opts
->x_optimize_debug
= 0;
600 opts
->x_optimize_size
= 1;
602 /* Optimizing for size forces optimize to be 2. */
603 opts
->x_optimize
= 2;
604 opts
->x_optimize_fast
= 0;
605 opts
->x_optimize_debug
= 0;
609 /* -Ofast only adds flags to -O3. */
610 opts
->x_optimize_size
= 0;
611 opts
->x_optimize
= 3;
612 opts
->x_optimize_fast
= 1;
613 opts
->x_optimize_debug
= 0;
617 /* -Og selects optimization level 1. */
618 opts
->x_optimize_size
= 0;
619 opts
->x_optimize
= 1;
620 opts
->x_optimize_fast
= 0;
621 opts
->x_optimize_debug
= 1;
630 /* Ignore other options in this prescan. */
635 maybe_default_options (opts
, opts_set
, default_options_table
,
636 opts
->x_optimize
, opts
->x_optimize_size
,
637 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
638 lang_mask
, handlers
, loc
, dc
);
640 /* -O2 param settings. */
641 opt2
= (opts
->x_optimize
>= 2);
644 && !opts_set
->x_flag_ipa_pta
)
645 opts
->x_flag_ipa_pta
= true;
647 /* Track fields in field-sensitive alias analysis. */
648 maybe_set_param_value
649 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
650 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
651 opts
->x_param_values
, opts_set
->x_param_values
);
653 /* For -O1 only do loop invariant motion for very small loops. */
654 maybe_set_param_value
655 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
656 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
657 opts
->x_param_values
, opts_set
->x_param_values
);
659 /* At -Ofast, allow store motion to introduce potential race conditions. */
660 maybe_set_param_value
661 (PARAM_ALLOW_STORE_DATA_RACES
,
662 opts
->x_optimize_fast
? 1
663 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES
),
664 opts
->x_param_values
, opts_set
->x_param_values
);
666 if (opts
->x_optimize_size
)
667 /* We want to crossjump as much as possible. */
668 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
669 opts
->x_param_values
, opts_set
->x_param_values
);
671 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
672 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
673 opts
->x_param_values
, opts_set
->x_param_values
);
675 /* Restrict the amount of work combine does at -Og while retaining
676 most of its useful transforms. */
677 if (opts
->x_optimize_debug
)
678 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS
, 2,
679 opts
->x_param_values
, opts_set
->x_param_values
);
681 /* Allow default optimizations to be specified on a per-machine basis. */
682 maybe_default_options (opts
, opts_set
,
683 targetm_common
.option_optimization_table
,
684 opts
->x_optimize
, opts
->x_optimize_size
,
685 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
686 lang_mask
, handlers
, loc
, dc
);
689 /* After all options at LOC have been read into OPTS and OPTS_SET,
690 finalize settings of those options and diagnose incompatible
693 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
696 enum unwind_info_type ui_except
;
698 if (opts
->x_dump_base_name
699 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
700 && ! opts
->x_dump_base_name_prefixed
)
702 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
703 OPTS->X_DUMP_DIR_NAME directory. Then try to make
704 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
705 directory, typically the directory to contain the object
707 if (opts
->x_dump_dir_name
)
708 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
709 opts
->x_dump_base_name
, NULL
);
710 else if (opts
->x_aux_base_name
711 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
713 const char *aux_base
;
715 base_of_path (opts
->x_aux_base_name
, &aux_base
);
716 if (opts
->x_aux_base_name
!= aux_base
)
718 int dir_len
= aux_base
- opts
->x_aux_base_name
;
719 char *new_dump_base_name
720 = XOBNEWVEC (&opts_obstack
, char,
721 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
723 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
724 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
725 /* Append existing OPTS->X_DUMP_BASE_NAME. */
726 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
727 opts
->x_dump_base_name
= new_dump_base_name
;
730 opts
->x_dump_base_name_prefixed
= true;
733 /* Handle related options for unit-at-a-time, toplevel-reorder, and
735 if (!opts
->x_flag_unit_at_a_time
)
737 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
738 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
740 opts
->x_flag_section_anchors
= 0;
741 if (opts
->x_flag_toplevel_reorder
== 1)
742 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
744 opts
->x_flag_toplevel_reorder
= 0;
747 /* -fself-test depends on the state of the compiler prior to
748 compiling anything. Ideally it should be run on an empty source
749 file. However, in case we get run with actual source, assume
750 -fsyntax-only which will inhibit any compiler initialization
751 which may confuse the self tests. */
752 if (opts
->x_flag_self_test
)
753 opts
->x_flag_syntax_only
= 1;
755 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
756 sorry ("transactional memory is not supported with non-call exceptions");
758 /* Unless the user has asked for section anchors, we disable toplevel
759 reordering at -O0 to disable transformations that might be surprising
760 to end users and to get -fno-toplevel-reorder tested. */
761 if (!opts
->x_optimize
762 && opts
->x_flag_toplevel_reorder
== 2
763 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
765 opts
->x_flag_toplevel_reorder
= 0;
766 opts
->x_flag_section_anchors
= 0;
768 if (!opts
->x_flag_toplevel_reorder
)
770 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
771 error_at (loc
, "section anchors must be disabled when toplevel reorder"
773 opts
->x_flag_section_anchors
= 0;
776 if (!opts
->x_flag_opts_finished
)
778 /* We initialize opts->x_flag_pie to -1 so that targets can set a
780 if (opts
->x_flag_pie
== -1)
782 /* We initialize opts->x_flag_pic to -1 so that we can tell if
783 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
784 if (opts
->x_flag_pic
== -1)
785 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
787 opts
->x_flag_pie
= 0;
789 /* If -fPIE or -fpie is used, turn on PIC. */
790 if (opts
->x_flag_pie
)
791 opts
->x_flag_pic
= opts
->x_flag_pie
;
792 else if (opts
->x_flag_pic
== -1)
793 opts
->x_flag_pic
= 0;
794 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
795 opts
->x_flag_shlib
= 1;
796 opts
->x_flag_opts_finished
= true;
799 /* We initialize opts->x_flag_stack_protect to -1 so that targets
800 can set a default value. */
801 if (opts
->x_flag_stack_protect
== -1)
802 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
804 if (opts
->x_optimize
== 0)
806 /* Inlining does not work if not optimizing,
807 so force it not to be done. */
808 opts
->x_warn_inline
= 0;
809 opts
->x_flag_no_inline
= 1;
812 /* The optimization to partition hot and cold basic blocks into separate
813 sections of the .o and executable files does not work (currently)
814 with exception handling. This is because there is no support for
815 generating unwind info. If opts->x_flag_exceptions is turned on
816 we need to turn off the partitioning optimization. */
818 ui_except
= targetm_common
.except_unwind_info (opts
);
820 if (opts
->x_flag_exceptions
821 && opts
->x_flag_reorder_blocks_and_partition
822 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
824 if (opts_set
->x_flag_reorder_blocks_and_partition
)
826 "%<-freorder-blocks-and-partition%> does not work "
827 "with exceptions on this architecture");
828 opts
->x_flag_reorder_blocks_and_partition
= 0;
829 opts
->x_flag_reorder_blocks
= 1;
832 /* If user requested unwind info, then turn off the partitioning
835 if (opts
->x_flag_unwind_tables
836 && !targetm_common
.unwind_tables_default
837 && opts
->x_flag_reorder_blocks_and_partition
838 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
840 if (opts_set
->x_flag_reorder_blocks_and_partition
)
842 "%<-freorder-blocks-and-partition%> does not support "
843 "unwind info on this architecture");
844 opts
->x_flag_reorder_blocks_and_partition
= 0;
845 opts
->x_flag_reorder_blocks
= 1;
848 /* If the target requested unwind info, then turn off the partitioning
849 optimization with a different message. Likewise, if the target does not
850 support named sections. */
852 if (opts
->x_flag_reorder_blocks_and_partition
853 && (!targetm_common
.have_named_sections
854 || (opts
->x_flag_unwind_tables
855 && targetm_common
.unwind_tables_default
856 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
858 if (opts_set
->x_flag_reorder_blocks_and_partition
)
860 "%<-freorder-blocks-and-partition%> does not work "
861 "on this architecture");
862 opts
->x_flag_reorder_blocks_and_partition
= 0;
863 opts
->x_flag_reorder_blocks
= 1;
867 /* Pipelining of outer loops is only possible when general pipelining
868 capabilities are requested. */
869 if (!opts
->x_flag_sel_sched_pipelining
)
870 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
872 if (opts
->x_flag_conserve_stack
)
874 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
875 opts
->x_param_values
, opts_set
->x_param_values
);
876 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
877 opts
->x_param_values
, opts_set
->x_param_values
);
880 if (opts
->x_flag_lto
)
883 opts
->x_flag_generate_lto
= 1;
885 /* When generating IL, do not operate in whole-program mode.
886 Otherwise, symbols will be privatized too early, causing link
888 opts
->x_flag_whole_program
= 0;
890 error_at (loc
, "LTO support has not been enabled in this configuration");
892 if (!opts
->x_flag_fat_lto_objects
894 || (opts_set
->x_flag_use_linker_plugin
895 && !opts
->x_flag_use_linker_plugin
)))
897 if (opts_set
->x_flag_fat_lto_objects
)
898 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
900 opts
->x_flag_fat_lto_objects
= 1;
904 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
905 default value if they choose based on other options. */
906 if (opts
->x_flag_split_stack
== -1)
907 opts
->x_flag_split_stack
= 0;
908 else if (opts
->x_flag_split_stack
)
910 if (!targetm_common
.supports_split_stack (true, opts
))
912 error_at (loc
, "%<-fsplit-stack%> is not supported by "
913 "this compiler configuration");
914 opts
->x_flag_split_stack
= 0;
918 /* If stack splitting is turned on, and the user did not explicitly
919 request function partitioning, turn off partitioning, as it
920 confuses the linker when trying to handle partitioned split-stack
921 code that calls a non-split-stack functions. But if partitioning
922 was turned on explicitly just hope for the best. */
923 if (opts
->x_flag_split_stack
924 && opts
->x_flag_reorder_blocks_and_partition
925 && !opts_set
->x_flag_reorder_blocks_and_partition
)
926 opts
->x_flag_reorder_blocks_and_partition
= 0;
928 if (opts
->x_flag_reorder_blocks_and_partition
929 && !opts_set
->x_flag_reorder_functions
)
930 opts
->x_flag_reorder_functions
= 1;
932 /* Tune vectorization related parametees according to cost model. */
933 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
935 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
936 6, opts
->x_param_values
, opts_set
->x_param_values
);
937 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
938 0, opts
->x_param_values
, opts_set
->x_param_values
);
939 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
940 0, opts
->x_param_values
, opts_set
->x_param_values
);
943 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
945 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
946 || !opts
->x_flag_tree_loop_if_convert
)
947 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
948 opts
->x_param_values
, opts_set
->x_param_values
);
950 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
951 if (opts
->x_dwarf_split_debug_info
)
952 opts
->x_debug_generate_pub_sections
= 2;
954 /* Userspace and kernel ASan conflict with each other. */
955 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
956 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
958 "%<-fsanitize=address%> is incompatible with "
959 "%<-fsanitize=kernel-address%>");
962 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
963 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
965 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
966 "are incompatible with %<-fsanitize=thread%>");
968 if ((opts
->x_flag_sanitize
& SANITIZE_LEAK
)
969 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
971 "%<-fsanitize=leak%> is incompatible with %<-fsanitize=thread%>");
973 /* Check error recovery for -fsanitize-recover option. */
974 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
975 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
976 && !sanitizer_opts
[i
].can_recover
)
977 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
978 sanitizer_opts
[i
].name
);
980 /* When instrumenting the pointers, we don't want to remove
981 the null pointer checks. */
982 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
983 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
984 opts
->x_flag_delete_null_pointer_checks
= 0;
986 /* Aggressive compiler optimizations may cause false negatives. */
987 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
988 opts
->x_flag_aggressive_loop_optimizations
= 0;
990 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
992 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
993 && !opts_set
->x_flag_sanitize_address_use_after_scope
)
994 opts
->x_flag_sanitize_address_use_after_scope
= true;
996 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
998 if (opts
->x_flag_sanitize_address_use_after_scope
)
1000 if (opts
->x_flag_stack_reuse
!= SR_NONE
1001 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1003 "%<-fsanitize-address-use-after-scope%> requires "
1004 "%<-fstack-reuse=none%> option");
1006 opts
->x_flag_stack_reuse
= SR_NONE
;
1009 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1010 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1012 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1013 sorry ("transactional memory is not supported with "
1014 "%<-fsanitize=kernel-address%>");
1017 #define LEFT_COLUMN 27
1019 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1020 followed by word-wrapped HELP in a second column. */
1022 wrap_help (const char *help
,
1024 unsigned int item_width
,
1025 unsigned int columns
)
1027 unsigned int col_width
= LEFT_COLUMN
;
1028 unsigned int remaining
, room
, len
;
1030 remaining
= strlen (help
);
1034 room
= columns
- 3 - MAX (col_width
, item_width
);
1043 for (i
= 0; help
[i
]; i
++)
1045 if (i
>= room
&& len
!= remaining
)
1049 else if ((help
[i
] == '-' || help
[i
] == '/')
1050 && help
[i
+ 1] != ' '
1051 && i
> 0 && ISALPHA (help
[i
- 1]))
1056 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1058 while (help
[len
] == ' ')
1066 /* Print help for a specific front-end, etc. */
1068 print_filtered_help (unsigned int include_flags
,
1069 unsigned int exclude_flags
,
1070 unsigned int any_flags
,
1071 unsigned int columns
,
1072 struct gcc_options
*opts
,
1073 unsigned int lang_mask
)
1078 bool displayed
= false;
1081 if (include_flags
== CL_PARAMS
)
1083 for (i
= 0; i
< LAST_PARAM
; i
++)
1085 const char *param
= compiler_params
[i
].option
;
1087 help
= compiler_params
[i
].help
;
1088 if (help
== NULL
|| *help
== '\0')
1090 if (exclude_flags
& CL_UNDOCUMENTED
)
1092 help
= undocumented_msg
;
1095 /* Get the translation. */
1098 if (!opts
->x_quiet_flag
)
1100 snprintf (new_help
, sizeof (new_help
),
1101 _("default %d minimum %d maximum %d"),
1102 compiler_params
[i
].default_value
,
1103 compiler_params
[i
].min_value
,
1104 compiler_params
[i
].max_value
);
1107 wrap_help (help
, param
, strlen (param
), columns
);
1113 if (!opts
->x_help_printed
)
1114 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1116 if (!opts
->x_help_enum_printed
)
1117 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1119 for (i
= 0; i
< cl_options_count
; i
++)
1121 const struct cl_option
*option
= cl_options
+ i
;
1126 if (include_flags
== 0
1127 || ((option
->flags
& include_flags
) != include_flags
))
1129 if ((option
->flags
& any_flags
) == 0)
1133 /* Skip unwanted switches. */
1134 if ((option
->flags
& exclude_flags
) != 0)
1137 /* The driver currently prints its own help text. */
1138 if ((option
->flags
& CL_DRIVER
) != 0
1139 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1140 | CL_COMMON
| CL_TARGET
)) == 0)
1144 /* Skip switches that have already been printed. */
1145 if (opts
->x_help_printed
[i
])
1148 opts
->x_help_printed
[i
] = true;
1150 help
= option
->help
;
1153 if (exclude_flags
& CL_UNDOCUMENTED
)
1156 help
= undocumented_msg
;
1159 if (option
->alias_target
< N_OPTS
1160 && cl_options
[option
->alias_target
].help
)
1162 if (help
== undocumented_msg
)
1164 /* For undocumented options that are aliases for other options
1165 that are documented, point the reader to the other option in
1166 preference of the former. */
1167 snprintf (new_help
, sizeof new_help
,
1168 _("Same as %s. Use the latter option instead."),
1169 cl_options
[option
->alias_target
].opt_text
);
1173 /* For documented options with aliases, mention the aliased
1174 option's name for reference. */
1175 snprintf (new_help
, sizeof new_help
,
1176 _("%s Same as %s."),
1177 help
, cl_options
[option
->alias_target
].opt_text
);
1183 if (option
->warn_message
)
1185 /* Mention that the use of the option will trigger a warning. */
1186 if (help
== new_help
)
1187 snprintf (new_help
+ strlen (new_help
),
1188 sizeof new_help
- strlen (new_help
),
1189 " %s", _(use_diagnosed_msg
));
1191 snprintf (new_help
, sizeof new_help
,
1192 "%s %s", help
, _(use_diagnosed_msg
));
1197 /* Get the translation. */
1200 /* Find the gap between the name of the
1201 option and its descriptive text. */
1202 tab
= strchr (help
, '\t');
1211 opt
= option
->opt_text
;
1215 /* With the -Q option enabled we change the descriptive text associated
1216 with an option to be an indication of its current setting. */
1217 if (!opts
->x_quiet_flag
)
1219 void *flag_var
= option_flag_var (i
, opts
);
1221 if (len
< (LEFT_COLUMN
+ 2))
1222 strcpy (new_help
, "\t\t");
1224 strcpy (new_help
, "\t");
1226 if (flag_var
!= NULL
1227 && option
->var_type
!= CLVC_DEFER
)
1229 if (option
->flags
& CL_JOINED
)
1231 if (option
->var_type
== CLVC_STRING
)
1233 if (* (const char **) flag_var
!= NULL
)
1234 snprintf (new_help
+ strlen (new_help
),
1235 sizeof (new_help
) - strlen (new_help
),
1236 "%s", * (const char **) flag_var
);
1238 else if (option
->var_type
== CLVC_ENUM
)
1240 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1242 const char *arg
= NULL
;
1244 value
= e
->get (flag_var
);
1245 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1247 arg
= _("[default]");
1248 snprintf (new_help
+ strlen (new_help
),
1249 sizeof (new_help
) - strlen (new_help
),
1253 sprintf (new_help
+ strlen (new_help
),
1254 "%d", * (int *) flag_var
);
1257 strcat (new_help
, option_enabled (i
, opts
)
1258 ? _("[enabled]") : _("[disabled]"));
1264 if (option
->range_max
!= -1)
1267 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1269 opt
= concat (opt
, b
, NULL
);
1273 wrap_help (help
, opt
, len
, columns
);
1276 if (option
->var_type
== CLVC_ENUM
1277 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1278 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1283 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1286 printf (_(" No options with the desired characteristics were found\n"));
1291 /* PR 31349: Tell the user how to see all of the
1292 options supported by a specific front end. */
1293 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1294 if ((1U << i
) & langs
)
1295 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1296 lang_names
[i
], lang_names
[i
]);
1300 else if (! displayed
)
1301 printf (_(" All options with the desired characteristics have already been displayed\n"));
1305 /* Print details of enumerated option arguments, if those
1306 enumerations have help text headings provided. If no help text
1307 is provided, presume that the possible values are listed in the
1308 help text for the relevant options. */
1309 for (i
= 0; i
< cl_enums_count
; i
++)
1311 unsigned int j
, pos
;
1313 if (opts
->x_help_enum_printed
[i
] != 1)
1315 if (cl_enums
[i
].help
== NULL
)
1317 printf (" %s\n ", _(cl_enums
[i
].help
));
1319 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1321 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1323 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1325 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1335 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1340 opts
->x_help_enum_printed
[i
] = 2;
1344 /* Display help for a specified type of option.
1345 The options must have ALL of the INCLUDE_FLAGS set
1346 ANY of the flags in the ANY_FLAGS set
1347 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1348 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1350 print_specific_help (unsigned int include_flags
,
1351 unsigned int exclude_flags
,
1352 unsigned int any_flags
,
1353 struct gcc_options
*opts
,
1354 unsigned int lang_mask
)
1356 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1357 const char * description
= NULL
;
1358 const char * descrip_extra
= "";
1362 /* Sanity check: Make sure that we do not have more
1363 languages than we have bits available to enumerate them. */
1364 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1366 /* If we have not done so already, obtain
1367 the desired maximum width of the output. */
1368 if (opts
->x_help_columns
== 0)
1370 opts
->x_help_columns
= get_terminal_width ();
1371 if (opts
->x_help_columns
== INT_MAX
)
1372 /* Use a reasonable default. */
1373 opts
->x_help_columns
= 80;
1376 /* Decide upon the title for the options that we are going to display. */
1377 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1379 switch (flag
& include_flags
)
1386 description
= _("The following options are target specific");
1389 description
= _("The following options control compiler warning messages");
1391 case CL_OPTIMIZATION
:
1392 description
= _("The following options control optimizations");
1395 description
= _("The following options are language-independent");
1398 description
= _("The --param option recognizes the following as parameters");
1401 if (i
>= cl_lang_count
)
1403 if (exclude_flags
& all_langs_mask
)
1404 description
= _("The following options are specific to just the language ");
1406 description
= _("The following options are supported by the language ");
1407 descrip_extra
= lang_names
[i
];
1412 if (description
== NULL
)
1416 if (include_flags
& CL_UNDOCUMENTED
)
1417 description
= _("The following options are not documented");
1418 else if (include_flags
& CL_SEPARATE
)
1419 description
= _("The following options take separate arguments");
1420 else if (include_flags
& CL_JOINED
)
1421 description
= _("The following options take joined arguments");
1424 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1431 if (any_flags
& all_langs_mask
)
1432 description
= _("The following options are language-related");
1434 description
= _("The following options are language-independent");
1438 printf ("%s%s:\n", description
, descrip_extra
);
1439 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1440 opts
->x_help_columns
, opts
, lang_mask
);
1443 /* Enable FDO-related flags. */
1446 enable_fdo_optimizations (struct gcc_options
*opts
,
1447 struct gcc_options
*opts_set
,
1450 if (!opts_set
->x_flag_branch_probabilities
)
1451 opts
->x_flag_branch_probabilities
= value
;
1452 if (!opts_set
->x_flag_profile_values
)
1453 opts
->x_flag_profile_values
= value
;
1454 if (!opts_set
->x_flag_unroll_loops
)
1455 opts
->x_flag_unroll_loops
= value
;
1456 if (!opts_set
->x_flag_peel_loops
)
1457 opts
->x_flag_peel_loops
= value
;
1458 if (!opts_set
->x_flag_tracer
)
1459 opts
->x_flag_tracer
= value
;
1460 if (!opts_set
->x_flag_value_profile_transformations
)
1461 opts
->x_flag_value_profile_transformations
= value
;
1462 if (!opts_set
->x_flag_inline_functions
)
1463 opts
->x_flag_inline_functions
= value
;
1464 if (!opts_set
->x_flag_ipa_cp
)
1465 opts
->x_flag_ipa_cp
= value
;
1466 if (!opts_set
->x_flag_ipa_cp_clone
1467 && value
&& opts
->x_flag_ipa_cp
)
1468 opts
->x_flag_ipa_cp_clone
= value
;
1469 if (!opts_set
->x_flag_ipa_bit_cp
1470 && value
&& opts
->x_flag_ipa_cp
)
1471 opts
->x_flag_ipa_bit_cp
= value
;
1472 if (!opts_set
->x_flag_predictive_commoning
)
1473 opts
->x_flag_predictive_commoning
= value
;
1474 if (!opts_set
->x_flag_split_loops
)
1475 opts
->x_flag_split_loops
= value
;
1476 if (!opts_set
->x_flag_unswitch_loops
)
1477 opts
->x_flag_unswitch_loops
= value
;
1478 if (!opts_set
->x_flag_gcse_after_reload
)
1479 opts
->x_flag_gcse_after_reload
= value
;
1480 if (!opts_set
->x_flag_tree_loop_vectorize
)
1481 opts
->x_flag_tree_loop_vectorize
= value
;
1482 if (!opts_set
->x_flag_tree_slp_vectorize
)
1483 opts
->x_flag_tree_slp_vectorize
= value
;
1484 if (!opts_set
->x_flag_vect_cost_model
)
1485 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1486 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1487 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1490 /* -f{,no-}sanitize{,-recover}= suboptions. */
1491 const struct sanitizer_opts_s sanitizer_opts
[] =
1493 #define SANITIZER_OPT(name, flags, recover) \
1494 { #name, flags, sizeof #name - 1, recover }
1495 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1496 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1498 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1499 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1500 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1501 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1502 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1503 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1504 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1505 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1506 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1507 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1508 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1509 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1510 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1511 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1512 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1513 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1514 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1515 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1516 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1517 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1518 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1520 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1521 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1522 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1523 SANITIZER_OPT (all
, ~0U, true),
1524 #undef SANITIZER_OPT
1525 { NULL
, 0U, 0UL, false }
1528 /* A struct for describing a run of chars within a string. */
1530 struct string_fragment
1532 string_fragment (const char *start
, size_t len
)
1533 : m_start (start
), m_len (len
) {}
1535 const char *m_start
;
1539 /* Specialization of edit_distance_traits for string_fragment,
1540 for use by get_closest_sanitizer_option. */
1543 struct edit_distance_traits
<const string_fragment
&>
1545 static size_t get_length (const string_fragment
&fragment
)
1547 return fragment
.m_len
;
1550 static const char *get_string (const string_fragment
&fragment
)
1552 return fragment
.m_start
;
1556 /* Given ARG, an unrecognized sanitizer option, return the best
1557 matching sanitizer option, or NULL if there isn't one.
1558 CODE is OPT_fsanitize_ or OPT_fsanitize_recover_.
1559 VALUE is non-zero for the regular form of the option, zero
1560 for the "no-" form (e.g. "-fno-sanitize-recover="). */
1563 get_closest_sanitizer_option (const string_fragment
&arg
,
1564 enum opt_code code
, int value
)
1566 best_match
<const string_fragment
&, const char*> bm (arg
);
1567 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1569 /* -fsanitize=all is not valid, so don't offer it. */
1570 if (sanitizer_opts
[i
].flag
== ~0U
1571 && code
== OPT_fsanitize_
1575 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
1576 don't offer the non-recoverable options. */
1577 if (!sanitizer_opts
[i
].can_recover
1578 && code
== OPT_fsanitize_recover_
1582 bm
.consider (sanitizer_opts
[i
].name
);
1584 return bm
.get_best_meaningful_candidate ();
1587 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1588 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1589 don't issue diagnostics. */
1592 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
1593 unsigned int flags
, int value
, bool complain
)
1595 enum opt_code code
= (enum opt_code
) scode
;
1600 const char *comma
= strchr (p
, ',');
1612 /* Check to see if the string matches an option class name. */
1613 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1614 if (len
== sanitizer_opts
[i
].len
1615 && memcmp (p
, sanitizer_opts
[i
].name
, len
) == 0)
1617 /* Handle both -fsanitize and -fno-sanitize cases. */
1618 if (value
&& sanitizer_opts
[i
].flag
== ~0U)
1620 if (code
== OPT_fsanitize_
)
1623 error_at (loc
, "%<-fsanitize=all%> option is not valid");
1626 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
1627 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1631 /* Do not enable -fsanitize-recover=unreachable and
1632 -fsanitize-recover=return if -fsanitize-recover=undefined
1634 if (code
== OPT_fsanitize_recover_
1635 && sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
1636 flags
|= (SANITIZE_UNDEFINED
1637 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
1639 flags
|= sanitizer_opts
[i
].flag
;
1642 flags
&= ~sanitizer_opts
[i
].flag
;
1647 if (! found
&& complain
)
1650 = get_closest_sanitizer_option (string_fragment (p
, len
),
1655 "unrecognized argument to -f%ssanitize%s= option: %q.*s;"
1656 " did you mean %qs?",
1658 code
== OPT_fsanitize_
? "" : "-recover",
1659 (int) len
, p
, hint
);
1662 "unrecognized argument to -f%ssanitize%s= option: %q.*s",
1664 code
== OPT_fsanitize_
? "" : "-recover",
1675 /* Parse string values of no_sanitize attribute passed in VALUE.
1676 Values are separated with comma. Wrong argument is stored to
1677 WRONG_ARGUMENT variable. */
1680 parse_no_sanitize_attribute (char *value
, char **wrong_argument
)
1682 unsigned int flags
= 0;
1684 char *q
= strtok (value
, ",");
1688 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1689 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
1691 flags
|= sanitizer_opts
[i
].flag
;
1692 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
1693 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
1697 if (sanitizer_opts
[i
].name
== NULL
)
1698 *wrong_argument
= q
;
1700 q
= strtok (NULL
, ",");
1706 /* Handle target- and language-independent options. Return zero to
1707 generate an "unknown option" message. Only options that need
1708 extra handling need to be listed here; if you simply want
1709 DECODED->value assigned to a variable, it happens automatically. */
1712 common_handle_option (struct gcc_options
*opts
,
1713 struct gcc_options
*opts_set
,
1714 const struct cl_decoded_option
*decoded
,
1715 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1717 const struct cl_option_handlers
*handlers
,
1718 diagnostic_context
*dc
)
1720 size_t scode
= decoded
->opt_index
;
1721 const char *arg
= decoded
->arg
;
1722 int value
= decoded
->value
;
1723 enum opt_code code
= (enum opt_code
) scode
;
1725 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1730 handle_param (opts
, opts_set
, loc
, arg
);
1735 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1736 unsigned int undoc_mask
;
1739 if (lang_mask
== CL_DRIVER
)
1742 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1745 /* First display any single language specific options. */
1746 for (i
= 0; i
< cl_lang_count
; i
++)
1748 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1750 /* Next display any multi language specific options. */
1751 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1752 /* Then display any remaining, non-language options. */
1753 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1755 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1756 opts
->x_exit_after_options
= true;
1760 case OPT__target_help
:
1761 if (lang_mask
== CL_DRIVER
)
1764 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1765 opts
->x_exit_after_options
= true;
1770 const char *a
= arg
;
1771 unsigned int include_flags
= 0;
1772 /* Note - by default we include undocumented options when listing
1773 specific classes. If you only want to see documented options
1774 then add ",^undocumented" to the --help= option. E.g.:
1776 --help=target,^undocumented */
1777 unsigned int exclude_flags
= 0;
1779 if (lang_mask
== CL_DRIVER
)
1782 /* Walk along the argument string, parsing each word in turn.
1784 arg = [^]{word}[,{arg}]
1785 word = {optimizers|target|warnings|undocumented|
1786 params|common|<language>} */
1796 { "optimizers", CL_OPTIMIZATION
},
1797 { "target", CL_TARGET
},
1798 { "warnings", CL_WARNING
},
1799 { "undocumented", CL_UNDOCUMENTED
},
1800 { "params", CL_PARAMS
},
1801 { "joined", CL_JOINED
},
1802 { "separate", CL_SEPARATE
},
1803 { "common", CL_COMMON
},
1806 unsigned int *pflags
;
1808 unsigned int lang_flag
, specific_flag
;
1817 error_at (loc
, "missing argument to %qs", "--help=^");
1820 pflags
= &exclude_flags
;
1823 pflags
= &include_flags
;
1825 comma
= strchr (a
, ',');
1836 /* Check to see if the string matches an option class name. */
1837 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1838 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1840 specific_flag
= specifics
[i
].flag
;
1844 /* Check to see if the string matches a language name.
1845 Note - we rely upon the alpha-sorted nature of the entries in
1846 the lang_names array, specifically that shorter names appear
1847 before their longer variants. (i.e. C before C++). That way
1848 when we are attempting to match --help=c for example we will
1849 match with C first and not C++. */
1850 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1851 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1853 lang_flag
= 1U << i
;
1857 if (specific_flag
!= 0)
1860 *pflags
|= specific_flag
;
1863 /* The option's argument matches both the start of a
1864 language name and the start of an option class name.
1865 We have a special case for when the user has
1866 specified "--help=c", but otherwise we have to issue
1868 if (strncasecmp (a
, "c", len
) == 0)
1869 *pflags
|= lang_flag
;
1872 "--help argument %q.*s is ambiguous, "
1873 "please be more specific",
1877 else if (lang_flag
!= 0)
1878 *pflags
|= lang_flag
;
1881 "unrecognized argument to --help= option: %q.*s",
1890 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1892 opts
->x_exit_after_options
= true;
1897 if (lang_mask
== CL_DRIVER
)
1900 opts
->x_exit_after_options
= true;
1903 case OPT_fsanitize_
:
1904 opts
->x_flag_sanitize
1905 = parse_sanitizer_options (arg
, loc
, code
,
1906 opts
->x_flag_sanitize
, value
, true);
1908 /* Kernel ASan implies normal ASan but does not yet support
1910 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
1912 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD
,
1913 0, opts
->x_param_values
,
1914 opts_set
->x_param_values
);
1915 maybe_set_param_value (PARAM_ASAN_GLOBALS
, 0, opts
->x_param_values
,
1916 opts_set
->x_param_values
);
1917 maybe_set_param_value (PARAM_ASAN_STACK
, 0, opts
->x_param_values
,
1918 opts_set
->x_param_values
);
1919 maybe_set_param_value (PARAM_ASAN_PROTECT_ALLOCAS
, 0,
1920 opts
->x_param_values
,
1921 opts_set
->x_param_values
);
1922 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN
, 0,
1923 opts
->x_param_values
,
1924 opts_set
->x_param_values
);
1928 case OPT_fsanitize_recover_
:
1929 opts
->x_flag_sanitize_recover
1930 = parse_sanitizer_options (arg
, loc
, code
,
1931 opts
->x_flag_sanitize_recover
, value
, true);
1934 case OPT_fasan_shadow_offset_
:
1938 case OPT_fsanitize_address_use_after_scope
:
1939 opts
->x_flag_sanitize_address_use_after_scope
= value
;
1942 case OPT_fsanitize_recover
:
1944 opts
->x_flag_sanitize_recover
1945 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
1946 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1948 opts
->x_flag_sanitize_recover
1949 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
1956 /* Currently handled in a prescan. */
1960 dc
->warning_as_error_requested
= value
;
1964 if (lang_mask
== CL_DRIVER
)
1967 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
1968 opts
, opts_set
, loc
, dc
);
1971 case OPT_Wlarger_than_
:
1972 opts
->x_larger_than_size
= value
;
1973 opts
->x_warn_larger_than
= value
!= -1;
1976 case OPT_Wfatal_errors
:
1977 dc
->fatal_errors
= value
;
1980 case OPT_Wframe_larger_than_
:
1981 opts
->x_frame_larger_than_size
= value
;
1982 opts
->x_warn_frame_larger_than
= value
!= -1;
1985 case OPT_Wstack_usage_
:
1986 opts
->x_warn_stack_usage
= value
;
1987 opts
->x_flag_stack_usage_info
= value
!= -1;
1990 case OPT_Wstrict_aliasing
:
1991 set_Wstrict_aliasing (opts
, value
);
1994 case OPT_Wstrict_overflow
:
1995 opts
->x_warn_strict_overflow
= (value
1996 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2000 case OPT_Wsystem_headers
:
2001 dc
->dc_warn_system_headers
= value
;
2005 opts
->x_flag_gen_aux_info
= 1;
2008 case OPT_auxbase_strip
:
2010 char *tmp
= xstrdup (arg
);
2011 strip_off_ending (tmp
, strlen (tmp
));
2013 opts
->x_aux_base_name
= tmp
;
2020 decode_d_option (arg
, opts
, loc
, dc
);
2023 case OPT_fcall_used_
:
2024 case OPT_fcall_saved_
:
2032 case OPT_fdbg_cnt_list
:
2034 opts
->x_exit_after_options
= true;
2037 case OPT_fdebug_prefix_map_
:
2041 case OPT_fdiagnostics_show_location_
:
2042 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2045 case OPT_fdiagnostics_show_caret
:
2046 dc
->show_caret
= value
;
2049 case OPT_fdiagnostics_color_
:
2050 diagnostic_color_init (dc
, value
);
2053 case OPT_fdiagnostics_parseable_fixits
:
2054 dc
->parseable_fixits_p
= value
;
2057 case OPT_fdiagnostics_show_option
:
2058 dc
->show_option_requested
= value
;
2065 case OPT_ffast_math
:
2066 set_fast_math_flags (opts
, value
);
2069 case OPT_funsafe_math_optimizations
:
2070 set_unsafe_math_optimizations_flags (opts
, value
);
2077 case OPT_finline_limit_
:
2078 set_param_value ("max-inline-insns-single", value
/ 2,
2079 opts
->x_param_values
, opts_set
->x_param_values
);
2080 set_param_value ("max-inline-insns-auto", value
/ 2,
2081 opts
->x_param_values
, opts_set
->x_param_values
);
2084 case OPT_finstrument_functions_exclude_function_list_
:
2085 add_comma_separated_to_vector
2086 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2089 case OPT_finstrument_functions_exclude_file_list_
:
2090 add_comma_separated_to_vector
2091 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2094 case OPT_fmessage_length_
:
2095 pp_set_line_maximum_length (dc
->printer
, value
);
2096 diagnostic_set_caret_max_width (dc
, value
);
2100 case OPT_fopt_info_
:
2106 const char *p
= arg
;
2107 opts
->x_flag_disable_hsa
= true;
2110 const char *comma
= strchr (p
, ',');
2112 if ((strncmp (p
, "disable", 7) == 0)
2113 && (p
[7] == ',' || p
[7] == '\0'))
2115 opts
->x_flag_disable_hsa
= true;
2119 if ((strncmp (p
, "hsa", 3) == 0)
2120 && (p
[3] == ',' || p
[3] == '\0'))
2123 opts
->x_flag_disable_hsa
= false;
2125 sorry ("HSA has not been enabled during configuration");
2135 #ifndef ACCEL_COMPILER
2136 case OPT_foffload_abi_
:
2137 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2138 "offload compiler");
2142 case OPT_fpack_struct_
:
2143 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2145 "structure alignment must be a small power of two, not %d",
2148 opts
->x_initial_max_fld_align
= value
;
2152 case OPT_fplugin_arg_
:
2156 case OPT_fprofile_use_
:
2157 opts
->x_profile_data_prefix
= xstrdup (arg
);
2158 opts
->x_flag_profile_use
= true;
2160 /* No break here - do -fprofile-use processing. */
2162 case OPT_fprofile_use
:
2163 enable_fdo_optimizations (opts
, opts_set
, value
);
2164 if (!opts_set
->x_flag_profile_reorder_functions
)
2165 opts
->x_flag_profile_reorder_functions
= value
;
2166 /* Indirect call profiling should do all useful transformations
2167 speculative devirtualization does. */
2168 if (!opts_set
->x_flag_devirtualize_speculatively
2169 && opts
->x_flag_value_profile_transformations
)
2170 opts
->x_flag_devirtualize_speculatively
= false;
2173 case OPT_fauto_profile_
:
2174 opts
->x_auto_profile_file
= xstrdup (arg
);
2175 opts
->x_flag_auto_profile
= true;
2177 /* No break here - do -fauto-profile processing. */
2179 case OPT_fauto_profile
:
2180 enable_fdo_optimizations (opts
, opts_set
, value
);
2181 if (!opts_set
->x_flag_profile_correction
)
2182 opts
->x_flag_profile_correction
= value
;
2183 maybe_set_param_value (
2184 PARAM_EARLY_INLINER_MAX_ITERATIONS
, 10,
2185 opts
->x_param_values
, opts_set
->x_param_values
);
2188 case OPT_fprofile_generate_
:
2189 opts
->x_profile_data_prefix
= xstrdup (arg
);
2191 /* No break here - do -fprofile-generate processing. */
2193 case OPT_fprofile_generate
:
2194 if (!opts_set
->x_profile_arc_flag
)
2195 opts
->x_profile_arc_flag
= value
;
2196 if (!opts_set
->x_flag_profile_values
)
2197 opts
->x_flag_profile_values
= value
;
2198 if (!opts_set
->x_flag_inline_functions
)
2199 opts
->x_flag_inline_functions
= value
;
2200 if (!opts_set
->x_flag_ipa_bit_cp
)
2201 opts
->x_flag_ipa_bit_cp
= value
;
2202 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
2203 quadratic. Disable the pass until better memory representation
2205 if (!opts_set
->x_flag_ipa_reference
)
2206 opts
->x_flag_ipa_reference
= false;
2209 case OPT_fpatchable_function_entry_
:
2211 char *patch_area_arg
= xstrdup (arg
);
2212 char *comma
= strchr (patch_area_arg
, ',');
2216 function_entry_patch_area_size
=
2217 integral_argument (patch_area_arg
);
2218 function_entry_patch_area_start
=
2219 integral_argument (comma
+ 1);
2223 function_entry_patch_area_size
=
2224 integral_argument (patch_area_arg
);
2225 function_entry_patch_area_start
= 0;
2227 if (function_entry_patch_area_size
< 0
2228 || function_entry_patch_area_start
< 0
2229 || function_entry_patch_area_size
2230 < function_entry_patch_area_start
)
2231 error ("invalid arguments for %<-fpatchable_function_entry%>");
2232 free (patch_area_arg
);
2236 case OPT_ftree_vectorize
:
2237 /* Automatically sets -ftree-loop-vectorize and
2238 -ftree-slp-vectorize. Nothing more to do here. */
2240 case OPT_fshow_column
:
2241 dc
->show_column
= value
;
2244 case OPT_frandom_seed
:
2245 /* The real switch is -fno-random-seed. */
2251 case OPT_frandom_seed_
:
2255 case OPT_fsched_verbose_
:
2256 #ifdef INSN_SCHEDULING
2257 /* Handled with Var in common.opt. */
2263 case OPT_fsched_stalled_insns_
:
2264 opts
->x_flag_sched_stalled_insns
= value
;
2265 if (opts
->x_flag_sched_stalled_insns
== 0)
2266 opts
->x_flag_sched_stalled_insns
= -1;
2269 case OPT_fsched_stalled_insns_dep_
:
2270 opts
->x_flag_sched_stalled_insns_dep
= value
;
2273 case OPT_fstack_check_
:
2274 if (!strcmp (arg
, "no"))
2275 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2276 else if (!strcmp (arg
, "generic"))
2277 /* This is the old stack checking method. */
2278 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2279 ? FULL_BUILTIN_STACK_CHECK
2280 : GENERIC_STACK_CHECK
;
2281 else if (!strcmp (arg
, "specific"))
2282 /* This is the new stack checking method. */
2283 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2284 ? FULL_BUILTIN_STACK_CHECK
2285 : STACK_CHECK_STATIC_BUILTIN
2286 ? STATIC_BUILTIN_STACK_CHECK
2287 : GENERIC_STACK_CHECK
;
2289 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2292 case OPT_fstack_limit
:
2293 /* The real switch is -fno-stack-limit. */
2299 case OPT_fstack_limit_register_
:
2300 case OPT_fstack_limit_symbol_
:
2304 case OPT_fstack_usage
:
2305 opts
->x_flag_stack_usage
= value
;
2306 opts
->x_flag_stack_usage_info
= value
!= 0;
2310 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2315 set_debug_level (SDB_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2319 if (arg
&& strlen (arg
) != 0)
2321 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2322 "use %<-gdwarf-%s%> for DWARF version "
2323 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
2327 value
= opts
->x_dwarf_version
;
2331 if (value
< 2 || value
> 5)
2332 error_at (loc
, "dwarf version %d is not supported", value
);
2334 opts
->x_dwarf_version
= value
;
2335 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2338 case OPT_gsplit_dwarf
:
2339 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2344 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2349 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2354 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2359 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2365 /* Handled completely via specs. */
2368 case OPT_pedantic_errors
:
2369 dc
->pedantic_errors
= 1;
2370 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2372 handlers
, opts
, opts_set
,
2377 opts
->x_flag_lto
= value
? "" : NULL
;
2381 dc
->dc_inhibit_warnings
= true;
2384 case OPT_fmax_errors_
:
2385 dc
->max_errors
= value
;
2388 case OPT_fuse_ld_bfd
:
2389 case OPT_fuse_ld_gold
:
2390 case OPT_fuse_linker_plugin
:
2391 /* No-op. Used by the driver and passed to us because it starts with f.*/
2396 opts
->x_flag_trapv
= 0;
2401 opts
->x_flag_wrapv
= 0;
2405 opts
->x_flag_ipa_icf_functions
= value
;
2406 opts
->x_flag_ipa_icf_variables
= value
;
2410 /* If the flag was handled in a standard way, assume the lack of
2411 processing here is intentional. */
2412 gcc_assert (option_flag_var (scode
, opts
));
2416 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2421 /* Handle --param NAME=VALUE. */
2423 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2424 location_t loc
, const char *carg
)
2429 arg
= xstrdup (carg
);
2430 equal
= strchr (arg
, '=');
2432 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
2438 enum compiler_param index
;
2439 if (!find_param (arg
, &index
))
2441 const char *suggestion
= find_param_fuzzy (arg
);
2443 error_at (loc
, "invalid --param name %qs; did you mean %qs?",
2446 error_at (loc
, "invalid --param name %qs", arg
);
2450 if (!param_string_value_p (index
, equal
+ 1, &value
))
2451 value
= integral_argument (equal
+ 1);
2454 error_at (loc
, "invalid --param value %qs", equal
+ 1);
2456 set_param_value (arg
, value
,
2457 opts
->x_param_values
, opts_set
->x_param_values
);
2464 /* Used to set the level of strict aliasing warnings in OPTS,
2465 when no level is specified (i.e., when -Wstrict-aliasing, and not
2466 -Wstrict-aliasing=level was given).
2467 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2468 and 0 otherwise. After calling this function, wstrict_aliasing will be
2469 set to the default value of -Wstrict_aliasing=level, currently 3. */
2471 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2473 gcc_assert (onoff
== 0 || onoff
== 1);
2475 opts
->x_warn_strict_aliasing
= 3;
2477 opts
->x_warn_strict_aliasing
= 0;
2480 /* The following routines are useful in setting all the flags that
2481 -ffast-math and -fno-fast-math imply. */
2483 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2485 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2487 opts
->x_flag_unsafe_math_optimizations
= set
;
2488 set_unsafe_math_optimizations_flags (opts
, set
);
2490 if (!opts
->frontend_set_flag_finite_math_only
)
2491 opts
->x_flag_finite_math_only
= set
;
2492 if (!opts
->frontend_set_flag_errno_math
)
2493 opts
->x_flag_errno_math
= !set
;
2496 if (opts
->frontend_set_flag_excess_precision_cmdline
2497 == EXCESS_PRECISION_DEFAULT
)
2498 opts
->x_flag_excess_precision_cmdline
2499 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
2500 if (!opts
->frontend_set_flag_signaling_nans
)
2501 opts
->x_flag_signaling_nans
= 0;
2502 if (!opts
->frontend_set_flag_rounding_math
)
2503 opts
->x_flag_rounding_math
= 0;
2504 if (!opts
->frontend_set_flag_cx_limited_range
)
2505 opts
->x_flag_cx_limited_range
= 1;
2509 /* When -funsafe-math-optimizations is set the following
2510 flags are set as well. */
2512 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2514 if (!opts
->frontend_set_flag_trapping_math
)
2515 opts
->x_flag_trapping_math
= !set
;
2516 if (!opts
->frontend_set_flag_signed_zeros
)
2517 opts
->x_flag_signed_zeros
= !set
;
2518 if (!opts
->frontend_set_flag_associative_math
)
2519 opts
->x_flag_associative_math
= set
;
2520 if (!opts
->frontend_set_flag_reciprocal_math
)
2521 opts
->x_flag_reciprocal_math
= set
;
2524 /* Return true iff flags in OPTS are set as if -ffast-math. */
2526 fast_math_flags_set_p (const struct gcc_options
*opts
)
2528 return (!opts
->x_flag_trapping_math
2529 && opts
->x_flag_unsafe_math_optimizations
2530 && opts
->x_flag_finite_math_only
2531 && !opts
->x_flag_signed_zeros
2532 && !opts
->x_flag_errno_math
2533 && opts
->x_flag_excess_precision_cmdline
2534 == EXCESS_PRECISION_FAST
);
2537 /* Return true iff flags are set as if -ffast-math but using the flags stored
2538 in the struct cl_optimization structure. */
2540 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2542 return (!opt
->x_flag_trapping_math
2543 && opt
->x_flag_unsafe_math_optimizations
2544 && opt
->x_flag_finite_math_only
2545 && !opt
->x_flag_signed_zeros
2546 && !opt
->x_flag_errno_math
);
2549 /* Handle a debug output -g switch for options OPTS
2550 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2551 explicitly), location LOC. EXTENDED is true or false to support
2552 extended output (2 is special and means "-ggdb" was given). */
2554 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2555 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2558 opts
->x_use_gnu_debug_info_extensions
= extended
;
2560 if (type
== NO_DEBUG
)
2562 if (opts
->x_write_symbols
== NO_DEBUG
)
2564 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2568 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2569 opts
->x_write_symbols
= DWARF2_DEBUG
;
2570 #elif defined DBX_DEBUGGING_INFO
2571 opts
->x_write_symbols
= DBX_DEBUG
;
2575 if (opts
->x_write_symbols
== NO_DEBUG
)
2576 warning_at (loc
, 0, "target system does not support debug output");
2581 /* Does it conflict with an already selected type? */
2582 if (opts_set
->x_write_symbols
!= NO_DEBUG
2583 && opts
->x_write_symbols
!= NO_DEBUG
2584 && type
!= opts
->x_write_symbols
)
2585 error_at (loc
, "debug format %qs conflicts with prior selection",
2586 debug_type_names
[type
]);
2587 opts
->x_write_symbols
= type
;
2588 opts_set
->x_write_symbols
= type
;
2591 /* A debug flag without a level defaults to level 2.
2592 If off or at level 1, set it to level 2, but if already
2593 at level 3, don't lower it. */
2596 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2597 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2601 int argval
= integral_argument (arg
);
2603 error_at (loc
, "unrecognized debug output level %qs", arg
);
2604 else if (argval
> 3)
2605 error_at (loc
, "debug output level %qs is too high", arg
);
2607 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2611 /* Arrange to dump core on error for diagnostic context DC. (The
2612 regular error message is still printed first, except in the case of
2616 setup_core_dumping (diagnostic_context
*dc
)
2619 signal (SIGABRT
, SIG_DFL
);
2621 #if defined(HAVE_SETRLIMIT)
2624 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2625 fatal_error (input_location
, "getting core file size maximum limit: %m");
2626 rlim
.rlim_cur
= rlim
.rlim_max
;
2627 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2628 fatal_error (input_location
,
2629 "setting core file size limit to maximum: %m");
2632 diagnostic_abort_on_error (dc
);
2635 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2636 diagnostic context DC. */
2639 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2640 location_t loc
, diagnostic_context
*dc
)
2648 opts
->x_flag_debug_asm
= 1;
2651 opts
->x_flag_print_asm_name
= 1;
2654 opts
->x_flag_dump_rtl_in_asm
= 1;
2655 opts
->x_flag_print_asm_name
= 1;
2658 opts
->x_rtl_dump_and_exit
= 1;
2660 case 'D': /* These are handled by the preprocessor. */
2667 setup_core_dumping (dc
);
2670 opts
->x_flag_dump_all_passed
= true;
2674 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2679 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2680 mask LANG_MASK, option handlers HANDLERS) as an error for option
2681 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2682 NULL), location LOC. This is used by -Werror=. */
2685 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2686 const struct cl_option_handlers
*handlers
,
2687 struct gcc_options
*opts
,
2688 struct gcc_options
*opts_set
,
2689 location_t loc
, diagnostic_context
*dc
)
2694 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2695 new_option
[0] = 'W';
2696 strcpy (new_option
+ 1, arg
);
2697 option_index
= find_opt (new_option
, lang_mask
);
2698 if (option_index
== OPT_SPECIAL_unknown
)
2699 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2700 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
2701 error_at (loc
, "-Werror=%s: -%s is not an option that controls warnings",
2705 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2706 const char *arg
= NULL
;
2708 if (cl_options
[option_index
].flags
& CL_JOINED
)
2709 arg
= new_option
+ cl_options
[option_index
].opt_len
;
2710 control_warning_option (option_index
, (int) kind
, arg
, value
,
2712 handlers
, opts
, opts_set
, dc
);
2717 /* Return malloced memory for the name of the option OPTION_INDEX
2718 which enabled a diagnostic (context CONTEXT), originally of type
2719 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2723 option_name (diagnostic_context
*context
, int option_index
,
2724 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2728 /* A warning classified as an error. */
2729 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2730 && diag_kind
== DK_ERROR
)
2731 return concat (cl_options
[OPT_Werror_
].opt_text
,
2732 /* Skip over "-W". */
2733 cl_options
[option_index
].opt_text
+ 2,
2735 /* A warning with option. */
2737 return xstrdup (cl_options
[option_index
].opt_text
);
2739 /* A warning without option classified as an error. */
2740 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2741 || diag_kind
== DK_WARNING
)
2742 && context
->warning_as_error_requested
)
2743 return xstrdup (cl_options
[OPT_Werror
].opt_text
);