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 "tm_p.h" /* For OPTIMIZATION_OPTIONS. */
40 #include "insn-attr.h" /* For INSN_SCHEDULING. */
42 #include "tree-pass.h"
47 #include "lto-streamer.h"
49 /* Value of the -G xx switch, and whether it was passed or not. */
50 unsigned HOST_WIDE_INT g_switch_value;
53 /* Same for selective scheduling. */
54 bool sel_sched_switch_set;
56 /* True if we should exit after parsing options. */
57 bool exit_after_options;
59 /* True to warn about any objects definitions whose size is larger
60 than N bytes. Also want about function definitions whose returned
61 values are larger than N bytes, where N is `larger_than_size'. */
62 bool warn_larger_than;
63 HOST_WIDE_INT larger_than_size;
65 /* True to warn about any function whose frame size is larger
67 bool warn_frame_larger_than;
68 HOST_WIDE_INT frame_larger_than_size;
70 /* Type(s) of debugging information we are producing (if any). See
71 flags.h for the definitions of the different possible types of
72 debugging information. */
73 enum debug_info_type write_symbols = NO_DEBUG;
75 /* Level of debugging information we are producing. See flags.h for
76 the definitions of the different possible levels. */
77 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
79 /* A major contribution to object and executable size is debug
80 information size. A major contribution to debug information size
81 is struct descriptions replicated in several object files. The
82 following flags attempt to reduce this information. The basic
83 idea is to not emit struct debugging information in the current
84 compilation unit when that information will be generated by
85 another compilation unit.
87 Debug information for a struct defined in the current source
88 file should be generated in the object file. Likewise the
89 debug information for a struct defined in a header should be
90 generated in the object file of the corresponding source file.
91 Both of these case are handled when the base name of the file of
92 the struct definition matches the base name of the source file
93 of the current compilation unit. This matching emits minimal
94 struct debugging information.
96 The base file name matching rule above will fail to emit debug
97 information for structs defined in system headers. So a second
98 category of files includes system headers in addition to files
101 The remaining types of files are library headers and application
102 headers. We cannot currently distinguish these two types. */
104 enum debug_struct_file
106 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
107 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
108 same base name as the compilation unit. */
109 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
111 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
114 /* Generic structs (e.g. templates not explicitly specialized)
115 may not have a compilation unit associated with them, and so
116 may need to be treated differently from ordinary structs.
118 Structs only handled by reference (indirectly), will also usually
119 not need as much debugging information. */
121 static enum debug_struct_file debug_struct_ordinary[DINFO_USAGE_NUM_ENUMS]
122 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
123 static enum debug_struct_file debug_struct_generic[DINFO_USAGE_NUM_ENUMS]
124 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
126 /* Parse the -femit-struct-debug-detailed option value
127 and set the flag variables. */
129 #define MATCH( prefix, string ) \
130 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
131 ? ((string += sizeof prefix - 1), 1) : 0)
134 set_struct_debug_option (const char *spec)
136 /* various labels for comparison */
137 static char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
138 static char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
139 static char none_lbl[] = "none", any_lbl[] = "any";
140 static char base_lbl[] = "base", sys_lbl[] = "sys";
142 enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
143 /* Default is to apply to as much as possible. */
144 enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
145 int ord = 1, gen = 1;
148 if (MATCH (dfn_lbl, spec))
149 usage = DINFO_USAGE_DFN;
150 else if (MATCH (dir_lbl, spec))
151 usage = DINFO_USAGE_DIR_USE;
152 else if (MATCH (ind_lbl, spec))
153 usage = DINFO_USAGE_IND_USE;
155 /* Generics or not? */
156 if (MATCH (ord_lbl, spec))
158 else if (MATCH (gen_lbl, spec))
161 /* What allowable environment? */
162 if (MATCH (none_lbl, spec))
163 files = DINFO_STRUCT_FILE_NONE;
164 else if (MATCH (any_lbl, spec))
165 files = DINFO_STRUCT_FILE_ANY;
166 else if (MATCH (sys_lbl, spec))
167 files = DINFO_STRUCT_FILE_SYS;
168 else if (MATCH (base_lbl, spec))
169 files = DINFO_STRUCT_FILE_BASE;
171 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
174 /* Effect the specification. */
175 if (usage == DINFO_USAGE_NUM_ENUMS)
179 debug_struct_ordinary[DINFO_USAGE_DFN] = files;
180 debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
181 debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
185 debug_struct_generic[DINFO_USAGE_DFN] = files;
186 debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
187 debug_struct_generic[DINFO_USAGE_IND_USE] = files;
193 debug_struct_ordinary[usage] = files;
195 debug_struct_generic[usage] = files;
199 set_struct_debug_option (spec+1);
202 /* No more -femit-struct-debug-detailed specifications.
205 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
207 if (debug_struct_ordinary[DINFO_USAGE_DIR_USE]
208 < debug_struct_ordinary[DINFO_USAGE_IND_USE]
209 || debug_struct_generic[DINFO_USAGE_DIR_USE]
210 < debug_struct_generic[DINFO_USAGE_IND_USE])
211 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
212 " as much as %<-femit-struct-debug-detailed=ind:...%>");
216 /* Find the base name of a path, stripping off both directories and
217 a single final extension. */
219 base_of_path (const char *path, const char **base_out)
221 const char *base = path;
223 const char *p = path;
227 if (IS_DIR_SEPARATOR(c))
242 /* Match the base name of a file to the base name of a compilation unit. */
244 static const char *main_input_basename;
245 static int main_input_baselength;
248 matches_main_base (const char *path)
250 /* Cache the last query. */
251 static const char *last_path = NULL;
252 static int last_match = 0;
253 if (path != last_path)
256 int length = base_of_path (path, &base);
258 last_match = (length == main_input_baselength
259 && memcmp (base, main_input_basename, length) == 0);
264 #ifdef DEBUG_DEBUG_STRUCT
267 dump_struct_debug (tree type, enum debug_info_usage usage,
268 enum debug_struct_file criterion, int generic,
269 int matches, int result)
271 /* Find the type name. */
272 tree type_decl = TYPE_STUB_DECL (type);
274 const char *name = 0;
275 if (TREE_CODE (t) == TYPE_DECL)
278 name = IDENTIFIER_POINTER (t);
280 fprintf (stderr, " struct %d %s %s %s %s %d %p %s\n",
282 DECL_IN_SYSTEM_HEADER (type_decl) ? "sys" : "usr",
283 matches ? "bas" : "hdr",
284 generic ? "gen" : "ord",
285 usage == DINFO_USAGE_DFN ? ";" :
286 usage == DINFO_USAGE_DIR_USE ? "." : "*",
288 (void*) type_decl, name);
291 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
292 dump_struct_debug (type, usage, criterion, generic, matches, result)
296 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
303 should_emit_struct_debug (tree type, enum debug_info_usage usage)
305 enum debug_struct_file criterion;
307 bool generic = lang_hooks.types.generic_p (type);
310 criterion = debug_struct_generic[usage];
312 criterion = debug_struct_ordinary[usage];
314 if (criterion == DINFO_STRUCT_FILE_NONE)
315 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
316 if (criterion == DINFO_STRUCT_FILE_ANY)
317 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
319 type_decl = TYPE_STUB_DECL (type);
321 if (criterion == DINFO_STRUCT_FILE_SYS && DECL_IN_SYSTEM_HEADER (type_decl))
322 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
324 if (matches_main_base (DECL_SOURCE_FILE (type_decl)))
325 return DUMP_GSTRUCT (type, usage, criterion, generic, true, true);
326 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
329 /* Nonzero means use GNU-only extensions in the generated symbolic
330 debugging information. Currently, this only has an effect when
331 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
332 bool use_gnu_debug_info_extensions;
334 /* The default visibility for all symbols (unless overridden) */
335 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
337 /* Global visibility options. */
338 struct visibility_flags visibility_options;
340 /* What to print when a switch has no documentation. */
341 static const char undocumented_msg[] = N_("This switch lacks documentation");
343 /* Used for bookkeeping on whether user set these flags so
344 -fprofile-use/-fprofile-generate does not use them. */
345 static bool profile_arc_flag_set, flag_profile_values_set;
346 static bool flag_unroll_loops_set, flag_tracer_set;
347 static bool flag_value_profile_transformations_set;
348 static bool flag_peel_loops_set, flag_branch_probabilities_set;
349 static bool flag_inline_functions_set, flag_ipa_cp_set, flag_ipa_cp_clone_set;
350 static bool flag_predictive_commoning_set, flag_unswitch_loops_set, flag_gcse_after_reload_set;
352 /* Functions excluded from profiling. */
354 typedef char *char_p; /* For DEF_VEC_P. */
356 DEF_VEC_ALLOC_P(char_p,heap);
358 static VEC(char_p,heap) *flag_instrument_functions_exclude_functions;
359 static VEC(char_p,heap) *flag_instrument_functions_exclude_files;
361 typedef const char *const_char_p; /* For DEF_VEC_P. */
362 DEF_VEC_P(const_char_p);
363 DEF_VEC_ALLOC_P(const_char_p,heap);
365 static VEC(const_char_p,heap) *ignored_options;
367 /* Language specific warning pass for unused results. */
368 bool flag_warn_unused_result = false;
370 /* Input file names. */
371 const char **in_fnames;
372 unsigned num_in_fnames;
374 static int common_handle_option (size_t scode, const char *arg, int value,
375 unsigned int lang_mask, int kind);
376 static void handle_param (const char *);
377 static char *write_langs (unsigned int lang_mask);
378 static void complain_wrong_lang (const char *, const struct cl_option *,
379 unsigned int lang_mask);
380 static void set_debug_level (enum debug_info_type type, int extended,
383 /* If ARG is a non-negative integer made up solely of digits, return its
384 value, otherwise return -1. */
386 integral_argument (const char *arg)
390 while (*p && ISDIGIT (*p))
399 /* Return a malloced slash-separated list of languages in MASK. */
401 write_langs (unsigned int mask)
403 unsigned int n = 0, len = 0;
404 const char *lang_name;
407 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
408 if (mask & (1U << n))
409 len += strlen (lang_name) + 1;
411 result = XNEWVEC (char, len);
413 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
414 if (mask & (1U << n))
418 strcpy (result + len, lang_name);
419 len += strlen (lang_name);
427 /* Complain that switch OPT_INDEX does not apply to this front end. */
429 complain_wrong_lang (const char *text, const struct cl_option *option,
430 unsigned int lang_mask)
432 char *ok_langs, *bad_lang;
434 /* The LTO front end inherits all the options from the first front
435 end that was used. However, not all the original front end
436 options make sense in LTO.
438 A real solution would be to filter this in collect2, but collect2
439 does not have access to all the option attributes to know what to
440 filter. So, in lto1 we silently accept inherited flags and do
442 if (lang_mask & CL_LTO)
445 ok_langs = write_langs (option->flags);
446 bad_lang = write_langs (lang_mask);
448 /* Eventually this should become a hard error IMO. */
449 warning (0, "command line option \"%s\" is valid for %s but not for %s",
450 text, ok_langs, bad_lang);
456 /* Buffer the unknown option described by the string OPT. Currently,
457 we only complain about unknown -Wno-* options if they may have
458 prevented a diagnostic. Otherwise, we just ignore them.
459 Note that if we do complain, it is only as a warning, not an error;
460 passing the compiler an unrecognised -Wno-* option should never
461 change whether the compilation succeeds or fails. */
463 static void postpone_unknown_option_warning(const char *opt)
465 VEC_safe_push (const_char_p, heap, ignored_options, opt);
468 /* Produce a warning for each option previously buffered. */
470 void print_ignored_options (void)
472 location_t saved_loc = input_location;
476 while (!VEC_empty (const_char_p, ignored_options))
479 opt = VEC_pop (const_char_p, ignored_options);
480 warning (0, "unrecognized command line option \"%s\"", opt);
483 input_location = saved_loc;
487 /* Handle option OPT_INDEX, and argument ARG, for the language
488 indicated by LANG_MASK. VALUE is true, unless no- form of an -f or
489 -W option was given. KIND is the diagnostic_t if this is a
490 diagnostics option, DK_UNSPECIFIED otherwise. Returns false if the
491 switch was invalid. */
493 handle_option (int opt_index, int value, const char *arg,
494 unsigned int lang_mask, int kind)
496 const struct cl_option *option = &cl_options[opt_index];
498 if (option->flag_var)
499 set_option (opt_index, value, arg, kind);
501 if (option->flags & lang_mask)
503 if (lang_hooks.handle_option (opt_index, arg, value, kind) == 0)
506 lto_register_user_option (opt_index, arg, value, lang_mask);
509 if (option->flags & CL_COMMON)
511 if (common_handle_option (opt_index, arg, value, lang_mask, kind) == 0)
514 lto_register_user_option (opt_index, arg, value, CL_COMMON);
517 if (option->flags & CL_TARGET)
519 if (!targetm.handle_option (opt_index, arg, value))
522 lto_register_user_option (opt_index, arg, value, CL_TARGET);
527 /* Handle the switch beginning at ARGV for the language indicated by
528 LANG_MASK. Returns the number of switches consumed. */
530 read_cmdline_option (const char **argv, unsigned int lang_mask)
533 const char *opt, *arg = 0;
536 unsigned int result = 0;
537 const struct cl_option *option;
541 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
542 if (opt_index == cl_options_count
543 && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
544 && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
546 /* Drop the "no-" from negative switches. */
547 size_t len = strlen (opt) - 3;
549 dup = XNEWVEC (char, len + 1);
552 memcpy (dup + 2, opt + 5, len - 2 + 1);
555 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
556 if (opt_index == cl_options_count && opt[1] == 'W')
558 /* We don't generate warnings for unknown -Wno-* options
559 unless we issue diagnostics. */
560 postpone_unknown_option_warning (argv[0]);
566 if (opt_index == cl_options_count)
569 option = &cl_options[opt_index];
571 /* Reject negative form of switches that don't take negatives as
573 if (!value && (option->flags & CL_REJECT_NEGATIVE))
576 /* We've recognized this switch. */
579 /* Check to see if the option is disabled for this configuration. */
580 if (option->flags & CL_DISABLED)
582 error ("command line option %qs"
583 " is not supported by this configuration", opt);
587 /* Sort out any argument the switch takes. */
588 if (option->flags & CL_JOINED)
590 /* Have arg point to the original switch. This is because
591 some code, such as disable_builtin_function, expects its
592 argument to be persistent until the program exits. */
593 arg = argv[0] + cl_options[opt_index].opt_len + 1;
595 arg += strlen ("no-");
597 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
599 if (option->flags & CL_SEPARATE)
605 /* Missing argument. */
609 else if (option->flags & CL_SEPARATE)
615 /* Now we've swallowed any potential argument, complain if this
616 is a switch for a different front end. */
617 if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
619 complain_wrong_lang (argv[0], option, lang_mask);
622 else if ((option->flags & CL_TARGET)
623 && (option->flags & CL_LANG_ALL)
624 && !(option->flags & lang_mask))
626 /* Complain for target flag language mismatches if any languages
628 complain_wrong_lang (argv[0], option, lang_mask);
632 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
634 if (!lang_hooks.missing_argument (opt, opt_index))
635 error ("missing argument to \"%s\"", opt);
639 /* If the switch takes an integer, convert it. */
640 if (arg && (option->flags & CL_UINTEGER))
642 value = integral_argument (arg);
645 error ("argument to \"%s\" should be a non-negative integer",
651 if (!handle_option (opt_index, value, arg, lang_mask, DK_UNSPECIFIED))
660 /* Handle FILENAME from the command line. */
662 add_input_filename (const char *filename)
665 in_fnames = XRESIZEVEC (const char *, in_fnames, num_in_fnames);
666 in_fnames[num_in_fnames - 1] = filename;
669 /* Add comma-separated strings to a char_p vector. */
672 add_comma_separated_to_vector (VEC(char_p,heap) **pvec, const char* arg)
679 /* We never free this string. */
692 VEC_safe_push (char_p, heap, *pvec, token_start);
695 if (*r == '\\' && r[1] == ',')
703 if (*token_start != '\0')
704 VEC_safe_push (char_p, heap, *pvec, token_start);
707 /* Return whether we should exclude FNDECL from instrumentation. */
710 flag_instrument_functions_exclude_p (tree fndecl)
712 if (VEC_length (char_p, flag_instrument_functions_exclude_functions) > 0)
718 name = lang_hooks.decl_printable_name (fndecl, 0);
720 VEC_iterate (char_p, flag_instrument_functions_exclude_functions,
724 if (strstr (name, s) != NULL)
729 if (VEC_length (char_p, flag_instrument_functions_exclude_files) > 0)
735 name = DECL_SOURCE_FILE (fndecl);
737 VEC_iterate (char_p, flag_instrument_functions_exclude_files, i, s);
740 if (strstr (name, s) != NULL)
749 /* Decode and handle the vector of command line options. LANG_MASK
750 contains has a single bit set representing the current
753 read_cmdline_options (unsigned int argc, const char **argv, unsigned int lang_mask)
757 for (i = 1; i < argc; i += n)
759 const char *opt = argv[i];
761 /* Interpret "-" or a non-switch as a file name. */
762 if (opt[0] != '-' || opt[1] == '\0')
764 if (main_input_filename == NULL)
766 main_input_filename = opt;
767 main_input_baselength
768 = base_of_path (main_input_filename, &main_input_basename);
770 add_input_filename (opt);
775 n = read_cmdline_option (argv + i, lang_mask);
780 error ("unrecognized command line option \"%s\"", opt);
785 /* Parse command line options and set default flag values. Do minimal
786 options processing. */
788 decode_options (unsigned int argc, const char **argv)
790 static bool first_time_p = true;
791 static int initial_min_crossjump_insns;
792 static int initial_max_fields_for_field_sensitive;
793 static int initial_loop_invariant_max_bbs_in_loop;
794 static unsigned int initial_lang_mask;
796 unsigned int i, lang_mask;
804 /* Perform language-specific options initialization. */
805 initial_lang_mask = lang_mask = lang_hooks.init_options (argc, argv);
807 lang_hooks.initialize_diagnostics (global_dc);
809 /* Save initial values of parameters we reset. */
810 initial_min_crossjump_insns
811 = compiler_params[PARAM_MIN_CROSSJUMP_INSNS].value;
812 initial_max_fields_for_field_sensitive
813 = compiler_params[PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE].value;
814 initial_loop_invariant_max_bbs_in_loop
815 = compiler_params[PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP].value;
818 lang_mask = initial_lang_mask;
820 /* Scan to see what optimization level has been specified. That will
821 determine the default value of many flags. */
822 for (i = 1; i < argc; i++)
824 if (!strcmp (argv[i], "-O"))
829 else if (argv[i][0] == '-' && argv[i][1] == 'O')
831 /* Handle -Os, -O2, -O3, -O69, ... */
832 const char *p = &argv[i][2];
834 if ((p[0] == 's') && (p[1] == 0))
838 /* Optimizing for size forces optimize to be 2. */
843 const int optimize_val = read_integral_parameter (p, p - 2, -1);
844 if (optimize_val != -1)
846 optimize = optimize_val;
847 if ((unsigned int) optimize > 255)
855 /* Use priority coloring if cover classes is not defined for the
857 if (targetm.ira_cover_classes == NULL)
858 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
860 /* -O1 optimizations. */
861 opt1 = (optimize >= 1);
862 flag_defer_pop = opt1;
864 flag_delayed_branch = opt1;
866 #ifdef CAN_DEBUG_WITHOUT_FP
867 flag_omit_frame_pointer = opt1;
869 flag_guess_branch_prob = opt1;
870 flag_cprop_registers = opt1;
871 flag_forward_propagate = opt1;
872 flag_if_conversion = opt1;
873 flag_if_conversion2 = opt1;
874 flag_ipa_pure_const = opt1;
875 flag_ipa_reference = opt1;
876 flag_ipa_profile = opt1;
877 flag_merge_constants = opt1;
878 flag_split_wide_types = opt1;
879 flag_tree_ccp = opt1;
880 flag_tree_dce = opt1;
881 flag_tree_dom = opt1;
882 flag_tree_dse = opt1;
883 flag_tree_ter = opt1;
884 flag_tree_sra = opt1;
885 flag_tree_copyrename = opt1;
886 flag_tree_fre = opt1;
887 flag_tree_copy_prop = opt1;
888 flag_tree_sink = opt1;
891 /* -O2 optimizations. */
892 opt2 = (optimize >= 2);
893 flag_inline_small_functions = opt2;
894 flag_indirect_inlining = opt2;
895 flag_thread_jumps = opt2;
896 flag_crossjumping = opt2;
897 flag_optimize_sibling_calls = opt2;
898 flag_cse_follow_jumps = opt2;
900 flag_expensive_optimizations = opt2;
901 flag_rerun_cse_after_loop = opt2;
902 flag_caller_saves = opt2;
903 flag_peephole2 = opt2;
904 #ifdef INSN_SCHEDULING
905 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
906 flag_schedule_insns = opt2 && ! optimize_size;
907 flag_schedule_insns_after_reload = opt2;
910 flag_strict_aliasing = opt2;
911 flag_strict_overflow = opt2;
912 flag_reorder_blocks = opt2;
913 flag_reorder_functions = opt2;
914 flag_tree_vrp = opt2;
915 flag_tree_builtin_call_dce = opt2;
916 flag_tree_pre = opt2;
917 flag_tree_switch_conversion = opt2;
921 /* Track fields in field-sensitive alias analysis. */
922 set_param_value ("max-fields-for-field-sensitive",
923 (opt2) ? 100 : initial_max_fields_for_field_sensitive);
925 /* For -O1 only do loop invariant motion for very small loops. */
926 set_param_value ("loop-invariant-max-bbs-in-loop",
927 (opt2) ? initial_loop_invariant_max_bbs_in_loop : 1000);
929 /* -O3 optimizations. */
930 opt3 = (optimize >= 3);
931 flag_predictive_commoning = opt3;
932 flag_inline_functions = opt3;
933 flag_unswitch_loops = opt3;
934 flag_gcse_after_reload = opt3;
935 flag_tree_vectorize = opt3;
936 flag_ipa_cp_clone = opt3;
937 if (flag_ipa_cp_clone)
940 /* Just -O1/-O0 optimizations. */
941 opt1_max = (optimize <= 1);
942 align_loops = opt1_max;
943 align_jumps = opt1_max;
944 align_labels = opt1_max;
945 align_functions = opt1_max;
949 /* Inlining of functions reducing size is a good idea regardless of them
950 being declared inline. */
951 flag_inline_functions = 1;
953 /* Basic optimization options. */
958 /* We want to crossjump as much as possible. */
959 set_param_value ("min-crossjump-insns", 1);
962 set_param_value ("min-crossjump-insns", initial_min_crossjump_insns);
964 /* Enable -Werror=coverage-mismatch by default */
965 enable_warning_as_error("coverage-mismatch", 1, lang_mask);
969 /* Initialize whether `char' is signed. */
970 flag_signed_char = DEFAULT_SIGNED_CHAR;
971 /* Set this to a special "uninitialized" value. The actual default is
972 set after target options have been processed. */
973 flag_short_enums = 2;
975 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
977 target_flags = targetm.default_target_flags;
979 /* Some targets have ABI-specified unwind tables. */
980 flag_unwind_tables = targetm.unwind_tables_default;
983 /* Clear any options currently held for LTO. */
984 lto_clear_user_options ();
986 #ifdef OPTIMIZATION_OPTIONS
987 /* Allow default optimizations to be specified on a per-machine basis. */
988 OPTIMIZATION_OPTIONS (optimize, optimize_size);
991 read_cmdline_options (argc, argv, lang_mask);
993 if (dump_base_name && ! IS_ABSOLUTE_PATH (dump_base_name))
995 /* First try to make DUMP_BASE_NAME relative to the DUMP_DIR_NAME
996 directory. Then try to make DUMP_BASE_NAME relative to the
997 AUX_BASE_NAME directory, typically the directory to contain
1000 dump_base_name = concat (dump_dir_name, dump_base_name, NULL);
1001 else if (aux_base_name)
1003 const char *aux_base;
1005 base_of_path (aux_base_name, &aux_base);
1006 if (aux_base_name != aux_base)
1008 int dir_len = aux_base - aux_base_name;
1009 char *new_dump_base_name =
1010 XNEWVEC (char, strlen(dump_base_name) + dir_len + 1);
1012 /* Copy directory component from AUX_BASE_NAME. */
1013 memcpy (new_dump_base_name, aux_base_name, dir_len);
1014 /* Append existing DUMP_BASE_NAME. */
1015 strcpy (new_dump_base_name + dir_len, dump_base_name);
1016 dump_base_name = new_dump_base_name;
1021 /* Handle related options for unit-at-a-time, toplevel-reorder, and
1023 if (!flag_unit_at_a_time)
1025 if (flag_section_anchors == 1)
1026 error ("Section anchors must be disabled when unit-at-a-time "
1028 flag_section_anchors = 0;
1029 if (flag_toplevel_reorder == 1)
1030 error ("Toplevel reorder must be disabled when unit-at-a-time "
1032 flag_toplevel_reorder = 0;
1034 /* Unless the user has asked for section anchors, we disable toplevel
1035 reordering at -O0 to disable transformations that might be surprising
1036 to end users and to get -fno-toplevel-reorder tested. */
1037 if (!optimize && flag_toplevel_reorder == 2 && flag_section_anchors != 1)
1039 flag_toplevel_reorder = 0;
1040 flag_section_anchors = 0;
1042 if (!flag_toplevel_reorder)
1044 if (flag_section_anchors == 1)
1045 error ("section anchors must be disabled when toplevel reorder"
1047 flag_section_anchors = 0;
1053 flag_pic = flag_pie;
1054 if (flag_pic && !flag_pie)
1056 first_time_p = false;
1061 /* Inlining does not work if not optimizing,
1062 so force it not to be done. */
1067 /* The optimization to partition hot and cold basic blocks into separate
1068 sections of the .o and executable files does not work (currently)
1069 with exception handling. This is because there is no support for
1070 generating unwind info. If flag_exceptions is turned on we need to
1071 turn off the partitioning optimization. */
1073 if (flag_exceptions && flag_reorder_blocks_and_partition
1074 && (USING_SJLJ_EXCEPTIONS
1075 #ifdef TARGET_UNWIND_INFO
1080 inform (input_location,
1081 "-freorder-blocks-and-partition does not work with exceptions on this architecture");
1082 flag_reorder_blocks_and_partition = 0;
1083 flag_reorder_blocks = 1;
1086 /* If user requested unwind info, then turn off the partitioning
1089 if (flag_unwind_tables && ! targetm.unwind_tables_default
1090 && flag_reorder_blocks_and_partition
1091 && (USING_SJLJ_EXCEPTIONS
1092 #ifdef TARGET_UNWIND_INFO
1097 inform (input_location,
1098 "-freorder-blocks-and-partition does not support unwind info on this architecture");
1099 flag_reorder_blocks_and_partition = 0;
1100 flag_reorder_blocks = 1;
1103 /* If the target requested unwind info, then turn off the partitioning
1104 optimization with a different message. Likewise, if the target does not
1105 support named sections. */
1107 if (flag_reorder_blocks_and_partition
1108 && (!targetm.have_named_sections
1109 || (flag_unwind_tables && targetm.unwind_tables_default
1110 && (USING_SJLJ_EXCEPTIONS
1111 #ifdef TARGET_UNWIND_INFO
1116 inform (input_location,
1117 "-freorder-blocks-and-partition does not work on this architecture");
1118 flag_reorder_blocks_and_partition = 0;
1119 flag_reorder_blocks = 1;
1122 /* Pipelining of outer loops is only possible when general pipelining
1123 capabilities are requested. */
1124 if (!flag_sel_sched_pipelining)
1125 flag_sel_sched_pipelining_outer_loops = 0;
1127 if (!targetm.ira_cover_classes
1128 && flag_ira_algorithm == IRA_ALGORITHM_CB)
1130 inform (input_location,
1131 "-fira-algorithm=CB does not work on this architecture");
1132 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
1135 if (flag_conserve_stack)
1137 if (!PARAM_SET_P (PARAM_LARGE_STACK_FRAME))
1138 PARAM_VALUE (PARAM_LARGE_STACK_FRAME) = 100;
1139 if (!PARAM_SET_P (PARAM_STACK_FRAME_GROWTH))
1140 PARAM_VALUE (PARAM_STACK_FRAME_GROWTH) = 40;
1142 if (flag_wpa || flag_ltrans)
1144 /* These passes are not WHOPR compatible yet. */
1146 flag_ipa_type_escape = 0;
1148 flag_ipa_struct_reorg = 0;
1151 if (flag_lto || flag_whopr)
1154 flag_generate_lto = 1;
1156 /* When generating IL, do not operate in whole-program mode.
1157 Otherwise, symbols will be privatized too early, causing link
1159 flag_whole_program = 0;
1161 error ("LTO support has not been enabled in this configuration");
1165 /* Reconcile -flto and -fwhopr. Set additional flags as appropriate and
1166 check option consistency. */
1167 if (flag_lto && flag_whopr)
1168 error ("-flto and -fwhopr are mutually exclusive");
1171 #define LEFT_COLUMN 27
1173 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1174 followed by word-wrapped HELP in a second column. */
1176 wrap_help (const char *help,
1178 unsigned int item_width,
1179 unsigned int columns)
1181 unsigned int col_width = LEFT_COLUMN;
1182 unsigned int remaining, room, len;
1184 remaining = strlen (help);
1188 room = columns - 3 - MAX (col_width, item_width);
1197 for (i = 0; help[i]; i++)
1199 if (i >= room && len != remaining)
1203 else if ((help[i] == '-' || help[i] == '/')
1204 && help[i + 1] != ' '
1205 && i > 0 && ISALPHA (help[i - 1]))
1210 printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help);
1212 while (help[len] == ' ')
1220 /* Print help for a specific front-end, etc. */
1222 print_filtered_help (unsigned int include_flags,
1223 unsigned int exclude_flags,
1224 unsigned int any_flags,
1225 unsigned int columns)
1229 static char *printed = NULL;
1231 bool displayed = false;
1233 if (include_flags == CL_PARAMS)
1235 for (i = 0; i < LAST_PARAM; i++)
1237 const char *param = compiler_params[i].option;
1239 help = compiler_params[i].help;
1240 if (help == NULL || *help == '\0')
1242 if (exclude_flags & CL_UNDOCUMENTED)
1244 help = undocumented_msg;
1247 /* Get the translation. */
1250 wrap_help (help, param, strlen (param), columns);
1257 printed = XCNEWVAR (char, cl_options_count);
1259 for (i = 0; i < cl_options_count; i++)
1261 static char new_help[128];
1262 const struct cl_option *option = cl_options + i;
1267 if (include_flags == 0
1268 || ((option->flags & include_flags) != include_flags))
1270 if ((option->flags & any_flags) == 0)
1274 /* Skip unwanted switches. */
1275 if ((option->flags & exclude_flags) != 0)
1279 /* Skip switches that have already been printed. */
1285 help = option->help;
1288 if (exclude_flags & CL_UNDOCUMENTED)
1290 help = undocumented_msg;
1293 /* Get the translation. */
1296 /* Find the gap between the name of the
1297 option and its descriptive text. */
1298 tab = strchr (help, '\t');
1307 opt = option->opt_text;
1311 /* With the -Q option enabled we change the descriptive text associated
1312 with an option to be an indication of its current setting. */
1315 if (len < (LEFT_COLUMN + 2))
1316 strcpy (new_help, "\t\t");
1318 strcpy (new_help, "\t");
1320 if (option->flag_var != NULL)
1322 if (option->flags & CL_JOINED)
1324 if (option->var_type == CLVC_STRING)
1326 if (* (const char **) option->flag_var != NULL)
1327 snprintf (new_help + strlen (new_help),
1328 sizeof (new_help) - strlen (new_help),
1329 * (const char **) option->flag_var);
1332 sprintf (new_help + strlen (new_help),
1333 "%#x", * (int *) option->flag_var);
1336 strcat (new_help, option_enabled (i)
1337 ? _("[enabled]") : _("[disabled]"));
1343 wrap_help (help, opt, len, columns);
1349 unsigned int langs = include_flags & CL_LANG_ALL;
1352 printf (_(" No options with the desired characteristics were found\n"));
1357 /* PR 31349: Tell the user how to see all of the
1358 options supported by a specific front end. */
1359 for (i = 0; (1U << i) < CL_LANG_ALL; i ++)
1360 if ((1U << i) & langs)
1361 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1362 lang_names[i], lang_names[i]);
1366 else if (! displayed)
1367 printf (_(" All options with the desired characteristics have already been displayed\n"));
1372 /* Display help for a specified type of option.
1373 The options must have ALL of the INCLUDE_FLAGS set
1374 ANY of the flags in the ANY_FLAGS set
1375 and NONE of the EXCLUDE_FLAGS set. */
1377 print_specific_help (unsigned int include_flags,
1378 unsigned int exclude_flags,
1379 unsigned int any_flags)
1381 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1382 const char * description = NULL;
1383 const char * descrip_extra = "";
1386 static unsigned int columns = 0;
1388 /* Sanity check: Make sure that we do not have more
1389 languages than we have bits available to enumerate them. */
1390 gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS);
1392 /* If we have not done so already, obtain
1393 the desired maximum width of the output. */
1398 GET_ENVIRONMENT (p, "COLUMNS");
1401 int value = atoi (p);
1408 /* Use a reasonable default. */
1412 /* Decide upon the title for the options that we are going to display. */
1413 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1415 switch (flag & include_flags)
1421 description = _("The following options are target specific");
1424 description = _("The following options control compiler warning messages");
1426 case CL_OPTIMIZATION:
1427 description = _("The following options control optimizations");
1430 description = _("The following options are language-independent");
1433 description = _("The --param option recognizes the following as parameters");
1436 if (i >= cl_lang_count)
1438 if (exclude_flags & all_langs_mask)
1439 description = _("The following options are specific to just the language ");
1441 description = _("The following options are supported by the language ");
1442 descrip_extra = lang_names [i];
1447 if (description == NULL)
1451 if (include_flags & CL_UNDOCUMENTED)
1452 description = _("The following options are not documented");
1453 else if (include_flags & CL_SEPARATE)
1454 description = _("The following options take separate arguments");
1455 else if (include_flags & CL_JOINED)
1456 description = _("The following options take joined arguments");
1459 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1466 if (any_flags & all_langs_mask)
1467 description = _("The following options are language-related");
1469 description = _("The following options are language-independent");
1473 printf ("%s%s:\n", description, descrip_extra);
1474 print_filtered_help (include_flags, exclude_flags, any_flags, columns);
1477 /* Handle target- and language-independent options. Return zero to
1478 generate an "unknown option" message. Only options that need
1479 extra handling need to be listed here; if you simply want
1480 VALUE assigned to a variable, it happens automatically. */
1483 common_handle_option (size_t scode, const char *arg, int value,
1484 unsigned int lang_mask, int kind ATTRIBUTE_UNUSED)
1486 static bool verbose = false;
1487 enum opt_code code = (enum opt_code) scode;
1502 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1503 unsigned int undoc_mask;
1506 undoc_mask = (verbose | extra_warnings) ? 0 : CL_UNDOCUMENTED;
1507 /* First display any single language specific options. */
1508 for (i = 0; i < cl_lang_count; i++)
1510 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0);
1511 /* Next display any multi language specific options. */
1512 print_specific_help (0, undoc_mask, all_langs_mask);
1513 /* Then display any remaining, non-language options. */
1514 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1515 print_specific_help (i, undoc_mask, 0);
1516 exit_after_options = true;
1520 case OPT_ftarget_help:
1521 case OPT__target_help:
1522 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0);
1523 exit_after_options = true;
1525 /* Allow the target a chance to give the user some additional information. */
1526 if (targetm.target_help)
1527 targetm.target_help ();
1533 const char * a = arg;
1534 unsigned int include_flags = 0;
1535 /* Note - by default we include undocumented options when listing
1536 specific classes. If you only want to see documented options
1537 then add ",^undocumented" to the --help= option. E.g.:
1539 --help=target,^undocumented */
1540 unsigned int exclude_flags = 0;
1542 /* Walk along the argument string, parsing each word in turn.
1544 arg = [^]{word}[,{arg}]
1545 word = {optimizers|target|warnings|undocumented|
1546 params|common|<language>} */
1551 const char * string;
1556 { "optimizers", CL_OPTIMIZATION },
1557 { "target", CL_TARGET },
1558 { "warnings", CL_WARNING },
1559 { "undocumented", CL_UNDOCUMENTED },
1560 { "params", CL_PARAMS },
1561 { "joined", CL_JOINED },
1562 { "separate", CL_SEPARATE },
1563 { "common", CL_COMMON },
1566 unsigned int * pflags;
1568 unsigned int lang_flag, specific_flag;
1575 pflags = & exclude_flags;
1578 pflags = & include_flags;
1580 comma = strchr (a, ',');
1591 /* Check to see if the string matches an option class name. */
1592 for (i = 0, specific_flag = 0; specifics[i].string != NULL; i++)
1593 if (strncasecmp (a, specifics[i].string, len) == 0)
1595 specific_flag = specifics[i].flag;
1599 /* Check to see if the string matches a language name.
1600 Note - we rely upon the alpha-sorted nature of the entries in
1601 the lang_names array, specifically that shorter names appear
1602 before their longer variants. (i.e. C before C++). That way
1603 when we are attempting to match --help=c for example we will
1604 match with C first and not C++. */
1605 for (i = 0, lang_flag = 0; i < cl_lang_count; i++)
1606 if (strncasecmp (a, lang_names[i], len) == 0)
1608 lang_flag = 1U << i;
1612 if (specific_flag != 0)
1615 * pflags |= specific_flag;
1618 /* The option's argument matches both the start of a
1619 language name and the start of an option class name.
1620 We have a special case for when the user has
1621 specified "--help=c", but otherwise we have to issue
1623 if (strncasecmp (a, "c", len) == 0)
1624 * pflags |= lang_flag;
1627 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1631 else if (lang_flag != 0)
1632 * pflags |= lang_flag;
1635 "warning: unrecognized argument to --help= option: %.*s\n",
1644 print_specific_help (include_flags, exclude_flags, 0);
1645 exit_after_options = true;
1651 exit_after_options = true;
1655 g_switch_value = value;
1656 g_switch_set = true;
1661 /* Currently handled in a prescan. */
1665 enable_warning_as_error (arg, value, lang_mask);
1668 case OPT_Wlarger_than_:
1669 /* This form corresponds to -Wlarger-than-.
1670 Kept for backward compatibility.
1671 Don't use it as the first argument of warning(). */
1673 case OPT_Wlarger_than_eq:
1674 larger_than_size = value;
1675 warn_larger_than = value != -1;
1678 case OPT_Wframe_larger_than_:
1679 frame_larger_than_size = value;
1680 warn_frame_larger_than = value != -1;
1683 case OPT_Wstrict_aliasing:
1684 set_Wstrict_aliasing (value);
1687 case OPT_Wstrict_aliasing_:
1688 warn_strict_aliasing = value;
1691 case OPT_Wstrict_overflow:
1692 warn_strict_overflow = (value
1693 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1697 case OPT_Wstrict_overflow_:
1698 warn_strict_overflow = value;
1702 warn_unused = value;
1707 aux_info_file_name = arg;
1708 flag_gen_aux_info = 1;
1712 aux_base_name = arg;
1715 case OPT_auxbase_strip:
1717 char *tmp = xstrdup (arg);
1718 strip_off_ending (tmp, strlen (tmp));
1720 aux_base_name = tmp;
1725 decode_d_option (arg);
1729 dump_base_name = arg;
1733 dump_dir_name = arg;
1736 case OPT_falign_functions_:
1737 align_functions = value;
1740 case OPT_falign_jumps_:
1741 align_jumps = value;
1744 case OPT_falign_labels_:
1745 align_labels = value;
1748 case OPT_falign_loops_:
1749 align_loops = value;
1752 case OPT_fbranch_probabilities:
1753 flag_branch_probabilities_set = true;
1756 case OPT_fcall_used_:
1757 fix_register (arg, 0, 1);
1760 case OPT_fcall_saved_:
1761 fix_register (arg, 0, 0);
1765 dbg_cnt_process_opt (arg);
1768 case OPT_fdbg_cnt_list:
1769 dbg_cnt_list_all_counters ();
1772 case OPT_fdebug_prefix_map_:
1773 add_debug_prefix_map (arg);
1776 case OPT_fdiagnostics_show_location_:
1777 if (!strcmp (arg, "once"))
1778 diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
1779 else if (!strcmp (arg, "every-line"))
1780 diagnostic_prefixing_rule (global_dc)
1781 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
1786 case OPT_fdiagnostics_show_option:
1787 global_dc->show_option_requested = value;
1791 if (!dump_switch_p (arg))
1795 case OPT_fexcess_precision_:
1796 if (!strcmp (arg, "fast"))
1797 flag_excess_precision_cmdline = EXCESS_PRECISION_FAST;
1798 else if (!strcmp (arg, "standard"))
1799 flag_excess_precision_cmdline = EXCESS_PRECISION_STANDARD;
1801 error ("unknown excess precision style \"%s\"", arg);
1804 case OPT_ffast_math:
1805 set_fast_math_flags (value);
1808 case OPT_funsafe_math_optimizations:
1809 set_unsafe_math_optimizations_flags (value);
1813 fix_register (arg, 1, 1);
1816 case OPT_finline_limit_:
1817 case OPT_finline_limit_eq:
1818 set_param_value ("max-inline-insns-single", value / 2);
1819 set_param_value ("max-inline-insns-auto", value / 2);
1822 case OPT_finstrument_functions_exclude_function_list_:
1823 add_comma_separated_to_vector
1824 (&flag_instrument_functions_exclude_functions, arg);
1827 case OPT_finstrument_functions_exclude_file_list_:
1828 add_comma_separated_to_vector
1829 (&flag_instrument_functions_exclude_files, arg);
1832 case OPT_fmessage_length_:
1833 pp_set_line_maximum_length (global_dc->printer, value);
1836 case OPT_fpack_struct_:
1837 if (value <= 0 || (value & (value - 1)) || value > 16)
1838 error ("structure alignment must be a small power of two, not %d", value);
1841 initial_max_fld_align = value;
1842 maximum_field_alignment = value * BITS_PER_UNIT;
1846 case OPT_fpeel_loops:
1847 flag_peel_loops_set = true;
1851 #ifdef ENABLE_PLUGIN
1852 add_new_plugin (arg);
1854 error ("Plugin support is disabled. Configure with --enable-plugin.");
1858 case OPT_fplugin_arg_:
1859 #ifdef ENABLE_PLUGIN
1860 parse_plugin_arg_opt (arg);
1862 error ("Plugin support is disabled. Configure with --enable-plugin.");
1866 case OPT_fprofile_arcs:
1867 profile_arc_flag_set = true;
1870 case OPT_finline_functions:
1871 flag_inline_functions_set = true;
1874 case OPT_fprofile_dir_:
1875 profile_data_prefix = xstrdup (arg);
1878 case OPT_fprofile_use_:
1879 profile_data_prefix = xstrdup (arg);
1880 flag_profile_use = true;
1882 /* No break here - do -fprofile-use processing. */
1883 case OPT_fprofile_use:
1884 if (!flag_branch_probabilities_set)
1885 flag_branch_probabilities = value;
1886 if (!flag_profile_values_set)
1887 flag_profile_values = value;
1888 if (!flag_unroll_loops_set)
1889 flag_unroll_loops = value;
1890 if (!flag_peel_loops_set)
1891 flag_peel_loops = value;
1892 if (!flag_tracer_set)
1893 flag_tracer = value;
1894 if (!flag_value_profile_transformations_set)
1895 flag_value_profile_transformations = value;
1896 if (!flag_inline_functions_set)
1897 flag_inline_functions = value;
1898 if (!flag_ipa_cp_set)
1899 flag_ipa_cp = value;
1900 if (!flag_ipa_cp_clone_set
1901 && value && flag_ipa_cp)
1902 flag_ipa_cp_clone = value;
1903 if (!flag_predictive_commoning_set)
1904 flag_predictive_commoning = value;
1905 if (!flag_unswitch_loops_set)
1906 flag_unswitch_loops = value;
1907 if (!flag_gcse_after_reload_set)
1908 flag_gcse_after_reload = value;
1911 case OPT_fprofile_generate_:
1912 profile_data_prefix = xstrdup (arg);
1914 /* No break here - do -fprofile-generate processing. */
1915 case OPT_fprofile_generate:
1916 if (!profile_arc_flag_set)
1917 profile_arc_flag = value;
1918 if (!flag_profile_values_set)
1919 flag_profile_values = value;
1920 if (!flag_value_profile_transformations_set)
1921 flag_value_profile_transformations = value;
1922 if (!flag_inline_functions_set)
1923 flag_inline_functions = value;
1926 case OPT_fprofile_values:
1927 flag_profile_values_set = true;
1930 case OPT_fvisibility_:
1932 if (!strcmp(arg, "default"))
1933 default_visibility = VISIBILITY_DEFAULT;
1934 else if (!strcmp(arg, "internal"))
1935 default_visibility = VISIBILITY_INTERNAL;
1936 else if (!strcmp(arg, "hidden"))
1937 default_visibility = VISIBILITY_HIDDEN;
1938 else if (!strcmp(arg, "protected"))
1939 default_visibility = VISIBILITY_PROTECTED;
1941 error ("unrecognized visibility value \"%s\"", arg);
1946 flag_value_profile_transformations_set = true;
1949 case OPT_frandom_seed:
1950 /* The real switch is -fno-random-seed. */
1953 set_random_seed (NULL);
1956 case OPT_frandom_seed_:
1957 set_random_seed (arg);
1960 case OPT_fselective_scheduling:
1961 case OPT_fselective_scheduling2:
1962 sel_sched_switch_set = true;
1965 case OPT_fsched_verbose_:
1966 #ifdef INSN_SCHEDULING
1967 fix_sched_param ("verbose", arg);
1973 case OPT_fsched_stalled_insns_:
1974 flag_sched_stalled_insns = value;
1975 if (flag_sched_stalled_insns == 0)
1976 flag_sched_stalled_insns = -1;
1979 case OPT_fsched_stalled_insns_dep_:
1980 flag_sched_stalled_insns_dep = value;
1983 case OPT_fstack_check_:
1984 if (!strcmp (arg, "no"))
1985 flag_stack_check = NO_STACK_CHECK;
1986 else if (!strcmp (arg, "generic"))
1987 /* This is the old stack checking method. */
1988 flag_stack_check = STACK_CHECK_BUILTIN
1989 ? FULL_BUILTIN_STACK_CHECK
1990 : GENERIC_STACK_CHECK;
1991 else if (!strcmp (arg, "specific"))
1992 /* This is the new stack checking method. */
1993 flag_stack_check = STACK_CHECK_BUILTIN
1994 ? FULL_BUILTIN_STACK_CHECK
1995 : STACK_CHECK_STATIC_BUILTIN
1996 ? STATIC_BUILTIN_STACK_CHECK
1997 : GENERIC_STACK_CHECK;
1999 warning (0, "unknown stack check parameter \"%s\"", arg);
2002 case OPT_fstack_check:
2003 /* This is the same as the "specific" mode above. */
2005 flag_stack_check = STACK_CHECK_BUILTIN
2006 ? FULL_BUILTIN_STACK_CHECK
2007 : STACK_CHECK_STATIC_BUILTIN
2008 ? STATIC_BUILTIN_STACK_CHECK
2009 : GENERIC_STACK_CHECK;
2011 flag_stack_check = NO_STACK_CHECK;
2014 case OPT_fstack_limit:
2015 /* The real switch is -fno-stack-limit. */
2018 stack_limit_rtx = NULL_RTX;
2021 case OPT_fstack_limit_register_:
2023 int reg = decode_reg_name (arg);
2025 error ("unrecognized register name \"%s\"", arg);
2027 stack_limit_rtx = gen_rtx_REG (Pmode, reg);
2031 case OPT_fstack_limit_symbol_:
2032 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
2035 case OPT_ftree_vectorizer_verbose_:
2036 vect_set_verbosity_level (arg);
2039 case OPT_ftls_model_:
2040 if (!strcmp (arg, "global-dynamic"))
2041 flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
2042 else if (!strcmp (arg, "local-dynamic"))
2043 flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
2044 else if (!strcmp (arg, "initial-exec"))
2045 flag_tls_default = TLS_MODEL_INITIAL_EXEC;
2046 else if (!strcmp (arg, "local-exec"))
2047 flag_tls_default = TLS_MODEL_LOCAL_EXEC;
2049 warning (0, "unknown tls-model \"%s\"", arg);
2052 case OPT_fira_algorithm_:
2053 if (!strcmp (arg, "CB"))
2054 flag_ira_algorithm = IRA_ALGORITHM_CB;
2055 else if (!strcmp (arg, "priority"))
2056 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
2058 warning (0, "unknown ira algorithm \"%s\"", arg);
2061 case OPT_fira_region_:
2062 if (!strcmp (arg, "one"))
2063 flag_ira_region = IRA_REGION_ONE;
2064 else if (!strcmp (arg, "all"))
2065 flag_ira_region = IRA_REGION_ALL;
2066 else if (!strcmp (arg, "mixed"))
2067 flag_ira_region = IRA_REGION_MIXED;
2069 warning (0, "unknown ira region \"%s\"", arg);
2072 case OPT_fira_verbose_:
2073 flag_ira_verbose = value;
2077 flag_tracer_set = true;
2081 flag_ipa_cp_set = true;
2084 case OPT_fipa_cp_clone:
2085 flag_ipa_cp_clone_set = true;
2088 case OPT_fpredictive_commoning:
2089 flag_predictive_commoning_set = true;
2092 case OPT_funswitch_loops:
2093 flag_unswitch_loops_set = true;
2096 case OPT_fgcse_after_reload:
2097 flag_gcse_after_reload_set = true;
2100 case OPT_funroll_loops:
2101 flag_unroll_loops_set = true;
2105 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
2109 set_debug_level (SDB_DEBUG, false, arg);
2113 if (value < 2 || value > 4)
2114 error ("dwarf version %d is not supported", value);
2116 dwarf_version = value;
2117 set_debug_level (DWARF2_DEBUG, false, "");
2121 set_debug_level (NO_DEBUG, 2, arg);
2126 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
2130 set_debug_level (VMS_DEBUG, false, arg);
2135 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
2139 asm_file_name = arg;
2142 case OPT_pedantic_errors:
2143 flag_pedantic_errors = pedantic = 1;
2147 case OPT_fcse_skip_blocks:
2148 case OPT_floop_optimize:
2149 case OPT_frerun_loop_opt:
2150 case OPT_fsched2_use_traces:
2151 case OPT_fstrength_reduce:
2152 case OPT_ftree_store_copy_prop:
2153 case OPT_fforce_addr:
2154 case OPT_ftree_salias:
2155 case OPT_ftree_store_ccp:
2156 case OPT_Wunreachable_code:
2157 case OPT_fargument_alias:
2158 case OPT_fargument_noalias:
2159 case OPT_fargument_noalias_anything:
2160 case OPT_fargument_noalias_global:
2161 /* These are no-ops, preserved for backward compatibility. */
2164 case OPT_fuse_linker_plugin:
2165 /* No-op. Used by the driver and passed to us because it starts with f.*/
2169 /* If the flag was handled in a standard way, assume the lack of
2170 processing here is intentional. */
2171 gcc_assert (cl_options[scode].flag_var);
2178 /* Handle --param NAME=VALUE. */
2180 handle_param (const char *carg)
2185 arg = xstrdup (carg);
2186 equal = strchr (arg, '=');
2188 error ("%s: --param arguments should be of the form NAME=VALUE", arg);
2191 value = integral_argument (equal + 1);
2193 error ("invalid --param value %qs", equal + 1);
2197 set_param_value (arg, value);
2204 /* Used to set the level of strict aliasing warnings,
2205 when no level is specified (i.e., when -Wstrict-aliasing, and not
2206 -Wstrict-aliasing=level was given).
2207 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2208 and 0 otherwise. After calling this function, wstrict_aliasing will be
2209 set to the default value of -Wstrict_aliasing=level, currently 3. */
2211 set_Wstrict_aliasing (int onoff)
2213 gcc_assert (onoff == 0 || onoff == 1);
2215 warn_strict_aliasing = 3;
2217 warn_strict_aliasing = 0;
2220 /* The following routines are useful in setting all the flags that
2221 -ffast-math and -fno-fast-math imply. */
2223 set_fast_math_flags (int set)
2225 flag_unsafe_math_optimizations = set;
2226 set_unsafe_math_optimizations_flags (set);
2227 flag_finite_math_only = set;
2228 flag_errno_math = !set;
2231 flag_signaling_nans = 0;
2232 flag_rounding_math = 0;
2233 flag_cx_limited_range = 1;
2237 /* When -funsafe-math-optimizations is set the following
2238 flags are set as well. */
2240 set_unsafe_math_optimizations_flags (int set)
2242 flag_trapping_math = !set;
2243 flag_signed_zeros = !set;
2244 flag_associative_math = set;
2245 flag_reciprocal_math = set;
2248 /* Return true iff flags are set as if -ffast-math. */
2250 fast_math_flags_set_p (void)
2252 return (!flag_trapping_math
2253 && flag_unsafe_math_optimizations
2254 && flag_finite_math_only
2255 && !flag_signed_zeros
2256 && !flag_errno_math);
2259 /* Return true iff flags are set as if -ffast-math but using the flags stored
2260 in the struct cl_optimization structure. */
2262 fast_math_flags_struct_set_p (struct cl_optimization *opt)
2264 return (!opt->flag_trapping_math
2265 && opt->flag_unsafe_math_optimizations
2266 && opt->flag_finite_math_only
2267 && !opt->flag_signed_zeros
2268 && !opt->flag_errno_math);
2271 /* Handle a debug output -g switch. EXTENDED is true or false to support
2272 extended output (2 is special and means "-ggdb" was given). */
2274 set_debug_level (enum debug_info_type type, int extended, const char *arg)
2276 static bool type_explicit;
2278 use_gnu_debug_info_extensions = extended;
2280 if (type == NO_DEBUG)
2282 if (write_symbols == NO_DEBUG)
2284 write_symbols = PREFERRED_DEBUGGING_TYPE;
2288 #ifdef DWARF2_DEBUGGING_INFO
2289 write_symbols = DWARF2_DEBUG;
2290 #elif defined DBX_DEBUGGING_INFO
2291 write_symbols = DBX_DEBUG;
2295 if (write_symbols == NO_DEBUG)
2296 warning (0, "target system does not support debug output");
2301 /* Does it conflict with an already selected type? */
2302 if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
2303 error ("debug format \"%s\" conflicts with prior selection",
2304 debug_type_names[type]);
2305 write_symbols = type;
2306 type_explicit = true;
2309 /* A debug flag without a level defaults to level 2. */
2312 if (!debug_info_level)
2313 debug_info_level = DINFO_LEVEL_NORMAL;
2317 int argval = integral_argument (arg);
2319 error ("unrecognised debug output level \"%s\"", arg);
2320 else if (argval > 3)
2321 error ("debug output level %s is too high", arg);
2323 debug_info_level = (enum debug_info_level) argval;
2327 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
2328 a simple on-off switch. */
2331 option_enabled (int opt_idx)
2333 const struct cl_option *option = &(cl_options[opt_idx]);
2335 if (option->flag_var)
2336 switch (option->var_type)
2339 return *(int *) option->flag_var != 0;
2342 return *(int *) option->flag_var == option->var_value;
2344 case CLVC_BIT_CLEAR:
2345 return (*(int *) option->flag_var & option->var_value) == 0;
2348 return (*(int *) option->flag_var & option->var_value) != 0;
2356 /* Fill STATE with the current state of option OPTION. Return true if
2357 there is some state to store. */
2360 get_option_state (int option, struct cl_option_state *state)
2362 if (cl_options[option].flag_var == 0)
2365 switch (cl_options[option].var_type)
2369 state->data = cl_options[option].flag_var;
2370 state->size = sizeof (int);
2373 case CLVC_BIT_CLEAR:
2375 state->ch = option_enabled (option);
2376 state->data = &state->ch;
2381 state->data = *(const char **) cl_options[option].flag_var;
2382 if (state->data == 0)
2384 state->size = strlen ((const char *) state->data) + 1;
2390 /* Set *OPTION according to VALUE and ARG. */
2393 set_option (int opt_index, int value, const char *arg, int kind)
2395 const struct cl_option *option = &cl_options[opt_index];
2397 if (!option->flag_var)
2400 switch (option->var_type)
2403 *(int *) option->flag_var = value;
2407 *(int *) option->flag_var = (value
2409 : !option->var_value);
2412 case CLVC_BIT_CLEAR:
2414 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
2415 *(int *) option->flag_var |= option->var_value;
2417 *(int *) option->flag_var &= ~option->var_value;
2418 if (option->flag_var == &target_flags)
2419 target_flags_explicit |= option->var_value;
2423 *(const char **) option->flag_var = arg;
2427 if ((diagnostic_t)kind != DK_UNSPECIFIED)
2428 diagnostic_classify_diagnostic (global_dc, opt_index, (diagnostic_t)kind);
2432 /* Callback function, called when -Werror= enables a warning. */
2434 static void (*warning_as_error_callback) (int) = NULL;
2436 /* Register a callback for enable_warning_as_error calls. */
2439 register_warning_as_error_callback (void (*callback) (int))
2441 gcc_assert (warning_as_error_callback == NULL || callback == NULL);
2442 warning_as_error_callback = callback;
2445 /* Enable a warning option as an error. This is used by -Werror= and
2446 also by legacy Werror-implicit-function-declaration. */
2449 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask)
2454 new_option = XNEWVEC (char, strlen (arg) + 2);
2455 new_option[0] = 'W';
2456 strcpy (new_option + 1, arg);
2457 option_index = find_opt (new_option, lang_mask);
2458 if (option_index == N_OPTS)
2460 error ("-Werror=%s: No option -%s", arg, new_option);
2464 const diagnostic_t kind = value ? DK_ERROR : DK_WARNING;
2466 diagnostic_classify_diagnostic (global_dc, option_index, kind);
2467 if (kind == DK_ERROR)
2469 const struct cl_option * const option = cl_options + option_index;
2471 /* -Werror=foo implies -Wfoo. */
2472 if (option->var_type == CLVC_BOOLEAN)
2473 handle_option (option_index, value, arg, lang_mask, (int)kind);
2475 if (warning_as_error_callback)
2476 warning_as_error_callback (option_index);