1 /* Command line option handling.
2 Copyright (C) 2002-2015 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"
34 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
36 /* Indexed by enum debug_info_type. */
37 const char *const debug_type_names
[] =
39 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
42 /* Parse the -femit-struct-debug-detailed option value
43 and set the flag variables. */
45 #define MATCH( prefix, string ) \
46 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
47 ? ((string += sizeof prefix - 1), 1) : 0)
50 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
53 /* various labels for comparison */
54 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
55 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
56 static const char none_lbl
[] = "none", any_lbl
[] = "any";
57 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
59 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
60 /* Default is to apply to as much as possible. */
61 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
65 if (MATCH (dfn_lbl
, spec
))
66 usage
= DINFO_USAGE_DFN
;
67 else if (MATCH (dir_lbl
, spec
))
68 usage
= DINFO_USAGE_DIR_USE
;
69 else if (MATCH (ind_lbl
, spec
))
70 usage
= DINFO_USAGE_IND_USE
;
72 /* Generics or not? */
73 if (MATCH (ord_lbl
, spec
))
75 else if (MATCH (gen_lbl
, spec
))
78 /* What allowable environment? */
79 if (MATCH (none_lbl
, spec
))
80 files
= DINFO_STRUCT_FILE_NONE
;
81 else if (MATCH (any_lbl
, spec
))
82 files
= DINFO_STRUCT_FILE_ANY
;
83 else if (MATCH (sys_lbl
, spec
))
84 files
= DINFO_STRUCT_FILE_SYS
;
85 else if (MATCH (base_lbl
, spec
))
86 files
= DINFO_STRUCT_FILE_BASE
;
89 "argument %qs to %<-femit-struct-debug-detailed%> "
93 /* Effect the specification. */
94 if (usage
== DINFO_USAGE_NUM_ENUMS
)
98 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
99 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
100 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
104 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
105 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
106 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
112 opts
->x_debug_struct_ordinary
[usage
] = files
;
114 opts
->x_debug_struct_generic
[usage
] = files
;
118 set_struct_debug_option (opts
, loc
, spec
+1);
121 /* No more -femit-struct-debug-detailed specifications.
125 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
127 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
128 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
129 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
130 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
132 "%<-femit-struct-debug-detailed=dir:...%> must allow "
133 "at least as much as "
134 "%<-femit-struct-debug-detailed=ind:...%>");
138 /* Strip off a legitimate source ending from the input string NAME of
139 length LEN. Rather than having to know the names used by all of
140 our front ends, we strip off an ending of a period followed by
141 up to five characters. (Java uses ".class".) */
144 strip_off_ending (char *name
, int len
)
147 for (i
= 2; i
< 6 && len
> i
; i
++)
149 if (name
[len
- i
] == '.')
151 name
[len
- i
] = '\0';
157 /* Find the base name of a path, stripping off both directories and
158 a single final extension. */
160 base_of_path (const char *path
, const char **base_out
)
162 const char *base
= path
;
164 const char *p
= path
;
168 if (IS_DIR_SEPARATOR (c
))
183 /* What to print when a switch has no documentation. */
184 static const char undocumented_msg
[] = N_("This switch lacks documentation");
186 typedef char *char_p
; /* For DEF_VEC_P. */
188 static void handle_param (struct gcc_options
*opts
,
189 struct gcc_options
*opts_set
, location_t loc
,
191 static void set_debug_level (enum debug_info_type type
, int extended
,
192 const char *arg
, struct gcc_options
*opts
,
193 struct gcc_options
*opts_set
,
195 static void set_fast_math_flags (struct gcc_options
*opts
, int set
);
196 static void decode_d_option (const char *arg
, struct gcc_options
*opts
,
197 location_t loc
, diagnostic_context
*dc
);
198 static void set_unsafe_math_optimizations_flags (struct gcc_options
*opts
,
200 static void enable_warning_as_error (const char *arg
, int value
,
201 unsigned int lang_mask
,
202 const struct cl_option_handlers
*handlers
,
203 struct gcc_options
*opts
,
204 struct gcc_options
*opts_set
,
206 diagnostic_context
*dc
);
208 /* Handle a back-end option; arguments and return value as for
212 target_handle_option (struct gcc_options
*opts
,
213 struct gcc_options
*opts_set
,
214 const struct cl_decoded_option
*decoded
,
215 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
217 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
218 diagnostic_context
*dc
)
220 gcc_assert (dc
== global_dc
);
221 gcc_assert (kind
== DK_UNSPECIFIED
);
222 return targetm_common
.handle_option (opts
, opts_set
, decoded
, loc
);
225 /* Add comma-separated strings to a char_p vector. */
228 add_comma_separated_to_vector (void **pvec
, const char *arg
)
234 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
236 vec_check_alloc (v
, 1);
238 /* We never free this string. */
251 v
->safe_push (token_start
);
254 if (*r
== '\\' && r
[1] == ',')
262 if (*token_start
!= '\0')
263 v
->safe_push (token_start
);
268 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
271 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
273 size_t num_params
= get_num_compiler_params ();
275 gcc_obstack_init (&opts_obstack
);
277 *opts
= global_options_init
;
280 memset (opts_set
, 0, sizeof (*opts_set
));
282 opts
->x_param_values
= XNEWVEC (int, num_params
);
285 opts_set
->x_param_values
= XCNEWVEC (int, num_params
);
287 init_param_values (opts
->x_param_values
);
289 /* Initialize whether `char' is signed. */
290 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
291 /* Set this to a special "uninitialized" value. The actual default
292 is set after target options have been processed. */
293 opts
->x_flag_short_enums
= 2;
295 /* Initialize target_flags before default_options_optimization
296 so the latter can modify it. */
297 opts
->x_target_flags
= targetm_common
.default_target_flags
;
299 /* Some targets have ABI-specified unwind tables. */
300 opts
->x_flag_unwind_tables
= targetm_common
.unwind_tables_default
;
302 /* Some targets have other target-specific initialization. */
303 targetm_common
.option_init_struct (opts
);
306 /* Release any allocations owned by OPTS. */
309 finalize_options_struct (struct gcc_options
*opts
)
311 XDELETEVEC (opts
->x_param_values
);
314 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
315 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
316 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
317 mask LANG_MASK and option handlers HANDLERS. */
320 maybe_default_option (struct gcc_options
*opts
,
321 struct gcc_options
*opts_set
,
322 const struct default_options
*default_opt
,
323 int level
, bool size
, bool fast
, bool debug
,
324 unsigned int lang_mask
,
325 const struct cl_option_handlers
*handlers
,
327 diagnostic_context
*dc
)
329 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
333 gcc_assert (level
== 2);
335 gcc_assert (level
== 3);
337 gcc_assert (level
== 1);
339 switch (default_opt
->levels
)
345 case OPT_LEVELS_0_ONLY
:
346 enabled
= (level
== 0);
349 case OPT_LEVELS_1_PLUS
:
350 enabled
= (level
>= 1);
353 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
354 enabled
= (level
>= 1 && !size
&& !debug
);
357 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
358 enabled
= (level
>= 1 && !debug
);
361 case OPT_LEVELS_2_PLUS
:
362 enabled
= (level
>= 2);
365 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
366 enabled
= (level
>= 2 && !size
&& !debug
);
369 case OPT_LEVELS_3_PLUS
:
370 enabled
= (level
>= 3);
373 case OPT_LEVELS_3_PLUS_AND_SIZE
:
374 enabled
= (level
>= 3 || size
);
377 case OPT_LEVELS_SIZE
:
381 case OPT_LEVELS_FAST
:
385 case OPT_LEVELS_NONE
:
391 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
392 default_opt
->arg
, default_opt
->value
,
393 lang_mask
, DK_UNSPECIFIED
, loc
,
395 else if (default_opt
->arg
== NULL
396 && !option
->cl_reject_negative
)
397 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
398 default_opt
->arg
, !default_opt
->value
,
399 lang_mask
, DK_UNSPECIFIED
, loc
,
403 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
404 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
405 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
406 language mask LANG_MASK and option handlers HANDLERS. */
409 maybe_default_options (struct gcc_options
*opts
,
410 struct gcc_options
*opts_set
,
411 const struct default_options
*default_opts
,
412 int level
, bool size
, bool fast
, bool debug
,
413 unsigned int lang_mask
,
414 const struct cl_option_handlers
*handlers
,
416 diagnostic_context
*dc
)
420 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
421 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
422 level
, size
, fast
, debug
,
423 lang_mask
, handlers
, loc
, dc
);
426 /* Table of options enabled by default at different levels. */
428 static const struct default_options default_options_table
[] =
430 /* -O1 optimizations. */
431 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
433 { OPT_LEVELS_1_PLUS
, OPT_fdelayed_branch
, NULL
, 1 },
435 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
436 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
437 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
438 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
439 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fif_conversion2
, NULL
, 1 },
440 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
441 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
442 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
443 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
444 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
445 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
446 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
447 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_bit_ccp
, NULL
, 1 },
448 { OPT_LEVELS_1_PLUS
, OPT_ftree_coalesce_vars
, NULL
, 1 },
449 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
450 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
451 { OPT_LEVELS_1_PLUS
, OPT_ftree_dse
, NULL
, 1 },
452 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
453 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
454 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
455 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
456 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
457 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
458 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
459 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
460 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
461 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
462 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
463 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
464 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
466 /* -O2 optimizations. */
467 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
468 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
469 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
470 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
471 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
472 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
473 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
474 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
475 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
476 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
477 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
478 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
479 #ifdef INSN_SCHEDULING
480 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
481 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_fstrict_overflow
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp_alignment
, NULL
, 1 },
494 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
497 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
498 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
500 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
501 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
502 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
503 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
504 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
505 { OPT_LEVELS_2_PLUS
, OPT_fipa_icf
, NULL
, 1 },
506 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
507 { OPT_LEVELS_2_PLUS
, OPT_fipa_ra
, NULL
, 1 },
508 { OPT_LEVELS_2_PLUS
, OPT_flra_remat
, NULL
, 1 },
510 /* -O3 optimizations. */
511 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
512 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
513 /* Inlining of functions reducing size is a good idea with -Os
514 regardless of them being declared inline. */
515 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
516 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
517 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
518 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
519 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
520 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
521 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
522 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
523 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
525 /* -Ofast adds optimizations to -O3. */
526 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
528 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
531 /* Default the options in OPTS and OPTS_SET based on the optimization
532 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
534 default_options_optimization (struct gcc_options
*opts
,
535 struct gcc_options
*opts_set
,
536 struct cl_decoded_option
*decoded_options
,
537 unsigned int decoded_options_count
,
539 unsigned int lang_mask
,
540 const struct cl_option_handlers
*handlers
,
541 diagnostic_context
*dc
)
546 /* Scan to see what optimization level has been specified. That will
547 determine the default value of many flags. */
548 for (i
= 1; i
< decoded_options_count
; i
++)
550 struct cl_decoded_option
*opt
= &decoded_options
[i
];
551 switch (opt
->opt_index
)
554 if (*opt
->arg
== '\0')
556 opts
->x_optimize
= 1;
557 opts
->x_optimize_size
= 0;
558 opts
->x_optimize_fast
= 0;
559 opts
->x_optimize_debug
= 0;
563 const int optimize_val
= integral_argument (opt
->arg
);
564 if (optimize_val
== -1)
565 error_at (loc
, "argument to %<-O%> should be a non-negative "
566 "integer, %<g%>, %<s%> or %<fast%>");
569 opts
->x_optimize
= optimize_val
;
570 if ((unsigned int) opts
->x_optimize
> 255)
571 opts
->x_optimize
= 255;
572 opts
->x_optimize_size
= 0;
573 opts
->x_optimize_fast
= 0;
574 opts
->x_optimize_debug
= 0;
580 opts
->x_optimize_size
= 1;
582 /* Optimizing for size forces optimize to be 2. */
583 opts
->x_optimize
= 2;
584 opts
->x_optimize_fast
= 0;
585 opts
->x_optimize_debug
= 0;
589 /* -Ofast only adds flags to -O3. */
590 opts
->x_optimize_size
= 0;
591 opts
->x_optimize
= 3;
592 opts
->x_optimize_fast
= 1;
593 opts
->x_optimize_debug
= 0;
597 /* -Og selects optimization level 1. */
598 opts
->x_optimize_size
= 0;
599 opts
->x_optimize
= 1;
600 opts
->x_optimize_fast
= 0;
601 opts
->x_optimize_debug
= 1;
605 /* Ignore other options in this prescan. */
610 maybe_default_options (opts
, opts_set
, default_options_table
,
611 opts
->x_optimize
, opts
->x_optimize_size
,
612 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
613 lang_mask
, handlers
, loc
, dc
);
615 /* -O2 param settings. */
616 opt2
= (opts
->x_optimize
>= 2);
618 /* Track fields in field-sensitive alias analysis. */
619 maybe_set_param_value
620 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
621 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
622 opts
->x_param_values
, opts_set
->x_param_values
);
624 /* For -O1 only do loop invariant motion for very small loops. */
625 maybe_set_param_value
626 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
627 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
628 opts
->x_param_values
, opts_set
->x_param_values
);
630 /* At -Ofast, allow store motion to introduce potential race conditions. */
631 maybe_set_param_value
632 (PARAM_ALLOW_STORE_DATA_RACES
,
633 opts
->x_optimize_fast
? 1
634 : default_param_value (PARAM_ALLOW_STORE_DATA_RACES
),
635 opts
->x_param_values
, opts_set
->x_param_values
);
637 if (opts
->x_optimize_size
)
638 /* We want to crossjump as much as possible. */
639 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
640 opts
->x_param_values
, opts_set
->x_param_values
);
642 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
643 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
644 opts
->x_param_values
, opts_set
->x_param_values
);
646 /* Restrict the amount of work combine does at -Og while retaining
647 most of its useful transforms. */
648 if (opts
->x_optimize_debug
)
649 maybe_set_param_value (PARAM_MAX_COMBINE_INSNS
, 2,
650 opts
->x_param_values
, opts_set
->x_param_values
);
652 /* Allow default optimizations to be specified on a per-machine basis. */
653 maybe_default_options (opts
, opts_set
,
654 targetm_common
.option_optimization_table
,
655 opts
->x_optimize
, opts
->x_optimize_size
,
656 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
657 lang_mask
, handlers
, loc
, dc
);
660 /* After all options at LOC have been read into OPTS and OPTS_SET,
661 finalize settings of those options and diagnose incompatible
664 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
667 enum unwind_info_type ui_except
;
669 if (opts
->x_dump_base_name
670 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
671 && ! opts
->x_dump_base_name_prefixed
)
673 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
674 OPTS->X_DUMP_DIR_NAME directory. Then try to make
675 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
676 directory, typically the directory to contain the object
678 if (opts
->x_dump_dir_name
)
679 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
680 opts
->x_dump_base_name
, NULL
);
681 else if (opts
->x_aux_base_name
682 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
684 const char *aux_base
;
686 base_of_path (opts
->x_aux_base_name
, &aux_base
);
687 if (opts
->x_aux_base_name
!= aux_base
)
689 int dir_len
= aux_base
- opts
->x_aux_base_name
;
690 char *new_dump_base_name
691 = XOBNEWVEC (&opts_obstack
, char,
692 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
694 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
695 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
696 /* Append existing OPTS->X_DUMP_BASE_NAME. */
697 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
698 opts
->x_dump_base_name
= new_dump_base_name
;
701 opts
->x_dump_base_name_prefixed
= true;
704 /* Handle related options for unit-at-a-time, toplevel-reorder, and
706 if (!opts
->x_flag_unit_at_a_time
)
708 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
709 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
711 opts
->x_flag_section_anchors
= 0;
712 if (opts
->x_flag_toplevel_reorder
== 1)
713 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
715 opts
->x_flag_toplevel_reorder
= 0;
718 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
719 sorry ("transactional memory is not supported with non-call exceptions");
721 /* Unless the user has asked for section anchors, we disable toplevel
722 reordering at -O0 to disable transformations that might be surprising
723 to end users and to get -fno-toplevel-reorder tested. */
724 if (!opts
->x_optimize
725 && opts
->x_flag_toplevel_reorder
== 2
726 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
728 opts
->x_flag_toplevel_reorder
= 0;
729 opts
->x_flag_section_anchors
= 0;
731 if (!opts
->x_flag_toplevel_reorder
)
733 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
734 error_at (loc
, "section anchors must be disabled when toplevel reorder"
736 opts
->x_flag_section_anchors
= 0;
739 if (!opts
->x_flag_opts_finished
)
741 /* We initialize opts->x_flag_pie to -1 so that targets can set a
743 if (opts
->x_flag_pie
== -1)
745 if (opts
->x_flag_pic
== 0)
746 opts
->x_flag_pie
= DEFAULT_FLAG_PIE
;
748 opts
->x_flag_pie
= 0;
750 if (opts
->x_flag_pie
)
751 opts
->x_flag_pic
= opts
->x_flag_pie
;
752 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
753 opts
->x_flag_shlib
= 1;
754 opts
->x_flag_opts_finished
= true;
757 /* We initialize opts->x_flag_stack_protect to -1 so that targets
758 can set a default value. */
759 if (opts
->x_flag_stack_protect
== -1)
760 opts
->x_flag_stack_protect
= DEFAULT_FLAG_SSP
;
762 if (opts
->x_optimize
== 0)
764 /* Inlining does not work if not optimizing,
765 so force it not to be done. */
766 opts
->x_warn_inline
= 0;
767 opts
->x_flag_no_inline
= 1;
770 /* The optimization to partition hot and cold basic blocks into separate
771 sections of the .o and executable files does not work (currently)
772 with exception handling. This is because there is no support for
773 generating unwind info. If opts->x_flag_exceptions is turned on
774 we need to turn off the partitioning optimization. */
776 ui_except
= targetm_common
.except_unwind_info (opts
);
778 if (opts
->x_flag_exceptions
779 && opts
->x_flag_reorder_blocks_and_partition
780 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
782 if (opts_set
->x_flag_reorder_blocks_and_partition
)
784 "-freorder-blocks-and-partition does not work "
785 "with exceptions on this architecture");
786 opts
->x_flag_reorder_blocks_and_partition
= 0;
787 opts
->x_flag_reorder_blocks
= 1;
790 /* If user requested unwind info, then turn off the partitioning
793 if (opts
->x_flag_unwind_tables
794 && !targetm_common
.unwind_tables_default
795 && opts
->x_flag_reorder_blocks_and_partition
796 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
798 if (opts_set
->x_flag_reorder_blocks_and_partition
)
800 "-freorder-blocks-and-partition does not support "
801 "unwind info on this architecture");
802 opts
->x_flag_reorder_blocks_and_partition
= 0;
803 opts
->x_flag_reorder_blocks
= 1;
806 /* If the target requested unwind info, then turn off the partitioning
807 optimization with a different message. Likewise, if the target does not
808 support named sections. */
810 if (opts
->x_flag_reorder_blocks_and_partition
811 && (!targetm_common
.have_named_sections
812 || (opts
->x_flag_unwind_tables
813 && targetm_common
.unwind_tables_default
814 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
816 if (opts_set
->x_flag_reorder_blocks_and_partition
)
818 "-freorder-blocks-and-partition does not work "
819 "on this architecture");
820 opts
->x_flag_reorder_blocks_and_partition
= 0;
821 opts
->x_flag_reorder_blocks
= 1;
824 /* Disable -freorder-blocks-and-partition when -fprofile-use is not in
825 effect. Function splitting was not actually being performed in that case,
826 as probably_never_executed_bb_p does not distinguish any basic blocks as
827 being cold vs hot when there is no profile data. Leaving it enabled,
828 however, causes the assembly code generator to create (empty) cold
829 sections and labels, leading to unnecessary size overhead. */
830 if (opts
->x_flag_reorder_blocks_and_partition
831 && !opts_set
->x_flag_profile_use
)
832 opts
->x_flag_reorder_blocks_and_partition
= 0;
834 if (opts
->x_flag_reorder_blocks_and_partition
835 && !opts_set
->x_flag_reorder_functions
)
836 opts
->x_flag_reorder_functions
= 1;
838 /* Pipelining of outer loops is only possible when general pipelining
839 capabilities are requested. */
840 if (!opts
->x_flag_sel_sched_pipelining
)
841 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
843 if (opts
->x_flag_conserve_stack
)
845 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
846 opts
->x_param_values
, opts_set
->x_param_values
);
847 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
848 opts
->x_param_values
, opts_set
->x_param_values
);
851 if (opts
->x_flag_lto
)
854 opts
->x_flag_generate_lto
= 1;
856 /* When generating IL, do not operate in whole-program mode.
857 Otherwise, symbols will be privatized too early, causing link
859 opts
->x_flag_whole_program
= 0;
861 error_at (loc
, "LTO support has not been enabled in this configuration");
863 if (!opts
->x_flag_fat_lto_objects
865 || (opts_set
->x_flag_use_linker_plugin
866 && !opts
->x_flag_use_linker_plugin
)))
868 if (opts_set
->x_flag_fat_lto_objects
)
869 error_at (loc
, "-fno-fat-lto-objects are supported only with linker plugin");
870 opts
->x_flag_fat_lto_objects
= 1;
874 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
875 default value if they choose based on other options. */
876 if (opts
->x_flag_split_stack
== -1)
877 opts
->x_flag_split_stack
= 0;
878 else if (opts
->x_flag_split_stack
)
880 if (!targetm_common
.supports_split_stack (true, opts
))
882 error_at (loc
, "%<-fsplit-stack%> is not supported by "
883 "this compiler configuration");
884 opts
->x_flag_split_stack
= 0;
888 /* Tune vectorization related parametees according to cost model. */
889 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
891 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
892 6, opts
->x_param_values
, opts_set
->x_param_values
);
893 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
894 0, opts
->x_param_values
, opts_set
->x_param_values
);
895 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
896 0, opts
->x_param_values
, opts_set
->x_param_values
);
899 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
901 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
902 || !opts
->x_flag_tree_loop_if_convert
)
903 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
904 opts
->x_param_values
, opts_set
->x_param_values
);
906 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
907 if (opts
->x_dwarf_split_debug_info
)
908 opts
->x_debug_generate_pub_sections
= 2;
910 /* Userspace and kernel ASan conflict with each other. */
912 if ((opts
->x_flag_sanitize
& SANITIZE_USER_ADDRESS
)
913 && (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
))
915 "-fsanitize=address is incompatible with "
916 "-fsanitize=kernel-address");
920 if ((opts
->x_flag_sanitize
& SANITIZE_ADDRESS
)
921 && (opts
->x_flag_sanitize
& SANITIZE_THREAD
))
923 "-fsanitize=address and -fsanitize=kernel-address "
924 "are incompatible with -fsanitize=thread");
926 /* Error recovery is not allowed for ASan and TSan. */
928 if (opts
->x_flag_sanitize_recover
& SANITIZE_USER_ADDRESS
)
929 error_at (loc
, "-fsanitize-recover=address is not supported");
931 if (opts
->x_flag_sanitize_recover
& SANITIZE_THREAD
)
932 error_at (loc
, "-fsanitize-recover=thread is not supported");
934 if (opts
->x_flag_sanitize_recover
& SANITIZE_LEAK
)
935 error_at (loc
, "-fsanitize-recover=leak is not supported");
937 /* When instrumenting the pointers, we don't want to remove
938 the null pointer checks. */
939 if (opts
->x_flag_sanitize
& (SANITIZE_NULL
| SANITIZE_NONNULL_ATTRIBUTE
940 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
))
941 opts
->x_flag_delete_null_pointer_checks
= 0;
943 /* Aggressive compiler optimizations may cause false negatives. */
944 if (opts
->x_flag_sanitize
)
946 opts
->x_flag_aggressive_loop_optimizations
= 0;
947 opts
->x_flag_strict_overflow
= 0;
951 #define LEFT_COLUMN 27
953 /* Output ITEM, of length ITEM_WIDTH, in the left column,
954 followed by word-wrapped HELP in a second column. */
956 wrap_help (const char *help
,
958 unsigned int item_width
,
959 unsigned int columns
)
961 unsigned int col_width
= LEFT_COLUMN
;
962 unsigned int remaining
, room
, len
;
964 remaining
= strlen (help
);
968 room
= columns
- 3 - MAX (col_width
, item_width
);
977 for (i
= 0; help
[i
]; i
++)
979 if (i
>= room
&& len
!= remaining
)
983 else if ((help
[i
] == '-' || help
[i
] == '/')
984 && help
[i
+ 1] != ' '
985 && i
> 0 && ISALPHA (help
[i
- 1]))
990 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
992 while (help
[len
] == ' ')
1000 /* Print help for a specific front-end, etc. */
1002 print_filtered_help (unsigned int include_flags
,
1003 unsigned int exclude_flags
,
1004 unsigned int any_flags
,
1005 unsigned int columns
,
1006 struct gcc_options
*opts
,
1007 unsigned int lang_mask
)
1012 bool displayed
= false;
1015 if (include_flags
== CL_PARAMS
)
1017 for (i
= 0; i
< LAST_PARAM
; i
++)
1019 const char *param
= compiler_params
[i
].option
;
1021 help
= compiler_params
[i
].help
;
1022 if (help
== NULL
|| *help
== '\0')
1024 if (exclude_flags
& CL_UNDOCUMENTED
)
1026 help
= undocumented_msg
;
1029 /* Get the translation. */
1032 if (!opts
->x_quiet_flag
)
1034 snprintf (new_help
, sizeof (new_help
),
1035 _("default %d minimum %d maximum %d"),
1036 compiler_params
[i
].default_value
,
1037 compiler_params
[i
].min_value
,
1038 compiler_params
[i
].max_value
);
1041 wrap_help (help
, param
, strlen (param
), columns
);
1047 if (!opts
->x_help_printed
)
1048 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
1050 if (!opts
->x_help_enum_printed
)
1051 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
1053 for (i
= 0; i
< cl_options_count
; i
++)
1055 const struct cl_option
*option
= cl_options
+ i
;
1060 if (include_flags
== 0
1061 || ((option
->flags
& include_flags
) != include_flags
))
1063 if ((option
->flags
& any_flags
) == 0)
1067 /* Skip unwanted switches. */
1068 if ((option
->flags
& exclude_flags
) != 0)
1071 /* The driver currently prints its own help text. */
1072 if ((option
->flags
& CL_DRIVER
) != 0
1073 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1074 | CL_COMMON
| CL_TARGET
)) == 0)
1078 /* Skip switches that have already been printed. */
1079 if (opts
->x_help_printed
[i
])
1082 opts
->x_help_printed
[i
] = true;
1084 help
= option
->help
;
1087 if (exclude_flags
& CL_UNDOCUMENTED
)
1089 help
= undocumented_msg
;
1092 /* Get the translation. */
1095 /* Find the gap between the name of the
1096 option and its descriptive text. */
1097 tab
= strchr (help
, '\t');
1106 opt
= option
->opt_text
;
1110 /* With the -Q option enabled we change the descriptive text associated
1111 with an option to be an indication of its current setting. */
1112 if (!opts
->x_quiet_flag
)
1114 void *flag_var
= option_flag_var (i
, opts
);
1116 if (len
< (LEFT_COLUMN
+ 2))
1117 strcpy (new_help
, "\t\t");
1119 strcpy (new_help
, "\t");
1121 if (flag_var
!= NULL
1122 && option
->var_type
!= CLVC_DEFER
)
1124 if (option
->flags
& CL_JOINED
)
1126 if (option
->var_type
== CLVC_STRING
)
1128 if (* (const char **) flag_var
!= NULL
)
1129 snprintf (new_help
+ strlen (new_help
),
1130 sizeof (new_help
) - strlen (new_help
),
1131 "%s", * (const char **) flag_var
);
1133 else if (option
->var_type
== CLVC_ENUM
)
1135 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1137 const char *arg
= NULL
;
1139 value
= e
->get (flag_var
);
1140 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1142 arg
= _("[default]");
1143 snprintf (new_help
+ strlen (new_help
),
1144 sizeof (new_help
) - strlen (new_help
),
1148 sprintf (new_help
+ strlen (new_help
),
1149 "%#x", * (int *) flag_var
);
1152 strcat (new_help
, option_enabled (i
, opts
)
1153 ? _("[enabled]") : _("[disabled]"));
1159 wrap_help (help
, opt
, len
, columns
);
1162 if (option
->var_type
== CLVC_ENUM
1163 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1164 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1169 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1172 printf (_(" No options with the desired characteristics were found\n"));
1177 /* PR 31349: Tell the user how to see all of the
1178 options supported by a specific front end. */
1179 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1180 if ((1U << i
) & langs
)
1181 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1182 lang_names
[i
], lang_names
[i
]);
1186 else if (! displayed
)
1187 printf (_(" All options with the desired characteristics have already been displayed\n"));
1191 /* Print details of enumerated option arguments, if those
1192 enumerations have help text headings provided. If no help text
1193 is provided, presume that the possible values are listed in the
1194 help text for the relevant options. */
1195 for (i
= 0; i
< cl_enums_count
; i
++)
1197 unsigned int j
, pos
;
1199 if (opts
->x_help_enum_printed
[i
] != 1)
1201 if (cl_enums
[i
].help
== NULL
)
1203 printf (" %s\n ", _(cl_enums
[i
].help
));
1205 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1207 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1209 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1211 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1221 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1226 opts
->x_help_enum_printed
[i
] = 2;
1230 /* Display help for a specified type of option.
1231 The options must have ALL of the INCLUDE_FLAGS set
1232 ANY of the flags in the ANY_FLAGS set
1233 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1234 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1236 print_specific_help (unsigned int include_flags
,
1237 unsigned int exclude_flags
,
1238 unsigned int any_flags
,
1239 struct gcc_options
*opts
,
1240 unsigned int lang_mask
)
1242 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1243 const char * description
= NULL
;
1244 const char * descrip_extra
= "";
1248 /* Sanity check: Make sure that we do not have more
1249 languages than we have bits available to enumerate them. */
1250 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1252 /* If we have not done so already, obtain
1253 the desired maximum width of the output. */
1254 if (opts
->x_help_columns
== 0)
1256 opts
->x_help_columns
= get_terminal_width ();
1257 if (opts
->x_help_columns
== INT_MAX
)
1258 /* Use a reasonable default. */
1259 opts
->x_help_columns
= 80;
1262 /* Decide upon the title for the options that we are going to display. */
1263 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1265 switch (flag
& include_flags
)
1272 description
= _("The following options are target specific");
1275 description
= _("The following options control compiler warning messages");
1277 case CL_OPTIMIZATION
:
1278 description
= _("The following options control optimizations");
1281 description
= _("The following options are language-independent");
1284 description
= _("The --param option recognizes the following as parameters");
1287 if (i
>= cl_lang_count
)
1289 if (exclude_flags
& all_langs_mask
)
1290 description
= _("The following options are specific to just the language ");
1292 description
= _("The following options are supported by the language ");
1293 descrip_extra
= lang_names
[i
];
1298 if (description
== NULL
)
1302 if (include_flags
& CL_UNDOCUMENTED
)
1303 description
= _("The following options are not documented");
1304 else if (include_flags
& CL_SEPARATE
)
1305 description
= _("The following options take separate arguments");
1306 else if (include_flags
& CL_JOINED
)
1307 description
= _("The following options take joined arguments");
1310 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1317 if (any_flags
& all_langs_mask
)
1318 description
= _("The following options are language-related");
1320 description
= _("The following options are language-independent");
1324 printf ("%s%s:\n", description
, descrip_extra
);
1325 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1326 opts
->x_help_columns
, opts
, lang_mask
);
1329 /* Enable FDO-related flags. */
1332 enable_fdo_optimizations (struct gcc_options
*opts
,
1333 struct gcc_options
*opts_set
,
1336 if (!opts_set
->x_flag_branch_probabilities
)
1337 opts
->x_flag_branch_probabilities
= value
;
1338 if (!opts_set
->x_flag_profile_values
)
1339 opts
->x_flag_profile_values
= value
;
1340 if (!opts_set
->x_flag_unroll_loops
)
1341 opts
->x_flag_unroll_loops
= value
;
1342 if (!opts_set
->x_flag_peel_loops
)
1343 opts
->x_flag_peel_loops
= value
;
1344 if (!opts_set
->x_flag_tracer
)
1345 opts
->x_flag_tracer
= value
;
1346 if (!opts_set
->x_flag_value_profile_transformations
)
1347 opts
->x_flag_value_profile_transformations
= value
;
1348 if (!opts_set
->x_flag_inline_functions
)
1349 opts
->x_flag_inline_functions
= value
;
1350 if (!opts_set
->x_flag_ipa_cp
)
1351 opts
->x_flag_ipa_cp
= value
;
1352 if (!opts_set
->x_flag_ipa_cp_clone
1353 && value
&& opts
->x_flag_ipa_cp
)
1354 opts
->x_flag_ipa_cp_clone
= value
;
1355 if (!opts_set
->x_flag_ipa_cp_alignment
1356 && value
&& opts
->x_flag_ipa_cp
)
1357 opts
->x_flag_ipa_cp_alignment
= value
;
1358 if (!opts_set
->x_flag_predictive_commoning
)
1359 opts
->x_flag_predictive_commoning
= value
;
1360 if (!opts_set
->x_flag_unswitch_loops
)
1361 opts
->x_flag_unswitch_loops
= value
;
1362 if (!opts_set
->x_flag_gcse_after_reload
)
1363 opts
->x_flag_gcse_after_reload
= value
;
1364 if (!opts_set
->x_flag_tree_loop_vectorize
1365 && !opts_set
->x_flag_tree_vectorize
)
1366 opts
->x_flag_tree_loop_vectorize
= value
;
1367 if (!opts_set
->x_flag_tree_slp_vectorize
1368 && !opts_set
->x_flag_tree_vectorize
)
1369 opts
->x_flag_tree_slp_vectorize
= value
;
1370 if (!opts_set
->x_flag_vect_cost_model
)
1371 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1372 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1373 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1376 /* Handle target- and language-independent options. Return zero to
1377 generate an "unknown option" message. Only options that need
1378 extra handling need to be listed here; if you simply want
1379 DECODED->value assigned to a variable, it happens automatically. */
1382 common_handle_option (struct gcc_options
*opts
,
1383 struct gcc_options
*opts_set
,
1384 const struct cl_decoded_option
*decoded
,
1385 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1387 const struct cl_option_handlers
*handlers
,
1388 diagnostic_context
*dc
)
1390 size_t scode
= decoded
->opt_index
;
1391 const char *arg
= decoded
->arg
;
1392 int value
= decoded
->value
;
1393 enum opt_code code
= (enum opt_code
) scode
;
1395 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1400 handle_param (opts
, opts_set
, loc
, arg
);
1405 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1406 unsigned int undoc_mask
;
1409 if (lang_mask
== CL_DRIVER
)
1412 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1415 /* First display any single language specific options. */
1416 for (i
= 0; i
< cl_lang_count
; i
++)
1418 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1420 /* Next display any multi language specific options. */
1421 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1422 /* Then display any remaining, non-language options. */
1423 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1425 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1426 opts
->x_exit_after_options
= true;
1430 case OPT__target_help
:
1431 if (lang_mask
== CL_DRIVER
)
1434 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1435 opts
->x_exit_after_options
= true;
1440 const char * a
= arg
;
1441 unsigned int include_flags
= 0;
1442 /* Note - by default we include undocumented options when listing
1443 specific classes. If you only want to see documented options
1444 then add ",^undocumented" to the --help= option. E.g.:
1446 --help=target,^undocumented */
1447 unsigned int exclude_flags
= 0;
1449 if (lang_mask
== CL_DRIVER
)
1452 /* Walk along the argument string, parsing each word in turn.
1454 arg = [^]{word}[,{arg}]
1455 word = {optimizers|target|warnings|undocumented|
1456 params|common|<language>} */
1461 const char * string
;
1466 { "optimizers", CL_OPTIMIZATION
},
1467 { "target", CL_TARGET
},
1468 { "warnings", CL_WARNING
},
1469 { "undocumented", CL_UNDOCUMENTED
},
1470 { "params", CL_PARAMS
},
1471 { "joined", CL_JOINED
},
1472 { "separate", CL_SEPARATE
},
1473 { "common", CL_COMMON
},
1476 unsigned int * pflags
;
1478 unsigned int lang_flag
, specific_flag
;
1485 pflags
= & exclude_flags
;
1488 pflags
= & include_flags
;
1490 comma
= strchr (a
, ',');
1501 /* Check to see if the string matches an option class name. */
1502 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1503 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1505 specific_flag
= specifics
[i
].flag
;
1509 /* Check to see if the string matches a language name.
1510 Note - we rely upon the alpha-sorted nature of the entries in
1511 the lang_names array, specifically that shorter names appear
1512 before their longer variants. (i.e. C before C++). That way
1513 when we are attempting to match --help=c for example we will
1514 match with C first and not C++. */
1515 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1516 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1518 lang_flag
= 1U << i
;
1522 if (specific_flag
!= 0)
1525 * pflags
|= specific_flag
;
1528 /* The option's argument matches both the start of a
1529 language name and the start of an option class name.
1530 We have a special case for when the user has
1531 specified "--help=c", but otherwise we have to issue
1533 if (strncasecmp (a
, "c", len
) == 0)
1534 * pflags
|= lang_flag
;
1537 "--help argument %q.*s is ambiguous, "
1538 "please be more specific",
1542 else if (lang_flag
!= 0)
1543 * pflags
|= lang_flag
;
1546 "unrecognized argument to --help= option: %q.*s",
1555 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1557 opts
->x_exit_after_options
= true;
1562 if (lang_mask
== CL_DRIVER
)
1565 opts
->x_exit_after_options
= true;
1568 case OPT_fsanitize_
:
1569 case OPT_fsanitize_recover_
:
1571 const char *p
= arg
;
1573 = code
== OPT_fsanitize_
? &opts
->x_flag_sanitize
1574 : &opts
->x_flag_sanitize_recover
;
1579 const char *const name
;
1584 { "address", SANITIZE_ADDRESS
| SANITIZE_USER_ADDRESS
,
1585 sizeof "address" - 1 },
1586 { "kernel-address", SANITIZE_ADDRESS
| SANITIZE_KERNEL_ADDRESS
,
1587 sizeof "kernel-address" - 1 },
1588 { "thread", SANITIZE_THREAD
, sizeof "thread" - 1 },
1589 { "leak", SANITIZE_LEAK
, sizeof "leak" - 1 },
1590 { "shift", SANITIZE_SHIFT
, sizeof "shift" - 1 },
1591 { "integer-divide-by-zero", SANITIZE_DIVIDE
,
1592 sizeof "integer-divide-by-zero" - 1 },
1593 { "undefined", SANITIZE_UNDEFINED
, sizeof "undefined" - 1 },
1594 { "unreachable", SANITIZE_UNREACHABLE
,
1595 sizeof "unreachable" - 1 },
1596 { "vla-bound", SANITIZE_VLA
, sizeof "vla-bound" - 1 },
1597 { "return", SANITIZE_RETURN
, sizeof "return" - 1 },
1598 { "null", SANITIZE_NULL
, sizeof "null" - 1 },
1599 { "signed-integer-overflow", SANITIZE_SI_OVERFLOW
,
1600 sizeof "signed-integer-overflow" -1 },
1601 { "bool", SANITIZE_BOOL
, sizeof "bool" - 1 },
1602 { "enum", SANITIZE_ENUM
, sizeof "enum" - 1 },
1603 { "float-divide-by-zero", SANITIZE_FLOAT_DIVIDE
,
1604 sizeof "float-divide-by-zero" - 1 },
1605 { "float-cast-overflow", SANITIZE_FLOAT_CAST
,
1606 sizeof "float-cast-overflow" - 1 },
1607 { "bounds", SANITIZE_BOUNDS
, sizeof "bounds" - 1 },
1608 { "bounds-strict", SANITIZE_BOUNDS
| SANITIZE_BOUNDS_STRICT
,
1609 sizeof "bounds-strict" - 1 },
1610 { "alignment", SANITIZE_ALIGNMENT
, sizeof "alignment" - 1 },
1611 { "nonnull-attribute", SANITIZE_NONNULL_ATTRIBUTE
,
1612 sizeof "nonnull-attribute" - 1 },
1613 { "returns-nonnull-attribute",
1614 SANITIZE_RETURNS_NONNULL_ATTRIBUTE
,
1615 sizeof "returns-nonnull-attribute" - 1 },
1616 { "object-size", SANITIZE_OBJECT_SIZE
,
1617 sizeof "object-size" - 1 },
1618 { "vptr", SANITIZE_VPTR
, sizeof "vptr" - 1 },
1619 { "all", ~0, sizeof "all" - 1 },
1626 comma
= strchr (p
, ',');
1637 /* Check to see if the string matches an option class name. */
1638 for (i
= 0; spec
[i
].name
!= NULL
; ++i
)
1639 if (len
== spec
[i
].len
1640 && memcmp (p
, spec
[i
].name
, len
) == 0)
1642 /* Handle both -fsanitize and -fno-sanitize cases. */
1643 if (value
&& spec
[i
].flag
== ~0U)
1645 if (code
== OPT_fsanitize_
)
1646 error_at (loc
, "-fsanitize=all option is not valid");
1648 *flag
|= ~(SANITIZE_USER_ADDRESS
| SANITIZE_THREAD
1652 *flag
|= spec
[i
].flag
;
1654 *flag
&= ~spec
[i
].flag
;
1661 "unrecognized argument to -fsanitize%s= option: %q.*s",
1662 code
== OPT_fsanitize_
? "" : "-recover", (int) len
, p
);
1669 if (code
!= OPT_fsanitize_
)
1672 /* Kernel ASan implies normal ASan but does not yet support
1674 if (opts
->x_flag_sanitize
& SANITIZE_KERNEL_ADDRESS
)
1676 maybe_set_param_value (PARAM_ASAN_INSTRUMENTATION_WITH_CALL_THRESHOLD
, 0,
1677 opts
->x_param_values
,
1678 opts_set
->x_param_values
);
1679 maybe_set_param_value (PARAM_ASAN_GLOBALS
, 0,
1680 opts
->x_param_values
,
1681 opts_set
->x_param_values
);
1682 maybe_set_param_value (PARAM_ASAN_STACK
, 0,
1683 opts
->x_param_values
,
1684 opts_set
->x_param_values
);
1685 maybe_set_param_value (PARAM_ASAN_USE_AFTER_RETURN
, 0,
1686 opts
->x_param_values
,
1687 opts_set
->x_param_values
);
1693 case OPT_fasan_shadow_offset_
:
1697 case OPT_fsanitize_recover
:
1699 opts
->x_flag_sanitize_recover
1700 |= SANITIZE_UNDEFINED
| SANITIZE_NONDEFAULT
;
1702 opts
->x_flag_sanitize_recover
1703 &= ~(SANITIZE_UNDEFINED
| SANITIZE_NONDEFAULT
);
1710 /* Currently handled in a prescan. */
1714 dc
->warning_as_error_requested
= value
;
1718 if (lang_mask
== CL_DRIVER
)
1721 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
1722 opts
, opts_set
, loc
, dc
);
1725 case OPT_Wlarger_than_
:
1726 opts
->x_larger_than_size
= value
;
1727 opts
->x_warn_larger_than
= value
!= -1;
1730 case OPT_Wfatal_errors
:
1731 dc
->fatal_errors
= value
;
1734 case OPT_Wframe_larger_than_
:
1735 opts
->x_frame_larger_than_size
= value
;
1736 opts
->x_warn_frame_larger_than
= value
!= -1;
1739 case OPT_Wstack_usage_
:
1740 opts
->x_warn_stack_usage
= value
;
1741 opts
->x_flag_stack_usage_info
= value
!= -1;
1744 case OPT_Wstrict_aliasing
:
1745 set_Wstrict_aliasing (opts
, value
);
1748 case OPT_Wstrict_overflow
:
1749 opts
->x_warn_strict_overflow
= (value
1750 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1754 case OPT_Wsystem_headers
:
1755 dc
->dc_warn_system_headers
= value
;
1759 opts
->x_flag_gen_aux_info
= 1;
1762 case OPT_auxbase_strip
:
1764 char *tmp
= xstrdup (arg
);
1765 strip_off_ending (tmp
, strlen (tmp
));
1767 opts
->x_aux_base_name
= tmp
;
1774 decode_d_option (arg
, opts
, loc
, dc
);
1777 case OPT_fcall_used_
:
1778 case OPT_fcall_saved_
:
1786 case OPT_fdbg_cnt_list
:
1788 opts
->x_exit_after_options
= true;
1791 case OPT_fdebug_prefix_map_
:
1795 case OPT_fdiagnostics_show_location_
:
1796 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
1799 case OPT_fdiagnostics_show_caret
:
1800 dc
->show_caret
= value
;
1803 case OPT_fdiagnostics_color_
:
1804 diagnostic_color_init (dc
, value
);
1807 case OPT_fdiagnostics_show_option
:
1808 dc
->show_option_requested
= value
;
1815 case OPT_ffast_math
:
1816 set_fast_math_flags (opts
, value
);
1819 case OPT_funsafe_math_optimizations
:
1820 set_unsafe_math_optimizations_flags (opts
, value
);
1827 case OPT_finline_limit_
:
1828 set_param_value ("max-inline-insns-single", value
/ 2,
1829 opts
->x_param_values
, opts_set
->x_param_values
);
1830 set_param_value ("max-inline-insns-auto", value
/ 2,
1831 opts
->x_param_values
, opts_set
->x_param_values
);
1834 case OPT_finstrument_functions_exclude_function_list_
:
1835 add_comma_separated_to_vector
1836 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
1839 case OPT_finstrument_functions_exclude_file_list_
:
1840 add_comma_separated_to_vector
1841 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
1844 case OPT_fmessage_length_
:
1845 pp_set_line_maximum_length (dc
->printer
, value
);
1846 diagnostic_set_caret_max_width (dc
, value
);
1850 case OPT_fopt_info_
:
1858 #ifndef ACCEL_COMPILER
1859 case OPT_foffload_abi_
:
1860 error_at (loc
, "-foffload-abi option can be specified only for "
1861 "offload compiler");
1865 case OPT_fpack_struct_
:
1866 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1868 "structure alignment must be a small power of two, not %d",
1871 opts
->x_initial_max_fld_align
= value
;
1875 case OPT_fplugin_arg_
:
1879 case OPT_fprofile_use_
:
1880 opts
->x_profile_data_prefix
= xstrdup (arg
);
1881 opts
->x_flag_profile_use
= true;
1883 /* No break here - do -fprofile-use processing. */
1884 case OPT_fprofile_use
:
1885 enable_fdo_optimizations (opts
, opts_set
, value
);
1886 if (!opts_set
->x_flag_profile_reorder_functions
)
1887 opts
->x_flag_profile_reorder_functions
= value
;
1888 /* Indirect call profiling should do all useful transformations
1889 speculative devirtualization does. */
1890 if (!opts_set
->x_flag_devirtualize_speculatively
1891 && opts
->x_flag_value_profile_transformations
)
1892 opts
->x_flag_devirtualize_speculatively
= false;
1895 case OPT_fauto_profile_
:
1896 opts
->x_auto_profile_file
= xstrdup (arg
);
1897 opts
->x_flag_auto_profile
= true;
1899 /* No break here - do -fauto-profile processing. */
1900 case OPT_fauto_profile
:
1901 enable_fdo_optimizations (opts
, opts_set
, value
);
1902 if (!opts_set
->x_flag_profile_correction
)
1903 opts
->x_flag_profile_correction
= value
;
1904 maybe_set_param_value (
1905 PARAM_EARLY_INLINER_MAX_ITERATIONS
, 10,
1906 opts
->x_param_values
, opts_set
->x_param_values
);
1909 case OPT_fprofile_generate_
:
1910 opts
->x_profile_data_prefix
= xstrdup (arg
);
1912 /* No break here - do -fprofile-generate processing. */
1913 case OPT_fprofile_generate
:
1914 if (!opts_set
->x_profile_arc_flag
)
1915 opts
->x_profile_arc_flag
= value
;
1916 if (!opts_set
->x_flag_profile_values
)
1917 opts
->x_flag_profile_values
= value
;
1918 if (!opts_set
->x_flag_inline_functions
)
1919 opts
->x_flag_inline_functions
= value
;
1920 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
1921 quadratic. Disable the pass until better memory representation
1923 if (!opts_set
->x_flag_ipa_reference
)
1924 opts
->x_flag_ipa_reference
= false;
1927 case OPT_ftree_vectorize
:
1928 if (!opts_set
->x_flag_tree_loop_vectorize
)
1929 opts
->x_flag_tree_loop_vectorize
= value
;
1930 if (!opts_set
->x_flag_tree_slp_vectorize
)
1931 opts
->x_flag_tree_slp_vectorize
= value
;
1933 case OPT_fshow_column
:
1934 dc
->show_column
= value
;
1937 case OPT_frandom_seed
:
1938 /* The real switch is -fno-random-seed. */
1944 case OPT_frandom_seed_
:
1948 case OPT_fsched_verbose_
:
1949 #ifdef INSN_SCHEDULING
1950 /* Handled with Var in common.opt. */
1956 case OPT_fsched_stalled_insns_
:
1957 opts
->x_flag_sched_stalled_insns
= value
;
1958 if (opts
->x_flag_sched_stalled_insns
== 0)
1959 opts
->x_flag_sched_stalled_insns
= -1;
1962 case OPT_fsched_stalled_insns_dep_
:
1963 opts
->x_flag_sched_stalled_insns_dep
= value
;
1966 case OPT_fstack_check_
:
1967 if (!strcmp (arg
, "no"))
1968 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
1969 else if (!strcmp (arg
, "generic"))
1970 /* This is the old stack checking method. */
1971 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1972 ? FULL_BUILTIN_STACK_CHECK
1973 : GENERIC_STACK_CHECK
;
1974 else if (!strcmp (arg
, "specific"))
1975 /* This is the new stack checking method. */
1976 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1977 ? FULL_BUILTIN_STACK_CHECK
1978 : STACK_CHECK_STATIC_BUILTIN
1979 ? STATIC_BUILTIN_STACK_CHECK
1980 : GENERIC_STACK_CHECK
;
1982 warning_at (loc
, 0, "unknown stack check parameter %qs", arg
);
1985 case OPT_fstack_limit
:
1986 /* The real switch is -fno-stack-limit. */
1992 case OPT_fstack_limit_register_
:
1993 case OPT_fstack_limit_symbol_
:
1997 case OPT_fstack_usage
:
1998 opts
->x_flag_stack_usage
= value
;
1999 opts
->x_flag_stack_usage_info
= value
!= 0;
2003 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
2008 set_debug_level (SDB_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2012 if (arg
&& strlen (arg
) != 0)
2014 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
2015 "use %<-gdwarf-%s%> for DWARF version "
2016 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
2020 value
= opts
->x_dwarf_version
;
2024 if (value
< 2 || value
> 5)
2025 error_at (loc
, "dwarf version %d is not supported", value
);
2027 opts
->x_dwarf_version
= value
;
2028 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
2031 case OPT_gsplit_dwarf
:
2032 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
2037 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
2042 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
2047 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
2052 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
2058 /* Handled completely via specs. */
2061 case OPT_pedantic_errors
:
2062 dc
->pedantic_errors
= 1;
2063 control_warning_option (OPT_Wpedantic
, DK_ERROR
, value
,
2065 handlers
, opts
, opts_set
,
2070 opts
->x_flag_lto
= value
? "" : NULL
;
2074 dc
->dc_inhibit_warnings
= true;
2077 case OPT_fmax_errors_
:
2078 dc
->max_errors
= value
;
2081 case OPT_fuse_ld_bfd
:
2082 case OPT_fuse_ld_gold
:
2083 case OPT_fuse_linker_plugin
:
2084 /* No-op. Used by the driver and passed to us because it starts with f.*/
2089 opts
->x_flag_trapv
= 0;
2094 opts
->x_flag_wrapv
= 0;
2098 opts
->x_flag_ipa_icf_functions
= value
;
2099 opts
->x_flag_ipa_icf_variables
= value
;
2103 /* If the flag was handled in a standard way, assume the lack of
2104 processing here is intentional. */
2105 gcc_assert (option_flag_var (scode
, opts
));
2109 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
2114 /* Handle --param NAME=VALUE. */
2116 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2117 location_t loc
, const char *carg
)
2122 arg
= xstrdup (carg
);
2123 equal
= strchr (arg
, '=');
2125 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
2129 value
= integral_argument (equal
+ 1);
2131 error_at (loc
, "invalid --param value %qs", equal
+ 1);
2135 set_param_value (arg
, value
,
2136 opts
->x_param_values
, opts_set
->x_param_values
);
2143 /* Used to set the level of strict aliasing warnings in OPTS,
2144 when no level is specified (i.e., when -Wstrict-aliasing, and not
2145 -Wstrict-aliasing=level was given).
2146 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2147 and 0 otherwise. After calling this function, wstrict_aliasing will be
2148 set to the default value of -Wstrict_aliasing=level, currently 3. */
2150 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
2152 gcc_assert (onoff
== 0 || onoff
== 1);
2154 opts
->x_warn_strict_aliasing
= 3;
2156 opts
->x_warn_strict_aliasing
= 0;
2159 /* The following routines are useful in setting all the flags that
2160 -ffast-math and -fno-fast-math imply. */
2162 set_fast_math_flags (struct gcc_options
*opts
, int set
)
2164 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
2166 opts
->x_flag_unsafe_math_optimizations
= set
;
2167 set_unsafe_math_optimizations_flags (opts
, set
);
2169 if (!opts
->frontend_set_flag_finite_math_only
)
2170 opts
->x_flag_finite_math_only
= set
;
2171 if (!opts
->frontend_set_flag_errno_math
)
2172 opts
->x_flag_errno_math
= !set
;
2175 if (!opts
->frontend_set_flag_signaling_nans
)
2176 opts
->x_flag_signaling_nans
= 0;
2177 if (!opts
->frontend_set_flag_rounding_math
)
2178 opts
->x_flag_rounding_math
= 0;
2179 if (!opts
->frontend_set_flag_cx_limited_range
)
2180 opts
->x_flag_cx_limited_range
= 1;
2184 /* When -funsafe-math-optimizations is set the following
2185 flags are set as well. */
2187 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
2189 if (!opts
->frontend_set_flag_trapping_math
)
2190 opts
->x_flag_trapping_math
= !set
;
2191 if (!opts
->frontend_set_flag_signed_zeros
)
2192 opts
->x_flag_signed_zeros
= !set
;
2193 if (!opts
->frontend_set_flag_associative_math
)
2194 opts
->x_flag_associative_math
= set
;
2195 if (!opts
->frontend_set_flag_reciprocal_math
)
2196 opts
->x_flag_reciprocal_math
= set
;
2199 /* Return true iff flags in OPTS are set as if -ffast-math. */
2201 fast_math_flags_set_p (const struct gcc_options
*opts
)
2203 return (!opts
->x_flag_trapping_math
2204 && opts
->x_flag_unsafe_math_optimizations
2205 && opts
->x_flag_finite_math_only
2206 && !opts
->x_flag_signed_zeros
2207 && !opts
->x_flag_errno_math
);
2210 /* Return true iff flags are set as if -ffast-math but using the flags stored
2211 in the struct cl_optimization structure. */
2213 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2215 return (!opt
->x_flag_trapping_math
2216 && opt
->x_flag_unsafe_math_optimizations
2217 && opt
->x_flag_finite_math_only
2218 && !opt
->x_flag_signed_zeros
2219 && !opt
->x_flag_errno_math
);
2222 /* Handle a debug output -g switch for options OPTS
2223 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2224 explicitly), location LOC. EXTENDED is true or false to support
2225 extended output (2 is special and means "-ggdb" was given). */
2227 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2228 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2231 opts
->x_use_gnu_debug_info_extensions
= extended
;
2233 if (type
== NO_DEBUG
)
2235 if (opts
->x_write_symbols
== NO_DEBUG
)
2237 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2241 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_LINENO_DEBUGGING_INFO
2242 opts
->x_write_symbols
= DWARF2_DEBUG
;
2243 #elif defined DBX_DEBUGGING_INFO
2244 opts
->x_write_symbols
= DBX_DEBUG
;
2248 if (opts
->x_write_symbols
== NO_DEBUG
)
2249 warning_at (loc
, 0, "target system does not support debug output");
2254 /* Does it conflict with an already selected type? */
2255 if (opts_set
->x_write_symbols
!= NO_DEBUG
2256 && opts
->x_write_symbols
!= NO_DEBUG
2257 && type
!= opts
->x_write_symbols
)
2258 error_at (loc
, "debug format %qs conflicts with prior selection",
2259 debug_type_names
[type
]);
2260 opts
->x_write_symbols
= type
;
2261 opts_set
->x_write_symbols
= type
;
2264 /* A debug flag without a level defaults to level 2.
2265 If off or at level 1, set it to level 2, but if already
2266 at level 3, don't lower it. */
2269 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2270 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2274 int argval
= integral_argument (arg
);
2276 error_at (loc
, "unrecognised debug output level %qs", arg
);
2277 else if (argval
> 3)
2278 error_at (loc
, "debug output level %qs is too high", arg
);
2280 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2284 /* Arrange to dump core on error for diagnostic context DC. (The
2285 regular error message is still printed first, except in the case of
2289 setup_core_dumping (diagnostic_context
*dc
)
2292 signal (SIGABRT
, SIG_DFL
);
2294 #if defined(HAVE_SETRLIMIT)
2297 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2298 fatal_error (input_location
, "getting core file size maximum limit: %m");
2299 rlim
.rlim_cur
= rlim
.rlim_max
;
2300 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2301 fatal_error (input_location
,
2302 "setting core file size limit to maximum: %m");
2305 diagnostic_abort_on_error (dc
);
2308 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2309 diagnostic context DC. */
2312 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2313 location_t loc
, diagnostic_context
*dc
)
2321 opts
->x_flag_debug_asm
= 1;
2324 opts
->x_flag_print_asm_name
= 1;
2327 opts
->x_flag_dump_rtl_in_asm
= 1;
2328 opts
->x_flag_print_asm_name
= 1;
2331 opts
->x_rtl_dump_and_exit
= 1;
2333 case 'D': /* These are handled by the preprocessor. */
2340 setup_core_dumping (dc
);
2343 opts
->x_flag_dump_all_passed
= true;
2347 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2352 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2353 mask LANG_MASK, option handlers HANDLERS) as an error for option
2354 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2355 NULL), location LOC. This is used by -Werror=. */
2358 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2359 const struct cl_option_handlers
*handlers
,
2360 struct gcc_options
*opts
,
2361 struct gcc_options
*opts_set
,
2362 location_t loc
, diagnostic_context
*dc
)
2367 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2368 new_option
[0] = 'W';
2369 strcpy (new_option
+ 1, arg
);
2370 option_index
= find_opt (new_option
, lang_mask
);
2371 if (option_index
== OPT_SPECIAL_unknown
)
2372 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2373 else if (!(cl_options
[option_index
].flags
& CL_WARNING
))
2374 error_at (loc
, "-Werror=%s: -%s is not an option that controls warnings",
2378 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2380 control_warning_option (option_index
, (int) kind
, value
,
2382 handlers
, opts
, opts_set
, dc
);
2387 /* Return malloced memory for the name of the option OPTION_INDEX
2388 which enabled a diagnostic (context CONTEXT), originally of type
2389 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2393 option_name (diagnostic_context
*context
, int option_index
,
2394 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2398 /* A warning classified as an error. */
2399 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2400 && diag_kind
== DK_ERROR
)
2401 return concat (cl_options
[OPT_Werror_
].opt_text
,
2402 /* Skip over "-W". */
2403 cl_options
[option_index
].opt_text
+ 2,
2405 /* A warning with option. */
2407 return xstrdup (cl_options
[option_index
].opt_text
);
2409 /* A warning without option classified as an error. */
2410 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2411 || diag_kind
== DK_WARNING
)
2412 && context
->warning_as_error_requested
)
2413 return xstrdup (cl_options
[OPT_Werror
].opt_text
);