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 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"
31 #include "langhooks.h"
37 #include "diagnostic.h"
38 #include "tm_p.h" /* For OPTIMIZATION_OPTIONS. */
39 #include "insn-attr.h" /* For INSN_SCHEDULING. */
41 #include "tree-pass.h"
45 /* Value of the -G xx switch, and whether it was passed or not. */
46 unsigned HOST_WIDE_INT g_switch_value;
49 /* True if we should exit after parsing options. */
50 bool exit_after_options;
52 /* Print various extra warnings. -W/-Wextra. */
55 /* True to warn about any objects definitions whose size is larger
56 than N bytes. Also want about function definitions whose returned
57 values are larger than N bytes, where N is `larger_than_size'. */
58 bool warn_larger_than;
59 HOST_WIDE_INT larger_than_size;
61 /* Nonzero means warn about constructs which might not be
62 strict-aliasing safe. */
63 int warn_strict_aliasing;
65 /* Nonzero means warn about optimizations which rely on undefined
67 int warn_strict_overflow;
69 /* Hack for cooperation between set_Wunused and set_Wextra. */
70 static bool maybe_warn_unused_parameter;
72 /* Type(s) of debugging information we are producing (if any). See
73 flags.h for the definitions of the different possible types of
74 debugging information. */
75 enum debug_info_type write_symbols = NO_DEBUG;
77 /* Level of debugging information we are producing. See flags.h for
78 the definitions of the different possible levels. */
79 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
81 /* A major contribution to object and executable size is debug
82 information size. A major contribution to debug information size
83 is struct descriptions replicated in several object files. The
84 following flags attempt to reduce this information. The basic
85 idea is to not emit struct debugging information in the current
86 compilation unit when that information will be generated by
87 another compilation unit.
89 Debug information for a struct defined in the current source
90 file should be generated in the object file. Likewise the
91 debug information for a struct defined in a header should be
92 generated in the object file of the corresponding source file.
93 Both of these case are handled when the base name of the file of
94 the struct definition matches the base name of the source file
95 of the current compilation unit. This matching emits minimal
96 struct debugging information.
98 The base file name matching rule above will fail to emit debug
99 information for structs defined in system headers. So a second
100 category of files includes system headers in addition to files
103 The remaining types of files are library headers and application
104 headers. We cannot currently distinguish these two types. */
106 enum debug_struct_file
108 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
109 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
110 same base name as the compilation unit. */
111 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
113 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
116 /* Generic structs (e.g. templates not explicitly specialized)
117 may not have a compilation unit associated with them, and so
118 may need to be treated differently from ordinary structs.
120 Structs only handled by reference (indirectly), will also usually
121 not need as much debugging information. */
123 static enum debug_struct_file debug_struct_ordinary[DINFO_USAGE_NUM_ENUMS]
124 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
125 static enum debug_struct_file debug_struct_generic[DINFO_USAGE_NUM_ENUMS]
126 = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
128 /* Parse the -femit-struct-debug-detailed option value
129 and set the flag variables. */
131 #define MATCH( prefix, string ) \
132 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
133 ? ((string += sizeof prefix - 1), 1) : 0)
136 set_struct_debug_option (const char *spec)
138 /* various labels for comparison */
139 static char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
140 static char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
141 static char none_lbl[] = "none", any_lbl[] = "any";
142 static char base_lbl[] = "base", sys_lbl[] = "sys";
144 enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
145 /* Default is to apply to as much as possible. */
146 enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
147 int ord = 1, gen = 1;
150 if (MATCH (dfn_lbl, spec))
151 usage = DINFO_USAGE_DFN;
152 else if (MATCH (dir_lbl, spec))
153 usage = DINFO_USAGE_DIR_USE;
154 else if (MATCH (ind_lbl, spec))
155 usage = DINFO_USAGE_IND_USE;
157 /* Generics or not? */
158 if (MATCH (ord_lbl, spec))
160 else if (MATCH (gen_lbl, spec))
163 /* What allowable environment? */
164 if (MATCH (none_lbl, spec))
165 files = DINFO_STRUCT_FILE_NONE;
166 else if (MATCH (any_lbl, spec))
167 files = DINFO_STRUCT_FILE_ANY;
168 else if (MATCH (sys_lbl, spec))
169 files = DINFO_STRUCT_FILE_SYS;
170 else if (MATCH (base_lbl, spec))
171 files = DINFO_STRUCT_FILE_BASE;
173 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
176 /* Effect the specification. */
177 if (usage == DINFO_USAGE_NUM_ENUMS)
181 debug_struct_ordinary[DINFO_USAGE_DFN] = files;
182 debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
183 debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
187 debug_struct_generic[DINFO_USAGE_DFN] = files;
188 debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
189 debug_struct_generic[DINFO_USAGE_IND_USE] = files;
195 debug_struct_ordinary[usage] = files;
197 debug_struct_generic[usage] = files;
201 set_struct_debug_option (spec+1);
204 /* No more -femit-struct-debug-detailed specifications.
207 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
209 if (debug_struct_ordinary[DINFO_USAGE_DIR_USE]
210 < debug_struct_ordinary[DINFO_USAGE_IND_USE]
211 || debug_struct_generic[DINFO_USAGE_DIR_USE]
212 < debug_struct_generic[DINFO_USAGE_IND_USE])
213 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
214 " as much as %<-femit-struct-debug-detailed=ind:...%>");
218 /* Find the base name of a path, stripping off both directories and
219 a single final extension. */
221 base_of_path (const char *path, const char **base_out)
223 const char *base = path;
225 const char *p = path;
229 if (IS_DIR_SEPARATOR(c))
244 /* Match the base name of a file to the base name of a compilation unit. */
246 static const char *main_input_basename;
247 static int main_input_baselength;
250 matches_main_base (const char *path)
252 /* Cache the last query. */
253 static const char *last_path = NULL;
254 static int last_match = 0;
255 if (path != last_path)
258 int length = base_of_path (path, &base);
260 last_match = (length == main_input_baselength
261 && memcmp (base, main_input_basename, length) == 0);
266 #ifdef DEBUG_DEBUG_STRUCT
269 dump_struct_debug (tree type, enum debug_info_usage usage,
270 enum debug_struct_file criterion, int generic,
271 int matches, int result)
273 /* Find the type name. */
274 tree type_decl = TYPE_STUB_DECL (type);
276 const char *name = 0;
277 if (TREE_CODE (t) == TYPE_DECL)
280 name = IDENTIFIER_POINTER (t);
282 fprintf (stderr, " struct %d %s %s %s %s %d %p %s\n",
284 DECL_IN_SYSTEM_HEADER (type_decl) ? "sys" : "usr",
285 matches ? "bas" : "hdr",
286 generic ? "gen" : "ord",
287 usage == DINFO_USAGE_DFN ? ";" :
288 usage == DINFO_USAGE_DIR_USE ? "." : "*",
290 (void*) type_decl, name);
293 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
294 dump_struct_debug (type, usage, criterion, generic, matches, result)
298 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
305 should_emit_struct_debug (tree type, enum debug_info_usage usage)
307 enum debug_struct_file criterion;
309 bool generic = lang_hooks.types.generic_p (type);
312 criterion = debug_struct_generic[usage];
314 criterion = debug_struct_ordinary[usage];
316 if (criterion == DINFO_STRUCT_FILE_NONE)
317 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
318 if (criterion == DINFO_STRUCT_FILE_ANY)
319 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
321 type_decl = TYPE_STUB_DECL (type);
323 if (criterion == DINFO_STRUCT_FILE_SYS && DECL_IN_SYSTEM_HEADER (type_decl))
324 return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
326 if (matches_main_base (DECL_SOURCE_FILE (type_decl)))
327 return DUMP_GSTRUCT (type, usage, criterion, generic, true, true);
328 return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
331 /* Nonzero means use GNU-only extensions in the generated symbolic
332 debugging information. Currently, this only has an effect when
333 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
334 bool use_gnu_debug_info_extensions;
336 /* The default visibility for all symbols (unless overridden) */
337 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
339 /* Disable unit-at-a-time for frontends that might be still broken in this
342 bool no_unit_at_a_time_default;
344 /* Global visibility options. */
345 struct visibility_flags visibility_options;
347 /* What to print when a switch has no documentation. */
348 static const char undocumented_msg[] = N_("This switch lacks documentation");
350 /* Used for bookkeeping on whether user set these flags so
351 -fprofile-use/-fprofile-generate does not use them. */
352 static bool profile_arc_flag_set, flag_profile_values_set;
353 static bool flag_unroll_loops_set, flag_tracer_set;
354 static bool flag_value_profile_transformations_set;
355 static bool flag_peel_loops_set, flag_branch_probabilities_set;
357 /* Functions excluded from profiling. */
359 typedef char *char_p; /* For DEF_VEC_P. */
361 DEF_VEC_ALLOC_P(char_p,heap);
363 static VEC(char_p,heap) *flag_instrument_functions_exclude_functions;
364 static VEC(char_p,heap) *flag_instrument_functions_exclude_files;
366 /* Input file names. */
367 const char **in_fnames;
368 unsigned num_in_fnames;
370 static int common_handle_option (size_t scode, const char *arg, int value,
371 unsigned int lang_mask);
372 static void handle_param (const char *);
373 static void set_Wextra (int);
374 static unsigned int handle_option (const char **argv, unsigned int lang_mask);
375 static char *write_langs (unsigned int lang_mask);
376 static void complain_wrong_lang (const char *, const struct cl_option *,
377 unsigned int lang_mask);
378 static void handle_options (unsigned int, const char **, unsigned int);
379 static void set_debug_level (enum debug_info_type type, int extended,
382 /* If ARG is a non-negative integer made up solely of digits, return its
383 value, otherwise return -1. */
385 integral_argument (const char *arg)
389 while (*p && ISDIGIT (*p))
398 /* Return a malloced slash-separated list of languages in MASK. */
400 write_langs (unsigned int mask)
402 unsigned int n = 0, len = 0;
403 const char *lang_name;
406 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
407 if (mask & (1U << n))
408 len += strlen (lang_name) + 1;
410 result = XNEWVEC (char, len);
412 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
413 if (mask & (1U << n))
417 strcpy (result + len, lang_name);
418 len += strlen (lang_name);
426 /* Complain that switch OPT_INDEX does not apply to this front end. */
428 complain_wrong_lang (const char *text, const struct cl_option *option,
429 unsigned int lang_mask)
431 char *ok_langs, *bad_lang;
433 ok_langs = write_langs (option->flags);
434 bad_lang = write_langs (lang_mask);
436 /* Eventually this should become a hard error IMO. */
437 warning (0, "command line option \"%s\" is valid for %s but not for %s",
438 text, ok_langs, bad_lang);
444 /* Handle the switch beginning at ARGV for the language indicated by
445 LANG_MASK. Returns the number of switches consumed. */
447 handle_option (const char **argv, unsigned int lang_mask)
450 const char *opt, *arg = 0;
453 unsigned int result = 0;
454 const struct cl_option *option;
458 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
459 if (opt_index == cl_options_count
460 && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
461 && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
463 /* Drop the "no-" from negative switches. */
464 size_t len = strlen (opt) - 3;
466 dup = XNEWVEC (char, len + 1);
469 memcpy (dup + 2, opt + 5, len - 2 + 1);
472 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
475 if (opt_index == cl_options_count)
478 option = &cl_options[opt_index];
480 /* Reject negative form of switches that don't take negatives as
482 if (!value && (option->flags & CL_REJECT_NEGATIVE))
485 /* We've recognized this switch. */
488 /* Check to see if the option is disabled for this configuration. */
489 if (option->flags & CL_DISABLED)
491 error ("command line option %qs"
492 " is not supported by this configuration", opt);
496 /* Sort out any argument the switch takes. */
497 if (option->flags & CL_JOINED)
499 /* Have arg point to the original switch. This is because
500 some code, such as disable_builtin_function, expects its
501 argument to be persistent until the program exits. */
502 arg = argv[0] + cl_options[opt_index].opt_len + 1;
504 arg += strlen ("no-");
506 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
508 if (option->flags & CL_SEPARATE)
514 /* Missing argument. */
518 else if (option->flags & CL_SEPARATE)
524 /* Now we've swallowed any potential argument, complain if this
525 is a switch for a different front end. */
526 if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
528 complain_wrong_lang (argv[0], option, lang_mask);
531 else if ((option->flags & CL_TARGET)
532 && (option->flags & CL_LANG_ALL)
533 && !(option->flags & lang_mask))
535 /* Complain for target flag language mismatches if any languages
537 complain_wrong_lang (argv[0], option, lang_mask);
541 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
543 if (!lang_hooks.missing_argument (opt, opt_index))
544 error ("missing argument to \"%s\"", opt);
548 /* If the switch takes an integer, convert it. */
549 if (arg && (option->flags & CL_UINTEGER))
551 value = integral_argument (arg);
554 error ("argument to \"%s\" should be a non-negative integer",
560 if (option->flag_var)
561 switch (option->var_type)
564 *(int *) option->flag_var = value;
568 *(int *) option->flag_var = (value
570 : !option->var_value);
575 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
576 *(int *) option->flag_var |= option->var_value;
578 *(int *) option->flag_var &= ~option->var_value;
579 if (option->flag_var == &target_flags)
580 target_flags_explicit |= option->var_value;
584 *(const char **) option->flag_var = arg;
588 if (option->flags & lang_mask)
589 if (lang_hooks.handle_option (opt_index, arg, value) == 0)
592 if (result && (option->flags & CL_COMMON))
593 if (common_handle_option (opt_index, arg, value, lang_mask) == 0)
596 if (result && (option->flags & CL_TARGET))
597 if (!targetm.handle_option (opt_index, arg, value))
606 /* Handle FILENAME from the command line. */
608 add_input_filename (const char *filename)
611 in_fnames = xrealloc (in_fnames, num_in_fnames * sizeof (in_fnames[0]));
612 in_fnames[num_in_fnames - 1] = filename;
615 /* Add functions or file names to a vector of names to exclude from
619 add_instrument_functions_exclude_list (VEC(char_p,heap) **pvec,
627 /* We never free this string. */
640 VEC_safe_push (char_p, heap, *pvec, token_start);
643 if (*r == '\\' && r[1] == ',')
651 if (*token_start != '\0')
652 VEC_safe_push (char_p, heap, *pvec, token_start);
655 /* Return whether we should exclude FNDECL from instrumentation. */
658 flag_instrument_functions_exclude_p (tree fndecl)
660 if (VEC_length (char_p, flag_instrument_functions_exclude_functions) > 0)
666 name = lang_hooks.decl_printable_name (fndecl, 0);
668 VEC_iterate (char_p, flag_instrument_functions_exclude_functions,
672 if (strstr (name, s) != NULL)
677 if (VEC_length (char_p, flag_instrument_functions_exclude_files) > 0)
683 name = DECL_SOURCE_FILE (fndecl);
685 VEC_iterate (char_p, flag_instrument_functions_exclude_files, i, s);
688 if (strstr (name, s) != NULL)
696 /* Decode and handle the vector of command line options. LANG_MASK
697 contains has a single bit set representing the current
700 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
704 for (i = 1; i < argc; i += n)
706 const char *opt = argv[i];
708 /* Interpret "-" or a non-switch as a file name. */
709 if (opt[0] != '-' || opt[1] == '\0')
711 if (main_input_filename == NULL)
713 main_input_filename = opt;
714 main_input_baselength
715 = base_of_path (main_input_filename, &main_input_basename);
717 add_input_filename (opt);
722 n = handle_option (argv + i, lang_mask);
727 error ("unrecognized command line option \"%s\"", opt);
732 /* Parse command line options and set default flag values. Do minimal
733 options processing. */
735 decode_options (unsigned int argc, const char **argv)
737 unsigned int i, lang_mask;
739 /* Perform language-specific options initialization. */
740 lang_mask = lang_hooks.init_options (argc, argv);
742 lang_hooks.initialize_diagnostics (global_dc);
744 /* Scan to see what optimization level has been specified. That will
745 determine the default value of many flags. */
746 for (i = 1; i < argc; i++)
748 if (!strcmp (argv[i], "-O"))
753 else if (argv[i][0] == '-' && argv[i][1] == 'O')
755 /* Handle -Os, -O2, -O3, -O69, ... */
756 const char *p = &argv[i][2];
758 if ((p[0] == 's') && (p[1] == 0))
762 /* Optimizing for size forces optimize to be 2. */
767 const int optimize_val = read_integral_parameter (p, p - 2, -1);
768 if (optimize_val != -1)
770 optimize = optimize_val;
779 flag_merge_constants = 0;
786 flag_delayed_branch = 1;
788 #ifdef CAN_DEBUG_WITHOUT_FP
789 flag_omit_frame_pointer = 1;
791 flag_guess_branch_prob = 1;
792 flag_cprop_registers = 1;
793 flag_if_conversion = 1;
794 flag_if_conversion2 = 1;
795 flag_ipa_pure_const = 1;
796 flag_ipa_reference = 1;
797 flag_split_wide_types = 1;
804 flag_tree_copyrename = 1;
806 flag_tree_copy_prop = 1;
808 flag_tree_salias = 1;
809 if (!no_unit_at_a_time_default)
810 flag_unit_at_a_time = 1;
814 /* Loop header copying usually increases size of the code. This used
815 not to be true, since quite often it is possible to verify that
816 the condition is satisfied in the first iteration and therefore
817 to eliminate it. Jump threading handles these cases now. */
824 flag_thread_jumps = 1;
825 flag_crossjumping = 1;
826 flag_optimize_sibling_calls = 1;
827 flag_forward_propagate = 1;
828 flag_cse_follow_jumps = 1;
830 flag_expensive_optimizations = 1;
831 flag_ipa_type_escape = 1;
832 flag_rerun_cse_after_loop = 1;
833 flag_caller_saves = 1;
835 #ifdef INSN_SCHEDULING
836 flag_schedule_insns = 1;
837 flag_schedule_insns_after_reload = 1;
840 flag_strict_aliasing = 1;
841 flag_strict_overflow = 1;
842 flag_delete_null_pointer_checks = 1;
843 flag_reorder_blocks = 1;
844 flag_reorder_functions = 1;
845 flag_tree_store_ccp = 1;
846 flag_tree_store_copy_prop = 1;
851 /* PRE tends to generate bigger code. */
855 /* Allow more virtual operators to increase alias precision. */
856 set_param_value ("max-aliased-vops", 500);
861 flag_predictive_commoning = 1;
862 flag_inline_functions = 1;
863 flag_unswitch_loops = 1;
864 flag_gcse_after_reload = 1;
866 /* Allow even more virtual operators. */
867 set_param_value ("max-aliased-vops", 1000);
868 set_param_value ("avg-aliased-vops", 3);
871 if (optimize < 2 || optimize_size)
878 /* Don't reorder blocks when optimizing for size because extra
879 jump insns may be created; also barrier may create extra padding.
881 More correctly we should have a block reordering mode that tried
882 to minimize the combined size of all the jumps. This would more
883 or less automatically remove extra jumps, but would also try to
884 use more short jumps instead of long jumps. */
885 flag_reorder_blocks = 0;
886 flag_reorder_blocks_and_partition = 0;
891 /* Inlining of functions reducing size is a good idea regardless
892 of them being declared inline. */
893 flag_inline_functions = 1;
895 /* We want to crossjump as much as possible. */
896 set_param_value ("min-crossjump-insns", 1);
899 /* Initialize whether `char' is signed. */
900 flag_signed_char = DEFAULT_SIGNED_CHAR;
901 /* Set this to a special "uninitialized" value. The actual default is set
902 after target options have been processed. */
903 flag_short_enums = 2;
905 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
907 target_flags = targetm.default_target_flags;
909 /* Some tagets have ABI-specified unwind tables. */
910 flag_unwind_tables = targetm.unwind_tables_default;
912 #ifdef OPTIMIZATION_OPTIONS
913 /* Allow default optimizations to be specified on a per-machine basis. */
914 OPTIMIZATION_OPTIONS (optimize, optimize_size);
917 handle_options (argc, argv, lang_mask);
921 if (flag_pic && !flag_pie)
924 if (flag_no_inline == 2)
927 flag_really_no_inline = flag_no_inline;
929 /* Set flag_no_inline before the post_options () hook. The C front
930 ends use it to determine tree inlining defaults. FIXME: such
931 code should be lang-independent when all front ends use tree
932 inlining, in which case it, and this condition, should be moved
933 to the top of process_options() instead. */
936 /* Inlining does not work if not optimizing,
937 so force it not to be done. */
941 /* The c_decode_option function and decode_option hook set
942 this to `2' if -Wall is used, so we can avoid giving out
943 lots of errors for people who don't realize what -Wall does. */
944 if (warn_uninitialized == 1)
945 warning (OPT_Wuninitialized,
946 "-Wuninitialized is not supported without -O");
949 if (flag_really_no_inline == 2)
950 flag_really_no_inline = flag_no_inline;
952 /* The optimization to partition hot and cold basic blocks into separate
953 sections of the .o and executable files does not work (currently)
954 with exception handling. This is because there is no support for
955 generating unwind info. If flag_exceptions is turned on we need to
956 turn off the partitioning optimization. */
958 if (flag_exceptions && flag_reorder_blocks_and_partition)
961 ("-freorder-blocks-and-partition does not work with exceptions");
962 flag_reorder_blocks_and_partition = 0;
963 flag_reorder_blocks = 1;
966 /* If user requested unwind info, then turn off the partitioning
969 if (flag_unwind_tables && ! targetm.unwind_tables_default
970 && flag_reorder_blocks_and_partition)
972 inform ("-freorder-blocks-and-partition does not support unwind info");
973 flag_reorder_blocks_and_partition = 0;
974 flag_reorder_blocks = 1;
977 /* If the target requested unwind info, then turn off the partitioning
978 optimization with a different message. Likewise, if the target does not
979 support named sections. */
981 if (flag_reorder_blocks_and_partition
982 && (!targetm.have_named_sections
983 || (flag_unwind_tables && targetm.unwind_tables_default)))
986 ("-freorder-blocks-and-partition does not work on this architecture");
987 flag_reorder_blocks_and_partition = 0;
988 flag_reorder_blocks = 1;
992 #define LEFT_COLUMN 27
994 /* Output ITEM, of length ITEM_WIDTH, in the left column,
995 followed by word-wrapped HELP in a second column. */
997 wrap_help (const char *help,
999 unsigned int item_width,
1000 unsigned int columns)
1002 unsigned int col_width = LEFT_COLUMN;
1003 unsigned int remaining, room, len;
1005 remaining = strlen (help);
1009 room = columns - 3 - MAX (col_width, item_width);
1018 for (i = 0; help[i]; i++)
1020 if (i >= room && len != remaining)
1024 else if ((help[i] == '-' || help[i] == '/')
1025 && help[i + 1] != ' '
1026 && i > 0 && ISALPHA (help[i - 1]))
1031 printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help);
1033 while (help[len] == ' ')
1041 /* Print help for a specific front-end, etc. */
1043 print_filtered_help (unsigned int include_flags,
1044 unsigned int exclude_flags,
1045 unsigned int any_flags,
1046 unsigned int columns)
1050 static char *printed = NULL;
1052 bool displayed = false;
1054 if (include_flags == CL_PARAMS)
1056 for (i = 0; i < LAST_PARAM; i++)
1058 const char *param = compiler_params[i].option;
1060 help = compiler_params[i].help;
1061 if (help == NULL || *help == '\0')
1063 if (exclude_flags & CL_UNDOCUMENTED)
1065 help = undocumented_msg;
1068 /* Get the translation. */
1071 wrap_help (help, param, strlen (param), columns);
1078 printed = xcalloc (1, cl_options_count);
1080 for (i = 0; i < cl_options_count; i++)
1082 static char new_help[128];
1083 const struct cl_option *option = cl_options + i;
1088 if (include_flags == 0
1089 || ((option->flags & include_flags) != include_flags))
1091 if ((option->flags & any_flags) == 0)
1095 /* Skip unwanted switches. */
1096 if ((option->flags & exclude_flags) != 0)
1100 /* Skip switches that have already been printed. */
1106 help = option->help;
1109 if (exclude_flags & CL_UNDOCUMENTED)
1111 help = undocumented_msg;
1114 /* Get the translation. */
1117 /* Find the gap between the name of the
1118 option and its descriptive text. */
1119 tab = strchr (help, '\t');
1128 opt = option->opt_text;
1132 /* With the -Q option enabled we change the descriptive text associated
1133 with an option to be an indication of its current setting. */
1136 if (len < (LEFT_COLUMN + 2))
1137 strcpy (new_help, "\t\t");
1139 strcpy (new_help, "\t");
1141 if (option->flag_var != NULL)
1143 if (option->flags & CL_JOINED)
1145 if (option->var_type == CLVC_STRING)
1147 if (* (const char **) option->flag_var != NULL)
1148 snprintf (new_help + strlen (new_help),
1149 sizeof (new_help) - strlen (new_help),
1150 * (const char **) option->flag_var);
1153 sprintf (new_help + strlen (new_help),
1154 "%#x", * (int *) option->flag_var);
1157 strcat (new_help, option_enabled (i)
1158 ? _("[enabled]") : _("[disabled]"));
1164 wrap_help (help, opt, len, columns);
1169 printf (_(" No options with the desired characteristics were found\n"));
1170 else if (! displayed)
1171 printf (_(" All options with the desired characteristics have already been displayed\n"));
1176 /* Display help for a specified type of option.
1177 The options must have ALL of the INCLUDE_FLAGS set
1178 ANY of the flags in the ANY_FLAGS set
1179 and NONE of the EXCLUDE_FLAGS set. */
1181 print_specific_help (unsigned int include_flags,
1182 unsigned int exclude_flags,
1183 unsigned int any_flags)
1185 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1186 const char * description = NULL;
1187 const char * descrip_extra = "";
1190 static unsigned int columns = 0;
1192 /* Sanity check: Make sure that we do not have more
1193 languages than we have bits available to enumerate them. */
1194 gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS);
1196 /* If we have not done so already, obtain
1197 the desired maximum width of the output. */
1202 GET_ENVIRONMENT (p, "COLUMNS");
1205 int value = atoi (p);
1212 /* Use a reasonable default. */
1216 /* Decide upon the title for the options that we are going to display. */
1217 for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1219 switch (flag & include_flags)
1225 description = _("The following options are target specific");
1228 description = _("The following options control compiler warning messages");
1230 case CL_OPTIMIZATION:
1231 description = _("The following options control optimizations");
1234 description = _("The following options are language-independent");
1237 description = _("The --param option recognizes the following as parameters");
1240 if (i >= cl_lang_count)
1242 if ((exclude_flags & ((1U << cl_lang_count) - 1)) != 0)
1244 description = _("The following options are specific to the language ");
1245 descrip_extra = lang_names [i];
1248 description = _("The following options are supported by the language ");
1249 descrip_extra = lang_names [i];
1254 if (description == NULL)
1258 if (include_flags == CL_UNDOCUMENTED)
1259 description = _("The following options are not documented");
1262 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1269 if (any_flags & all_langs_mask)
1270 description = _("The following options are language-related");
1272 description = _("The following options are language-independent");
1276 printf ("%s%s:\n", description, descrip_extra);
1277 print_filtered_help (include_flags, exclude_flags, any_flags, columns);
1280 /* Handle target- and language-independent options. Return zero to
1281 generate an "unknown option" message. Only options that need
1282 extra handling need to be listed here; if you simply want
1283 VALUE assigned to a variable, it happens automatically. */
1286 common_handle_option (size_t scode, const char *arg, int value,
1287 unsigned int lang_mask)
1289 enum opt_code code = (enum opt_code) scode;
1300 unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1301 unsigned int undoc_mask;
1304 undoc_mask = extra_warnings ? 0 : CL_UNDOCUMENTED;
1305 /* First display any single language specific options. */
1306 for (i = 0; i < cl_lang_count; i++)
1308 (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0);
1309 /* Next display any multi language specific options. */
1310 print_specific_help (0, undoc_mask, all_langs_mask);
1311 /* Then display any remaining, non-language options. */
1312 for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1313 print_specific_help (i, undoc_mask, 0);
1314 exit_after_options = true;
1318 case OPT_ftarget_help:
1319 case OPT__target_help:
1320 print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0);
1321 exit_after_options = true;
1323 /* Allow the target a chance to give the user some additional information. */
1324 if (targetm.target_help)
1325 targetm.target_help ();
1331 const char * a = arg;
1332 unsigned int include_flags = 0;
1333 /* Note - by default we include undocumented options when listing
1334 specific classes. If you only want to see documented options
1335 then add ",^undocumented" to the --help= option. e.g.:
1337 --help=target,^undocumented */
1338 unsigned int exclude_flags = 0;
1340 /* Walk along the argument string, parsing each word in turn.
1342 arg = [^]{word}[,{arg}]
1343 word = {optimizers|target|warnings|undocumented|
1344 params|common|<language>} */
1349 const char * string;
1354 { "optimizers", CL_OPTIMIZATION },
1355 { "target", CL_TARGET },
1356 { "warnings", CL_WARNING },
1357 { "undocumented", CL_UNDOCUMENTED },
1358 { "params", CL_PARAMS },
1359 { "joined", CL_JOINED },
1360 { "separate", CL_SEPARATE },
1361 { "common", CL_COMMON },
1364 unsigned int * pflags;
1372 pflags = & exclude_flags;
1375 pflags = & include_flags;
1377 comma = strchr (a, ',');
1383 for (i = 0; specifics[i].string != NULL; i++)
1384 if (strncasecmp (a, specifics[i].string, len) == 0)
1386 * pflags |= specifics[i].flag;
1390 if (specifics[i].string == NULL)
1392 /* Check to see if the string matches a language name. */
1393 for (i = 0; i < cl_lang_count; i++)
1394 if (strncasecmp (a, lang_names[i], len) == 0)
1396 * pflags |= 1U << i;
1400 if (i == cl_lang_count)
1402 "warning: unrecognized argument to --help= switch: %.*s\n",
1412 print_specific_help (include_flags, exclude_flags, 0);
1413 exit_after_options = true;
1418 print_version (stderr, "");
1419 exit_after_options = true;
1423 g_switch_value = value;
1424 g_switch_set = true;
1429 /* Currently handled in a prescan. */
1433 /* For backward compatibility, -W is the same as -Wextra. */
1438 enable_warning_as_error (arg, value, lang_mask);
1445 case OPT_Wlarger_than_:
1446 larger_than_size = value;
1447 warn_larger_than = value != -1;
1450 case OPT_Wstrict_aliasing:
1451 set_Wstrict_aliasing (value);
1454 case OPT_Wstrict_aliasing_:
1455 warn_strict_aliasing = value;
1458 case OPT_Wstrict_overflow:
1459 warn_strict_overflow = (value
1460 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1464 case OPT_Wstrict_overflow_:
1465 warn_strict_overflow = value;
1469 set_Wunused (value);
1474 aux_info_file_name = arg;
1475 flag_gen_aux_info = 1;
1479 aux_base_name = arg;
1482 case OPT_auxbase_strip:
1484 char *tmp = xstrdup (arg);
1485 strip_off_ending (tmp, strlen (tmp));
1487 aux_base_name = tmp;
1492 decode_d_option (arg);
1496 dump_base_name = arg;
1499 case OPT_falign_functions_:
1500 align_functions = value;
1503 case OPT_falign_jumps_:
1504 align_jumps = value;
1507 case OPT_falign_labels_:
1508 align_labels = value;
1511 case OPT_falign_loops_:
1512 align_loops = value;
1515 case OPT_fbranch_probabilities:
1516 flag_branch_probabilities_set = true;
1519 case OPT_fcall_used_:
1520 fix_register (arg, 0, 1);
1523 case OPT_fcall_saved_:
1524 fix_register (arg, 0, 0);
1528 dbg_cnt_process_opt (arg);
1531 case OPT_fdbg_cnt_list:
1532 dbg_cnt_list_all_counters ();
1535 case OPT_fdebug_prefix_map_:
1536 add_debug_prefix_map (arg);
1539 case OPT_fdiagnostics_show_location_:
1540 if (!strcmp (arg, "once"))
1541 diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
1542 else if (!strcmp (arg, "every-line"))
1543 diagnostic_prefixing_rule (global_dc)
1544 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
1549 case OPT_fdiagnostics_show_option:
1550 global_dc->show_option_requested = true;
1554 if (!dump_switch_p (arg))
1558 case OPT_ffast_math:
1559 set_fast_math_flags (value);
1563 fix_register (arg, 1, 1);
1566 case OPT_finline_limit_:
1567 case OPT_finline_limit_eq:
1568 set_param_value ("max-inline-insns-single", value / 2);
1569 set_param_value ("max-inline-insns-auto", value / 2);
1572 case OPT_finstrument_functions_exclude_function_list_:
1573 add_instrument_functions_exclude_list
1574 (&flag_instrument_functions_exclude_functions, arg);
1577 case OPT_finstrument_functions_exclude_file_list_:
1578 add_instrument_functions_exclude_list
1579 (&flag_instrument_functions_exclude_files, arg);
1582 case OPT_fmessage_length_:
1583 pp_set_line_maximum_length (global_dc->printer, value);
1586 case OPT_fpack_struct_:
1587 if (value <= 0 || (value & (value - 1)) || value > 16)
1588 error ("structure alignment must be a small power of two, not %d", value);
1591 initial_max_fld_align = value;
1592 maximum_field_alignment = value * BITS_PER_UNIT;
1596 case OPT_fpeel_loops:
1597 flag_peel_loops_set = true;
1600 case OPT_fprofile_arcs:
1601 profile_arc_flag_set = true;
1604 case OPT_fprofile_use:
1605 if (!flag_branch_probabilities_set)
1606 flag_branch_probabilities = value;
1607 if (!flag_profile_values_set)
1608 flag_profile_values = value;
1609 if (!flag_unroll_loops_set)
1610 flag_unroll_loops = value;
1611 if (!flag_peel_loops_set)
1612 flag_peel_loops = value;
1613 if (!flag_tracer_set)
1614 flag_tracer = value;
1615 if (!flag_value_profile_transformations_set)
1616 flag_value_profile_transformations = value;
1619 case OPT_fprofile_generate:
1620 if (!profile_arc_flag_set)
1621 profile_arc_flag = value;
1622 if (!flag_profile_values_set)
1623 flag_profile_values = value;
1624 if (!flag_value_profile_transformations_set)
1625 flag_value_profile_transformations = value;
1628 case OPT_fprofile_values:
1629 flag_profile_values_set = true;
1632 case OPT_fvisibility_:
1634 if (!strcmp(arg, "default"))
1635 default_visibility = VISIBILITY_DEFAULT;
1636 else if (!strcmp(arg, "internal"))
1637 default_visibility = VISIBILITY_INTERNAL;
1638 else if (!strcmp(arg, "hidden"))
1639 default_visibility = VISIBILITY_HIDDEN;
1640 else if (!strcmp(arg, "protected"))
1641 default_visibility = VISIBILITY_PROTECTED;
1643 error ("unrecognized visibility value \"%s\"", arg);
1648 flag_value_profile_transformations_set = true;
1651 case OPT_frandom_seed:
1652 /* The real switch is -fno-random-seed. */
1655 set_random_seed (NULL);
1658 case OPT_frandom_seed_:
1659 set_random_seed (arg);
1662 case OPT_fsched_verbose_:
1663 #ifdef INSN_SCHEDULING
1664 fix_sched_param ("verbose", arg);
1670 case OPT_fsched_stalled_insns_:
1671 flag_sched_stalled_insns = value;
1672 if (flag_sched_stalled_insns == 0)
1673 flag_sched_stalled_insns = -1;
1676 case OPT_fsched_stalled_insns_dep_:
1677 flag_sched_stalled_insns_dep = value;
1680 case OPT_fstack_limit:
1681 /* The real switch is -fno-stack-limit. */
1684 stack_limit_rtx = NULL_RTX;
1687 case OPT_fstack_limit_register_:
1689 int reg = decode_reg_name (arg);
1691 error ("unrecognized register name \"%s\"", arg);
1693 stack_limit_rtx = gen_rtx_REG (Pmode, reg);
1697 case OPT_fstack_limit_symbol_:
1698 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
1701 case OPT_ftree_vectorizer_verbose_:
1702 vect_set_verbosity_level (arg);
1705 case OPT_ftls_model_:
1706 if (!strcmp (arg, "global-dynamic"))
1707 flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
1708 else if (!strcmp (arg, "local-dynamic"))
1709 flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
1710 else if (!strcmp (arg, "initial-exec"))
1711 flag_tls_default = TLS_MODEL_INITIAL_EXEC;
1712 else if (!strcmp (arg, "local-exec"))
1713 flag_tls_default = TLS_MODEL_LOCAL_EXEC;
1715 warning (0, "unknown tls-model \"%s\"", arg);
1719 flag_tracer_set = true;
1722 case OPT_funroll_loops:
1723 flag_unroll_loops_set = true;
1727 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
1731 set_debug_level (SDB_DEBUG, false, arg);
1735 set_debug_level (DWARF2_DEBUG, false, arg);
1739 set_debug_level (NO_DEBUG, 2, arg);
1744 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
1748 set_debug_level (VMS_DEBUG, false, arg);
1753 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
1757 asm_file_name = arg;
1760 case OPT_pedantic_errors:
1761 flag_pedantic_errors = pedantic = 1;
1764 case OPT_floop_optimize:
1765 case OPT_frerun_loop_opt:
1766 case OPT_fstrength_reduce:
1767 /* These are no-ops, preserved for backward compatibility. */
1771 /* If the flag was handled in a standard way, assume the lack of
1772 processing here is intentional. */
1773 gcc_assert (cl_options[scode].flag_var);
1780 /* Handle --param NAME=VALUE. */
1782 handle_param (const char *carg)
1787 arg = xstrdup (carg);
1788 equal = strchr (arg, '=');
1790 error ("%s: --param arguments should be of the form NAME=VALUE", arg);
1793 value = integral_argument (equal + 1);
1795 error ("invalid --param value %qs", equal + 1);
1799 set_param_value (arg, value);
1806 /* Handle -W and -Wextra. */
1808 set_Wextra (int setting)
1810 extra_warnings = setting;
1811 warn_unused_parameter = (setting && maybe_warn_unused_parameter);
1813 /* We save the value of warn_uninitialized, since if they put
1814 -Wuninitialized on the command line, we need to generate a
1815 warning about not using it without also specifying -O. */
1817 warn_uninitialized = 0;
1818 else if (warn_uninitialized != 1)
1819 warn_uninitialized = 2;
1822 /* Initialize unused warning flags. */
1824 set_Wunused (int setting)
1826 warn_unused_function = setting;
1827 warn_unused_label = setting;
1828 /* Unused function parameter warnings are reported when either
1829 ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified.
1830 Thus, if -Wextra has already been seen, set warn_unused_parameter;
1831 otherwise set maybe_warn_extra_parameter, which will be picked up
1833 maybe_warn_unused_parameter = setting;
1834 warn_unused_parameter = (setting && extra_warnings);
1835 warn_unused_variable = setting;
1836 warn_unused_value = setting;
1839 /* Used to set the level of strict aliasing warnings,
1840 when no level is specified (i.e., when -Wstrict-aliasing, and not
1841 -Wstrict-aliasing=level was given).
1842 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
1843 and 0 otherwise. After calling this function, wstrict_aliasing will be
1844 set to the default value of -Wstrict_aliasing=level, currently 3. */
1846 set_Wstrict_aliasing (int onoff)
1848 gcc_assert (onoff == 0 || onoff == 1);
1850 warn_strict_aliasing = 3;
1853 /* The following routines are useful in setting all the flags that
1854 -ffast-math and -fno-fast-math imply. */
1856 set_fast_math_flags (int set)
1858 flag_trapping_math = !set;
1859 flag_unsafe_math_optimizations = set;
1860 flag_finite_math_only = set;
1861 flag_signed_zeros = !set;
1862 flag_errno_math = !set;
1865 flag_signaling_nans = 0;
1866 flag_rounding_math = 0;
1867 flag_cx_limited_range = 1;
1871 /* Return true iff flags are set as if -ffast-math. */
1873 fast_math_flags_set_p (void)
1875 return (!flag_trapping_math
1876 && flag_unsafe_math_optimizations
1877 && flag_finite_math_only
1878 && !flag_signed_zeros
1879 && !flag_errno_math);
1882 /* Handle a debug output -g switch. EXTENDED is true or false to support
1883 extended output (2 is special and means "-ggdb" was given). */
1885 set_debug_level (enum debug_info_type type, int extended, const char *arg)
1887 static bool type_explicit;
1889 use_gnu_debug_info_extensions = extended;
1891 if (type == NO_DEBUG)
1893 if (write_symbols == NO_DEBUG)
1895 write_symbols = PREFERRED_DEBUGGING_TYPE;
1899 #ifdef DWARF2_DEBUGGING_INFO
1900 write_symbols = DWARF2_DEBUG;
1901 #elif defined DBX_DEBUGGING_INFO
1902 write_symbols = DBX_DEBUG;
1906 if (write_symbols == NO_DEBUG)
1907 warning (0, "target system does not support debug output");
1912 /* Does it conflict with an already selected type? */
1913 if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
1914 error ("debug format \"%s\" conflicts with prior selection",
1915 debug_type_names[type]);
1916 write_symbols = type;
1917 type_explicit = true;
1920 /* A debug flag without a level defaults to level 2. */
1923 if (!debug_info_level)
1924 debug_info_level = 2;
1928 debug_info_level = integral_argument (arg);
1929 if (debug_info_level == (unsigned int) -1)
1930 error ("unrecognised debug output level \"%s\"", arg);
1931 else if (debug_info_level > 3)
1932 error ("debug output level %s is too high", arg);
1936 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
1937 a simple on-off switch. */
1940 option_enabled (int opt_idx)
1942 const struct cl_option *option = &(cl_options[opt_idx]);
1944 if (option->flag_var)
1945 switch (option->var_type)
1948 return *(int *) option->flag_var != 0;
1951 return *(int *) option->flag_var == option->var_value;
1953 case CLVC_BIT_CLEAR:
1954 return (*(int *) option->flag_var & option->var_value) == 0;
1957 return (*(int *) option->flag_var & option->var_value) != 0;
1965 /* Fill STATE with the current state of option OPTION. Return true if
1966 there is some state to store. */
1969 get_option_state (int option, struct cl_option_state *state)
1971 if (cl_options[option].flag_var == 0)
1974 switch (cl_options[option].var_type)
1978 state->data = cl_options[option].flag_var;
1979 state->size = sizeof (int);
1982 case CLVC_BIT_CLEAR:
1984 state->ch = option_enabled (option);
1985 state->data = &state->ch;
1990 state->data = *(const char **) cl_options[option].flag_var;
1991 if (state->data == 0)
1993 state->size = strlen (state->data) + 1;
1999 /* Enable a warning option as an error. This is used by -Werror= and
2000 also by legacy Werror-implicit-function-declaration. */
2003 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask)
2008 new_option = XNEWVEC (char, strlen (arg) + 2);
2009 new_option[0] = 'W';
2010 strcpy (new_option + 1, arg);
2011 option_index = find_opt (new_option, lang_mask);
2012 if (option_index == N_OPTS)
2014 error ("-Werror=%s: No option -%s", arg, new_option);
2018 int kind = value ? DK_ERROR : DK_WARNING;
2019 diagnostic_classify_diagnostic (global_dc, option_index, kind);
2021 /* -Werror=foo implies -Wfoo. */
2022 if (cl_options[option_index].var_type == CLVC_BOOLEAN
2023 && cl_options[option_index].flag_var
2024 && kind == DK_ERROR)
2025 *(int *) cl_options[option_index].flag_var = 1;