re PR c++/23167 (internal compiler error: in create_tmp_var)
[gcc.git] / gcc / opts.c
1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
3 Contributed by Neil Booth.
4
5 This file is part of GCC.
6
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.
11
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.
16
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. */
21
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"
42
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;
46
47 /* True if we should exit after parsing options. */
48 bool exit_after_options;
49
50 /* Print various extra warnings. -W/-Wextra. */
51 bool extra_warnings;
52
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;
58
59 /* Nonzero means warn about constructs which might not be
60 strict-aliasing safe. */
61 int warn_strict_aliasing;
62
63 /* Hack for cooperation between set_Wunused and set_Wextra. */
64 static bool maybe_warn_unused_parameter;
65
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;
70
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;
74
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;
79
80 /* The default visibility for all symbols (unless overridden) */
81 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
82
83 /* Global visibility options. */
84 struct visibility_flags visibility_options;
85
86 /* Columns of --help display. */
87 static unsigned int columns = 80;
88
89 /* What to print when a switch has no documentation. */
90 static const char undocumented_msg[] = N_("This switch lacks documentation");
91
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;
99
100 /* Input file names. */
101 const char **in_fnames;
102 unsigned num_in_fnames;
103
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);
121
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.
125
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".
130
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).
141
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)
148 {
149 size_t mn, mx, md, opt_len;
150 size_t match_wrong_lang;
151 int comp;
152
153 mn = 0;
154 mx = cl_options_count;
155
156 /* Find mn such this lexicographical inequality holds:
157 cl_options[mn] <= input < cl_options[mn + 1]. */
158 while (mx - mn > 1)
159 {
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);
163
164 if (comp < 0)
165 mx = md;
166 else
167 mn = md;
168 }
169
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;
173
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. */
177 do
178 {
179 const struct cl_option *opt = &cl_options[mn];
180
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)))
185 {
186 /* If language is OK, return it. */
187 if (opt->flags & lang_mask)
188 return mn;
189
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;
194 }
195
196 /* Try the next possibility. This is cl_options_count if there
197 are no more. */
198 mn = opt->back_chain;
199 }
200 while (mn != cl_options_count);
201
202 /* Return the best wrong match, or cl_options_count if none. */
203 return match_wrong_lang;
204 }
205
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)
210 {
211 const char *p = arg;
212
213 while (*p && ISDIGIT (*p))
214 p++;
215
216 if (*p == '\0')
217 return atoi (arg);
218
219 return -1;
220 }
221
222 /* Return a malloced slash-separated list of languages in MASK. */
223 static char *
224 write_langs (unsigned int mask)
225 {
226 unsigned int n = 0, len = 0;
227 const char *lang_name;
228 char *result;
229
230 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
231 if (mask & (1U << n))
232 len += strlen (lang_name) + 1;
233
234 result = xmalloc (len);
235 len = 0;
236 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
237 if (mask & (1U << n))
238 {
239 if (len)
240 result[len++] = '/';
241 strcpy (result + len, lang_name);
242 len += strlen (lang_name);
243 }
244
245 result[len] = 0;
246
247 return result;
248 }
249
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)
254 {
255 char *ok_langs, *bad_lang;
256
257 ok_langs = write_langs (option->flags);
258 bad_lang = write_langs (lang_mask);
259
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);
263
264 free (ok_langs);
265 free (bad_lang);
266 }
267
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)
272 {
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;
279
280 opt = argv[0];
281
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] == '-')
286 {
287 /* Drop the "no-" from negative switches. */
288 size_t len = strlen (opt) - 3;
289
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);
297 }
298
299 if (opt_index == cl_options_count)
300 goto done;
301
302 option = &cl_options[opt_index];
303
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;
308
309 /* We've recognized this switch. */
310 result = 1;
311
312 /* Check to see if the option is disabled for this configuration. */
313 if (option->flags & CL_DISABLED)
314 {
315 error ("command line option %qs"
316 " is not supported by this configuration", opt);
317 goto done;
318 }
319
320 /* Sort out any argument the switch takes. */
321 if (option->flags & CL_JOINED)
322 {
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-");
329
330 if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
331 {
332 if (option->flags & CL_SEPARATE)
333 {
334 arg = argv[1];
335 result = 2;
336 }
337 else
338 /* Missing argument. */
339 arg = NULL;
340 }
341 }
342 else if (option->flags & CL_SEPARATE)
343 {
344 arg = argv[1];
345 result = 2;
346 }
347
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)))
351 {
352 complain_wrong_lang (argv[0], option, lang_mask);
353 goto done;
354 }
355
356 if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
357 {
358 if (!lang_hooks.missing_argument (opt, opt_index))
359 error ("missing argument to \"%s\"", opt);
360 goto done;
361 }
362
363 /* If the switch takes an integer, convert it. */
364 if (arg && (option->flags & CL_UINTEGER))
365 {
366 value = integral_argument (arg);
367 if (value == -1)
368 {
369 error ("argument to \"%s\" should be a non-negative integer",
370 option->opt_text);
371 goto done;
372 }
373 }
374
375 if (option->flag_var)
376 switch (option->var_type)
377 {
378 case CLVC_BOOLEAN:
379 *(int *) option->flag_var = value;
380 break;
381
382 case CLVC_EQUAL:
383 *(int *) option->flag_var = (value
384 ? option->var_value
385 : !option->var_value);
386 break;
387
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;
397
398 case CLVC_STRING:
399 *(const char **) option->flag_var = arg;
400 break;
401 }
402
403 if (option->flags & lang_mask)
404 if (lang_hooks.handle_option (opt_index, arg, value) == 0)
405 result = 0;
406
407 if (result && (option->flags & CL_COMMON))
408 if (common_handle_option (opt_index, arg, value) == 0)
409 result = 0;
410
411 if (result && (option->flags & CL_TARGET))
412 if (!targetm.handle_option (opt_index, arg, value))
413 result = 0;
414
415 done:
416 if (dup)
417 free (dup);
418 return result;
419 }
420
421 /* Handle FILENAME from the command line. */
422 static void
423 add_input_filename (const char *filename)
424 {
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;
428 }
429
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)
435 {
436 unsigned int n, i;
437
438 for (i = 1; i < argc; i += n)
439 {
440 const char *opt = argv[i];
441
442 /* Interpret "-" or a non-switch as a file name. */
443 if (opt[0] != '-' || opt[1] == '\0')
444 {
445 if (main_input_filename == NULL)
446 main_input_filename = opt;
447 add_input_filename (opt);
448 n = 1;
449 continue;
450 }
451
452 n = handle_option (argv + i, lang_mask);
453
454 if (!n)
455 {
456 n = 1;
457 error ("unrecognized command line option \"%s\"", opt);
458 }
459 }
460 }
461
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)
466 {
467 unsigned int i, lang_mask;
468
469 /* Perform language-specific options initialization. */
470 lang_mask = lang_hooks.init_options (argc, argv);
471
472 lang_hooks.initialize_diagnostics (global_dc);
473
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++)
477 {
478 if (!strcmp (argv[i], "-O"))
479 {
480 optimize = 1;
481 optimize_size = 0;
482 }
483 else if (argv[i][0] == '-' && argv[i][1] == 'O')
484 {
485 /* Handle -Os, -O2, -O3, -O69, ... */
486 const char *p = &argv[i][2];
487
488 if ((p[0] == 's') && (p[1] == 0))
489 {
490 optimize_size = 1;
491
492 /* Optimizing for size forces optimize to be 2. */
493 optimize = 2;
494 }
495 else
496 {
497 const int optimize_val = read_integral_parameter (p, p - 2, -1);
498 if (optimize_val != -1)
499 {
500 optimize = optimize_val;
501 optimize_size = 0;
502 }
503 }
504 }
505 }
506
507 if (!optimize)
508 {
509 flag_merge_constants = 0;
510 }
511
512 if (optimize >= 1)
513 {
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;
541
542 if (!optimize_size)
543 {
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;
549 }
550 }
551
552 if (optimize >= 2)
553 {
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;
579
580 if (!optimize_size)
581 {
582 /* PRE tends to generate bigger code. */
583 flag_tree_pre = 1;
584 }
585 }
586
587 if (optimize >= 3)
588 {
589 flag_inline_functions = 1;
590 flag_unswitch_loops = 1;
591 flag_gcse_after_reload = 1;
592 }
593
594 if (optimize < 2 || optimize_size)
595 {
596 align_loops = 1;
597 align_jumps = 1;
598 align_labels = 1;
599 align_functions = 1;
600
601 /* Don't reorder blocks when optimizing for size because extra
602 jump insns may be created; also barrier may create extra padding.
603
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;
610 }
611
612 if (optimize_size)
613 {
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;
618
619 /* We want to crossjump as much as possible. */
620 set_param_value ("min-crossjump-insns", 1);
621 }
622
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;
628
629 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
630 modify it. */
631 target_flags = targetm.default_target_flags;
632
633 /* Some tagets have ABI-specified unwind tables. */
634 flag_unwind_tables = targetm.unwind_tables_default;
635
636 #ifdef OPTIMIZATION_OPTIONS
637 /* Allow default optimizations to be specified on a per-machine basis. */
638 OPTIMIZATION_OPTIONS (optimize, optimize_size);
639 #endif
640
641 handle_options (argc, argv, lang_mask);
642
643 if (flag_pie)
644 flag_pic = flag_pie;
645 if (flag_pic && !flag_pie)
646 flag_shlib = 1;
647
648 if (flag_no_inline == 2)
649 flag_no_inline = 0;
650 else
651 flag_really_no_inline = flag_no_inline;
652
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)
659 {
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;
664
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");
671 }
672
673 if (flag_really_no_inline == 2)
674 flag_really_no_inline = flag_no_inline;
675
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. */
680
681 if (flag_exceptions && flag_reorder_blocks_and_partition)
682 {
683 inform
684 ("-freorder-blocks-and-partition does not work with exceptions");
685 flag_reorder_blocks_and_partition = 0;
686 flag_reorder_blocks = 1;
687 }
688
689 if (flag_reorder_blocks_and_partition
690 && !targetm.have_named_sections)
691 {
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;
696 }
697 }
698
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. */
703
704 static int
705 common_handle_option (size_t scode, const char *arg, int value)
706 {
707 enum opt_code code = (enum opt_code) scode;
708
709 switch (code)
710 {
711 case OPT__help:
712 print_help ();
713 exit_after_options = true;
714 break;
715
716 case OPT__param:
717 handle_param (arg);
718 break;
719
720 case OPT__target_help:
721 print_target_help ();
722 exit_after_options = true;
723 break;
724
725 case OPT__version:
726 print_version (stderr, "");
727 exit_after_options = true;
728 break;
729
730 case OPT_G:
731 g_switch_value = value;
732 g_switch_set = true;
733 break;
734
735 case OPT_O:
736 case OPT_Os:
737 /* Currently handled in a prescan. */
738 break;
739
740 case OPT_W:
741 /* For backward compatibility, -W is the same as -Wextra. */
742 set_Wextra (value);
743 break;
744
745 case OPT_Wextra:
746 set_Wextra (value);
747 break;
748
749 case OPT_Wlarger_than_:
750 larger_than_size = value;
751 warn_larger_than = value != -1;
752 break;
753
754 case OPT_Wstrict_aliasing:
755 case OPT_Wstrict_aliasing_:
756 warn_strict_aliasing = value;
757 break;
758
759 case OPT_Wunused:
760 set_Wunused (value);
761 break;
762
763 case OPT_aux_info:
764 case OPT_aux_info_:
765 aux_info_file_name = arg;
766 flag_gen_aux_info = 1;
767 break;
768
769 case OPT_auxbase:
770 aux_base_name = arg;
771 break;
772
773 case OPT_auxbase_strip:
774 {
775 char *tmp = xstrdup (arg);
776 strip_off_ending (tmp, strlen (tmp));
777 if (tmp[0])
778 aux_base_name = tmp;
779 }
780 break;
781
782 case OPT_d:
783 decode_d_option (arg);
784 break;
785
786 case OPT_dumpbase:
787 dump_base_name = arg;
788 break;
789
790 case OPT_falign_functions_:
791 align_functions = value;
792 break;
793
794 case OPT_falign_jumps_:
795 align_jumps = value;
796 break;
797
798 case OPT_falign_labels_:
799 align_labels = value;
800 break;
801
802 case OPT_falign_loops_:
803 align_loops = value;
804 break;
805
806 case OPT_fbranch_probabilities:
807 flag_branch_probabilities_set = true;
808 break;
809
810 case OPT_floop_optimize:
811 flag_loop_optimize_set = true;
812 break;
813
814 case OPT_fcall_used_:
815 fix_register (arg, 0, 1);
816 break;
817
818 case OPT_fcall_saved_:
819 fix_register (arg, 0, 0);
820 break;
821
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;
831
832 case OPT_fdiagnostics_show_option:
833 global_dc->show_option_requested = true;
834 break;
835
836 case OPT_fdump_:
837 if (!dump_switch_p (arg))
838 return 0;
839 break;
840
841 case OPT_ffast_math:
842 set_fast_math_flags (value);
843 break;
844
845 case OPT_ffixed_:
846 fix_register (arg, 1, 1);
847 break;
848
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;
854
855 case OPT_fmessage_length_:
856 pp_set_line_maximum_length (global_dc->printer, value);
857 break;
858
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
863 {
864 initial_max_fld_align = value;
865 maximum_field_alignment = value * BITS_PER_UNIT;
866 }
867 break;
868
869 case OPT_fpeel_loops:
870 flag_peel_loops_set = true;
871 break;
872
873 case OPT_fprofile_arcs:
874 profile_arc_flag_set = true;
875 break;
876
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;
894
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;
903
904 case OPT_fprofile_values:
905 flag_profile_values_set = true;
906 break;
907
908 case OPT_fvisibility_:
909 {
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);
920 }
921 break;
922
923 case OPT_fvpt:
924 flag_value_profile_transformations_set = true;
925 break;
926
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;
933
934 case OPT_frandom_seed_:
935 flag_random_seed = arg;
936 break;
937
938 case OPT_fsched_verbose_:
939 #ifdef INSN_SCHEDULING
940 fix_sched_param ("verbose", arg);
941 break;
942 #else
943 return 0;
944 #endif
945
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;
951
952 case OPT_fsched_stalled_insns_dep_:
953 flag_sched_stalled_insns_dep = value;
954 break;
955
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;
962
963 case OPT_fstack_limit_register_:
964 {
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);
970 }
971 break;
972
973 case OPT_fstack_limit_symbol_:
974 stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
975 break;
976
977 case OPT_ftree_vectorizer_verbose_:
978 vect_set_verbosity_level (arg);
979 break;
980
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;
993
994 case OPT_ftracer:
995 flag_tracer_set = true;
996 break;
997
998 case OPT_funroll_loops:
999 flag_unroll_loops_set = true;
1000 break;
1001
1002 case OPT_g:
1003 set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
1004 break;
1005
1006 case OPT_gcoff:
1007 set_debug_level (SDB_DEBUG, false, arg);
1008 break;
1009
1010 case OPT_gdwarf_2:
1011 set_debug_level (DWARF2_DEBUG, false, arg);
1012 break;
1013
1014 case OPT_ggdb:
1015 set_debug_level (NO_DEBUG, 2, arg);
1016 break;
1017
1018 case OPT_gstabs:
1019 case OPT_gstabs_:
1020 set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
1021 break;
1022
1023 case OPT_gvms:
1024 set_debug_level (VMS_DEBUG, false, arg);
1025 break;
1026
1027 case OPT_gxcoff:
1028 case OPT_gxcoff_:
1029 set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
1030 break;
1031
1032 case OPT_o:
1033 asm_file_name = arg;
1034 break;
1035
1036 case OPT_pedantic_errors:
1037 flag_pedantic_errors = pedantic = 1;
1038 break;
1039
1040 case OPT_fforce_mem:
1041 warning (0, "-f[no-]force-mem is nop and option will be removed in 4.2");
1042 break;
1043
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;
1049 }
1050
1051 return 1;
1052 }
1053
1054 /* Handle --param NAME=VALUE. */
1055 static void
1056 handle_param (const char *carg)
1057 {
1058 char *equal, *arg;
1059 int value;
1060
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
1066 {
1067 value = integral_argument (equal + 1);
1068 if (value == -1)
1069 error ("invalid --param value %qs", equal + 1);
1070 else
1071 {
1072 *equal = '\0';
1073 set_param_value (arg, value);
1074 }
1075 }
1076
1077 free (arg);
1078 }
1079
1080 /* Handle -W and -Wextra. */
1081 static void
1082 set_Wextra (int setting)
1083 {
1084 extra_warnings = setting;
1085 warn_unused_value = setting;
1086 warn_unused_parameter = (setting && maybe_warn_unused_parameter);
1087
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;
1095 }
1096
1097 /* Initialize unused warning flags. */
1098 void
1099 set_Wunused (int setting)
1100 {
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;
1112 }
1113
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)
1118 {
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)
1124 {
1125 flag_signaling_nans = 0;
1126 flag_rounding_math = 0;
1127 flag_cx_limited_range = 1;
1128 }
1129 }
1130
1131 /* Return true iff flags are set as if -ffast-math. */
1132 bool
1133 fast_math_flags_set_p (void)
1134 {
1135 return (!flag_trapping_math
1136 && flag_unsafe_math_optimizations
1137 && flag_finite_math_only
1138 && !flag_errno_math);
1139 }
1140
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)
1145 {
1146 static bool type_explicit;
1147
1148 use_gnu_debug_info_extensions = extended;
1149
1150 if (type == NO_DEBUG)
1151 {
1152 if (write_symbols == NO_DEBUG)
1153 {
1154 write_symbols = PREFERRED_DEBUGGING_TYPE;
1155
1156 if (extended == 2)
1157 {
1158 #ifdef DWARF2_DEBUGGING_INFO
1159 write_symbols = DWARF2_DEBUG;
1160 #elif defined DBX_DEBUGGING_INFO
1161 write_symbols = DBX_DEBUG;
1162 #endif
1163 }
1164
1165 if (write_symbols == NO_DEBUG)
1166 warning (0, "target system does not support debug output");
1167 }
1168 }
1169 else
1170 {
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;
1177 }
1178
1179 /* A debug flag without a level defaults to level 2. */
1180 if (*arg == '\0')
1181 {
1182 if (!debug_info_level)
1183 debug_info_level = 2;
1184 }
1185 else
1186 {
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);
1192 }
1193 }
1194
1195 /* Display help for target options. */
1196 static void
1197 print_target_help (void)
1198 {
1199 unsigned int i;
1200 static bool displayed = false;
1201
1202 /* Avoid double printing for --help --target-help. */
1203 if (displayed)
1204 return;
1205
1206 displayed = true;
1207 for (i = 0; i < cl_options_count; i++)
1208 if ((cl_options[i].flags & (CL_TARGET | CL_UNDOCUMENTED)) == CL_TARGET)
1209 {
1210 printf (_("\nTarget specific options:\n"));
1211 print_filtered_help (CL_TARGET);
1212 break;
1213 }
1214 }
1215
1216 /* Output --help text. */
1217 static void
1218 print_help (void)
1219 {
1220 size_t i;
1221 const char *p;
1222
1223 GET_ENVIRONMENT (p, "COLUMNS");
1224 if (p)
1225 {
1226 int value = atoi (p);
1227 if (value > 0)
1228 columns = value;
1229 }
1230
1231 puts (_("The following options are language-independent:\n"));
1232
1233 print_filtered_help (CL_COMMON);
1234 print_param_help ();
1235
1236 for (i = 0; lang_names[i]; i++)
1237 {
1238 printf (_("The %s front end recognizes the following options:\n\n"),
1239 lang_names[i]);
1240 print_filtered_help (1U << i);
1241 }
1242 print_target_help ();
1243 }
1244
1245 /* Print the help for --param. */
1246 static void
1247 print_param_help (void)
1248 {
1249 size_t i;
1250
1251 puts (_("The --param option recognizes the following as parameters:\n"));
1252
1253 for (i = 0; i < LAST_PARAM; i++)
1254 {
1255 const char *help = compiler_params[i].help;
1256 const char *param = compiler_params[i].option;
1257
1258 if (help == NULL || *help == '\0')
1259 help = undocumented_msg;
1260
1261 /* Get the translation. */
1262 help = _(help);
1263
1264 wrap_help (help, param, strlen (param));
1265 }
1266
1267 putchar ('\n');
1268 }
1269
1270 /* Print help for a specific front-end, etc. */
1271 static void
1272 print_filtered_help (unsigned int flag)
1273 {
1274 unsigned int i, len, filter, indent = 0;
1275 bool duplicates = false;
1276 const char *help, *opt, *tab;
1277 static char *printed;
1278
1279 if (flag == CL_COMMON || flag == CL_TARGET)
1280 {
1281 filter = flag;
1282 if (!printed)
1283 printed = xmalloc (cl_options_count);
1284 memset (printed, 0, cl_options_count);
1285 }
1286 else
1287 {
1288 /* Don't print COMMON options twice. */
1289 filter = flag | CL_COMMON;
1290
1291 for (i = 0; i < cl_options_count; i++)
1292 {
1293 if ((cl_options[i].flags & filter) != flag)
1294 continue;
1295
1296 /* Skip help for internal switches. */
1297 if (cl_options[i].flags & CL_UNDOCUMENTED)
1298 continue;
1299
1300 /* Skip switches that have already been printed, mark them to be
1301 listed later. */
1302 if (printed[i])
1303 {
1304 duplicates = true;
1305 indent = print_switch (cl_options[i].opt_text, indent);
1306 }
1307 }
1308
1309 if (duplicates)
1310 {
1311 putchar ('\n');
1312 putchar ('\n');
1313 }
1314 }
1315
1316 for (i = 0; i < cl_options_count; i++)
1317 {
1318 if ((cl_options[i].flags & filter) != flag)
1319 continue;
1320
1321 /* Skip help for internal switches. */
1322 if (cl_options[i].flags & CL_UNDOCUMENTED)
1323 continue;
1324
1325 /* Skip switches that have already been printed. */
1326 if (printed[i])
1327 continue;
1328
1329 printed[i] = true;
1330
1331 help = cl_options[i].help;
1332 if (!help)
1333 help = undocumented_msg;
1334
1335 /* Get the translation. */
1336 help = _(help);
1337
1338 tab = strchr (help, '\t');
1339 if (tab)
1340 {
1341 len = tab - help;
1342 opt = help;
1343 help = tab + 1;
1344 }
1345 else
1346 {
1347 opt = cl_options[i].opt_text;
1348 len = strlen (opt);
1349 }
1350
1351 wrap_help (help, opt, len);
1352 }
1353
1354 putchar ('\n');
1355 }
1356
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)
1361 {
1362 unsigned int len = strlen (text) + 1; /* trailing comma */
1363
1364 if (indent)
1365 {
1366 putchar (',');
1367 if (indent + len > columns)
1368 {
1369 putchar ('\n');
1370 putchar (' ');
1371 indent = 1;
1372 }
1373 }
1374 else
1375 putchar (' ');
1376
1377 putchar (' ');
1378 fputs (text, stdout);
1379
1380 return indent + len + 1;
1381 }
1382
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)
1387 {
1388 unsigned int col_width = 27;
1389 unsigned int remaining, room, len;
1390
1391 remaining = strlen (help);
1392
1393 do
1394 {
1395 room = columns - 3 - MAX (col_width, item_width);
1396 if (room > columns)
1397 room = 0;
1398 len = remaining;
1399
1400 if (room < len)
1401 {
1402 unsigned int i;
1403
1404 for (i = 0; help[i]; i++)
1405 {
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;
1414 }
1415 }
1416
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;
1423 }
1424 while (remaining);
1425 }
1426
1427 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
1428 a simple on-off switch. */
1429
1430 int
1431 option_enabled (int opt_idx)
1432 {
1433 const struct cl_option *option = &(cl_options[opt_idx]);
1434 if (option->flag_var)
1435 switch (option->var_type)
1436 {
1437 case CLVC_BOOLEAN:
1438 return *(int *) option->flag_var != 0;
1439
1440 case CLVC_EQUAL:
1441 return *(int *) option->flag_var == option->var_value;
1442
1443 case CLVC_BIT_CLEAR:
1444 return (*(int *) option->flag_var & option->var_value) == 0;
1445
1446 case CLVC_BIT_SET:
1447 return (*(int *) option->flag_var & option->var_value) != 0;
1448
1449 case CLVC_STRING:
1450 break;
1451 }
1452 return -1;
1453 }
1454
1455 /* Fill STATE with the current state of option OPTION. Return true if
1456 there is some state to store. */
1457
1458 bool
1459 get_option_state (int option, struct cl_option_state *state)
1460 {
1461 if (cl_options[option].flag_var == 0)
1462 return false;
1463
1464 switch (cl_options[option].var_type)
1465 {
1466 case CLVC_BOOLEAN:
1467 case CLVC_EQUAL:
1468 state->data = cl_options[option].flag_var;
1469 state->size = sizeof (int);
1470 break;
1471
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;
1478
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;
1485 }
1486 return true;
1487 }