1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
3 Free Software Foundation, Inc.
4 Contributed by Neil Booth.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
32 #include "langhooks.h"
38 #include "diagnostic.h"
39 #include "opts-diagnostic.h"
40 #include "insn-attr.h" /* For INSN_SCHEDULING. */
42 #include "tree-pass.h"
47 #include "lto-streamer.h"
49 /* True if we should exit after parsing options. */
50 bool exit_after_options
;
52 /* True to warn about any objects definitions whose size is larger
53 than N bytes. Also want about function definitions whose returned
54 values are larger than N bytes, where N is `larger_than_size'. */
55 bool warn_larger_than
;
56 HOST_WIDE_INT larger_than_size
;
58 /* True to warn about any function whose frame size is larger
60 bool warn_frame_larger_than
;
61 HOST_WIDE_INT frame_larger_than_size
;
63 /* Type(s) of debugging information we are producing (if any). See
64 flags.h for the definitions of the different possible types of
65 debugging information. */
66 enum debug_info_type write_symbols
= NO_DEBUG
;
68 /* Level of debugging information we are producing. See flags.h for
69 the definitions of the different possible levels. */
70 enum debug_info_level debug_info_level
= DINFO_LEVEL_NONE
;
72 /* A major contribution to object and executable size is debug
73 information size. A major contribution to debug information size
74 is struct descriptions replicated in several object files. The
75 following flags attempt to reduce this information. The basic
76 idea is to not emit struct debugging information in the current
77 compilation unit when that information will be generated by
78 another compilation unit.
80 Debug information for a struct defined in the current source
81 file should be generated in the object file. Likewise the
82 debug information for a struct defined in a header should be
83 generated in the object file of the corresponding source file.
84 Both of these case are handled when the base name of the file of
85 the struct definition matches the base name of the source file
86 of the current compilation unit. This matching emits minimal
87 struct debugging information.
89 The base file name matching rule above will fail to emit debug
90 information for structs defined in system headers. So a second
91 category of files includes system headers in addition to files
94 The remaining types of files are library headers and application
95 headers. We cannot currently distinguish these two types. */
97 enum debug_struct_file
99 DINFO_STRUCT_FILE_NONE
, /* Debug no structs. */
100 DINFO_STRUCT_FILE_BASE
, /* Debug structs defined in files with the
101 same base name as the compilation unit. */
102 DINFO_STRUCT_FILE_SYS
, /* Also debug structs defined in system
104 DINFO_STRUCT_FILE_ANY
/* Debug structs defined in all files. */
107 /* Generic structs (e.g. templates not explicitly specialized)
108 may not have a compilation unit associated with them, and so
109 may need to be treated differently from ordinary structs.
111 Structs only handled by reference (indirectly), will also usually
112 not need as much debugging information. */
114 static enum debug_struct_file debug_struct_ordinary
[DINFO_USAGE_NUM_ENUMS
]
115 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
116 static enum debug_struct_file debug_struct_generic
[DINFO_USAGE_NUM_ENUMS
]
117 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
119 /* Run the second compilation of -fcompare-debug. Not defined using
120 Var in common.opt because this is used in Ada code and so must be
121 an actual variable not a macro. */
122 int flag_compare_debug
;
124 /* Parse the -femit-struct-debug-detailed option value
125 and set the flag variables. */
127 #define MATCH( prefix, string ) \
128 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
129 ? ((string += sizeof prefix - 1), 1) : 0)
132 set_struct_debug_option (const char *spec
)
134 /* various labels for comparison */
135 static char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
136 static char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
137 static char none_lbl
[] = "none", any_lbl
[] = "any";
138 static char base_lbl
[] = "base", sys_lbl
[] = "sys";
140 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
141 /* Default is to apply to as much as possible. */
142 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
143 int ord
= 1, gen
= 1;
146 if (MATCH (dfn_lbl
, spec
))
147 usage
= DINFO_USAGE_DFN
;
148 else if (MATCH (dir_lbl
, spec
))
149 usage
= DINFO_USAGE_DIR_USE
;
150 else if (MATCH (ind_lbl
, spec
))
151 usage
= DINFO_USAGE_IND_USE
;
153 /* Generics or not? */
154 if (MATCH (ord_lbl
, spec
))
156 else if (MATCH (gen_lbl
, spec
))
159 /* What allowable environment? */
160 if (MATCH (none_lbl
, spec
))
161 files
= DINFO_STRUCT_FILE_NONE
;
162 else if (MATCH (any_lbl
, spec
))
163 files
= DINFO_STRUCT_FILE_ANY
;
164 else if (MATCH (sys_lbl
, spec
))
165 files
= DINFO_STRUCT_FILE_SYS
;
166 else if (MATCH (base_lbl
, spec
))
167 files
= DINFO_STRUCT_FILE_BASE
;
169 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
172 /* Effect the specification. */
173 if (usage
== DINFO_USAGE_NUM_ENUMS
)
177 debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
178 debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
179 debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
183 debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
184 debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
185 debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
191 debug_struct_ordinary
[usage
] = files
;
193 debug_struct_generic
[usage
] = files
;
197 set_struct_debug_option (spec
+1);
200 /* No more -femit-struct-debug-detailed specifications.
203 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
205 if (debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
206 < debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
207 || debug_struct_generic
[DINFO_USAGE_DIR_USE
]
208 < debug_struct_generic
[DINFO_USAGE_IND_USE
])
209 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
210 " as much as %<-femit-struct-debug-detailed=ind:...%>");
214 /* Find the base name of a path, stripping off both directories and
215 a single final extension. */
217 base_of_path (const char *path
, const char **base_out
)
219 const char *base
= path
;
221 const char *p
= path
;
225 if (IS_DIR_SEPARATOR(c
))
240 /* Match the base name of a file to the base name of a compilation unit. */
242 static const char *main_input_basename
;
243 static int main_input_baselength
;
246 matches_main_base (const char *path
)
248 /* Cache the last query. */
249 static const char *last_path
= NULL
;
250 static int last_match
= 0;
251 if (path
!= last_path
)
254 int length
= base_of_path (path
, &base
);
256 last_match
= (length
== main_input_baselength
257 && memcmp (base
, main_input_basename
, length
) == 0);
262 #ifdef DEBUG_DEBUG_STRUCT
265 dump_struct_debug (tree type
, enum debug_info_usage usage
,
266 enum debug_struct_file criterion
, int generic
,
267 int matches
, int result
)
269 /* Find the type name. */
270 tree type_decl
= TYPE_STUB_DECL (type
);
272 const char *name
= 0;
273 if (TREE_CODE (t
) == TYPE_DECL
)
276 name
= IDENTIFIER_POINTER (t
);
278 fprintf (stderr
, " struct %d %s %s %s %s %d %p %s\n",
280 DECL_IN_SYSTEM_HEADER (type_decl
) ? "sys" : "usr",
281 matches
? "bas" : "hdr",
282 generic
? "gen" : "ord",
283 usage
== DINFO_USAGE_DFN
? ";" :
284 usage
== DINFO_USAGE_DIR_USE
? "." : "*",
286 (void*) type_decl
, name
);
289 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
290 dump_struct_debug (type, usage, criterion, generic, matches, result)
294 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
301 should_emit_struct_debug (tree type
, enum debug_info_usage usage
)
303 enum debug_struct_file criterion
;
305 bool generic
= lang_hooks
.types
.generic_p (type
);
308 criterion
= debug_struct_generic
[usage
];
310 criterion
= debug_struct_ordinary
[usage
];
312 if (criterion
== DINFO_STRUCT_FILE_NONE
)
313 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
314 if (criterion
== DINFO_STRUCT_FILE_ANY
)
315 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
317 type_decl
= TYPE_STUB_DECL (type
);
319 if (criterion
== DINFO_STRUCT_FILE_SYS
&& DECL_IN_SYSTEM_HEADER (type_decl
))
320 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
322 if (matches_main_base (DECL_SOURCE_FILE (type_decl
)))
323 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, true, true);
324 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
327 /* Nonzero means use GNU-only extensions in the generated symbolic
328 debugging information. Currently, this only has an effect when
329 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
330 bool use_gnu_debug_info_extensions
;
332 /* The default visibility for all symbols (unless overridden) */
333 enum symbol_visibility default_visibility
= VISIBILITY_DEFAULT
;
335 /* Global visibility options. */
336 struct visibility_flags visibility_options
;
338 /* What to print when a switch has no documentation. */
339 static const char undocumented_msg
[] = N_("This switch lacks documentation");
341 /* Functions excluded from profiling. */
343 typedef char *char_p
; /* For DEF_VEC_P. */
345 DEF_VEC_ALLOC_P(char_p
,heap
);
347 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_functions
;
348 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_files
;
350 typedef const char *const_char_p
; /* For DEF_VEC_P. */
351 DEF_VEC_P(const_char_p
);
352 DEF_VEC_ALLOC_P(const_char_p
,heap
);
354 static VEC(const_char_p
,heap
) *ignored_options
;
356 /* Input file names. */
357 const char **in_fnames
;
358 unsigned num_in_fnames
;
360 static bool common_handle_option (struct gcc_options
*opts
,
361 struct gcc_options
*opts_set
,
362 const struct cl_decoded_option
*decoded
,
363 unsigned int lang_mask
, int kind
,
364 const struct cl_option_handlers
*handlers
);
365 static void handle_param (struct gcc_options
*opts
,
366 struct gcc_options
*opts_set
, const char *carg
);
367 static char *write_langs (unsigned int lang_mask
);
368 static void complain_wrong_lang (const struct cl_decoded_option
*,
369 unsigned int lang_mask
);
370 static void set_debug_level (enum debug_info_type type
, int extended
,
373 /* Return a malloced slash-separated list of languages in MASK. */
375 write_langs (unsigned int mask
)
377 unsigned int n
= 0, len
= 0;
378 const char *lang_name
;
381 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
382 if (mask
& (1U << n
))
383 len
+= strlen (lang_name
) + 1;
385 result
= XNEWVEC (char, len
);
387 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
388 if (mask
& (1U << n
))
392 strcpy (result
+ len
, lang_name
);
393 len
+= strlen (lang_name
);
401 /* Complain that switch DECODED does not apply to this front end (mask
404 complain_wrong_lang (const struct cl_decoded_option
*decoded
,
405 unsigned int lang_mask
)
407 const struct cl_option
*option
= &cl_options
[decoded
->opt_index
];
408 const char *text
= decoded
->orig_option_with_args_text
;
409 char *ok_langs
= NULL
, *bad_lang
= NULL
;
410 unsigned int opt_flags
= option
->flags
;
412 if (!lang_hooks
.complain_wrong_lang_p (option
))
415 opt_flags
&= ((1U << cl_lang_count
) - 1) | CL_DRIVER
;
416 if (opt_flags
!= CL_DRIVER
)
417 ok_langs
= write_langs (opt_flags
);
418 if (lang_mask
!= CL_DRIVER
)
419 bad_lang
= write_langs (lang_mask
);
421 if (opt_flags
== CL_DRIVER
)
422 error ("command line option %qs is valid for the driver but not for %s",
424 else if (lang_mask
== CL_DRIVER
)
427 /* Eventually this should become a hard error IMO. */
428 warning (0, "command line option %qs is valid for %s but not for %s",
429 text
, ok_langs
, bad_lang
);
435 /* Buffer the unknown option described by the string OPT. Currently,
436 we only complain about unknown -Wno-* options if they may have
437 prevented a diagnostic. Otherwise, we just ignore them.
438 Note that if we do complain, it is only as a warning, not an error;
439 passing the compiler an unrecognised -Wno-* option should never
440 change whether the compilation succeeds or fails. */
442 static void postpone_unknown_option_warning(const char *opt
)
444 VEC_safe_push (const_char_p
, heap
, ignored_options
, opt
);
447 /* Produce a warning for each option previously buffered. */
449 void print_ignored_options (void)
451 location_t saved_loc
= input_location
;
455 while (!VEC_empty (const_char_p
, ignored_options
))
458 opt
= VEC_pop (const_char_p
, ignored_options
);
459 warning (0, "unrecognized command line option \"%s\"", opt
);
462 input_location
= saved_loc
;
465 /* Handle an unknown option DECODED, returning true if an error should be
469 unknown_option_callback (const struct cl_decoded_option
*decoded
)
471 const char *opt
= decoded
->arg
;
473 if (opt
[1] == 'W' && opt
[2] == 'n' && opt
[3] == 'o' && opt
[4] == '-'
474 && !(decoded
->errors
& CL_ERR_NEGATIVE
))
476 /* We don't generate warnings for unknown -Wno-* options unless
477 we issue diagnostics. */
478 postpone_unknown_option_warning (opt
);
485 /* Note that an option DECODED has been successfully handled with a
486 handler for mask MASK. */
489 post_handling_callback (const struct cl_decoded_option
*decoded ATTRIBUTE_UNUSED
,
490 unsigned int mask ATTRIBUTE_UNUSED
)
493 lto_register_user_option (decoded
->opt_index
, decoded
->arg
,
494 decoded
->value
, mask
);
498 /* Handle a front-end option; arguments and return value as for
502 lang_handle_option (struct gcc_options
*opts
,
503 struct gcc_options
*opts_set
,
504 const struct cl_decoded_option
*decoded
,
505 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
506 const struct cl_option_handlers
*handlers
)
508 gcc_assert (opts
== &global_options
);
509 gcc_assert (opts_set
== &global_options_set
);
510 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
511 return lang_hooks
.handle_option (decoded
->opt_index
, decoded
->arg
,
512 decoded
->value
, kind
, handlers
);
515 /* Handle a back-end option; arguments and return value as for
519 target_handle_option (struct gcc_options
*opts
,
520 struct gcc_options
*opts_set
,
521 const struct cl_decoded_option
*decoded
,
522 unsigned int lang_mask ATTRIBUTE_UNUSED
, int kind
,
523 const struct cl_option_handlers
*handlers ATTRIBUTE_UNUSED
)
525 gcc_assert (opts
== &global_options
);
526 gcc_assert (opts_set
== &global_options_set
);
527 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
528 gcc_assert (kind
== DK_UNSPECIFIED
);
529 return targetm
.handle_option (decoded
->opt_index
, decoded
->arg
,
533 /* Handle FILENAME from the command line. */
535 add_input_filename (const char *filename
)
538 in_fnames
= XRESIZEVEC (const char *, in_fnames
, num_in_fnames
);
539 in_fnames
[num_in_fnames
- 1] = filename
;
542 /* Add comma-separated strings to a char_p vector. */
545 add_comma_separated_to_vector (VEC(char_p
,heap
) **pvec
, const char* arg
)
552 /* We never free this string. */
565 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
568 if (*r
== '\\' && r
[1] == ',')
576 if (*token_start
!= '\0')
577 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
580 /* Return whether we should exclude FNDECL from instrumentation. */
583 flag_instrument_functions_exclude_p (tree fndecl
)
585 if (VEC_length (char_p
, flag_instrument_functions_exclude_functions
) > 0)
591 name
= lang_hooks
.decl_printable_name (fndecl
, 0);
592 FOR_EACH_VEC_ELT (char_p
, flag_instrument_functions_exclude_functions
,
594 if (strstr (name
, s
) != NULL
)
598 if (VEC_length (char_p
, flag_instrument_functions_exclude_files
) > 0)
604 name
= DECL_SOURCE_FILE (fndecl
);
605 FOR_EACH_VEC_ELT (char_p
, flag_instrument_functions_exclude_files
, i
, s
)
606 if (strstr (name
, s
) != NULL
)
614 /* Handle the vector of command line options, storing the results of
615 processing DECODED_OPTIONS and DECODED_OPTIONS_COUNT in OPTS and
616 OPTS_SET. LANG_MASK contains has a single bit set representing the
617 current language. HANDLERS describes what functions to call for
620 read_cmdline_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
621 struct cl_decoded_option
*decoded_options
,
622 unsigned int decoded_options_count
,
623 unsigned int lang_mask
,
624 const struct cl_option_handlers
*handlers
)
628 for (i
= 1; i
< decoded_options_count
; i
++)
630 if (decoded_options
[i
].opt_index
== OPT_SPECIAL_input_file
)
632 /* Input files should only ever appear on the main command
634 gcc_assert (opts
== &global_options
);
635 gcc_assert (opts_set
== &global_options_set
);
637 if (main_input_filename
== NULL
)
639 main_input_filename
= decoded_options
[i
].arg
;
640 main_input_baselength
641 = base_of_path (main_input_filename
, &main_input_basename
);
643 add_input_filename (decoded_options
[i
].arg
);
647 read_cmdline_option (opts
, opts_set
,
648 decoded_options
+ i
, lang_mask
, handlers
,
653 /* Language mask determined at initialization. */
654 static unsigned int initial_lang_mask
;
656 /* Initialize global options-related settings at start-up. */
659 init_options_once (void)
661 /* Perform language-specific options initialization. */
662 initial_lang_mask
= lang_hooks
.option_lang_mask ();
664 lang_hooks
.initialize_diagnostics (global_dc
);
667 /* Initialize OPTS and OPTS_SET before using them in parsing options. */
670 init_options_struct (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
672 size_t num_params
= get_num_compiler_params ();
674 *opts
= global_options_init
;
675 memset (opts_set
, 0, sizeof (*opts_set
));
677 opts
->x_param_values
= XNEWVEC (int, num_params
);
678 opts_set
->x_param_values
= XCNEWVEC (int, num_params
);
679 init_param_values (opts
->x_param_values
);
681 /* Use priority coloring if cover classes is not defined for the
683 if (targetm
.ira_cover_classes
== NULL
)
684 opts
->x_flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
686 /* Initialize whether `char' is signed. */
687 opts
->x_flag_signed_char
= DEFAULT_SIGNED_CHAR
;
688 /* Set this to a special "uninitialized" value. The actual default
689 is set after target options have been processed. */
690 opts
->x_flag_short_enums
= 2;
692 /* Initialize target_flags before targetm.target_option.optimization
693 so the latter can modify it. */
694 opts
->x_target_flags
= targetm
.default_target_flags
;
696 /* Some targets have ABI-specified unwind tables. */
697 opts
->x_flag_unwind_tables
= targetm
.unwind_tables_default
;
699 /* Some targets have other target-specific initialization. */
700 targetm
.target_option
.init_struct (opts
);
703 /* Decode command-line options to an array, like
704 decode_cmdline_options_to_array and with the same arguments but
705 using the default lang_mask. */
708 decode_cmdline_options_to_array_default_mask (unsigned int argc
,
710 struct cl_decoded_option
**decoded_options
,
711 unsigned int *decoded_options_count
)
713 decode_cmdline_options_to_array (argc
, argv
,
714 initial_lang_mask
| CL_COMMON
| CL_TARGET
,
715 decoded_options
, decoded_options_count
);
718 /* Default the options in OPTS and OPTS_SET based on the optimization
719 settings in DECODED_OPTIONS and DECODED_OPTIONS_COUNT. */
721 default_options_optimization (struct gcc_options
*opts
,
722 struct gcc_options
*opts_set
,
723 struct cl_decoded_option
*decoded_options
,
724 unsigned int decoded_options_count
)
733 gcc_assert (opts
== &global_options
);
734 gcc_assert (opts_set
= &global_options_set
);
736 /* Scan to see what optimization level has been specified. That will
737 determine the default value of many flags. */
738 for (i
= 1; i
< decoded_options_count
; i
++)
740 struct cl_decoded_option
*opt
= &decoded_options
[i
];
741 switch (opt
->opt_index
)
744 if (*opt
->arg
== '\0')
752 const int optimize_val
= integral_argument (opt
->arg
);
753 if (optimize_val
== -1)
754 error ("argument to %qs should be a non-negative integer",
758 optimize
= optimize_val
;
759 if ((unsigned int) optimize
> 255)
770 /* Optimizing for size forces optimize to be 2. */
776 /* -Ofast only adds flags to -O3. */
783 /* Ignore other options in this prescan. */
788 /* -O1 optimizations. */
789 opt1
= (optimize
>= 1);
790 flag_defer_pop
= opt1
;
792 flag_delayed_branch
= opt1
;
794 #ifdef CAN_DEBUG_WITHOUT_FP
795 flag_omit_frame_pointer
= opt1
;
797 flag_guess_branch_prob
= opt1
;
798 flag_cprop_registers
= opt1
;
799 flag_forward_propagate
= opt1
;
800 flag_if_conversion
= opt1
;
801 flag_if_conversion2
= opt1
;
802 flag_ipa_pure_const
= opt1
;
803 flag_ipa_reference
= opt1
;
804 flag_ipa_profile
= opt1
;
805 flag_merge_constants
= opt1
;
806 flag_split_wide_types
= opt1
;
807 flag_tree_ccp
= opt1
;
808 flag_tree_bit_ccp
= opt1
;
809 flag_tree_dce
= opt1
;
810 flag_tree_dom
= opt1
;
811 flag_tree_dse
= opt1
;
812 flag_tree_ter
= opt1
;
813 flag_tree_sra
= opt1
;
814 flag_tree_copyrename
= opt1
;
815 flag_tree_fre
= opt1
;
816 flag_tree_copy_prop
= opt1
;
817 flag_tree_sink
= opt1
;
819 flag_combine_stack_adjustments
= opt1
;
821 /* -O2 optimizations. */
822 opt2
= (optimize
>= 2);
823 flag_inline_small_functions
= opt2
;
824 flag_indirect_inlining
= opt2
;
825 flag_partial_inlining
= opt2
;
826 flag_thread_jumps
= opt2
;
827 flag_crossjumping
= opt2
;
828 flag_optimize_sibling_calls
= opt2
;
829 flag_cse_follow_jumps
= opt2
;
831 flag_expensive_optimizations
= opt2
;
832 flag_rerun_cse_after_loop
= opt2
;
833 flag_caller_saves
= opt2
;
834 flag_peephole2
= opt2
;
835 #ifdef INSN_SCHEDULING
836 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
837 flag_schedule_insns
= opt2
&& ! optimize_size
;
838 flag_schedule_insns_after_reload
= opt2
;
841 flag_strict_aliasing
= opt2
;
842 flag_strict_overflow
= opt2
;
843 flag_reorder_blocks
= opt2
;
844 flag_reorder_functions
= opt2
;
845 flag_tree_vrp
= opt2
;
846 flag_tree_builtin_call_dce
= opt2
;
847 flag_tree_pre
= opt2
;
848 flag_tree_switch_conversion
= opt2
;
852 /* Track fields in field-sensitive alias analysis. */
853 maybe_set_param_value
854 (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
,
855 opt2
? 100 : default_param_value (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
),
856 opts
->x_param_values
, opts_set
->x_param_values
);
858 /* For -O1 only do loop invariant motion for very small loops. */
859 maybe_set_param_value
860 (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
,
861 opt2
? default_param_value (PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
) : 1000,
862 opts
->x_param_values
, opts_set
->x_param_values
);
864 /* -O3 optimizations. */
865 opt3
= (optimize
>= 3);
866 flag_tree_loop_distribute_patterns
= opt3
;
867 flag_predictive_commoning
= opt3
;
868 flag_inline_functions
= opt3
;
869 flag_unswitch_loops
= opt3
;
870 flag_gcse_after_reload
= opt3
;
871 flag_tree_vectorize
= opt3
;
872 flag_ipa_cp_clone
= opt3
;
873 if (flag_ipa_cp_clone
)
876 /* Just -O1/-O0 optimizations. */
877 opt1_max
= (optimize
<= 1);
878 align_loops
= opt1_max
;
879 align_jumps
= opt1_max
;
880 align_labels
= opt1_max
;
881 align_functions
= opt1_max
;
885 /* Inlining of functions reducing size is a good idea regardless of them
886 being declared inline. */
887 flag_inline_functions
= 1;
889 /* Basic optimization options. */
894 /* We want to crossjump as much as possible. */
895 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
, 1,
896 opts
->x_param_values
, opts_set
->x_param_values
);
899 maybe_set_param_value (PARAM_MIN_CROSSJUMP_INSNS
,
900 default_param_value (PARAM_MIN_CROSSJUMP_INSNS
),
901 opts
->x_param_values
, opts_set
->x_param_values
);
903 /* -Ofast adds optimizations to -O3. */
906 /* Which is -ffast-math for now. */
907 set_fast_math_flags (1);
908 /* Allow targets to enable extra options with -Ofast
909 before general options processing so disabling them
910 again afterwards works. */
911 targetm
.handle_ofast ();
914 /* Allow default optimizations to be specified on a per-machine basis. */
915 targetm
.target_option
.optimization (optimize
, optimize_size
);
918 static void finish_options (struct gcc_options
*, struct gcc_options
*);
920 /* Parse command line options and set default flag values. Do minimal
921 options processing. The decoded options are in *DECODED_OPTIONS
922 and *DECODED_OPTIONS_COUNT. */
924 decode_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
925 struct cl_decoded_option
*decoded_options
,
926 unsigned int decoded_options_count
)
928 struct cl_option_handlers handlers
;
930 unsigned int lang_mask
;
932 lang_mask
= initial_lang_mask
;
934 handlers
.unknown_option_callback
= unknown_option_callback
;
935 handlers
.wrong_lang_callback
= complain_wrong_lang
;
936 handlers
.post_handling_callback
= post_handling_callback
;
937 handlers
.num_handlers
= 3;
938 handlers
.handlers
[0].handler
= lang_handle_option
;
939 handlers
.handlers
[0].mask
= lang_mask
;
940 handlers
.handlers
[1].handler
= common_handle_option
;
941 handlers
.handlers
[1].mask
= CL_COMMON
;
942 handlers
.handlers
[2].handler
= target_handle_option
;
943 handlers
.handlers
[2].mask
= CL_TARGET
;
945 /* Enable -Werror=coverage-mismatch by default */
946 enable_warning_as_error ("coverage-mismatch", 1, lang_mask
, &handlers
,
949 default_options_optimization (opts
, opts_set
,
950 decoded_options
, decoded_options_count
);
953 /* Clear any options currently held for LTO. */
954 lto_clear_user_options ();
957 read_cmdline_options (opts
, opts_set
,
958 decoded_options
, decoded_options_count
, lang_mask
,
961 finish_options (opts
, opts_set
);
964 /* After all options have been read into OPTS and OPTS_SET, finalize
965 settings of those options and diagnose incompatible
968 finish_options (struct gcc_options
*opts
, struct gcc_options
*opts_set
)
970 static bool first_time_p
= true;
971 enum unwind_info_type ui_except
;
973 gcc_assert (opts
== &global_options
);
974 gcc_assert (opts_set
= &global_options_set
);
976 if (dump_base_name
&& ! IS_ABSOLUTE_PATH (dump_base_name
))
978 /* First try to make DUMP_BASE_NAME relative to the DUMP_DIR_NAME
979 directory. Then try to make DUMP_BASE_NAME relative to the
980 AUX_BASE_NAME directory, typically the directory to contain
983 dump_base_name
= concat (dump_dir_name
, dump_base_name
, NULL
);
984 else if (aux_base_name
)
986 const char *aux_base
;
988 base_of_path (aux_base_name
, &aux_base
);
989 if (aux_base_name
!= aux_base
)
991 int dir_len
= aux_base
- aux_base_name
;
992 char *new_dump_base_name
=
993 XNEWVEC (char, strlen(dump_base_name
) + dir_len
+ 1);
995 /* Copy directory component from AUX_BASE_NAME. */
996 memcpy (new_dump_base_name
, aux_base_name
, dir_len
);
997 /* Append existing DUMP_BASE_NAME. */
998 strcpy (new_dump_base_name
+ dir_len
, dump_base_name
);
999 dump_base_name
= new_dump_base_name
;
1004 /* Handle related options for unit-at-a-time, toplevel-reorder, and
1006 if (!flag_unit_at_a_time
)
1008 if (flag_section_anchors
== 1)
1009 error ("Section anchors must be disabled when unit-at-a-time "
1011 flag_section_anchors
= 0;
1012 if (flag_toplevel_reorder
== 1)
1013 error ("Toplevel reorder must be disabled when unit-at-a-time "
1015 flag_toplevel_reorder
= 0;
1018 /* -Wmissing-noreturn is alias for -Wsuggest-attribute=noreturn. */
1019 if (warn_missing_noreturn
)
1020 warn_suggest_attribute_noreturn
= true;
1022 /* Unless the user has asked for section anchors, we disable toplevel
1023 reordering at -O0 to disable transformations that might be surprising
1024 to end users and to get -fno-toplevel-reorder tested. */
1025 if (!optimize
&& flag_toplevel_reorder
== 2 && flag_section_anchors
!= 1)
1027 flag_toplevel_reorder
= 0;
1028 flag_section_anchors
= 0;
1030 if (!flag_toplevel_reorder
)
1032 if (flag_section_anchors
== 1)
1033 error ("section anchors must be disabled when toplevel reorder"
1035 flag_section_anchors
= 0;
1041 flag_pic
= flag_pie
;
1042 if (flag_pic
&& !flag_pie
)
1044 first_time_p
= false;
1049 /* Inlining does not work if not optimizing,
1050 so force it not to be done. */
1055 /* The optimization to partition hot and cold basic blocks into separate
1056 sections of the .o and executable files does not work (currently)
1057 with exception handling. This is because there is no support for
1058 generating unwind info. If flag_exceptions is turned on we need to
1059 turn off the partitioning optimization. */
1061 ui_except
= targetm
.except_unwind_info ();
1064 && flag_reorder_blocks_and_partition
1065 && (ui_except
== UI_SJLJ
|| ui_except
== UI_TARGET
))
1067 inform (input_location
,
1068 "-freorder-blocks-and-partition does not work "
1069 "with exceptions on this architecture");
1070 flag_reorder_blocks_and_partition
= 0;
1071 flag_reorder_blocks
= 1;
1074 /* If user requested unwind info, then turn off the partitioning
1077 if (flag_unwind_tables
1078 && !targetm
.unwind_tables_default
1079 && flag_reorder_blocks_and_partition
1080 && (ui_except
== UI_SJLJ
|| ui_except
== UI_TARGET
))
1082 inform (input_location
,
1083 "-freorder-blocks-and-partition does not support "
1084 "unwind info on this architecture");
1085 flag_reorder_blocks_and_partition
= 0;
1086 flag_reorder_blocks
= 1;
1089 /* If the target requested unwind info, then turn off the partitioning
1090 optimization with a different message. Likewise, if the target does not
1091 support named sections. */
1093 if (flag_reorder_blocks_and_partition
1094 && (!targetm
.have_named_sections
1095 || (flag_unwind_tables
1096 && targetm
.unwind_tables_default
1097 && (ui_except
== UI_SJLJ
|| ui_except
== UI_TARGET
))))
1099 inform (input_location
,
1100 "-freorder-blocks-and-partition does not work "
1101 "on this architecture");
1102 flag_reorder_blocks_and_partition
= 0;
1103 flag_reorder_blocks
= 1;
1106 /* Pipelining of outer loops is only possible when general pipelining
1107 capabilities are requested. */
1108 if (!flag_sel_sched_pipelining
)
1109 flag_sel_sched_pipelining_outer_loops
= 0;
1111 if (!targetm
.ira_cover_classes
1112 && flag_ira_algorithm
== IRA_ALGORITHM_CB
)
1114 inform (input_location
,
1115 "-fira-algorithm=CB does not work on this architecture");
1116 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
1119 if (flag_conserve_stack
)
1121 maybe_set_param_value (PARAM_LARGE_STACK_FRAME
, 100,
1122 opts
->x_param_values
, opts_set
->x_param_values
);
1123 maybe_set_param_value (PARAM_STACK_FRAME_GROWTH
, 40,
1124 opts
->x_param_values
, opts_set
->x_param_values
);
1126 if (flag_wpa
|| flag_ltrans
)
1128 /* These passes are not WHOPR compatible yet. */
1130 flag_ipa_struct_reorg
= 0;
1133 if (flag_lto
|| flag_whopr
)
1136 flag_generate_lto
= 1;
1138 /* When generating IL, do not operate in whole-program mode.
1139 Otherwise, symbols will be privatized too early, causing link
1141 flag_whole_program
= 0;
1143 error ("LTO support has not been enabled in this configuration");
1146 if (flag_lto_partition_balanced
|| flag_lto_partition_1to1
)
1148 if (flag_lto_partition_balanced
&& flag_lto_partition_1to1
)
1149 error ("Only one -flto-partitoin value can be specified");
1151 error ("-flto-partitoin has effect only with -fwhopr");
1154 /* Reconcile -flto and -fwhopr. Set additional flags as appropriate and
1155 check option consistency. */
1156 if (flag_lto
&& flag_whopr
)
1157 error ("-flto and -fwhopr are mutually exclusive");
1159 /* We initialize flag_split_stack to -1 so that targets can set a
1160 default value if they choose based on other options. */
1161 if (flag_split_stack
== -1)
1162 flag_split_stack
= 0;
1163 else if (flag_split_stack
)
1165 if (!targetm
.supports_split_stack (true))
1167 error ("%<-fsplit-stack%> is not supported by "
1168 "this compiler configuration");
1169 flag_split_stack
= 0;
1174 #define LEFT_COLUMN 27
1176 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1177 followed by word-wrapped HELP in a second column. */
1179 wrap_help (const char *help
,
1181 unsigned int item_width
,
1182 unsigned int columns
)
1184 unsigned int col_width
= LEFT_COLUMN
;
1185 unsigned int remaining
, room
, len
;
1187 remaining
= strlen (help
);
1191 room
= columns
- 3 - MAX (col_width
, item_width
);
1200 for (i
= 0; help
[i
]; i
++)
1202 if (i
>= room
&& len
!= remaining
)
1206 else if ((help
[i
] == '-' || help
[i
] == '/')
1207 && help
[i
+ 1] != ' '
1208 && i
> 0 && ISALPHA (help
[i
- 1]))
1213 printf( " %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1215 while (help
[len
] == ' ')
1223 /* Print help for a specific front-end, etc. */
1225 print_filtered_help (unsigned int include_flags
,
1226 unsigned int exclude_flags
,
1227 unsigned int any_flags
,
1228 unsigned int columns
)
1232 static char *printed
= NULL
;
1234 bool displayed
= false;
1236 if (include_flags
== CL_PARAMS
)
1238 for (i
= 0; i
< LAST_PARAM
; i
++)
1240 const char *param
= compiler_params
[i
].option
;
1242 help
= compiler_params
[i
].help
;
1243 if (help
== NULL
|| *help
== '\0')
1245 if (exclude_flags
& CL_UNDOCUMENTED
)
1247 help
= undocumented_msg
;
1250 /* Get the translation. */
1253 wrap_help (help
, param
, strlen (param
), columns
);
1260 printed
= XCNEWVAR (char, cl_options_count
);
1262 for (i
= 0; i
< cl_options_count
; i
++)
1264 static char new_help
[128];
1265 const struct cl_option
*option
= cl_options
+ i
;
1270 if (include_flags
== 0
1271 || ((option
->flags
& include_flags
) != include_flags
))
1273 if ((option
->flags
& any_flags
) == 0)
1277 /* Skip unwanted switches. */
1278 if ((option
->flags
& exclude_flags
) != 0)
1281 /* The driver currently prints its own help text. */
1282 if ((option
->flags
& CL_DRIVER
) != 0
1283 && (option
->flags
& (((1U << cl_lang_count
) - 1)
1284 | CL_COMMON
| CL_TARGET
)) == 0)
1288 /* Skip switches that have already been printed. */
1294 help
= option
->help
;
1297 if (exclude_flags
& CL_UNDOCUMENTED
)
1299 help
= undocumented_msg
;
1302 /* Get the translation. */
1305 /* Find the gap between the name of the
1306 option and its descriptive text. */
1307 tab
= strchr (help
, '\t');
1316 opt
= option
->opt_text
;
1320 /* With the -Q option enabled we change the descriptive text associated
1321 with an option to be an indication of its current setting. */
1324 void *flag_var
= option_flag_var (i
, &global_options
);
1326 if (len
< (LEFT_COLUMN
+ 2))
1327 strcpy (new_help
, "\t\t");
1329 strcpy (new_help
, "\t");
1331 if (flag_var
!= NULL
)
1333 if (option
->flags
& CL_JOINED
)
1335 if (option
->var_type
== CLVC_STRING
)
1337 if (* (const char **) flag_var
!= NULL
)
1338 snprintf (new_help
+ strlen (new_help
),
1339 sizeof (new_help
) - strlen (new_help
),
1340 * (const char **) flag_var
);
1343 sprintf (new_help
+ strlen (new_help
),
1344 "%#x", * (int *) flag_var
);
1347 strcat (new_help
, option_enabled (i
, &global_options
)
1348 ? _("[enabled]") : _("[disabled]"));
1354 wrap_help (help
, opt
, len
, columns
);
1360 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1363 printf (_(" No options with the desired characteristics were found\n"));
1368 /* PR 31349: Tell the user how to see all of the
1369 options supported by a specific front end. */
1370 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1371 if ((1U << i
) & langs
)
1372 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1373 lang_names
[i
], lang_names
[i
]);
1377 else if (! displayed
)
1378 printf (_(" All options with the desired characteristics have already been displayed\n"));
1383 /* Display help for a specified type of option.
1384 The options must have ALL of the INCLUDE_FLAGS set
1385 ANY of the flags in the ANY_FLAGS set
1386 and NONE of the EXCLUDE_FLAGS set. */
1388 print_specific_help (unsigned int include_flags
,
1389 unsigned int exclude_flags
,
1390 unsigned int any_flags
)
1392 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1393 const char * description
= NULL
;
1394 const char * descrip_extra
= "";
1397 static unsigned int columns
= 0;
1399 /* Sanity check: Make sure that we do not have more
1400 languages than we have bits available to enumerate them. */
1401 gcc_assert ((1U << cl_lang_count
) < CL_MIN_OPTION_CLASS
);
1403 /* If we have not done so already, obtain
1404 the desired maximum width of the output. */
1409 GET_ENVIRONMENT (p
, "COLUMNS");
1412 int value
= atoi (p
);
1419 /* Use a reasonable default. */
1423 /* Decide upon the title for the options that we are going to display. */
1424 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1426 switch (flag
& include_flags
)
1433 description
= _("The following options are target specific");
1436 description
= _("The following options control compiler warning messages");
1438 case CL_OPTIMIZATION
:
1439 description
= _("The following options control optimizations");
1442 description
= _("The following options are language-independent");
1445 description
= _("The --param option recognizes the following as parameters");
1448 if (i
>= cl_lang_count
)
1450 if (exclude_flags
& all_langs_mask
)
1451 description
= _("The following options are specific to just the language ");
1453 description
= _("The following options are supported by the language ");
1454 descrip_extra
= lang_names
[i
];
1459 if (description
== NULL
)
1463 if (include_flags
& CL_UNDOCUMENTED
)
1464 description
= _("The following options are not documented");
1465 else if (include_flags
& CL_SEPARATE
)
1466 description
= _("The following options take separate arguments");
1467 else if (include_flags
& CL_JOINED
)
1468 description
= _("The following options take joined arguments");
1471 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1478 if (any_flags
& all_langs_mask
)
1479 description
= _("The following options are language-related");
1481 description
= _("The following options are language-independent");
1485 printf ("%s%s:\n", description
, descrip_extra
);
1486 print_filtered_help (include_flags
, exclude_flags
, any_flags
, columns
);
1489 /* Handle target- and language-independent options. Return zero to
1490 generate an "unknown option" message. Only options that need
1491 extra handling need to be listed here; if you simply want
1492 DECODED->value assigned to a variable, it happens automatically. */
1495 common_handle_option (struct gcc_options
*opts
,
1496 struct gcc_options
*opts_set
,
1497 const struct cl_decoded_option
*decoded
,
1498 unsigned int lang_mask
, int kind ATTRIBUTE_UNUSED
,
1499 const struct cl_option_handlers
*handlers
)
1501 size_t scode
= decoded
->opt_index
;
1502 const char *arg
= decoded
->arg
;
1503 int value
= decoded
->value
;
1504 static bool verbose
= false;
1505 enum opt_code code
= (enum opt_code
) scode
;
1507 gcc_assert (opts
== &global_options
);
1508 gcc_assert (opts_set
== &global_options_set
);
1509 gcc_assert (decoded
->canonical_option_num_elements
<= 2);
1514 handle_param (opts
, opts_set
, arg
);
1523 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1524 unsigned int undoc_mask
;
1527 undoc_mask
= (verbose
| extra_warnings
) ? 0 : CL_UNDOCUMENTED
;
1528 /* First display any single language specific options. */
1529 for (i
= 0; i
< cl_lang_count
; i
++)
1531 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0);
1532 /* Next display any multi language specific options. */
1533 print_specific_help (0, undoc_mask
, all_langs_mask
);
1534 /* Then display any remaining, non-language options. */
1535 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1537 print_specific_help (i
, undoc_mask
, 0);
1538 exit_after_options
= true;
1542 case OPT__target_help
:
1543 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0);
1544 exit_after_options
= true;
1546 /* Allow the target a chance to give the user some additional information. */
1553 const char * a
= arg
;
1554 unsigned int include_flags
= 0;
1555 /* Note - by default we include undocumented options when listing
1556 specific classes. If you only want to see documented options
1557 then add ",^undocumented" to the --help= option. E.g.:
1559 --help=target,^undocumented */
1560 unsigned int exclude_flags
= 0;
1562 /* Walk along the argument string, parsing each word in turn.
1564 arg = [^]{word}[,{arg}]
1565 word = {optimizers|target|warnings|undocumented|
1566 params|common|<language>} */
1571 const char * string
;
1576 { "optimizers", CL_OPTIMIZATION
},
1577 { "target", CL_TARGET
},
1578 { "warnings", CL_WARNING
},
1579 { "undocumented", CL_UNDOCUMENTED
},
1580 { "params", CL_PARAMS
},
1581 { "joined", CL_JOINED
},
1582 { "separate", CL_SEPARATE
},
1583 { "common", CL_COMMON
},
1586 unsigned int * pflags
;
1588 unsigned int lang_flag
, specific_flag
;
1595 pflags
= & exclude_flags
;
1598 pflags
= & include_flags
;
1600 comma
= strchr (a
, ',');
1611 /* Check to see if the string matches an option class name. */
1612 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1613 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1615 specific_flag
= specifics
[i
].flag
;
1619 /* Check to see if the string matches a language name.
1620 Note - we rely upon the alpha-sorted nature of the entries in
1621 the lang_names array, specifically that shorter names appear
1622 before their longer variants. (i.e. C before C++). That way
1623 when we are attempting to match --help=c for example we will
1624 match with C first and not C++. */
1625 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1626 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1628 lang_flag
= 1U << i
;
1632 if (specific_flag
!= 0)
1635 * pflags
|= specific_flag
;
1638 /* The option's argument matches both the start of a
1639 language name and the start of an option class name.
1640 We have a special case for when the user has
1641 specified "--help=c", but otherwise we have to issue
1643 if (strncasecmp (a
, "c", len
) == 0)
1644 * pflags
|= lang_flag
;
1647 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1651 else if (lang_flag
!= 0)
1652 * pflags
|= lang_flag
;
1655 "warning: unrecognized argument to --help= option: %.*s\n",
1664 print_specific_help (include_flags
, exclude_flags
, 0);
1665 exit_after_options
= true;
1670 exit_after_options
= true;
1676 /* Currently handled in a prescan. */
1680 enable_warning_as_error (arg
, value
, lang_mask
, handlers
, global_dc
);
1683 case OPT_Wlarger_than_
:
1684 larger_than_size
= value
;
1685 warn_larger_than
= value
!= -1;
1688 case OPT_Wfatal_errors
:
1689 global_dc
->fatal_errors
= value
;
1692 case OPT_Wframe_larger_than_
:
1693 frame_larger_than_size
= value
;
1694 warn_frame_larger_than
= value
!= -1;
1697 case OPT_Wstrict_aliasing
:
1698 set_Wstrict_aliasing (value
);
1701 case OPT_Wstrict_aliasing_
:
1702 warn_strict_aliasing
= value
;
1705 case OPT_Wstrict_overflow
:
1706 warn_strict_overflow
= (value
1707 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1711 case OPT_Wstrict_overflow_
:
1712 warn_strict_overflow
= value
;
1715 case OPT_Wsystem_headers
:
1716 global_dc
->dc_warn_system_headers
= value
;
1720 warn_unused
= value
;
1724 aux_info_file_name
= arg
;
1725 flag_gen_aux_info
= 1;
1729 aux_base_name
= arg
;
1732 case OPT_auxbase_strip
:
1734 char *tmp
= xstrdup (arg
);
1735 strip_off_ending (tmp
, strlen (tmp
));
1737 aux_base_name
= tmp
;
1742 decode_d_option (arg
);
1746 dump_base_name
= arg
;
1750 dump_dir_name
= arg
;
1753 case OPT_falign_functions_
:
1754 align_functions
= value
;
1757 case OPT_falign_jumps_
:
1758 align_jumps
= value
;
1761 case OPT_falign_labels_
:
1762 align_labels
= value
;
1765 case OPT_falign_loops_
:
1766 align_loops
= value
;
1769 case OPT_fcall_used_
:
1770 fix_register (arg
, 0, 1);
1773 case OPT_fcall_saved_
:
1774 fix_register (arg
, 0, 0);
1777 case OPT_fcompare_debug_second
:
1778 flag_compare_debug
= value
;
1782 dbg_cnt_process_opt (arg
);
1785 case OPT_fdbg_cnt_list
:
1786 dbg_cnt_list_all_counters ();
1789 case OPT_fdebug_prefix_map_
:
1790 add_debug_prefix_map (arg
);
1793 case OPT_fdiagnostics_show_location_
:
1794 if (!strcmp (arg
, "once"))
1795 diagnostic_prefixing_rule (global_dc
) = DIAGNOSTICS_SHOW_PREFIX_ONCE
;
1796 else if (!strcmp (arg
, "every-line"))
1797 diagnostic_prefixing_rule (global_dc
)
1798 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE
;
1803 case OPT_fdiagnostics_show_option
:
1804 global_dc
->show_option_requested
= value
;
1808 if (!dump_switch_p (arg
))
1812 case OPT_fexcess_precision_
:
1813 if (!strcmp (arg
, "fast"))
1814 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
1815 else if (!strcmp (arg
, "standard"))
1816 flag_excess_precision_cmdline
= EXCESS_PRECISION_STANDARD
;
1818 error ("unknown excess precision style \"%s\"", arg
);
1821 case OPT_ffast_math
:
1822 set_fast_math_flags (value
);
1825 case OPT_funsafe_math_optimizations
:
1826 set_unsafe_math_optimizations_flags (value
);
1830 fix_register (arg
, 1, 1);
1833 case OPT_finline_limit_
:
1834 set_param_value ("max-inline-insns-single", value
/ 2,
1835 opts
->x_param_values
, opts_set
->x_param_values
);
1836 set_param_value ("max-inline-insns-auto", value
/ 2,
1837 opts
->x_param_values
, opts_set
->x_param_values
);
1840 case OPT_finstrument_functions_exclude_function_list_
:
1841 add_comma_separated_to_vector
1842 (&flag_instrument_functions_exclude_functions
, arg
);
1845 case OPT_finstrument_functions_exclude_file_list_
:
1846 add_comma_separated_to_vector
1847 (&flag_instrument_functions_exclude_files
, arg
);
1850 case OPT_fmessage_length_
:
1851 pp_set_line_maximum_length (global_dc
->printer
, value
);
1854 case OPT_fpack_struct_
:
1855 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1856 error ("structure alignment must be a small power of two, not %d", value
);
1859 initial_max_fld_align
= value
;
1860 maximum_field_alignment
= value
* BITS_PER_UNIT
;
1865 #ifdef ENABLE_PLUGIN
1866 add_new_plugin (arg
);
1868 error ("Plugin support is disabled. Configure with --enable-plugin.");
1872 case OPT_fplugin_arg_
:
1873 #ifdef ENABLE_PLUGIN
1874 parse_plugin_arg_opt (arg
);
1876 error ("Plugin support is disabled. Configure with --enable-plugin.");
1880 case OPT_fprofile_dir_
:
1881 profile_data_prefix
= xstrdup (arg
);
1884 case OPT_fprofile_use_
:
1885 profile_data_prefix
= xstrdup (arg
);
1886 flag_profile_use
= true;
1888 /* No break here - do -fprofile-use processing. */
1889 case OPT_fprofile_use
:
1890 if (!opts_set
->x_flag_branch_probabilities
)
1891 flag_branch_probabilities
= value
;
1892 if (!opts_set
->x_flag_profile_values
)
1893 flag_profile_values
= value
;
1894 if (!opts_set
->x_flag_unroll_loops
)
1895 flag_unroll_loops
= value
;
1896 if (!opts_set
->x_flag_peel_loops
)
1897 flag_peel_loops
= value
;
1898 if (!opts_set
->x_flag_tracer
)
1899 flag_tracer
= value
;
1900 if (!opts_set
->x_flag_value_profile_transformations
)
1901 flag_value_profile_transformations
= value
;
1902 if (!opts_set
->x_flag_inline_functions
)
1903 flag_inline_functions
= value
;
1904 if (!opts_set
->x_flag_ipa_cp
)
1905 flag_ipa_cp
= value
;
1906 if (!opts_set
->x_flag_ipa_cp_clone
1907 && value
&& flag_ipa_cp
)
1908 flag_ipa_cp_clone
= value
;
1909 if (!opts_set
->x_flag_predictive_commoning
)
1910 flag_predictive_commoning
= value
;
1911 if (!opts_set
->x_flag_unswitch_loops
)
1912 flag_unswitch_loops
= value
;
1913 if (!opts_set
->x_flag_gcse_after_reload
)
1914 flag_gcse_after_reload
= value
;
1917 case OPT_fprofile_generate_
:
1918 profile_data_prefix
= xstrdup (arg
);
1920 /* No break here - do -fprofile-generate processing. */
1921 case OPT_fprofile_generate
:
1922 if (!opts_set
->x_profile_arc_flag
)
1923 profile_arc_flag
= value
;
1924 if (!opts_set
->x_flag_profile_values
)
1925 flag_profile_values
= value
;
1926 if (!opts_set
->x_flag_value_profile_transformations
)
1927 flag_value_profile_transformations
= value
;
1928 if (!opts_set
->x_flag_inline_functions
)
1929 flag_inline_functions
= value
;
1932 case OPT_fshow_column
:
1933 global_dc
->show_column
= value
;
1936 case OPT_fvisibility_
:
1938 if (!strcmp(arg
, "default"))
1939 default_visibility
= VISIBILITY_DEFAULT
;
1940 else if (!strcmp(arg
, "internal"))
1941 default_visibility
= VISIBILITY_INTERNAL
;
1942 else if (!strcmp(arg
, "hidden"))
1943 default_visibility
= VISIBILITY_HIDDEN
;
1944 else if (!strcmp(arg
, "protected"))
1945 default_visibility
= VISIBILITY_PROTECTED
;
1947 error ("unrecognized visibility value \"%s\"", arg
);
1951 case OPT_frandom_seed
:
1952 /* The real switch is -fno-random-seed. */
1955 set_random_seed (NULL
);
1958 case OPT_frandom_seed_
:
1959 set_random_seed (arg
);
1962 case OPT_fsched_verbose_
:
1963 #ifdef INSN_SCHEDULING
1964 fix_sched_param ("verbose", arg
);
1970 case OPT_fsched_stalled_insns_
:
1971 flag_sched_stalled_insns
= value
;
1972 if (flag_sched_stalled_insns
== 0)
1973 flag_sched_stalled_insns
= -1;
1976 case OPT_fsched_stalled_insns_dep_
:
1977 flag_sched_stalled_insns_dep
= value
;
1980 case OPT_fstack_check_
:
1981 if (!strcmp (arg
, "no"))
1982 flag_stack_check
= NO_STACK_CHECK
;
1983 else if (!strcmp (arg
, "generic"))
1984 /* This is the old stack checking method. */
1985 flag_stack_check
= STACK_CHECK_BUILTIN
1986 ? FULL_BUILTIN_STACK_CHECK
1987 : GENERIC_STACK_CHECK
;
1988 else if (!strcmp (arg
, "specific"))
1989 /* This is the new stack checking method. */
1990 flag_stack_check
= STACK_CHECK_BUILTIN
1991 ? FULL_BUILTIN_STACK_CHECK
1992 : STACK_CHECK_STATIC_BUILTIN
1993 ? STATIC_BUILTIN_STACK_CHECK
1994 : GENERIC_STACK_CHECK
;
1996 warning (0, "unknown stack check parameter \"%s\"", arg
);
1999 case OPT_fstack_limit
:
2000 /* The real switch is -fno-stack-limit. */
2003 stack_limit_rtx
= NULL_RTX
;
2006 case OPT_fstack_limit_register_
:
2008 int reg
= decode_reg_name (arg
);
2010 error ("unrecognized register name \"%s\"", arg
);
2012 stack_limit_rtx
= gen_rtx_REG (Pmode
, reg
);
2016 case OPT_fstack_limit_symbol_
:
2017 stack_limit_rtx
= gen_rtx_SYMBOL_REF (Pmode
, ggc_strdup (arg
));
2020 case OPT_ftree_vectorizer_verbose_
:
2021 vect_set_verbosity_level (arg
);
2024 case OPT_ftls_model_
:
2025 if (!strcmp (arg
, "global-dynamic"))
2026 flag_tls_default
= TLS_MODEL_GLOBAL_DYNAMIC
;
2027 else if (!strcmp (arg
, "local-dynamic"))
2028 flag_tls_default
= TLS_MODEL_LOCAL_DYNAMIC
;
2029 else if (!strcmp (arg
, "initial-exec"))
2030 flag_tls_default
= TLS_MODEL_INITIAL_EXEC
;
2031 else if (!strcmp (arg
, "local-exec"))
2032 flag_tls_default
= TLS_MODEL_LOCAL_EXEC
;
2034 warning (0, "unknown tls-model \"%s\"", arg
);
2037 case OPT_fira_algorithm_
:
2038 if (!strcmp (arg
, "CB"))
2039 flag_ira_algorithm
= IRA_ALGORITHM_CB
;
2040 else if (!strcmp (arg
, "priority"))
2041 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
2043 warning (0, "unknown ira algorithm \"%s\"", arg
);
2046 case OPT_fira_region_
:
2047 if (!strcmp (arg
, "one"))
2048 flag_ira_region
= IRA_REGION_ONE
;
2049 else if (!strcmp (arg
, "all"))
2050 flag_ira_region
= IRA_REGION_ALL
;
2051 else if (!strcmp (arg
, "mixed"))
2052 flag_ira_region
= IRA_REGION_MIXED
;
2054 warning (0, "unknown ira region \"%s\"", arg
);
2057 case OPT_fira_verbose_
:
2058 flag_ira_verbose
= value
;
2062 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
);
2066 set_debug_level (SDB_DEBUG
, false, arg
);
2070 if (value
< 2 || value
> 4)
2071 error ("dwarf version %d is not supported", value
);
2073 dwarf_version
= value
;
2074 set_debug_level (DWARF2_DEBUG
, false, "");
2078 set_debug_level (NO_DEBUG
, 2, arg
);
2083 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
);
2087 set_debug_level (VMS_DEBUG
, false, arg
);
2092 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
);
2096 asm_file_name
= arg
;
2099 case OPT_pedantic_errors
:
2100 flag_pedantic_errors
= pedantic
= 1;
2101 global_dc
->pedantic_errors
= 1;
2113 global_dc
->dc_inhibit_warnings
= true;
2116 case OPT_fuse_linker_plugin
:
2117 /* No-op. Used by the driver and passed to us because it starts with f.*/
2121 /* If the flag was handled in a standard way, assume the lack of
2122 processing here is intentional. */
2123 gcc_assert (option_flag_var (scode
, opts
));
2130 /* Handle --param NAME=VALUE. */
2132 handle_param (struct gcc_options
*opts
, struct gcc_options
*opts_set
,
2138 arg
= xstrdup (carg
);
2139 equal
= strchr (arg
, '=');
2141 error ("%s: --param arguments should be of the form NAME=VALUE", arg
);
2144 value
= integral_argument (equal
+ 1);
2146 error ("invalid --param value %qs", equal
+ 1);
2150 set_param_value (arg
, value
,
2151 opts
->x_param_values
, opts_set
->x_param_values
);
2158 /* Used to set the level of strict aliasing warnings,
2159 when no level is specified (i.e., when -Wstrict-aliasing, and not
2160 -Wstrict-aliasing=level was given).
2161 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2162 and 0 otherwise. After calling this function, wstrict_aliasing will be
2163 set to the default value of -Wstrict_aliasing=level, currently 3. */
2165 set_Wstrict_aliasing (int onoff
)
2167 gcc_assert (onoff
== 0 || onoff
== 1);
2169 warn_strict_aliasing
= 3;
2171 warn_strict_aliasing
= 0;
2174 /* The following routines are useful in setting all the flags that
2175 -ffast-math and -fno-fast-math imply. */
2177 set_fast_math_flags (int set
)
2179 flag_unsafe_math_optimizations
= set
;
2180 set_unsafe_math_optimizations_flags (set
);
2181 flag_finite_math_only
= set
;
2182 flag_errno_math
= !set
;
2185 flag_signaling_nans
= 0;
2186 flag_rounding_math
= 0;
2187 flag_cx_limited_range
= 1;
2191 /* When -funsafe-math-optimizations is set the following
2192 flags are set as well. */
2194 set_unsafe_math_optimizations_flags (int set
)
2196 flag_trapping_math
= !set
;
2197 flag_signed_zeros
= !set
;
2198 flag_associative_math
= set
;
2199 flag_reciprocal_math
= set
;
2202 /* Return true iff flags are set as if -ffast-math. */
2204 fast_math_flags_set_p (void)
2206 return (!flag_trapping_math
2207 && flag_unsafe_math_optimizations
2208 && flag_finite_math_only
2209 && !flag_signed_zeros
2210 && !flag_errno_math
);
2213 /* Return true iff flags are set as if -ffast-math but using the flags stored
2214 in the struct cl_optimization structure. */
2216 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2218 return (!opt
->x_flag_trapping_math
2219 && opt
->x_flag_unsafe_math_optimizations
2220 && opt
->x_flag_finite_math_only
2221 && !opt
->x_flag_signed_zeros
2222 && !opt
->x_flag_errno_math
);
2225 /* Handle a debug output -g switch. EXTENDED is true or false to support
2226 extended output (2 is special and means "-ggdb" was given). */
2228 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
)
2230 static bool type_explicit
;
2232 use_gnu_debug_info_extensions
= extended
;
2234 if (type
== NO_DEBUG
)
2236 if (write_symbols
== NO_DEBUG
)
2238 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2242 #ifdef DWARF2_DEBUGGING_INFO
2243 write_symbols
= DWARF2_DEBUG
;
2244 #elif defined DBX_DEBUGGING_INFO
2245 write_symbols
= DBX_DEBUG
;
2249 if (write_symbols
== NO_DEBUG
)
2250 warning (0, "target system does not support debug output");
2255 /* Does it conflict with an already selected type? */
2256 if (type_explicit
&& write_symbols
!= NO_DEBUG
&& type
!= write_symbols
)
2257 error ("debug format \"%s\" conflicts with prior selection",
2258 debug_type_names
[type
]);
2259 write_symbols
= type
;
2260 type_explicit
= true;
2263 /* A debug flag without a level defaults to level 2. */
2266 if (!debug_info_level
)
2267 debug_info_level
= DINFO_LEVEL_NORMAL
;
2271 int argval
= integral_argument (arg
);
2273 error ("unrecognised debug output level \"%s\"", arg
);
2274 else if (argval
> 3)
2275 error ("debug output level %s is too high", arg
);
2277 debug_info_level
= (enum debug_info_level
) argval
;
2281 /* Return 1 if option OPT_IDX is enabled in OPTS, 0 if it is disabled,
2282 or -1 if it isn't a simple on-off switch. */
2285 option_enabled (int opt_idx
, void *opts
)
2287 const struct cl_option
*option
= &(cl_options
[opt_idx
]);
2288 struct gcc_options
*optsg
= (struct gcc_options
*) opts
;
2289 void *flag_var
= option_flag_var (opt_idx
, optsg
);
2292 switch (option
->var_type
)
2295 return *(int *) flag_var
!= 0;
2298 return *(int *) flag_var
== option
->var_value
;
2300 case CLVC_BIT_CLEAR
:
2301 return (*(int *) flag_var
& option
->var_value
) == 0;
2304 return (*(int *) flag_var
& option
->var_value
) != 0;
2312 /* Fill STATE with the current state of option OPTION in OPTS. Return
2313 true if there is some state to store. */
2316 get_option_state (struct gcc_options
*opts
, int option
,
2317 struct cl_option_state
*state
)
2319 void *flag_var
= option_flag_var (option
, opts
);
2324 switch (cl_options
[option
].var_type
)
2328 state
->data
= flag_var
;
2329 state
->size
= sizeof (int);
2332 case CLVC_BIT_CLEAR
:
2334 state
->ch
= option_enabled (option
, opts
);
2335 state
->data
= &state
->ch
;
2340 state
->data
= *(const char **) flag_var
;
2341 if (state
->data
== 0)
2343 state
->size
= strlen ((const char *) state
->data
) + 1;
2349 /* Callback function, called when -Werror= enables a warning. */
2351 static void (*warning_as_error_callback
) (int) = NULL
;
2353 /* Register a callback for enable_warning_as_error calls. */
2356 register_warning_as_error_callback (void (*callback
) (int))
2358 gcc_assert (warning_as_error_callback
== NULL
|| callback
== NULL
);
2359 warning_as_error_callback
= callback
;
2362 /* Enable (or disable if VALUE is 0) a warning option ARG (language
2363 mask LANG_MASK, option handlers HANDLERS) as an error for
2364 diagnostic context DC (possibly NULL). This is used by
2368 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
,
2369 const struct cl_option_handlers
*handlers
,
2370 diagnostic_context
*dc
)
2375 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2376 new_option
[0] = 'W';
2377 strcpy (new_option
+ 1, arg
);
2378 option_index
= find_opt (new_option
, lang_mask
);
2379 if (option_index
== OPT_SPECIAL_unknown
)
2381 error ("-Werror=%s: No option -%s", arg
, new_option
);
2385 const struct cl_option
*option
= &cl_options
[option_index
];
2386 const diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2388 if (option
->alias_target
!= N_OPTS
)
2389 option_index
= option
->alias_target
;
2390 if (option_index
== OPT_SPECIAL_ignore
)
2393 diagnostic_classify_diagnostic (dc
, option_index
, kind
,
2395 if (kind
== DK_ERROR
)
2397 const struct cl_option
* const option
= cl_options
+ option_index
;
2399 /* -Werror=foo implies -Wfoo. */
2400 if (option
->var_type
== CLVC_BOOLEAN
)
2401 handle_generated_option (&global_options
, &global_options_set
,
2402 option_index
, NULL
, value
, lang_mask
,
2403 (int)kind
, handlers
,
2406 if (warning_as_error_callback
)
2407 warning_as_error_callback (option_index
);
2413 /* Return malloced memory for the name of the option OPTION_INDEX
2414 which enabled a diagnostic (context CONTEXT), originally of type
2415 ORIG_DIAG_KIND but possibly converted to DIAG_KIND by options such
2419 option_name (diagnostic_context
*context
, int option_index
,
2420 diagnostic_t orig_diag_kind
, diagnostic_t diag_kind
)
2424 /* A warning classified as an error. */
2425 if ((orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
)
2426 && diag_kind
== DK_ERROR
)
2427 return concat (cl_options
[OPT_Werror_
].opt_text
,
2428 /* Skip over "-W". */
2429 cl_options
[option_index
].opt_text
+ 2,
2431 /* A warning with option. */
2433 return xstrdup (cl_options
[option_index
].opt_text
);
2435 /* A warning without option classified as an error. */
2436 else if (orig_diag_kind
== DK_WARNING
|| orig_diag_kind
== DK_PEDWARN
2437 || diag_kind
== DK_WARNING
)
2439 if (context
->warning_as_error_requested
)
2440 return xstrdup (cl_options
[OPT_Werror
].opt_text
);
2442 return xstrdup (_("enabled by default"));