1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007
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 2, 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 COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
26 #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"
44 /* Value of the -G xx switch, and whether it was passed or not. */
45 unsigned HOST_WIDE_INT g_switch_value;
48 /* True if we should exit after parsing options. */
49 bool exit_after_options;
51 /* Print various extra warnings. -W/-Wextra. */
54 /* True to warn about any objects definitions whose size is larger
55 than N bytes. Also want about function definitions whose returned
56 values are larger than N bytes, where N is `larger_than_size'. */
57 bool warn_larger_than;
58 HOST_WIDE_INT larger_than_size;
60 /* Nonzero means warn about constructs which might not be
61 strict-aliasing safe. */
62 int warn_strict_aliasing;
64 /* Nonzero means warn about optimizations which rely on undefined
66 int warn_strict_overflow;
68 /* Hack for cooperation between set_Wunused and set_Wextra. */
69 static bool maybe_warn_unused_parameter;
71 /* Type(s) of debugging information we are producing (if any). See
72 flags.h for the definitions of the different possible types of
73 debugging information. */
74 enum debug_info_type write_symbols = NO_DEBUG;
76 /* Level of debugging information we are producing. See flags.h for
77 the definitions of the different possible levels. */
78 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
80 /* A major contribution to object and executable size is debug
81 information size. A major contribution to debug information size
82 is struct descriptions replicated in several object files. The
83 following flags attempt to reduce this information. The basic
84 idea is to not emit struct debugging information in the current
85 compilation unit when that information will be generated by
86 another compilation unit.
88 Debug information for a struct defined in the current source
89 file should be generated in the object file. Likewise the
90 debug information for a struct defined in a header should be
91 generated in the object file of the corresponding source file.
92 Both of these case are handled when the base name of the file of
93 the struct definition matches the base name of the source file
94 of thet current compilation unit. This matching emits minimal
95 struct debugging information.
97 The base file name matching rule above will fail to emit debug
98 information for structs defined in system headers. So a second
99 category of files includes system headers in addition to files
102 The remaining types of files are library headers and application
103 headers. We cannot currently distinguish these two types. */
105 enum debug_struct_file
107 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
108 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
109 same base name as the compilation unit. */
110 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
112 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
115 /* Generic structs (e.g. templates not explicitly specialized)
116 may not have a compilation unit associated with them, and so
117 may need to be treated differently from ordinary structs.
119 Structs only handled by reference (indirectly), will also usually
120 not need as much debugging information. */
122 static enum debug_struct_file debug_struct_ordinary[DINFO_USAGE_NUM_ENUMS]
123 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
124 static enum debug_struct_file debug_struct_generic[DINFO_USAGE_NUM_ENUMS]
125 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
127 /* Parse the -femit-struct-debug-detailed option value
128 and set the flag variables. */
130 #define MATCH( prefix, string ) \
131 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
132 ? ((string += sizeof prefix - 1), 1) : 0)
135 set_struct_debug_option (const char *spec)
137 /* various labels for comparison */
138 static char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
139 static char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
140 static char none_lbl[] = "none", any_lbl[] = "any";
141 static char base_lbl[] = "base", sys_lbl[] = "sys";
143 enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
144 /* Default is to apply to as much as possible. */
145 enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
146 int ord = 1, gen = 1;
149 if (MATCH (dfn_lbl, spec))
150 usage = DINFO_USAGE_DFN;
151 else if (MATCH (dir_lbl, spec))
152 usage = DINFO_USAGE_DIR_USE;
153 else if (MATCH (ind_lbl, spec))
154 usage = DINFO_USAGE_IND_USE;
156 /* Generics or not? */
157 if (MATCH (ord_lbl, spec))
159 else if (MATCH (gen_lbl, spec))
162 /* What allowable environment? */
163 if (MATCH (none_lbl, spec))
164 files = DINFO_STRUCT_FILE_NONE;
165 else if (MATCH (any_lbl, spec))
166 files = DINFO_STRUCT_FILE_ANY;
167 else if (MATCH (sys_lbl, spec))
168 files = DINFO_STRUCT_FILE_SYS;
169 else if (MATCH (base_lbl, spec))
170 files = DINFO_STRUCT_FILE_BASE;
172 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
175 /* Effect the specification. */
176 if (usage == DINFO_USAGE_NUM_ENUMS)
180 debug_struct_ordinary[DINFO_USAGE_DFN] = files;
181 debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
182 debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
186 debug_struct_generic[DINFO_USAGE_DFN] = files;
187 debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
188 debug_struct_generic[DINFO_USAGE_IND_USE] = files;
194 debug_struct_ordinary[usage] = files;
196 debug_struct_generic[usage] = files;
200 set_struct_debug_option (spec+1);
203 /* No more -femit-struct-debug-detailed specifications.
206 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
208 if (debug_struct_ordinary[DINFO_USAGE_DIR_USE]
209 < debug_struct_ordinary[DINFO_USAGE_IND_USE]
210 || debug_struct_generic[DINFO_USAGE_DIR_USE]
211 < debug_struct_generic[DINFO_USAGE_IND_USE])
212 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
213 " as much as %<-femit-struct-debug-detailed=ind:...%>");
217 /* Find the base name of a path, stripping off both directories and
218 a single final extension. */
220 base_of_path (const char *path, const char **base_out)
222 const char *base = path;
224 const char *p = path;
228 if (IS_DIR_SEPARATOR(c))
243 /* Match the base name of a file to the base name of a compilation unit. */
245 static const char *main_input_basename;
246 static int main_input_baselength;
249 matches_main_base (const char *path)
251 /* Cache the last query. */
252 static const char *last_path = NULL;
253 static int last_match = 0;
254 if (path != last_path)
257 int length = base_of_path (path, &base);
259 last_match = (length == main_input_baselength
260 && memcmp (base, main_input_basename, length) == 0);
265 #ifdef DEBUG_DEBUG_STRUCT
268 dump_struct_debug (tree type, enum debug_info_usage usage,
269 enum debug_struct_file criterion, int generic,
270 int matches, int result)
272 /* Find the type name. */
273 tree type_decl = TYPE_STUB_DECL (type);
275 const char *name = 0;
276 if (TREE_CODE (t) == TYPE_DECL)
279 name = IDENTIFIER_POINTER (t);
281 fprintf (stderr, " struct %d %s %s %s %s %d %p %s\n",
283 DECL_IN_SYSTEM_HEADER (type_decl) ? "sys" : "usr",
284 matches ? "bas" : "hdr",
285 generic ? "gen" : "ord",
286 usage == DINFO_USAGE_DFN ? ";" :
287 usage == DINFO_USAGE_DIR_USE ? "." : "*",
289 (void*) type_decl, name);
292 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
293 dump_struct_debug (type, usage, criterion, generic, matches, result)
297 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
304 should_emit_struct_debug (tree type, enum debug_info_usage usage)
306 enum debug_struct_file criterion;
308 bool generic = lang_hooks.types.generic_p (type);
311 criterion = debug_struct_generic[usage];
313 criterion = debug_struct_ordinary[usage];
315 if (criterion == DINFO_STRUCT_FILE_NONE)
316 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
317 if (criterion == DINFO_STRUCT_FILE_ANY)
318 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
320 type_decl = TYPE_STUB_DECL (type);
322 if (criterion == DINFO_STRUCT_FILE_SYS && DECL_IN_SYSTEM_HEADER (type_decl))
323 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
325 if (matches_main_base (DECL_SOURCE_FILE (type_decl)))
326 return DUMP_GSTRUCT (type, usage, criterion, generic, true, true);
327 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
330 /* Nonzero means use GNU-only extensions in the generated symbolic
331 debugging information. Currently, this only has an effect when
332 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
333 bool use_gnu_debug_info_extensions;
335 /* The default visibility for all symbols (unless overridden) */
336 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
338 /* Disable unit-at-a-time for frontends that might be still broken in this
341 bool no_unit_at_a_time_default;
343 /* Global visibility options. */
344 struct visibility_flags visibility_options;
346 /* What to print when a switch has no documentation. */
347 static const char undocumented_msg[] = N_("This switch lacks documentation");
349 /* Used for bookkeeping on whether user set these flags so
350 -fprofile-use/-fprofile-generate does not use them. */
351 static bool profile_arc_flag_set, flag_profile_values_set;
352 static bool flag_unroll_loops_set, flag_tracer_set;
353 static bool flag_value_profile_transformations_set;
354 static bool flag_peel_loops_set, flag_branch_probabilities_set;
356 /* Input file names. */
357 const char **in_fnames;
358 unsigned num_in_fnames;
360 static int common_handle_option (size_t scode, const char *arg, int value,
361 unsigned int lang_mask);
362 static void handle_param (const char *);
363 static void set_Wextra (int);
364 static unsigned int handle_option (const char **argv, unsigned int lang_mask);
365 static char *write_langs (unsigned int lang_mask);
366 static void complain_wrong_lang (const char *, const struct cl_option *,
367 unsigned int lang_mask);
368 static void handle_options (unsigned int, const char **, unsigned int);
369 static void set_debug_level (enum debug_info_type type, int extended,
372 /* If ARG is a non-negative integer made up solely of digits, return its
373 value, otherwise return -1. */
375 integral_argument (const char *arg)
379 while (*p && ISDIGIT (*p))
388 /* Return a malloced slash-separated list of languages in MASK. */
390 write_langs (unsigned int mask)
392 unsigned int n = 0, len = 0;
393 const char *lang_name;
396 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
397 if (mask & (1U << n))
398 len += strlen (lang_name) + 1;
400 result = XNEWVEC (char, len);
402 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
403 if (mask & (1U << n))
407 strcpy (result + len, lang_name);
408 len += strlen (lang_name);
416 /* Complain that switch OPT_INDEX does not apply to this front end. */
418 complain_wrong_lang (const char *text, const struct cl_option *option,
419 unsigned int lang_mask)
421 char *ok_langs, *bad_lang;
423 ok_langs = write_langs (option->flags);
424 bad_lang = write_langs (lang_mask);
426 /* Eventually this should become a hard error IMO. */
427 warning (0, "command line option \"%s\" is valid for %s but not for %s",
428 text, ok_langs, bad_lang);
434 /* Handle the switch beginning at ARGV for the language indicated by
435 LANG_MASK. Returns the number of switches consumed. */
437 handle_option (const char **argv, unsigned int lang_mask)
440 const char *opt, *arg = 0;
443 unsigned int result = 0;
444 const struct cl_option *option;
448 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
449 if (opt_index == cl_options_count
450 && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
451 && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
453 /* Drop the "no-" from negative switches. */
454 size_t len = strlen (opt) - 3;
456 dup = XNEWVEC (char, len + 1);
459 memcpy (dup + 2, opt + 5, len - 2 + 1);
462 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
465 if (opt_index == cl_options_count)
468 option = &cl_options[opt_index];
470 /* Reject negative form of switches that don't take negatives as
472 if (!value && (option->flags & CL_REJECT_NEGATIVE))
475 /* We've recognized this switch. */
478 /* Check to see if the option is disabled for this configuration. */
479 if (option->flags & CL_DISABLED)
481 error ("command line option %qs"
482 " is not supported by this configuration", opt);
486 /* Sort out any argument the switch takes. */
487 if (option->flags & CL_JOINED)
489 /* Have arg point to the original switch. This is because
490 some code, such as disable_builtin_function, expects its
491 argument to be persistent until the program exits. */
492 arg = argv[0] + cl_options[opt_index].opt_len + 1;
494 arg += strlen ("no-");
496 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
498 if (option->flags & CL_SEPARATE)
504 /* Missing argument. */
508 else if (option->flags & CL_SEPARATE)
514 /* Now we've swallowed any potential argument, complain if this
515 is a switch for a different front end. */
516 if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
518 complain_wrong_lang (argv[0], option, lang_mask);
521 else if ((option->flags & CL_TARGET)
522 && (option->flags & CL_LANG_ALL)
523 && !(option->flags & lang_mask))
525 /* Complain for target flag language mismatches if any languages
527 complain_wrong_lang (argv[0], option, lang_mask);
531 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
533 if (!lang_hooks.missing_argument (opt, opt_index))
534 error ("missing argument to \"%s\"", opt);
538 /* If the switch takes an integer, convert it. */
539 if (arg && (option->flags & CL_UINTEGER))
541 value = integral_argument (arg);
544 error ("argument to \"%s\" should be a non-negative integer",
550 if (option->flag_var)
551 switch (option->var_type)
554 *(int *) option->flag_var = value;
558 *(int *) option->flag_var = (value
560 : !option->var_value);
565 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
566 *(int *) option->flag_var |= option->var_value;
568 *(int *) option->flag_var &= ~option->var_value;
569 if (option->flag_var == &target_flags)
570 target_flags_explicit |= option->var_value;
574 *(const char **) option->flag_var = arg;
578 if (option->flags & lang_mask)
579 if (lang_hooks.handle_option (opt_index, arg, value) == 0)
582 if (result && (option->flags & CL_COMMON))
583 if (common_handle_option (opt_index, arg, value, lang_mask) == 0)
586 if (result && (option->flags & CL_TARGET))
587 if (!targetm.handle_option (opt_index, arg, value))
596 /* Handle FILENAME from the command line. */
598 add_input_filename (const char *filename)
601 in_fnames = xrealloc (in_fnames, num_in_fnames * sizeof (in_fnames[0]));
602 in_fnames[num_in_fnames - 1] = filename;
605 /* Decode and handle the vector of command line options. LANG_MASK
606 contains has a single bit set representing the current
609 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
613 for (i = 1; i < argc; i += n)
615 const char *opt = argv[i];
617 /* Interpret "-" or a non-switch as a file name. */
618 if (opt[0] != '-' || opt[1] == '\0')
620 if (main_input_filename == NULL)
622 main_input_filename = opt;
623 main_input_baselength
624 = base_of_path (main_input_filename, &main_input_basename);
626 add_input_filename (opt);
631 n = handle_option (argv + i, lang_mask);
636 error ("unrecognized command line option \"%s\"", opt);
641 /* Parse command line options and set default flag values. Do minimal
642 options processing. */
644 decode_options (unsigned int argc, const char **argv)
646 unsigned int i, lang_mask;
648 /* Perform language-specific options initialization. */
649 lang_mask = lang_hooks.init_options (argc, argv);
651 lang_hooks.initialize_diagnostics (global_dc);
653 /* Scan to see what optimization level has been specified. That will
654 determine the default value of many flags. */
655 for (i = 1; i < argc; i++)
657 if (!strcmp (argv[i], "-O"))
662 else if (argv[i][0] == '-' && argv[i][1] == 'O')
664 /* Handle -Os, -O2, -O3, -O69, ... */
665 const char *p = &argv[i][2];
667 if ((p[0] == 's') && (p[1] == 0))
671 /* Optimizing for size forces optimize to be 2. */
676 const int optimize_val = read_integral_parameter (p, p - 2, -1);
677 if (optimize_val != -1)
679 optimize = optimize_val;
688 flag_merge_constants = 0;
695 flag_delayed_branch = 1;
697 #ifdef CAN_DEBUG_WITHOUT_FP
698 flag_omit_frame_pointer = 1;
700 flag_guess_branch_prob = 1;
701 flag_cprop_registers = 1;
702 flag_if_conversion = 1;
703 flag_if_conversion2 = 1;
704 flag_ipa_pure_const = 1;
705 flag_ipa_reference = 1;
706 flag_split_wide_types = 1;
713 flag_tree_copyrename = 1;
715 flag_tree_copy_prop = 1;
717 flag_tree_salias = 1;
718 if (!no_unit_at_a_time_default)
719 flag_unit_at_a_time = 1;
723 /* Loop header copying usually increases size of the code. This used
724 not to be true, since quite often it is possible to verify that
725 the condition is satisfied in the first iteration and therefore
726 to eliminate it. Jump threading handles these cases now. */
733 flag_thread_jumps = 1;
734 flag_crossjumping = 1;
735 flag_optimize_sibling_calls = 1;
736 flag_forward_propagate = 1;
737 flag_cse_follow_jumps = 1;
739 flag_expensive_optimizations = 1;
740 flag_ipa_type_escape = 1;
741 flag_rerun_cse_after_loop = 1;
742 flag_caller_saves = 1;
744 #ifdef INSN_SCHEDULING
745 flag_schedule_insns = 1;
746 flag_schedule_insns_after_reload = 1;
749 flag_strict_aliasing = 1;
750 flag_strict_overflow = 1;
751 flag_delete_null_pointer_checks = 1;
752 flag_reorder_blocks = 1;
753 flag_reorder_functions = 1;
754 flag_tree_store_ccp = 1;
755 flag_tree_store_copy_prop = 1;
760 /* PRE tends to generate bigger code. */
764 /* Allow more virtual operators to increase alias precision. */
765 set_param_value ("max-aliased-vops", 500);
770 flag_inline_functions = 1;
771 flag_unswitch_loops = 1;
772 flag_gcse_after_reload = 1;
774 /* Allow even more virtual operators. */
775 set_param_value ("max-aliased-vops", 1000);
776 set_param_value ("avg-aliased-vops", 3);
779 if (optimize < 2 || optimize_size)
786 /* Don't reorder blocks when optimizing for size because extra
787 jump insns may be created; also barrier may create extra padding.
789 More correctly we should have a block reordering mode that tried
790 to minimize the combined size of all the jumps. This would more
791 or less automatically remove extra jumps, but would also try to
792 use more short jumps instead of long jumps. */
793 flag_reorder_blocks = 0;
794 flag_reorder_blocks_and_partition = 0;
799 /* Inlining of functions reducing size is a good idea regardless
800 of them being declared inline. */
801 flag_inline_functions = 1;
803 /* We want to crossjump as much as possible. */
804 set_param_value ("min-crossjump-insns", 1);
807 /* Initialize whether `char' is signed. */
808 flag_signed_char = DEFAULT_SIGNED_CHAR;
809 /* Set this to a special "uninitialized" value. The actual default is set
810 after target options have been processed. */
811 flag_short_enums = 2;
813 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
815 target_flags = targetm.default_target_flags;
817 /* Some tagets have ABI-specified unwind tables. */
818 flag_unwind_tables = targetm.unwind_tables_default;
820 #ifdef OPTIMIZATION_OPTIONS
821 /* Allow default optimizations to be specified on a per-machine basis. */
822 OPTIMIZATION_OPTIONS (optimize, optimize_size);
825 handle_options (argc, argv, lang_mask);
829 if (flag_pic && !flag_pie)
832 if (flag_no_inline == 2)
835 flag_really_no_inline = flag_no_inline;
837 /* Set flag_no_inline before the post_options () hook. The C front
838 ends use it to determine tree inlining defaults. FIXME: such
839 code should be lang-independent when all front ends use tree
840 inlining, in which case it, and this condition, should be moved
841 to the top of process_options() instead. */
844 /* Inlining does not work if not optimizing,
845 so force it not to be done. */
849 /* The c_decode_option function and decode_option hook set
850 this to `2' if -Wall is used, so we can avoid giving out
851 lots of errors for people who don't realize what -Wall does. */
852 if (warn_uninitialized == 1)
853 warning (OPT_Wuninitialized,
854 "-Wuninitialized is not supported without -O");
857 if (flag_really_no_inline == 2)
858 flag_really_no_inline = flag_no_inline;
860 /* The optimization to partition hot and cold basic blocks into separate
861 sections of the .o and executable files does not work (currently)
862 with exception handling. This is because there is no support for
863 generating unwind info. If flag_exceptions is turned on we need to
864 turn off the partitioning optimization. */
866 if (flag_exceptions && flag_reorder_blocks_and_partition)
869 ("-freorder-blocks-and-partition does not work with exceptions");
870 flag_reorder_blocks_and_partition = 0;
871 flag_reorder_blocks = 1;
874 /* If user requested unwind info, then turn off the partitioning
877 if (flag_unwind_tables && ! targetm.unwind_tables_default
878 && flag_reorder_blocks_and_partition)
880 inform ("-freorder-blocks-and-partition does not support unwind info");
881 flag_reorder_blocks_and_partition = 0;
882 flag_reorder_blocks = 1;
885 /* If the target requested unwind info, then turn off the partitioning
886 optimization with a different message. Likewise, if the target does not
887 support named sections. */
889 if (flag_reorder_blocks_and_partition
890 && (!targetm.have_named_sections
891 || (flag_unwind_tables && targetm.unwind_tables_default)))
894 ("-freorder-blocks-and-partition does not work on this architecture");
895 flag_reorder_blocks_and_partition = 0;
896 flag_reorder_blocks = 1;
900 #define LEFT_COLUMN 27
902 /* Output ITEM, of length ITEM_WIDTH, in the left column,
903 followed by word-wrapped HELP in a second column. */
905 wrap_help (const char *help,
907 unsigned int item_width,
908 unsigned int columns)
910 unsigned int col_width = LEFT_COLUMN;
911 unsigned int remaining, room, len;
913 remaining = strlen (help);
917 room = columns - 3 - MAX (col_width, item_width);
926 for (i = 0; help[i]; i++)
928 if (i >= room && len != remaining)
932 else if ((help[i] == '-' || help[i] == '/')
933 && help[i + 1] != ' '
934 && i > 0 && ISALPHA (help[i - 1]))
939 printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help);
941 while (help[len] == ' ')
949 /* Print help for a specific front-end, etc. */
951 print_filtered_help (unsigned int include_flags,
952 unsigned int exclude_flags,
953 unsigned int any_flags,
954 unsigned int columns)
958 static char *printed = NULL;
960 bool displayed = false;
962 if (include_flags == CL_PARAMS)
964 for (i = 0; i < LAST_PARAM; i++)
966 const char *param = compiler_params[i].option;
968 help = compiler_params[i].help;
969 if (help == NULL || *help == '\0')
971 if (exclude_flags & CL_UNDOCUMENTED)
973 help = undocumented_msg;
976 /* Get the translation. */
979 wrap_help (help, param, strlen (param), columns);
986 printed = xcalloc (1, cl_options_count);
988 for (i = 0; i < cl_options_count; i++)
990 static char new_help[128];
991 const struct cl_option *option = cl_options + i;
996 if (include_flags == 0
997 || ((option->flags & include_flags) != include_flags))
999 if ((option->flags & any_flags) == 0)
1003 /* Skip unwanted switches. */
1004 if ((option->flags & exclude_flags) != 0)
1008 /* Skip switches that have already been printed. */
1014 help = option->help;
1017 if (exclude_flags & CL_UNDOCUMENTED)
1019 help = undocumented_msg;
1022 /* Get the translation. */
1025 /* Find the gap between the name of the
1026 option and its descriptive text. */
1027 tab = strchr (help, '\t');
1036 opt = option->opt_text;
1040 /* With the -Q option enabled we change the descriptive text associated
1041 with an option to be an indication of its current setting. */
1044 if (len < (LEFT_COLUMN + 2))
1045 strcpy (new_help, "\t\t");
1047 strcpy (new_help, "\t");
1049 if (option->flag_var != NULL)
1051 if (option->flags & CL_JOINED)
1053 if (option->var_type == CLVC_STRING)
1055 if (* (const char **) option->flag_var != NULL)
1056 snprintf (new_help + strlen (new_help),
1057 sizeof (new_help) - strlen (new_help),
1058 * (const char **) option->flag_var);
1061 sprintf (new_help + strlen (new_help),
1062 "%#x", * (int *) option->flag_var);
1065 strcat (new_help, option_enabled (i)
1066 ? _("[enabled]") : _("[disabled]"));
1072 wrap_help (help, opt, len, columns);
1077 printf (_(" No options with the desired characteristics were found\n"));
1078 else if (! displayed)
1079 printf (_(" All options with the desired characteristics have already been displayed\n"));
1084 /* Display help for a specified type of option.
1085 The options must have ALL of the INCLUDE_FLAGS set
1086 ANY of the flags in the ANY_FLAGS set
1087 and NONE of the EXCLUDE_FLAGS set. */
1089 print_specific_help (unsigned int include_flags,
1090 unsigned int exclude_flags,
1091 unsigned int any_flags)
1093 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1094 const char * description = NULL;
1095 const char * descrip_extra = "";
1098 static unsigned int columns = 0;
1100 /* Sanity check: Make sure that we do not have more
1101 languages than we have bits available to enumerate them. */
1102 gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS);
1104 /* If we have not done so already, obtain
1105 the desired maximum width of the output. */
1110 GET_ENVIRONMENT (p, "COLUMNS");
1113 int value = atoi (p);
1120 /* Use a reasonable default. */
1124 /* Decide upon the title for the options that we are going to display. */
1125 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1127 switch (flag & include_flags)
1133 description = _("The following options are target specific");
1136 description = _("The following options control compiler warning messages");
1138 case CL_OPTIMIZATION:
1139 description = _("The following options control optimizations");
1142 description = _("The following options are language-independent");
1145 description = _("The --param option recognizes the following as parameters");
1148 if (i >= cl_lang_count)
1150 if ((exclude_flags & ((1U << cl_lang_count) - 1)) != 0)
1152 description = _("The following options are specific to the language ");
1153 descrip_extra = lang_names [i];
1156 description = _("The following options are supported by the language ");
1157 descrip_extra = lang_names [i];
1162 if (description == NULL)
1166 if (include_flags == CL_UNDOCUMENTED)
1167 description = _("The following options are not documented");
1170 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1177 if (any_flags & all_langs_mask)
1178 description = _("The following options are language-related");
1180 description = _("The following options are language-independent");
1184 printf ("%s%s:\n", description, descrip_extra);
1185 print_filtered_help (include_flags, exclude_flags, any_flags, columns);
1188 /* Handle target- and language-independent options. Return zero to
1189 generate an "unknown option" message. Only options that need
1190 extra handling need to be listed here; if you simply want
1191 VALUE assigned to a variable, it happens automatically. */
1194 common_handle_option (size_t scode, const char *arg, int value,
1195 unsigned int lang_mask)
1197 enum opt_code code = (enum opt_code) scode;
1208 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1209 unsigned int undoc_mask;
1212 undoc_mask = extra_warnings ? 0 : CL_UNDOCUMENTED;
1213 /* First display any single language specific options. */
1214 for (i = 0; i < cl_lang_count; i++)
1216 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0);
1217 /* Next display any multi language specific options. */
1218 print_specific_help (0, undoc_mask, all_langs_mask);
1219 /* Then display any remaining, non-language options. */
1220 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1221 print_specific_help (i, undoc_mask, 0);
1222 exit_after_options = true;
1226 case OPT_ftarget_help:
1227 case OPT__target_help:
1228 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0);
1229 exit_after_options = true;
1235 const char * a = arg;
1236 unsigned int include_flags = 0;
1237 /* Note - by default we include undocumented options when listing
1238 specific classes. If you only want to see documented options
1239 then add ",^undocumented" to the --help= option. e.g.:
1241 --help=target,^undocumented */
1242 unsigned int exclude_flags = 0;
1244 /* Walk along the argument string, parsing each word in turn.
1246 arg = [^]{word}[,{arg}]
1247 word = {optimizers|target|warnings|undocumented|
1248 params|common|<language>} */
1253 const char * string;
1258 { "optimizers", CL_OPTIMIZATION },
1259 { "target", CL_TARGET },
1260 { "warnings", CL_WARNING },
1261 { "undocumented", CL_UNDOCUMENTED },
1262 { "params", CL_PARAMS },
1263 { "joined", CL_JOINED },
1264 { "separate", CL_SEPARATE },
1265 { "common", CL_COMMON },
1268 unsigned int * pflags;
1276 pflags = & exclude_flags;
1279 pflags = & include_flags;
1281 comma = strchr (a, ',');
1287 for (i = 0; specifics[i].string != NULL; i++)
1288 if (strncasecmp (a, specifics[i].string, len) == 0)
1290 * pflags |= specifics[i].flag;
1294 if (specifics[i].string == NULL)
1296 /* Check to see if the string matches a language name. */
1297 for (i = 0; i < cl_lang_count; i++)
1298 if (strncasecmp (a, lang_names[i], len) == 0)
1300 * pflags |= 1U << i;
1304 if (i == cl_lang_count)
1306 "warning: unrecognized argument to --help= switch: %.*s\n",
1316 print_specific_help (include_flags, exclude_flags, 0);
1317 exit_after_options = true;
1322 print_version (stderr, "");
1323 exit_after_options = true;
1327 g_switch_value = value;
1328 g_switch_set = true;
1333 /* Currently handled in a prescan. */
1337 /* For backward compatibility, -W is the same as -Wextra. */
1342 enable_warning_as_error (arg, value, lang_mask);
1349 case OPT_Wlarger_than_:
1350 larger_than_size = value;
1351 warn_larger_than = value != -1;
1354 case OPT_Wstrict_aliasing:
1355 set_Wstrict_aliasing (value);
1358 case OPT_Wstrict_aliasing_:
1359 warn_strict_aliasing = value;
1362 case OPT_Wstrict_overflow:
1363 warn_strict_overflow = (value
1364 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1368 case OPT_Wstrict_overflow_:
1369 warn_strict_overflow = value;
1373 set_Wunused (value);
1378 aux_info_file_name = arg;
1379 flag_gen_aux_info = 1;
1383 aux_base_name = arg;
1386 case OPT_auxbase_strip:
1388 char *tmp = xstrdup (arg);
1389 strip_off_ending (tmp, strlen (tmp));
1391 aux_base_name = tmp;
1396 decode_d_option (arg);
1400 dump_base_name = arg;
1403 case OPT_falign_functions_:
1404 align_functions = value;
1407 case OPT_falign_jumps_:
1408 align_jumps = value;
1411 case OPT_falign_labels_:
1412 align_labels = value;
1415 case OPT_falign_loops_:
1416 align_loops = value;
1419 case OPT_fbranch_probabilities:
1420 flag_branch_probabilities_set = true;
1423 case OPT_fcall_used_:
1424 fix_register (arg, 0, 1);
1427 case OPT_fcall_saved_:
1428 fix_register (arg, 0, 0);
1431 case OPT_fdiagnostics_show_location_:
1432 if (!strcmp (arg, "once"))
1433 diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
1434 else if (!strcmp (arg, "every-line"))
1435 diagnostic_prefixing_rule (global_dc)
1436 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
1441 case OPT_fdiagnostics_show_option:
1442 global_dc->show_option_requested = true;
1446 if (!dump_switch_p (arg))
1450 case OPT_ffast_math:
1451 set_fast_math_flags (value);
1455 fix_register (arg, 1, 1);
1458 case OPT_finline_limit_:
1459 case OPT_finline_limit_eq:
1460 set_param_value ("max-inline-insns-single", value / 2);
1461 set_param_value ("max-inline-insns-auto", value / 2);
1464 case OPT_fmessage_length_:
1465 pp_set_line_maximum_length (global_dc->printer, value);
1468 case OPT_fpack_struct_:
1469 if (value <= 0 || (value & (value - 1)) || value > 16)
1470 error ("structure alignment must be a small power of two, not %d", value);
1473 initial_max_fld_align = value;
1474 maximum_field_alignment = value * BITS_PER_UNIT;
1478 case OPT_fpeel_loops:
1479 flag_peel_loops_set = true;
1482 case OPT_fprofile_arcs:
1483 profile_arc_flag_set = true;
1486 case OPT_fprofile_use:
1487 if (!flag_branch_probabilities_set)
1488 flag_branch_probabilities = value;
1489 if (!flag_profile_values_set)
1490 flag_profile_values = value;
1491 if (!flag_unroll_loops_set)
1492 flag_unroll_loops = value;
1493 if (!flag_peel_loops_set)
1494 flag_peel_loops = value;
1495 if (!flag_tracer_set)
1496 flag_tracer = value;
1497 if (!flag_value_profile_transformations_set)
1498 flag_value_profile_transformations = value;
1501 case OPT_fprofile_generate:
1502 if (!profile_arc_flag_set)
1503 profile_arc_flag = value;
1504 if (!flag_profile_values_set)
1505 flag_profile_values = value;
1506 if (!flag_value_profile_transformations_set)
1507 flag_value_profile_transformations = value;
1510 case OPT_fprofile_values:
1511 flag_profile_values_set = true;
1514 case OPT_fvisibility_:
1516 if (!strcmp(arg, "default"))
1517 default_visibility = VISIBILITY_DEFAULT;
1518 else if (!strcmp(arg, "internal"))
1519 default_visibility = VISIBILITY_INTERNAL;
1520 else if (!strcmp(arg, "hidden"))
1521 default_visibility = VISIBILITY_HIDDEN;
1522 else if (!strcmp(arg, "protected"))
1523 default_visibility = VISIBILITY_PROTECTED;
1525 error ("unrecognized visibility value \"%s\"", arg);
1530 flag_value_profile_transformations_set = true;
1533 case OPT_frandom_seed:
1534 /* The real switch is -fno-random-seed. */
1537 set_random_seed (NULL);
1540 case OPT_frandom_seed_:
1541 set_random_seed (arg);
1544 case OPT_fsched_verbose_:
1545 #ifdef INSN_SCHEDULING
1546 fix_sched_param ("verbose", arg);
1552 case OPT_fsched_stalled_insns_:
1553 flag_sched_stalled_insns = value;
1554 if (flag_sched_stalled_insns == 0)
1555 flag_sched_stalled_insns = -1;
1558 case OPT_fsched_stalled_insns_dep_:
1559 flag_sched_stalled_insns_dep = value;
1562 case OPT_fstack_limit:
1563 /* The real switch is -fno-stack-limit. */
1566 stack_limit_rtx = NULL_RTX;
1569 case OPT_fstack_limit_register_:
1571 int reg = decode_reg_name (arg);
1573 error ("unrecognized register name \"%s\"", arg);
1575 stack_limit_rtx = gen_rtx_REG (Pmode, reg);
1579 case OPT_fstack_limit_symbol_:
1580 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
1583 case OPT_ftree_vectorizer_verbose_:
1584 vect_set_verbosity_level (arg);
1587 case OPT_ftls_model_:
1588 if (!strcmp (arg, "global-dynamic"))
1589 flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
1590 else if (!strcmp (arg, "local-dynamic"))
1591 flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
1592 else if (!strcmp (arg, "initial-exec"))
1593 flag_tls_default = TLS_MODEL_INITIAL_EXEC;
1594 else if (!strcmp (arg, "local-exec"))
1595 flag_tls_default = TLS_MODEL_LOCAL_EXEC;
1597 warning (0, "unknown tls-model \"%s\"", arg);
1601 flag_tracer_set = true;
1604 case OPT_funroll_loops:
1605 flag_unroll_loops_set = true;
1609 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
1613 set_debug_level (SDB_DEBUG, false, arg);
1617 set_debug_level (DWARF2_DEBUG, false, arg);
1621 set_debug_level (NO_DEBUG, 2, arg);
1626 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
1630 set_debug_level (VMS_DEBUG, false, arg);
1635 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
1639 asm_file_name = arg;
1642 case OPT_pedantic_errors:
1643 flag_pedantic_errors = pedantic = 1;
1646 case OPT_floop_optimize:
1647 case OPT_frerun_loop_opt:
1648 case OPT_fstrength_reduce:
1649 /* These are no-ops, preserved for backward compatibility. */
1653 /* If the flag was handled in a standard way, assume the lack of
1654 processing here is intentional. */
1655 gcc_assert (cl_options[scode].flag_var);
1662 /* Handle --param NAME=VALUE. */
1664 handle_param (const char *carg)
1669 arg = xstrdup (carg);
1670 equal = strchr (arg, '=');
1672 error ("%s: --param arguments should be of the form NAME=VALUE", arg);
1675 value = integral_argument (equal + 1);
1677 error ("invalid --param value %qs", equal + 1);
1681 set_param_value (arg, value);
1688 /* Handle -W and -Wextra. */
1690 set_Wextra (int setting)
1692 extra_warnings = setting;
1693 warn_unused_parameter = (setting && maybe_warn_unused_parameter);
1695 /* We save the value of warn_uninitialized, since if they put
1696 -Wuninitialized on the command line, we need to generate a
1697 warning about not using it without also specifying -O. */
1699 warn_uninitialized = 0;
1700 else if (warn_uninitialized != 1)
1701 warn_uninitialized = 2;
1704 /* Initialize unused warning flags. */
1706 set_Wunused (int setting)
1708 warn_unused_function = setting;
1709 warn_unused_label = setting;
1710 /* Unused function parameter warnings are reported when either
1711 ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified.
1712 Thus, if -Wextra has already been seen, set warn_unused_parameter;
1713 otherwise set maybe_warn_extra_parameter, which will be picked up
1715 maybe_warn_unused_parameter = setting;
1716 warn_unused_parameter = (setting && extra_warnings);
1717 warn_unused_variable = setting;
1718 warn_unused_value = setting;
1721 /* Used to set the level of strict aliasing warnings,
1722 when no level is specified (i.e., when -Wstrict-aliasing, and not
1723 -Wstrict-aliasing=level was given).
1724 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
1725 and 0 otherwise. After calling this function, wstrict_aliasing will be
1726 set to the default value of -Wstrict_aliasing=level, currently 3. */
1728 set_Wstrict_aliasing (int onoff)
1730 gcc_assert (onoff == 0 || onoff == 1);
1732 warn_strict_aliasing = 3;
1735 /* The following routines are useful in setting all the flags that
1736 -ffast-math and -fno-fast-math imply. */
1738 set_fast_math_flags (int set)
1740 flag_trapping_math = !set;
1741 flag_unsafe_math_optimizations = set;
1742 flag_finite_math_only = set;
1743 flag_signed_zeros = !set;
1744 flag_errno_math = !set;
1747 flag_signaling_nans = 0;
1748 flag_rounding_math = 0;
1749 flag_cx_limited_range = 1;
1753 /* Return true iff flags are set as if -ffast-math. */
1755 fast_math_flags_set_p (void)
1757 return (!flag_trapping_math
1758 && flag_unsafe_math_optimizations
1759 && flag_finite_math_only
1760 && !flag_signed_zeros
1761 && !flag_errno_math);
1764 /* Handle a debug output -g switch. EXTENDED is true or false to support
1765 extended output (2 is special and means "-ggdb" was given). */
1767 set_debug_level (enum debug_info_type type, int extended, const char *arg)
1769 static bool type_explicit;
1771 use_gnu_debug_info_extensions = extended;
1773 if (type == NO_DEBUG)
1775 if (write_symbols == NO_DEBUG)
1777 write_symbols = PREFERRED_DEBUGGING_TYPE;
1781 #ifdef DWARF2_DEBUGGING_INFO
1782 write_symbols = DWARF2_DEBUG;
1783 #elif defined DBX_DEBUGGING_INFO
1784 write_symbols = DBX_DEBUG;
1788 if (write_symbols == NO_DEBUG)
1789 warning (0, "target system does not support debug output");
1794 /* Does it conflict with an already selected type? */
1795 if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
1796 error ("debug format \"%s\" conflicts with prior selection",
1797 debug_type_names[type]);
1798 write_symbols = type;
1799 type_explicit = true;
1802 /* A debug flag without a level defaults to level 2. */
1805 if (!debug_info_level)
1806 debug_info_level = 2;
1810 debug_info_level = integral_argument (arg);
1811 if (debug_info_level == (unsigned int) -1)
1812 error ("unrecognised debug output level \"%s\"", arg);
1813 else if (debug_info_level > 3)
1814 error ("debug output level %s is too high", arg);
1818 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
1819 a simple on-off switch. */
1822 option_enabled (int opt_idx)
1824 const struct cl_option *option = &(cl_options[opt_idx]);
1826 if (option->flag_var)
1827 switch (option->var_type)
1830 return *(int *) option->flag_var != 0;
1833 return *(int *) option->flag_var == option->var_value;
1835 case CLVC_BIT_CLEAR:
1836 return (*(int *) option->flag_var & option->var_value) == 0;
1839 return (*(int *) option->flag_var & option->var_value) != 0;
1847 /* Fill STATE with the current state of option OPTION. Return true if
1848 there is some state to store. */
1851 get_option_state (int option, struct cl_option_state *state)
1853 if (cl_options[option].flag_var == 0)
1856 switch (cl_options[option].var_type)
1860 state->data = cl_options[option].flag_var;
1861 state->size = sizeof (int);
1864 case CLVC_BIT_CLEAR:
1866 state->ch = option_enabled (option);
1867 state->data = &state->ch;
1872 state->data = *(const char **) cl_options[option].flag_var;
1873 if (state->data == 0)
1875 state->size = strlen (state->data) + 1;
1881 /* Enable a warning option as an error. This is used by -Werror= and
1882 also by legacy Werror-implicit-function-declaration. */
1885 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask)
1890 new_option = XNEWVEC (char, strlen (arg) + 2);
1891 new_option[0] = 'W';
1892 strcpy (new_option + 1, arg);
1893 option_index = find_opt (new_option, lang_mask);
1894 if (option_index == N_OPTS)
1896 error ("-Werror=%s: No option -%s", arg, new_option);
1900 int kind = value ? DK_ERROR : DK_WARNING;
1901 diagnostic_classify_diagnostic (global_dc, option_index, kind);
1903 /* -Werror=foo implies -Wfoo. */
1904 if (cl_options[option_index].var_type == CLVC_BOOLEAN
1905 && cl_options[option_index].flag_var
1906 && kind == DK_ERROR)
1907 *(int *) cl_options[option_index].flag_var = 1;