re PR target/24953 (RTL check: access of elt 1 of vector with last elt 0 in vrsave_op...
[official-gcc.git] / gcc / opts.c
blob7edaeac5b53e6d042a6d41e9d59e9796e4175a6c
1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
3 Contributed by Neil Booth.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
20 02110-1301, USA. */
22 #include "config.h"
23 #include "system.h"
24 #include "intl.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "tree.h"
28 #include "rtl.h"
29 #include "ggc.h"
30 #include "output.h"
31 #include "langhooks.h"
32 #include "opts.h"
33 #include "options.h"
34 #include "flags.h"
35 #include "toplev.h"
36 #include "params.h"
37 #include "diagnostic.h"
38 #include "tm_p.h" /* For OPTIMIZATION_OPTIONS. */
39 #include "insn-attr.h" /* For INSN_SCHEDULING. */
40 #include "target.h"
41 #include "tree-pass.h"
43 /* Value of the -G xx switch, and whether it was passed or not. */
44 unsigned HOST_WIDE_INT g_switch_value;
45 bool g_switch_set;
47 /* True if we should exit after parsing options. */
48 bool exit_after_options;
50 /* Print various extra warnings. -W/-Wextra. */
51 bool extra_warnings;
53 /* True to warn about any objects definitions whose size is larger
54 than N bytes. Also want about function definitions whose returned
55 values are larger than N bytes, where N is `larger_than_size'. */
56 bool warn_larger_than;
57 HOST_WIDE_INT larger_than_size;
59 /* Nonzero means warn about constructs which might not be
60 strict-aliasing safe. */
61 int warn_strict_aliasing;
63 /* Hack for cooperation between set_Wunused and set_Wextra. */
64 static bool maybe_warn_unused_parameter;
66 /* Type(s) of debugging information we are producing (if any). See
67 flags.h for the definitions of the different possible types of
68 debugging information. */
69 enum debug_info_type write_symbols = NO_DEBUG;
71 /* Level of debugging information we are producing. See flags.h for
72 the definitions of the different possible levels. */
73 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
75 /* Nonzero means use GNU-only extensions in the generated symbolic
76 debugging information. Currently, this only has an effect when
77 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
78 bool use_gnu_debug_info_extensions;
80 /* The default visibility for all symbols (unless overridden) */
81 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
83 /* Global visibility options. */
84 struct visibility_flags visibility_options;
86 /* Columns of --help display. */
87 static unsigned int columns = 80;
89 /* What to print when a switch has no documentation. */
90 static const char undocumented_msg[] = N_("This switch lacks documentation");
92 /* Used for bookkeeping on whether user set these flags so
93 -fprofile-use/-fprofile-generate does not use them. */
94 static bool profile_arc_flag_set, flag_profile_values_set;
95 static bool flag_unroll_loops_set, flag_tracer_set;
96 static bool flag_value_profile_transformations_set;
97 static bool flag_peel_loops_set, flag_branch_probabilities_set;
98 static bool flag_loop_optimize_set;
100 /* Input file names. */
101 const char **in_fnames;
102 unsigned num_in_fnames;
104 static size_t find_opt (const char *, int);
105 static int common_handle_option (size_t scode, const char *arg, int value);
106 static void handle_param (const char *);
107 static void set_Wextra (int);
108 static unsigned int handle_option (const char **argv, unsigned int lang_mask);
109 static char *write_langs (unsigned int lang_mask);
110 static void complain_wrong_lang (const char *, const struct cl_option *,
111 unsigned int lang_mask);
112 static void handle_options (unsigned int, const char **, unsigned int);
113 static void wrap_help (const char *help, const char *item, unsigned int);
114 static void print_target_help (void);
115 static void print_help (void);
116 static void print_param_help (void);
117 static void print_filtered_help (unsigned int);
118 static unsigned int print_switch (const char *text, unsigned int indent);
119 static void set_debug_level (enum debug_info_type type, int extended,
120 const char *arg);
122 /* Perform a binary search to find which option the command-line INPUT
123 matches. Returns its index in the option array, and N_OPTS
124 (cl_options_count) on failure.
126 This routine is quite subtle. A normal binary search is not good
127 enough because some options can be suffixed with an argument, and
128 multiple sub-matches can occur, e.g. input of "-pedantic" matching
129 the initial substring of "-pedantic-errors".
131 A more complicated example is -gstabs. It should match "-g" with
132 an argument of "stabs". Suppose, however, that the number and list
133 of switches are such that the binary search tests "-gen-decls"
134 before having tested "-g". This doesn't match, and as "-gen-decls"
135 is less than "-gstabs", it will become the lower bound of the
136 binary search range, and "-g" will never be seen. To resolve this
137 issue, opts.sh makes "-gen-decls" point, via the back_chain member,
138 to "-g" so that failed searches that end between "-gen-decls" and
139 the lexicographically subsequent switch know to go back and see if
140 "-g" causes a match (which it does in this example).
142 This search is done in such a way that the longest match for the
143 front end in question wins. If there is no match for the current
144 front end, the longest match for a different front end is returned
145 (or N_OPTS if none) and the caller emits an error message. */
146 static size_t
147 find_opt (const char *input, int lang_mask)
149 size_t mn, mx, md, opt_len;
150 size_t match_wrong_lang;
151 int comp;
153 mn = 0;
154 mx = cl_options_count;
156 /* Find mn such this lexicographical inequality holds:
157 cl_options[mn] <= input < cl_options[mn + 1]. */
158 while (mx - mn > 1)
160 md = (mn + mx) / 2;
161 opt_len = cl_options[md].opt_len;
162 comp = strncmp (input, cl_options[md].opt_text + 1, opt_len);
164 if (comp < 0)
165 mx = md;
166 else
167 mn = md;
170 /* This is the switch that is the best match but for a different
171 front end, or cl_options_count if there is no match at all. */
172 match_wrong_lang = cl_options_count;
174 /* Backtrace the chain of possible matches, returning the longest
175 one, if any, that fits best. With current GCC switches, this
176 loop executes at most twice. */
179 const struct cl_option *opt = &cl_options[mn];
181 /* Is the input either an exact match or a prefix that takes a
182 joined argument? */
183 if (!strncmp (input, opt->opt_text + 1, opt->opt_len)
184 && (input[opt->opt_len] == '\0' || (opt->flags & CL_JOINED)))
186 /* If language is OK, return it. */
187 if (opt->flags & lang_mask)
188 return mn;
190 /* If we haven't remembered a prior match, remember this
191 one. Any prior match is necessarily better. */
192 if (match_wrong_lang == cl_options_count)
193 match_wrong_lang = mn;
196 /* Try the next possibility. This is cl_options_count if there
197 are no more. */
198 mn = opt->back_chain;
200 while (mn != cl_options_count);
202 /* Return the best wrong match, or cl_options_count if none. */
203 return match_wrong_lang;
206 /* If ARG is a non-negative integer made up solely of digits, return its
207 value, otherwise return -1. */
208 static int
209 integral_argument (const char *arg)
211 const char *p = arg;
213 while (*p && ISDIGIT (*p))
214 p++;
216 if (*p == '\0')
217 return atoi (arg);
219 return -1;
222 /* Return a malloced slash-separated list of languages in MASK. */
223 static char *
224 write_langs (unsigned int mask)
226 unsigned int n = 0, len = 0;
227 const char *lang_name;
228 char *result;
230 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
231 if (mask & (1U << n))
232 len += strlen (lang_name) + 1;
234 result = xmalloc (len);
235 len = 0;
236 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
237 if (mask & (1U << n))
239 if (len)
240 result[len++] = '/';
241 strcpy (result + len, lang_name);
242 len += strlen (lang_name);
245 result[len] = 0;
247 return result;
250 /* Complain that switch OPT_INDEX does not apply to this front end. */
251 static void
252 complain_wrong_lang (const char *text, const struct cl_option *option,
253 unsigned int lang_mask)
255 char *ok_langs, *bad_lang;
257 ok_langs = write_langs (option->flags);
258 bad_lang = write_langs (lang_mask);
260 /* Eventually this should become a hard error IMO. */
261 warning (0, "command line option \"%s\" is valid for %s but not for %s",
262 text, ok_langs, bad_lang);
264 free (ok_langs);
265 free (bad_lang);
268 /* Handle the switch beginning at ARGV for the language indicated by
269 LANG_MASK. Returns the number of switches consumed. */
270 static unsigned int
271 handle_option (const char **argv, unsigned int lang_mask)
273 size_t opt_index;
274 const char *opt, *arg = 0;
275 char *dup = 0;
276 int value = 1;
277 unsigned int result = 0;
278 const struct cl_option *option;
280 opt = argv[0];
282 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
283 if (opt_index == cl_options_count
284 && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
285 && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
287 /* Drop the "no-" from negative switches. */
288 size_t len = strlen (opt) - 3;
290 dup = xmalloc (len + 1);
291 dup[0] = '-';
292 dup[1] = opt[1];
293 memcpy (dup + 2, opt + 5, len - 2 + 1);
294 opt = dup;
295 value = 0;
296 opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
299 if (opt_index == cl_options_count)
300 goto done;
302 option = &cl_options[opt_index];
304 /* Reject negative form of switches that don't take negatives as
305 unrecognized. */
306 if (!value && (option->flags & CL_REJECT_NEGATIVE))
307 goto done;
309 /* We've recognized this switch. */
310 result = 1;
312 /* Check to see if the option is disabled for this configuration. */
313 if (option->flags & CL_DISABLED)
315 error ("command line option %qs"
316 " is not supported by this configuration", opt);
317 goto done;
320 /* Sort out any argument the switch takes. */
321 if (option->flags & CL_JOINED)
323 /* Have arg point to the original switch. This is because
324 some code, such as disable_builtin_function, expects its
325 argument to be persistent until the program exits. */
326 arg = argv[0] + cl_options[opt_index].opt_len + 1;
327 if (!value)
328 arg += strlen ("no-");
330 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
332 if (option->flags & CL_SEPARATE)
334 arg = argv[1];
335 result = 2;
337 else
338 /* Missing argument. */
339 arg = NULL;
342 else if (option->flags & CL_SEPARATE)
344 arg = argv[1];
345 result = 2;
348 /* Now we've swallowed any potential argument, complain if this
349 is a switch for a different front end. */
350 if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
352 complain_wrong_lang (argv[0], option, lang_mask);
353 goto done;
356 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
358 if (!lang_hooks.missing_argument (opt, opt_index))
359 error ("missing argument to \"%s\"", opt);
360 goto done;
363 /* If the switch takes an integer, convert it. */
364 if (arg && (option->flags & CL_UINTEGER))
366 value = integral_argument (arg);
367 if (value == -1)
369 error ("argument to \"%s\" should be a non-negative integer",
370 option->opt_text);
371 goto done;
375 if (option->flag_var)
376 switch (option->var_type)
378 case CLVC_BOOLEAN:
379 *(int *) option->flag_var = value;
380 break;
382 case CLVC_EQUAL:
383 *(int *) option->flag_var = (value
384 ? option->var_value
385 : !option->var_value);
386 break;
388 case CLVC_BIT_CLEAR:
389 case CLVC_BIT_SET:
390 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
391 *(int *) option->flag_var |= option->var_value;
392 else
393 *(int *) option->flag_var &= ~option->var_value;
394 if (option->flag_var == &target_flags)
395 target_flags_explicit |= option->var_value;
396 break;
398 case CLVC_STRING:
399 *(const char **) option->flag_var = arg;
400 break;
403 if (option->flags & lang_mask)
404 if (lang_hooks.handle_option (opt_index, arg, value) == 0)
405 result = 0;
407 if (result && (option->flags & CL_COMMON))
408 if (common_handle_option (opt_index, arg, value) == 0)
409 result = 0;
411 if (result && (option->flags & CL_TARGET))
412 if (!targetm.handle_option (opt_index, arg, value))
413 result = 0;
415 done:
416 if (dup)
417 free (dup);
418 return result;
421 /* Handle FILENAME from the command line. */
422 static void
423 add_input_filename (const char *filename)
425 num_in_fnames++;
426 in_fnames = xrealloc (in_fnames, num_in_fnames * sizeof (in_fnames[0]));
427 in_fnames[num_in_fnames - 1] = filename;
430 /* Decode and handle the vector of command line options. LANG_MASK
431 contains has a single bit set representing the current
432 language. */
433 static void
434 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
436 unsigned int n, i;
438 for (i = 1; i < argc; i += n)
440 const char *opt = argv[i];
442 /* Interpret "-" or a non-switch as a file name. */
443 if (opt[0] != '-' || opt[1] == '\0')
445 if (main_input_filename == NULL)
446 main_input_filename = opt;
447 add_input_filename (opt);
448 n = 1;
449 continue;
452 n = handle_option (argv + i, lang_mask);
454 if (!n)
456 n = 1;
457 error ("unrecognized command line option \"%s\"", opt);
462 /* Parse command line options and set default flag values. Do minimal
463 options processing. */
464 void
465 decode_options (unsigned int argc, const char **argv)
467 unsigned int i, lang_mask;
469 /* Perform language-specific options initialization. */
470 lang_mask = lang_hooks.init_options (argc, argv);
472 lang_hooks.initialize_diagnostics (global_dc);
474 /* Scan to see what optimization level has been specified. That will
475 determine the default value of many flags. */
476 for (i = 1; i < argc; i++)
478 if (!strcmp (argv[i], "-O"))
480 optimize = 1;
481 optimize_size = 0;
483 else if (argv[i][0] == '-' && argv[i][1] == 'O')
485 /* Handle -Os, -O2, -O3, -O69, ... */
486 const char *p = &argv[i][2];
488 if ((p[0] == 's') && (p[1] == 0))
490 optimize_size = 1;
492 /* Optimizing for size forces optimize to be 2. */
493 optimize = 2;
495 else
497 const int optimize_val = read_integral_parameter (p, p - 2, -1);
498 if (optimize_val != -1)
500 optimize = optimize_val;
501 optimize_size = 0;
507 if (!optimize)
509 flag_merge_constants = 0;
512 if (optimize >= 1)
514 flag_defer_pop = 1;
515 #ifdef DELAY_SLOTS
516 flag_delayed_branch = 1;
517 #endif
518 #ifdef CAN_DEBUG_WITHOUT_FP
519 flag_omit_frame_pointer = 1;
520 #endif
521 flag_guess_branch_prob = 1;
522 flag_cprop_registers = 1;
523 flag_loop_optimize = 1;
524 flag_if_conversion = 1;
525 flag_if_conversion2 = 1;
526 flag_ipa_pure_const = 1;
527 flag_ipa_reference = 1;
528 flag_tree_ccp = 1;
529 flag_tree_dce = 1;
530 flag_tree_dom = 1;
531 flag_tree_dse = 1;
532 flag_tree_ter = 1;
533 flag_tree_live_range_split = 1;
534 flag_tree_sra = 1;
535 flag_tree_copyrename = 1;
536 flag_tree_fre = 1;
537 flag_tree_copy_prop = 1;
538 flag_tree_sink = 1;
539 flag_tree_salias = 1;
540 flag_unit_at_a_time = 1;
542 if (!optimize_size)
544 /* Loop header copying usually increases size of the code. This used
545 not to be true, since quite often it is possible to verify that
546 the condition is satisfied in the first iteration and therefore
547 to eliminate it. Jump threading handles these cases now. */
548 flag_tree_ch = 1;
552 if (optimize >= 2)
554 flag_thread_jumps = 1;
555 flag_crossjumping = 1;
556 flag_optimize_sibling_calls = 1;
557 flag_cse_follow_jumps = 1;
558 flag_cse_skip_blocks = 1;
559 flag_gcse = 1;
560 flag_expensive_optimizations = 1;
561 flag_ipa_type_escape = 1;
562 flag_strength_reduce = 1;
563 flag_rerun_cse_after_loop = 1;
564 flag_rerun_loop_opt = 1;
565 flag_caller_saves = 1;
566 flag_peephole2 = 1;
567 #ifdef INSN_SCHEDULING
568 flag_schedule_insns = 1;
569 flag_schedule_insns_after_reload = 1;
570 #endif
571 flag_regmove = 1;
572 flag_strict_aliasing = 1;
573 flag_delete_null_pointer_checks = 1;
574 flag_reorder_blocks = 1;
575 flag_reorder_functions = 1;
576 flag_tree_store_ccp = 1;
577 flag_tree_store_copy_prop = 1;
578 flag_tree_vrp = 1;
580 if (!optimize_size)
582 /* PRE tends to generate bigger code. */
583 flag_tree_pre = 1;
587 if (optimize >= 3)
589 flag_inline_functions = 1;
590 flag_unswitch_loops = 1;
591 flag_gcse_after_reload = 1;
594 if (optimize < 2 || optimize_size)
596 align_loops = 1;
597 align_jumps = 1;
598 align_labels = 1;
599 align_functions = 1;
601 /* Don't reorder blocks when optimizing for size because extra
602 jump insns may be created; also barrier may create extra padding.
604 More correctly we should have a block reordering mode that tried
605 to minimize the combined size of all the jumps. This would more
606 or less automatically remove extra jumps, but would also try to
607 use more short jumps instead of long jumps. */
608 flag_reorder_blocks = 0;
609 flag_reorder_blocks_and_partition = 0;
612 if (optimize_size)
614 /* Inlining of very small functions usually reduces total size. */
615 set_param_value ("max-inline-insns-single", 5);
616 set_param_value ("max-inline-insns-auto", 5);
617 flag_inline_functions = 1;
619 /* We want to crossjump as much as possible. */
620 set_param_value ("min-crossjump-insns", 1);
623 /* Initialize whether `char' is signed. */
624 flag_signed_char = DEFAULT_SIGNED_CHAR;
625 /* Set this to a special "uninitialized" value. The actual default is set
626 after target options have been processed. */
627 flag_short_enums = 2;
629 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
630 modify it. */
631 target_flags = targetm.default_target_flags;
633 /* Some tagets have ABI-specified unwind tables. */
634 flag_unwind_tables = targetm.unwind_tables_default;
636 #ifdef OPTIMIZATION_OPTIONS
637 /* Allow default optimizations to be specified on a per-machine basis. */
638 OPTIMIZATION_OPTIONS (optimize, optimize_size);
639 #endif
641 handle_options (argc, argv, lang_mask);
643 if (flag_pie)
644 flag_pic = flag_pie;
645 if (flag_pic && !flag_pie)
646 flag_shlib = 1;
648 if (flag_no_inline == 2)
649 flag_no_inline = 0;
650 else
651 flag_really_no_inline = flag_no_inline;
653 /* Set flag_no_inline before the post_options () hook. The C front
654 ends use it to determine tree inlining defaults. FIXME: such
655 code should be lang-independent when all front ends use tree
656 inlining, in which case it, and this condition, should be moved
657 to the top of process_options() instead. */
658 if (optimize == 0)
660 /* Inlining does not work if not optimizing,
661 so force it not to be done. */
662 flag_no_inline = 1;
663 warn_inline = 0;
665 /* The c_decode_option function and decode_option hook set
666 this to `2' if -Wall is used, so we can avoid giving out
667 lots of errors for people who don't realize what -Wall does. */
668 if (warn_uninitialized == 1)
669 warning (OPT_Wuninitialized,
670 "-Wuninitialized is not supported without -O");
673 if (flag_really_no_inline == 2)
674 flag_really_no_inline = flag_no_inline;
676 /* The optimization to partition hot and cold basic blocks into separate
677 sections of the .o and executable files does not work (currently)
678 with exception handling. If flag_exceptions is turned on we need to
679 turn off the partitioning optimization. */
681 if (flag_exceptions && flag_reorder_blocks_and_partition)
683 inform
684 ("-freorder-blocks-and-partition does not work with exceptions");
685 flag_reorder_blocks_and_partition = 0;
686 flag_reorder_blocks = 1;
689 if (flag_reorder_blocks_and_partition
690 && !targetm.have_named_sections)
692 inform
693 ("-freorder-blocks-and-partition does not work on this architecture");
694 flag_reorder_blocks_and_partition = 0;
695 flag_reorder_blocks = 1;
699 /* Handle target- and language-independent options. Return zero to
700 generate an "unknown option" message. Only options that need
701 extra handling need to be listed here; if you simply want
702 VALUE assigned to a variable, it happens automatically. */
704 static int
705 common_handle_option (size_t scode, const char *arg, int value)
707 enum opt_code code = (enum opt_code) scode;
709 switch (code)
711 case OPT__help:
712 print_help ();
713 exit_after_options = true;
714 break;
716 case OPT__param:
717 handle_param (arg);
718 break;
720 case OPT__target_help:
721 print_target_help ();
722 exit_after_options = true;
723 break;
725 case OPT__version:
726 print_version (stderr, "");
727 exit_after_options = true;
728 break;
730 case OPT_G:
731 g_switch_value = value;
732 g_switch_set = true;
733 break;
735 case OPT_O:
736 case OPT_Os:
737 /* Currently handled in a prescan. */
738 break;
740 case OPT_W:
741 /* For backward compatibility, -W is the same as -Wextra. */
742 set_Wextra (value);
743 break;
745 case OPT_Wextra:
746 set_Wextra (value);
747 break;
749 case OPT_Wlarger_than_:
750 larger_than_size = value;
751 warn_larger_than = value != -1;
752 break;
754 case OPT_Wstrict_aliasing:
755 case OPT_Wstrict_aliasing_:
756 warn_strict_aliasing = value;
757 break;
759 case OPT_Wunused:
760 set_Wunused (value);
761 break;
763 case OPT_aux_info:
764 case OPT_aux_info_:
765 aux_info_file_name = arg;
766 flag_gen_aux_info = 1;
767 break;
769 case OPT_auxbase:
770 aux_base_name = arg;
771 break;
773 case OPT_auxbase_strip:
775 char *tmp = xstrdup (arg);
776 strip_off_ending (tmp, strlen (tmp));
777 if (tmp[0])
778 aux_base_name = tmp;
780 break;
782 case OPT_d:
783 decode_d_option (arg);
784 break;
786 case OPT_dumpbase:
787 dump_base_name = arg;
788 break;
790 case OPT_falign_functions_:
791 align_functions = value;
792 break;
794 case OPT_falign_jumps_:
795 align_jumps = value;
796 break;
798 case OPT_falign_labels_:
799 align_labels = value;
800 break;
802 case OPT_falign_loops_:
803 align_loops = value;
804 break;
806 case OPT_fbranch_probabilities:
807 flag_branch_probabilities_set = true;
808 break;
810 case OPT_floop_optimize:
811 flag_loop_optimize_set = true;
812 break;
814 case OPT_fcall_used_:
815 fix_register (arg, 0, 1);
816 break;
818 case OPT_fcall_saved_:
819 fix_register (arg, 0, 0);
820 break;
822 case OPT_fdiagnostics_show_location_:
823 if (!strcmp (arg, "once"))
824 diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
825 else if (!strcmp (arg, "every-line"))
826 diagnostic_prefixing_rule (global_dc)
827 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
828 else
829 return 0;
830 break;
832 case OPT_fdiagnostics_show_option:
833 global_dc->show_option_requested = true;
834 break;
836 case OPT_fdump_:
837 if (!dump_switch_p (arg))
838 return 0;
839 break;
841 case OPT_ffast_math:
842 set_fast_math_flags (value);
843 break;
845 case OPT_ffixed_:
846 fix_register (arg, 1, 1);
847 break;
849 case OPT_finline_limit_:
850 case OPT_finline_limit_eq:
851 set_param_value ("max-inline-insns-single", value / 2);
852 set_param_value ("max-inline-insns-auto", value / 2);
853 break;
855 case OPT_fmessage_length_:
856 pp_set_line_maximum_length (global_dc->printer, value);
857 break;
859 case OPT_fpack_struct_:
860 if (value <= 0 || (value & (value - 1)) || value > 16)
861 error("structure alignment must be a small power of two, not %d", value);
862 else
864 initial_max_fld_align = value;
865 maximum_field_alignment = value * BITS_PER_UNIT;
867 break;
869 case OPT_fpeel_loops:
870 flag_peel_loops_set = true;
871 break;
873 case OPT_fprofile_arcs:
874 profile_arc_flag_set = true;
875 break;
877 case OPT_fprofile_use:
878 if (!flag_branch_probabilities_set)
879 flag_branch_probabilities = value;
880 if (!flag_profile_values_set)
881 flag_profile_values = value;
882 if (!flag_unroll_loops_set)
883 flag_unroll_loops = value;
884 if (!flag_peel_loops_set)
885 flag_peel_loops = value;
886 if (!flag_tracer_set)
887 flag_tracer = value;
888 if (!flag_value_profile_transformations_set)
889 flag_value_profile_transformations = value;
890 /* Old loop optimizer is incompatible with tree profiling. */
891 if (!flag_loop_optimize_set)
892 flag_loop_optimize = 0;
893 break;
895 case OPT_fprofile_generate:
896 if (!profile_arc_flag_set)
897 profile_arc_flag = value;
898 if (!flag_profile_values_set)
899 flag_profile_values = value;
900 if (!flag_value_profile_transformations_set)
901 flag_value_profile_transformations = value;
902 break;
904 case OPT_fprofile_values:
905 flag_profile_values_set = true;
906 break;
908 case OPT_fvisibility_:
910 if (!strcmp(arg, "default"))
911 default_visibility = VISIBILITY_DEFAULT;
912 else if (!strcmp(arg, "internal"))
913 default_visibility = VISIBILITY_INTERNAL;
914 else if (!strcmp(arg, "hidden"))
915 default_visibility = VISIBILITY_HIDDEN;
916 else if (!strcmp(arg, "protected"))
917 default_visibility = VISIBILITY_PROTECTED;
918 else
919 error ("unrecognized visibility value \"%s\"", arg);
921 break;
923 case OPT_fvpt:
924 flag_value_profile_transformations_set = true;
925 break;
927 case OPT_frandom_seed:
928 /* The real switch is -fno-random-seed. */
929 if (value)
930 return 0;
931 flag_random_seed = NULL;
932 break;
934 case OPT_frandom_seed_:
935 flag_random_seed = arg;
936 break;
938 case OPT_fsched_verbose_:
939 #ifdef INSN_SCHEDULING
940 fix_sched_param ("verbose", arg);
941 break;
942 #else
943 return 0;
944 #endif
946 case OPT_fsched_stalled_insns_:
947 flag_sched_stalled_insns = value;
948 if (flag_sched_stalled_insns == 0)
949 flag_sched_stalled_insns = -1;
950 break;
952 case OPT_fsched_stalled_insns_dep_:
953 flag_sched_stalled_insns_dep = value;
954 break;
956 case OPT_fstack_limit:
957 /* The real switch is -fno-stack-limit. */
958 if (value)
959 return 0;
960 stack_limit_rtx = NULL_RTX;
961 break;
963 case OPT_fstack_limit_register_:
965 int reg = decode_reg_name (arg);
966 if (reg < 0)
967 error ("unrecognized register name \"%s\"", arg);
968 else
969 stack_limit_rtx = gen_rtx_REG (Pmode, reg);
971 break;
973 case OPT_fstack_limit_symbol_:
974 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
975 break;
977 case OPT_ftree_vectorizer_verbose_:
978 vect_set_verbosity_level (arg);
979 break;
981 case OPT_ftls_model_:
982 if (!strcmp (arg, "global-dynamic"))
983 flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
984 else if (!strcmp (arg, "local-dynamic"))
985 flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
986 else if (!strcmp (arg, "initial-exec"))
987 flag_tls_default = TLS_MODEL_INITIAL_EXEC;
988 else if (!strcmp (arg, "local-exec"))
989 flag_tls_default = TLS_MODEL_LOCAL_EXEC;
990 else
991 warning (0, "unknown tls-model \"%s\"", arg);
992 break;
994 case OPT_ftracer:
995 flag_tracer_set = true;
996 break;
998 case OPT_funroll_loops:
999 flag_unroll_loops_set = true;
1000 break;
1002 case OPT_g:
1003 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
1004 break;
1006 case OPT_gcoff:
1007 set_debug_level (SDB_DEBUG, false, arg);
1008 break;
1010 case OPT_gdwarf_2:
1011 set_debug_level (DWARF2_DEBUG, false, arg);
1012 break;
1014 case OPT_ggdb:
1015 set_debug_level (NO_DEBUG, 2, arg);
1016 break;
1018 case OPT_gstabs:
1019 case OPT_gstabs_:
1020 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
1021 break;
1023 case OPT_gvms:
1024 set_debug_level (VMS_DEBUG, false, arg);
1025 break;
1027 case OPT_gxcoff:
1028 case OPT_gxcoff_:
1029 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
1030 break;
1032 case OPT_o:
1033 asm_file_name = arg;
1034 break;
1036 case OPT_pedantic_errors:
1037 flag_pedantic_errors = pedantic = 1;
1038 break;
1040 case OPT_fforce_mem:
1041 warning (0, "-f[no-]force-mem is nop and option will be removed in 4.2");
1042 break;
1044 default:
1045 /* If the flag was handled in a standard way, assume the lack of
1046 processing here is intentional. */
1047 gcc_assert (cl_options[scode].flag_var);
1048 break;
1051 return 1;
1054 /* Handle --param NAME=VALUE. */
1055 static void
1056 handle_param (const char *carg)
1058 char *equal, *arg;
1059 int value;
1061 arg = xstrdup (carg);
1062 equal = strchr (arg, '=');
1063 if (!equal)
1064 error ("%s: --param arguments should be of the form NAME=VALUE", arg);
1065 else
1067 value = integral_argument (equal + 1);
1068 if (value == -1)
1069 error ("invalid --param value %qs", equal + 1);
1070 else
1072 *equal = '\0';
1073 set_param_value (arg, value);
1077 free (arg);
1080 /* Handle -W and -Wextra. */
1081 static void
1082 set_Wextra (int setting)
1084 extra_warnings = setting;
1085 warn_unused_value = setting;
1086 warn_unused_parameter = (setting && maybe_warn_unused_parameter);
1088 /* We save the value of warn_uninitialized, since if they put
1089 -Wuninitialized on the command line, we need to generate a
1090 warning about not using it without also specifying -O. */
1091 if (setting == 0)
1092 warn_uninitialized = 0;
1093 else if (warn_uninitialized != 1)
1094 warn_uninitialized = 2;
1097 /* Initialize unused warning flags. */
1098 void
1099 set_Wunused (int setting)
1101 warn_unused_function = setting;
1102 warn_unused_label = setting;
1103 /* Unused function parameter warnings are reported when either
1104 ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified.
1105 Thus, if -Wextra has already been seen, set warn_unused_parameter;
1106 otherwise set maybe_warn_extra_parameter, which will be picked up
1107 by set_Wextra. */
1108 maybe_warn_unused_parameter = setting;
1109 warn_unused_parameter = (setting && extra_warnings);
1110 warn_unused_variable = setting;
1111 warn_unused_value = setting;
1114 /* The following routines are useful in setting all the flags that
1115 -ffast-math and -fno-fast-math imply. */
1116 void
1117 set_fast_math_flags (int set)
1119 flag_trapping_math = !set;
1120 flag_unsafe_math_optimizations = set;
1121 flag_finite_math_only = set;
1122 flag_errno_math = !set;
1123 if (set)
1125 flag_signaling_nans = 0;
1126 flag_rounding_math = 0;
1127 flag_cx_limited_range = 1;
1131 /* Return true iff flags are set as if -ffast-math. */
1132 bool
1133 fast_math_flags_set_p (void)
1135 return (!flag_trapping_math
1136 && flag_unsafe_math_optimizations
1137 && flag_finite_math_only
1138 && !flag_errno_math);
1141 /* Handle a debug output -g switch. EXTENDED is true or false to support
1142 extended output (2 is special and means "-ggdb" was given). */
1143 static void
1144 set_debug_level (enum debug_info_type type, int extended, const char *arg)
1146 static bool type_explicit;
1148 use_gnu_debug_info_extensions = extended;
1150 if (type == NO_DEBUG)
1152 if (write_symbols == NO_DEBUG)
1154 write_symbols = PREFERRED_DEBUGGING_TYPE;
1156 if (extended == 2)
1158 #ifdef DWARF2_DEBUGGING_INFO
1159 write_symbols = DWARF2_DEBUG;
1160 #elif defined DBX_DEBUGGING_INFO
1161 write_symbols = DBX_DEBUG;
1162 #endif
1165 if (write_symbols == NO_DEBUG)
1166 warning (0, "target system does not support debug output");
1169 else
1171 /* Does it conflict with an already selected type? */
1172 if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
1173 error ("debug format \"%s\" conflicts with prior selection",
1174 debug_type_names[type]);
1175 write_symbols = type;
1176 type_explicit = true;
1179 /* A debug flag without a level defaults to level 2. */
1180 if (*arg == '\0')
1182 if (!debug_info_level)
1183 debug_info_level = 2;
1185 else
1187 debug_info_level = integral_argument (arg);
1188 if (debug_info_level == (unsigned int) -1)
1189 error ("unrecognised debug output level \"%s\"", arg);
1190 else if (debug_info_level > 3)
1191 error ("debug output level %s is too high", arg);
1195 /* Display help for target options. */
1196 static void
1197 print_target_help (void)
1199 unsigned int i;
1200 static bool displayed = false;
1202 /* Avoid double printing for --help --target-help. */
1203 if (displayed)
1204 return;
1206 displayed = true;
1207 for (i = 0; i < cl_options_count; i++)
1208 if ((cl_options[i].flags & (CL_TARGET | CL_UNDOCUMENTED)) == CL_TARGET)
1210 printf (_("\nTarget specific options:\n"));
1211 print_filtered_help (CL_TARGET);
1212 break;
1216 /* Output --help text. */
1217 static void
1218 print_help (void)
1220 size_t i;
1221 const char *p;
1223 GET_ENVIRONMENT (p, "COLUMNS");
1224 if (p)
1226 int value = atoi (p);
1227 if (value > 0)
1228 columns = value;
1231 puts (_("The following options are language-independent:\n"));
1233 print_filtered_help (CL_COMMON);
1234 print_param_help ();
1236 for (i = 0; lang_names[i]; i++)
1238 printf (_("The %s front end recognizes the following options:\n\n"),
1239 lang_names[i]);
1240 print_filtered_help (1U << i);
1242 print_target_help ();
1245 /* Print the help for --param. */
1246 static void
1247 print_param_help (void)
1249 size_t i;
1251 puts (_("The --param option recognizes the following as parameters:\n"));
1253 for (i = 0; i < LAST_PARAM; i++)
1255 const char *help = compiler_params[i].help;
1256 const char *param = compiler_params[i].option;
1258 if (help == NULL || *help == '\0')
1259 help = undocumented_msg;
1261 /* Get the translation. */
1262 help = _(help);
1264 wrap_help (help, param, strlen (param));
1267 putchar ('\n');
1270 /* Print help for a specific front-end, etc. */
1271 static void
1272 print_filtered_help (unsigned int flag)
1274 unsigned int i, len, filter, indent = 0;
1275 bool duplicates = false;
1276 const char *help, *opt, *tab;
1277 static char *printed;
1279 if (flag == CL_COMMON || flag == CL_TARGET)
1281 filter = flag;
1282 if (!printed)
1283 printed = xmalloc (cl_options_count);
1284 memset (printed, 0, cl_options_count);
1286 else
1288 /* Don't print COMMON options twice. */
1289 filter = flag | CL_COMMON;
1291 for (i = 0; i < cl_options_count; i++)
1293 if ((cl_options[i].flags & filter) != flag)
1294 continue;
1296 /* Skip help for internal switches. */
1297 if (cl_options[i].flags & CL_UNDOCUMENTED)
1298 continue;
1300 /* Skip switches that have already been printed, mark them to be
1301 listed later. */
1302 if (printed[i])
1304 duplicates = true;
1305 indent = print_switch (cl_options[i].opt_text, indent);
1309 if (duplicates)
1311 putchar ('\n');
1312 putchar ('\n');
1316 for (i = 0; i < cl_options_count; i++)
1318 if ((cl_options[i].flags & filter) != flag)
1319 continue;
1321 /* Skip help for internal switches. */
1322 if (cl_options[i].flags & CL_UNDOCUMENTED)
1323 continue;
1325 /* Skip switches that have already been printed. */
1326 if (printed[i])
1327 continue;
1329 printed[i] = true;
1331 help = cl_options[i].help;
1332 if (!help)
1333 help = undocumented_msg;
1335 /* Get the translation. */
1336 help = _(help);
1338 tab = strchr (help, '\t');
1339 if (tab)
1341 len = tab - help;
1342 opt = help;
1343 help = tab + 1;
1345 else
1347 opt = cl_options[i].opt_text;
1348 len = strlen (opt);
1351 wrap_help (help, opt, len);
1354 putchar ('\n');
1357 /* Output ITEM, of length ITEM_WIDTH, in the left column, followed by
1358 word-wrapped HELP in a second column. */
1359 static unsigned int
1360 print_switch (const char *text, unsigned int indent)
1362 unsigned int len = strlen (text) + 1; /* trailing comma */
1364 if (indent)
1366 putchar (',');
1367 if (indent + len > columns)
1369 putchar ('\n');
1370 putchar (' ');
1371 indent = 1;
1374 else
1375 putchar (' ');
1377 putchar (' ');
1378 fputs (text, stdout);
1380 return indent + len + 1;
1383 /* Output ITEM, of length ITEM_WIDTH, in the left column, followed by
1384 word-wrapped HELP in a second column. */
1385 static void
1386 wrap_help (const char *help, const char *item, unsigned int item_width)
1388 unsigned int col_width = 27;
1389 unsigned int remaining, room, len;
1391 remaining = strlen (help);
1395 room = columns - 3 - MAX (col_width, item_width);
1396 if (room > columns)
1397 room = 0;
1398 len = remaining;
1400 if (room < len)
1402 unsigned int i;
1404 for (i = 0; help[i]; i++)
1406 if (i >= room && len != remaining)
1407 break;
1408 if (help[i] == ' ')
1409 len = i;
1410 else if ((help[i] == '-' || help[i] == '/')
1411 && help[i + 1] != ' '
1412 && i > 0 && ISALPHA (help[i - 1]))
1413 len = i + 1;
1417 printf( " %-*.*s %.*s\n", col_width, item_width, item, len, help);
1418 item_width = 0;
1419 while (help[len] == ' ')
1420 len++;
1421 help += len;
1422 remaining -= len;
1424 while (remaining);
1427 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
1428 a simple on-off switch. */
1431 option_enabled (int opt_idx)
1433 const struct cl_option *option = &(cl_options[opt_idx]);
1434 if (option->flag_var)
1435 switch (option->var_type)
1437 case CLVC_BOOLEAN:
1438 return *(int *) option->flag_var != 0;
1440 case CLVC_EQUAL:
1441 return *(int *) option->flag_var == option->var_value;
1443 case CLVC_BIT_CLEAR:
1444 return (*(int *) option->flag_var & option->var_value) == 0;
1446 case CLVC_BIT_SET:
1447 return (*(int *) option->flag_var & option->var_value) != 0;
1449 case CLVC_STRING:
1450 break;
1452 return -1;
1455 /* Fill STATE with the current state of option OPTION. Return true if
1456 there is some state to store. */
1458 bool
1459 get_option_state (int option, struct cl_option_state *state)
1461 if (cl_options[option].flag_var == 0)
1462 return false;
1464 switch (cl_options[option].var_type)
1466 case CLVC_BOOLEAN:
1467 case CLVC_EQUAL:
1468 state->data = cl_options[option].flag_var;
1469 state->size = sizeof (int);
1470 break;
1472 case CLVC_BIT_CLEAR:
1473 case CLVC_BIT_SET:
1474 state->ch = option_enabled (option);
1475 state->data = &state->ch;
1476 state->size = 1;
1477 break;
1479 case CLVC_STRING:
1480 state->data = *(const char **) cl_options[option].flag_var;
1481 if (state->data == 0)
1482 state->data = "";
1483 state->size = strlen (state->data) + 1;
1484 break;
1486 return true;