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 },
461 /* -O2 optimizations. */
462 { OPT_LEVELS_2_PLUS
, OPT_finline_small_functions
, NULL
, 1 },
463 { OPT_LEVELS_2_PLUS
, OPT_findirect_inlining
, NULL
, 1 },
464 { OPT_LEVELS_2_PLUS
, OPT_fpartial_inlining
, NULL
, 1 },
465 { OPT_LEVELS_2_PLUS
, OPT_fthread_jumps
, NULL
, 1 },
466 { OPT_LEVELS_2_PLUS
, OPT_fcrossjumping
, NULL
, 1 },
467 { OPT_LEVELS_2_PLUS
, OPT_foptimize_sibling_calls
, NULL
, 1 },
468 { OPT_LEVELS_2_PLUS
, OPT_fcse_follow_jumps
, NULL
, 1 },
469 { OPT_LEVELS_2_PLUS
, OPT_fgcse
, NULL
, 1 },
470 { OPT_LEVELS_2_PLUS
, OPT_fexpensive_optimizations
, NULL
, 1 },
471 { OPT_LEVELS_2_PLUS
, OPT_frerun_cse_after_loop
, NULL
, 1 },
472 { OPT_LEVELS_2_PLUS
, OPT_fcaller_saves
, NULL
, 1 },
473 { OPT_LEVELS_2_PLUS
, OPT_fpeephole2
, NULL
, 1 },
474 #ifdef INSN_SCHEDULING
475 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
476 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_fschedule_insns
, NULL
, 1 },
477 { OPT_LEVELS_2_PLUS
, OPT_fschedule_insns2
, NULL
, 1 },
479 { OPT_LEVELS_2_PLUS
, OPT_fstrict_aliasing
, NULL
, 1 },
480 { OPT_LEVELS_2_PLUS
, OPT_fstrict_overflow
, NULL
, 1 },
481 { OPT_LEVELS_2_PLUS
, OPT_freorder_blocks
, NULL
, 1 },
482 { OPT_LEVELS_2_PLUS
, OPT_freorder_functions
, NULL
, 1 },
483 { OPT_LEVELS_2_PLUS
, OPT_ftree_vrp
, NULL
, 1 },
484 { OPT_LEVELS_2_PLUS
, OPT_ftree_builtin_call_dce
, NULL
, 1 },
485 { OPT_LEVELS_2_PLUS
, OPT_ftree_pre
, NULL
, 1 },
486 { OPT_LEVELS_2_PLUS
, OPT_ftree_switch_conversion
, NULL
, 1 },
487 { OPT_LEVELS_2_PLUS
, OPT_fipa_cp
, NULL
, 1 },
488 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize
, NULL
, 1 },
489 { OPT_LEVELS_2_PLUS
, OPT_fdevirtualize_speculatively
, NULL
, 1 },
490 { OPT_LEVELS_2_PLUS
, OPT_fipa_sra
, NULL
, 1 },
491 { OPT_LEVELS_2_PLUS
, OPT_falign_loops
, NULL
, 1 },
492 { OPT_LEVELS_2_PLUS
, OPT_falign_jumps
, NULL
, 1 },
493 { OPT_LEVELS_2_PLUS
, OPT_falign_labels
, NULL
, 1 },
494 { OPT_LEVELS_2_PLUS
, OPT_falign_functions
, NULL
, 1 },
495 { OPT_LEVELS_2_PLUS
, OPT_ftree_tail_merge
, NULL
, 1 },
496 { OPT_LEVELS_2_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_CHEAP
},
497 { OPT_LEVELS_2_PLUS_SPEED_ONLY
, OPT_foptimize_strlen
, NULL
, 1 },
498 { OPT_LEVELS_2_PLUS
, OPT_fhoist_adjacent_loads
, NULL
, 1 },
499 { OPT_LEVELS_2_PLUS
, OPT_fisolate_erroneous_paths_dereference
, NULL
, 1 },
500 { OPT_LEVELS_2_PLUS
, OPT_fuse_caller_save
, NULL
, 1 },
502 /* -O3 optimizations. */
503 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_distribute_patterns
, NULL
, 1 },
504 { OPT_LEVELS_3_PLUS
, OPT_fpredictive_commoning
, NULL
, 1 },
505 /* Inlining of functions reducing size is a good idea with -Os
506 regardless of them being declared inline. */
507 { OPT_LEVELS_3_PLUS_AND_SIZE
, OPT_finline_functions
, NULL
, 1 },
508 { OPT_LEVELS_1_PLUS_NOT_DEBUG
, OPT_finline_functions_called_once
, NULL
, 1 },
509 { OPT_LEVELS_3_PLUS
, OPT_funswitch_loops
, NULL
, 1 },
510 { OPT_LEVELS_3_PLUS
, OPT_fgcse_after_reload
, NULL
, 1 },
511 { OPT_LEVELS_3_PLUS
, OPT_ftree_loop_vectorize
, NULL
, 1 },
512 { OPT_LEVELS_3_PLUS
, OPT_ftree_slp_vectorize
, NULL
, 1 },
513 { OPT_LEVELS_3_PLUS
, OPT_fvect_cost_model_
, NULL
, VECT_COST_MODEL_DYNAMIC
},
514 { OPT_LEVELS_3_PLUS
, OPT_fipa_cp_clone
, NULL
, 1 },
515 { OPT_LEVELS_3_PLUS
, OPT_ftree_partial_pre
, NULL
, 1 },
517 /* -Ofast adds optimizations to -O3. */
518 { OPT_LEVELS_FAST
, OPT_ffast_math
, NULL
, 1 },
520 { OPT_LEVELS_NONE
, 0, NULL
, 0 }
523 /* Default the options in OPTS and OPTS_SET based on the optimization
524 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
526 default_options_optimization (struct gcc_options
*opts
,
527 struct gcc_options
*opts_set
,
528 struct cl_decoded_option
*decoded_options
,
529 unsigned int decoded_options_count
,
531 unsigned int lang_mask
,
532 const struct cl_option_handlers
*handlers
,
533 diagnostic_context
*dc
)
538 /* Scan to see what optimization level has been specified. That will
539 determine the default value of many flags. */
540 for (i
= 1; i
< decoded_options_count
; i
++)
542 struct cl_decoded_option
*opt
= &decoded_options
[i
];
543 switch (opt
->opt_index
)
546 if (*opt
->arg
== '\0')
548 opts
->x_optimize
= 1;
549 opts
->x_optimize_size
= 0;
550 opts
->x_optimize_fast
= 0;
551 opts
->x_optimize_debug
= 0;
555 const int optimize_val
= integral_argument (opt
->arg
);
556 if (optimize_val
== -1)
557 error_at (loc
, "argument to %<-O%> should be a non-negative "
558 "integer, %<g%>, %<s%> or %<fast%>");
561 opts
->x_optimize
= optimize_val
;
562 if ((unsigned int) opts
->x_optimize
> 255)
563 opts
->x_optimize
= 255;
564 opts
->x_optimize_size
= 0;
565 opts
->x_optimize_fast
= 0;
566 opts
->x_optimize_debug
= 0;
572 opts
->x_optimize_size
= 1;
574 /* Optimizing for size forces optimize to be 2. */
575 opts
->x_optimize
= 2;
576 opts
->x_optimize_fast
= 0;
577 opts
->x_optimize_debug
= 0;
581 /* -Ofast only adds flags to -O3. */
582 opts
->x_optimize_size
= 0;
583 opts
->x_optimize
= 3;
584 opts
->x_optimize_fast
= 1;
585 opts
->x_optimize_debug
= 0;
589 /* -Og selects optimization level 1. */
590 opts
->x_optimize_size
= 0;
591 opts
->x_optimize
= 1;
592 opts
->x_optimize_fast
= 0;
593 opts
->x_optimize_debug
= 1;
597 /* Ignore other options in this prescan. */
602 maybe_default_options (opts
, opts_set
, default_options_table
,
603 opts
->x_optimize
, opts
->x_optimize_size
,
604 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
605 lang_mask
, handlers
, loc
, dc
);
607 /* -O2 param settings. */
608 opt2
= (opts
->x_optimize
>= 2);
610 /* Track fields in field-sensitive alias analysis. */
611 maybe_set_param_value
612 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
613 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
614 opts
->x_param_values
, opts_set
->x_param_values
);
616 /* For -O1 only do loop invariant motion for very small loops. */
617 maybe_set_param_value
618 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
619 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
620 opts
->x_param_values
, opts_set
->x_param_values
);
622 if (opts
->x_optimize_size
)
623 /* We want to crossjump as much as possible. */
624 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
625 opts
->x_param_values
, opts_set
->x_param_values
);
627 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
628 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
629 opts
->x_param_values
, opts_set
->x_param_values
);
631 /* Allow default optimizations to be specified on a per-machine basis. */
632 maybe_default_options (opts
, opts_set
,
633 targetm_common
.option_optimization_table
,
634 opts
->x_optimize
, opts
->x_optimize_size
,
635 opts
->x_optimize_fast
, opts
->x_optimize_debug
,
636 lang_mask
, handlers
, loc
, dc
);
639 /* After all options at LOC have been read into OPTS and OPTS_SET,
640 finalize settings of those options and diagnose incompatible
643 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
646 enum unwind_info_type ui_except
;
648 if (opts
->x_dump_base_name
649 && ! IS_ABSOLUTE_PATH (opts
->x_dump_base_name
)
650 && ! opts
->x_dump_base_name_prefixed
)
652 /* First try to make OPTS->X_DUMP_BASE_NAME relative to the
653 OPTS->X_DUMP_DIR_NAME directory. Then try to make
654 OPTS->X_DUMP_BASE_NAME relative to the OPTS->X_AUX_BASE_NAME
655 directory, typically the directory to contain the object
657 if (opts
->x_dump_dir_name
)
658 opts
->x_dump_base_name
= opts_concat (opts
->x_dump_dir_name
,
659 opts
->x_dump_base_name
, NULL
);
660 else if (opts
->x_aux_base_name
661 && strcmp (opts
->x_aux_base_name
, HOST_BIT_BUCKET
) != 0)
663 const char *aux_base
;
665 base_of_path (opts
->x_aux_base_name
, &aux_base
);
666 if (opts
->x_aux_base_name
!= aux_base
)
668 int dir_len
= aux_base
- opts
->x_aux_base_name
;
669 char *new_dump_base_name
670 = XOBNEWVEC (&opts_obstack
, char,
671 strlen (opts
->x_dump_base_name
) + dir_len
+ 1);
673 /* Copy directory component from OPTS->X_AUX_BASE_NAME. */
674 memcpy (new_dump_base_name
, opts
->x_aux_base_name
, dir_len
);
675 /* Append existing OPTS->X_DUMP_BASE_NAME. */
676 strcpy (new_dump_base_name
+ dir_len
, opts
->x_dump_base_name
);
677 opts
->x_dump_base_name
= new_dump_base_name
;
680 opts
->x_dump_base_name_prefixed
= true;
683 /* Handle related options for unit-at-a-time, toplevel-reorder, and
685 if (!opts
->x_flag_unit_at_a_time
)
687 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
688 error_at (loc
, "section anchors must be disabled when unit-at-a-time "
690 opts
->x_flag_section_anchors
= 0;
691 if (opts
->x_flag_toplevel_reorder
== 1)
692 error_at (loc
, "toplevel reorder must be disabled when unit-at-a-time "
694 opts
->x_flag_toplevel_reorder
= 0;
697 if (opts
->x_flag_tm
&& opts
->x_flag_non_call_exceptions
)
698 sorry ("transactional memory is not supported with non-call exceptions");
700 /* Unless the user has asked for section anchors, we disable toplevel
701 reordering at -O0 to disable transformations that might be surprising
702 to end users and to get -fno-toplevel-reorder tested. */
703 if (!opts
->x_optimize
704 && opts
->x_flag_toplevel_reorder
== 2
705 && !(opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
))
707 opts
->x_flag_toplevel_reorder
= 0;
708 opts
->x_flag_section_anchors
= 0;
710 if (!opts
->x_flag_toplevel_reorder
)
712 if (opts
->x_flag_section_anchors
&& opts_set
->x_flag_section_anchors
)
713 error_at (loc
, "section anchors must be disabled when toplevel reorder"
715 opts
->x_flag_section_anchors
= 0;
718 if (!opts
->x_flag_opts_finished
)
720 if (opts
->x_flag_pie
)
721 opts
->x_flag_pic
= opts
->x_flag_pie
;
722 if (opts
->x_flag_pic
&& !opts
->x_flag_pie
)
723 opts
->x_flag_shlib
= 1;
724 opts
->x_flag_opts_finished
= true;
727 if (opts
->x_optimize
== 0)
729 /* Inlining does not work if not optimizing,
730 so force it not to be done. */
731 opts
->x_warn_inline
= 0;
732 opts
->x_flag_no_inline
= 1;
735 /* The optimization to partition hot and cold basic blocks into separate
736 sections of the .o and executable files does not work (currently)
737 with exception handling. This is because there is no support for
738 generating unwind info. If opts->x_flag_exceptions is turned on
739 we need to turn off the partitioning optimization. */
741 ui_except
= targetm_common
.except_unwind_info (opts
);
743 if (opts
->x_flag_exceptions
744 && opts
->x_flag_reorder_blocks_and_partition
745 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
747 if (opts_set
->x_flag_reorder_blocks_and_partition
)
749 "-freorder-blocks-and-partition does not work "
750 "with exceptions on this architecture");
751 opts
->x_flag_reorder_blocks_and_partition
= 0;
752 opts
->x_flag_reorder_blocks
= 1;
755 /* If user requested unwind info, then turn off the partitioning
758 if (opts
->x_flag_unwind_tables
759 && !targetm_common
.unwind_tables_default
760 && opts
->x_flag_reorder_blocks_and_partition
761 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))
763 if (opts_set
->x_flag_reorder_blocks_and_partition
)
765 "-freorder-blocks-and-partition does not support "
766 "unwind info on this architecture");
767 opts
->x_flag_reorder_blocks_and_partition
= 0;
768 opts
->x_flag_reorder_blocks
= 1;
771 /* If the target requested unwind info, then turn off the partitioning
772 optimization with a different message. Likewise, if the target does not
773 support named sections. */
775 if (opts
->x_flag_reorder_blocks_and_partition
776 && (!targetm_common
.have_named_sections
777 || (opts
->x_flag_unwind_tables
778 && targetm_common
.unwind_tables_default
779 && (ui_except
== UI_SJLJ
|| ui_except
>= UI_TARGET
))))
781 if (opts_set
->x_flag_reorder_blocks_and_partition
)
783 "-freorder-blocks-and-partition does not work "
784 "on this architecture");
785 opts
->x_flag_reorder_blocks_and_partition
= 0;
786 opts
->x_flag_reorder_blocks
= 1;
789 if (opts
->x_flag_reorder_blocks_and_partition
790 && !opts_set
->x_flag_reorder_functions
)
791 opts
->x_flag_reorder_functions
= 1;
793 /* Pipelining of outer loops is only possible when general pipelining
794 capabilities are requested. */
795 if (!opts
->x_flag_sel_sched_pipelining
)
796 opts
->x_flag_sel_sched_pipelining_outer_loops
= 0;
798 if (opts
->x_flag_conserve_stack
)
800 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
801 opts
->x_param_values
, opts_set
->x_param_values
);
802 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
803 opts
->x_param_values
, opts_set
->x_param_values
);
806 if (opts
->x_flag_lto
)
809 opts
->x_flag_generate_lto
= 1;
811 /* When generating IL, do not operate in whole-program mode.
812 Otherwise, symbols will be privatized too early, causing link
814 opts
->x_flag_whole_program
= 0;
816 error_at (loc
, "LTO support has not been enabled in this configuration");
818 if (!opts
->x_flag_fat_lto_objects
820 || (opts_set
->x_flag_use_linker_plugin
821 && !opts
->x_flag_use_linker_plugin
)))
823 if (opts_set
->x_flag_fat_lto_objects
)
824 error_at (loc
, "-fno-fat-lto-objects are supported only with linker plugin");
825 opts
->x_flag_fat_lto_objects
= 1;
829 /* We initialize opts->x_flag_split_stack to -1 so that targets can set a
830 default value if they choose based on other options. */
831 if (opts
->x_flag_split_stack
== -1)
832 opts
->x_flag_split_stack
= 0;
833 else if (opts
->x_flag_split_stack
)
835 if (!targetm_common
.supports_split_stack (true, opts
))
837 error_at (loc
, "%<-fsplit-stack%> is not supported by "
838 "this compiler configuration");
839 opts
->x_flag_split_stack
= 0;
843 /* Tune vectorization related parametees according to cost model. */
844 if (opts
->x_flag_vect_cost_model
== VECT_COST_MODEL_CHEAP
)
846 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS
,
847 6, opts
->x_param_values
, opts_set
->x_param_values
);
848 maybe_set_param_value (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS
,
849 0, opts
->x_param_values
, opts_set
->x_param_values
);
850 maybe_set_param_value (PARAM_VECT_MAX_PEELING_FOR_ALIGNMENT
,
851 0, opts
->x_param_values
, opts_set
->x_param_values
);
854 /* Set PARAM_MAX_STORES_TO_SINK to 0 if either vectorization or if-conversion
856 if ((!opts
->x_flag_tree_loop_vectorize
&& !opts
->x_flag_tree_slp_vectorize
)
857 || !opts
->x_flag_tree_loop_if_convert
)
858 maybe_set_param_value (PARAM_MAX_STORES_TO_SINK
, 0,
859 opts
->x_param_values
, opts_set
->x_param_values
);
861 /* The -gsplit-dwarf option requires -ggnu-pubnames. */
862 if (opts
->x_dwarf_split_debug_info
)
863 opts
->x_debug_generate_pub_sections
= 2;
866 #define LEFT_COLUMN 27
868 /* Output ITEM, of length ITEM_WIDTH, in the left column,
869 followed by word-wrapped HELP in a second column. */
871 wrap_help (const char *help
,
873 unsigned int item_width
,
874 unsigned int columns
)
876 unsigned int col_width
= LEFT_COLUMN
;
877 unsigned int remaining
, room
, len
;
879 remaining
= strlen (help
);
883 room
= columns
- 3 - MAX (col_width
, item_width
);
892 for (i
= 0; help
[i
]; i
++)
894 if (i
>= room
&& len
!= remaining
)
898 else if ((help
[i
] == '-' || help
[i
] == '/')
899 && help
[i
+ 1] != ' '
900 && i
> 0 && ISALPHA (help
[i
- 1]))
905 printf (" %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
907 while (help
[len
] == ' ')
915 /* Print help for a specific front-end, etc. */
917 print_filtered_help (unsigned int include_flags
,
918 unsigned int exclude_flags
,
919 unsigned int any_flags
,
920 unsigned int columns
,
921 struct gcc_options
*opts
,
922 unsigned int lang_mask
)
927 bool displayed
= false;
929 if (include_flags
== CL_PARAMS
)
931 for (i
= 0; i
< LAST_PARAM
; i
++)
933 const char *param
= compiler_params
[i
].option
;
935 help
= compiler_params
[i
].help
;
936 if (help
== NULL
|| *help
== '\0')
938 if (exclude_flags
& CL_UNDOCUMENTED
)
940 help
= undocumented_msg
;
943 /* Get the translation. */
946 wrap_help (help
, param
, strlen (param
), columns
);
952 if (!opts
->x_help_printed
)
953 opts
->x_help_printed
= XCNEWVAR (char, cl_options_count
);
955 if (!opts
->x_help_enum_printed
)
956 opts
->x_help_enum_printed
= XCNEWVAR (char, cl_enums_count
);
958 for (i
= 0; i
< cl_options_count
; i
++)
961 const struct cl_option
*option
= cl_options
+ i
;
966 if (include_flags
== 0
967 || ((option
->flags
& include_flags
) != include_flags
))
969 if ((option
->flags
& any_flags
) == 0)
973 /* Skip unwanted switches. */
974 if ((option
->flags
& exclude_flags
) != 0)
977 /* The driver currently prints its own help text. */
978 if ((option
->flags
& CL_DRIVER
) != 0
979 && (option
->flags
& (((1U << cl_lang_count
) - 1)
980 | CL_COMMON
| CL_TARGET
)) == 0)
984 /* Skip switches that have already been printed. */
985 if (opts
->x_help_printed
[i
])
988 opts
->x_help_printed
[i
] = true;
993 if (exclude_flags
& CL_UNDOCUMENTED
)
995 help
= undocumented_msg
;
998 /* Get the translation. */
1001 /* Find the gap between the name of the
1002 option and its descriptive text. */
1003 tab
= strchr (help
, '\t');
1012 opt
= option
->opt_text
;
1016 /* With the -Q option enabled we change the descriptive text associated
1017 with an option to be an indication of its current setting. */
1018 if (!opts
->x_quiet_flag
)
1020 void *flag_var
= option_flag_var (i
, opts
);
1022 if (len
< (LEFT_COLUMN
+ 2))
1023 strcpy (new_help
, "\t\t");
1025 strcpy (new_help
, "\t");
1027 if (flag_var
!= NULL
1028 && option
->var_type
!= CLVC_DEFER
)
1030 if (option
->flags
& CL_JOINED
)
1032 if (option
->var_type
== CLVC_STRING
)
1034 if (* (const char **) flag_var
!= NULL
)
1035 snprintf (new_help
+ strlen (new_help
),
1036 sizeof (new_help
) - strlen (new_help
),
1037 * (const char **) flag_var
);
1039 else if (option
->var_type
== CLVC_ENUM
)
1041 const struct cl_enum
*e
= &cl_enums
[option
->var_enum
];
1043 const char *arg
= NULL
;
1045 value
= e
->get (flag_var
);
1046 enum_value_to_arg (e
->values
, &arg
, value
, lang_mask
);
1048 arg
= _("[default]");
1049 snprintf (new_help
+ strlen (new_help
),
1050 sizeof (new_help
) - strlen (new_help
),
1054 sprintf (new_help
+ strlen (new_help
),
1055 "%#x", * (int *) flag_var
);
1058 strcat (new_help
, option_enabled (i
, opts
)
1059 ? _("[enabled]") : _("[disabled]"));
1065 wrap_help (help
, opt
, len
, columns
);
1068 if (option
->var_type
== CLVC_ENUM
1069 && opts
->x_help_enum_printed
[option
->var_enum
] != 2)
1070 opts
->x_help_enum_printed
[option
->var_enum
] = 1;
1075 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1078 printf (_(" No options with the desired characteristics were found\n"));
1083 /* PR 31349: Tell the user how to see all of the
1084 options supported by a specific front end. */
1085 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1086 if ((1U << i
) & langs
)
1087 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1088 lang_names
[i
], lang_names
[i
]);
1092 else if (! displayed
)
1093 printf (_(" All options with the desired characteristics have already been displayed\n"));
1097 /* Print details of enumerated option arguments, if those
1098 enumerations have help text headings provided. If no help text
1099 is provided, presume that the possible values are listed in the
1100 help text for the relevant options. */
1101 for (i
= 0; i
< cl_enums_count
; i
++)
1103 unsigned int j
, pos
;
1105 if (opts
->x_help_enum_printed
[i
] != 1)
1107 if (cl_enums
[i
].help
== NULL
)
1109 printf (" %s\n ", _(cl_enums
[i
].help
));
1111 for (j
= 0; cl_enums
[i
].values
[j
].arg
!= NULL
; j
++)
1113 unsigned int len
= strlen (cl_enums
[i
].values
[j
].arg
);
1115 if (pos
> 4 && pos
+ 1 + len
<= columns
)
1117 printf (" %s", cl_enums
[i
].values
[j
].arg
);
1127 printf ("%s", cl_enums
[i
].values
[j
].arg
);
1132 opts
->x_help_enum_printed
[i
] = 2;
1136 /* Display help for a specified type of option.
1137 The options must have ALL of the INCLUDE_FLAGS set
1138 ANY of the flags in the ANY_FLAGS set
1139 and NONE of the EXCLUDE_FLAGS set. The current option state is in
1140 OPTS; LANG_MASK is used for interpreting enumerated option state. */
1142 print_specific_help (unsigned int include_flags
,
1143 unsigned int exclude_flags
,
1144 unsigned int any_flags
,
1145 struct gcc_options
*opts
,
1146 unsigned int lang_mask
)
1148 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1149 const char * description
= NULL
;
1150 const char * descrip_extra
= "";
1154 /* Sanity check: Make sure that we do not have more
1155 languages than we have bits available to enumerate them. */
1156 gcc_assert ((1U << cl_lang_count
) <= CL_MIN_OPTION_CLASS
);
1158 /* If we have not done so already, obtain
1159 the desired maximum width of the output. */
1160 if (opts
->x_help_columns
== 0)
1164 p
= getenv ("COLUMNS");
1167 int value
= atoi (p
);
1170 opts
->x_help_columns
= value
;
1173 if (opts
->x_help_columns
== 0)
1174 /* Use a reasonable default. */
1175 opts
->x_help_columns
= 80;
1178 /* Decide upon the title for the options that we are going to display. */
1179 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1181 switch (flag
& include_flags
)
1188 description
= _("The following options are target specific");
1191 description
= _("The following options control compiler warning messages");
1193 case CL_OPTIMIZATION
:
1194 description
= _("The following options control optimizations");
1197 description
= _("The following options are language-independent");
1200 description
= _("The --param option recognizes the following as parameters");
1203 if (i
>= cl_lang_count
)
1205 if (exclude_flags
& all_langs_mask
)
1206 description
= _("The following options are specific to just the language ");
1208 description
= _("The following options are supported by the language ");
1209 descrip_extra
= lang_names
[i
];
1214 if (description
== NULL
)
1218 if (include_flags
& CL_UNDOCUMENTED
)
1219 description
= _("The following options are not documented");
1220 else if (include_flags
& CL_SEPARATE
)
1221 description
= _("The following options take separate arguments");
1222 else if (include_flags
& CL_JOINED
)
1223 description
= _("The following options take joined arguments");
1226 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1233 if (any_flags
& all_langs_mask
)
1234 description
= _("The following options are language-related");
1236 description
= _("The following options are language-independent");
1240 printf ("%s%s:\n", description
, descrip_extra
);
1241 print_filtered_help (include_flags
, exclude_flags
, any_flags
,
1242 opts
->x_help_columns
, opts
, lang_mask
);
1245 /* Handle target- and language-independent options. Return zero to
1246 generate an "unknown option" message. Only options that need
1247 extra handling need to be listed here; if you simply want
1248 DECODED->value assigned to a variable, it happens automatically. */
1251 common_handle_option (struct gcc_options
*opts
,
1252 struct gcc_options
*opts_set
,
1253 const struct cl_decoded_option
*decoded
,
1254 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1256 const struct cl_option_handlers
*handlers
,
1257 diagnostic_context
*dc
)
1259 size_t scode
= decoded
->opt_index
;
1260 const char *arg
= decoded
->arg
;
1261 int value
= decoded
->value
;
1262 enum opt_code code
= (enum opt_code
) scode
;
1264 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1269 handle_param (opts
, opts_set
, loc
, arg
);
1274 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1275 unsigned int undoc_mask
;
1278 if (lang_mask
== CL_DRIVER
)
1281 undoc_mask
= ((opts
->x_verbose_flag
| opts
->x_extra_warnings
)
1284 /* First display any single language specific options. */
1285 for (i
= 0; i
< cl_lang_count
; i
++)
1287 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0, opts
,
1289 /* Next display any multi language specific options. */
1290 print_specific_help (0, undoc_mask
, all_langs_mask
, opts
, lang_mask
);
1291 /* Then display any remaining, non-language options. */
1292 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1294 print_specific_help (i
, undoc_mask
, 0, opts
, lang_mask
);
1295 opts
->x_exit_after_options
= true;
1299 case OPT__target_help
:
1300 if (lang_mask
== CL_DRIVER
)
1303 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0, opts
, lang_mask
);
1304 opts
->x_exit_after_options
= true;
1309 const char * a
= arg
;
1310 unsigned int include_flags
= 0;
1311 /* Note - by default we include undocumented options when listing
1312 specific classes. If you only want to see documented options
1313 then add ",^undocumented" to the --help= option. E.g.:
1315 --help=target,^undocumented */
1316 unsigned int exclude_flags
= 0;
1318 if (lang_mask
== CL_DRIVER
)
1321 /* Walk along the argument string, parsing each word in turn.
1323 arg = [^]{word}[,{arg}]
1324 word = {optimizers|target|warnings|undocumented|
1325 params|common|<language>} */
1330 const char * string
;
1335 { "optimizers", CL_OPTIMIZATION
},
1336 { "target", CL_TARGET
},
1337 { "warnings", CL_WARNING
},
1338 { "undocumented", CL_UNDOCUMENTED
},
1339 { "params", CL_PARAMS
},
1340 { "joined", CL_JOINED
},
1341 { "separate", CL_SEPARATE
},
1342 { "common", CL_COMMON
},
1345 unsigned int * pflags
;
1347 unsigned int lang_flag
, specific_flag
;
1354 pflags
= & exclude_flags
;
1357 pflags
= & include_flags
;
1359 comma
= strchr (a
, ',');
1370 /* Check to see if the string matches an option class name. */
1371 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1372 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1374 specific_flag
= specifics
[i
].flag
;
1378 /* Check to see if the string matches a language name.
1379 Note - we rely upon the alpha-sorted nature of the entries in
1380 the lang_names array, specifically that shorter names appear
1381 before their longer variants. (i.e. C before C++). That way
1382 when we are attempting to match --help=c for example we will
1383 match with C first and not C++. */
1384 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1385 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1387 lang_flag
= 1U << i
;
1391 if (specific_flag
!= 0)
1394 * pflags
|= specific_flag
;
1397 /* The option's argument matches both the start of a
1398 language name and the start of an option class name.
1399 We have a special case for when the user has
1400 specified "--help=c", but otherwise we have to issue
1402 if (strncasecmp (a
, "c", len
) == 0)
1403 * pflags
|= lang_flag
;
1406 "--help argument %q.*s is ambiguous, "
1407 "please be more specific",
1411 else if (lang_flag
!= 0)
1412 * pflags
|= lang_flag
;
1415 "unrecognized argument to --help= option: %q.*s",
1424 print_specific_help (include_flags
, exclude_flags
, 0, opts
,
1426 opts
->x_exit_after_options
= true;
1431 if (lang_mask
== CL_DRIVER
)
1434 opts
->x_exit_after_options
= true;
1437 case OPT_fsanitize_
:
1439 const char *p
= arg
;
1444 const char *const name
;
1449 { "address", SANITIZE_ADDRESS
, sizeof "address" - 1 },
1450 { "thread", SANITIZE_THREAD
, sizeof "thread" - 1 },
1451 { "leak", SANITIZE_LEAK
, sizeof "leak" - 1 },
1452 { "shift", SANITIZE_SHIFT
, sizeof "shift" - 1 },
1453 { "integer-divide-by-zero", SANITIZE_DIVIDE
,
1454 sizeof "integer-divide-by-zero" - 1 },
1455 { "undefined", SANITIZE_UNDEFINED
, sizeof "undefined" - 1 },
1456 { "unreachable", SANITIZE_UNREACHABLE
,
1457 sizeof "unreachable" - 1 },
1458 { "vla-bound", SANITIZE_VLA
, sizeof "vla-bound" - 1 },
1459 { "return", SANITIZE_RETURN
, sizeof "return" - 1 },
1460 { "null", SANITIZE_NULL
, sizeof "null" - 1 },
1461 { "signed-integer-overflow", SANITIZE_SI_OVERFLOW
,
1462 sizeof "signed-integer-overflow" -1 },
1463 { "bool", SANITIZE_BOOL
, sizeof "bool" - 1 },
1464 { "enum", SANITIZE_ENUM
, sizeof "enum" - 1 },
1465 { "float-divide-by-zero", SANITIZE_FLOAT_DIVIDE
,
1466 sizeof "float-divide-by-zero" - 1 },
1467 { "float-cast-overflow", SANITIZE_FLOAT_CAST
,
1468 sizeof "float-cast-overflow" - 1 },
1475 comma
= strchr (p
, ',');
1486 /* Check to see if the string matches an option class name. */
1487 for (i
= 0; spec
[i
].name
!= NULL
; ++i
)
1488 if (len
== spec
[i
].len
1489 && memcmp (p
, spec
[i
].name
, len
) == 0)
1491 /* Handle both -fsanitize and -fno-sanitize cases. */
1493 flag_sanitize
|= spec
[i
].flag
;
1495 flag_sanitize
&= ~spec
[i
].flag
;
1502 "unrecognized argument to -fsanitize= option: %q.*s",
1510 /* When instrumenting the pointers, we don't want to remove
1511 the null pointer checks. */
1512 if (flag_sanitize
& SANITIZE_NULL
)
1513 opts
->x_flag_delete_null_pointer_checks
= 0;
1521 /* Currently handled in a prescan. */
1525 dc
->warning_as_error_requested
= value
;
1529 if (lang_mask
== CL_DRIVER
)
1532 enable_warning_as_error (arg
, value
, lang_mask
, handlers
,
1533 opts
, opts_set
, loc
, dc
);
1536 case OPT_Wlarger_than_
:
1537 opts
->x_larger_than_size
= value
;
1538 opts
->x_warn_larger_than
= value
!= -1;
1541 case OPT_Wfatal_errors
:
1542 dc
->fatal_errors
= value
;
1545 case OPT_Wframe_larger_than_
:
1546 opts
->x_frame_larger_than_size
= value
;
1547 opts
->x_warn_frame_larger_than
= value
!= -1;
1550 case OPT_Wstack_usage_
:
1551 opts
->x_warn_stack_usage
= value
;
1552 opts
->x_flag_stack_usage_info
= value
!= -1;
1555 case OPT_Wstrict_aliasing
:
1556 set_Wstrict_aliasing (opts
, value
);
1559 case OPT_Wstrict_overflow
:
1560 opts
->x_warn_strict_overflow
= (value
1561 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1565 case OPT_Wsystem_headers
:
1566 dc
->dc_warn_system_headers
= value
;
1570 opts
->x_flag_gen_aux_info
= 1;
1573 case OPT_auxbase_strip
:
1575 char *tmp
= xstrdup (arg
);
1576 strip_off_ending (tmp
, strlen (tmp
));
1578 opts
->x_aux_base_name
= tmp
;
1585 decode_d_option (arg
, opts
, loc
, dc
);
1588 case OPT_fcall_used_
:
1589 case OPT_fcall_saved_
:
1594 case OPT_fdbg_cnt_list
:
1598 case OPT_fdebug_prefix_map_
:
1602 case OPT_fdiagnostics_show_location_
:
1603 diagnostic_prefixing_rule (dc
) = (diagnostic_prefixing_rule_t
) value
;
1606 case OPT_fdiagnostics_show_caret
:
1607 dc
->show_caret
= value
;
1610 case OPT_fdiagnostics_color_
:
1611 pp_show_color (dc
->printer
)
1612 = colorize_init ((diagnostic_color_rule_t
) value
);
1615 case OPT_fdiagnostics_show_option
:
1616 dc
->show_option_requested
= value
;
1623 case OPT_ffast_math
:
1624 set_fast_math_flags (opts
, value
);
1627 case OPT_funsafe_math_optimizations
:
1628 set_unsafe_math_optimizations_flags (opts
, value
);
1635 case OPT_finline_limit_
:
1636 set_param_value ("max-inline-insns-single", value
/ 2,
1637 opts
->x_param_values
, opts_set
->x_param_values
);
1638 set_param_value ("max-inline-insns-auto", value
/ 2,
1639 opts
->x_param_values
, opts_set
->x_param_values
);
1642 case OPT_finstrument_functions_exclude_function_list_
:
1643 add_comma_separated_to_vector
1644 (&opts
->x_flag_instrument_functions_exclude_functions
, arg
);
1647 case OPT_finstrument_functions_exclude_file_list_
:
1648 add_comma_separated_to_vector
1649 (&opts
->x_flag_instrument_functions_exclude_files
, arg
);
1652 case OPT_fmessage_length_
:
1653 pp_set_line_maximum_length (dc
->printer
, value
);
1654 diagnostic_set_caret_max_width (dc
, value
);
1658 case OPT_fopt_info_
:
1662 case OPT_fpack_struct_
:
1663 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1665 "structure alignment must be a small power of two, not %d",
1668 opts
->x_initial_max_fld_align
= value
;
1672 case OPT_fplugin_arg_
:
1676 case OPT_fprofile_use_
:
1677 opts
->x_profile_data_prefix
= xstrdup (arg
);
1678 opts
->x_flag_profile_use
= true;
1680 /* No break here - do -fprofile-use processing. */
1681 case OPT_fprofile_use
:
1682 if (!opts_set
->x_flag_branch_probabilities
)
1683 opts
->x_flag_branch_probabilities
= value
;
1684 if (!opts_set
->x_flag_profile_values
)
1685 opts
->x_flag_profile_values
= value
;
1686 if (!opts_set
->x_flag_unroll_loops
)
1687 opts
->x_flag_unroll_loops
= value
;
1688 if (!opts_set
->x_flag_peel_loops
)
1689 opts
->x_flag_peel_loops
= value
;
1690 if (!opts_set
->x_flag_tracer
)
1691 opts
->x_flag_tracer
= value
;
1692 if (!opts_set
->x_flag_value_profile_transformations
)
1693 opts
->x_flag_value_profile_transformations
= value
;
1694 if (!opts_set
->x_flag_inline_functions
)
1695 opts
->x_flag_inline_functions
= value
;
1696 if (!opts_set
->x_flag_ipa_cp
)
1697 opts
->x_flag_ipa_cp
= value
;
1698 if (!opts_set
->x_flag_ipa_cp_clone
1699 && value
&& opts
->x_flag_ipa_cp
)
1700 opts
->x_flag_ipa_cp_clone
= value
;
1701 if (!opts_set
->x_flag_predictive_commoning
)
1702 opts
->x_flag_predictive_commoning
= value
;
1703 if (!opts_set
->x_flag_unswitch_loops
)
1704 opts
->x_flag_unswitch_loops
= value
;
1705 if (!opts_set
->x_flag_gcse_after_reload
)
1706 opts
->x_flag_gcse_after_reload
= value
;
1707 if (!opts_set
->x_flag_tree_loop_vectorize
1708 && !opts_set
->x_flag_tree_vectorize
)
1709 opts
->x_flag_tree_loop_vectorize
= value
;
1710 if (!opts_set
->x_flag_tree_slp_vectorize
1711 && !opts_set
->x_flag_tree_vectorize
)
1712 opts
->x_flag_tree_slp_vectorize
= value
;
1713 if (!opts_set
->x_flag_vect_cost_model
)
1714 opts
->x_flag_vect_cost_model
= VECT_COST_MODEL_DYNAMIC
;
1715 if (!opts_set
->x_flag_tree_loop_distribute_patterns
)
1716 opts
->x_flag_tree_loop_distribute_patterns
= value
;
1717 if (!opts_set
->x_flag_profile_reorder_functions
)
1718 opts
->x_flag_profile_reorder_functions
= value
;
1719 /* Indirect call profiling should do all useful transformations
1720 speculative devirtualization does. */
1721 if (!opts_set
->x_flag_devirtualize_speculatively
1722 && opts
->x_flag_value_profile_transformations
)
1723 opts
->x_flag_devirtualize_speculatively
= false;
1726 case OPT_fprofile_generate_
:
1727 opts
->x_profile_data_prefix
= xstrdup (arg
);
1729 /* No break here - do -fprofile-generate processing. */
1730 case OPT_fprofile_generate
:
1731 if (!opts_set
->x_profile_arc_flag
)
1732 opts
->x_profile_arc_flag
= value
;
1733 if (!opts_set
->x_flag_profile_values
)
1734 opts
->x_flag_profile_values
= value
;
1735 if (!opts_set
->x_flag_inline_functions
)
1736 opts
->x_flag_inline_functions
= value
;
1737 /* FIXME: Instrumentation we insert makes ipa-reference bitmaps
1738 quadratic. Disable the pass until better memory representation
1740 if (!opts_set
->x_flag_ipa_reference
)
1741 opts
->x_flag_ipa_reference
= false;
1744 case OPT_ftree_vectorize
:
1745 if (!opts_set
->x_flag_tree_loop_vectorize
)
1746 opts
->x_flag_tree_loop_vectorize
= value
;
1747 if (!opts_set
->x_flag_tree_slp_vectorize
)
1748 opts
->x_flag_tree_slp_vectorize
= value
;
1750 case OPT_fshow_column
:
1751 dc
->show_column
= value
;
1754 case OPT_frandom_seed
:
1755 /* The real switch is -fno-random-seed. */
1761 case OPT_frandom_seed_
:
1765 case OPT_fsched_verbose_
:
1766 #ifdef INSN_SCHEDULING
1767 /* Handled with Var in common.opt. */
1773 case OPT_fsched_stalled_insns_
:
1774 opts
->x_flag_sched_stalled_insns
= value
;
1775 if (opts
->x_flag_sched_stalled_insns
== 0)
1776 opts
->x_flag_sched_stalled_insns
= -1;
1779 case OPT_fsched_stalled_insns_dep_
:
1780 opts
->x_flag_sched_stalled_insns_dep
= value
;
1783 case OPT_fstack_check_
:
1784 if (!strcmp (arg
, "no"))
1785 opts
->x_flag_stack_check
= NO_STACK_CHECK
;
1786 else if (!strcmp (arg
, "generic"))
1787 /* This is the old stack checking method. */
1788 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1789 ? FULL_BUILTIN_STACK_CHECK
1790 : GENERIC_STACK_CHECK
;
1791 else if (!strcmp (arg
, "specific"))
1792 /* This is the new stack checking method. */
1793 opts
->x_flag_stack_check
= STACK_CHECK_BUILTIN
1794 ? FULL_BUILTIN_STACK_CHECK
1795 : STACK_CHECK_STATIC_BUILTIN
1796 ? STATIC_BUILTIN_STACK_CHECK
1797 : GENERIC_STACK_CHECK
;
1799 warning_at (loc
, 0, "unknown stack check parameter \"%s\"", arg
);
1802 case OPT_fstack_limit
:
1803 /* The real switch is -fno-stack-limit. */
1809 case OPT_fstack_limit_register_
:
1810 case OPT_fstack_limit_symbol_
:
1814 case OPT_fstack_usage
:
1815 opts
->x_flag_stack_usage
= value
;
1816 opts
->x_flag_stack_usage_info
= value
!= 0;
1820 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
, opts
, opts_set
,
1825 set_debug_level (SDB_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1829 if (arg
&& strlen (arg
) != 0)
1831 error_at (loc
, "%<-gdwarf%s%> is ambiguous; "
1832 "use %<-gdwarf-%s%> for DWARF version "
1833 "or %<-gdwarf -g%s%> for debug level", arg
, arg
, arg
);
1837 value
= opts
->x_dwarf_version
;
1841 if (value
< 2 || value
> 4)
1842 error_at (loc
, "dwarf version %d is not supported", value
);
1844 opts
->x_dwarf_version
= value
;
1845 set_debug_level (DWARF2_DEBUG
, false, "", opts
, opts_set
, loc
);
1848 case OPT_gsplit_dwarf
:
1849 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, "", opts
, opts_set
,
1854 set_debug_level (NO_DEBUG
, 2, arg
, opts
, opts_set
, loc
);
1859 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
, opts
, opts_set
,
1864 set_debug_level (VMS_DEBUG
, false, arg
, opts
, opts_set
, loc
);
1869 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
, opts
, opts_set
,
1873 case OPT_pedantic_errors
:
1874 dc
->pedantic_errors
= 1;
1875 control_warning_option (OPT_Wpedantic
, DK_ERROR
, value
,
1877 handlers
, opts
, opts_set
,
1882 opts
->x_flag_lto
= value
? "" : NULL
;
1886 dc
->dc_inhibit_warnings
= true;
1889 case OPT_fmax_errors_
:
1890 dc
->max_errors
= value
;
1893 case OPT_fuse_ld_bfd
:
1894 case OPT_fuse_ld_gold
:
1895 case OPT_fuse_linker_plugin
:
1896 /* No-op. Used by the driver and passed to us because it starts with f.*/
1901 opts
->x_flag_trapv
= 0;
1906 opts
->x_flag_wrapv
= 0;
1910 /* If the flag was handled in a standard way, assume the lack of
1911 processing here is intentional. */
1912 gcc_assert (option_flag_var (scode
, opts
));
1916 common_handle_option_auto (opts
, opts_set
, decoded
, lang_mask
, kind
,
1921 /* Handle --param NAME=VALUE. */
1923 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
1924 location_t loc
, const char *carg
)
1929 arg
= xstrdup (carg
);
1930 equal
= strchr (arg
, '=');
1932 error_at (loc
, "%s: --param arguments should be of the form NAME=VALUE",
1936 value
= integral_argument (equal
+ 1);
1938 error_at (loc
, "invalid --param value %qs", equal
+ 1);
1942 set_param_value (arg
, value
,
1943 opts
->x_param_values
, opts_set
->x_param_values
);
1950 /* Used to set the level of strict aliasing warnings in OPTS,
1951 when no level is specified (i.e., when -Wstrict-aliasing, and not
1952 -Wstrict-aliasing=level was given).
1953 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
1954 and 0 otherwise. After calling this function, wstrict_aliasing will be
1955 set to the default value of -Wstrict_aliasing=level, currently 3. */
1957 set_Wstrict_aliasing (struct gcc_options
*opts
, int onoff
)
1959 gcc_assert (onoff
== 0 || onoff
== 1);
1961 opts
->x_warn_strict_aliasing
= 3;
1963 opts
->x_warn_strict_aliasing
= 0;
1966 /* The following routines are useful in setting all the flags that
1967 -ffast-math and -fno-fast-math imply. */
1969 set_fast_math_flags (struct gcc_options
*opts
, int set
)
1971 if (!opts
->frontend_set_flag_unsafe_math_optimizations
)
1973 opts
->x_flag_unsafe_math_optimizations
= set
;
1974 set_unsafe_math_optimizations_flags (opts
, set
);
1976 if (!opts
->frontend_set_flag_finite_math_only
)
1977 opts
->x_flag_finite_math_only
= set
;
1978 if (!opts
->frontend_set_flag_errno_math
)
1979 opts
->x_flag_errno_math
= !set
;
1982 if (!opts
->frontend_set_flag_signaling_nans
)
1983 opts
->x_flag_signaling_nans
= 0;
1984 if (!opts
->frontend_set_flag_rounding_math
)
1985 opts
->x_flag_rounding_math
= 0;
1986 if (!opts
->frontend_set_flag_cx_limited_range
)
1987 opts
->x_flag_cx_limited_range
= 1;
1991 /* When -funsafe-math-optimizations is set the following
1992 flags are set as well. */
1994 set_unsafe_math_optimizations_flags (struct gcc_options
*opts
, int set
)
1996 if (!opts
->frontend_set_flag_trapping_math
)
1997 opts
->x_flag_trapping_math
= !set
;
1998 if (!opts
->frontend_set_flag_signed_zeros
)
1999 opts
->x_flag_signed_zeros
= !set
;
2000 if (!opts
->frontend_set_flag_associative_math
)
2001 opts
->x_flag_associative_math
= set
;
2002 if (!opts
->frontend_set_flag_reciprocal_math
)
2003 opts
->x_flag_reciprocal_math
= set
;
2006 /* Return true iff flags in OPTS are set as if -ffast-math. */
2008 fast_math_flags_set_p (const struct gcc_options
*opts
)
2010 return (!opts
->x_flag_trapping_math
2011 && opts
->x_flag_unsafe_math_optimizations
2012 && opts
->x_flag_finite_math_only
2013 && !opts
->x_flag_signed_zeros
2014 && !opts
->x_flag_errno_math
);
2017 /* Return true iff flags are set as if -ffast-math but using the flags stored
2018 in the struct cl_optimization structure. */
2020 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2022 return (!opt
->x_flag_trapping_math
2023 && opt
->x_flag_unsafe_math_optimizations
2024 && opt
->x_flag_finite_math_only
2025 && !opt
->x_flag_signed_zeros
2026 && !opt
->x_flag_errno_math
);
2029 /* Handle a debug output -g switch for options OPTS
2030 (OPTS_SET->x_write_symbols storing whether a debug type was passed
2031 explicitly), location LOC. EXTENDED is true or false to support
2032 extended output (2 is special and means "-ggdb" was given). */
2034 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
,
2035 struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2038 opts
->x_use_gnu_debug_info_extensions
= extended
;
2040 if (type
== NO_DEBUG
)
2042 if (opts
->x_write_symbols
== NO_DEBUG
)
2044 opts
->x_write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2048 #ifdef DWARF2_DEBUGGING_INFO
2049 opts
->x_write_symbols
= DWARF2_DEBUG
;
2050 #elif defined DBX_DEBUGGING_INFO
2051 opts
->x_write_symbols
= DBX_DEBUG
;
2055 if (opts
->x_write_symbols
== NO_DEBUG
)
2056 warning_at (loc
, 0, "target system does not support debug output");
2061 /* Does it conflict with an already selected type? */
2062 if (opts_set
->x_write_symbols
!= NO_DEBUG
2063 && opts
->x_write_symbols
!= NO_DEBUG
2064 && type
!= opts
->x_write_symbols
)
2065 error_at (loc
, "debug format \"%s\" conflicts with prior selection",
2066 debug_type_names
[type
]);
2067 opts
->x_write_symbols
= type
;
2068 opts_set
->x_write_symbols
= type
;
2071 /* A debug flag without a level defaults to level 2.
2072 If off or at level 1, set it to level 2, but if already
2073 at level 3, don't lower it. */
2076 if (opts
->x_debug_info_level
< DINFO_LEVEL_NORMAL
)
2077 opts
->x_debug_info_level
= DINFO_LEVEL_NORMAL
;
2081 int argval
= integral_argument (arg
);
2083 error_at (loc
, "unrecognised debug output level \"%s\"", arg
);
2084 else if (argval
> 3)
2085 error_at (loc
, "debug output level %s is too high", arg
);
2087 opts
->x_debug_info_level
= (enum debug_info_levels
) argval
;
2091 /* Arrange to dump core on error for diagnostic context DC. (The
2092 regular error message is still printed first, except in the case of
2096 setup_core_dumping (diagnostic_context
*dc
)
2099 signal (SIGABRT
, SIG_DFL
);
2101 #if defined(HAVE_SETRLIMIT)
2104 if (getrlimit (RLIMIT_CORE
, &rlim
) != 0)
2105 fatal_error ("getting core file size maximum limit: %m");
2106 rlim
.rlim_cur
= rlim
.rlim_max
;
2107 if (setrlimit (RLIMIT_CORE
, &rlim
) != 0)
2108 fatal_error ("setting core file size limit to maximum: %m");
2111 diagnostic_abort_on_error (dc
);
2114 /* Parse a -d<ARG> command line switch for OPTS, location LOC,
2115 diagnostic context DC. */
2118 decode_d_option (const char *arg
, struct gcc_options
*opts
,
2119 location_t loc
, diagnostic_context
*dc
)
2127 opts
->x_flag_debug_asm
= 1;
2130 opts
->x_flag_print_asm_name
= 1;
2133 opts
->x_flag_dump_rtl_in_asm
= 1;
2134 opts
->x_flag_print_asm_name
= 1;
2137 opts
->x_rtl_dump_and_exit
= 1;
2139 case 'D': /* These are handled by the preprocessor. */
2146 setup_core_dumping (dc
);
2149 opts
->x_flag_dump_all_passed
= true;
2153 warning_at (loc
, 0, "unrecognized gcc debugging option: %c", c
);
2158 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2159 mask LANG_MASK, option handlers HANDLERS) as an error for option
2160 structures OPTS and OPTS_SET, diagnostic context DC (possibly
2161 NULL), location LOC. This is used by -Werror=. */
2164 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2165 const struct cl_option_handlers
*handlers
,
2166 struct gcc_options
*opts
,
2167 struct gcc_options
*opts_set
,
2168 location_t loc
, diagnostic_context
*dc
)
2173 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2174 new_option
[0] = 'W';
2175 strcpy (new_option
+ 1, arg
);
2176 option_index
= find_opt (new_option
, lang_mask
);
2177 if (option_index
== OPT_SPECIAL_unknown
)
2179 error_at (loc
, "-Werror=%s: no option -%s", arg
, new_option
);
2183 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2185 control_warning_option (option_index
, (int) kind
, value
,
2187 handlers
, opts
, opts_set
, dc
);
2192 /* Return malloced memory for the name of the option OPTION_INDEX
2193 which enabled a diagnostic (context CONTEXT), originally of type
2194 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2198 option_name (diagnostic_context
*context
, int option_index
,
2199 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2203 /* A warning classified as an error. */
2204 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2205 && diag_kind
== DK_ERROR
)
2206 return concat (cl_options
[OPT_Werror_
].opt_text
,
2207 /* Skip over "-W". */
2208 cl_options
[option_index
].opt_text
+ 2,
2210 /* A warning with option. */
2212 return xstrdup (cl_options
[option_index
].opt_text
);
2214 /* A warning without option classified as an error. */
2215 else if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2216 || diag_kind
== DK_WARNING
)
2217 && context
->warning_as_error_requested
)
2218 return xstrdup (cl_options
[OPT_Werror
].opt_text
);