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", "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
, void (*) (void))
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 },
479 { OPT_LEVELS_1_PLUS
, OPT_fomit_frame_pointer
, NULL
, 1 },
481 /* -O2 optimizations. */
482 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
494 #ifdef INSN_SCHEDULING
495 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
496 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
497 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
500 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_freorder_blocks_algorithm_
, NULL
,
501 REORDER_BLOCKS_ALGORITHM_STC
},
502 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
503 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
504 { OPT_LEVELS_2_PLUS
, OPT_fcode_hoisting
, NULL
, 1 },
505 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
506 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
507 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
508 { OPT_LEVELS_2_PLUS
, OPT_fipa_bit_cp
, NULL
, 1 },
509 { OPT_LEVELS_2_PLUS
, OPT_fipa_vrp
, NULL
, 1 },
510 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
511 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
512 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
513 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
514 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
515 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
516 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
517 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
518 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
519 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
520 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
521 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
522 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
523 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
524 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
525 { OPT_LEVELS_2_PLUS
, OPT_fstore_merging
, NULL
, 1 },
527 /* -O3 optimizations. */
528 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
529 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribution
, NULL
, 1 },
530 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
531 { OPT_LEVELS_3_PLUS
, OPT_fsplit_paths
, NULL
, 1 },
532 /* Inlining of functions reducing size is a good idea with -Os
533 regardless of them being declared inline. */
534 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
535 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
536 { OPT_LEVELS_3_PLUS
, OPT_fsplit_loops
, NULL
, 1 },
537 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
538 { OPT_LEVELS_3_PLUS
, OPT_funroll_and_jam
, NULL
, 1 },
539 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
540 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
541 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
542 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
543 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
544 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
545 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
547 /* -Ofast adds optimizations to -O3. */
548 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
550 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
553 /* Default the options in OPTS and OPTS_SET based on the optimization
554 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
556 default_options_optimization (struct gcc_options
*opts
,
557 struct gcc_options
*opts_set
,
558 struct cl_decoded_option
*decoded_options
,
559 unsigned int decoded_options_count
,
561 unsigned int lang_mask
,
562 const struct cl_option_handlers
*handlers
,
563 diagnostic_context
*dc
)
567 bool openacc_mode
= false;
569 /* Scan to see what optimization level has been specified. That will
570 determine the default value of many flags. */
571 for (i
= 1; i
< decoded_options_count
; i
++)
573 struct cl_decoded_option
*opt
= &decoded_options
[i
];
574 switch (opt
->opt_index
)
577 if (*opt
->arg
== '\0')
579 opts
->x_optimize
= 1;
580 opts
->x_optimize_size
= 0;
581 opts
->x_optimize_fast
= 0;
582 opts
->x_optimize_debug
= 0;
586 const int optimize_val
= integral_argument (opt
->arg
);
587 if (optimize_val
== -1)
588 error_at (loc
, "argument to %<-O%> should be a non-negative "
589 "integer, %<g%>, %<s%> or %<fast%>");
592 opts
->x_optimize
= optimize_val
;
593 if ((unsigned int) opts
->x_optimize
> 255)
594 opts
->x_optimize
= 255;
595 opts
->x_optimize_size
= 0;
596 opts
->x_optimize_fast
= 0;
597 opts
->x_optimize_debug
= 0;
603 opts
->x_optimize_size
= 1;
605 /* Optimizing for size forces optimize to be 2. */
606 opts
->x_optimize
= 2;
607 opts
->x_optimize_fast
= 0;
608 opts
->x_optimize_debug
= 0;
612 /* -Ofast only adds flags to -O3. */
613 opts
->x_optimize_size
= 0;
614 opts
->x_optimize
= 3;
615 opts
->x_optimize_fast
= 1;
616 opts
->x_optimize_debug
= 0;
620 /* -Og selects optimization level 1. */
621 opts
->x_optimize_size
= 0;
622 opts
->x_optimize
= 1;
623 opts
->x_optimize_fast
= 0;
624 opts
->x_optimize_debug
= 1;
633 /* Ignore other options in this prescan. */
638 maybe_default_options (opts
, opts_set
, default_options_table
,
639 opts
->x_optimize
, opts
->x_optimize_size
,
640 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
641 lang_mask
, handlers
, loc
, dc
);
643 /* -O2 param settings. */
644 opt2
= (opts
->x_optimize
>= 2);
647 && !opts_set
->x_flag_ipa_pta
)
648 opts
->x_flag_ipa_pta
= true;
650 /* Track fields in field-sensitive alias analysis. */
651 maybe_set_param_value
652 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
653 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
654 opts
->x_param_values
, opts_set
->x_param_values
);
656 /* For -O1 only do loop invariant motion for very small loops. */
657 maybe_set_param_value
658 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
659 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
660 opts
->x_param_values
, opts_set
->x_param_values
);
662 /* At -Ofast, allow store motion to introduce potential race conditions. */
663 maybe_set_param_value
664 (PARAM_ALLOW_STORE_DATA_RACES
,
665 opts
->x_optimize_fast
? 1
666 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES
),
667 opts
->x_param_values
, opts_set
->x_param_values
);
669 if (opts
->x_optimize_size
)
670 /* We want to crossjump as much as possible. */
671 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
672 opts
->x_param_values
, opts_set
->x_param_values
);
674 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
675 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
676 opts
->x_param_values
, opts_set
->x_param_values
);
678 /* Restrict the amount of work combine does at -Og while retaining
679 most of its useful transforms. */
680 if (opts
->x_optimize_debug
)
681 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS
, 2,
682 opts
->x_param_values
, opts_set
->x_param_values
);
684 /* Allow default optimizations to be specified on a per-machine basis. */
685 maybe_default_options (opts
, opts_set
,
686 targetm_common
.option_optimization_table
,
687 opts
->x_optimize
, opts
->x_optimize_size
,
688 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
689 lang_mask
, handlers
, loc
, dc
);
692 /* After all options at LOC have been read into OPTS and OPTS_SET,
693 finalize settings of those options and diagnose incompatible
696 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
699 enum unwind_info_type ui_except
;
701 if (opts
->x_dump_base_name
702 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
703 && ! opts
->x_dump_base_name_prefixed
)
705 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
706 OPTS->X_DUMP_DIR_NAME directory. Then try to make
707 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
708 directory, typically the directory to contain the object
710 if (opts
->x_dump_dir_name
)
711 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
712 opts
->x_dump_base_name
, NULL
);
713 else if (opts
->x_aux_base_name
714 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
716 const char *aux_base
;
718 base_of_path (opts
->x_aux_base_name
, &aux_base
);
719 if (opts
->x_aux_base_name
!= aux_base
)
721 int dir_len
= aux_base
- opts
->x_aux_base_name
;
722 char *new_dump_base_name
723 = XOBNEWVEC (&opts_obstack
, char,
724 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
726 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
727 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
728 /* Append existing OPTS->X_DUMP_BASE_NAME. */
729 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
730 opts
->x_dump_base_name
= new_dump_base_name
;
733 opts
->x_dump_base_name_prefixed
= true;
736 /* Handle related options for unit-at-a-time, toplevel-reorder, and
738 if (!opts
->x_flag_unit_at_a_time
)
740 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
741 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
743 opts
->x_flag_section_anchors
= 0;
744 if (opts
->x_flag_toplevel_reorder
== 1)
745 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
747 opts
->x_flag_toplevel_reorder
= 0;
750 /* -fself-test depends on the state of the compiler prior to
751 compiling anything. Ideally it should be run on an empty source
752 file. However, in case we get run with actual source, assume
753 -fsyntax-only which will inhibit any compiler initialization
754 which may confuse the self tests. */
755 if (opts
->x_flag_self_test
)
756 opts
->x_flag_syntax_only
= 1;
758 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
759 sorry ("transactional memory is not supported with non-call exceptions");
761 /* Unless the user has asked for section anchors, we disable toplevel
762 reordering at -O0 to disable transformations that might be surprising
763 to end users and to get -fno-toplevel-reorder tested. */
764 if (!opts
->x_optimize
765 && opts
->x_flag_toplevel_reorder
== 2
766 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
768 opts
->x_flag_toplevel_reorder
= 0;
769 opts
->x_flag_section_anchors
= 0;
771 if (!opts
->x_flag_toplevel_reorder
)
773 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
774 error_at (loc
, "section anchors must be disabled when toplevel reorder"
776 opts
->x_flag_section_anchors
= 0;
779 if (!opts
->x_flag_opts_finished
)
781 /* We initialize opts->x_flag_pie to -1 so that targets can set a
783 if (opts
->x_flag_pie
== -1)
785 /* We initialize opts->x_flag_pic to -1 so that we can tell if
786 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
787 if (opts
->x_flag_pic
== -1)
788 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
790 opts
->x_flag_pie
= 0;
792 /* If -fPIE or -fpie is used, turn on PIC. */
793 if (opts
->x_flag_pie
)
794 opts
->x_flag_pic
= opts
->x_flag_pie
;
795 else if (opts
->x_flag_pic
== -1)
796 opts
->x_flag_pic
= 0;
797 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
798 opts
->x_flag_shlib
= 1;
799 opts
->x_flag_opts_finished
= true;
802 /* We initialize opts->x_flag_stack_protect to -1 so that targets
803 can set a default value. */
804 if (opts
->x_flag_stack_protect
== -1)
805 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
807 if (opts
->x_optimize
== 0)
809 /* Inlining does not work if not optimizing,
810 so force it not to be done. */
811 opts
->x_warn_inline
= 0;
812 opts
->x_flag_no_inline
= 1;
815 /* The optimization to partition hot and cold basic blocks into separate
816 sections of the .o and executable files does not work (currently)
817 with exception handling. This is because there is no support for
818 generating unwind info. If opts->x_flag_exceptions is turned on
819 we need to turn off the partitioning optimization. */
821 ui_except
= targetm_common
.except_unwind_info (opts
);
823 if (opts
->x_flag_exceptions
824 && opts
->x_flag_reorder_blocks_and_partition
825 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
827 if (opts_set
->x_flag_reorder_blocks_and_partition
)
829 "%<-freorder-blocks-and-partition%> does not work "
830 "with exceptions on this architecture");
831 opts
->x_flag_reorder_blocks_and_partition
= 0;
832 opts
->x_flag_reorder_blocks
= 1;
835 /* If user requested unwind info, then turn off the partitioning
838 if (opts
->x_flag_unwind_tables
839 && !targetm_common
.unwind_tables_default
840 && opts
->x_flag_reorder_blocks_and_partition
841 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
843 if (opts_set
->x_flag_reorder_blocks_and_partition
)
845 "%<-freorder-blocks-and-partition%> does not support "
846 "unwind info on this architecture");
847 opts
->x_flag_reorder_blocks_and_partition
= 0;
848 opts
->x_flag_reorder_blocks
= 1;
851 /* If the target requested unwind info, then turn off the partitioning
852 optimization with a different message. Likewise, if the target does not
853 support named sections. */
855 if (opts
->x_flag_reorder_blocks_and_partition
856 && (!targetm_common
.have_named_sections
857 || (opts
->x_flag_unwind_tables
858 && targetm_common
.unwind_tables_default
859 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
861 if (opts_set
->x_flag_reorder_blocks_and_partition
)
863 "%<-freorder-blocks-and-partition%> does not work "
864 "on this architecture");
865 opts
->x_flag_reorder_blocks_and_partition
= 0;
866 opts
->x_flag_reorder_blocks
= 1;
870 /* Pipelining of outer loops is only possible when general pipelining
871 capabilities are requested. */
872 if (!opts
->x_flag_sel_sched_pipelining
)
873 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
875 if (opts
->x_flag_conserve_stack
)
877 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
878 opts
->x_param_values
, opts_set
->x_param_values
);
879 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
880 opts
->x_param_values
, opts_set
->x_param_values
);
883 if (opts
->x_flag_lto
)
886 opts
->x_flag_generate_lto
= 1;
888 /* When generating IL, do not operate in whole-program mode.
889 Otherwise, symbols will be privatized too early, causing link
891 opts
->x_flag_whole_program
= 0;
893 error_at (loc
, "LTO support has not been enabled in this configuration");
895 if (!opts
->x_flag_fat_lto_objects
897 || (opts_set
->x_flag_use_linker_plugin
898 && !opts
->x_flag_use_linker_plugin
)))
900 if (opts_set
->x_flag_fat_lto_objects
)
901 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
903 opts
->x_flag_fat_lto_objects
= 1;
907 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
908 default value if they choose based on other options. */
909 if (opts
->x_flag_split_stack
== -1)
910 opts
->x_flag_split_stack
= 0;
911 else if (opts
->x_flag_split_stack
)
913 if (!targetm_common
.supports_split_stack (true, opts
))
915 error_at (loc
, "%<-fsplit-stack%> is not supported by "
916 "this compiler configuration");
917 opts
->x_flag_split_stack
= 0;
921 /* If stack splitting is turned on, and the user did not explicitly
922 request function partitioning, turn off partitioning, as it
923 confuses the linker when trying to handle partitioned split-stack
924 code that calls a non-split-stack functions. But if partitioning
925 was turned on explicitly just hope for the best. */
926 if (opts
->x_flag_split_stack
927 && opts
->x_flag_reorder_blocks_and_partition
928 && !opts_set
->x_flag_reorder_blocks_and_partition
)
929 opts
->x_flag_reorder_blocks_and_partition
= 0;
931 if (opts
->x_flag_reorder_blocks_and_partition
932 && !opts_set
->x_flag_reorder_functions
)
933 opts
->x_flag_reorder_functions
= 1;
935 /* Tune vectorization related parametees according to cost model. */
936 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
938 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
939 6, opts
->x_param_values
, opts_set
->x_param_values
);
940 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
941 0, opts
->x_param_values
, opts_set
->x_param_values
);
942 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
943 0, opts
->x_param_values
, opts_set
->x_param_values
);
946 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
948 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
949 || !opts
->x_flag_tree_loop_if_convert
)
950 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
951 opts
->x_param_values
, opts_set
->x_param_values
);
953 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
954 if (opts
->x_dwarf_split_debug_info
)
955 opts
->x_debug_generate_pub_sections
= 2;
957 if ((opts
->x_flag_sanitize
958 & (SANITIZE_USER_ADDRESS
| SANITIZE_KERNEL_ADDRESS
)) == 0)
960 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_COMPARE
)
962 "%<-fsanitize=pointer-compare%> must be combined with "
963 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
964 if (opts
->x_flag_sanitize
& SANITIZE_POINTER_SUBTRACT
)
966 "%<-fsanitize=pointer-subtract%> must be combined with "
967 "%<-fsanitize=address%> or %<-fsanitize=kernel-address%>");
970 /* Userspace and kernel ASan conflict with each other. */
971 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
972 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
974 "%<-fsanitize=address%> is incompatible with "
975 "%<-fsanitize=kernel-address%>");
978 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
979 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
981 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
982 "are incompatible with %<-fsanitize=thread%>");
984 if ((opts
->x_flag_sanitize
& SANITIZE_LEAK
)
985 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
987 "%<-fsanitize=leak%> is incompatible with %<-fsanitize=thread%>");
989 /* Check error recovery for -fsanitize-recover option. */
990 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
991 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
992 && !sanitizer_opts
[i
].can_recover
)
993 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
994 sanitizer_opts
[i
].name
);
996 /* When instrumenting the pointers, we don't want to remove
997 the null pointer checks. */
998 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
999 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
1000 opts
->x_flag_delete_null_pointer_checks
= 0;
1002 /* Aggressive compiler optimizations may cause false negatives. */
1003 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
1004 opts
->x_flag_aggressive_loop_optimizations
= 0;
1006 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
1008 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
1009 && !opts_set
->x_flag_sanitize_address_use_after_scope
)
1010 opts
->x_flag_sanitize_address_use_after_scope
= true;
1012 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
1014 if (opts
->x_flag_sanitize_address_use_after_scope
)
1016 if (opts
->x_flag_stack_reuse
!= SR_NONE
1017 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1019 "%<-fsanitize-address-use-after-scope%> requires "
1020 "%<-fstack-reuse=none%> option");
1022 opts
->x_flag_stack_reuse
= SR_NONE
;
1025 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1026 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1028 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1029 sorry ("transactional memory is not supported with "
1030 "%<-fsanitize=kernel-address%>");
1033 #define LEFT_COLUMN 27
1035 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1036 followed by word-wrapped HELP in a second column. */
1038 wrap_help (const char *help
,
1040 unsigned int item_width
,
1041 unsigned int columns
)
1043 unsigned int col_width
= LEFT_COLUMN
;
1044 unsigned int remaining
, room
, len
;
1046 remaining
= strlen (help
);
1050 room
= columns
- 3 - MAX (col_width
, item_width
);
1059 for (i
= 0; help
[i
]; i
++)
1061 if (i
>= room
&& len
!= remaining
)
1065 else if ((help
[i
] == '-' || help
[i
] == '/')
1066 && help
[i
+ 1] != ' '
1067 && i
> 0 && ISALPHA (help
[i
- 1]))
1072 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1074 while (help
[len
] == ' ')
1082 /* Print help for a specific front-end, etc. */
1084 print_filtered_help (unsigned int include_flags
,
1085 unsigned int exclude_flags
,
1086 unsigned int any_flags
,
1087 unsigned int columns
,
1088 struct gcc_options
*opts
,
1089 unsigned int lang_mask
)
1094 bool displayed
= false;
1097 if (include_flags
== CL_PARAMS
)
1099 for (i
= 0; i
< LAST_PARAM
; i
++)
1101 const char *param
= compiler_params
[i
].option
;
1103 help
= compiler_params
[i
].help
;
1104 if (help
== NULL
|| *help
== '\0')
1106 if (exclude_flags
& CL_UNDOCUMENTED
)
1108 help
= undocumented_msg
;
1111 /* Get the translation. */
1114 if (!opts
->x_quiet_flag
)
1116 snprintf (new_help
, sizeof (new_help
),
1117 _("default %d minimum %d maximum %d"),
1118 compiler_params
[i
].default_value
,
1119 compiler_params
[i
].min_value
,
1120 compiler_params
[i
].max_value
);
1123 wrap_help (help
, param
, strlen (param
), columns
);
1129 if (!opts
->x_help_printed
)
1130 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1132 if (!opts
->x_help_enum_printed
)
1133 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1135 for (i
= 0; i
< cl_options_count
; i
++)
1137 const struct cl_option
*option
= cl_options
+ i
;
1142 if (include_flags
== 0
1143 || ((option
->flags
& include_flags
) != include_flags
))
1145 if ((option
->flags
& any_flags
) == 0)
1149 /* Skip unwanted switches. */
1150 if ((option
->flags
& exclude_flags
) != 0)
1153 /* The driver currently prints its own help text. */
1154 if ((option
->flags
& CL_DRIVER
) != 0
1155 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1156 | CL_COMMON
| CL_TARGET
)) == 0)
1160 /* Skip switches that have already been printed. */
1161 if (opts
->x_help_printed
[i
])
1164 opts
->x_help_printed
[i
] = true;
1166 help
= option
->help
;
1169 if (exclude_flags
& CL_UNDOCUMENTED
)
1172 help
= undocumented_msg
;
1175 if (option
->alias_target
< N_OPTS
1176 && cl_options
[option
->alias_target
].help
)
1178 if (help
== undocumented_msg
)
1180 /* For undocumented options that are aliases for other options
1181 that are documented, point the reader to the other option in
1182 preference of the former. */
1183 snprintf (new_help
, sizeof new_help
,
1184 _("Same as %s. Use the latter option instead."),
1185 cl_options
[option
->alias_target
].opt_text
);
1189 /* For documented options with aliases, mention the aliased
1190 option's name for reference. */
1191 snprintf (new_help
, sizeof new_help
,
1192 _("%s Same as %s."),
1193 help
, cl_options
[option
->alias_target
].opt_text
);
1199 if (option
->warn_message
)
1201 /* Mention that the use of the option will trigger a warning. */
1202 if (help
== new_help
)
1203 snprintf (new_help
+ strlen (new_help
),
1204 sizeof new_help
- strlen (new_help
),
1205 " %s", _(use_diagnosed_msg
));
1207 snprintf (new_help
, sizeof new_help
,
1208 "%s %s", help
, _(use_diagnosed_msg
));
1213 /* Get the translation. */
1216 /* Find the gap between the name of the
1217 option and its descriptive text. */
1218 tab
= strchr (help
, '\t');
1227 opt
= option
->opt_text
;
1231 /* With the -Q option enabled we change the descriptive text associated
1232 with an option to be an indication of its current setting. */
1233 if (!opts
->x_quiet_flag
)
1235 void *flag_var
= option_flag_var (i
, opts
);
1237 if (len
< (LEFT_COLUMN
+ 2))
1238 strcpy (new_help
, "\t\t");
1240 strcpy (new_help
, "\t");
1242 if (flag_var
!= NULL
1243 && option
->var_type
!= CLVC_DEFER
)
1245 if (option
->flags
& CL_JOINED
)
1247 if (option
->var_type
== CLVC_STRING
)
1249 if (* (const char **) flag_var
!= NULL
)
1250 snprintf (new_help
+ strlen (new_help
),
1251 sizeof (new_help
) - strlen (new_help
),
1252 "%s", * (const char **) flag_var
);
1254 else if (option
->var_type
== CLVC_ENUM
)
1256 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1258 const char *arg
= NULL
;
1260 value
= e
->get (flag_var
);
1261 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1263 arg
= _("[default]");
1264 snprintf (new_help
+ strlen (new_help
),
1265 sizeof (new_help
) - strlen (new_help
),
1269 sprintf (new_help
+ strlen (new_help
),
1270 "%d", * (int *) flag_var
);
1273 strcat (new_help
, option_enabled (i
, opts
)
1274 ? _("[enabled]") : _("[disabled]"));
1280 if (option
->range_max
!= -1)
1283 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1285 opt
= concat (opt
, b
, NULL
);
1289 wrap_help (help
, opt
, len
, columns
);
1292 if (option
->var_type
== CLVC_ENUM
1293 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1294 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1299 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1302 printf (_(" No options with the desired characteristics were found\n"));
1307 /* PR 31349: Tell the user how to see all of the
1308 options supported by a specific front end. */
1309 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1310 if ((1U << i
) & langs
)
1311 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1312 lang_names
[i
], lang_names
[i
]);
1316 else if (! displayed
)
1317 printf (_(" All options with the desired characteristics have already been displayed\n"));
1321 /* Print details of enumerated option arguments, if those
1322 enumerations have help text headings provided. If no help text
1323 is provided, presume that the possible values are listed in the
1324 help text for the relevant options. */
1325 for (i
= 0; i
< cl_enums_count
; i
++)
1327 unsigned int j
, pos
;
1329 if (opts
->x_help_enum_printed
[i
] != 1)
1331 if (cl_enums
[i
].help
== NULL
)
1333 printf (" %s\n ", _(cl_enums
[i
].help
));
1335 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1337 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1339 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1341 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1351 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1356 opts
->x_help_enum_printed
[i
] = 2;
1360 /* Display help for a specified type of option.
1361 The options must have ALL of the INCLUDE_FLAGS set
1362 ANY of the flags in the ANY_FLAGS set
1363 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1364 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1366 print_specific_help (unsigned int include_flags
,
1367 unsigned int exclude_flags
,
1368 unsigned int any_flags
,
1369 struct gcc_options
*opts
,
1370 unsigned int lang_mask
)
1372 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1373 const char * description
= NULL
;
1374 const char * descrip_extra
= "";
1378 /* Sanity check: Make sure that we do not have more
1379 languages than we have bits available to enumerate them. */
1380 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1382 /* If we have not done so already, obtain
1383 the desired maximum width of the output. */
1384 if (opts
->x_help_columns
== 0)
1386 opts
->x_help_columns
= get_terminal_width ();
1387 if (opts
->x_help_columns
== INT_MAX
)
1388 /* Use a reasonable default. */
1389 opts
->x_help_columns
= 80;
1392 /* Decide upon the title for the options that we are going to display. */
1393 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1395 switch (flag
& include_flags
)
1402 description
= _("The following options are target specific");
1405 description
= _("The following options control compiler warning messages");
1407 case CL_OPTIMIZATION
:
1408 description
= _("The following options control optimizations");
1411 description
= _("The following options are language-independent");
1414 description
= _("The --param option recognizes the following as parameters");
1417 if (i
>= cl_lang_count
)
1419 if (exclude_flags
& all_langs_mask
)
1420 description
= _("The following options are specific to just the language ");
1422 description
= _("The following options are supported by the language ");
1423 descrip_extra
= lang_names
[i
];
1428 if (description
== NULL
)
1432 if (include_flags
& CL_UNDOCUMENTED
)
1433 description
= _("The following options are not documented");
1434 else if (include_flags
& CL_SEPARATE
)
1435 description
= _("The following options take separate arguments");
1436 else if (include_flags
& CL_JOINED
)
1437 description
= _("The following options take joined arguments");
1440 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1447 if (any_flags
& all_langs_mask
)
1448 description
= _("The following options are language-related");
1450 description
= _("The following options are language-independent");
1454 printf ("%s%s:\n", description
, descrip_extra
);
1455 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1456 opts
->x_help_columns
, opts
, lang_mask
);
1459 /* Enable FDO-related flags. */
1462 enable_fdo_optimizations (struct gcc_options
*opts
,
1463 struct gcc_options
*opts_set
,
1466 if (!opts_set
->x_flag_branch_probabilities
)
1467 opts
->x_flag_branch_probabilities
= value
;
1468 if (!opts_set
->x_flag_profile_values
)
1469 opts
->x_flag_profile_values
= value
;
1470 if (!opts_set
->x_flag_unroll_loops
)
1471 opts
->x_flag_unroll_loops
= value
;
1472 if (!opts_set
->x_flag_peel_loops
)
1473 opts
->x_flag_peel_loops
= value
;
1474 if (!opts_set
->x_flag_tracer
)
1475 opts
->x_flag_tracer
= value
;
1476 if (!opts_set
->x_flag_value_profile_transformations
)
1477 opts
->x_flag_value_profile_transformations
= value
;
1478 if (!opts_set
->x_flag_inline_functions
)
1479 opts
->x_flag_inline_functions
= value
;
1480 if (!opts_set
->x_flag_ipa_cp
)
1481 opts
->x_flag_ipa_cp
= value
;
1482 if (!opts_set
->x_flag_ipa_cp_clone
1483 && value
&& opts
->x_flag_ipa_cp
)
1484 opts
->x_flag_ipa_cp_clone
= value
;
1485 if (!opts_set
->x_flag_ipa_bit_cp
1486 && value
&& opts
->x_flag_ipa_cp
)
1487 opts
->x_flag_ipa_bit_cp
= value
;
1488 if (!opts_set
->x_flag_predictive_commoning
)
1489 opts
->x_flag_predictive_commoning
= value
;
1490 if (!opts_set
->x_flag_split_loops
)
1491 opts
->x_flag_split_loops
= value
;
1492 if (!opts_set
->x_flag_unswitch_loops
)
1493 opts
->x_flag_unswitch_loops
= value
;
1494 if (!opts_set
->x_flag_gcse_after_reload
)
1495 opts
->x_flag_gcse_after_reload
= value
;
1496 if (!opts_set
->x_flag_tree_loop_vectorize
)
1497 opts
->x_flag_tree_loop_vectorize
= value
;
1498 if (!opts_set
->x_flag_tree_slp_vectorize
)
1499 opts
->x_flag_tree_slp_vectorize
= value
;
1500 if (!opts_set
->x_flag_vect_cost_model
)
1501 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1502 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1503 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1506 /* -f{,no-}sanitize{,-recover}= suboptions. */
1507 const struct sanitizer_opts_s sanitizer_opts
[] =
1509 #define SANITIZER_OPT(name, flags, recover) \
1510 { #name, flags, sizeof #name - 1, recover }
1511 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1512 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1514 SANITIZER_OPT (pointer
-compare
, SANITIZE_POINTER_COMPARE
, true),
1515 SANITIZER_OPT (pointer
-subtract
, SANITIZE_POINTER_SUBTRACT
, true),
1516 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1517 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1518 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1519 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1520 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1521 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1522 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1523 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1524 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1525 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1526 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1527 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1528 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1529 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1530 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1531 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1532 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1533 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1534 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1535 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1536 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1538 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1539 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1540 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1541 SANITIZER_OPT (builtin
, SANITIZE_BUILTIN
, true),
1542 SANITIZER_OPT (all
, ~0U, true),
1543 #undef SANITIZER_OPT
1544 { NULL
, 0U, 0UL, false }
1547 /* -f{,no-}sanitize-coverage= suboptions. */
1548 const struct sanitizer_opts_s coverage_sanitizer_opts
[] =
1550 #define COVERAGE_SANITIZER_OPT(name, flags) \
1551 { #name, flags, sizeof #name - 1, true }
1552 COVERAGE_SANITIZER_OPT (trace
-pc
, SANITIZE_COV_TRACE_PC
),
1553 COVERAGE_SANITIZER_OPT (trace
-cmp
, SANITIZE_COV_TRACE_CMP
),
1554 #undef COVERAGE_SANITIZER_OPT
1555 { NULL
, 0U, 0UL, false }
1558 /* A struct for describing a run of chars within a string. */
1560 struct string_fragment
1562 string_fragment (const char *start
, size_t len
)
1563 : m_start (start
), m_len (len
) {}
1565 const char *m_start
;
1569 /* Specialization of edit_distance_traits for string_fragment,
1570 for use by get_closest_sanitizer_option. */
1573 struct edit_distance_traits
<const string_fragment
&>
1575 static size_t get_length (const string_fragment
&fragment
)
1577 return fragment
.m_len
;
1580 static const char *get_string (const string_fragment
&fragment
)
1582 return fragment
.m_start
;
1586 /* Given ARG, an unrecognized sanitizer option, return the best
1587 matching sanitizer option, or NULL if there isn't one.
1588 OPTS is array of candidate sanitizer options.
1589 CODE is OPT_fsanitize_, OPT_fsanitize_recover_ or
1590 OPT_fsanitize_coverage_.
1591 VALUE is non-zero for the regular form of the option, zero
1592 for the "no-" form (e.g. "-fno-sanitize-recover="). */
1595 get_closest_sanitizer_option (const string_fragment
&arg
,
1596 const struct sanitizer_opts_s
*opts
,
1597 enum opt_code code
, int value
)
1599 best_match
<const string_fragment
&, const char*> bm (arg
);
1600 for (int i
= 0; opts
[i
].name
!= NULL
; ++i
)
1602 /* -fsanitize=all is not valid, so don't offer it. */
1603 if (code
== OPT_fsanitize_
1604 && opts
[i
].flag
== ~0U
1608 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
1609 don't offer the non-recoverable options. */
1610 if (code
== OPT_fsanitize_recover_
1611 && !opts
[i
].can_recover
1615 bm
.consider (opts
[i
].name
);
1617 return bm
.get_best_meaningful_candidate ();
1620 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1621 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1622 don't issue diagnostics. */
1625 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
1626 unsigned int flags
, int value
, bool complain
)
1628 enum opt_code code
= (enum opt_code
) scode
;
1630 const struct sanitizer_opts_s
*opts
;
1631 if (code
== OPT_fsanitize_coverage_
)
1632 opts
= coverage_sanitizer_opts
;
1634 opts
= sanitizer_opts
;
1640 const char *comma
= strchr (p
, ',');
1652 /* Check to see if the string matches an option class name. */
1653 for (i
= 0; opts
[i
].name
!= NULL
; ++i
)
1654 if (len
== opts
[i
].len
&& memcmp (p
, opts
[i
].name
, len
) == 0)
1656 /* Handle both -fsanitize and -fno-sanitize cases. */
1657 if (value
&& opts
[i
].flag
== ~0U)
1659 if (code
== OPT_fsanitize_
)
1662 error_at (loc
, "%<-fsanitize=all%> option is not valid");
1665 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
1666 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1670 /* Do not enable -fsanitize-recover=unreachable and
1671 -fsanitize-recover=return if -fsanitize-recover=undefined
1673 if (code
== OPT_fsanitize_recover_
1674 && opts
[i
].flag
== SANITIZE_UNDEFINED
)
1675 flags
|= (SANITIZE_UNDEFINED
1676 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
1678 flags
|= opts
[i
].flag
;
1681 flags
&= ~opts
[i
].flag
;
1686 if (! found
&& complain
)
1689 = get_closest_sanitizer_option (string_fragment (p
, len
),
1693 if (code
== OPT_fsanitize_recover_
)
1694 suffix
= "-recover";
1695 else if (code
== OPT_fsanitize_coverage_
)
1696 suffix
= "-coverage";
1702 "unrecognized argument to -f%ssanitize%s= option: %q.*s;"
1703 " did you mean %qs?",
1705 suffix
, (int) len
, p
, hint
);
1708 "unrecognized argument to -f%ssanitize%s= option: %q.*s",
1710 suffix
, (int) len
, p
);
1720 /* Parse string values of no_sanitize attribute passed in VALUE.
1721 Values are separated with comma. */
1724 parse_no_sanitize_attribute (char *value
)
1726 unsigned int flags
= 0;
1728 char *q
= strtok (value
, ",");
1732 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1733 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
1735 flags
|= sanitizer_opts
[i
].flag
;
1736 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
1737 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
1741 if (sanitizer_opts
[i
].name
== NULL
)
1742 warning (OPT_Wattributes
,
1743 "%<%s%> attribute directive ignored", q
);
1745 q
= strtok (NULL
, ",");
1751 /* Handle target- and language-independent options. Return zero to
1752 generate an "unknown option" message. Only options that need
1753 extra handling need to be listed here; if you simply want
1754 DECODED->value assigned to a variable, it happens automatically. */
1757 common_handle_option (struct gcc_options
*opts
,
1758 struct gcc_options
*opts_set
,
1759 const struct cl_decoded_option
*decoded
,
1760 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1762 const struct cl_option_handlers
*handlers
,
1763 diagnostic_context
*dc
,
1764 void (*target_option_override_hook
) (void))
1766 size_t scode
= decoded
->opt_index
;
1767 const char *arg
= decoded
->arg
;
1768 int value
= decoded
->value
;
1769 enum opt_code code
= (enum opt_code
) scode
;
1771 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1776 handle_param (opts
, opts_set
, loc
, arg
);
1781 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1782 unsigned int undoc_mask
;
1785 if (lang_mask
== CL_DRIVER
)
1788 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1791 target_option_override_hook ();
1792 /* First display any single language specific options. */
1793 for (i
= 0; i
< cl_lang_count
; i
++)
1795 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1797 /* Next display any multi language specific options. */
1798 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1799 /* Then display any remaining, non-language options. */
1800 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1802 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1803 opts
->x_exit_after_options
= true;
1807 case OPT__target_help
:
1808 if (lang_mask
== CL_DRIVER
)
1811 target_option_override_hook ();
1812 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1813 opts
->x_exit_after_options
= true;
1818 const char *a
= arg
;
1819 unsigned int include_flags
= 0;
1820 /* Note - by default we include undocumented options when listing
1821 specific classes. If you only want to see documented options
1822 then add ",^undocumented" to the --help= option. E.g.:
1824 --help=target,^undocumented */
1825 unsigned int exclude_flags
= 0;
1827 if (lang_mask
== CL_DRIVER
)
1830 /* Walk along the argument string, parsing each word in turn.
1832 arg = [^]{word}[,{arg}]
1833 word = {optimizers|target|warnings|undocumented|
1834 params|common|<language>} */
1844 { "optimizers", CL_OPTIMIZATION
},
1845 { "target", CL_TARGET
},
1846 { "warnings", CL_WARNING
},
1847 { "undocumented", CL_UNDOCUMENTED
},
1848 { "params", CL_PARAMS
},
1849 { "joined", CL_JOINED
},
1850 { "separate", CL_SEPARATE
},
1851 { "common", CL_COMMON
},
1854 unsigned int *pflags
;
1856 unsigned int lang_flag
, specific_flag
;
1865 error_at (loc
, "missing argument to %qs", "--help=^");
1868 pflags
= &exclude_flags
;
1871 pflags
= &include_flags
;
1873 comma
= strchr (a
, ',');
1884 /* Check to see if the string matches an option class name. */
1885 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1886 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1888 specific_flag
= specifics
[i
].flag
;
1892 /* Check to see if the string matches a language name.
1893 Note - we rely upon the alpha-sorted nature of the entries in
1894 the lang_names array, specifically that shorter names appear
1895 before their longer variants. (i.e. C before C++). That way
1896 when we are attempting to match --help=c for example we will
1897 match with C first and not C++. */
1898 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1899 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1901 lang_flag
= 1U << i
;
1905 if (specific_flag
!= 0)
1908 *pflags
|= specific_flag
;
1911 /* The option's argument matches both the start of a
1912 language name and the start of an option class name.
1913 We have a special case for when the user has
1914 specified "--help=c", but otherwise we have to issue
1916 if (strncasecmp (a
, "c", len
) == 0)
1917 *pflags
|= lang_flag
;
1920 "--help argument %q.*s is ambiguous, "
1921 "please be more specific",
1925 else if (lang_flag
!= 0)
1926 *pflags
|= lang_flag
;
1929 "unrecognized argument to --help= option: %q.*s",
1939 target_option_override_hook ();
1940 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1943 opts
->x_exit_after_options
= true;
1948 if (lang_mask
== CL_DRIVER
)
1951 opts
->x_exit_after_options
= true;
1954 case OPT_fsanitize_
:
1955 opts
->x_flag_sanitize
1956 = parse_sanitizer_options (arg
, loc
, code
,
1957 opts
->x_flag_sanitize
, value
, true);
1959 /* Kernel ASan implies normal ASan but does not yet support
1961 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
1963 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD
,
1964 0, opts
->x_param_values
,
1965 opts_set
->x_param_values
);
1966 maybe_set_param_value (PARAM_ASAN_GLOBALS
, 0, opts
->x_param_values
,
1967 opts_set
->x_param_values
);
1968 maybe_set_param_value (PARAM_ASAN_STACK
, 0, opts
->x_param_values
,
1969 opts_set
->x_param_values
);
1970 maybe_set_param_value (PARAM_ASAN_PROTECT_ALLOCAS
, 0,
1971 opts
->x_param_values
,
1972 opts_set
->x_param_values
);
1973 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN
, 0,
1974 opts
->x_param_values
,
1975 opts_set
->x_param_values
);
1979 case OPT_fsanitize_recover_
:
1980 opts
->x_flag_sanitize_recover
1981 = parse_sanitizer_options (arg
, loc
, code
,
1982 opts
->x_flag_sanitize_recover
, value
, true);
1985 case OPT_fasan_shadow_offset_
:
1989 case OPT_fsanitize_address_use_after_scope
:
1990 opts
->x_flag_sanitize_address_use_after_scope
= value
;
1993 case OPT_fsanitize_recover
:
1995 opts
->x_flag_sanitize_recover
1996 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
1997 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1999 opts
->x_flag_sanitize_recover
2000 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
2003 case OPT_fsanitize_coverage_
:
2004 opts
->x_flag_sanitize_coverage
2005 = parse_sanitizer_options (arg
, loc
, code
,
2006 opts
->x_flag_sanitize_coverage
, value
, true);
2013 /* Currently handled in a prescan. */
2017 dc
->warning_as_error_requested
= value
;
2021 if (lang_mask
== CL_DRIVER
)
2024 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
2025 opts
, opts_set
, loc
, dc
);
2028 case OPT_Wlarger_than_
:
2029 opts
->x_larger_than_size
= value
;
2030 opts
->x_warn_larger_than
= value
!= -1;
2033 case OPT_Wfatal_errors
:
2034 dc
->fatal_errors
= value
;
2037 case OPT_Wframe_larger_than_
:
2038 opts
->x_frame_larger_than_size
= value
;
2039 opts
->x_warn_frame_larger_than
= value
!= -1;
2042 case OPT_Wstack_usage_
:
2043 opts
->x_warn_stack_usage
= value
;
2044 opts
->x_flag_stack_usage_info
= value
!= -1;
2047 case OPT_Wstrict_aliasing
:
2048 set_Wstrict_aliasing (opts
, value
);
2051 case OPT_Wstrict_overflow
:
2052 opts
->x_warn_strict_overflow
= (value
2053 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2057 case OPT_Wsystem_headers
:
2058 dc
->dc_warn_system_headers
= value
;
2062 opts
->x_flag_gen_aux_info
= 1;
2065 case OPT_auxbase_strip
:
2067 char *tmp
= xstrdup (arg
);
2068 strip_off_ending (tmp
, strlen (tmp
));
2070 opts
->x_aux_base_name
= tmp
;
2077 decode_d_option (arg
, opts
, loc
, dc
);
2080 case OPT_fcall_used_
:
2081 case OPT_fcall_saved_
:
2089 case OPT_fdbg_cnt_list
:
2091 opts
->x_exit_after_options
= true;
2094 case OPT_fdebug_prefix_map_
:
2098 case OPT_fdiagnostics_show_location_
:
2099 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2102 case OPT_fdiagnostics_show_caret
:
2103 dc
->show_caret
= value
;
2106 case OPT_fdiagnostics_color_
:
2107 diagnostic_color_init (dc
, value
);
2110 case OPT_fdiagnostics_parseable_fixits
:
2111 dc
->parseable_fixits_p
= value
;
2114 case OPT_fdiagnostics_show_option
:
2115 dc
->show_option_requested
= value
;
2122 case OPT_ffast_math
:
2123 set_fast_math_flags (opts
, value
);
2126 case OPT_funsafe_math_optimizations
:
2127 set_unsafe_math_optimizations_flags (opts
, value
);
2134 case OPT_finline_limit_
:
2135 set_param_value ("max-inline-insns-single", value
/ 2,
2136 opts
->x_param_values
, opts_set
->x_param_values
);
2137 set_param_value ("max-inline-insns-auto", value
/ 2,
2138 opts
->x_param_values
, opts_set
->x_param_values
);
2141 case OPT_finstrument_functions_exclude_function_list_
:
2142 add_comma_separated_to_vector
2143 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2146 case OPT_finstrument_functions_exclude_file_list_
:
2147 add_comma_separated_to_vector
2148 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2151 case OPT_fmessage_length_
:
2152 pp_set_line_maximum_length (dc
->printer
, value
);
2153 diagnostic_set_caret_max_width (dc
, value
);
2157 case OPT_fopt_info_
:
2163 const char *p
= arg
;
2164 opts
->x_flag_disable_hsa
= true;
2167 const char *comma
= strchr (p
, ',');
2169 if ((strncmp (p
, "disable", 7) == 0)
2170 && (p
[7] == ',' || p
[7] == '\0'))
2172 opts
->x_flag_disable_hsa
= true;
2176 if ((strncmp (p
, "hsa", 3) == 0)
2177 && (p
[3] == ',' || p
[3] == '\0'))
2180 opts
->x_flag_disable_hsa
= false;
2182 sorry ("HSA has not been enabled during configuration");
2192 #ifndef ACCEL_COMPILER
2193 case OPT_foffload_abi_
:
2194 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2195 "offload compiler");
2199 case OPT_fpack_struct_
:
2200 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2202 "structure alignment must be a small power of two, not %d",
2205 opts
->x_initial_max_fld_align
= value
;
2209 case OPT_fplugin_arg_
:
2213 case OPT_fprofile_use_
:
2214 opts
->x_profile_data_prefix
= xstrdup (arg
);
2215 opts
->x_flag_profile_use
= true;
2217 /* No break here - do -fprofile-use processing. */
2219 case OPT_fprofile_use
:
2220 enable_fdo_optimizations (opts
, opts_set
, value
);
2221 if (!opts_set
->x_flag_profile_reorder_functions
)
2222 opts
->x_flag_profile_reorder_functions
= value
;
2223 /* Indirect call profiling should do all useful transformations
2224 speculative devirtualization does. */
2225 if (!opts_set
->x_flag_devirtualize_speculatively
2226 && opts
->x_flag_value_profile_transformations
)
2227 opts
->x_flag_devirtualize_speculatively
= false;
2230 case OPT_fauto_profile_
:
2231 opts
->x_auto_profile_file
= xstrdup (arg
);
2232 opts
->x_flag_auto_profile
= true;
2234 /* No break here - do -fauto-profile processing. */
2236 case OPT_fauto_profile
:
2237 enable_fdo_optimizations (opts
, opts_set
, value
);
2238 if (!opts_set
->x_flag_profile_correction
)
2239 opts
->x_flag_profile_correction
= value
;
2240 maybe_set_param_value (
2241 PARAM_EARLY_INLINER_MAX_ITERATIONS
, 10,
2242 opts
->x_param_values
, opts_set
->x_param_values
);
2245 case OPT_fprofile_generate_
:
2246 opts
->x_profile_data_prefix
= xstrdup (arg
);
2248 /* No break here - do -fprofile-generate processing. */
2250 case OPT_fprofile_generate
:
2251 if (!opts_set
->x_profile_arc_flag
)
2252 opts
->x_profile_arc_flag
= value
;
2253 if (!opts_set
->x_flag_profile_values
)
2254 opts
->x_flag_profile_values
= value
;
2255 if (!opts_set
->x_flag_inline_functions
)
2256 opts
->x_flag_inline_functions
= value
;
2257 if (!opts_set
->x_flag_ipa_bit_cp
)
2258 opts
->x_flag_ipa_bit_cp
= value
;
2259 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
2260 quadratic. Disable the pass until better memory representation
2262 if (!opts_set
->x_flag_ipa_reference
)
2263 opts
->x_flag_ipa_reference
= false;
2266 case OPT_fpatchable_function_entry_
:
2268 char *patch_area_arg
= xstrdup (arg
);
2269 char *comma
= strchr (patch_area_arg
, ',');
2273 function_entry_patch_area_size
=
2274 integral_argument (patch_area_arg
);
2275 function_entry_patch_area_start
=
2276 integral_argument (comma
+ 1);
2280 function_entry_patch_area_size
=
2281 integral_argument (patch_area_arg
);
2282 function_entry_patch_area_start
= 0;
2284 if (function_entry_patch_area_size
< 0
2285 || function_entry_patch_area_start
< 0
2286 || function_entry_patch_area_size
2287 < function_entry_patch_area_start
)
2288 error ("invalid arguments for %<-fpatchable_function_entry%>");
2289 free (patch_area_arg
);
2293 case OPT_ftree_vectorize
:
2294 /* Automatically sets -ftree-loop-vectorize and
2295 -ftree-slp-vectorize. Nothing more to do here. */
2297 case OPT_fshow_column
:
2298 dc
->show_column
= value
;
2301 case OPT_frandom_seed
:
2302 /* The real switch is -fno-random-seed. */
2308 case OPT_frandom_seed_
:
2312 case OPT_fsched_verbose_
:
2313 #ifdef INSN_SCHEDULING
2314 /* Handled with Var in common.opt. */
2320 case OPT_fsched_stalled_insns_
:
2321 opts
->x_flag_sched_stalled_insns
= value
;
2322 if (opts
->x_flag_sched_stalled_insns
== 0)
2323 opts
->x_flag_sched_stalled_insns
= -1;
2326 case OPT_fsched_stalled_insns_dep_
:
2327 opts
->x_flag_sched_stalled_insns_dep
= value
;
2330 case OPT_fstack_check_
:
2331 if (!strcmp (arg
, "no"))
2332 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2333 else if (!strcmp (arg
, "generic"))
2334 /* This is the old stack checking method. */
2335 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2336 ? FULL_BUILTIN_STACK_CHECK
2337 : GENERIC_STACK_CHECK
;
2338 else if (!strcmp (arg
, "specific"))
2339 /* This is the new stack checking method. */
2340 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2341 ? FULL_BUILTIN_STACK_CHECK
2342 : STACK_CHECK_STATIC_BUILTIN
2343 ? STATIC_BUILTIN_STACK_CHECK
2344 : GENERIC_STACK_CHECK
;
2346 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2349 case OPT_fstack_limit
:
2350 /* The real switch is -fno-stack-limit. */
2356 case OPT_fstack_limit_register_
:
2357 case OPT_fstack_limit_symbol_
:
2361 case OPT_fstack_usage
:
2362 opts
->x_flag_stack_usage
= value
;
2363 opts
->x_flag_stack_usage_info
= value
!= 0;
2367 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2372 if (arg
&& strlen (arg
) != 0)
2374 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2375 "use %<-gdwarf-%s%> for DWARF version "
2376 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
2380 value
= opts
->x_dwarf_version
;
2384 if (value
< 2 || value
> 5)
2385 error_at (loc
, "dwarf version %d is not supported", value
);
2387 opts
->x_dwarf_version
= value
;
2388 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2391 case OPT_gsplit_dwarf
:
2392 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2397 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2402 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2407 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2412 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2418 /* Handled completely via specs. */
2421 case OPT_pedantic_errors
:
2422 dc
->pedantic_errors
= 1;
2423 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2425 handlers
, opts
, opts_set
,
2430 opts
->x_flag_lto
= value
? "" : NULL
;
2434 dc
->dc_inhibit_warnings
= true;
2437 case OPT_fmax_errors_
:
2438 dc
->max_errors
= value
;
2441 case OPT_fuse_ld_bfd
:
2442 case OPT_fuse_ld_gold
:
2443 case OPT_fuse_linker_plugin
:
2444 /* No-op. Used by the driver and passed to us because it starts with f.*/
2449 opts
->x_flag_trapv
= 0;
2454 opts
->x_flag_wrapv
= 0;
2458 opts
->x_flag_ipa_icf_functions
= value
;
2459 opts
->x_flag_ipa_icf_variables
= value
;
2463 /* If the flag was handled in a standard way, assume the lack of
2464 processing here is intentional. */
2465 gcc_assert (option_flag_var (scode
, opts
));
2469 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2474 /* Handle --param NAME=VALUE. */
2476 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2477 location_t loc
, const char *carg
)
2482 arg
= xstrdup (carg
);
2483 equal
= strchr (arg
, '=');
2485 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
2491 enum compiler_param index
;
2492 if (!find_param (arg
, &index
))
2494 const char *suggestion
= find_param_fuzzy (arg
);
2496 error_at (loc
, "invalid --param name %qs; did you mean %qs?",
2499 error_at (loc
, "invalid --param name %qs", arg
);
2503 if (!param_string_value_p (index
, equal
+ 1, &value
))
2504 value
= integral_argument (equal
+ 1);
2507 error_at (loc
, "invalid --param value %qs", equal
+ 1);
2509 set_param_value (arg
, value
,
2510 opts
->x_param_values
, opts_set
->x_param_values
);
2517 /* Used to set the level of strict aliasing warnings in OPTS,
2518 when no level is specified (i.e., when -Wstrict-aliasing, and not
2519 -Wstrict-aliasing=level was given).
2520 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2521 and 0 otherwise. After calling this function, wstrict_aliasing will be
2522 set to the default value of -Wstrict_aliasing=level, currently 3. */
2524 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2526 gcc_assert (onoff
== 0 || onoff
== 1);
2528 opts
->x_warn_strict_aliasing
= 3;
2530 opts
->x_warn_strict_aliasing
= 0;
2533 /* The following routines are useful in setting all the flags that
2534 -ffast-math and -fno-fast-math imply. */
2536 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2538 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2540 opts
->x_flag_unsafe_math_optimizations
= set
;
2541 set_unsafe_math_optimizations_flags (opts
, set
);
2543 if (!opts
->frontend_set_flag_finite_math_only
)
2544 opts
->x_flag_finite_math_only
= set
;
2545 if (!opts
->frontend_set_flag_errno_math
)
2546 opts
->x_flag_errno_math
= !set
;
2549 if (opts
->frontend_set_flag_excess_precision_cmdline
2550 == EXCESS_PRECISION_DEFAULT
)
2551 opts
->x_flag_excess_precision_cmdline
2552 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
2553 if (!opts
->frontend_set_flag_signaling_nans
)
2554 opts
->x_flag_signaling_nans
= 0;
2555 if (!opts
->frontend_set_flag_rounding_math
)
2556 opts
->x_flag_rounding_math
= 0;
2557 if (!opts
->frontend_set_flag_cx_limited_range
)
2558 opts
->x_flag_cx_limited_range
= 1;
2562 /* When -funsafe-math-optimizations is set the following
2563 flags are set as well. */
2565 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2567 if (!opts
->frontend_set_flag_trapping_math
)
2568 opts
->x_flag_trapping_math
= !set
;
2569 if (!opts
->frontend_set_flag_signed_zeros
)
2570 opts
->x_flag_signed_zeros
= !set
;
2571 if (!opts
->frontend_set_flag_associative_math
)
2572 opts
->x_flag_associative_math
= set
;
2573 if (!opts
->frontend_set_flag_reciprocal_math
)
2574 opts
->x_flag_reciprocal_math
= set
;
2577 /* Return true iff flags in OPTS are set as if -ffast-math. */
2579 fast_math_flags_set_p (const struct gcc_options
*opts
)
2581 return (!opts
->x_flag_trapping_math
2582 && opts
->x_flag_unsafe_math_optimizations
2583 && opts
->x_flag_finite_math_only
2584 && !opts
->x_flag_signed_zeros
2585 && !opts
->x_flag_errno_math
2586 && opts
->x_flag_excess_precision_cmdline
2587 == EXCESS_PRECISION_FAST
);
2590 /* Return true iff flags are set as if -ffast-math but using the flags stored
2591 in the struct cl_optimization structure. */
2593 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2595 return (!opt
->x_flag_trapping_math
2596 && opt
->x_flag_unsafe_math_optimizations
2597 && opt
->x_flag_finite_math_only
2598 && !opt
->x_flag_signed_zeros
2599 && !opt
->x_flag_errno_math
);
2602 /* Handle a debug output -g switch for options OPTS
2603 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2604 explicitly), location LOC. EXTENDED is true or false to support
2605 extended output (2 is special and means "-ggdb" was given). */
2607 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2608 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2611 opts
->x_use_gnu_debug_info_extensions
= extended
;
2613 if (type
== NO_DEBUG
)
2615 if (opts
->x_write_symbols
== NO_DEBUG
)
2617 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2621 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2622 opts
->x_write_symbols
= DWARF2_DEBUG
;
2623 #elif defined DBX_DEBUGGING_INFO
2624 opts
->x_write_symbols
= DBX_DEBUG
;
2628 if (opts
->x_write_symbols
== NO_DEBUG
)
2629 warning_at (loc
, 0, "target system does not support debug output");
2634 /* Does it conflict with an already selected type? */
2635 if (opts_set
->x_write_symbols
!= NO_DEBUG
2636 && opts
->x_write_symbols
!= NO_DEBUG
2637 && type
!= opts
->x_write_symbols
)
2638 error_at (loc
, "debug format %qs conflicts with prior selection",
2639 debug_type_names
[type
]);
2640 opts
->x_write_symbols
= type
;
2641 opts_set
->x_write_symbols
= type
;
2644 /* A debug flag without a level defaults to level 2.
2645 If off or at level 1, set it to level 2, but if already
2646 at level 3, don't lower it. */
2649 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2650 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2654 int argval
= integral_argument (arg
);
2656 error_at (loc
, "unrecognized debug output level %qs", arg
);
2657 else if (argval
> 3)
2658 error_at (loc
, "debug output level %qs is too high", arg
);
2660 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2664 /* Arrange to dump core on error for diagnostic context DC. (The
2665 regular error message is still printed first, except in the case of
2669 setup_core_dumping (diagnostic_context
*dc
)
2672 signal (SIGABRT
, SIG_DFL
);
2674 #if defined(HAVE_SETRLIMIT)
2677 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2678 fatal_error (input_location
, "getting core file size maximum limit: %m");
2679 rlim
.rlim_cur
= rlim
.rlim_max
;
2680 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2681 fatal_error (input_location
,
2682 "setting core file size limit to maximum: %m");
2685 diagnostic_abort_on_error (dc
);
2688 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2689 diagnostic context DC. */
2692 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2693 location_t loc
, diagnostic_context
*dc
)
2701 opts
->x_flag_debug_asm
= 1;
2704 opts
->x_flag_print_asm_name
= 1;
2707 opts
->x_flag_dump_rtl_in_asm
= 1;
2708 opts
->x_flag_print_asm_name
= 1;
2711 opts
->x_rtl_dump_and_exit
= 1;
2713 case 'D': /* These are handled by the preprocessor. */
2720 setup_core_dumping (dc
);
2723 opts
->x_flag_dump_all_passed
= true;
2727 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2732 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2733 mask LANG_MASK, option handlers HANDLERS) as an error for option
2734 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2735 NULL), location LOC. This is used by -Werror=. */
2738 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2739 const struct cl_option_handlers
*handlers
,
2740 struct gcc_options
*opts
,
2741 struct gcc_options
*opts_set
,
2742 location_t loc
, diagnostic_context
*dc
)
2747 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2748 new_option
[0] = 'W';
2749 strcpy (new_option
+ 1, arg
);
2750 option_index
= find_opt (new_option
, lang_mask
);
2751 if (option_index
== OPT_SPECIAL_unknown
)
2752 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2753 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
2754 error_at (loc
, "-Werror=%s: -%s is not an option that controls warnings",
2758 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2759 const char *arg
= NULL
;
2761 if (cl_options
[option_index
].flags
& CL_JOINED
)
2762 arg
= new_option
+ cl_options
[option_index
].opt_len
;
2763 control_warning_option (option_index
, (int) kind
, arg
, value
,
2765 handlers
, opts
, opts_set
, dc
);
2770 /* Return malloced memory for the name of the option OPTION_INDEX
2771 which enabled a diagnostic (context CONTEXT), originally of type
2772 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2776 option_name (diagnostic_context
*context
, int option_index
,
2777 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2781 /* A warning classified as an error. */
2782 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2783 && diag_kind
== DK_ERROR
)
2784 return concat (cl_options
[OPT_Werror_
].opt_text
,
2785 /* Skip over "-W". */
2786 cl_options
[option_index
].opt_text
+ 2,
2788 /* A warning with option. */
2790 return xstrdup (cl_options
[option_index
].opt_text
);
2792 /* A warning without option classified as an error. */
2793 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2794 || diag_kind
== DK_WARNING
)
2795 && context
->warning_as_error_requested
)
2796 return xstrdup (cl_options
[OPT_Werror
].opt_text
);