1 /* Command line option handling.
2 Copyright (C) 2002-2013 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"
27 #include "tm.h" /* For STACK_CHECK_BUILTIN,
28 STACK_CHECK_STATIC_BUILTIN, DEFAULT_GDB_EXTENSIONS,
29 DWARF2_DEBUGGING_INFO and DBX_DEBUGGING_INFO. */
32 #include "diagnostic.h"
33 #include "diagnostic-color.h"
34 #include "opts-diagnostic.h"
35 #include "insn-attr-common.h"
36 #include "common/common-target.h"
38 static void set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
);
40 /* Indexed by enum debug_info_type. */
41 const char *const debug_type_names
[] =
43 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
46 /* Parse the -femit-struct-debug-detailed option value
47 and set the flag variables. */
49 #define MATCH( prefix, string ) \
50 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
51 ? ((string += sizeof prefix - 1), 1) : 0)
54 set_struct_debug_option (struct gcc_options
*opts
, location_t loc
,
57 /* various labels for comparison */
58 static const char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
59 static const char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
60 static const char none_lbl
[] = "none", any_lbl
[] = "any";
61 static const char base_lbl
[] = "base", sys_lbl
[] = "sys";
63 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
64 /* Default is to apply to as much as possible. */
65 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
69 if (MATCH (dfn_lbl
, spec
))
70 usage
= DINFO_USAGE_DFN
;
71 else if (MATCH (dir_lbl
, spec
))
72 usage
= DINFO_USAGE_DIR_USE
;
73 else if (MATCH (ind_lbl
, spec
))
74 usage
= DINFO_USAGE_IND_USE
;
76 /* Generics or not? */
77 if (MATCH (ord_lbl
, spec
))
79 else if (MATCH (gen_lbl
, spec
))
82 /* What allowable environment? */
83 if (MATCH (none_lbl
, spec
))
84 files
= DINFO_STRUCT_FILE_NONE
;
85 else if (MATCH (any_lbl
, spec
))
86 files
= DINFO_STRUCT_FILE_ANY
;
87 else if (MATCH (sys_lbl
, spec
))
88 files
= DINFO_STRUCT_FILE_SYS
;
89 else if (MATCH (base_lbl
, spec
))
90 files
= DINFO_STRUCT_FILE_BASE
;
93 "argument %qs to %<-femit-struct-debug-detailed%> "
97 /* Effect the specification. */
98 if (usage
== DINFO_USAGE_NUM_ENUMS
)
102 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
103 opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
104 opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
108 opts
->x_debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
109 opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
110 opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
116 opts
->x_debug_struct_ordinary
[usage
] = files
;
118 opts
->x_debug_struct_generic
[usage
] = files
;
122 set_struct_debug_option (opts
, loc
, spec
+1);
125 /* No more -femit-struct-debug-detailed specifications.
129 "argument %qs to %<-femit-struct-debug-detailed%> unknown",
131 if (opts
->x_debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
132 < opts
->x_debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
133 || opts
->x_debug_struct_generic
[DINFO_USAGE_DIR_USE
]
134 < opts
->x_debug_struct_generic
[DINFO_USAGE_IND_USE
])
136 "%<-femit-struct-debug-detailed=dir:...%> must allow "
137 "at least as much as "
138 "%<-femit-struct-debug-detailed=ind:...%>");
142 /* Strip off a legitimate source ending from the input string NAME of
143 length LEN. Rather than having to know the names used by all of
144 our front ends, we strip off an ending of a period followed by
145 up to five characters. (Java uses ".class".) */
148 strip_off_ending (char *name
, int len
)
151 for (i
= 2; i
< 6 && len
> i
; i
++)
153 if (name
[len
- i
] == '.')
155 name
[len
- i
] = '\0';
161 /* Find the base name of a path, stripping off both directories and
162 a single final extension. */
164 base_of_path (const char *path
, const char **base_out
)
166 const char *base
= path
;
168 const char *p
= path
;
172 if (IS_DIR_SEPARATOR (c
))
187 /* What to print when a switch has no documentation. */
188 static const char undocumented_msg
[] = N_("This switch lacks documentation");
190 typedef char *char_p
; /* For DEF_VEC_P. */
192 static void handle_param (struct gcc_options
*opts
,
193 struct gcc_options
*opts_set
, location_t loc
,
195 static void set_debug_level (enum debug_info_type type
, int extended
,
196 const char *arg
, struct gcc_options
*opts
,
197 struct gcc_options
*opts_set
,
199 static void set_fast_math_flags (struct gcc_options
*opts
, int set
);
200 static void decode_d_option (const char *arg
, struct gcc_options
*opts
,
201 location_t loc
, diagnostic_context
*dc
);
202 static void set_unsafe_math_optimizations_flags (struct gcc_options
*opts
,
204 static void enable_warning_as_error (const char *arg
, int value
,
205 unsigned int lang_mask
,
206 const struct cl_option_handlers
*handlers
,
207 struct gcc_options
*opts
,
208 struct gcc_options
*opts_set
,
210 diagnostic_context
*dc
);
212 /* Handle a back-end option; arguments and return value as for
216 target_handle_option (struct gcc_options
*opts
,
217 struct gcc_options
*opts_set
,
218 const struct cl_decoded_option
*decoded
,
219 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
221 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
,
222 diagnostic_context
*dc
)
224 gcc_assert (dc
== global_dc
);
225 gcc_assert (kind
== DK_UNSPECIFIED
);
226 return targetm_common
.handle_option (opts
, opts_set
, decoded
, loc
);
229 /* Add comma-separated strings to a char_p vector. */
232 add_comma_separated_to_vector (void **pvec
, const char *arg
)
238 vec
<char_p
> *v
= (vec
<char_p
> *) *pvec
;
240 vec_check_alloc (v
, 1);
242 /* We never free this string. */
255 v
->safe_push (token_start
);
258 if (*r
== '\\' && r
[1] == ',')
266 if (*token_start
!= '\0')
267 v
->safe_push (token_start
);
272 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
275 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
277 size_t num_params
= get_num_compiler_params ();
279 gcc_obstack_init (&opts_obstack
);
281 *opts
= global_options_init
;
284 memset (opts_set
, 0, sizeof (*opts_set
));
286 opts
->x_param_values
= XNEWVEC (int, num_params
);
289 opts_set
->x_param_values
= XCNEWVEC (int, num_params
);
291 init_param_values (opts
->x_param_values
);
293 /* Initialize whether `char' is signed. */
294 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
295 /* Set this to a special "uninitialized" value. The actual default
296 is set after target options have been processed. */
297 opts
->x_flag_short_enums
= 2;
299 /* Initialize target_flags before default_options_optimization
300 so the latter can modify it. */
301 opts
->x_target_flags
= targetm_common
.default_target_flags
;
303 /* Some targets have ABI-specified unwind tables. */
304 opts
->x_flag_unwind_tables
= targetm_common
.unwind_tables_default
;
306 /* Some targets have other target-specific initialization. */
307 targetm_common
.option_init_struct (opts
);
310 /* If indicated by the optimization level LEVEL (-Os if SIZE is set,
311 -Ofast if FAST is set, -Og if DEBUG is set), apply the option DEFAULT_OPT
312 to OPTS and OPTS_SET, diagnostic context DC, location LOC, with language
313 mask LANG_MASK and option handlers HANDLERS. */
316 maybe_default_option (struct gcc_options
*opts
,
317 struct gcc_options
*opts_set
,
318 const struct default_options
*default_opt
,
319 int level
, bool size
, bool fast
, bool debug
,
320 unsigned int lang_mask
,
321 const struct cl_option_handlers
*handlers
,
323 diagnostic_context
*dc
)
325 const struct cl_option
*option
= &cl_options
[default_opt
->opt_index
];
329 gcc_assert (level
== 2);
331 gcc_assert (level
== 3);
333 gcc_assert (level
== 1);
335 switch (default_opt
->levels
)
341 case OPT_LEVELS_0_ONLY
:
342 enabled
= (level
== 0);
345 case OPT_LEVELS_1_PLUS
:
346 enabled
= (level
>= 1);
349 case OPT_LEVELS_1_PLUS_SPEED_ONLY
:
350 enabled
= (level
>= 1 && !size
&& !debug
);
353 case OPT_LEVELS_1_PLUS_NOT_DEBUG
:
354 enabled
= (level
>= 1 && !debug
);
357 case OPT_LEVELS_2_PLUS
:
358 enabled
= (level
>= 2);
361 case OPT_LEVELS_2_PLUS_SPEED_ONLY
:
362 enabled
= (level
>= 2 && !size
&& !debug
);
365 case OPT_LEVELS_3_PLUS
:
366 enabled
= (level
>= 3);
369 case OPT_LEVELS_3_PLUS_AND_SIZE
:
370 enabled
= (level
>= 3 || size
);
373 case OPT_LEVELS_SIZE
:
377 case OPT_LEVELS_FAST
:
381 case OPT_LEVELS_NONE
:
387 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
388 default_opt
->arg
, default_opt
->value
,
389 lang_mask
, DK_UNSPECIFIED
, loc
,
391 else if (default_opt
->arg
== NULL
392 && !option
->cl_reject_negative
)
393 handle_generated_option (opts
, opts_set
, default_opt
->opt_index
,
394 default_opt
->arg
, !default_opt
->value
,
395 lang_mask
, DK_UNSPECIFIED
, loc
,
399 /* As indicated by the optimization level LEVEL (-Os if SIZE is set,
400 -Ofast if FAST is set), apply the options in array DEFAULT_OPTS to
401 OPTS and OPTS_SET, diagnostic context DC, location LOC, with
402 language mask LANG_MASK and option handlers HANDLERS. */
405 maybe_default_options (struct gcc_options
*opts
,
406 struct gcc_options
*opts_set
,
407 const struct default_options
*default_opts
,
408 int level
, bool size
, bool fast
, bool debug
,
409 unsigned int lang_mask
,
410 const struct cl_option_handlers
*handlers
,
412 diagnostic_context
*dc
)
416 for (i
= 0; default_opts
[i
].levels
!= OPT_LEVELS_NONE
; i
++)
417 maybe_default_option (opts
, opts_set
, &default_opts
[i
],
418 level
, size
, fast
, debug
,
419 lang_mask
, handlers
, loc
, dc
);
422 /* Table of options enabled by default at different levels. */
424 static const struct default_options default_options_table
[] =
426 /* -O1 optimizations. */
427 { OPT_LEVELS_1_PLUS
, OPT_fdefer_pop
, NULL
, 1 },
429 { OPT_LEVELS_1_PLUS
, OPT_fdelayed_branch
, NULL
, 1 },
431 { OPT_LEVELS_1_PLUS
, OPT_fguess_branch_probability
, NULL
, 1 },
432 { OPT_LEVELS_1_PLUS
, OPT_fcprop_registers
, NULL
, 1 },
433 { OPT_LEVELS_1_PLUS
, OPT_fforward_propagate
, NULL
, 1 },
434 { OPT_LEVELS_1_PLUS
, OPT_fif_conversion
, NULL
, 1 },
435 { OPT_LEVELS_1_PLUS
, OPT_fif_conversion2
, NULL
, 1 },
436 { OPT_LEVELS_1_PLUS
, OPT_fipa_pure_const
, NULL
, 1 },
437 { OPT_LEVELS_1_PLUS
, OPT_fipa_reference
, NULL
, 1 },
438 { OPT_LEVELS_1_PLUS
, OPT_fipa_profile
, NULL
, 1 },
439 { OPT_LEVELS_1_PLUS
, OPT_fmerge_constants
, NULL
, 1 },
440 { OPT_LEVELS_1_PLUS
, OPT_fshrink_wrap
, NULL
, 1 },
441 { OPT_LEVELS_1_PLUS
, OPT_fsplit_wide_types
, NULL
, 1 },
442 { OPT_LEVELS_1_PLUS
, OPT_ftree_ccp
, NULL
, 1 },
443 { OPT_LEVELS_1_PLUS
, OPT_ftree_bit_ccp
, NULL
, 1 },
444 { OPT_LEVELS_1_PLUS
, OPT_ftree_dce
, NULL
, 1 },
445 { OPT_LEVELS_1_PLUS
, OPT_ftree_dominator_opts
, NULL
, 1 },
446 { OPT_LEVELS_1_PLUS
, OPT_ftree_dse
, NULL
, 1 },
447 { OPT_LEVELS_1_PLUS
, OPT_ftree_ter
, NULL
, 1 },
448 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_sra
, NULL
, 1 },
449 { OPT_LEVELS_1_PLUS
, OPT_ftree_copyrename
, NULL
, 1 },
450 { OPT_LEVELS_1_PLUS
, OPT_ftree_fre
, NULL
, 1 },
451 { OPT_LEVELS_1_PLUS
, OPT_ftree_copy_prop
, NULL
, 1 },
452 { OPT_LEVELS_1_PLUS
, OPT_ftree_sink
, NULL
, 1 },
453 { OPT_LEVELS_1_PLUS
, OPT_ftree_ch
, NULL
, 1 },
454 { OPT_LEVELS_1_PLUS
, OPT_fcombine_stack_adjustments
, NULL
, 1 },
455 { OPT_LEVELS_1_PLUS
, OPT_fcompare_elim
, NULL
, 1 },
456 { OPT_LEVELS_1_PLUS
, OPT_ftree_slsr
, NULL
, 1 },
458 /* -O2 optimizations. */
459 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
460 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
461 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
462 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
463 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
464 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
465 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
466 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
467 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
468 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
469 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
470 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
471 #ifdef INSN_SCHEDULING
472 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
473 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
474 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
476 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
477 { OPT_LEVELS_2_PLUS
, OPT_fstrict_overflow
, NULL
, 1 },
478 { OPT_LEVELS_2_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
479 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
480 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
481 { OPT_LEVELS_2_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
494 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
497 /* -O3 optimizations. */
498 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
499 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
500 /* Inlining of functions reducing size is a good idea with -Os
501 regardless of them being declared inline. */
502 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
503 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
504 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
505 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
506 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
507 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
508 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
509 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
510 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
512 /* -Ofast adds optimizations to -O3. */
513 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
515 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
518 /* Default the options in OPTS and OPTS_SET based on the optimization
519 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
521 default_options_optimization (struct gcc_options
*opts
,
522 struct gcc_options
*opts_set
,
523 struct cl_decoded_option
*decoded_options
,
524 unsigned int decoded_options_count
,
526 unsigned int lang_mask
,
527 const struct cl_option_handlers
*handlers
,
528 diagnostic_context
*dc
)
533 /* Scan to see what optimization level has been specified. That will
534 determine the default value of many flags. */
535 for (i
= 1; i
< decoded_options_count
; i
++)
537 struct cl_decoded_option
*opt
= &decoded_options
[i
];
538 switch (opt
->opt_index
)
541 if (*opt
->arg
== '\0')
543 opts
->x_optimize
= 1;
544 opts
->x_optimize_size
= 0;
545 opts
->x_optimize_fast
= 0;
546 opts
->x_optimize_debug
= 0;
550 const int optimize_val
= integral_argument (opt
->arg
);
551 if (optimize_val
== -1)
552 error_at (loc
, "argument to %<-O%> should be a non-negative "
553 "integer, %<g%>, %<s%> or %<fast%>");
556 opts
->x_optimize
= optimize_val
;
557 if ((unsigned int) opts
->x_optimize
> 255)
558 opts
->x_optimize
= 255;
559 opts
->x_optimize_size
= 0;
560 opts
->x_optimize_fast
= 0;
561 opts
->x_optimize_debug
= 0;
567 opts
->x_optimize_size
= 1;
569 /* Optimizing for size forces optimize to be 2. */
570 opts
->x_optimize
= 2;
571 opts
->x_optimize_fast
= 0;
572 opts
->x_optimize_debug
= 0;
576 /* -Ofast only adds flags to -O3. */
577 opts
->x_optimize_size
= 0;
578 opts
->x_optimize
= 3;
579 opts
->x_optimize_fast
= 1;
580 opts
->x_optimize_debug
= 0;
584 /* -Og selects optimization level 1. */
585 opts
->x_optimize_size
= 0;
586 opts
->x_optimize
= 1;
587 opts
->x_optimize_fast
= 0;
588 opts
->x_optimize_debug
= 1;
592 /* Ignore other options in this prescan. */
597 maybe_default_options (opts
, opts_set
, default_options_table
,
598 opts
->x_optimize
, opts
->x_optimize_size
,
599 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
600 lang_mask
, handlers
, loc
, dc
);
602 /* -O2 param settings. */
603 opt2
= (opts
->x_optimize
>= 2);
605 /* Track fields in field-sensitive alias analysis. */
606 maybe_set_param_value
607 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
608 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
609 opts
->x_param_values
, opts_set
->x_param_values
);
611 /* For -O1 only do loop invariant motion for very small loops. */
612 maybe_set_param_value
613 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
614 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
615 opts
->x_param_values
, opts_set
->x_param_values
);
617 if (opts
->x_optimize_size
)
618 /* We want to crossjump as much as possible. */
619 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
620 opts
->x_param_values
, opts_set
->x_param_values
);
622 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
623 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
624 opts
->x_param_values
, opts_set
->x_param_values
);
626 /* Allow default optimizations to be specified on a per-machine basis. */
627 maybe_default_options (opts
, opts_set
,
628 targetm_common
.option_optimization_table
,
629 opts
->x_optimize
, opts
->x_optimize_size
,
630 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
631 lang_mask
, handlers
, loc
, dc
);
634 /* After all options at LOC have been read into OPTS and OPTS_SET,
635 finalize settings of those options and diagnose incompatible
638 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
641 enum unwind_info_type ui_except
;
643 if (opts
->x_dump_base_name
&& ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
))
645 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
646 OPTS->X_DUMP_DIR_NAME directory. Then try to make
647 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
648 directory, typically the directory to contain the object
650 if (opts
->x_dump_dir_name
)
651 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
652 opts
->x_dump_base_name
, NULL
);
653 else if (opts
->x_aux_base_name
654 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
656 const char *aux_base
;
658 base_of_path (opts
->x_aux_base_name
, &aux_base
);
659 if (opts
->x_aux_base_name
!= aux_base
)
661 int dir_len
= aux_base
- opts
->x_aux_base_name
;
662 char *new_dump_base_name
663 = XOBNEWVEC (&opts_obstack
, char,
664 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
666 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
667 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
668 /* Append existing OPTS->X_DUMP_BASE_NAME. */
669 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
670 opts
->x_dump_base_name
= new_dump_base_name
;
675 /* Handle related options for unit-at-a-time, toplevel-reorder, and
677 if (!opts
->x_flag_unit_at_a_time
)
679 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
680 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
682 opts
->x_flag_section_anchors
= 0;
683 if (opts
->x_flag_toplevel_reorder
== 1)
684 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
686 opts
->x_flag_toplevel_reorder
= 0;
689 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
690 sorry ("transactional memory is not supported with non-call exceptions");
692 /* Unless the user has asked for section anchors, we disable toplevel
693 reordering at -O0 to disable transformations that might be surprising
694 to end users and to get -fno-toplevel-reorder tested. */
695 if (!opts
->x_optimize
696 && opts
->x_flag_toplevel_reorder
== 2
697 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
699 opts
->x_flag_toplevel_reorder
= 0;
700 opts
->x_flag_section_anchors
= 0;
702 if (!opts
->x_flag_toplevel_reorder
)
704 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
705 error_at (loc
, "section anchors must be disabled when toplevel reorder"
707 opts
->x_flag_section_anchors
= 0;
710 if (!opts
->x_flag_opts_finished
)
712 if (opts
->x_flag_pie
)
713 opts
->x_flag_pic
= opts
->x_flag_pie
;
714 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
715 opts
->x_flag_shlib
= 1;
716 opts
->x_flag_opts_finished
= true;
719 if (opts
->x_optimize
== 0)
721 /* Inlining does not work if not optimizing,
722 so force it not to be done. */
723 opts
->x_warn_inline
= 0;
724 opts
->x_flag_no_inline
= 1;
727 /* The optimization to partition hot and cold basic blocks into separate
728 sections of the .o and executable files does not work (currently)
729 with exception handling. This is because there is no support for
730 generating unwind info. If opts->x_flag_exceptions is turned on
731 we need to turn off the partitioning optimization. */
733 ui_except
= targetm_common
.except_unwind_info (opts
);
735 if (opts
->x_flag_exceptions
736 && opts
->x_flag_reorder_blocks_and_partition
737 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
740 "-freorder-blocks-and-partition does not work "
741 "with exceptions on this architecture");
742 opts
->x_flag_reorder_blocks_and_partition
= 0;
743 opts
->x_flag_reorder_blocks
= 1;
746 /* If user requested unwind info, then turn off the partitioning
749 if (opts
->x_flag_unwind_tables
750 && !targetm_common
.unwind_tables_default
751 && opts
->x_flag_reorder_blocks_and_partition
752 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
755 "-freorder-blocks-and-partition does not support "
756 "unwind info on this architecture");
757 opts
->x_flag_reorder_blocks_and_partition
= 0;
758 opts
->x_flag_reorder_blocks
= 1;
761 /* If the target requested unwind info, then turn off the partitioning
762 optimization with a different message. Likewise, if the target does not
763 support named sections. */
765 if (opts
->x_flag_reorder_blocks_and_partition
766 && (!targetm_common
.have_named_sections
767 || (opts
->x_flag_unwind_tables
768 && targetm_common
.unwind_tables_default
769 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
772 "-freorder-blocks-and-partition does not work "
773 "on this architecture");
774 opts
->x_flag_reorder_blocks_and_partition
= 0;
775 opts
->x_flag_reorder_blocks
= 1;
778 if (opts
->x_flag_reorder_blocks_and_partition
779 && !opts_set
->x_flag_reorder_functions
)
780 opts
->x_flag_reorder_functions
= 1;
782 /* Pipelining of outer loops is only possible when general pipelining
783 capabilities are requested. */
784 if (!opts
->x_flag_sel_sched_pipelining
)
785 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
787 if (opts
->x_flag_conserve_stack
)
789 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
790 opts
->x_param_values
, opts_set
->x_param_values
);
791 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
792 opts
->x_param_values
, opts_set
->x_param_values
);
795 if (opts
->x_flag_lto
)
798 opts
->x_flag_generate_lto
= 1;
800 /* When generating IL, do not operate in whole-program mode.
801 Otherwise, symbols will be privatized too early, causing link
803 opts
->x_flag_whole_program
= 0;
805 error_at (loc
, "LTO support has not been enabled in this configuration");
807 if (!opts
->x_flag_fat_lto_objects
&& !HAVE_LTO_PLUGIN
)
808 error_at (loc
, "-fno-fat-lto-objects are supported only with linker plugin.");
810 if ((opts
->x_flag_lto_partition_balanced
!= 0) + (opts
->x_flag_lto_partition_1to1
!= 0)
811 + (opts
->x_flag_lto_partition_none
!= 0) >= 1)
813 if ((opts
->x_flag_lto_partition_balanced
!= 0)
814 + (opts
->x_flag_lto_partition_1to1
!= 0)
815 + (opts
->x_flag_lto_partition_none
!= 0) > 1)
816 error_at (loc
, "only one -flto-partition value can be specified");
819 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
820 default value if they choose based on other options. */
821 if (opts
->x_flag_split_stack
== -1)
822 opts
->x_flag_split_stack
= 0;
823 else if (opts
->x_flag_split_stack
)
825 if (!targetm_common
.supports_split_stack (true, opts
))
827 error_at (loc
, "%<-fsplit-stack%> is not supported by "
828 "this compiler configuration");
829 opts
->x_flag_split_stack
= 0;
833 /* Tune vectorization related parametees according to cost model. */
834 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
836 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
837 6, opts
->x_param_values
, opts_set
->x_param_values
);
838 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
839 0, opts
->x_param_values
, opts_set
->x_param_values
);
840 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
841 0, opts
->x_param_values
, opts_set
->x_param_values
);
844 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
846 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
847 || !opts
->x_flag_tree_loop_if_convert
)
848 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
849 opts
->x_param_values
, opts_set
->x_param_values
);
851 /* The -gsplit-dwarf option requires -gpubnames. */
852 if (opts
->x_dwarf_split_debug_info
)
853 opts
->x_debug_generate_pub_sections
= 1;
856 #define LEFT_COLUMN 27
858 /* Output ITEM, of length ITEM_WIDTH, in the left column,
859 followed by word-wrapped HELP in a second column. */
861 wrap_help (const char *help
,
863 unsigned int item_width
,
864 unsigned int columns
)
866 unsigned int col_width
= LEFT_COLUMN
;
867 unsigned int remaining
, room
, len
;
869 remaining
= strlen (help
);
873 room
= columns
- 3 - MAX (col_width
, item_width
);
882 for (i
= 0; help
[i
]; i
++)
884 if (i
>= room
&& len
!= remaining
)
888 else if ((help
[i
] == '-' || help
[i
] == '/')
889 && help
[i
+ 1] != ' '
890 && i
> 0 && ISALPHA (help
[i
- 1]))
895 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
897 while (help
[len
] == ' ')
905 /* Print help for a specific front-end, etc. */
907 print_filtered_help (unsigned int include_flags
,
908 unsigned int exclude_flags
,
909 unsigned int any_flags
,
910 unsigned int columns
,
911 struct gcc_options
*opts
,
912 unsigned int lang_mask
)
917 bool displayed
= false;
919 if (include_flags
== CL_PARAMS
)
921 for (i
= 0; i
< LAST_PARAM
; i
++)
923 const char *param
= compiler_params
[i
].option
;
925 help
= compiler_params
[i
].help
;
926 if (help
== NULL
|| *help
== '\0')
928 if (exclude_flags
& CL_UNDOCUMENTED
)
930 help
= undocumented_msg
;
933 /* Get the translation. */
936 wrap_help (help
, param
, strlen (param
), columns
);
942 if (!opts
->x_help_printed
)
943 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
945 if (!opts
->x_help_enum_printed
)
946 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
948 for (i
= 0; i
< cl_options_count
; i
++)
951 const struct cl_option
*option
= cl_options
+ i
;
956 if (include_flags
== 0
957 || ((option
->flags
& include_flags
) != include_flags
))
959 if ((option
->flags
& any_flags
) == 0)
963 /* Skip unwanted switches. */
964 if ((option
->flags
& exclude_flags
) != 0)
967 /* The driver currently prints its own help text. */
968 if ((option
->flags
& CL_DRIVER
) != 0
969 && (option
->flags
& (((1U << cl_lang_count
) - 1)
970 | CL_COMMON
| CL_TARGET
)) == 0)
974 /* Skip switches that have already been printed. */
975 if (opts
->x_help_printed
[i
])
978 opts
->x_help_printed
[i
] = true;
983 if (exclude_flags
& CL_UNDOCUMENTED
)
985 help
= undocumented_msg
;
988 /* Get the translation. */
991 /* Find the gap between the name of the
992 option and its descriptive text. */
993 tab
= strchr (help
, '\t');
1002 opt
= option
->opt_text
;
1006 /* With the -Q option enabled we change the descriptive text associated
1007 with an option to be an indication of its current setting. */
1008 if (!opts
->x_quiet_flag
)
1010 void *flag_var
= option_flag_var (i
, opts
);
1012 if (len
< (LEFT_COLUMN
+ 2))
1013 strcpy (new_help
, "\t\t");
1015 strcpy (new_help
, "\t");
1017 if (flag_var
!= NULL
1018 && option
->var_type
!= CLVC_DEFER
)
1020 if (option
->flags
& CL_JOINED
)
1022 if (option
->var_type
== CLVC_STRING
)
1024 if (* (const char **) flag_var
!= NULL
)
1025 snprintf (new_help
+ strlen (new_help
),
1026 sizeof (new_help
) - strlen (new_help
),
1027 * (const char **) flag_var
);
1029 else if (option
->var_type
== CLVC_ENUM
)
1031 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1033 const char *arg
= NULL
;
1035 value
= e
->get (flag_var
);
1036 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1038 arg
= _("[default]");
1039 snprintf (new_help
+ strlen (new_help
),
1040 sizeof (new_help
) - strlen (new_help
),
1044 sprintf (new_help
+ strlen (new_help
),
1045 "%#x", * (int *) flag_var
);
1048 strcat (new_help
, option_enabled (i
, opts
)
1049 ? _("[enabled]") : _("[disabled]"));
1055 wrap_help (help
, opt
, len
, columns
);
1058 if (option
->var_type
== CLVC_ENUM
1059 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1060 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1065 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1068 printf (_(" No options with the desired characteristics were found\n"));
1073 /* PR 31349: Tell the user how to see all of the
1074 options supported by a specific front end. */
1075 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1076 if ((1U << i
) & langs
)
1077 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1078 lang_names
[i
], lang_names
[i
]);
1082 else if (! displayed
)
1083 printf (_(" All options with the desired characteristics have already been displayed\n"));
1087 /* Print details of enumerated option arguments, if those
1088 enumerations have help text headings provided. If no help text
1089 is provided, presume that the possible values are listed in the
1090 help text for the relevant options. */
1091 for (i
= 0; i
< cl_enums_count
; i
++)
1093 unsigned int j
, pos
;
1095 if (opts
->x_help_enum_printed
[i
] != 1)
1097 if (cl_enums
[i
].help
== NULL
)
1099 printf (" %s\n ", _(cl_enums
[i
].help
));
1101 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1103 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1105 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1107 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1117 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1122 opts
->x_help_enum_printed
[i
] = 2;
1126 /* Display help for a specified type of option.
1127 The options must have ALL of the INCLUDE_FLAGS set
1128 ANY of the flags in the ANY_FLAGS set
1129 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1130 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1132 print_specific_help (unsigned int include_flags
,
1133 unsigned int exclude_flags
,
1134 unsigned int any_flags
,
1135 struct gcc_options
*opts
,
1136 unsigned int lang_mask
)
1138 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1139 const char * description
= NULL
;
1140 const char * descrip_extra
= "";
1144 /* Sanity check: Make sure that we do not have more
1145 languages than we have bits available to enumerate them. */
1146 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1148 /* If we have not done so already, obtain
1149 the desired maximum width of the output. */
1150 if (opts
->x_help_columns
== 0)
1154 p
= getenv ("COLUMNS");
1157 int value
= atoi (p
);
1160 opts
->x_help_columns
= value
;
1163 if (opts
->x_help_columns
== 0)
1164 /* Use a reasonable default. */
1165 opts
->x_help_columns
= 80;
1168 /* Decide upon the title for the options that we are going to display. */
1169 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1171 switch (flag
& include_flags
)
1178 description
= _("The following options are target specific");
1181 description
= _("The following options control compiler warning messages");
1183 case CL_OPTIMIZATION
:
1184 description
= _("The following options control optimizations");
1187 description
= _("The following options are language-independent");
1190 description
= _("The --param option recognizes the following as parameters");
1193 if (i
>= cl_lang_count
)
1195 if (exclude_flags
& all_langs_mask
)
1196 description
= _("The following options are specific to just the language ");
1198 description
= _("The following options are supported by the language ");
1199 descrip_extra
= lang_names
[i
];
1204 if (description
== NULL
)
1208 if (include_flags
& CL_UNDOCUMENTED
)
1209 description
= _("The following options are not documented");
1210 else if (include_flags
& CL_SEPARATE
)
1211 description
= _("The following options take separate arguments");
1212 else if (include_flags
& CL_JOINED
)
1213 description
= _("The following options take joined arguments");
1216 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1223 if (any_flags
& all_langs_mask
)
1224 description
= _("The following options are language-related");
1226 description
= _("The following options are language-independent");
1230 printf ("%s%s:\n", description
, descrip_extra
);
1231 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1232 opts
->x_help_columns
, opts
, lang_mask
);
1235 /* Handle target- and language-independent options. Return zero to
1236 generate an "unknown option" message. Only options that need
1237 extra handling need to be listed here; if you simply want
1238 DECODED->value assigned to a variable, it happens automatically. */
1241 common_handle_option (struct gcc_options
*opts
,
1242 struct gcc_options
*opts_set
,
1243 const struct cl_decoded_option
*decoded
,
1244 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1246 const struct cl_option_handlers
*handlers
,
1247 diagnostic_context
*dc
)
1249 size_t scode
= decoded
->opt_index
;
1250 const char *arg
= decoded
->arg
;
1251 int value
= decoded
->value
;
1252 enum opt_code code
= (enum opt_code
) scode
;
1254 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1259 handle_param (opts
, opts_set
, loc
, arg
);
1264 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1265 unsigned int undoc_mask
;
1268 if (lang_mask
== CL_DRIVER
)
1271 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1274 /* First display any single language specific options. */
1275 for (i
= 0; i
< cl_lang_count
; i
++)
1277 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1279 /* Next display any multi language specific options. */
1280 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1281 /* Then display any remaining, non-language options. */
1282 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1284 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1285 opts
->x_exit_after_options
= true;
1289 case OPT__target_help
:
1290 if (lang_mask
== CL_DRIVER
)
1293 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1294 opts
->x_exit_after_options
= true;
1299 const char * a
= arg
;
1300 unsigned int include_flags
= 0;
1301 /* Note - by default we include undocumented options when listing
1302 specific classes. If you only want to see documented options
1303 then add ",^undocumented" to the --help= option. E.g.:
1305 --help=target,^undocumented */
1306 unsigned int exclude_flags
= 0;
1308 if (lang_mask
== CL_DRIVER
)
1311 /* Walk along the argument string, parsing each word in turn.
1313 arg = [^]{word}[,{arg}]
1314 word = {optimizers|target|warnings|undocumented|
1315 params|common|<language>} */
1320 const char * string
;
1325 { "optimizers", CL_OPTIMIZATION
},
1326 { "target", CL_TARGET
},
1327 { "warnings", CL_WARNING
},
1328 { "undocumented", CL_UNDOCUMENTED
},
1329 { "params", CL_PARAMS
},
1330 { "joined", CL_JOINED
},
1331 { "separate", CL_SEPARATE
},
1332 { "common", CL_COMMON
},
1335 unsigned int * pflags
;
1337 unsigned int lang_flag
, specific_flag
;
1344 pflags
= & exclude_flags
;
1347 pflags
= & include_flags
;
1349 comma
= strchr (a
, ',');
1360 /* Check to see if the string matches an option class name. */
1361 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1362 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1364 specific_flag
= specifics
[i
].flag
;
1368 /* Check to see if the string matches a language name.
1369 Note - we rely upon the alpha-sorted nature of the entries in
1370 the lang_names array, specifically that shorter names appear
1371 before their longer variants. (i.e. C before C++). That way
1372 when we are attempting to match --help=c for example we will
1373 match with C first and not C++. */
1374 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1375 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1377 lang_flag
= 1U << i
;
1381 if (specific_flag
!= 0)
1384 * pflags
|= specific_flag
;
1387 /* The option's argument matches both the start of a
1388 language name and the start of an option class name.
1389 We have a special case for when the user has
1390 specified "--help=c", but otherwise we have to issue
1392 if (strncasecmp (a
, "c", len
) == 0)
1393 * pflags
|= lang_flag
;
1396 "--help argument %q.*s is ambiguous, "
1397 "please be more specific",
1401 else if (lang_flag
!= 0)
1402 * pflags
|= lang_flag
;
1405 "unrecognized argument to --help= option: %q.*s",
1414 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1416 opts
->x_exit_after_options
= true;
1421 if (lang_mask
== CL_DRIVER
)
1424 opts
->x_exit_after_options
= true;
1427 case OPT_fsanitize_
:
1429 const char *p
= arg
;
1434 const char *const name
;
1439 { "address", SANITIZE_ADDRESS
, sizeof "address" - 1 },
1440 { "thread", SANITIZE_THREAD
, sizeof "thread" - 1 },
1441 { "shift", SANITIZE_SHIFT
, sizeof "shift" - 1 },
1442 { "integer-divide-by-zero", SANITIZE_DIVIDE
,
1443 sizeof "integer-divide-by-zero" - 1 },
1444 { "undefined", SANITIZE_UNDEFINED
, sizeof "undefined" - 1 },
1445 { "unreachable", SANITIZE_UNREACHABLE
,
1446 sizeof "unreachable" - 1 },
1453 comma
= strchr (p
, ',');
1464 /* Check to see if the string matches an option class name. */
1465 for (i
= 0; spec
[i
].name
!= NULL
; ++i
)
1466 if (len
== spec
[i
].len
1467 && memcmp (p
, spec
[i
].name
, len
) == 0)
1469 /* Handle both -fsanitize and -fno-sanitize cases. */
1471 flag_sanitize
|= spec
[i
].flag
;
1473 flag_sanitize
&= ~spec
[i
].flag
;
1480 "unrecognized argument to -fsanitize= option: %q.*s",
1495 /* Currently handled in a prescan. */
1499 dc
->warning_as_error_requested
= value
;
1503 if (lang_mask
== CL_DRIVER
)
1506 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
1507 opts
, opts_set
, loc
, dc
);
1510 case OPT_Wlarger_than_
:
1511 opts
->x_larger_than_size
= value
;
1512 opts
->x_warn_larger_than
= value
!= -1;
1515 case OPT_Wfatal_errors
:
1516 dc
->fatal_errors
= value
;
1519 case OPT_Wframe_larger_than_
:
1520 opts
->x_frame_larger_than_size
= value
;
1521 opts
->x_warn_frame_larger_than
= value
!= -1;
1524 case OPT_Wstack_usage_
:
1525 opts
->x_warn_stack_usage
= value
;
1526 opts
->x_flag_stack_usage_info
= value
!= -1;
1529 case OPT_Wstrict_aliasing
:
1530 set_Wstrict_aliasing (opts
, value
);
1533 case OPT_Wstrict_overflow
:
1534 opts
->x_warn_strict_overflow
= (value
1535 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1539 case OPT_Wsystem_headers
:
1540 dc
->dc_warn_system_headers
= value
;
1544 opts
->x_flag_gen_aux_info
= 1;
1547 case OPT_auxbase_strip
:
1549 char *tmp
= xstrdup (arg
);
1550 strip_off_ending (tmp
, strlen (tmp
));
1552 opts
->x_aux_base_name
= tmp
;
1559 decode_d_option (arg
, opts
, loc
, dc
);
1562 case OPT_fcall_used_
:
1563 case OPT_fcall_saved_
:
1568 case OPT_fdbg_cnt_list
:
1572 case OPT_fdebug_prefix_map_
:
1576 case OPT_fdiagnostics_show_location_
:
1577 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
1580 case OPT_fdiagnostics_show_caret
:
1581 dc
->show_caret
= value
;
1584 case OPT_fdiagnostics_color_
:
1585 pp_show_color (dc
->printer
)
1586 = colorize_init ((diagnostic_color_rule_t
) value
);
1589 case OPT_fdiagnostics_show_option
:
1590 dc
->show_option_requested
= value
;
1597 case OPT_ffast_math
:
1598 set_fast_math_flags (opts
, value
);
1601 case OPT_funsafe_math_optimizations
:
1602 set_unsafe_math_optimizations_flags (opts
, value
);
1609 case OPT_finline_limit_
:
1610 set_param_value ("max-inline-insns-single", value
/ 2,
1611 opts
->x_param_values
, opts_set
->x_param_values
);
1612 set_param_value ("max-inline-insns-auto", value
/ 2,
1613 opts
->x_param_values
, opts_set
->x_param_values
);
1616 case OPT_finstrument_functions_exclude_function_list_
:
1617 add_comma_separated_to_vector
1618 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
1621 case OPT_finstrument_functions_exclude_file_list_
:
1622 add_comma_separated_to_vector
1623 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
1626 case OPT_fmessage_length_
:
1627 pp_set_line_maximum_length (dc
->printer
, value
);
1628 diagnostic_set_caret_max_width (dc
, value
);
1632 case OPT_fopt_info_
:
1636 case OPT_fpack_struct_
:
1637 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1639 "structure alignment must be a small power of two, not %d",
1642 opts
->x_initial_max_fld_align
= value
;
1646 case OPT_fplugin_arg_
:
1650 case OPT_fprofile_use_
:
1651 opts
->x_profile_data_prefix
= xstrdup (arg
);
1652 opts
->x_flag_profile_use
= true;
1654 /* No break here - do -fprofile-use processing. */
1655 case OPT_fprofile_use
:
1656 if (!opts_set
->x_flag_branch_probabilities
)
1657 opts
->x_flag_branch_probabilities
= value
;
1658 if (!opts_set
->x_flag_profile_values
)
1659 opts
->x_flag_profile_values
= value
;
1660 if (!opts_set
->x_flag_unroll_loops
)
1661 opts
->x_flag_unroll_loops
= value
;
1662 if (!opts_set
->x_flag_peel_loops
)
1663 opts
->x_flag_peel_loops
= value
;
1664 if (!opts_set
->x_flag_tracer
)
1665 opts
->x_flag_tracer
= value
;
1666 if (!opts_set
->x_flag_value_profile_transformations
)
1667 opts
->x_flag_value_profile_transformations
= value
;
1668 if (!opts_set
->x_flag_inline_functions
)
1669 opts
->x_flag_inline_functions
= value
;
1670 if (!opts_set
->x_flag_ipa_cp
)
1671 opts
->x_flag_ipa_cp
= value
;
1672 if (!opts_set
->x_flag_ipa_cp_clone
1673 && value
&& opts
->x_flag_ipa_cp
)
1674 opts
->x_flag_ipa_cp_clone
= value
;
1675 if (!opts_set
->x_flag_predictive_commoning
)
1676 opts
->x_flag_predictive_commoning
= value
;
1677 if (!opts_set
->x_flag_unswitch_loops
)
1678 opts
->x_flag_unswitch_loops
= value
;
1679 if (!opts_set
->x_flag_gcse_after_reload
)
1680 opts
->x_flag_gcse_after_reload
= value
;
1681 if (!opts_set
->x_flag_tree_loop_vectorize
1682 && !opts_set
->x_flag_tree_vectorize
)
1683 opts
->x_flag_tree_loop_vectorize
= value
;
1684 if (!opts_set
->x_flag_tree_slp_vectorize
1685 && !opts_set
->x_flag_tree_vectorize
)
1686 opts
->x_flag_tree_slp_vectorize
= value
;
1687 if (!opts_set
->x_flag_vect_cost_model
)
1688 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1689 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1690 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1691 /* Indirect call profiling should do all useful transformations
1692 speculative devirutalization does. */
1693 if (!opts_set
->x_flag_devirtualize_speculatively
1694 && opts
->x_flag_value_profile_transformations
)
1695 opts
->x_flag_devirtualize_speculatively
= false;
1698 case OPT_fprofile_generate_
:
1699 opts
->x_profile_data_prefix
= xstrdup (arg
);
1701 /* No break here - do -fprofile-generate processing. */
1702 case OPT_fprofile_generate
:
1703 if (!opts_set
->x_profile_arc_flag
)
1704 opts
->x_profile_arc_flag
= value
;
1705 if (!opts_set
->x_flag_profile_values
)
1706 opts
->x_flag_profile_values
= value
;
1707 if (!opts_set
->x_flag_inline_functions
)
1708 opts
->x_flag_inline_functions
= value
;
1709 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
1710 quadratic. Disable the pass until better memory representation
1712 if (!opts_set
->x_flag_ipa_reference
&& opts
->x_in_lto_p
)
1713 opts
->x_flag_ipa_reference
= false;
1716 case OPT_ftree_vectorize
:
1717 if (!opts_set
->x_flag_tree_loop_vectorize
)
1718 opts
->x_flag_tree_loop_vectorize
= value
;
1719 if (!opts_set
->x_flag_tree_slp_vectorize
)
1720 opts
->x_flag_tree_slp_vectorize
= value
;
1722 case OPT_fshow_column
:
1723 dc
->show_column
= value
;
1726 case OPT_frandom_seed
:
1727 /* The real switch is -fno-random-seed. */
1733 case OPT_frandom_seed_
:
1737 case OPT_fsched_verbose_
:
1738 #ifdef INSN_SCHEDULING
1739 /* Handled with Var in common.opt. */
1745 case OPT_fsched_stalled_insns_
:
1746 opts
->x_flag_sched_stalled_insns
= value
;
1747 if (opts
->x_flag_sched_stalled_insns
== 0)
1748 opts
->x_flag_sched_stalled_insns
= -1;
1751 case OPT_fsched_stalled_insns_dep_
:
1752 opts
->x_flag_sched_stalled_insns_dep
= value
;
1755 case OPT_fstack_check_
:
1756 if (!strcmp (arg
, "no"))
1757 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
1758 else if (!strcmp (arg
, "generic"))
1759 /* This is the old stack checking method. */
1760 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1761 ? FULL_BUILTIN_STACK_CHECK
1762 : GENERIC_STACK_CHECK
;
1763 else if (!strcmp (arg
, "specific"))
1764 /* This is the new stack checking method. */
1765 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1766 ? FULL_BUILTIN_STACK_CHECK
1767 : STACK_CHECK_STATIC_BUILTIN
1768 ? STATIC_BUILTIN_STACK_CHECK
1769 : GENERIC_STACK_CHECK
;
1771 warning_at (loc
, 0, "unknown stack check parameter \"%s\"", arg
);
1774 case OPT_fstack_limit
:
1775 /* The real switch is -fno-stack-limit. */
1781 case OPT_fstack_limit_register_
:
1782 case OPT_fstack_limit_symbol_
:
1786 case OPT_fstack_usage
:
1787 opts
->x_flag_stack_usage
= value
;
1788 opts
->x_flag_stack_usage_info
= value
!= 0;
1791 case OPT_ftree_vectorizer_verbose_
:
1792 /* -ftree-vectorizer-verbose is deprecated. It is defined in
1793 -terms of fopt-info=N. */
1798 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
1803 set_debug_level (SDB_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1807 if (arg
&& strlen (arg
) != 0)
1809 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
1810 "use %<-gdwarf-%s%> for DWARF version "
1811 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
1815 value
= opts
->x_dwarf_version
;
1819 if (value
< 2 || value
> 4)
1820 error_at (loc
, "dwarf version %d is not supported", value
);
1822 opts
->x_dwarf_version
= value
;
1823 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
1826 case OPT_gsplit_dwarf
:
1827 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
1832 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
1837 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
1842 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1847 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
1851 case OPT_pedantic_errors
:
1852 dc
->pedantic_errors
= 1;
1853 control_warning_option (OPT_Wpedantic
, DK_ERROR
, value
,
1855 handlers
, opts
, opts_set
,
1860 opts
->x_flag_lto
= value
? "" : NULL
;
1864 dc
->dc_inhibit_warnings
= true;
1867 case OPT_fmax_errors_
:
1868 dc
->max_errors
= value
;
1871 case OPT_fuse_ld_bfd
:
1872 case OPT_fuse_ld_gold
:
1873 case OPT_fuse_linker_plugin
:
1874 /* No-op. Used by the driver and passed to us because it starts with f.*/
1879 opts
->x_flag_trapv
= 0;
1884 opts
->x_flag_wrapv
= 0;
1888 /* If the flag was handled in a standard way, assume the lack of
1889 processing here is intentional. */
1890 gcc_assert (option_flag_var (scode
, opts
));
1894 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
1899 /* Handle --param NAME=VALUE. */
1901 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
1902 location_t loc
, const char *carg
)
1907 arg
= xstrdup (carg
);
1908 equal
= strchr (arg
, '=');
1910 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
1914 value
= integral_argument (equal
+ 1);
1916 error_at (loc
, "invalid --param value %qs", equal
+ 1);
1920 set_param_value (arg
, value
,
1921 opts
->x_param_values
, opts_set
->x_param_values
);
1928 /* Used to set the level of strict aliasing warnings in OPTS,
1929 when no level is specified (i.e., when -Wstrict-aliasing, and not
1930 -Wstrict-aliasing=level was given).
1931 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
1932 and 0 otherwise. After calling this function, wstrict_aliasing will be
1933 set to the default value of -Wstrict_aliasing=level, currently 3. */
1935 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
1937 gcc_assert (onoff
== 0 || onoff
== 1);
1939 opts
->x_warn_strict_aliasing
= 3;
1941 opts
->x_warn_strict_aliasing
= 0;
1944 /* The following routines are useful in setting all the flags that
1945 -ffast-math and -fno-fast-math imply. */
1947 set_fast_math_flags (struct gcc_options
*opts
, int set
)
1949 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
1951 opts
->x_flag_unsafe_math_optimizations
= set
;
1952 set_unsafe_math_optimizations_flags (opts
, set
);
1954 if (!opts
->frontend_set_flag_finite_math_only
)
1955 opts
->x_flag_finite_math_only
= set
;
1956 if (!opts
->frontend_set_flag_errno_math
)
1957 opts
->x_flag_errno_math
= !set
;
1960 if (!opts
->frontend_set_flag_signaling_nans
)
1961 opts
->x_flag_signaling_nans
= 0;
1962 if (!opts
->frontend_set_flag_rounding_math
)
1963 opts
->x_flag_rounding_math
= 0;
1964 if (!opts
->frontend_set_flag_cx_limited_range
)
1965 opts
->x_flag_cx_limited_range
= 1;
1969 /* When -funsafe-math-optimizations is set the following
1970 flags are set as well. */
1972 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
1974 if (!opts
->frontend_set_flag_trapping_math
)
1975 opts
->x_flag_trapping_math
= !set
;
1976 if (!opts
->frontend_set_flag_signed_zeros
)
1977 opts
->x_flag_signed_zeros
= !set
;
1978 if (!opts
->frontend_set_flag_associative_math
)
1979 opts
->x_flag_associative_math
= set
;
1980 if (!opts
->frontend_set_flag_reciprocal_math
)
1981 opts
->x_flag_reciprocal_math
= set
;
1984 /* Return true iff flags in OPTS are set as if -ffast-math. */
1986 fast_math_flags_set_p (const struct gcc_options
*opts
)
1988 return (!opts
->x_flag_trapping_math
1989 && opts
->x_flag_unsafe_math_optimizations
1990 && opts
->x_flag_finite_math_only
1991 && !opts
->x_flag_signed_zeros
1992 && !opts
->x_flag_errno_math
);
1995 /* Return true iff flags are set as if -ffast-math but using the flags stored
1996 in the struct cl_optimization structure. */
1998 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2000 return (!opt
->x_flag_trapping_math
2001 && opt
->x_flag_unsafe_math_optimizations
2002 && opt
->x_flag_finite_math_only
2003 && !opt
->x_flag_signed_zeros
2004 && !opt
->x_flag_errno_math
);
2007 /* Handle a debug output -g switch for options OPTS
2008 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2009 explicitly), location LOC. EXTENDED is true or false to support
2010 extended output (2 is special and means "-ggdb" was given). */
2012 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2013 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2016 opts
->x_use_gnu_debug_info_extensions
= extended
;
2018 if (type
== NO_DEBUG
)
2020 if (opts
->x_write_symbols
== NO_DEBUG
)
2022 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2026 #ifdef DWARF2_DEBUGGING_INFO
2027 opts
->x_write_symbols
= DWARF2_DEBUG
;
2028 #elif defined DBX_DEBUGGING_INFO
2029 opts
->x_write_symbols
= DBX_DEBUG
;
2033 if (opts
->x_write_symbols
== NO_DEBUG
)
2034 warning_at (loc
, 0, "target system does not support debug output");
2039 /* Does it conflict with an already selected type? */
2040 if (opts_set
->x_write_symbols
!= NO_DEBUG
2041 && opts
->x_write_symbols
!= NO_DEBUG
2042 && type
!= opts
->x_write_symbols
)
2043 error_at (loc
, "debug format \"%s\" conflicts with prior selection",
2044 debug_type_names
[type
]);
2045 opts
->x_write_symbols
= type
;
2046 opts_set
->x_write_symbols
= type
;
2049 /* A debug flag without a level defaults to level 2. */
2052 if (!opts
->x_debug_info_level
)
2053 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2057 int argval
= integral_argument (arg
);
2059 error_at (loc
, "unrecognised debug output level \"%s\"", arg
);
2060 else if (argval
> 3)
2061 error_at (loc
, "debug output level %s is too high", arg
);
2063 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2067 /* Arrange to dump core on error for diagnostic context DC. (The
2068 regular error message is still printed first, except in the case of
2072 setup_core_dumping (diagnostic_context
*dc
)
2075 signal (SIGABRT
, SIG_DFL
);
2077 #if defined(HAVE_SETRLIMIT)
2080 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2081 fatal_error ("getting core file size maximum limit: %m");
2082 rlim
.rlim_cur
= rlim
.rlim_max
;
2083 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2084 fatal_error ("setting core file size limit to maximum: %m");
2087 diagnostic_abort_on_error (dc
);
2090 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2091 diagnostic context DC. */
2094 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2095 location_t loc
, diagnostic_context
*dc
)
2103 opts
->x_flag_debug_asm
= 1;
2106 opts
->x_flag_print_asm_name
= 1;
2109 opts
->x_flag_dump_rtl_in_asm
= 1;
2110 opts
->x_flag_print_asm_name
= 1;
2113 opts
->x_rtl_dump_and_exit
= 1;
2115 case 'D': /* These are handled by the preprocessor. */
2122 setup_core_dumping (dc
);
2125 opts
->x_flag_dump_all_passed
= true;
2129 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2134 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2135 mask LANG_MASK, option handlers HANDLERS) as an error for option
2136 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2137 NULL), location LOC. This is used by -Werror=. */
2140 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2141 const struct cl_option_handlers
*handlers
,
2142 struct gcc_options
*opts
,
2143 struct gcc_options
*opts_set
,
2144 location_t loc
, diagnostic_context
*dc
)
2149 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2150 new_option
[0] = 'W';
2151 strcpy (new_option
+ 1, arg
);
2152 option_index
= find_opt (new_option
, lang_mask
);
2153 if (option_index
== OPT_SPECIAL_unknown
)
2155 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2159 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2161 control_warning_option (option_index
, (int) kind
, value
,
2163 handlers
, opts
, opts_set
, dc
);
2168 /* Return malloced memory for the name of the option OPTION_INDEX
2169 which enabled a diagnostic (context CONTEXT), originally of type
2170 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2174 option_name (diagnostic_context
*context
, int option_index
,
2175 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2179 /* A warning classified as an error. */
2180 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2181 && diag_kind
== DK_ERROR
)
2182 return concat (cl_options
[OPT_Werror_
].opt_text
,
2183 /* Skip over "-W". */
2184 cl_options
[option_index
].opt_text
+ 2,
2186 /* A warning with option. */
2188 return xstrdup (cl_options
[option_index
].opt_text
);
2190 /* A warning without option classified as an error. */
2191 else if (orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2192 || diag_kind
== DK_WARNING
)
2194 if (context
->warning_as_error_requested
)
2195 return xstrdup (cl_options
[OPT_Werror
].opt_text
);
2197 return xstrdup (_("enabled by default"));