1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
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"
46 /* Value of the -G xx switch, and whether it was passed or not. */
47 unsigned HOST_WIDE_INT g_switch_value;
50 /* Same for selective scheduling. */
51 bool sel_sched_switch_set;
53 /* True if we should exit after parsing options. */
54 bool exit_after_options;
56 /* Print various extra warnings. -W/-Wextra. */
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 #ifdef ENABLE_CHECKING
342 static const char undocumented_msg[] = N_("This switch lacks documentation");
344 static const char undocumented_msg[] = "";
347 /* Used for bookkeeping on whether user set these flags so
348 -fprofile-use/-fprofile-generate does not use them. */
349 static bool profile_arc_flag_set, flag_profile_values_set;
350 static bool flag_unroll_loops_set, flag_tracer_set;
351 static bool flag_value_profile_transformations_set;
352 static bool flag_peel_loops_set, flag_branch_probabilities_set;
353 static bool flag_inline_functions_set, flag_ipa_cp_set, flag_ipa_cp_clone_set;
354 static bool flag_predictive_commoning_set, flag_unswitch_loops_set, flag_gcse_after_reload_set;
356 /* Functions excluded from profiling. */
358 typedef char *char_p; /* For DEF_VEC_P. */
360 DEF_VEC_ALLOC_P(char_p,heap);
362 static VEC(char_p,heap) *flag_instrument_functions_exclude_functions;
363 static VEC(char_p,heap) *flag_instrument_functions_exclude_files;
365 typedef const char *const_char_p; /* For DEF_VEC_P. */
366 DEF_VEC_P(const_char_p);
367 DEF_VEC_ALLOC_P(const_char_p,heap);
369 static VEC(const_char_p,heap) *ignored_options;
371 /* Input file names. */
372 const char **in_fnames;
373 unsigned num_in_fnames;
375 static int common_handle_option (size_t scode, const char *arg, int value,
376 unsigned int lang_mask);
377 static void handle_param (const char *);
378 static void set_Wextra (int);
379 static unsigned int handle_option (const char **argv, unsigned int lang_mask);
380 static char *write_langs (unsigned int lang_mask);
381 static void complain_wrong_lang (const char *, const struct cl_option *,
382 unsigned int lang_mask);
383 static void handle_options (unsigned int, const char **, unsigned int);
384 static void set_debug_level (enum debug_info_type type, int extended,
387 /* If ARG is a non-negative integer made up solely of digits, return its
388 value, otherwise return -1. */
390 integral_argument (const char *arg)
394 while (*p && ISDIGIT (*p))
403 /* Return a malloced slash-separated list of languages in MASK. */
405 write_langs (unsigned int mask)
407 unsigned int n = 0, len = 0;
408 const char *lang_name;
411 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
412 if (mask & (1U << n))
413 len += strlen (lang_name) + 1;
415 result = XNEWVEC (char, len);
417 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
418 if (mask & (1U << n))
422 strcpy (result + len, lang_name);
423 len += strlen (lang_name);
431 /* Complain that switch OPT_INDEX does not apply to this front end. */
433 complain_wrong_lang (const char *text, const struct cl_option *option,
434 unsigned int lang_mask)
436 char *ok_langs, *bad_lang;
438 ok_langs = write_langs (option->flags);
439 bad_lang = write_langs (lang_mask);
441 /* Eventually this should become a hard error IMO. */
442 warning (0, "command line option \"%s\" is valid for %s but not for %s",
443 text, ok_langs, bad_lang);
449 /* Buffer the unknown option described by the string OPT. Currently,
450 we only complain about unknown -Wno-* options if they may have
451 prevented a diagnostic. Otherwise, we just ignore them.
452 Note that if we do complain, it is only as a warning, not an error;
453 passing the compiler an unrecognised -Wno-* option should never
454 change whether the compilation succeeds or fails. */
456 static void postpone_unknown_option_warning(const char *opt)
458 VEC_safe_push (const_char_p, heap, ignored_options, opt);
461 /* Produce a warning for each option previously buffered. */
463 void print_ignored_options (void)
465 location_t saved_loc = input_location;
469 while (!VEC_empty (const_char_p, ignored_options))
472 opt = VEC_pop (const_char_p, ignored_options);
473 warning (0, "unrecognized command line option \"%s\"", opt);
476 input_location = saved_loc;
479 /* Handle the switch beginning at ARGV for the language indicated by
480 LANG_MASK. Returns the number of switches consumed. */
482 handle_option (const char **argv, unsigned int lang_mask)
485 const char *opt, *arg = 0;
488 unsigned int result = 0;
489 const struct cl_option *option;
493 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
494 if (opt_index == cl_options_count
495 && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
496 && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
498 /* Drop the "no-" from negative switches. */
499 size_t len = strlen (opt) - 3;
501 dup = XNEWVEC (char, len + 1);
504 memcpy (dup + 2, opt + 5, len - 2 + 1);
507 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
508 if (opt_index == cl_options_count && opt[1] == 'W')
510 /* We don't generate warnings for unknown -Wno-* options
511 unless we issue diagnostics. */
512 postpone_unknown_option_warning (argv[0]);
518 if (opt_index == cl_options_count)
521 option = &cl_options[opt_index];
523 /* Reject negative form of switches that don't take negatives as
525 if (!value && (option->flags & CL_REJECT_NEGATIVE))
528 /* We've recognized this switch. */
531 /* Check to see if the option is disabled for this configuration. */
532 if (option->flags & CL_DISABLED)
534 error ("command line option %qs"
535 " is not supported by this configuration", opt);
539 /* Sort out any argument the switch takes. */
540 if (option->flags & CL_JOINED)
542 /* Have arg point to the original switch. This is because
543 some code, such as disable_builtin_function, expects its
544 argument to be persistent until the program exits. */
545 arg = argv[0] + cl_options[opt_index].opt_len + 1;
547 arg += strlen ("no-");
549 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
551 if (option->flags & CL_SEPARATE)
557 /* Missing argument. */
561 else if (option->flags & CL_SEPARATE)
567 /* Now we've swallowed any potential argument, complain if this
568 is a switch for a different front end. */
569 if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
571 complain_wrong_lang (argv[0], option, lang_mask);
574 else if ((option->flags & CL_TARGET)
575 && (option->flags & CL_LANG_ALL)
576 && !(option->flags & lang_mask))
578 /* Complain for target flag language mismatches if any languages
580 complain_wrong_lang (argv[0], option, lang_mask);
584 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
586 if (!lang_hooks.missing_argument (opt, opt_index))
587 error ("missing argument to \"%s\"", opt);
591 /* If the switch takes an integer, convert it. */
592 if (arg && (option->flags & CL_UINTEGER))
594 value = integral_argument (arg);
597 error ("argument to \"%s\" should be a non-negative integer",
603 if (option->flag_var)
604 switch (option->var_type)
607 *(int *) option->flag_var = value;
611 *(int *) option->flag_var = (value
613 : !option->var_value);
618 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
619 *(int *) option->flag_var |= option->var_value;
621 *(int *) option->flag_var &= ~option->var_value;
622 if (option->flag_var == &target_flags)
623 target_flags_explicit |= option->var_value;
627 *(const char **) option->flag_var = arg;
631 if (option->flags & lang_mask)
632 if (lang_hooks.handle_option (opt_index, arg, value) == 0)
635 if (result && (option->flags & CL_COMMON))
636 if (common_handle_option (opt_index, arg, value, lang_mask) == 0)
639 if (result && (option->flags & CL_TARGET))
640 if (!targetm.handle_option (opt_index, arg, value))
649 /* Handle FILENAME from the command line. */
651 add_input_filename (const char *filename)
654 in_fnames = XRESIZEVEC (const char *, in_fnames, num_in_fnames);
655 in_fnames[num_in_fnames - 1] = filename;
658 /* Add comma-separated strings to a char_p vector. */
661 add_comma_separated_to_vector (VEC(char_p,heap) **pvec, const char* arg)
668 /* We never free this string. */
681 VEC_safe_push (char_p, heap, *pvec, token_start);
684 if (*r == '\\' && r[1] == ',')
692 if (*token_start != '\0')
693 VEC_safe_push (char_p, heap, *pvec, token_start);
696 /* Return whether we should exclude FNDECL from instrumentation. */
699 flag_instrument_functions_exclude_p (tree fndecl)
701 if (VEC_length (char_p, flag_instrument_functions_exclude_functions) > 0)
707 name = lang_hooks.decl_printable_name (fndecl, 0);
709 VEC_iterate (char_p, flag_instrument_functions_exclude_functions,
713 if (strstr (name, s) != NULL)
718 if (VEC_length (char_p, flag_instrument_functions_exclude_files) > 0)
724 name = DECL_SOURCE_FILE (fndecl);
726 VEC_iterate (char_p, flag_instrument_functions_exclude_files, i, s);
729 if (strstr (name, s) != NULL)
738 /* Decode and handle the vector of command line options. LANG_MASK
739 contains has a single bit set representing the current
742 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
746 for (i = 1; i < argc; i += n)
748 const char *opt = argv[i];
750 /* Interpret "-" or a non-switch as a file name. */
751 if (opt[0] != '-' || opt[1] == '\0')
753 if (main_input_filename == NULL)
755 main_input_filename = opt;
756 main_input_baselength
757 = base_of_path (main_input_filename, &main_input_basename);
759 add_input_filename (opt);
764 n = handle_option (argv + i, lang_mask);
769 error ("unrecognized command line option \"%s\"", opt);
774 /* Parse command line options and set default flag values. Do minimal
775 options processing. */
777 decode_options (unsigned int argc, const char **argv)
779 static bool first_time_p = true;
780 static int initial_max_aliased_vops;
781 static int initial_avg_aliased_vops;
782 static int initial_min_crossjump_insns;
783 static int initial_max_fields_for_field_sensitive;
784 static int initial_loop_invariant_max_bbs_in_loop;
785 static unsigned int initial_lang_mask;
787 unsigned int i, lang_mask;
795 /* Perform language-specific options initialization. */
796 initial_lang_mask = lang_mask = lang_hooks.init_options (argc, argv);
798 lang_hooks.initialize_diagnostics (global_dc);
800 /* Save initial values of parameters we reset. */
801 initial_max_aliased_vops = MAX_ALIASED_VOPS;
802 initial_avg_aliased_vops = AVG_ALIASED_VOPS;
803 initial_min_crossjump_insns
804 = compiler_params[PARAM_MIN_CROSSJUMP_INSNS].value;
805 initial_max_fields_for_field_sensitive
806 = compiler_params[PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE].value;
807 initial_loop_invariant_max_bbs_in_loop
808 = compiler_params[PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP].value;
811 lang_mask = initial_lang_mask;
813 /* Scan to see what optimization level has been specified. That will
814 determine the default value of many flags. */
815 for (i = 1; i < argc; i++)
817 if (!strcmp (argv[i], "-O"))
822 else if (argv[i][0] == '-' && argv[i][1] == 'O')
824 /* Handle -Os, -O2, -O3, -O69, ... */
825 const char *p = &argv[i][2];
827 if ((p[0] == 's') && (p[1] == 0))
831 /* Optimizing for size forces optimize to be 2. */
836 const int optimize_val = read_integral_parameter (p, p - 2, -1);
837 if (optimize_val != -1)
839 optimize = optimize_val;
840 if ((unsigned int) optimize > 255)
848 /* Use priority coloring if cover classes is not defined for the
850 if (targetm.ira_cover_classes == NULL)
851 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
853 /* -O1 optimizations. */
854 opt1 = (optimize >= 1);
855 flag_defer_pop = opt1;
857 flag_delayed_branch = opt1;
859 #ifdef CAN_DEBUG_WITHOUT_FP
860 flag_omit_frame_pointer = opt1;
862 flag_guess_branch_prob = opt1;
863 flag_cprop_registers = opt1;
864 flag_if_conversion = opt1;
865 flag_if_conversion2 = opt1;
866 flag_ipa_pure_const = opt1;
867 flag_ipa_reference = opt1;
868 flag_merge_constants = opt1;
869 flag_split_wide_types = opt1;
870 flag_tree_ccp = opt1;
871 flag_tree_dce = opt1;
872 flag_tree_dom = opt1;
873 flag_tree_dse = opt1;
874 flag_tree_ter = opt1;
875 flag_tree_sra = opt1;
876 flag_tree_copyrename = opt1;
877 flag_tree_fre = opt1;
878 flag_tree_copy_prop = opt1;
879 flag_tree_sink = opt1;
882 /* -O2 optimizations. */
883 opt2 = (optimize >= 2);
884 flag_inline_small_functions = opt2;
885 flag_indirect_inlining = opt2;
886 flag_thread_jumps = opt2;
887 flag_crossjumping = opt2;
888 flag_optimize_sibling_calls = opt2;
889 flag_forward_propagate = opt2;
890 flag_cse_follow_jumps = opt2;
892 flag_expensive_optimizations = opt2;
893 flag_rerun_cse_after_loop = opt2;
894 flag_caller_saves = opt2;
895 flag_peephole2 = opt2;
896 #ifdef INSN_SCHEDULING
897 flag_schedule_insns = opt2;
898 flag_schedule_insns_after_reload = opt2;
901 flag_strict_aliasing = opt2;
902 flag_strict_overflow = opt2;
903 flag_delete_null_pointer_checks = opt2;
904 flag_reorder_blocks = opt2;
905 flag_reorder_functions = opt2;
906 flag_tree_vrp = opt2;
907 flag_tree_builtin_call_dce = opt2;
908 flag_tree_pre = opt2;
909 flag_tree_switch_conversion = 1;
912 /* Allow more virtual operators to increase alias precision. */
914 set_param_value ("max-aliased-vops",
915 (opt2) ? 500 : initial_max_aliased_vops);
917 /* Track fields in field-sensitive alias analysis. */
918 set_param_value ("max-fields-for-field-sensitive",
919 (opt2) ? 100 : initial_max_fields_for_field_sensitive);
921 /* For -O1 only do loop invariant motion for very small loops. */
922 set_param_value ("loop-invariant-max-bbs-in-loop",
923 (opt2) ? initial_loop_invariant_max_bbs_in_loop : 1000);
925 /* -O3 optimizations. */
926 opt3 = (optimize >= 3);
927 flag_predictive_commoning = opt3;
928 flag_inline_functions = opt3;
929 flag_unswitch_loops = opt3;
930 flag_gcse_after_reload = opt3;
931 flag_tree_vectorize = opt3;
932 flag_ipa_cp_clone = opt3;
933 if (flag_ipa_cp_clone)
936 /* Allow even more virtual operators. Max-aliased-vops was set above for
937 -O2, so don't reset it unless we are at -O3. */
939 set_param_value ("max-aliased-vops", 1000);
941 set_param_value ("avg-aliased-vops", (opt3) ? 3 : initial_avg_aliased_vops);
943 /* Just -O1/-O0 optimizations. */
944 opt1_max = (optimize <= 1);
945 align_loops = opt1_max;
946 align_jumps = opt1_max;
947 align_labels = opt1_max;
948 align_functions = opt1_max;
952 /* Inlining of functions reducing size is a good idea regardless of them
953 being declared inline. */
954 flag_inline_functions = 1;
956 /* Basic optimization options. */
961 /* We want to crossjump as much as possible. */
962 set_param_value ("min-crossjump-insns", 1);
965 set_param_value ("min-crossjump-insns", initial_min_crossjump_insns);
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 #ifdef OPTIMIZATION_OPTIONS
984 /* Allow default optimizations to be specified on a per-machine basis. */
985 OPTIMIZATION_OPTIONS (optimize, optimize_size);
988 handle_options (argc, argv, lang_mask);
990 /* Handle related options for unit-at-a-time, toplevel-reorder, and
992 if (!flag_unit_at_a_time)
994 if (flag_section_anchors == 1)
995 error ("Section anchors must be disabled when unit-at-a-time "
997 flag_section_anchors = 0;
998 if (flag_toplevel_reorder == 1)
999 error ("Toplevel reorder must be disabled when unit-at-a-time "
1001 flag_toplevel_reorder = 0;
1003 /* Unless the user has asked for section anchors, we disable toplevel
1004 reordering at -O0 to disable transformations that might be surprising
1005 to end users and to get -fno-toplevel-reorder tested. */
1006 if (!optimize && flag_toplevel_reorder == 2 && flag_section_anchors != 1)
1008 flag_toplevel_reorder = 0;
1009 flag_section_anchors = 0;
1011 if (!flag_toplevel_reorder)
1013 if (flag_section_anchors == 1)
1014 error ("section anchors must be disabled when toplevel reorder"
1016 flag_section_anchors = 0;
1022 flag_pic = flag_pie;
1023 if (flag_pic && !flag_pie)
1029 /* Inlining does not work if not optimizing,
1030 so force it not to be done. */
1035 /* The optimization to partition hot and cold basic blocks into separate
1036 sections of the .o and executable files does not work (currently)
1037 with exception handling. This is because there is no support for
1038 generating unwind info. If flag_exceptions is turned on we need to
1039 turn off the partitioning optimization. */
1041 if (flag_exceptions && flag_reorder_blocks_and_partition)
1043 inform (input_location,
1044 "-freorder-blocks-and-partition does not work with exceptions");
1045 flag_reorder_blocks_and_partition = 0;
1046 flag_reorder_blocks = 1;
1049 /* If user requested unwind info, then turn off the partitioning
1052 if (flag_unwind_tables && ! targetm.unwind_tables_default
1053 && flag_reorder_blocks_and_partition)
1055 inform (input_location, "-freorder-blocks-and-partition does not support unwind info");
1056 flag_reorder_blocks_and_partition = 0;
1057 flag_reorder_blocks = 1;
1060 /* If the target requested unwind info, then turn off the partitioning
1061 optimization with a different message. Likewise, if the target does not
1062 support named sections. */
1064 if (flag_reorder_blocks_and_partition
1065 && (!targetm.have_named_sections
1066 || (flag_unwind_tables && targetm.unwind_tables_default)))
1068 inform (input_location,
1069 "-freorder-blocks-and-partition does not work on this architecture");
1070 flag_reorder_blocks_and_partition = 0;
1071 flag_reorder_blocks = 1;
1074 /* Pipelining of outer loops is only possible when general pipelining
1075 capabilities are requested. */
1076 if (!flag_sel_sched_pipelining)
1077 flag_sel_sched_pipelining_outer_loops = 0;
1079 if (!targetm.ira_cover_classes
1080 && flag_ira_algorithm == IRA_ALGORITHM_CB)
1082 inform (input_location,
1083 "-fira-algorithm=CB does not work on this architecture");
1084 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
1087 /* Save the current optimization options if this is the first call. */
1090 optimization_default_node = build_optimization_node ();
1091 optimization_current_node = optimization_default_node;
1092 first_time_p = false;
1094 if (flag_conserve_stack)
1096 if (!PARAM_SET_P (PARAM_LARGE_STACK_FRAME))
1097 PARAM_VALUE (PARAM_LARGE_STACK_FRAME) = 100;
1098 if (!PARAM_SET_P (PARAM_STACK_FRAME_GROWTH))
1099 PARAM_VALUE (PARAM_STACK_FRAME_GROWTH) = 40;
1104 #define LEFT_COLUMN 27
1106 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1107 followed by word-wrapped HELP in a second column. */
1109 wrap_help (const char *help,
1111 unsigned int item_width,
1112 unsigned int columns)
1114 unsigned int col_width = LEFT_COLUMN;
1115 unsigned int remaining, room, len;
1117 remaining = strlen (help);
1121 room = columns - 3 - MAX (col_width, item_width);
1130 for (i = 0; help[i]; i++)
1132 if (i >= room && len != remaining)
1136 else if ((help[i] == '-' || help[i] == '/')
1137 && help[i + 1] != ' '
1138 && i > 0 && ISALPHA (help[i - 1]))
1143 printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help);
1145 while (help[len] == ' ')
1153 /* Print help for a specific front-end, etc. */
1155 print_filtered_help (unsigned int include_flags,
1156 unsigned int exclude_flags,
1157 unsigned int any_flags,
1158 unsigned int columns)
1162 static char *printed = NULL;
1164 bool displayed = false;
1166 if (include_flags == CL_PARAMS)
1168 for (i = 0; i < LAST_PARAM; i++)
1170 const char *param = compiler_params[i].option;
1172 help = compiler_params[i].help;
1173 if (help == NULL || *help == '\0')
1175 if (exclude_flags & CL_UNDOCUMENTED)
1177 help = undocumented_msg;
1180 /* Get the translation. */
1183 wrap_help (help, param, strlen (param), columns);
1190 printed = XCNEWVAR (char, cl_options_count);
1192 for (i = 0; i < cl_options_count; i++)
1194 static char new_help[128];
1195 const struct cl_option *option = cl_options + i;
1200 if (include_flags == 0
1201 || ((option->flags & include_flags) != include_flags))
1203 if ((option->flags & any_flags) == 0)
1207 /* Skip unwanted switches. */
1208 if ((option->flags & exclude_flags) != 0)
1212 /* Skip switches that have already been printed. */
1218 help = option->help;
1221 if (exclude_flags & CL_UNDOCUMENTED)
1223 help = undocumented_msg;
1226 /* Get the translation. */
1229 /* Find the gap between the name of the
1230 option and its descriptive text. */
1231 tab = strchr (help, '\t');
1240 opt = option->opt_text;
1244 /* With the -Q option enabled we change the descriptive text associated
1245 with an option to be an indication of its current setting. */
1248 if (len < (LEFT_COLUMN + 2))
1249 strcpy (new_help, "\t\t");
1251 strcpy (new_help, "\t");
1253 if (option->flag_var != NULL)
1255 if (option->flags & CL_JOINED)
1257 if (option->var_type == CLVC_STRING)
1259 if (* (const char **) option->flag_var != NULL)
1260 snprintf (new_help + strlen (new_help),
1261 sizeof (new_help) - strlen (new_help),
1262 * (const char **) option->flag_var);
1265 sprintf (new_help + strlen (new_help),
1266 "%#x", * (int *) option->flag_var);
1269 strcat (new_help, option_enabled (i)
1270 ? _("[enabled]") : _("[disabled]"));
1276 wrap_help (help, opt, len, columns);
1282 unsigned int langs = include_flags & CL_LANG_ALL;
1285 printf (_(" No options with the desired characteristics were found\n"));
1290 /* PR 31349: Tell the user how to see all of the
1291 options supported by a specific front end. */
1292 for (i = 0; (1U << i) < CL_LANG_ALL; i ++)
1293 if ((1U << i) & langs)
1294 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1295 lang_names[i], lang_names[i]);
1299 else if (! displayed)
1300 printf (_(" All options with the desired characteristics have already been displayed\n"));
1305 /* Display help for a specified type of option.
1306 The options must have ALL of the INCLUDE_FLAGS set
1307 ANY of the flags in the ANY_FLAGS set
1308 and NONE of the EXCLUDE_FLAGS set. */
1310 print_specific_help (unsigned int include_flags,
1311 unsigned int exclude_flags,
1312 unsigned int any_flags)
1314 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1315 const char * description = NULL;
1316 const char * descrip_extra = "";
1319 static unsigned int columns = 0;
1321 /* Sanity check: Make sure that we do not have more
1322 languages than we have bits available to enumerate them. */
1323 gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS);
1325 /* If we have not done so already, obtain
1326 the desired maximum width of the output. */
1331 GET_ENVIRONMENT (p, "COLUMNS");
1334 int value = atoi (p);
1341 /* Use a reasonable default. */
1345 /* Decide upon the title for the options that we are going to display. */
1346 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1348 switch (flag & include_flags)
1354 description = _("The following options are target specific");
1357 description = _("The following options control compiler warning messages");
1359 case CL_OPTIMIZATION:
1360 description = _("The following options control optimizations");
1363 description = _("The following options are language-independent");
1366 description = _("The --param option recognizes the following as parameters");
1369 if (i >= cl_lang_count)
1371 if (exclude_flags & all_langs_mask)
1372 description = _("The following options are specific to just the language ");
1374 description = _("The following options are supported by the language ");
1375 descrip_extra = lang_names [i];
1380 if (description == NULL)
1384 if (include_flags & CL_UNDOCUMENTED)
1385 description = _("The following options are not documented");
1386 else if (include_flags & CL_SEPARATE)
1387 description = _("The following options take separate arguments");
1388 else if (include_flags & CL_JOINED)
1389 description = _("The following options take joined arguments");
1392 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1399 if (any_flags & all_langs_mask)
1400 description = _("The following options are language-related");
1402 description = _("The following options are language-independent");
1406 printf ("%s%s:\n", description, descrip_extra);
1407 print_filtered_help (include_flags, exclude_flags, any_flags, columns);
1410 /* Handle target- and language-independent options. Return zero to
1411 generate an "unknown option" message. Only options that need
1412 extra handling need to be listed here; if you simply want
1413 VALUE assigned to a variable, it happens automatically. */
1416 common_handle_option (size_t scode, const char *arg, int value,
1417 unsigned int lang_mask)
1419 static bool verbose = false;
1420 enum opt_code code = (enum opt_code) scode;
1435 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1436 unsigned int undoc_mask;
1439 undoc_mask = (verbose | extra_warnings) ? 0 : CL_UNDOCUMENTED;
1440 /* First display any single language specific options. */
1441 for (i = 0; i < cl_lang_count; i++)
1443 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0);
1444 /* Next display any multi language specific options. */
1445 print_specific_help (0, undoc_mask, all_langs_mask);
1446 /* Then display any remaining, non-language options. */
1447 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1448 print_specific_help (i, undoc_mask, 0);
1449 exit_after_options = true;
1453 case OPT_ftarget_help:
1454 case OPT__target_help:
1455 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0);
1456 exit_after_options = true;
1458 /* Allow the target a chance to give the user some additional information. */
1459 if (targetm.target_help)
1460 targetm.target_help ();
1466 const char * a = arg;
1467 unsigned int include_flags = 0;
1468 /* Note - by default we include undocumented options when listing
1469 specific classes. If you only want to see documented options
1470 then add ",^undocumented" to the --help= option. E.g.:
1472 --help=target,^undocumented */
1473 unsigned int exclude_flags = 0;
1475 /* Walk along the argument string, parsing each word in turn.
1477 arg = [^]{word}[,{arg}]
1478 word = {optimizers|target|warnings|undocumented|
1479 params|common|<language>} */
1484 const char * string;
1489 { "optimizers", CL_OPTIMIZATION },
1490 { "target", CL_TARGET },
1491 { "warnings", CL_WARNING },
1492 { "undocumented", CL_UNDOCUMENTED },
1493 { "params", CL_PARAMS },
1494 { "joined", CL_JOINED },
1495 { "separate", CL_SEPARATE },
1496 { "common", CL_COMMON },
1499 unsigned int * pflags;
1501 unsigned int lang_flag, specific_flag;
1508 pflags = & exclude_flags;
1511 pflags = & include_flags;
1513 comma = strchr (a, ',');
1524 /* Check to see if the string matches an option class name. */
1525 for (i = 0, specific_flag = 0; specifics[i].string != NULL; i++)
1526 if (strncasecmp (a, specifics[i].string, len) == 0)
1528 specific_flag = specifics[i].flag;
1532 /* Check to see if the string matches a language name.
1533 Note - we rely upon the alpha-sorted nature of the entries in
1534 the lang_names array, specifically that shorter names appear
1535 before their longer variants. (i.e. C before C++). That way
1536 when we are attempting to match --help=c for example we will
1537 match with C first and not C++. */
1538 for (i = 0, lang_flag = 0; i < cl_lang_count; i++)
1539 if (strncasecmp (a, lang_names[i], len) == 0)
1541 lang_flag = 1U << i;
1545 if (specific_flag != 0)
1548 * pflags |= specific_flag;
1551 /* The option's argument matches both the start of a
1552 language name and the start of an option class name.
1553 We have a special case for when the user has
1554 specified "--help=c", but otherwise we have to issue
1556 if (strncasecmp (a, "c", len) == 0)
1557 * pflags |= lang_flag;
1560 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1564 else if (lang_flag != 0)
1565 * pflags |= lang_flag;
1568 "warning: unrecognized argument to --help= option: %.*s\n",
1577 print_specific_help (include_flags, exclude_flags, 0);
1578 exit_after_options = true;
1583 print_version (stderr, "");
1584 exit_after_options = true;
1588 g_switch_value = value;
1589 g_switch_set = true;
1594 /* Currently handled in a prescan. */
1598 /* For backward compatibility, -W is the same as -Wextra. */
1603 enable_warning_as_error (arg, value, lang_mask);
1610 case OPT_Wlarger_than_:
1611 /* This form corresponds to -Wlarger-than-.
1612 Kept for backward compatibility.
1613 Don't use it as the first argument of warning(). */
1615 case OPT_Wlarger_than_eq:
1616 larger_than_size = value;
1617 warn_larger_than = value != -1;
1620 case OPT_Wframe_larger_than_:
1621 frame_larger_than_size = value;
1622 warn_frame_larger_than = value != -1;
1625 case OPT_Wstrict_aliasing:
1626 set_Wstrict_aliasing (value);
1629 case OPT_Wstrict_aliasing_:
1630 warn_strict_aliasing = value;
1633 case OPT_Wstrict_overflow:
1634 warn_strict_overflow = (value
1635 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1639 case OPT_Wstrict_overflow_:
1640 warn_strict_overflow = value;
1644 warn_unused = value;
1649 aux_info_file_name = arg;
1650 flag_gen_aux_info = 1;
1654 aux_base_name = arg;
1657 case OPT_auxbase_strip:
1659 char *tmp = xstrdup (arg);
1660 strip_off_ending (tmp, strlen (tmp));
1662 aux_base_name = tmp;
1667 decode_d_option (arg);
1671 dump_base_name = arg;
1674 case OPT_falign_functions_:
1675 align_functions = value;
1678 case OPT_falign_jumps_:
1679 align_jumps = value;
1682 case OPT_falign_labels_:
1683 align_labels = value;
1686 case OPT_falign_loops_:
1687 align_loops = value;
1690 case OPT_fbranch_probabilities:
1691 flag_branch_probabilities_set = true;
1694 case OPT_fcall_used_:
1695 fix_register (arg, 0, 1);
1698 case OPT_fcall_saved_:
1699 fix_register (arg, 0, 0);
1703 dbg_cnt_process_opt (arg);
1706 case OPT_fdbg_cnt_list:
1707 dbg_cnt_list_all_counters ();
1710 case OPT_fdebug_prefix_map_:
1711 add_debug_prefix_map (arg);
1714 case OPT_fdiagnostics_show_location_:
1715 if (!strcmp (arg, "once"))
1716 diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
1717 else if (!strcmp (arg, "every-line"))
1718 diagnostic_prefixing_rule (global_dc)
1719 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
1724 case OPT_fdiagnostics_show_option:
1725 global_dc->show_option_requested = true;
1729 if (!dump_switch_p (arg))
1733 case OPT_ffast_math:
1734 set_fast_math_flags (value);
1737 case OPT_funsafe_math_optimizations:
1738 set_unsafe_math_optimizations_flags (value);
1742 fix_register (arg, 1, 1);
1745 case OPT_finline_limit_:
1746 case OPT_finline_limit_eq:
1747 set_param_value ("max-inline-insns-single", value / 2);
1748 set_param_value ("max-inline-insns-auto", value / 2);
1751 case OPT_finstrument_functions_exclude_function_list_:
1752 add_comma_separated_to_vector
1753 (&flag_instrument_functions_exclude_functions, arg);
1756 case OPT_finstrument_functions_exclude_file_list_:
1757 add_comma_separated_to_vector
1758 (&flag_instrument_functions_exclude_files, arg);
1761 case OPT_fmessage_length_:
1762 pp_set_line_maximum_length (global_dc->printer, value);
1765 case OPT_fpack_struct_:
1766 if (value <= 0 || (value & (value - 1)) || value > 16)
1767 error ("structure alignment must be a small power of two, not %d", value);
1770 initial_max_fld_align = value;
1771 maximum_field_alignment = value * BITS_PER_UNIT;
1775 case OPT_fpeel_loops:
1776 flag_peel_loops_set = true;
1779 case OPT_fprofile_arcs:
1780 profile_arc_flag_set = true;
1783 case OPT_finline_functions:
1784 flag_inline_functions_set = true;
1787 case OPT_fprofile_dir_:
1788 profile_data_prefix = xstrdup (arg);
1791 case OPT_fprofile_use_:
1792 profile_data_prefix = xstrdup (arg);
1793 flag_profile_use = true;
1795 /* No break here - do -fprofile-use processing. */
1796 case OPT_fprofile_use:
1797 if (!flag_branch_probabilities_set)
1798 flag_branch_probabilities = value;
1799 if (!flag_profile_values_set)
1800 flag_profile_values = value;
1801 if (!flag_unroll_loops_set)
1802 flag_unroll_loops = value;
1803 if (!flag_peel_loops_set)
1804 flag_peel_loops = value;
1805 if (!flag_tracer_set)
1806 flag_tracer = value;
1807 if (!flag_value_profile_transformations_set)
1808 flag_value_profile_transformations = value;
1809 if (!flag_inline_functions_set)
1810 flag_inline_functions = value;
1811 if (!flag_ipa_cp_set)
1812 flag_ipa_cp = value;
1813 if (!flag_ipa_cp_clone_set
1814 && value && flag_ipa_cp)
1815 flag_ipa_cp_clone = value;
1816 if (!flag_predictive_commoning_set)
1817 flag_predictive_commoning = value;
1818 if (!flag_unswitch_loops_set)
1819 flag_unswitch_loops = value;
1820 if (!flag_gcse_after_reload_set)
1821 flag_gcse_after_reload = value;
1824 case OPT_fprofile_generate_:
1825 profile_data_prefix = xstrdup (arg);
1827 /* No break here - do -fprofile-generate processing. */
1828 case OPT_fprofile_generate:
1829 if (!profile_arc_flag_set)
1830 profile_arc_flag = value;
1831 if (!flag_profile_values_set)
1832 flag_profile_values = value;
1833 if (!flag_value_profile_transformations_set)
1834 flag_value_profile_transformations = value;
1835 if (!flag_inline_functions_set)
1836 flag_inline_functions = value;
1839 case OPT_fprofile_values:
1840 flag_profile_values_set = true;
1843 case OPT_fvisibility_:
1845 if (!strcmp(arg, "default"))
1846 default_visibility = VISIBILITY_DEFAULT;
1847 else if (!strcmp(arg, "internal"))
1848 default_visibility = VISIBILITY_INTERNAL;
1849 else if (!strcmp(arg, "hidden"))
1850 default_visibility = VISIBILITY_HIDDEN;
1851 else if (!strcmp(arg, "protected"))
1852 default_visibility = VISIBILITY_PROTECTED;
1854 error ("unrecognized visibility value \"%s\"", arg);
1859 flag_value_profile_transformations_set = true;
1862 case OPT_frandom_seed:
1863 /* The real switch is -fno-random-seed. */
1866 set_random_seed (NULL);
1869 case OPT_frandom_seed_:
1870 set_random_seed (arg);
1873 case OPT_fselective_scheduling:
1874 case OPT_fselective_scheduling2:
1875 sel_sched_switch_set = true;
1878 case OPT_fsched_verbose_:
1879 #ifdef INSN_SCHEDULING
1880 fix_sched_param ("verbose", arg);
1886 case OPT_fsched_stalled_insns_:
1887 flag_sched_stalled_insns = value;
1888 if (flag_sched_stalled_insns == 0)
1889 flag_sched_stalled_insns = -1;
1892 case OPT_fsched_stalled_insns_dep_:
1893 flag_sched_stalled_insns_dep = value;
1896 case OPT_fstack_check_:
1897 if (!strcmp (arg, "no"))
1898 flag_stack_check = NO_STACK_CHECK;
1899 else if (!strcmp (arg, "generic"))
1900 /* This is the old stack checking method. */
1901 flag_stack_check = STACK_CHECK_BUILTIN
1902 ? FULL_BUILTIN_STACK_CHECK
1903 : GENERIC_STACK_CHECK;
1904 else if (!strcmp (arg, "specific"))
1905 /* This is the new stack checking method. */
1906 flag_stack_check = STACK_CHECK_BUILTIN
1907 ? FULL_BUILTIN_STACK_CHECK
1908 : STACK_CHECK_STATIC_BUILTIN
1909 ? STATIC_BUILTIN_STACK_CHECK
1910 : GENERIC_STACK_CHECK;
1912 warning (0, "unknown stack check parameter \"%s\"", arg);
1915 case OPT_fstack_check:
1916 /* This is the same as the "specific" mode above. */
1918 flag_stack_check = STACK_CHECK_BUILTIN
1919 ? FULL_BUILTIN_STACK_CHECK
1920 : STACK_CHECK_STATIC_BUILTIN
1921 ? STATIC_BUILTIN_STACK_CHECK
1922 : GENERIC_STACK_CHECK;
1924 flag_stack_check = NO_STACK_CHECK;
1927 case OPT_fstack_limit:
1928 /* The real switch is -fno-stack-limit. */
1931 stack_limit_rtx = NULL_RTX;
1934 case OPT_fstack_limit_register_:
1936 int reg = decode_reg_name (arg);
1938 error ("unrecognized register name \"%s\"", arg);
1940 stack_limit_rtx = gen_rtx_REG (Pmode, reg);
1944 case OPT_fstack_limit_symbol_:
1945 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
1948 case OPT_ftree_vectorizer_verbose_:
1949 vect_set_verbosity_level (arg);
1952 case OPT_ftls_model_:
1953 if (!strcmp (arg, "global-dynamic"))
1954 flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
1955 else if (!strcmp (arg, "local-dynamic"))
1956 flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
1957 else if (!strcmp (arg, "initial-exec"))
1958 flag_tls_default = TLS_MODEL_INITIAL_EXEC;
1959 else if (!strcmp (arg, "local-exec"))
1960 flag_tls_default = TLS_MODEL_LOCAL_EXEC;
1962 warning (0, "unknown tls-model \"%s\"", arg);
1965 case OPT_fira_algorithm_:
1966 if (!strcmp (arg, "CB"))
1967 flag_ira_algorithm = IRA_ALGORITHM_CB;
1968 else if (!strcmp (arg, "priority"))
1969 flag_ira_algorithm = IRA_ALGORITHM_PRIORITY;
1971 warning (0, "unknown ira algorithm \"%s\"", arg);
1974 case OPT_fira_region_:
1975 if (!strcmp (arg, "one"))
1976 flag_ira_region = IRA_REGION_ONE;
1977 else if (!strcmp (arg, "all"))
1978 flag_ira_region = IRA_REGION_ALL;
1979 else if (!strcmp (arg, "mixed"))
1980 flag_ira_region = IRA_REGION_MIXED;
1982 warning (0, "unknown ira region \"%s\"", arg);
1985 case OPT_fira_verbose_:
1986 flag_ira_verbose = value;
1990 flag_tracer_set = true;
1994 flag_ipa_cp_set = true;
1997 case OPT_fipa_cp_clone:
1998 flag_ipa_cp_clone_set = true;
2001 case OPT_fpredictive_commoning:
2002 flag_predictive_commoning_set = true;
2005 case OPT_funswitch_loops:
2006 flag_unswitch_loops_set = true;
2009 case OPT_fgcse_after_reload:
2010 flag_gcse_after_reload_set = true;
2013 case OPT_funroll_loops:
2014 flag_unroll_loops_set = true;
2018 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
2022 set_debug_level (SDB_DEBUG, false, arg);
2026 set_debug_level (DWARF2_DEBUG, false, arg);
2030 set_debug_level (NO_DEBUG, 2, arg);
2035 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
2039 set_debug_level (VMS_DEBUG, false, arg);
2044 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
2048 asm_file_name = arg;
2051 case OPT_pedantic_errors:
2052 flag_pedantic_errors = pedantic = 1;
2055 case OPT_floop_optimize:
2056 case OPT_frerun_loop_opt:
2057 case OPT_fstrength_reduce:
2058 case OPT_ftree_store_copy_prop:
2059 case OPT_fforce_addr:
2060 case OPT_ftree_salias:
2061 case OPT_ftree_store_ccp:
2062 /* These are no-ops, preserved for backward compatibility. */
2066 /* If the flag was handled in a standard way, assume the lack of
2067 processing here is intentional. */
2068 gcc_assert (cl_options[scode].flag_var);
2075 /* Handle --param NAME=VALUE. */
2077 handle_param (const char *carg)
2082 arg = xstrdup (carg);
2083 equal = strchr (arg, '=');
2085 error ("%s: --param arguments should be of the form NAME=VALUE", arg);
2088 value = integral_argument (equal + 1);
2090 error ("invalid --param value %qs", equal + 1);
2094 set_param_value (arg, value);
2101 /* Handle -W and -Wextra. */
2103 set_Wextra (int setting)
2105 extra_warnings = setting;
2107 /* We save the value of warn_uninitialized, since if they put
2108 -Wuninitialized on the command line, we need to generate a
2109 warning about not using it without also specifying -O. */
2111 warn_uninitialized = 0;
2112 else if (warn_uninitialized != 1)
2113 warn_uninitialized = 2;
2116 /* Used to set the level of strict aliasing warnings,
2117 when no level is specified (i.e., when -Wstrict-aliasing, and not
2118 -Wstrict-aliasing=level was given).
2119 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2120 and 0 otherwise. After calling this function, wstrict_aliasing will be
2121 set to the default value of -Wstrict_aliasing=level, currently 3. */
2123 set_Wstrict_aliasing (int onoff)
2125 gcc_assert (onoff == 0 || onoff == 1);
2127 warn_strict_aliasing = 3;
2129 warn_strict_aliasing = 0;
2132 /* The following routines are useful in setting all the flags that
2133 -ffast-math and -fno-fast-math imply. */
2135 set_fast_math_flags (int set)
2137 flag_unsafe_math_optimizations = set;
2138 set_unsafe_math_optimizations_flags (set);
2139 flag_finite_math_only = set;
2140 flag_errno_math = !set;
2143 flag_signaling_nans = 0;
2144 flag_rounding_math = 0;
2145 flag_cx_limited_range = 1;
2149 /* When -funsafe-math-optimizations is set the following
2150 flags are set as well. */
2152 set_unsafe_math_optimizations_flags (int set)
2154 flag_trapping_math = !set;
2155 flag_signed_zeros = !set;
2156 flag_associative_math = set;
2157 flag_reciprocal_math = set;
2160 /* Return true iff flags are set as if -ffast-math. */
2162 fast_math_flags_set_p (void)
2164 return (!flag_trapping_math
2165 && flag_unsafe_math_optimizations
2166 && flag_finite_math_only
2167 && !flag_signed_zeros
2168 && !flag_errno_math);
2171 /* Return true iff flags are set as if -ffast-math but using the flags stored
2172 in the struct cl_optimization structure. */
2174 fast_math_flags_struct_set_p (struct cl_optimization *opt)
2176 return (!opt->flag_trapping_math
2177 && opt->flag_unsafe_math_optimizations
2178 && opt->flag_finite_math_only
2179 && !opt->flag_signed_zeros
2180 && !opt->flag_errno_math);
2183 /* Handle a debug output -g switch. EXTENDED is true or false to support
2184 extended output (2 is special and means "-ggdb" was given). */
2186 set_debug_level (enum debug_info_type type, int extended, const char *arg)
2188 static bool type_explicit;
2190 use_gnu_debug_info_extensions = extended;
2192 if (type == NO_DEBUG)
2194 if (write_symbols == NO_DEBUG)
2196 write_symbols = PREFERRED_DEBUGGING_TYPE;
2200 #ifdef DWARF2_DEBUGGING_INFO
2201 write_symbols = DWARF2_DEBUG;
2202 #elif defined DBX_DEBUGGING_INFO
2203 write_symbols = DBX_DEBUG;
2207 if (write_symbols == NO_DEBUG)
2208 warning (0, "target system does not support debug output");
2213 /* Does it conflict with an already selected type? */
2214 if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
2215 error ("debug format \"%s\" conflicts with prior selection",
2216 debug_type_names[type]);
2217 write_symbols = type;
2218 type_explicit = true;
2221 /* A debug flag without a level defaults to level 2. */
2224 if (!debug_info_level)
2225 debug_info_level = 2;
2229 debug_info_level = integral_argument (arg);
2230 if (debug_info_level == (unsigned int) -1)
2231 error ("unrecognised debug output level \"%s\"", arg);
2232 else if (debug_info_level > 3)
2233 error ("debug output level %s is too high", arg);
2237 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
2238 a simple on-off switch. */
2241 option_enabled (int opt_idx)
2243 const struct cl_option *option = &(cl_options[opt_idx]);
2245 if (option->flag_var)
2246 switch (option->var_type)
2249 return *(int *) option->flag_var != 0;
2252 return *(int *) option->flag_var == option->var_value;
2254 case CLVC_BIT_CLEAR:
2255 return (*(int *) option->flag_var & option->var_value) == 0;
2258 return (*(int *) option->flag_var & option->var_value) != 0;
2266 /* Fill STATE with the current state of option OPTION. Return true if
2267 there is some state to store. */
2270 get_option_state (int option, struct cl_option_state *state)
2272 if (cl_options[option].flag_var == 0)
2275 switch (cl_options[option].var_type)
2279 state->data = cl_options[option].flag_var;
2280 state->size = sizeof (int);
2283 case CLVC_BIT_CLEAR:
2285 state->ch = option_enabled (option);
2286 state->data = &state->ch;
2291 state->data = *(const char **) cl_options[option].flag_var;
2292 if (state->data == 0)
2294 state->size = strlen ((const char *) state->data) + 1;
2300 /* Enable a warning option as an error. This is used by -Werror= and
2301 also by legacy Werror-implicit-function-declaration. */
2304 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask)
2309 new_option = XNEWVEC (char, strlen (arg) + 2);
2310 new_option[0] = 'W';
2311 strcpy (new_option + 1, arg);
2312 option_index = find_opt (new_option, lang_mask);
2313 if (option_index == N_OPTS)
2315 error ("-Werror=%s: No option -%s", arg, new_option);
2319 int kind = value ? DK_ERROR : DK_WARNING;
2320 diagnostic_classify_diagnostic (global_dc, option_index, kind);
2322 /* -Werror=foo implies -Wfoo. */
2323 if (cl_options[option_index].var_type == CLVC_BOOLEAN
2324 && cl_options[option_index].flag_var
2325 && kind == DK_ERROR)
2326 *(int *) cl_options[option_index].flag_var = 1;