1 /* Command line option handling.
2 Copyright (C) 2002-2014 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_NOT_DEBUG
, OPT_fif_conversion
, NULL
, 1 },
435 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, 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 },
457 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fbranch_count_reg
, NULL
, 1 },
458 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fmove_loop_invariants
, NULL
, 1 },
459 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_ftree_pta
, NULL
, 1 },
460 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_fssa_phiopt
, NULL
, 1 },
462 /* -O2 optimizations. */
463 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
464 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
465 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
466 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
467 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
468 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
469 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
470 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
471 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
472 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
473 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
474 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
475 #ifdef INSN_SCHEDULING
476 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
477 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
478 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
480 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
481 { OPT_LEVELS_2_PLUS
, OPT_fstrict_overflow
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
494 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
497 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
498 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
500 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
501 { OPT_LEVELS_2_PLUS
, OPT_fuse_caller_save
, NULL
, 1 },
503 /* -O3 optimizations. */
504 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
505 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
506 /* Inlining of functions reducing size is a good idea with -Os
507 regardless of them being declared inline. */
508 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
509 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
510 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
511 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
512 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
513 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
514 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
515 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
516 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
518 /* -Ofast adds optimizations to -O3. */
519 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
521 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
524 /* Default the options in OPTS and OPTS_SET based on the optimization
525 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
527 default_options_optimization (struct gcc_options
*opts
,
528 struct gcc_options
*opts_set
,
529 struct cl_decoded_option
*decoded_options
,
530 unsigned int decoded_options_count
,
532 unsigned int lang_mask
,
533 const struct cl_option_handlers
*handlers
,
534 diagnostic_context
*dc
)
539 /* Scan to see what optimization level has been specified. That will
540 determine the default value of many flags. */
541 for (i
= 1; i
< decoded_options_count
; i
++)
543 struct cl_decoded_option
*opt
= &decoded_options
[i
];
544 switch (opt
->opt_index
)
547 if (*opt
->arg
== '\0')
549 opts
->x_optimize
= 1;
550 opts
->x_optimize_size
= 0;
551 opts
->x_optimize_fast
= 0;
552 opts
->x_optimize_debug
= 0;
556 const int optimize_val
= integral_argument (opt
->arg
);
557 if (optimize_val
== -1)
558 error_at (loc
, "argument to %<-O%> should be a non-negative "
559 "integer, %<g%>, %<s%> or %<fast%>");
562 opts
->x_optimize
= optimize_val
;
563 if ((unsigned int) opts
->x_optimize
> 255)
564 opts
->x_optimize
= 255;
565 opts
->x_optimize_size
= 0;
566 opts
->x_optimize_fast
= 0;
567 opts
->x_optimize_debug
= 0;
573 opts
->x_optimize_size
= 1;
575 /* Optimizing for size forces optimize to be 2. */
576 opts
->x_optimize
= 2;
577 opts
->x_optimize_fast
= 0;
578 opts
->x_optimize_debug
= 0;
582 /* -Ofast only adds flags to -O3. */
583 opts
->x_optimize_size
= 0;
584 opts
->x_optimize
= 3;
585 opts
->x_optimize_fast
= 1;
586 opts
->x_optimize_debug
= 0;
590 /* -Og selects optimization level 1. */
591 opts
->x_optimize_size
= 0;
592 opts
->x_optimize
= 1;
593 opts
->x_optimize_fast
= 0;
594 opts
->x_optimize_debug
= 1;
598 /* Ignore other options in this prescan. */
603 maybe_default_options (opts
, opts_set
, default_options_table
,
604 opts
->x_optimize
, opts
->x_optimize_size
,
605 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
606 lang_mask
, handlers
, loc
, dc
);
608 /* -O2 param settings. */
609 opt2
= (opts
->x_optimize
>= 2);
611 /* Track fields in field-sensitive alias analysis. */
612 maybe_set_param_value
613 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
614 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
615 opts
->x_param_values
, opts_set
->x_param_values
);
617 /* For -O1 only do loop invariant motion for very small loops. */
618 maybe_set_param_value
619 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
620 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
621 opts
->x_param_values
, opts_set
->x_param_values
);
623 if (opts
->x_optimize_size
)
624 /* We want to crossjump as much as possible. */
625 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
626 opts
->x_param_values
, opts_set
->x_param_values
);
628 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
629 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
630 opts
->x_param_values
, opts_set
->x_param_values
);
632 /* Allow default optimizations to be specified on a per-machine basis. */
633 maybe_default_options (opts
, opts_set
,
634 targetm_common
.option_optimization_table
,
635 opts
->x_optimize
, opts
->x_optimize_size
,
636 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
637 lang_mask
, handlers
, loc
, dc
);
640 /* After all options at LOC have been read into OPTS and OPTS_SET,
641 finalize settings of those options and diagnose incompatible
644 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
647 enum unwind_info_type ui_except
;
649 if (opts
->x_dump_base_name
650 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
651 && ! opts
->x_dump_base_name_prefixed
)
653 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
654 OPTS->X_DUMP_DIR_NAME directory. Then try to make
655 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
656 directory, typically the directory to contain the object
658 if (opts
->x_dump_dir_name
)
659 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
660 opts
->x_dump_base_name
, NULL
);
661 else if (opts
->x_aux_base_name
662 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
664 const char *aux_base
;
666 base_of_path (opts
->x_aux_base_name
, &aux_base
);
667 if (opts
->x_aux_base_name
!= aux_base
)
669 int dir_len
= aux_base
- opts
->x_aux_base_name
;
670 char *new_dump_base_name
671 = XOBNEWVEC (&opts_obstack
, char,
672 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
674 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
675 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
676 /* Append existing OPTS->X_DUMP_BASE_NAME. */
677 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
678 opts
->x_dump_base_name
= new_dump_base_name
;
681 opts
->x_dump_base_name_prefixed
= true;
684 /* Handle related options for unit-at-a-time, toplevel-reorder, and
686 if (!opts
->x_flag_unit_at_a_time
)
688 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
689 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
691 opts
->x_flag_section_anchors
= 0;
692 if (opts
->x_flag_toplevel_reorder
== 1)
693 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
695 opts
->x_flag_toplevel_reorder
= 0;
698 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
699 sorry ("transactional memory is not supported with non-call exceptions");
701 /* Unless the user has asked for section anchors, we disable toplevel
702 reordering at -O0 to disable transformations that might be surprising
703 to end users and to get -fno-toplevel-reorder tested. */
704 if (!opts
->x_optimize
705 && opts
->x_flag_toplevel_reorder
== 2
706 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
708 opts
->x_flag_toplevel_reorder
= 0;
709 opts
->x_flag_section_anchors
= 0;
711 if (!opts
->x_flag_toplevel_reorder
)
713 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
714 error_at (loc
, "section anchors must be disabled when toplevel reorder"
716 opts
->x_flag_section_anchors
= 0;
719 if (!opts
->x_flag_opts_finished
)
721 if (opts
->x_flag_pie
)
722 opts
->x_flag_pic
= opts
->x_flag_pie
;
723 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
724 opts
->x_flag_shlib
= 1;
725 opts
->x_flag_opts_finished
= true;
728 if (opts
->x_optimize
== 0)
730 /* Inlining does not work if not optimizing,
731 so force it not to be done. */
732 opts
->x_warn_inline
= 0;
733 opts
->x_flag_no_inline
= 1;
736 /* The optimization to partition hot and cold basic blocks into separate
737 sections of the .o and executable files does not work (currently)
738 with exception handling. This is because there is no support for
739 generating unwind info. If opts->x_flag_exceptions is turned on
740 we need to turn off the partitioning optimization. */
742 ui_except
= targetm_common
.except_unwind_info (opts
);
744 if (opts
->x_flag_exceptions
745 && opts
->x_flag_reorder_blocks_and_partition
746 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
748 if (opts_set
->x_flag_reorder_blocks_and_partition
)
750 "-freorder-blocks-and-partition does not work "
751 "with exceptions on this architecture");
752 opts
->x_flag_reorder_blocks_and_partition
= 0;
753 opts
->x_flag_reorder_blocks
= 1;
756 /* If user requested unwind info, then turn off the partitioning
759 if (opts
->x_flag_unwind_tables
760 && !targetm_common
.unwind_tables_default
761 && opts
->x_flag_reorder_blocks_and_partition
762 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
764 if (opts_set
->x_flag_reorder_blocks_and_partition
)
766 "-freorder-blocks-and-partition does not support "
767 "unwind info on this architecture");
768 opts
->x_flag_reorder_blocks_and_partition
= 0;
769 opts
->x_flag_reorder_blocks
= 1;
772 /* If the target requested unwind info, then turn off the partitioning
773 optimization with a different message. Likewise, if the target does not
774 support named sections. */
776 if (opts
->x_flag_reorder_blocks_and_partition
777 && (!targetm_common
.have_named_sections
778 || (opts
->x_flag_unwind_tables
779 && targetm_common
.unwind_tables_default
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 "on this architecture");
786 opts
->x_flag_reorder_blocks_and_partition
= 0;
787 opts
->x_flag_reorder_blocks
= 1;
790 if (opts
->x_flag_reorder_blocks_and_partition
791 && !opts_set
->x_flag_reorder_functions
)
792 opts
->x_flag_reorder_functions
= 1;
794 /* Pipelining of outer loops is only possible when general pipelining
795 capabilities are requested. */
796 if (!opts
->x_flag_sel_sched_pipelining
)
797 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
799 if (opts
->x_flag_conserve_stack
)
801 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
802 opts
->x_param_values
, opts_set
->x_param_values
);
803 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
804 opts
->x_param_values
, opts_set
->x_param_values
);
807 if (opts
->x_flag_lto
)
810 opts
->x_flag_generate_lto
= 1;
812 /* When generating IL, do not operate in whole-program mode.
813 Otherwise, symbols will be privatized too early, causing link
815 opts
->x_flag_whole_program
= 0;
817 error_at (loc
, "LTO support has not been enabled in this configuration");
819 if (!opts
->x_flag_fat_lto_objects
821 || (opts_set
->x_flag_use_linker_plugin
822 && !opts
->x_flag_use_linker_plugin
)))
824 if (opts_set
->x_flag_fat_lto_objects
)
825 error_at (loc
, "-fno-fat-lto-objects are supported only with linker plugin");
826 opts
->x_flag_fat_lto_objects
= 1;
830 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
831 default value if they choose based on other options. */
832 if (opts
->x_flag_split_stack
== -1)
833 opts
->x_flag_split_stack
= 0;
834 else if (opts
->x_flag_split_stack
)
836 if (!targetm_common
.supports_split_stack (true, opts
))
838 error_at (loc
, "%<-fsplit-stack%> is not supported by "
839 "this compiler configuration");
840 opts
->x_flag_split_stack
= 0;
844 /* Tune vectorization related parametees according to cost model. */
845 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
847 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
848 6, opts
->x_param_values
, opts_set
->x_param_values
);
849 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
850 0, opts
->x_param_values
, opts_set
->x_param_values
);
851 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
852 0, opts
->x_param_values
, opts_set
->x_param_values
);
855 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
857 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
858 || !opts
->x_flag_tree_loop_if_convert
)
859 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
860 opts
->x_param_values
, opts_set
->x_param_values
);
862 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
863 if (opts
->x_dwarf_split_debug_info
)
864 opts
->x_debug_generate_pub_sections
= 2;
867 #define LEFT_COLUMN 27
869 /* Output ITEM, of length ITEM_WIDTH, in the left column,
870 followed by word-wrapped HELP in a second column. */
872 wrap_help (const char *help
,
874 unsigned int item_width
,
875 unsigned int columns
)
877 unsigned int col_width
= LEFT_COLUMN
;
878 unsigned int remaining
, room
, len
;
880 remaining
= strlen (help
);
884 room
= columns
- 3 - MAX (col_width
, item_width
);
893 for (i
= 0; help
[i
]; i
++)
895 if (i
>= room
&& len
!= remaining
)
899 else if ((help
[i
] == '-' || help
[i
] == '/')
900 && help
[i
+ 1] != ' '
901 && i
> 0 && ISALPHA (help
[i
- 1]))
906 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
908 while (help
[len
] == ' ')
916 /* Print help for a specific front-end, etc. */
918 print_filtered_help (unsigned int include_flags
,
919 unsigned int exclude_flags
,
920 unsigned int any_flags
,
921 unsigned int columns
,
922 struct gcc_options
*opts
,
923 unsigned int lang_mask
)
928 bool displayed
= false;
930 if (include_flags
== CL_PARAMS
)
932 for (i
= 0; i
< LAST_PARAM
; i
++)
934 const char *param
= compiler_params
[i
].option
;
936 help
= compiler_params
[i
].help
;
937 if (help
== NULL
|| *help
== '\0')
939 if (exclude_flags
& CL_UNDOCUMENTED
)
941 help
= undocumented_msg
;
944 /* Get the translation. */
947 wrap_help (help
, param
, strlen (param
), columns
);
953 if (!opts
->x_help_printed
)
954 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
956 if (!opts
->x_help_enum_printed
)
957 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
959 for (i
= 0; i
< cl_options_count
; i
++)
962 const struct cl_option
*option
= cl_options
+ i
;
967 if (include_flags
== 0
968 || ((option
->flags
& include_flags
) != include_flags
))
970 if ((option
->flags
& any_flags
) == 0)
974 /* Skip unwanted switches. */
975 if ((option
->flags
& exclude_flags
) != 0)
978 /* The driver currently prints its own help text. */
979 if ((option
->flags
& CL_DRIVER
) != 0
980 && (option
->flags
& (((1U << cl_lang_count
) - 1)
981 | CL_COMMON
| CL_TARGET
)) == 0)
985 /* Skip switches that have already been printed. */
986 if (opts
->x_help_printed
[i
])
989 opts
->x_help_printed
[i
] = true;
994 if (exclude_flags
& CL_UNDOCUMENTED
)
996 help
= undocumented_msg
;
999 /* Get the translation. */
1002 /* Find the gap between the name of the
1003 option and its descriptive text. */
1004 tab
= strchr (help
, '\t');
1013 opt
= option
->opt_text
;
1017 /* With the -Q option enabled we change the descriptive text associated
1018 with an option to be an indication of its current setting. */
1019 if (!opts
->x_quiet_flag
)
1021 void *flag_var
= option_flag_var (i
, opts
);
1023 if (len
< (LEFT_COLUMN
+ 2))
1024 strcpy (new_help
, "\t\t");
1026 strcpy (new_help
, "\t");
1028 if (flag_var
!= NULL
1029 && option
->var_type
!= CLVC_DEFER
)
1031 if (option
->flags
& CL_JOINED
)
1033 if (option
->var_type
== CLVC_STRING
)
1035 if (* (const char **) flag_var
!= NULL
)
1036 snprintf (new_help
+ strlen (new_help
),
1037 sizeof (new_help
) - strlen (new_help
),
1038 * (const char **) flag_var
);
1040 else if (option
->var_type
== CLVC_ENUM
)
1042 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1044 const char *arg
= NULL
;
1046 value
= e
->get (flag_var
);
1047 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1049 arg
= _("[default]");
1050 snprintf (new_help
+ strlen (new_help
),
1051 sizeof (new_help
) - strlen (new_help
),
1055 sprintf (new_help
+ strlen (new_help
),
1056 "%#x", * (int *) flag_var
);
1059 strcat (new_help
, option_enabled (i
, opts
)
1060 ? _("[enabled]") : _("[disabled]"));
1066 wrap_help (help
, opt
, len
, columns
);
1069 if (option
->var_type
== CLVC_ENUM
1070 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1071 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1076 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1079 printf (_(" No options with the desired characteristics were found\n"));
1084 /* PR 31349: Tell the user how to see all of the
1085 options supported by a specific front end. */
1086 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1087 if ((1U << i
) & langs
)
1088 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1089 lang_names
[i
], lang_names
[i
]);
1093 else if (! displayed
)
1094 printf (_(" All options with the desired characteristics have already been displayed\n"));
1098 /* Print details of enumerated option arguments, if those
1099 enumerations have help text headings provided. If no help text
1100 is provided, presume that the possible values are listed in the
1101 help text for the relevant options. */
1102 for (i
= 0; i
< cl_enums_count
; i
++)
1104 unsigned int j
, pos
;
1106 if (opts
->x_help_enum_printed
[i
] != 1)
1108 if (cl_enums
[i
].help
== NULL
)
1110 printf (" %s\n ", _(cl_enums
[i
].help
));
1112 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1114 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1116 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1118 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1128 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1133 opts
->x_help_enum_printed
[i
] = 2;
1137 /* Display help for a specified type of option.
1138 The options must have ALL of the INCLUDE_FLAGS set
1139 ANY of the flags in the ANY_FLAGS set
1140 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1141 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1143 print_specific_help (unsigned int include_flags
,
1144 unsigned int exclude_flags
,
1145 unsigned int any_flags
,
1146 struct gcc_options
*opts
,
1147 unsigned int lang_mask
)
1149 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1150 const char * description
= NULL
;
1151 const char * descrip_extra
= "";
1155 /* Sanity check: Make sure that we do not have more
1156 languages than we have bits available to enumerate them. */
1157 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1159 /* If we have not done so already, obtain
1160 the desired maximum width of the output. */
1161 if (opts
->x_help_columns
== 0)
1165 p
= getenv ("COLUMNS");
1168 int value
= atoi (p
);
1171 opts
->x_help_columns
= value
;
1174 if (opts
->x_help_columns
== 0)
1175 /* Use a reasonable default. */
1176 opts
->x_help_columns
= 80;
1179 /* Decide upon the title for the options that we are going to display. */
1180 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1182 switch (flag
& include_flags
)
1189 description
= _("The following options are target specific");
1192 description
= _("The following options control compiler warning messages");
1194 case CL_OPTIMIZATION
:
1195 description
= _("The following options control optimizations");
1198 description
= _("The following options are language-independent");
1201 description
= _("The --param option recognizes the following as parameters");
1204 if (i
>= cl_lang_count
)
1206 if (exclude_flags
& all_langs_mask
)
1207 description
= _("The following options are specific to just the language ");
1209 description
= _("The following options are supported by the language ");
1210 descrip_extra
= lang_names
[i
];
1215 if (description
== NULL
)
1219 if (include_flags
& CL_UNDOCUMENTED
)
1220 description
= _("The following options are not documented");
1221 else if (include_flags
& CL_SEPARATE
)
1222 description
= _("The following options take separate arguments");
1223 else if (include_flags
& CL_JOINED
)
1224 description
= _("The following options take joined arguments");
1227 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1234 if (any_flags
& all_langs_mask
)
1235 description
= _("The following options are language-related");
1237 description
= _("The following options are language-independent");
1241 printf ("%s%s:\n", description
, descrip_extra
);
1242 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1243 opts
->x_help_columns
, opts
, lang_mask
);
1246 /* Handle target- and language-independent options. Return zero to
1247 generate an "unknown option" message. Only options that need
1248 extra handling need to be listed here; if you simply want
1249 DECODED->value assigned to a variable, it happens automatically. */
1252 common_handle_option (struct gcc_options
*opts
,
1253 struct gcc_options
*opts_set
,
1254 const struct cl_decoded_option
*decoded
,
1255 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1257 const struct cl_option_handlers
*handlers
,
1258 diagnostic_context
*dc
)
1260 size_t scode
= decoded
->opt_index
;
1261 const char *arg
= decoded
->arg
;
1262 int value
= decoded
->value
;
1263 enum opt_code code
= (enum opt_code
) scode
;
1265 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1270 handle_param (opts
, opts_set
, loc
, arg
);
1275 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1276 unsigned int undoc_mask
;
1279 if (lang_mask
== CL_DRIVER
)
1282 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1285 /* First display any single language specific options. */
1286 for (i
= 0; i
< cl_lang_count
; i
++)
1288 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1290 /* Next display any multi language specific options. */
1291 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1292 /* Then display any remaining, non-language options. */
1293 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1295 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1296 opts
->x_exit_after_options
= true;
1300 case OPT__target_help
:
1301 if (lang_mask
== CL_DRIVER
)
1304 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1305 opts
->x_exit_after_options
= true;
1310 const char * a
= arg
;
1311 unsigned int include_flags
= 0;
1312 /* Note - by default we include undocumented options when listing
1313 specific classes. If you only want to see documented options
1314 then add ",^undocumented" to the --help= option. E.g.:
1316 --help=target,^undocumented */
1317 unsigned int exclude_flags
= 0;
1319 if (lang_mask
== CL_DRIVER
)
1322 /* Walk along the argument string, parsing each word in turn.
1324 arg = [^]{word}[,{arg}]
1325 word = {optimizers|target|warnings|undocumented|
1326 params|common|<language>} */
1331 const char * string
;
1336 { "optimizers", CL_OPTIMIZATION
},
1337 { "target", CL_TARGET
},
1338 { "warnings", CL_WARNING
},
1339 { "undocumented", CL_UNDOCUMENTED
},
1340 { "params", CL_PARAMS
},
1341 { "joined", CL_JOINED
},
1342 { "separate", CL_SEPARATE
},
1343 { "common", CL_COMMON
},
1346 unsigned int * pflags
;
1348 unsigned int lang_flag
, specific_flag
;
1355 pflags
= & exclude_flags
;
1358 pflags
= & include_flags
;
1360 comma
= strchr (a
, ',');
1371 /* Check to see if the string matches an option class name. */
1372 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1373 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1375 specific_flag
= specifics
[i
].flag
;
1379 /* Check to see if the string matches a language name.
1380 Note - we rely upon the alpha-sorted nature of the entries in
1381 the lang_names array, specifically that shorter names appear
1382 before their longer variants. (i.e. C before C++). That way
1383 when we are attempting to match --help=c for example we will
1384 match with C first and not C++. */
1385 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1386 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1388 lang_flag
= 1U << i
;
1392 if (specific_flag
!= 0)
1395 * pflags
|= specific_flag
;
1398 /* The option's argument matches both the start of a
1399 language name and the start of an option class name.
1400 We have a special case for when the user has
1401 specified "--help=c", but otherwise we have to issue
1403 if (strncasecmp (a
, "c", len
) == 0)
1404 * pflags
|= lang_flag
;
1407 "--help argument %q.*s is ambiguous, "
1408 "please be more specific",
1412 else if (lang_flag
!= 0)
1413 * pflags
|= lang_flag
;
1416 "unrecognized argument to --help= option: %q.*s",
1425 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1427 opts
->x_exit_after_options
= true;
1432 if (lang_mask
== CL_DRIVER
)
1435 opts
->x_exit_after_options
= true;
1438 case OPT_fsanitize_
:
1440 const char *p
= arg
;
1445 const char *const name
;
1450 { "address", SANITIZE_ADDRESS
, sizeof "address" - 1 },
1451 { "thread", SANITIZE_THREAD
, sizeof "thread" - 1 },
1452 { "leak", SANITIZE_LEAK
, sizeof "leak" - 1 },
1453 { "shift", SANITIZE_SHIFT
, sizeof "shift" - 1 },
1454 { "integer-divide-by-zero", SANITIZE_DIVIDE
,
1455 sizeof "integer-divide-by-zero" - 1 },
1456 { "undefined", SANITIZE_UNDEFINED
, sizeof "undefined" - 1 },
1457 { "unreachable", SANITIZE_UNREACHABLE
,
1458 sizeof "unreachable" - 1 },
1459 { "vla-bound", SANITIZE_VLA
, sizeof "vla-bound" - 1 },
1460 { "return", SANITIZE_RETURN
, sizeof "return" - 1 },
1461 { "null", SANITIZE_NULL
, sizeof "null" - 1 },
1462 { "signed-integer-overflow", SANITIZE_SI_OVERFLOW
,
1463 sizeof "signed-integer-overflow" -1 },
1464 { "bool", SANITIZE_BOOL
, sizeof "bool" - 1 },
1465 { "enum", SANITIZE_ENUM
, sizeof "enum" - 1 },
1466 { "float-divide-by-zero", SANITIZE_FLOAT_DIVIDE
,
1467 sizeof "float-divide-by-zero" - 1 },
1468 { "float-cast-overflow", SANITIZE_FLOAT_CAST
,
1469 sizeof "float-cast-overflow" - 1 },
1476 comma
= strchr (p
, ',');
1487 /* Check to see if the string matches an option class name. */
1488 for (i
= 0; spec
[i
].name
!= NULL
; ++i
)
1489 if (len
== spec
[i
].len
1490 && memcmp (p
, spec
[i
].name
, len
) == 0)
1492 /* Handle both -fsanitize and -fno-sanitize cases. */
1494 flag_sanitize
|= spec
[i
].flag
;
1496 flag_sanitize
&= ~spec
[i
].flag
;
1503 "unrecognized argument to -fsanitize= option: %q.*s",
1511 /* When instrumenting the pointers, we don't want to remove
1512 the null pointer checks. */
1513 if (flag_sanitize
& SANITIZE_NULL
)
1514 opts
->x_flag_delete_null_pointer_checks
= 0;
1522 /* Currently handled in a prescan. */
1526 dc
->warning_as_error_requested
= value
;
1530 if (lang_mask
== CL_DRIVER
)
1533 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
1534 opts
, opts_set
, loc
, dc
);
1537 case OPT_Wlarger_than_
:
1538 opts
->x_larger_than_size
= value
;
1539 opts
->x_warn_larger_than
= value
!= -1;
1542 case OPT_Wfatal_errors
:
1543 dc
->fatal_errors
= value
;
1546 case OPT_Wframe_larger_than_
:
1547 opts
->x_frame_larger_than_size
= value
;
1548 opts
->x_warn_frame_larger_than
= value
!= -1;
1551 case OPT_Wstack_usage_
:
1552 opts
->x_warn_stack_usage
= value
;
1553 opts
->x_flag_stack_usage_info
= value
!= -1;
1556 case OPT_Wstrict_aliasing
:
1557 set_Wstrict_aliasing (opts
, value
);
1560 case OPT_Wstrict_overflow
:
1561 opts
->x_warn_strict_overflow
= (value
1562 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1566 case OPT_Wsystem_headers
:
1567 dc
->dc_warn_system_headers
= value
;
1571 opts
->x_flag_gen_aux_info
= 1;
1574 case OPT_auxbase_strip
:
1576 char *tmp
= xstrdup (arg
);
1577 strip_off_ending (tmp
, strlen (tmp
));
1579 opts
->x_aux_base_name
= tmp
;
1586 decode_d_option (arg
, opts
, loc
, dc
);
1589 case OPT_fcall_used_
:
1590 case OPT_fcall_saved_
:
1595 case OPT_fdbg_cnt_list
:
1599 case OPT_fdebug_prefix_map_
:
1603 case OPT_fdiagnostics_show_location_
:
1604 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
1607 case OPT_fdiagnostics_show_caret
:
1608 dc
->show_caret
= value
;
1611 case OPT_fdiagnostics_color_
:
1612 pp_show_color (dc
->printer
)
1613 = colorize_init ((diagnostic_color_rule_t
) value
);
1616 case OPT_fdiagnostics_show_option
:
1617 dc
->show_option_requested
= value
;
1624 case OPT_ffast_math
:
1625 set_fast_math_flags (opts
, value
);
1628 case OPT_funsafe_math_optimizations
:
1629 set_unsafe_math_optimizations_flags (opts
, value
);
1636 case OPT_finline_limit_
:
1637 set_param_value ("max-inline-insns-single", value
/ 2,
1638 opts
->x_param_values
, opts_set
->x_param_values
);
1639 set_param_value ("max-inline-insns-auto", value
/ 2,
1640 opts
->x_param_values
, opts_set
->x_param_values
);
1643 case OPT_finstrument_functions_exclude_function_list_
:
1644 add_comma_separated_to_vector
1645 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
1648 case OPT_finstrument_functions_exclude_file_list_
:
1649 add_comma_separated_to_vector
1650 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
1653 case OPT_fmessage_length_
:
1654 pp_set_line_maximum_length (dc
->printer
, value
);
1655 diagnostic_set_caret_max_width (dc
, value
);
1659 case OPT_fopt_info_
:
1663 case OPT_fpack_struct_
:
1664 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1666 "structure alignment must be a small power of two, not %d",
1669 opts
->x_initial_max_fld_align
= value
;
1673 case OPT_fplugin_arg_
:
1677 case OPT_fprofile_use_
:
1678 opts
->x_profile_data_prefix
= xstrdup (arg
);
1679 opts
->x_flag_profile_use
= true;
1681 /* No break here - do -fprofile-use processing. */
1682 case OPT_fprofile_use
:
1683 if (!opts_set
->x_flag_branch_probabilities
)
1684 opts
->x_flag_branch_probabilities
= value
;
1685 if (!opts_set
->x_flag_profile_values
)
1686 opts
->x_flag_profile_values
= value
;
1687 if (!opts_set
->x_flag_unroll_loops
)
1688 opts
->x_flag_unroll_loops
= value
;
1689 if (!opts_set
->x_flag_peel_loops
)
1690 opts
->x_flag_peel_loops
= value
;
1691 if (!opts_set
->x_flag_tracer
)
1692 opts
->x_flag_tracer
= value
;
1693 if (!opts_set
->x_flag_value_profile_transformations
)
1694 opts
->x_flag_value_profile_transformations
= value
;
1695 if (!opts_set
->x_flag_inline_functions
)
1696 opts
->x_flag_inline_functions
= value
;
1697 if (!opts_set
->x_flag_ipa_cp
)
1698 opts
->x_flag_ipa_cp
= value
;
1699 if (!opts_set
->x_flag_ipa_cp_clone
1700 && value
&& opts
->x_flag_ipa_cp
)
1701 opts
->x_flag_ipa_cp_clone
= value
;
1702 if (!opts_set
->x_flag_predictive_commoning
)
1703 opts
->x_flag_predictive_commoning
= value
;
1704 if (!opts_set
->x_flag_unswitch_loops
)
1705 opts
->x_flag_unswitch_loops
= value
;
1706 if (!opts_set
->x_flag_gcse_after_reload
)
1707 opts
->x_flag_gcse_after_reload
= value
;
1708 if (!opts_set
->x_flag_tree_loop_vectorize
1709 && !opts_set
->x_flag_tree_vectorize
)
1710 opts
->x_flag_tree_loop_vectorize
= value
;
1711 if (!opts_set
->x_flag_tree_slp_vectorize
1712 && !opts_set
->x_flag_tree_vectorize
)
1713 opts
->x_flag_tree_slp_vectorize
= value
;
1714 if (!opts_set
->x_flag_vect_cost_model
)
1715 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1716 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1717 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1718 if (!opts_set
->x_flag_profile_reorder_functions
)
1719 opts
->x_flag_profile_reorder_functions
= value
;
1720 /* Indirect call profiling should do all useful transformations
1721 speculative devirtualization does. */
1722 if (!opts_set
->x_flag_devirtualize_speculatively
1723 && opts
->x_flag_value_profile_transformations
)
1724 opts
->x_flag_devirtualize_speculatively
= false;
1727 case OPT_fprofile_generate_
:
1728 opts
->x_profile_data_prefix
= xstrdup (arg
);
1730 /* No break here - do -fprofile-generate processing. */
1731 case OPT_fprofile_generate
:
1732 if (!opts_set
->x_profile_arc_flag
)
1733 opts
->x_profile_arc_flag
= value
;
1734 if (!opts_set
->x_flag_profile_values
)
1735 opts
->x_flag_profile_values
= value
;
1736 if (!opts_set
->x_flag_inline_functions
)
1737 opts
->x_flag_inline_functions
= value
;
1738 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
1739 quadratic. Disable the pass until better memory representation
1741 if (!opts_set
->x_flag_ipa_reference
)
1742 opts
->x_flag_ipa_reference
= false;
1745 case OPT_ftree_vectorize
:
1746 if (!opts_set
->x_flag_tree_loop_vectorize
)
1747 opts
->x_flag_tree_loop_vectorize
= value
;
1748 if (!opts_set
->x_flag_tree_slp_vectorize
)
1749 opts
->x_flag_tree_slp_vectorize
= value
;
1751 case OPT_fshow_column
:
1752 dc
->show_column
= value
;
1755 case OPT_frandom_seed
:
1756 /* The real switch is -fno-random-seed. */
1762 case OPT_frandom_seed_
:
1766 case OPT_fsched_verbose_
:
1767 #ifdef INSN_SCHEDULING
1768 /* Handled with Var in common.opt. */
1774 case OPT_fsched_stalled_insns_
:
1775 opts
->x_flag_sched_stalled_insns
= value
;
1776 if (opts
->x_flag_sched_stalled_insns
== 0)
1777 opts
->x_flag_sched_stalled_insns
= -1;
1780 case OPT_fsched_stalled_insns_dep_
:
1781 opts
->x_flag_sched_stalled_insns_dep
= value
;
1784 case OPT_fstack_check_
:
1785 if (!strcmp (arg
, "no"))
1786 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
1787 else if (!strcmp (arg
, "generic"))
1788 /* This is the old stack checking method. */
1789 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1790 ? FULL_BUILTIN_STACK_CHECK
1791 : GENERIC_STACK_CHECK
;
1792 else if (!strcmp (arg
, "specific"))
1793 /* This is the new stack checking method. */
1794 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1795 ? FULL_BUILTIN_STACK_CHECK
1796 : STACK_CHECK_STATIC_BUILTIN
1797 ? STATIC_BUILTIN_STACK_CHECK
1798 : GENERIC_STACK_CHECK
;
1800 warning_at (loc
, 0, "unknown stack check parameter \"%s\"", arg
);
1803 case OPT_fstack_limit
:
1804 /* The real switch is -fno-stack-limit. */
1810 case OPT_fstack_limit_register_
:
1811 case OPT_fstack_limit_symbol_
:
1815 case OPT_fstack_usage
:
1816 opts
->x_flag_stack_usage
= value
;
1817 opts
->x_flag_stack_usage_info
= value
!= 0;
1821 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
1826 set_debug_level (SDB_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1830 if (arg
&& strlen (arg
) != 0)
1832 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
1833 "use %<-gdwarf-%s%> for DWARF version "
1834 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
1838 value
= opts
->x_dwarf_version
;
1842 if (value
< 2 || value
> 4)
1843 error_at (loc
, "dwarf version %d is not supported", value
);
1845 opts
->x_dwarf_version
= value
;
1846 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
1849 case OPT_gsplit_dwarf
:
1850 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
1855 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
1860 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
1865 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1870 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
1874 case OPT_pedantic_errors
:
1875 dc
->pedantic_errors
= 1;
1876 control_warning_option (OPT_Wpedantic
, DK_ERROR
, value
,
1878 handlers
, opts
, opts_set
,
1883 opts
->x_flag_lto
= value
? "" : NULL
;
1887 dc
->dc_inhibit_warnings
= true;
1890 case OPT_fmax_errors_
:
1891 dc
->max_errors
= value
;
1894 case OPT_fuse_ld_bfd
:
1895 case OPT_fuse_ld_gold
:
1896 case OPT_fuse_linker_plugin
:
1897 /* No-op. Used by the driver and passed to us because it starts with f.*/
1902 opts
->x_flag_trapv
= 0;
1907 opts
->x_flag_wrapv
= 0;
1911 /* If the flag was handled in a standard way, assume the lack of
1912 processing here is intentional. */
1913 gcc_assert (option_flag_var (scode
, opts
));
1917 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
1922 /* Handle --param NAME=VALUE. */
1924 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
1925 location_t loc
, const char *carg
)
1930 arg
= xstrdup (carg
);
1931 equal
= strchr (arg
, '=');
1933 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
1937 value
= integral_argument (equal
+ 1);
1939 error_at (loc
, "invalid --param value %qs", equal
+ 1);
1943 set_param_value (arg
, value
,
1944 opts
->x_param_values
, opts_set
->x_param_values
);
1951 /* Used to set the level of strict aliasing warnings in OPTS,
1952 when no level is specified (i.e., when -Wstrict-aliasing, and not
1953 -Wstrict-aliasing=level was given).
1954 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
1955 and 0 otherwise. After calling this function, wstrict_aliasing will be
1956 set to the default value of -Wstrict_aliasing=level, currently 3. */
1958 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
1960 gcc_assert (onoff
== 0 || onoff
== 1);
1962 opts
->x_warn_strict_aliasing
= 3;
1964 opts
->x_warn_strict_aliasing
= 0;
1967 /* The following routines are useful in setting all the flags that
1968 -ffast-math and -fno-fast-math imply. */
1970 set_fast_math_flags (struct gcc_options
*opts
, int set
)
1972 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
1974 opts
->x_flag_unsafe_math_optimizations
= set
;
1975 set_unsafe_math_optimizations_flags (opts
, set
);
1977 if (!opts
->frontend_set_flag_finite_math_only
)
1978 opts
->x_flag_finite_math_only
= set
;
1979 if (!opts
->frontend_set_flag_errno_math
)
1980 opts
->x_flag_errno_math
= !set
;
1983 if (!opts
->frontend_set_flag_signaling_nans
)
1984 opts
->x_flag_signaling_nans
= 0;
1985 if (!opts
->frontend_set_flag_rounding_math
)
1986 opts
->x_flag_rounding_math
= 0;
1987 if (!opts
->frontend_set_flag_cx_limited_range
)
1988 opts
->x_flag_cx_limited_range
= 1;
1992 /* When -funsafe-math-optimizations is set the following
1993 flags are set as well. */
1995 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
1997 if (!opts
->frontend_set_flag_trapping_math
)
1998 opts
->x_flag_trapping_math
= !set
;
1999 if (!opts
->frontend_set_flag_signed_zeros
)
2000 opts
->x_flag_signed_zeros
= !set
;
2001 if (!opts
->frontend_set_flag_associative_math
)
2002 opts
->x_flag_associative_math
= set
;
2003 if (!opts
->frontend_set_flag_reciprocal_math
)
2004 opts
->x_flag_reciprocal_math
= set
;
2007 /* Return true iff flags in OPTS are set as if -ffast-math. */
2009 fast_math_flags_set_p (const struct gcc_options
*opts
)
2011 return (!opts
->x_flag_trapping_math
2012 && opts
->x_flag_unsafe_math_optimizations
2013 && opts
->x_flag_finite_math_only
2014 && !opts
->x_flag_signed_zeros
2015 && !opts
->x_flag_errno_math
);
2018 /* Return true iff flags are set as if -ffast-math but using the flags stored
2019 in the struct cl_optimization structure. */
2021 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2023 return (!opt
->x_flag_trapping_math
2024 && opt
->x_flag_unsafe_math_optimizations
2025 && opt
->x_flag_finite_math_only
2026 && !opt
->x_flag_signed_zeros
2027 && !opt
->x_flag_errno_math
);
2030 /* Handle a debug output -g switch for options OPTS
2031 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2032 explicitly), location LOC. EXTENDED is true or false to support
2033 extended output (2 is special and means "-ggdb" was given). */
2035 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2036 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2039 opts
->x_use_gnu_debug_info_extensions
= extended
;
2041 if (type
== NO_DEBUG
)
2043 if (opts
->x_write_symbols
== NO_DEBUG
)
2045 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2049 #ifdef DWARF2_DEBUGGING_INFO
2050 opts
->x_write_symbols
= DWARF2_DEBUG
;
2051 #elif defined DBX_DEBUGGING_INFO
2052 opts
->x_write_symbols
= DBX_DEBUG
;
2056 if (opts
->x_write_symbols
== NO_DEBUG
)
2057 warning_at (loc
, 0, "target system does not support debug output");
2062 /* Does it conflict with an already selected type? */
2063 if (opts_set
->x_write_symbols
!= NO_DEBUG
2064 && opts
->x_write_symbols
!= NO_DEBUG
2065 && type
!= opts
->x_write_symbols
)
2066 error_at (loc
, "debug format \"%s\" conflicts with prior selection",
2067 debug_type_names
[type
]);
2068 opts
->x_write_symbols
= type
;
2069 opts_set
->x_write_symbols
= type
;
2072 /* A debug flag without a level defaults to level 2.
2073 If off or at level 1, set it to level 2, but if already
2074 at level 3, don't lower it. */
2077 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2078 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2082 int argval
= integral_argument (arg
);
2084 error_at (loc
, "unrecognised debug output level \"%s\"", arg
);
2085 else if (argval
> 3)
2086 error_at (loc
, "debug output level %s is too high", arg
);
2088 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2092 /* Arrange to dump core on error for diagnostic context DC. (The
2093 regular error message is still printed first, except in the case of
2097 setup_core_dumping (diagnostic_context
*dc
)
2100 signal (SIGABRT
, SIG_DFL
);
2102 #if defined(HAVE_SETRLIMIT)
2105 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2106 fatal_error ("getting core file size maximum limit: %m");
2107 rlim
.rlim_cur
= rlim
.rlim_max
;
2108 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2109 fatal_error ("setting core file size limit to maximum: %m");
2112 diagnostic_abort_on_error (dc
);
2115 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2116 diagnostic context DC. */
2119 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2120 location_t loc
, diagnostic_context
*dc
)
2128 opts
->x_flag_debug_asm
= 1;
2131 opts
->x_flag_print_asm_name
= 1;
2134 opts
->x_flag_dump_rtl_in_asm
= 1;
2135 opts
->x_flag_print_asm_name
= 1;
2138 opts
->x_rtl_dump_and_exit
= 1;
2140 case 'D': /* These are handled by the preprocessor. */
2147 setup_core_dumping (dc
);
2150 opts
->x_flag_dump_all_passed
= true;
2154 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2159 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2160 mask LANG_MASK, option handlers HANDLERS) as an error for option
2161 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2162 NULL), location LOC. This is used by -Werror=. */
2165 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2166 const struct cl_option_handlers
*handlers
,
2167 struct gcc_options
*opts
,
2168 struct gcc_options
*opts_set
,
2169 location_t loc
, diagnostic_context
*dc
)
2174 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2175 new_option
[0] = 'W';
2176 strcpy (new_option
+ 1, arg
);
2177 option_index
= find_opt (new_option
, lang_mask
);
2178 if (option_index
== OPT_SPECIAL_unknown
)
2180 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2184 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2186 control_warning_option (option_index
, (int) kind
, value
,
2188 handlers
, opts
, opts_set
, dc
);
2193 /* Return malloced memory for the name of the option OPTION_INDEX
2194 which enabled a diagnostic (context CONTEXT), originally of type
2195 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2199 option_name (diagnostic_context
*context
, int option_index
,
2200 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2204 /* A warning classified as an error. */
2205 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2206 && diag_kind
== DK_ERROR
)
2207 return concat (cl_options
[OPT_Werror_
].opt_text
,
2208 /* Skip over "-W". */
2209 cl_options
[option_index
].opt_text
+ 2,
2211 /* A warning with option. */
2213 return xstrdup (cl_options
[option_index
].opt_text
);
2215 /* A warning without option classified as an error. */
2216 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2217 || diag_kind
== DK_WARNING
)
2218 && context
->warning_as_error_requested
)
2219 return xstrdup (cl_options
[OPT_Werror
].opt_text
);