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_fgcse_after_reload
, NULL
, 1 },
539 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
540 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
541 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
542 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
543 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
544 { OPT_LEVELS_3_PLUS
, OPT_fpeel_loops
, NULL
, 1 },
546 /* -Ofast adds optimizations to -O3. */
547 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
549 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
552 /* Default the options in OPTS and OPTS_SET based on the optimization
553 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
555 default_options_optimization (struct gcc_options
*opts
,
556 struct gcc_options
*opts_set
,
557 struct cl_decoded_option
*decoded_options
,
558 unsigned int decoded_options_count
,
560 unsigned int lang_mask
,
561 const struct cl_option_handlers
*handlers
,
562 diagnostic_context
*dc
)
566 bool openacc_mode
= false;
568 /* Scan to see what optimization level has been specified. That will
569 determine the default value of many flags. */
570 for (i
= 1; i
< decoded_options_count
; i
++)
572 struct cl_decoded_option
*opt
= &decoded_options
[i
];
573 switch (opt
->opt_index
)
576 if (*opt
->arg
== '\0')
578 opts
->x_optimize
= 1;
579 opts
->x_optimize_size
= 0;
580 opts
->x_optimize_fast
= 0;
581 opts
->x_optimize_debug
= 0;
585 const int optimize_val
= integral_argument (opt
->arg
);
586 if (optimize_val
== -1)
587 error_at (loc
, "argument to %<-O%> should be a non-negative "
588 "integer, %<g%>, %<s%> or %<fast%>");
591 opts
->x_optimize
= optimize_val
;
592 if ((unsigned int) opts
->x_optimize
> 255)
593 opts
->x_optimize
= 255;
594 opts
->x_optimize_size
= 0;
595 opts
->x_optimize_fast
= 0;
596 opts
->x_optimize_debug
= 0;
602 opts
->x_optimize_size
= 1;
604 /* Optimizing for size forces optimize to be 2. */
605 opts
->x_optimize
= 2;
606 opts
->x_optimize_fast
= 0;
607 opts
->x_optimize_debug
= 0;
611 /* -Ofast only adds flags to -O3. */
612 opts
->x_optimize_size
= 0;
613 opts
->x_optimize
= 3;
614 opts
->x_optimize_fast
= 1;
615 opts
->x_optimize_debug
= 0;
619 /* -Og selects optimization level 1. */
620 opts
->x_optimize_size
= 0;
621 opts
->x_optimize
= 1;
622 opts
->x_optimize_fast
= 0;
623 opts
->x_optimize_debug
= 1;
632 /* Ignore other options in this prescan. */
637 maybe_default_options (opts
, opts_set
, default_options_table
,
638 opts
->x_optimize
, opts
->x_optimize_size
,
639 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
640 lang_mask
, handlers
, loc
, dc
);
642 /* -O2 param settings. */
643 opt2
= (opts
->x_optimize
>= 2);
646 && !opts_set
->x_flag_ipa_pta
)
647 opts
->x_flag_ipa_pta
= true;
649 /* Track fields in field-sensitive alias analysis. */
650 maybe_set_param_value
651 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
652 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
653 opts
->x_param_values
, opts_set
->x_param_values
);
655 /* For -O1 only do loop invariant motion for very small loops. */
656 maybe_set_param_value
657 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
658 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
659 opts
->x_param_values
, opts_set
->x_param_values
);
661 /* At -Ofast, allow store motion to introduce potential race conditions. */
662 maybe_set_param_value
663 (PARAM_ALLOW_STORE_DATA_RACES
,
664 opts
->x_optimize_fast
? 1
665 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES
),
666 opts
->x_param_values
, opts_set
->x_param_values
);
668 if (opts
->x_optimize_size
)
669 /* We want to crossjump as much as possible. */
670 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
671 opts
->x_param_values
, opts_set
->x_param_values
);
673 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
674 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
675 opts
->x_param_values
, opts_set
->x_param_values
);
677 /* Restrict the amount of work combine does at -Og while retaining
678 most of its useful transforms. */
679 if (opts
->x_optimize_debug
)
680 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS
, 2,
681 opts
->x_param_values
, opts_set
->x_param_values
);
683 /* Allow default optimizations to be specified on a per-machine basis. */
684 maybe_default_options (opts
, opts_set
,
685 targetm_common
.option_optimization_table
,
686 opts
->x_optimize
, opts
->x_optimize_size
,
687 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
688 lang_mask
, handlers
, loc
, dc
);
691 /* After all options at LOC have been read into OPTS and OPTS_SET,
692 finalize settings of those options and diagnose incompatible
695 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
698 enum unwind_info_type ui_except
;
700 if (opts
->x_dump_base_name
701 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
702 && ! opts
->x_dump_base_name_prefixed
)
704 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
705 OPTS->X_DUMP_DIR_NAME directory. Then try to make
706 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
707 directory, typically the directory to contain the object
709 if (opts
->x_dump_dir_name
)
710 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
711 opts
->x_dump_base_name
, NULL
);
712 else if (opts
->x_aux_base_name
713 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
715 const char *aux_base
;
717 base_of_path (opts
->x_aux_base_name
, &aux_base
);
718 if (opts
->x_aux_base_name
!= aux_base
)
720 int dir_len
= aux_base
- opts
->x_aux_base_name
;
721 char *new_dump_base_name
722 = XOBNEWVEC (&opts_obstack
, char,
723 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
725 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
726 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
727 /* Append existing OPTS->X_DUMP_BASE_NAME. */
728 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
729 opts
->x_dump_base_name
= new_dump_base_name
;
732 opts
->x_dump_base_name_prefixed
= true;
735 /* Handle related options for unit-at-a-time, toplevel-reorder, and
737 if (!opts
->x_flag_unit_at_a_time
)
739 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
740 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
742 opts
->x_flag_section_anchors
= 0;
743 if (opts
->x_flag_toplevel_reorder
== 1)
744 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
746 opts
->x_flag_toplevel_reorder
= 0;
749 /* -fself-test depends on the state of the compiler prior to
750 compiling anything. Ideally it should be run on an empty source
751 file. However, in case we get run with actual source, assume
752 -fsyntax-only which will inhibit any compiler initialization
753 which may confuse the self tests. */
754 if (opts
->x_flag_self_test
)
755 opts
->x_flag_syntax_only
= 1;
757 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
758 sorry ("transactional memory is not supported with non-call exceptions");
760 /* Unless the user has asked for section anchors, we disable toplevel
761 reordering at -O0 to disable transformations that might be surprising
762 to end users and to get -fno-toplevel-reorder tested. */
763 if (!opts
->x_optimize
764 && opts
->x_flag_toplevel_reorder
== 2
765 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
767 opts
->x_flag_toplevel_reorder
= 0;
768 opts
->x_flag_section_anchors
= 0;
770 if (!opts
->x_flag_toplevel_reorder
)
772 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
773 error_at (loc
, "section anchors must be disabled when toplevel reorder"
775 opts
->x_flag_section_anchors
= 0;
778 if (!opts
->x_flag_opts_finished
)
780 /* We initialize opts->x_flag_pie to -1 so that targets can set a
782 if (opts
->x_flag_pie
== -1)
784 /* We initialize opts->x_flag_pic to -1 so that we can tell if
785 -fpic, -fPIC, -fno-pic or -fno-PIC is used. */
786 if (opts
->x_flag_pic
== -1)
787 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
789 opts
->x_flag_pie
= 0;
791 /* If -fPIE or -fpie is used, turn on PIC. */
792 if (opts
->x_flag_pie
)
793 opts
->x_flag_pic
= opts
->x_flag_pie
;
794 else if (opts
->x_flag_pic
== -1)
795 opts
->x_flag_pic
= 0;
796 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
797 opts
->x_flag_shlib
= 1;
798 opts
->x_flag_opts_finished
= true;
801 /* We initialize opts->x_flag_stack_protect to -1 so that targets
802 can set a default value. */
803 if (opts
->x_flag_stack_protect
== -1)
804 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
806 if (opts
->x_optimize
== 0)
808 /* Inlining does not work if not optimizing,
809 so force it not to be done. */
810 opts
->x_warn_inline
= 0;
811 opts
->x_flag_no_inline
= 1;
814 /* The optimization to partition hot and cold basic blocks into separate
815 sections of the .o and executable files does not work (currently)
816 with exception handling. This is because there is no support for
817 generating unwind info. If opts->x_flag_exceptions is turned on
818 we need to turn off the partitioning optimization. */
820 ui_except
= targetm_common
.except_unwind_info (opts
);
822 if (opts
->x_flag_exceptions
823 && opts
->x_flag_reorder_blocks_and_partition
824 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
826 if (opts_set
->x_flag_reorder_blocks_and_partition
)
828 "%<-freorder-blocks-and-partition%> does not work "
829 "with exceptions on this architecture");
830 opts
->x_flag_reorder_blocks_and_partition
= 0;
831 opts
->x_flag_reorder_blocks
= 1;
834 /* If user requested unwind info, then turn off the partitioning
837 if (opts
->x_flag_unwind_tables
838 && !targetm_common
.unwind_tables_default
839 && opts
->x_flag_reorder_blocks_and_partition
840 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
842 if (opts_set
->x_flag_reorder_blocks_and_partition
)
844 "%<-freorder-blocks-and-partition%> does not support "
845 "unwind info on this architecture");
846 opts
->x_flag_reorder_blocks_and_partition
= 0;
847 opts
->x_flag_reorder_blocks
= 1;
850 /* If the target requested unwind info, then turn off the partitioning
851 optimization with a different message. Likewise, if the target does not
852 support named sections. */
854 if (opts
->x_flag_reorder_blocks_and_partition
855 && (!targetm_common
.have_named_sections
856 || (opts
->x_flag_unwind_tables
857 && targetm_common
.unwind_tables_default
858 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
860 if (opts_set
->x_flag_reorder_blocks_and_partition
)
862 "%<-freorder-blocks-and-partition%> does not work "
863 "on this architecture");
864 opts
->x_flag_reorder_blocks_and_partition
= 0;
865 opts
->x_flag_reorder_blocks
= 1;
869 /* Pipelining of outer loops is only possible when general pipelining
870 capabilities are requested. */
871 if (!opts
->x_flag_sel_sched_pipelining
)
872 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
874 if (opts
->x_flag_conserve_stack
)
876 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
877 opts
->x_param_values
, opts_set
->x_param_values
);
878 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
879 opts
->x_param_values
, opts_set
->x_param_values
);
882 if (opts
->x_flag_lto
)
885 opts
->x_flag_generate_lto
= 1;
887 /* When generating IL, do not operate in whole-program mode.
888 Otherwise, symbols will be privatized too early, causing link
890 opts
->x_flag_whole_program
= 0;
892 error_at (loc
, "LTO support has not been enabled in this configuration");
894 if (!opts
->x_flag_fat_lto_objects
896 || (opts_set
->x_flag_use_linker_plugin
897 && !opts
->x_flag_use_linker_plugin
)))
899 if (opts_set
->x_flag_fat_lto_objects
)
900 error_at (loc
, "%<-fno-fat-lto-objects%> are supported only with "
902 opts
->x_flag_fat_lto_objects
= 1;
906 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
907 default value if they choose based on other options. */
908 if (opts
->x_flag_split_stack
== -1)
909 opts
->x_flag_split_stack
= 0;
910 else if (opts
->x_flag_split_stack
)
912 if (!targetm_common
.supports_split_stack (true, opts
))
914 error_at (loc
, "%<-fsplit-stack%> is not supported by "
915 "this compiler configuration");
916 opts
->x_flag_split_stack
= 0;
920 /* If stack splitting is turned on, and the user did not explicitly
921 request function partitioning, turn off partitioning, as it
922 confuses the linker when trying to handle partitioned split-stack
923 code that calls a non-split-stack functions. But if partitioning
924 was turned on explicitly just hope for the best. */
925 if (opts
->x_flag_split_stack
926 && opts
->x_flag_reorder_blocks_and_partition
927 && !opts_set
->x_flag_reorder_blocks_and_partition
)
928 opts
->x_flag_reorder_blocks_and_partition
= 0;
930 if (opts
->x_flag_reorder_blocks_and_partition
931 && !opts_set
->x_flag_reorder_functions
)
932 opts
->x_flag_reorder_functions
= 1;
934 /* Tune vectorization related parametees according to cost model. */
935 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
937 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
938 6, opts
->x_param_values
, opts_set
->x_param_values
);
939 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
940 0, opts
->x_param_values
, opts_set
->x_param_values
);
941 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
942 0, opts
->x_param_values
, opts_set
->x_param_values
);
945 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
947 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
948 || !opts
->x_flag_tree_loop_if_convert
)
949 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
950 opts
->x_param_values
, opts_set
->x_param_values
);
952 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
953 if (opts
->x_dwarf_split_debug_info
)
954 opts
->x_debug_generate_pub_sections
= 2;
956 /* Userspace and kernel ASan conflict with each other. */
957 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
958 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
960 "%<-fsanitize=address%> is incompatible with "
961 "%<-fsanitize=kernel-address%>");
964 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
965 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
967 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
968 "are incompatible with %<-fsanitize=thread%>");
970 if ((opts
->x_flag_sanitize
& SANITIZE_LEAK
)
971 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
973 "%<-fsanitize=leak%> is incompatible with %<-fsanitize=thread%>");
975 /* Check error recovery for -fsanitize-recover option. */
976 for (int i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
977 if ((opts
->x_flag_sanitize_recover
& sanitizer_opts
[i
].flag
)
978 && !sanitizer_opts
[i
].can_recover
)
979 error_at (loc
, "%<-fsanitize-recover=%s%> is not supported",
980 sanitizer_opts
[i
].name
);
982 /* When instrumenting the pointers, we don't want to remove
983 the null pointer checks. */
984 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
985 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
986 opts
->x_flag_delete_null_pointer_checks
= 0;
988 /* Aggressive compiler optimizations may cause false negatives. */
989 if (opts
->x_flag_sanitize
& ~(SANITIZE_LEAK
| SANITIZE_UNREACHABLE
))
990 opts
->x_flag_aggressive_loop_optimizations
= 0;
992 /* Enable -fsanitize-address-use-after-scope if address sanitizer is
994 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
995 && !opts_set
->x_flag_sanitize_address_use_after_scope
)
996 opts
->x_flag_sanitize_address_use_after_scope
= true;
998 /* Force -fstack-reuse=none in case -fsanitize-address-use-after-scope
1000 if (opts
->x_flag_sanitize_address_use_after_scope
)
1002 if (opts
->x_flag_stack_reuse
!= SR_NONE
1003 && opts_set
->x_flag_stack_reuse
!= SR_NONE
)
1005 "%<-fsanitize-address-use-after-scope%> requires "
1006 "%<-fstack-reuse=none%> option");
1008 opts
->x_flag_stack_reuse
= SR_NONE
;
1011 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
) && opts
->x_flag_tm
)
1012 sorry ("transactional memory is not supported with %<-fsanitize=address%>");
1014 if ((opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
) && opts
->x_flag_tm
)
1015 sorry ("transactional memory is not supported with "
1016 "%<-fsanitize=kernel-address%>");
1019 #define LEFT_COLUMN 27
1021 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1022 followed by word-wrapped HELP in a second column. */
1024 wrap_help (const char *help
,
1026 unsigned int item_width
,
1027 unsigned int columns
)
1029 unsigned int col_width
= LEFT_COLUMN
;
1030 unsigned int remaining
, room
, len
;
1032 remaining
= strlen (help
);
1036 room
= columns
- 3 - MAX (col_width
, item_width
);
1045 for (i
= 0; help
[i
]; i
++)
1047 if (i
>= room
&& len
!= remaining
)
1051 else if ((help
[i
] == '-' || help
[i
] == '/')
1052 && help
[i
+ 1] != ' '
1053 && i
> 0 && ISALPHA (help
[i
- 1]))
1058 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1060 while (help
[len
] == ' ')
1068 /* Print help for a specific front-end, etc. */
1070 print_filtered_help (unsigned int include_flags
,
1071 unsigned int exclude_flags
,
1072 unsigned int any_flags
,
1073 unsigned int columns
,
1074 struct gcc_options
*opts
,
1075 unsigned int lang_mask
)
1080 bool displayed
= false;
1083 if (include_flags
== CL_PARAMS
)
1085 for (i
= 0; i
< LAST_PARAM
; i
++)
1087 const char *param
= compiler_params
[i
].option
;
1089 help
= compiler_params
[i
].help
;
1090 if (help
== NULL
|| *help
== '\0')
1092 if (exclude_flags
& CL_UNDOCUMENTED
)
1094 help
= undocumented_msg
;
1097 /* Get the translation. */
1100 if (!opts
->x_quiet_flag
)
1102 snprintf (new_help
, sizeof (new_help
),
1103 _("default %d minimum %d maximum %d"),
1104 compiler_params
[i
].default_value
,
1105 compiler_params
[i
].min_value
,
1106 compiler_params
[i
].max_value
);
1109 wrap_help (help
, param
, strlen (param
), columns
);
1115 if (!opts
->x_help_printed
)
1116 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1118 if (!opts
->x_help_enum_printed
)
1119 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1121 for (i
= 0; i
< cl_options_count
; i
++)
1123 const struct cl_option
*option
= cl_options
+ i
;
1128 if (include_flags
== 0
1129 || ((option
->flags
& include_flags
) != include_flags
))
1131 if ((option
->flags
& any_flags
) == 0)
1135 /* Skip unwanted switches. */
1136 if ((option
->flags
& exclude_flags
) != 0)
1139 /* The driver currently prints its own help text. */
1140 if ((option
->flags
& CL_DRIVER
) != 0
1141 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1142 | CL_COMMON
| CL_TARGET
)) == 0)
1146 /* Skip switches that have already been printed. */
1147 if (opts
->x_help_printed
[i
])
1150 opts
->x_help_printed
[i
] = true;
1152 help
= option
->help
;
1155 if (exclude_flags
& CL_UNDOCUMENTED
)
1158 help
= undocumented_msg
;
1161 if (option
->alias_target
< N_OPTS
1162 && cl_options
[option
->alias_target
].help
)
1164 if (help
== undocumented_msg
)
1166 /* For undocumented options that are aliases for other options
1167 that are documented, point the reader to the other option in
1168 preference of the former. */
1169 snprintf (new_help
, sizeof new_help
,
1170 _("Same as %s. Use the latter option instead."),
1171 cl_options
[option
->alias_target
].opt_text
);
1175 /* For documented options with aliases, mention the aliased
1176 option's name for reference. */
1177 snprintf (new_help
, sizeof new_help
,
1178 _("%s Same as %s."),
1179 help
, cl_options
[option
->alias_target
].opt_text
);
1185 if (option
->warn_message
)
1187 /* Mention that the use of the option will trigger a warning. */
1188 if (help
== new_help
)
1189 snprintf (new_help
+ strlen (new_help
),
1190 sizeof new_help
- strlen (new_help
),
1191 " %s", _(use_diagnosed_msg
));
1193 snprintf (new_help
, sizeof new_help
,
1194 "%s %s", help
, _(use_diagnosed_msg
));
1199 /* Get the translation. */
1202 /* Find the gap between the name of the
1203 option and its descriptive text. */
1204 tab
= strchr (help
, '\t');
1213 opt
= option
->opt_text
;
1217 /* With the -Q option enabled we change the descriptive text associated
1218 with an option to be an indication of its current setting. */
1219 if (!opts
->x_quiet_flag
)
1221 void *flag_var
= option_flag_var (i
, opts
);
1223 if (len
< (LEFT_COLUMN
+ 2))
1224 strcpy (new_help
, "\t\t");
1226 strcpy (new_help
, "\t");
1228 if (flag_var
!= NULL
1229 && option
->var_type
!= CLVC_DEFER
)
1231 if (option
->flags
& CL_JOINED
)
1233 if (option
->var_type
== CLVC_STRING
)
1235 if (* (const char **) flag_var
!= NULL
)
1236 snprintf (new_help
+ strlen (new_help
),
1237 sizeof (new_help
) - strlen (new_help
),
1238 "%s", * (const char **) flag_var
);
1240 else if (option
->var_type
== CLVC_ENUM
)
1242 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1244 const char *arg
= NULL
;
1246 value
= e
->get (flag_var
);
1247 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1249 arg
= _("[default]");
1250 snprintf (new_help
+ strlen (new_help
),
1251 sizeof (new_help
) - strlen (new_help
),
1255 sprintf (new_help
+ strlen (new_help
),
1256 "%d", * (int *) flag_var
);
1259 strcat (new_help
, option_enabled (i
, opts
)
1260 ? _("[enabled]") : _("[disabled]"));
1266 if (option
->range_max
!= -1)
1269 snprintf (b
, sizeof (b
), "<%d,%d>", option
->range_min
,
1271 opt
= concat (opt
, b
, NULL
);
1275 wrap_help (help
, opt
, len
, columns
);
1278 if (option
->var_type
== CLVC_ENUM
1279 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1280 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1285 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1288 printf (_(" No options with the desired characteristics were found\n"));
1293 /* PR 31349: Tell the user how to see all of the
1294 options supported by a specific front end. */
1295 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1296 if ((1U << i
) & langs
)
1297 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end.\n"),
1298 lang_names
[i
], lang_names
[i
]);
1302 else if (! displayed
)
1303 printf (_(" All options with the desired characteristics have already been displayed\n"));
1307 /* Print details of enumerated option arguments, if those
1308 enumerations have help text headings provided. If no help text
1309 is provided, presume that the possible values are listed in the
1310 help text for the relevant options. */
1311 for (i
= 0; i
< cl_enums_count
; i
++)
1313 unsigned int j
, pos
;
1315 if (opts
->x_help_enum_printed
[i
] != 1)
1317 if (cl_enums
[i
].help
== NULL
)
1319 printf (" %s\n ", _(cl_enums
[i
].help
));
1321 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1323 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1325 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1327 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1337 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1342 opts
->x_help_enum_printed
[i
] = 2;
1346 /* Display help for a specified type of option.
1347 The options must have ALL of the INCLUDE_FLAGS set
1348 ANY of the flags in the ANY_FLAGS set
1349 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1350 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1352 print_specific_help (unsigned int include_flags
,
1353 unsigned int exclude_flags
,
1354 unsigned int any_flags
,
1355 struct gcc_options
*opts
,
1356 unsigned int lang_mask
)
1358 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1359 const char * description
= NULL
;
1360 const char * descrip_extra
= "";
1364 /* Sanity check: Make sure that we do not have more
1365 languages than we have bits available to enumerate them. */
1366 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1368 /* If we have not done so already, obtain
1369 the desired maximum width of the output. */
1370 if (opts
->x_help_columns
== 0)
1372 opts
->x_help_columns
= get_terminal_width ();
1373 if (opts
->x_help_columns
== INT_MAX
)
1374 /* Use a reasonable default. */
1375 opts
->x_help_columns
= 80;
1378 /* Decide upon the title for the options that we are going to display. */
1379 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1381 switch (flag
& include_flags
)
1388 description
= _("The following options are target specific");
1391 description
= _("The following options control compiler warning messages");
1393 case CL_OPTIMIZATION
:
1394 description
= _("The following options control optimizations");
1397 description
= _("The following options are language-independent");
1400 description
= _("The --param option recognizes the following as parameters");
1403 if (i
>= cl_lang_count
)
1405 if (exclude_flags
& all_langs_mask
)
1406 description
= _("The following options are specific to just the language ");
1408 description
= _("The following options are supported by the language ");
1409 descrip_extra
= lang_names
[i
];
1414 if (description
== NULL
)
1418 if (include_flags
& CL_UNDOCUMENTED
)
1419 description
= _("The following options are not documented");
1420 else if (include_flags
& CL_SEPARATE
)
1421 description
= _("The following options take separate arguments");
1422 else if (include_flags
& CL_JOINED
)
1423 description
= _("The following options take joined arguments");
1426 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1433 if (any_flags
& all_langs_mask
)
1434 description
= _("The following options are language-related");
1436 description
= _("The following options are language-independent");
1440 printf ("%s%s:\n", description
, descrip_extra
);
1441 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1442 opts
->x_help_columns
, opts
, lang_mask
);
1445 /* Enable FDO-related flags. */
1448 enable_fdo_optimizations (struct gcc_options
*opts
,
1449 struct gcc_options
*opts_set
,
1452 if (!opts_set
->x_flag_branch_probabilities
)
1453 opts
->x_flag_branch_probabilities
= value
;
1454 if (!opts_set
->x_flag_profile_values
)
1455 opts
->x_flag_profile_values
= value
;
1456 if (!opts_set
->x_flag_unroll_loops
)
1457 opts
->x_flag_unroll_loops
= value
;
1458 if (!opts_set
->x_flag_peel_loops
)
1459 opts
->x_flag_peel_loops
= value
;
1460 if (!opts_set
->x_flag_tracer
)
1461 opts
->x_flag_tracer
= value
;
1462 if (!opts_set
->x_flag_value_profile_transformations
)
1463 opts
->x_flag_value_profile_transformations
= value
;
1464 if (!opts_set
->x_flag_inline_functions
)
1465 opts
->x_flag_inline_functions
= value
;
1466 if (!opts_set
->x_flag_ipa_cp
)
1467 opts
->x_flag_ipa_cp
= value
;
1468 if (!opts_set
->x_flag_ipa_cp_clone
1469 && value
&& opts
->x_flag_ipa_cp
)
1470 opts
->x_flag_ipa_cp_clone
= value
;
1471 if (!opts_set
->x_flag_ipa_bit_cp
1472 && value
&& opts
->x_flag_ipa_cp
)
1473 opts
->x_flag_ipa_bit_cp
= value
;
1474 if (!opts_set
->x_flag_predictive_commoning
)
1475 opts
->x_flag_predictive_commoning
= value
;
1476 if (!opts_set
->x_flag_split_loops
)
1477 opts
->x_flag_split_loops
= value
;
1478 if (!opts_set
->x_flag_unswitch_loops
)
1479 opts
->x_flag_unswitch_loops
= value
;
1480 if (!opts_set
->x_flag_gcse_after_reload
)
1481 opts
->x_flag_gcse_after_reload
= value
;
1482 if (!opts_set
->x_flag_tree_loop_vectorize
)
1483 opts
->x_flag_tree_loop_vectorize
= value
;
1484 if (!opts_set
->x_flag_tree_slp_vectorize
)
1485 opts
->x_flag_tree_slp_vectorize
= value
;
1486 if (!opts_set
->x_flag_vect_cost_model
)
1487 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1488 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1489 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1492 /* -f{,no-}sanitize{,-recover}= suboptions. */
1493 const struct sanitizer_opts_s sanitizer_opts
[] =
1495 #define SANITIZER_OPT(name, flags, recover) \
1496 { #name, flags, sizeof #name - 1, recover }
1497 SANITIZER_OPT (address
, (SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
), true),
1498 SANITIZER_OPT (kernel
-address
, (SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
),
1500 SANITIZER_OPT (thread
, SANITIZE_THREAD
, false),
1501 SANITIZER_OPT (leak
, SANITIZE_LEAK
, false),
1502 SANITIZER_OPT (shift
, SANITIZE_SHIFT
, true),
1503 SANITIZER_OPT (shift
-base
, SANITIZE_SHIFT_BASE
, true),
1504 SANITIZER_OPT (shift
-exponent
, SANITIZE_SHIFT_EXPONENT
, true),
1505 SANITIZER_OPT (integer
-divide
-by
-zero
, SANITIZE_DIVIDE
, true),
1506 SANITIZER_OPT (undefined
, SANITIZE_UNDEFINED
, true),
1507 SANITIZER_OPT (unreachable
, SANITIZE_UNREACHABLE
, false),
1508 SANITIZER_OPT (vla
-bound
, SANITIZE_VLA
, true),
1509 SANITIZER_OPT (return, SANITIZE_RETURN
, false),
1510 SANITIZER_OPT (null
, SANITIZE_NULL
, true),
1511 SANITIZER_OPT (signed-integer
-overflow
, SANITIZE_SI_OVERFLOW
, true),
1512 SANITIZER_OPT (bool, SANITIZE_BOOL
, true),
1513 SANITIZER_OPT (enum, SANITIZE_ENUM
, true),
1514 SANITIZER_OPT (float-divide
-by
-zero
, SANITIZE_FLOAT_DIVIDE
, true),
1515 SANITIZER_OPT (float-cast
-overflow
, SANITIZE_FLOAT_CAST
, true),
1516 SANITIZER_OPT (bounds
, SANITIZE_BOUNDS
, true),
1517 SANITIZER_OPT (bounds
-strict
, SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
, true),
1518 SANITIZER_OPT (alignment
, SANITIZE_ALIGNMENT
, true),
1519 SANITIZER_OPT (nonnull
-attribute
, SANITIZE_NONNULL_ATTRIBUTE
, true),
1520 SANITIZER_OPT (returns
-nonnull
-attribute
, SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1522 SANITIZER_OPT (object
-size
, SANITIZE_OBJECT_SIZE
, true),
1523 SANITIZER_OPT (vptr
, SANITIZE_VPTR
, true),
1524 SANITIZER_OPT (pointer
-overflow
, SANITIZE_POINTER_OVERFLOW
, true),
1525 SANITIZER_OPT (builtin
, SANITIZE_BUILTIN
, true),
1526 SANITIZER_OPT (all
, ~0U, true),
1527 #undef SANITIZER_OPT
1528 { NULL
, 0U, 0UL, false }
1531 /* -f{,no-}sanitize-coverage= suboptions. */
1532 const struct sanitizer_opts_s coverage_sanitizer_opts
[] =
1534 #define COVERAGE_SANITIZER_OPT(name, flags) \
1535 { #name, flags, sizeof #name - 1, true }
1536 COVERAGE_SANITIZER_OPT (trace
-pc
, SANITIZE_COV_TRACE_PC
),
1537 COVERAGE_SANITIZER_OPT (trace
-cmp
, SANITIZE_COV_TRACE_CMP
),
1538 #undef COVERAGE_SANITIZER_OPT
1539 { NULL
, 0U, 0UL, false }
1542 /* A struct for describing a run of chars within a string. */
1544 struct string_fragment
1546 string_fragment (const char *start
, size_t len
)
1547 : m_start (start
), m_len (len
) {}
1549 const char *m_start
;
1553 /* Specialization of edit_distance_traits for string_fragment,
1554 for use by get_closest_sanitizer_option. */
1557 struct edit_distance_traits
<const string_fragment
&>
1559 static size_t get_length (const string_fragment
&fragment
)
1561 return fragment
.m_len
;
1564 static const char *get_string (const string_fragment
&fragment
)
1566 return fragment
.m_start
;
1570 /* Given ARG, an unrecognized sanitizer option, return the best
1571 matching sanitizer option, or NULL if there isn't one.
1572 OPTS is array of candidate sanitizer options.
1573 CODE is OPT_fsanitize_, OPT_fsanitize_recover_ or
1574 OPT_fsanitize_coverage_.
1575 VALUE is non-zero for the regular form of the option, zero
1576 for the "no-" form (e.g. "-fno-sanitize-recover="). */
1579 get_closest_sanitizer_option (const string_fragment
&arg
,
1580 const struct sanitizer_opts_s
*opts
,
1581 enum opt_code code
, int value
)
1583 best_match
<const string_fragment
&, const char*> bm (arg
);
1584 for (int i
= 0; opts
[i
].name
!= NULL
; ++i
)
1586 /* -fsanitize=all is not valid, so don't offer it. */
1587 if (code
== OPT_fsanitize_
1588 && opts
[i
].flag
== ~0U
1592 /* For -fsanitize-recover= (and not -fno-sanitize-recover=),
1593 don't offer the non-recoverable options. */
1594 if (code
== OPT_fsanitize_recover_
1595 && !opts
[i
].can_recover
1599 bm
.consider (opts
[i
].name
);
1601 return bm
.get_best_meaningful_candidate ();
1604 /* Parse comma separated sanitizer suboptions from P for option SCODE,
1605 adjust previous FLAGS and return new ones. If COMPLAIN is false,
1606 don't issue diagnostics. */
1609 parse_sanitizer_options (const char *p
, location_t loc
, int scode
,
1610 unsigned int flags
, int value
, bool complain
)
1612 enum opt_code code
= (enum opt_code
) scode
;
1614 const struct sanitizer_opts_s
*opts
;
1615 if (code
== OPT_fsanitize_coverage_
)
1616 opts
= coverage_sanitizer_opts
;
1618 opts
= sanitizer_opts
;
1624 const char *comma
= strchr (p
, ',');
1636 /* Check to see if the string matches an option class name. */
1637 for (i
= 0; opts
[i
].name
!= NULL
; ++i
)
1638 if (len
== opts
[i
].len
&& memcmp (p
, opts
[i
].name
, len
) == 0)
1640 /* Handle both -fsanitize and -fno-sanitize cases. */
1641 if (value
&& opts
[i
].flag
== ~0U)
1643 if (code
== OPT_fsanitize_
)
1646 error_at (loc
, "%<-fsanitize=all%> option is not valid");
1649 flags
|= ~(SANITIZE_THREAD
| SANITIZE_LEAK
1650 | SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1654 /* Do not enable -fsanitize-recover=unreachable and
1655 -fsanitize-recover=return if -fsanitize-recover=undefined
1657 if (code
== OPT_fsanitize_recover_
1658 && opts
[i
].flag
== SANITIZE_UNDEFINED
)
1659 flags
|= (SANITIZE_UNDEFINED
1660 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
));
1662 flags
|= opts
[i
].flag
;
1665 flags
&= ~opts
[i
].flag
;
1670 if (! found
&& complain
)
1673 = get_closest_sanitizer_option (string_fragment (p
, len
),
1677 if (code
== OPT_fsanitize_recover_
)
1678 suffix
= "-recover";
1679 else if (code
== OPT_fsanitize_coverage_
)
1680 suffix
= "-coverage";
1686 "unrecognized argument to -f%ssanitize%s= option: %q.*s;"
1687 " did you mean %qs?",
1689 suffix
, (int) len
, p
, hint
);
1692 "unrecognized argument to -f%ssanitize%s= option: %q.*s",
1694 suffix
, (int) len
, p
);
1704 /* Parse string values of no_sanitize attribute passed in VALUE.
1705 Values are separated with comma. */
1708 parse_no_sanitize_attribute (char *value
)
1710 unsigned int flags
= 0;
1712 char *q
= strtok (value
, ",");
1716 for (i
= 0; sanitizer_opts
[i
].name
!= NULL
; ++i
)
1717 if (strcmp (sanitizer_opts
[i
].name
, q
) == 0)
1719 flags
|= sanitizer_opts
[i
].flag
;
1720 if (sanitizer_opts
[i
].flag
== SANITIZE_UNDEFINED
)
1721 flags
|= SANITIZE_UNDEFINED_NONDEFAULT
;
1725 if (sanitizer_opts
[i
].name
== NULL
)
1726 warning (OPT_Wattributes
,
1727 "%<%s%> attribute directive ignored", q
);
1729 q
= strtok (NULL
, ",");
1735 /* Handle target- and language-independent options. Return zero to
1736 generate an "unknown option" message. Only options that need
1737 extra handling need to be listed here; if you simply want
1738 DECODED->value assigned to a variable, it happens automatically. */
1741 common_handle_option (struct gcc_options
*opts
,
1742 struct gcc_options
*opts_set
,
1743 const struct cl_decoded_option
*decoded
,
1744 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1746 const struct cl_option_handlers
*handlers
,
1747 diagnostic_context
*dc
,
1748 void (*target_option_override_hook
) (void))
1750 size_t scode
= decoded
->opt_index
;
1751 const char *arg
= decoded
->arg
;
1752 int value
= decoded
->value
;
1753 enum opt_code code
= (enum opt_code
) scode
;
1755 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1760 handle_param (opts
, opts_set
, loc
, arg
);
1765 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1766 unsigned int undoc_mask
;
1769 if (lang_mask
== CL_DRIVER
)
1772 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1775 target_option_override_hook ();
1776 /* First display any single language specific options. */
1777 for (i
= 0; i
< cl_lang_count
; i
++)
1779 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1781 /* Next display any multi language specific options. */
1782 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1783 /* Then display any remaining, non-language options. */
1784 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1786 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1787 opts
->x_exit_after_options
= true;
1791 case OPT__target_help
:
1792 if (lang_mask
== CL_DRIVER
)
1795 target_option_override_hook ();
1796 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1797 opts
->x_exit_after_options
= true;
1802 const char *a
= arg
;
1803 unsigned int include_flags
= 0;
1804 /* Note - by default we include undocumented options when listing
1805 specific classes. If you only want to see documented options
1806 then add ",^undocumented" to the --help= option. E.g.:
1808 --help=target,^undocumented */
1809 unsigned int exclude_flags
= 0;
1811 if (lang_mask
== CL_DRIVER
)
1814 /* Walk along the argument string, parsing each word in turn.
1816 arg = [^]{word}[,{arg}]
1817 word = {optimizers|target|warnings|undocumented|
1818 params|common|<language>} */
1828 { "optimizers", CL_OPTIMIZATION
},
1829 { "target", CL_TARGET
},
1830 { "warnings", CL_WARNING
},
1831 { "undocumented", CL_UNDOCUMENTED
},
1832 { "params", CL_PARAMS
},
1833 { "joined", CL_JOINED
},
1834 { "separate", CL_SEPARATE
},
1835 { "common", CL_COMMON
},
1838 unsigned int *pflags
;
1840 unsigned int lang_flag
, specific_flag
;
1849 error_at (loc
, "missing argument to %qs", "--help=^");
1852 pflags
= &exclude_flags
;
1855 pflags
= &include_flags
;
1857 comma
= strchr (a
, ',');
1868 /* Check to see if the string matches an option class name. */
1869 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1870 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1872 specific_flag
= specifics
[i
].flag
;
1876 /* Check to see if the string matches a language name.
1877 Note - we rely upon the alpha-sorted nature of the entries in
1878 the lang_names array, specifically that shorter names appear
1879 before their longer variants. (i.e. C before C++). That way
1880 when we are attempting to match --help=c for example we will
1881 match with C first and not C++. */
1882 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1883 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1885 lang_flag
= 1U << i
;
1889 if (specific_flag
!= 0)
1892 *pflags
|= specific_flag
;
1895 /* The option's argument matches both the start of a
1896 language name and the start of an option class name.
1897 We have a special case for when the user has
1898 specified "--help=c", but otherwise we have to issue
1900 if (strncasecmp (a
, "c", len
) == 0)
1901 *pflags
|= lang_flag
;
1904 "--help argument %q.*s is ambiguous, "
1905 "please be more specific",
1909 else if (lang_flag
!= 0)
1910 *pflags
|= lang_flag
;
1913 "unrecognized argument to --help= option: %q.*s",
1923 target_option_override_hook ();
1924 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1927 opts
->x_exit_after_options
= true;
1932 if (lang_mask
== CL_DRIVER
)
1935 opts
->x_exit_after_options
= true;
1938 case OPT_fsanitize_
:
1939 opts
->x_flag_sanitize
1940 = parse_sanitizer_options (arg
, loc
, code
,
1941 opts
->x_flag_sanitize
, value
, true);
1943 /* Kernel ASan implies normal ASan but does not yet support
1945 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
1947 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD
,
1948 0, opts
->x_param_values
,
1949 opts_set
->x_param_values
);
1950 maybe_set_param_value (PARAM_ASAN_GLOBALS
, 0, opts
->x_param_values
,
1951 opts_set
->x_param_values
);
1952 maybe_set_param_value (PARAM_ASAN_STACK
, 0, opts
->x_param_values
,
1953 opts_set
->x_param_values
);
1954 maybe_set_param_value (PARAM_ASAN_PROTECT_ALLOCAS
, 0,
1955 opts
->x_param_values
,
1956 opts_set
->x_param_values
);
1957 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN
, 0,
1958 opts
->x_param_values
,
1959 opts_set
->x_param_values
);
1963 case OPT_fsanitize_recover_
:
1964 opts
->x_flag_sanitize_recover
1965 = parse_sanitizer_options (arg
, loc
, code
,
1966 opts
->x_flag_sanitize_recover
, value
, true);
1969 case OPT_fasan_shadow_offset_
:
1973 case OPT_fsanitize_address_use_after_scope
:
1974 opts
->x_flag_sanitize_address_use_after_scope
= value
;
1977 case OPT_fsanitize_recover
:
1979 opts
->x_flag_sanitize_recover
1980 |= (SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
)
1981 & ~(SANITIZE_UNREACHABLE
| SANITIZE_RETURN
);
1983 opts
->x_flag_sanitize_recover
1984 &= ~(SANITIZE_UNDEFINED
| SANITIZE_UNDEFINED_NONDEFAULT
);
1987 case OPT_fsanitize_coverage_
:
1988 opts
->x_flag_sanitize_coverage
1989 = parse_sanitizer_options (arg
, loc
, code
,
1990 opts
->x_flag_sanitize_coverage
, value
, true);
1997 /* Currently handled in a prescan. */
2001 dc
->warning_as_error_requested
= value
;
2005 if (lang_mask
== CL_DRIVER
)
2008 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
2009 opts
, opts_set
, loc
, dc
);
2012 case OPT_Wlarger_than_
:
2013 opts
->x_larger_than_size
= value
;
2014 opts
->x_warn_larger_than
= value
!= -1;
2017 case OPT_Wfatal_errors
:
2018 dc
->fatal_errors
= value
;
2021 case OPT_Wframe_larger_than_
:
2022 opts
->x_frame_larger_than_size
= value
;
2023 opts
->x_warn_frame_larger_than
= value
!= -1;
2026 case OPT_Wstack_usage_
:
2027 opts
->x_warn_stack_usage
= value
;
2028 opts
->x_flag_stack_usage_info
= value
!= -1;
2031 case OPT_Wstrict_aliasing
:
2032 set_Wstrict_aliasing (opts
, value
);
2035 case OPT_Wstrict_overflow
:
2036 opts
->x_warn_strict_overflow
= (value
2037 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
2041 case OPT_Wsystem_headers
:
2042 dc
->dc_warn_system_headers
= value
;
2046 opts
->x_flag_gen_aux_info
= 1;
2049 case OPT_auxbase_strip
:
2051 char *tmp
= xstrdup (arg
);
2052 strip_off_ending (tmp
, strlen (tmp
));
2054 opts
->x_aux_base_name
= tmp
;
2061 decode_d_option (arg
, opts
, loc
, dc
);
2064 case OPT_fcall_used_
:
2065 case OPT_fcall_saved_
:
2073 case OPT_fdbg_cnt_list
:
2075 opts
->x_exit_after_options
= true;
2078 case OPT_fdebug_prefix_map_
:
2082 case OPT_fdiagnostics_show_location_
:
2083 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
2086 case OPT_fdiagnostics_show_caret
:
2087 dc
->show_caret
= value
;
2090 case OPT_fdiagnostics_color_
:
2091 diagnostic_color_init (dc
, value
);
2094 case OPT_fdiagnostics_parseable_fixits
:
2095 dc
->parseable_fixits_p
= value
;
2098 case OPT_fdiagnostics_show_option
:
2099 dc
->show_option_requested
= value
;
2106 case OPT_ffast_math
:
2107 set_fast_math_flags (opts
, value
);
2110 case OPT_funsafe_math_optimizations
:
2111 set_unsafe_math_optimizations_flags (opts
, value
);
2118 case OPT_finline_limit_
:
2119 set_param_value ("max-inline-insns-single", value
/ 2,
2120 opts
->x_param_values
, opts_set
->x_param_values
);
2121 set_param_value ("max-inline-insns-auto", value
/ 2,
2122 opts
->x_param_values
, opts_set
->x_param_values
);
2125 case OPT_finstrument_functions_exclude_function_list_
:
2126 add_comma_separated_to_vector
2127 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
2130 case OPT_finstrument_functions_exclude_file_list_
:
2131 add_comma_separated_to_vector
2132 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
2135 case OPT_fmessage_length_
:
2136 pp_set_line_maximum_length (dc
->printer
, value
);
2137 diagnostic_set_caret_max_width (dc
, value
);
2141 case OPT_fopt_info_
:
2147 const char *p
= arg
;
2148 opts
->x_flag_disable_hsa
= true;
2151 const char *comma
= strchr (p
, ',');
2153 if ((strncmp (p
, "disable", 7) == 0)
2154 && (p
[7] == ',' || p
[7] == '\0'))
2156 opts
->x_flag_disable_hsa
= true;
2160 if ((strncmp (p
, "hsa", 3) == 0)
2161 && (p
[3] == ',' || p
[3] == '\0'))
2164 opts
->x_flag_disable_hsa
= false;
2166 sorry ("HSA has not been enabled during configuration");
2176 #ifndef ACCEL_COMPILER
2177 case OPT_foffload_abi_
:
2178 error_at (loc
, "%<-foffload-abi%> option can be specified only for "
2179 "offload compiler");
2183 case OPT_fpack_struct_
:
2184 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
2186 "structure alignment must be a small power of two, not %d",
2189 opts
->x_initial_max_fld_align
= value
;
2193 case OPT_fplugin_arg_
:
2197 case OPT_fprofile_use_
:
2198 opts
->x_profile_data_prefix
= xstrdup (arg
);
2199 opts
->x_flag_profile_use
= true;
2201 /* No break here - do -fprofile-use processing. */
2203 case OPT_fprofile_use
:
2204 enable_fdo_optimizations (opts
, opts_set
, value
);
2205 if (!opts_set
->x_flag_profile_reorder_functions
)
2206 opts
->x_flag_profile_reorder_functions
= value
;
2207 /* Indirect call profiling should do all useful transformations
2208 speculative devirtualization does. */
2209 if (!opts_set
->x_flag_devirtualize_speculatively
2210 && opts
->x_flag_value_profile_transformations
)
2211 opts
->x_flag_devirtualize_speculatively
= false;
2214 case OPT_fauto_profile_
:
2215 opts
->x_auto_profile_file
= xstrdup (arg
);
2216 opts
->x_flag_auto_profile
= true;
2218 /* No break here - do -fauto-profile processing. */
2220 case OPT_fauto_profile
:
2221 enable_fdo_optimizations (opts
, opts_set
, value
);
2222 if (!opts_set
->x_flag_profile_correction
)
2223 opts
->x_flag_profile_correction
= value
;
2224 maybe_set_param_value (
2225 PARAM_EARLY_INLINER_MAX_ITERATIONS
, 10,
2226 opts
->x_param_values
, opts_set
->x_param_values
);
2229 case OPT_fprofile_generate_
:
2230 opts
->x_profile_data_prefix
= xstrdup (arg
);
2232 /* No break here - do -fprofile-generate processing. */
2234 case OPT_fprofile_generate
:
2235 if (!opts_set
->x_profile_arc_flag
)
2236 opts
->x_profile_arc_flag
= value
;
2237 if (!opts_set
->x_flag_profile_values
)
2238 opts
->x_flag_profile_values
= value
;
2239 if (!opts_set
->x_flag_inline_functions
)
2240 opts
->x_flag_inline_functions
= value
;
2241 if (!opts_set
->x_flag_ipa_bit_cp
)
2242 opts
->x_flag_ipa_bit_cp
= value
;
2243 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
2244 quadratic. Disable the pass until better memory representation
2246 if (!opts_set
->x_flag_ipa_reference
)
2247 opts
->x_flag_ipa_reference
= false;
2250 case OPT_fpatchable_function_entry_
:
2252 char *patch_area_arg
= xstrdup (arg
);
2253 char *comma
= strchr (patch_area_arg
, ',');
2257 function_entry_patch_area_size
=
2258 integral_argument (patch_area_arg
);
2259 function_entry_patch_area_start
=
2260 integral_argument (comma
+ 1);
2264 function_entry_patch_area_size
=
2265 integral_argument (patch_area_arg
);
2266 function_entry_patch_area_start
= 0;
2268 if (function_entry_patch_area_size
< 0
2269 || function_entry_patch_area_start
< 0
2270 || function_entry_patch_area_size
2271 < function_entry_patch_area_start
)
2272 error ("invalid arguments for %<-fpatchable_function_entry%>");
2273 free (patch_area_arg
);
2277 case OPT_ftree_vectorize
:
2278 /* Automatically sets -ftree-loop-vectorize and
2279 -ftree-slp-vectorize. Nothing more to do here. */
2281 case OPT_fshow_column
:
2282 dc
->show_column
= value
;
2285 case OPT_frandom_seed
:
2286 /* The real switch is -fno-random-seed. */
2292 case OPT_frandom_seed_
:
2296 case OPT_fsched_verbose_
:
2297 #ifdef INSN_SCHEDULING
2298 /* Handled with Var in common.opt. */
2304 case OPT_fsched_stalled_insns_
:
2305 opts
->x_flag_sched_stalled_insns
= value
;
2306 if (opts
->x_flag_sched_stalled_insns
== 0)
2307 opts
->x_flag_sched_stalled_insns
= -1;
2310 case OPT_fsched_stalled_insns_dep_
:
2311 opts
->x_flag_sched_stalled_insns_dep
= value
;
2314 case OPT_fstack_check_
:
2315 if (!strcmp (arg
, "no"))
2316 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
2317 else if (!strcmp (arg
, "generic"))
2318 /* This is the old stack checking method. */
2319 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2320 ? FULL_BUILTIN_STACK_CHECK
2321 : GENERIC_STACK_CHECK
;
2322 else if (!strcmp (arg
, "specific"))
2323 /* This is the new stack checking method. */
2324 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
2325 ? FULL_BUILTIN_STACK_CHECK
2326 : STACK_CHECK_STATIC_BUILTIN
2327 ? STATIC_BUILTIN_STACK_CHECK
2328 : GENERIC_STACK_CHECK
;
2330 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
2333 case OPT_fstack_limit
:
2334 /* The real switch is -fno-stack-limit. */
2340 case OPT_fstack_limit_register_
:
2341 case OPT_fstack_limit_symbol_
:
2345 case OPT_fstack_usage
:
2346 opts
->x_flag_stack_usage
= value
;
2347 opts
->x_flag_stack_usage_info
= value
!= 0;
2351 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2356 if (arg
&& strlen (arg
) != 0)
2358 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2359 "use %<-gdwarf-%s%> for DWARF version "
2360 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
2364 value
= opts
->x_dwarf_version
;
2368 if (value
< 2 || value
> 5)
2369 error_at (loc
, "dwarf version %d is not supported", value
);
2371 opts
->x_dwarf_version
= value
;
2372 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2375 case OPT_gsplit_dwarf
:
2376 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2381 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2386 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2391 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2396 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2402 /* Handled completely via specs. */
2405 case OPT_pedantic_errors
:
2406 dc
->pedantic_errors
= 1;
2407 control_warning_option (OPT_Wpedantic
, DK_ERROR
, NULL
, value
,
2409 handlers
, opts
, opts_set
,
2414 opts
->x_flag_lto
= value
? "" : NULL
;
2418 dc
->dc_inhibit_warnings
= true;
2421 case OPT_fmax_errors_
:
2422 dc
->max_errors
= value
;
2425 case OPT_fuse_ld_bfd
:
2426 case OPT_fuse_ld_gold
:
2427 case OPT_fuse_linker_plugin
:
2428 /* No-op. Used by the driver and passed to us because it starts with f.*/
2433 opts
->x_flag_trapv
= 0;
2438 opts
->x_flag_wrapv
= 0;
2442 opts
->x_flag_ipa_icf_functions
= value
;
2443 opts
->x_flag_ipa_icf_variables
= value
;
2447 /* If the flag was handled in a standard way, assume the lack of
2448 processing here is intentional. */
2449 gcc_assert (option_flag_var (scode
, opts
));
2453 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2458 /* Handle --param NAME=VALUE. */
2460 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2461 location_t loc
, const char *carg
)
2466 arg
= xstrdup (carg
);
2467 equal
= strchr (arg
, '=');
2469 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
2475 enum compiler_param index
;
2476 if (!find_param (arg
, &index
))
2478 const char *suggestion
= find_param_fuzzy (arg
);
2480 error_at (loc
, "invalid --param name %qs; did you mean %qs?",
2483 error_at (loc
, "invalid --param name %qs", arg
);
2487 if (!param_string_value_p (index
, equal
+ 1, &value
))
2488 value
= integral_argument (equal
+ 1);
2491 error_at (loc
, "invalid --param value %qs", equal
+ 1);
2493 set_param_value (arg
, value
,
2494 opts
->x_param_values
, opts_set
->x_param_values
);
2501 /* Used to set the level of strict aliasing warnings in OPTS,
2502 when no level is specified (i.e., when -Wstrict-aliasing, and not
2503 -Wstrict-aliasing=level was given).
2504 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2505 and 0 otherwise. After calling this function, wstrict_aliasing will be
2506 set to the default value of -Wstrict_aliasing=level, currently 3. */
2508 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2510 gcc_assert (onoff
== 0 || onoff
== 1);
2512 opts
->x_warn_strict_aliasing
= 3;
2514 opts
->x_warn_strict_aliasing
= 0;
2517 /* The following routines are useful in setting all the flags that
2518 -ffast-math and -fno-fast-math imply. */
2520 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2522 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2524 opts
->x_flag_unsafe_math_optimizations
= set
;
2525 set_unsafe_math_optimizations_flags (opts
, set
);
2527 if (!opts
->frontend_set_flag_finite_math_only
)
2528 opts
->x_flag_finite_math_only
= set
;
2529 if (!opts
->frontend_set_flag_errno_math
)
2530 opts
->x_flag_errno_math
= !set
;
2533 if (opts
->frontend_set_flag_excess_precision_cmdline
2534 == EXCESS_PRECISION_DEFAULT
)
2535 opts
->x_flag_excess_precision_cmdline
2536 = set
? EXCESS_PRECISION_FAST
: EXCESS_PRECISION_DEFAULT
;
2537 if (!opts
->frontend_set_flag_signaling_nans
)
2538 opts
->x_flag_signaling_nans
= 0;
2539 if (!opts
->frontend_set_flag_rounding_math
)
2540 opts
->x_flag_rounding_math
= 0;
2541 if (!opts
->frontend_set_flag_cx_limited_range
)
2542 opts
->x_flag_cx_limited_range
= 1;
2546 /* When -funsafe-math-optimizations is set the following
2547 flags are set as well. */
2549 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2551 if (!opts
->frontend_set_flag_trapping_math
)
2552 opts
->x_flag_trapping_math
= !set
;
2553 if (!opts
->frontend_set_flag_signed_zeros
)
2554 opts
->x_flag_signed_zeros
= !set
;
2555 if (!opts
->frontend_set_flag_associative_math
)
2556 opts
->x_flag_associative_math
= set
;
2557 if (!opts
->frontend_set_flag_reciprocal_math
)
2558 opts
->x_flag_reciprocal_math
= set
;
2561 /* Return true iff flags in OPTS are set as if -ffast-math. */
2563 fast_math_flags_set_p (const struct gcc_options
*opts
)
2565 return (!opts
->x_flag_trapping_math
2566 && opts
->x_flag_unsafe_math_optimizations
2567 && opts
->x_flag_finite_math_only
2568 && !opts
->x_flag_signed_zeros
2569 && !opts
->x_flag_errno_math
2570 && opts
->x_flag_excess_precision_cmdline
2571 == EXCESS_PRECISION_FAST
);
2574 /* Return true iff flags are set as if -ffast-math but using the flags stored
2575 in the struct cl_optimization structure. */
2577 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2579 return (!opt
->x_flag_trapping_math
2580 && opt
->x_flag_unsafe_math_optimizations
2581 && opt
->x_flag_finite_math_only
2582 && !opt
->x_flag_signed_zeros
2583 && !opt
->x_flag_errno_math
);
2586 /* Handle a debug output -g switch for options OPTS
2587 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2588 explicitly), location LOC. EXTENDED is true or false to support
2589 extended output (2 is special and means "-ggdb" was given). */
2591 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2592 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2595 opts
->x_use_gnu_debug_info_extensions
= extended
;
2597 if (type
== NO_DEBUG
)
2599 if (opts
->x_write_symbols
== NO_DEBUG
)
2601 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2605 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2606 opts
->x_write_symbols
= DWARF2_DEBUG
;
2607 #elif defined DBX_DEBUGGING_INFO
2608 opts
->x_write_symbols
= DBX_DEBUG
;
2612 if (opts
->x_write_symbols
== NO_DEBUG
)
2613 warning_at (loc
, 0, "target system does not support debug output");
2618 /* Does it conflict with an already selected type? */
2619 if (opts_set
->x_write_symbols
!= NO_DEBUG
2620 && opts
->x_write_symbols
!= NO_DEBUG
2621 && type
!= opts
->x_write_symbols
)
2622 error_at (loc
, "debug format %qs conflicts with prior selection",
2623 debug_type_names
[type
]);
2624 opts
->x_write_symbols
= type
;
2625 opts_set
->x_write_symbols
= type
;
2628 /* A debug flag without a level defaults to level 2.
2629 If off or at level 1, set it to level 2, but if already
2630 at level 3, don't lower it. */
2633 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2634 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2638 int argval
= integral_argument (arg
);
2640 error_at (loc
, "unrecognized debug output level %qs", arg
);
2641 else if (argval
> 3)
2642 error_at (loc
, "debug output level %qs is too high", arg
);
2644 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2648 /* Arrange to dump core on error for diagnostic context DC. (The
2649 regular error message is still printed first, except in the case of
2653 setup_core_dumping (diagnostic_context
*dc
)
2656 signal (SIGABRT
, SIG_DFL
);
2658 #if defined(HAVE_SETRLIMIT)
2661 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2662 fatal_error (input_location
, "getting core file size maximum limit: %m");
2663 rlim
.rlim_cur
= rlim
.rlim_max
;
2664 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2665 fatal_error (input_location
,
2666 "setting core file size limit to maximum: %m");
2669 diagnostic_abort_on_error (dc
);
2672 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2673 diagnostic context DC. */
2676 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2677 location_t loc
, diagnostic_context
*dc
)
2685 opts
->x_flag_debug_asm
= 1;
2688 opts
->x_flag_print_asm_name
= 1;
2691 opts
->x_flag_dump_rtl_in_asm
= 1;
2692 opts
->x_flag_print_asm_name
= 1;
2695 opts
->x_rtl_dump_and_exit
= 1;
2697 case 'D': /* These are handled by the preprocessor. */
2704 setup_core_dumping (dc
);
2707 opts
->x_flag_dump_all_passed
= true;
2711 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2716 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2717 mask LANG_MASK, option handlers HANDLERS) as an error for option
2718 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2719 NULL), location LOC. This is used by -Werror=. */
2722 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2723 const struct cl_option_handlers
*handlers
,
2724 struct gcc_options
*opts
,
2725 struct gcc_options
*opts_set
,
2726 location_t loc
, diagnostic_context
*dc
)
2731 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2732 new_option
[0] = 'W';
2733 strcpy (new_option
+ 1, arg
);
2734 option_index
= find_opt (new_option
, lang_mask
);
2735 if (option_index
== OPT_SPECIAL_unknown
)
2736 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2737 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
2738 error_at (loc
, "-Werror=%s: -%s is not an option that controls warnings",
2742 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2743 const char *arg
= NULL
;
2745 if (cl_options
[option_index
].flags
& CL_JOINED
)
2746 arg
= new_option
+ cl_options
[option_index
].opt_len
;
2747 control_warning_option (option_index
, (int) kind
, arg
, value
,
2749 handlers
, opts
, opts_set
, dc
);
2754 /* Return malloced memory for the name of the option OPTION_INDEX
2755 which enabled a diagnostic (context CONTEXT), originally of type
2756 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2760 option_name (diagnostic_context
*context
, int option_index
,
2761 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2765 /* A warning classified as an error. */
2766 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2767 && diag_kind
== DK_ERROR
)
2768 return concat (cl_options
[OPT_Werror_
].opt_text
,
2769 /* Skip over "-W". */
2770 cl_options
[option_index
].opt_text
+ 2,
2772 /* A warning with option. */
2774 return xstrdup (cl_options
[option_index
].opt_text
);
2776 /* A warning without option classified as an error. */
2777 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2778 || diag_kind
== DK_WARNING
)
2779 && context
->warning_as_error_requested
)
2780 return xstrdup (cl_options
[OPT_Werror
].opt_text
);