OSDN Git Service

* double-int.c (mpz_set_double_int): Moved from
[pf3gnuchains/gcc-fork.git] / gcc / opts.c
1 /* Command line option handling.
2    Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007
3    Free Software Foundation, Inc.
4    Contributed by Neil Booth.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
11 version.
12
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
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING.  If not, write to the Free
20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
21 02110-1301, USA.  */
22
23 #include "config.h"
24 #include "system.h"
25 #include "intl.h"
26 #include "coretypes.h"
27 #include "tm.h"
28 #include "tree.h"
29 #include "rtl.h"
30 #include "ggc.h"
31 #include "output.h"
32 #include "langhooks.h"
33 #include "opts.h"
34 #include "options.h"
35 #include "flags.h"
36 #include "toplev.h"
37 #include "params.h"
38 #include "diagnostic.h"
39 #include "tm_p.h"               /* For OPTIMIZATION_OPTIONS.  */
40 #include "insn-attr.h"          /* For INSN_SCHEDULING.  */
41 #include "target.h"
42 #include "tree-pass.h"
43
44 /* Value of the -G xx switch, and whether it was passed or not.  */
45 unsigned HOST_WIDE_INT g_switch_value;
46 bool g_switch_set;
47
48 /* True if we should exit after parsing options.  */
49 bool exit_after_options;
50
51 /* Print various extra warnings.  -W/-Wextra.  */
52 bool extra_warnings;
53
54 /* True to warn about any objects definitions whose size is larger
55    than N bytes.  Also want about function definitions whose returned
56    values are larger than N bytes, where N is `larger_than_size'.  */
57 bool warn_larger_than;
58 HOST_WIDE_INT larger_than_size;
59
60 /* Nonzero means warn about constructs which might not be
61    strict-aliasing safe.  */
62 int warn_strict_aliasing;
63
64 /* Nonzero means warn about optimizations which rely on undefined
65    signed overflow.  */
66 int warn_strict_overflow;
67
68 /* Hack for cooperation between set_Wunused and set_Wextra.  */
69 static bool maybe_warn_unused_parameter;
70
71 /* Type(s) of debugging information we are producing (if any).  See
72    flags.h for the definitions of the different possible types of
73    debugging information.  */
74 enum debug_info_type write_symbols = NO_DEBUG;
75
76 /* Level of debugging information we are producing.  See flags.h for
77    the definitions of the different possible levels.  */
78 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
79
80 /* A major contribution to object and executable size is debug
81    information size.  A major contribution to debug information size
82    is struct descriptions replicated in several object files. The
83    following flags attempt to reduce this information.  The basic
84    idea is to not emit struct debugging information in the current
85    compilation unit when that information will be generated by
86    another compilation unit.
87
88    Debug information for a struct defined in the current source
89    file should be generated in the object file.  Likewise the
90    debug information for a struct defined in a header should be
91    generated in the object file of the corresponding source file.
92    Both of these case are handled when the base name of the file of
93    the struct definition matches the base name of the source file
94    of thet current compilation unit.  This matching emits minimal
95    struct debugging information.
96
97    The base file name matching rule above will fail to emit debug
98    information for structs defined in system headers.  So a second
99    category of files includes system headers in addition to files
100    with matching bases.
101
102    The remaining types of files are library headers and application
103    headers.  We cannot currently distinguish these two types.  */
104
105 enum debug_struct_file
106 {
107   DINFO_STRUCT_FILE_NONE,   /* Debug no structs. */
108   DINFO_STRUCT_FILE_BASE,   /* Debug structs defined in files with the
109                                same base name as the compilation unit. */
110   DINFO_STRUCT_FILE_SYS,    /* Also debug structs defined in system
111                                header files.  */
112   DINFO_STRUCT_FILE_ANY     /* Debug structs defined in all files. */
113 };
114
115 /* Generic structs (e.g. templates not explicitly specialized)
116    may not have a compilation unit associated with them, and so
117    may need to be treated differently from ordinary structs.
118
119    Structs only handled by reference (indirectly), will also usually
120    not need as much debugging information.  */
121
122 static enum debug_struct_file debug_struct_ordinary[DINFO_USAGE_NUM_ENUMS]
123   = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
124 static enum debug_struct_file debug_struct_generic[DINFO_USAGE_NUM_ENUMS]
125   = { DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY, DINFO_STRUCT_FILE_ANY };
126
127 /* Parse the -femit-struct-debug-detailed option value
128    and set the flag variables. */
129
130 #define MATCH( prefix, string ) \
131   ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
132    ? ((string += sizeof prefix - 1), 1) : 0)
133
134 void
135 set_struct_debug_option (const char *spec)
136 {
137   /* various labels for comparison */
138   static char dfn_lbl[] = "dfn:", dir_lbl[] = "dir:", ind_lbl[] = "ind:";
139   static char ord_lbl[] = "ord:", gen_lbl[] = "gen:";
140   static char none_lbl[] = "none", any_lbl[] = "any";
141   static char base_lbl[] = "base", sys_lbl[] = "sys";
142
143   enum debug_struct_file files = DINFO_STRUCT_FILE_ANY;
144   /* Default is to apply to as much as possible. */
145   enum debug_info_usage usage = DINFO_USAGE_NUM_ENUMS;
146   int ord = 1, gen = 1;
147
148   /* What usage? */
149   if (MATCH (dfn_lbl, spec))
150     usage = DINFO_USAGE_DFN;
151   else if (MATCH (dir_lbl, spec))
152     usage = DINFO_USAGE_DIR_USE;
153   else if (MATCH (ind_lbl, spec))
154     usage = DINFO_USAGE_IND_USE;
155
156   /* Generics or not? */
157   if (MATCH (ord_lbl, spec))
158     gen = 0;
159   else if (MATCH (gen_lbl, spec))
160     ord = 0;
161
162   /* What allowable environment? */
163   if (MATCH (none_lbl, spec))
164     files = DINFO_STRUCT_FILE_NONE;
165   else if (MATCH (any_lbl, spec))
166     files = DINFO_STRUCT_FILE_ANY;
167   else if (MATCH (sys_lbl, spec))
168     files = DINFO_STRUCT_FILE_SYS;
169   else if (MATCH (base_lbl, spec))
170     files = DINFO_STRUCT_FILE_BASE;
171   else
172     error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
173            spec);
174
175   /* Effect the specification. */
176   if (usage == DINFO_USAGE_NUM_ENUMS)
177     {
178       if (ord)
179         {
180           debug_struct_ordinary[DINFO_USAGE_DFN] = files;
181           debug_struct_ordinary[DINFO_USAGE_DIR_USE] = files;
182           debug_struct_ordinary[DINFO_USAGE_IND_USE] = files;
183         }
184       if (gen)
185         {
186           debug_struct_generic[DINFO_USAGE_DFN] = files;
187           debug_struct_generic[DINFO_USAGE_DIR_USE] = files;
188           debug_struct_generic[DINFO_USAGE_IND_USE] = files;
189         }
190     }
191   else
192     {
193       if (ord)
194         debug_struct_ordinary[usage] = files;
195       if (gen)
196         debug_struct_generic[usage] = files;
197     }
198
199   if (*spec == ',')
200     set_struct_debug_option (spec+1);
201   else
202     {
203       /* No more -femit-struct-debug-detailed specifications.
204          Do final checks. */
205       if (*spec != '\0')
206         error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
207                spec);
208       if (debug_struct_ordinary[DINFO_USAGE_DIR_USE]
209                 < debug_struct_ordinary[DINFO_USAGE_IND_USE]
210           || debug_struct_generic[DINFO_USAGE_DIR_USE]
211                 < debug_struct_generic[DINFO_USAGE_IND_USE])
212         error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
213                " as much as %<-femit-struct-debug-detailed=ind:...%>");
214     }
215 }
216
217 /* Find the base name of a path, stripping off both directories and
218    a single final extension. */
219 static int
220 base_of_path (const char *path, const char **base_out)
221 {
222   const char *base = path;
223   const char *dot = 0;
224   const char *p = path;
225   char c = *p;
226   while (c)
227     {
228       if (IS_DIR_SEPARATOR(c))
229         {
230           base = p + 1;
231           dot = 0;
232         }
233       else if (c == '.')
234         dot = p;
235       c = *++p;
236     }
237   if (!dot)
238     dot = p;
239   *base_out = base;
240   return dot - base;
241 }
242
243 /* Match the base name of a file to the base name of a compilation unit. */
244
245 static const char *main_input_basename;
246 static int main_input_baselength;
247
248 static int
249 matches_main_base (const char *path)
250 {
251   /* Cache the last query. */
252   static const char *last_path = NULL;
253   static int last_match = 0;
254   if (path != last_path)
255     {
256       const char *base;
257       int length = base_of_path (path, &base);
258       last_path = path;
259       last_match = (length == main_input_baselength
260                     && memcmp (base, main_input_basename, length) == 0);
261     }
262   return last_match;
263 }
264
265 #ifdef DEBUG_DEBUG_STRUCT
266
267 static int
268 dump_struct_debug (tree type, enum debug_info_usage usage,
269                    enum debug_struct_file criterion, int generic,
270                    int matches, int result)
271 {
272   /* Find the type name. */
273   tree type_decl = TYPE_STUB_DECL (type);
274   tree t = type_decl;
275   const char *name = 0;
276   if (TREE_CODE (t) == TYPE_DECL)
277     t = DECL_NAME (t);
278   if (t)
279     name = IDENTIFIER_POINTER (t);
280
281   fprintf (stderr, "    struct %d %s %s %s %s %d %p %s\n",
282            criterion,
283            DECL_IN_SYSTEM_HEADER (type_decl) ? "sys" : "usr",
284            matches ? "bas" : "hdr",
285            generic ? "gen" : "ord",
286            usage == DINFO_USAGE_DFN ? ";" :
287              usage == DINFO_USAGE_DIR_USE ? "." : "*",
288            result,
289            (void*) type_decl, name);
290   return result;
291 }
292 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
293   dump_struct_debug (type, usage, criterion, generic, matches, result)
294
295 #else
296
297 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
298   (result)
299
300 #endif
301
302
303 bool
304 should_emit_struct_debug (tree type, enum debug_info_usage usage)
305 {
306   enum debug_struct_file criterion;
307   tree type_decl;
308   bool generic = lang_hooks.types.generic_p (type);
309
310   if (generic)
311     criterion = debug_struct_generic[usage];
312   else
313     criterion = debug_struct_ordinary[usage];
314
315   if (criterion == DINFO_STRUCT_FILE_NONE)
316     return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
317   if (criterion == DINFO_STRUCT_FILE_ANY)
318     return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
319
320   type_decl = TYPE_STUB_DECL (type);
321
322   if (criterion == DINFO_STRUCT_FILE_SYS && DECL_IN_SYSTEM_HEADER (type_decl))
323     return DUMP_GSTRUCT (type, usage, criterion, generic, false, true);
324
325   if (matches_main_base (DECL_SOURCE_FILE (type_decl)))
326     return DUMP_GSTRUCT (type, usage, criterion, generic, true, true);
327   return DUMP_GSTRUCT (type, usage, criterion, generic, false, false);
328 }
329
330 /* Nonzero means use GNU-only extensions in the generated symbolic
331    debugging information.  Currently, this only has an effect when
332    write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG.  */
333 bool use_gnu_debug_info_extensions;
334
335 /* The default visibility for all symbols (unless overridden) */
336 enum symbol_visibility default_visibility = VISIBILITY_DEFAULT;
337
338 /* Disable unit-at-a-time for frontends that might be still broken in this
339    respect.  */
340
341 bool no_unit_at_a_time_default;
342
343 /* Global visibility options.  */
344 struct visibility_flags visibility_options;
345
346 /* What to print when a switch has no documentation.  */
347 static const char undocumented_msg[] = N_("This switch lacks documentation");
348
349 /* Used for bookkeeping on whether user set these flags so
350    -fprofile-use/-fprofile-generate does not use them.  */
351 static bool profile_arc_flag_set, flag_profile_values_set;
352 static bool flag_unroll_loops_set, flag_tracer_set;
353 static bool flag_value_profile_transformations_set;
354 static bool flag_peel_loops_set, flag_branch_probabilities_set;
355
356 /* Input file names.  */
357 const char **in_fnames;
358 unsigned num_in_fnames;
359
360 static int common_handle_option (size_t scode, const char *arg, int value,
361                                  unsigned int lang_mask);
362 static void handle_param (const char *);
363 static void set_Wextra (int);
364 static unsigned int handle_option (const char **argv, unsigned int lang_mask);
365 static char *write_langs (unsigned int lang_mask);
366 static void complain_wrong_lang (const char *, const struct cl_option *,
367                                  unsigned int lang_mask);
368 static void handle_options (unsigned int, const char **, unsigned int);
369 static void set_debug_level (enum debug_info_type type, int extended,
370                              const char *arg);
371
372 /* If ARG is a non-negative integer made up solely of digits, return its
373    value, otherwise return -1.  */
374 static int
375 integral_argument (const char *arg)
376 {
377   const char *p = arg;
378
379   while (*p && ISDIGIT (*p))
380     p++;
381
382   if (*p == '\0')
383     return atoi (arg);
384
385   return -1;
386 }
387
388 /* Return a malloced slash-separated list of languages in MASK.  */
389 static char *
390 write_langs (unsigned int mask)
391 {
392   unsigned int n = 0, len = 0;
393   const char *lang_name;
394   char *result;
395
396   for (n = 0; (lang_name = lang_names[n]) != 0; n++)
397     if (mask & (1U << n))
398       len += strlen (lang_name) + 1;
399
400   result = XNEWVEC (char, len);
401   len = 0;
402   for (n = 0; (lang_name = lang_names[n]) != 0; n++)
403     if (mask & (1U << n))
404       {
405         if (len)
406           result[len++] = '/';
407         strcpy (result + len, lang_name);
408         len += strlen (lang_name);
409       }
410
411   result[len] = 0;
412
413   return result;
414 }
415
416 /* Complain that switch OPT_INDEX does not apply to this front end.  */
417 static void
418 complain_wrong_lang (const char *text, const struct cl_option *option,
419                      unsigned int lang_mask)
420 {
421   char *ok_langs, *bad_lang;
422
423   ok_langs = write_langs (option->flags);
424   bad_lang = write_langs (lang_mask);
425
426   /* Eventually this should become a hard error IMO.  */
427   warning (0, "command line option \"%s\" is valid for %s but not for %s",
428            text, ok_langs, bad_lang);
429
430   free (ok_langs);
431   free (bad_lang);
432 }
433
434 /* Handle the switch beginning at ARGV for the language indicated by
435    LANG_MASK.  Returns the number of switches consumed.  */
436 static unsigned int
437 handle_option (const char **argv, unsigned int lang_mask)
438 {
439   size_t opt_index;
440   const char *opt, *arg = 0;
441   char *dup = 0;
442   int value = 1;
443   unsigned int result = 0;
444   const struct cl_option *option;
445
446   opt = argv[0];
447
448   opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
449   if (opt_index == cl_options_count
450       && (opt[1] == 'W' || opt[1] == 'f' || opt[1] == 'm')
451       && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-')
452     {
453       /* Drop the "no-" from negative switches.  */
454       size_t len = strlen (opt) - 3;
455
456       dup = XNEWVEC (char, len + 1);
457       dup[0] = '-';
458       dup[1] = opt[1];
459       memcpy (dup + 2, opt + 5, len - 2 + 1);
460       opt = dup;
461       value = 0;
462       opt_index = find_opt (opt + 1, lang_mask | CL_COMMON | CL_TARGET);
463     }
464
465   if (opt_index == cl_options_count)
466     goto done;
467
468   option = &cl_options[opt_index];
469
470   /* Reject negative form of switches that don't take negatives as
471      unrecognized.  */
472   if (!value && (option->flags & CL_REJECT_NEGATIVE))
473     goto done;
474
475   /* We've recognized this switch.  */
476   result = 1;
477
478   /* Check to see if the option is disabled for this configuration.  */
479   if (option->flags & CL_DISABLED)
480     {
481       error ("command line option %qs"
482              " is not supported by this configuration", opt);
483       goto done;
484     }
485
486   /* Sort out any argument the switch takes.  */
487   if (option->flags & CL_JOINED)
488     {
489       /* Have arg point to the original switch.  This is because
490          some code, such as disable_builtin_function, expects its
491          argument to be persistent until the program exits.  */
492       arg = argv[0] + cl_options[opt_index].opt_len + 1;
493       if (!value)
494         arg += strlen ("no-");
495
496       if (*arg == '\0' && !(option->flags & CL_MISSING_OK))
497         {
498           if (option->flags & CL_SEPARATE)
499             {
500               arg = argv[1];
501               result = 2;
502             }
503           else
504             /* Missing argument.  */
505             arg = NULL;
506         }
507     }
508   else if (option->flags & CL_SEPARATE)
509     {
510       arg = argv[1];
511       result = 2;
512     }
513
514   /* Now we've swallowed any potential argument, complain if this
515      is a switch for a different front end.  */
516   if (!(option->flags & (lang_mask | CL_COMMON | CL_TARGET)))
517     {
518       complain_wrong_lang (argv[0], option, lang_mask);
519       goto done;
520     }
521   else if ((option->flags & CL_TARGET)
522            && (option->flags & CL_LANG_ALL)
523            && !(option->flags & lang_mask))
524     {
525       /* Complain for target flag language mismatches if any languages
526          are specified.  */
527       complain_wrong_lang (argv[0], option, lang_mask);
528       goto done;
529     }
530
531   if (arg == NULL && (option->flags & (CL_JOINED | CL_SEPARATE)))
532     {
533       if (!lang_hooks.missing_argument (opt, opt_index))
534         error ("missing argument to \"%s\"", opt);
535       goto done;
536     }
537
538   /* If the switch takes an integer, convert it.  */
539   if (arg && (option->flags & CL_UINTEGER))
540     {
541       value = integral_argument (arg);
542       if (value == -1)
543         {
544           error ("argument to \"%s\" should be a non-negative integer",
545                  option->opt_text);
546           goto done;
547         }
548     }
549
550   if (option->flag_var)
551     switch (option->var_type)
552       {
553       case CLVC_BOOLEAN:
554         *(int *) option->flag_var = value;
555         break;
556
557       case CLVC_EQUAL:
558         *(int *) option->flag_var = (value
559                                      ? option->var_value
560                                      : !option->var_value);
561         break;
562
563       case CLVC_BIT_CLEAR:
564       case CLVC_BIT_SET:
565         if ((value != 0) == (option->var_type == CLVC_BIT_SET))
566           *(int *) option->flag_var |= option->var_value;
567         else
568           *(int *) option->flag_var &= ~option->var_value;
569         if (option->flag_var == &target_flags)
570           target_flags_explicit |= option->var_value;
571         break;
572
573       case CLVC_STRING:
574         *(const char **) option->flag_var = arg;
575         break;
576       }
577
578   if (option->flags & lang_mask)
579     if (lang_hooks.handle_option (opt_index, arg, value) == 0)
580       result = 0;
581
582   if (result && (option->flags & CL_COMMON))
583     if (common_handle_option (opt_index, arg, value, lang_mask) == 0)
584       result = 0;
585
586   if (result && (option->flags & CL_TARGET))
587     if (!targetm.handle_option (opt_index, arg, value))
588       result = 0;
589
590  done:
591   if (dup)
592     free (dup);
593   return result;
594 }
595
596 /* Handle FILENAME from the command line.  */
597 static void
598 add_input_filename (const char *filename)
599 {
600   num_in_fnames++;
601   in_fnames = xrealloc (in_fnames, num_in_fnames * sizeof (in_fnames[0]));
602   in_fnames[num_in_fnames - 1] = filename;
603 }
604
605 /* Decode and handle the vector of command line options.  LANG_MASK
606    contains has a single bit set representing the current
607    language.  */
608 static void
609 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
610 {
611   unsigned int n, i;
612
613   for (i = 1; i < argc; i += n)
614     {
615       const char *opt = argv[i];
616
617       /* Interpret "-" or a non-switch as a file name.  */
618       if (opt[0] != '-' || opt[1] == '\0')
619         {
620           if (main_input_filename == NULL)
621             {
622             main_input_filename = opt;
623               main_input_baselength
624                 = base_of_path (main_input_filename, &main_input_basename);
625             }
626           add_input_filename (opt);
627           n = 1;
628           continue;
629         }
630
631       n = handle_option (argv + i, lang_mask);
632
633       if (!n)
634         {
635           n = 1;
636           error ("unrecognized command line option \"%s\"", opt);
637         }
638     }
639 }
640
641 /* Parse command line options and set default flag values.  Do minimal
642    options processing.  */
643 void
644 decode_options (unsigned int argc, const char **argv)
645 {
646   unsigned int i, lang_mask;
647
648   /* Perform language-specific options initialization.  */
649   lang_mask = lang_hooks.init_options (argc, argv);
650
651   lang_hooks.initialize_diagnostics (global_dc);
652
653   /* Scan to see what optimization level has been specified.  That will
654      determine the default value of many flags.  */
655   for (i = 1; i < argc; i++)
656     {
657       if (!strcmp (argv[i], "-O"))
658         {
659           optimize = 1;
660           optimize_size = 0;
661         }
662       else if (argv[i][0] == '-' && argv[i][1] == 'O')
663         {
664           /* Handle -Os, -O2, -O3, -O69, ...  */
665           const char *p = &argv[i][2];
666
667           if ((p[0] == 's') && (p[1] == 0))
668             {
669               optimize_size = 1;
670
671               /* Optimizing for size forces optimize to be 2.  */
672               optimize = 2;
673             }
674           else
675             {
676               const int optimize_val = read_integral_parameter (p, p - 2, -1);
677               if (optimize_val != -1)
678                 {
679                   optimize = optimize_val;
680                   optimize_size = 0;
681                 }
682             }
683         }
684     }
685
686   if (!optimize)
687     {
688       flag_merge_constants = 0;
689     }
690
691   if (optimize >= 1)
692     {
693       flag_defer_pop = 1;
694 #ifdef DELAY_SLOTS
695       flag_delayed_branch = 1;
696 #endif
697 #ifdef CAN_DEBUG_WITHOUT_FP
698       flag_omit_frame_pointer = 1;
699 #endif
700       flag_guess_branch_prob = 1;
701       flag_cprop_registers = 1;
702       flag_if_conversion = 1;
703       flag_if_conversion2 = 1;
704       flag_ipa_pure_const = 1;
705       flag_ipa_reference = 1;
706       flag_split_wide_types = 1;
707       flag_tree_ccp = 1;
708       flag_tree_dce = 1;
709       flag_tree_dom = 1;
710       flag_tree_dse = 1;
711       flag_tree_ter = 1;
712       flag_tree_sra = 1;
713       flag_tree_copyrename = 1;
714       flag_tree_fre = 1;
715       flag_tree_copy_prop = 1;
716       flag_tree_sink = 1;
717       flag_tree_salias = 1;
718       if (!no_unit_at_a_time_default)
719         flag_unit_at_a_time = 1;
720
721       if (!optimize_size)
722         {
723           /* Loop header copying usually increases size of the code.  This used
724              not to be true, since quite often it is possible to verify that
725              the condition is satisfied in the first iteration and therefore
726              to eliminate it.  Jump threading handles these cases now.  */
727           flag_tree_ch = 1;
728         }
729     }
730
731   if (optimize >= 2)
732     {
733       flag_thread_jumps = 1;
734       flag_crossjumping = 1;
735       flag_optimize_sibling_calls = 1;
736       flag_forward_propagate = 1;
737       flag_cse_follow_jumps = 1;
738       flag_gcse = 1;
739       flag_expensive_optimizations = 1;
740       flag_ipa_type_escape = 1;
741       flag_rerun_cse_after_loop = 1;
742       flag_caller_saves = 1;
743       flag_peephole2 = 1;
744 #ifdef INSN_SCHEDULING
745       flag_schedule_insns = 1;
746       flag_schedule_insns_after_reload = 1;
747 #endif
748       flag_regmove = 1;
749       flag_strict_aliasing = 1;
750       flag_strict_overflow = 1;
751       flag_delete_null_pointer_checks = 1;
752       flag_reorder_blocks = 1;
753       flag_reorder_functions = 1;
754       flag_tree_store_ccp = 1;
755       flag_tree_store_copy_prop = 1;
756       flag_tree_vrp = 1;
757
758       if (!optimize_size)
759         {
760           /* PRE tends to generate bigger code.  */
761           flag_tree_pre = 1;
762         }
763
764       /* Allow more virtual operators to increase alias precision.  */
765       set_param_value ("max-aliased-vops", 500);
766     }
767
768   if (optimize >= 3)
769     {
770       flag_inline_functions = 1;
771       flag_unswitch_loops = 1;
772       flag_gcse_after_reload = 1;
773
774       /* Allow even more virtual operators.  */
775       set_param_value ("max-aliased-vops", 1000);
776       set_param_value ("avg-aliased-vops", 3);
777     }
778
779   if (optimize < 2 || optimize_size)
780     {
781       align_loops = 1;
782       align_jumps = 1;
783       align_labels = 1;
784       align_functions = 1;
785
786       /* Don't reorder blocks when optimizing for size because extra
787          jump insns may be created; also barrier may create extra padding.
788
789          More correctly we should have a block reordering mode that tried
790          to minimize the combined size of all the jumps.  This would more
791          or less automatically remove extra jumps, but would also try to
792          use more short jumps instead of long jumps.  */
793       flag_reorder_blocks = 0;
794       flag_reorder_blocks_and_partition = 0;
795     }
796
797   if (optimize_size)
798     {
799       /* Inlining of very small functions usually reduces total size.  */
800       set_param_value ("max-inline-insns-single", 5);
801       set_param_value ("max-inline-insns-auto", 5);
802       flag_inline_functions = 1;
803
804       /* We want to crossjump as much as possible.  */
805       set_param_value ("min-crossjump-insns", 1);
806     }
807
808   /* Initialize whether `char' is signed.  */
809   flag_signed_char = DEFAULT_SIGNED_CHAR;
810   /* Set this to a special "uninitialized" value.  The actual default is set
811      after target options have been processed.  */
812   flag_short_enums = 2;
813
814   /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
815      modify it.  */
816   target_flags = targetm.default_target_flags;
817
818   /* Some tagets have ABI-specified unwind tables.  */
819   flag_unwind_tables = targetm.unwind_tables_default;
820
821 #ifdef OPTIMIZATION_OPTIONS
822   /* Allow default optimizations to be specified on a per-machine basis.  */
823   OPTIMIZATION_OPTIONS (optimize, optimize_size);
824 #endif
825
826   handle_options (argc, argv, lang_mask);
827
828   if (flag_pie)
829     flag_pic = flag_pie;
830   if (flag_pic && !flag_pie)
831     flag_shlib = 1;
832
833   if (flag_no_inline == 2)
834     flag_no_inline = 0;
835   else
836     flag_really_no_inline = flag_no_inline;
837
838   /* Set flag_no_inline before the post_options () hook.  The C front
839      ends use it to determine tree inlining defaults.  FIXME: such
840      code should be lang-independent when all front ends use tree
841      inlining, in which case it, and this condition, should be moved
842      to the top of process_options() instead.  */
843   if (optimize == 0)
844     {
845       /* Inlining does not work if not optimizing,
846          so force it not to be done.  */
847       flag_no_inline = 1;
848       warn_inline = 0;
849
850       /* The c_decode_option function and decode_option hook set
851          this to `2' if -Wall is used, so we can avoid giving out
852          lots of errors for people who don't realize what -Wall does.  */
853       if (warn_uninitialized == 1)
854         warning (OPT_Wuninitialized,
855                  "-Wuninitialized is not supported without -O");
856     }
857
858   if (flag_really_no_inline == 2)
859     flag_really_no_inline = flag_no_inline;
860
861   /* The optimization to partition hot and cold basic blocks into separate
862      sections of the .o and executable files does not work (currently)
863      with exception handling.  This is because there is no support for
864      generating unwind info.  If flag_exceptions is turned on we need to
865      turn off the partitioning optimization.  */
866
867   if (flag_exceptions && flag_reorder_blocks_and_partition)
868     {
869       inform
870             ("-freorder-blocks-and-partition does not work with exceptions");
871       flag_reorder_blocks_and_partition = 0;
872       flag_reorder_blocks = 1;
873     }
874
875   /* If user requested unwind info, then turn off the partitioning
876      optimization.  */
877
878   if (flag_unwind_tables && ! targetm.unwind_tables_default
879       && flag_reorder_blocks_and_partition)
880     {
881       inform ("-freorder-blocks-and-partition does not support unwind info");
882       flag_reorder_blocks_and_partition = 0;
883       flag_reorder_blocks = 1;
884     }
885
886   /* If the target requested unwind info, then turn off the partitioning
887      optimization with a different message.  Likewise, if the target does not
888      support named sections.  */
889
890   if (flag_reorder_blocks_and_partition
891       && (!targetm.have_named_sections
892           || (flag_unwind_tables && targetm.unwind_tables_default)))
893     {
894       inform
895        ("-freorder-blocks-and-partition does not work on this architecture");
896       flag_reorder_blocks_and_partition = 0;
897       flag_reorder_blocks = 1;
898     }
899 }
900
901 #define LEFT_COLUMN     27
902
903 /* Output ITEM, of length ITEM_WIDTH, in the left column,
904    followed by word-wrapped HELP in a second column.  */
905 static void
906 wrap_help (const char *help,
907            const char *item,
908            unsigned int item_width,
909            unsigned int columns)
910 {
911   unsigned int col_width = LEFT_COLUMN;
912   unsigned int remaining, room, len;
913
914   remaining = strlen (help);
915
916   do
917     {
918       room = columns - 3 - MAX (col_width, item_width);
919       if (room > columns)
920         room = 0;
921       len = remaining;
922
923       if (room < len)
924         {
925           unsigned int i;
926
927           for (i = 0; help[i]; i++)
928             {
929               if (i >= room && len != remaining)
930                 break;
931               if (help[i] == ' ')
932                 len = i;
933               else if ((help[i] == '-' || help[i] == '/')
934                        && help[i + 1] != ' '
935                        && i > 0 && ISALPHA (help[i - 1]))
936                 len = i + 1;
937             }
938         }
939
940       printf( "  %-*.*s %.*s\n", col_width, item_width, item, len, help);
941       item_width = 0;
942       while (help[len] == ' ')
943         len++;
944       help += len;
945       remaining -= len;
946     }
947   while (remaining);
948 }
949
950 /* Print help for a specific front-end, etc.  */
951 static void
952 print_filtered_help (unsigned int include_flags,
953                      unsigned int exclude_flags,
954                      unsigned int any_flags,
955                      unsigned int columns)
956 {
957   unsigned int i;
958   const char *help;
959   static char *printed = NULL;
960   bool found = false;
961   bool displayed = false;
962
963   if (include_flags == CL_PARAMS)
964     {
965       for (i = 0; i < LAST_PARAM; i++)
966         {
967           const char *param = compiler_params[i].option;
968
969           help = compiler_params[i].help;
970           if (help == NULL || *help == '\0')
971             {
972               if (exclude_flags & CL_UNDOCUMENTED)
973                 continue;
974               help = undocumented_msg;
975             }
976
977           /* Get the translation.  */
978           help = _(help);
979
980           wrap_help (help, param, strlen (param), columns);
981         }
982       putchar ('\n');
983       return;
984     }
985
986   if (!printed)
987     printed = xcalloc (1, cl_options_count);
988
989   for (i = 0; i < cl_options_count; i++)
990     {
991       static char new_help[128];
992       const struct cl_option *option = cl_options + i;
993       unsigned int len;
994       const char *opt;
995       const char *tab;
996
997       if (include_flags == 0
998           || ((option->flags & include_flags) != include_flags))
999         {
1000           if ((option->flags & any_flags) == 0)
1001             continue;
1002         }
1003
1004       /* Skip unwanted switches.  */
1005       if ((option->flags & exclude_flags) != 0)
1006         continue;
1007
1008       found = true;
1009       /* Skip switches that have already been printed.  */
1010       if (printed[i])
1011         continue;
1012
1013       printed[i] = true;
1014
1015       help = option->help;
1016       if (help == NULL)
1017         {
1018           if (exclude_flags & CL_UNDOCUMENTED)
1019             continue;
1020           help = undocumented_msg;
1021         }
1022
1023       /* Get the translation.  */
1024       help = _(help);
1025
1026       /* Find the gap between the name of the
1027          option and its descriptive text.  */
1028       tab = strchr (help, '\t');
1029       if (tab)
1030         {
1031           len = tab - help;
1032           opt = help;
1033           help = tab + 1;
1034         }
1035       else
1036         {
1037           opt = option->opt_text;
1038           len = strlen (opt);
1039         }
1040
1041       /* With the -Q option enabled we change the descriptive text associated
1042          with an option to be an indication of its current setting.  */
1043       if (!quiet_flag)
1044         {
1045           if (len < (LEFT_COLUMN + 2))
1046             strcpy (new_help, "\t\t");
1047           else
1048             strcpy (new_help, "\t");
1049
1050           if (option->flag_var != NULL)
1051             {
1052               if (option->flags & CL_JOINED)
1053                 {
1054                   if (option->var_type == CLVC_STRING)
1055                     {
1056                       if (* (const char **) option->flag_var != NULL)
1057                         snprintf (new_help + strlen (new_help),
1058                                   sizeof (new_help) - strlen (new_help),
1059                                   * (const char **) option->flag_var);
1060                     }
1061                   else
1062                     sprintf (new_help + strlen (new_help),
1063                              "%#x", * (int *) option->flag_var);
1064                 }
1065               else
1066                 strcat (new_help, option_enabled (i)
1067                         ? _("[enabled]") : _("[disabled]"));
1068             }
1069
1070           help = new_help;
1071         }
1072
1073       wrap_help (help, opt, len, columns);
1074       displayed = true;
1075     }
1076
1077   if (! found)
1078     printf (_(" No options with the desired characteristics were found\n"));
1079   else if (! displayed)
1080     printf (_(" All options with the desired characteristics have already been displayed\n"));
1081
1082   putchar ('\n');
1083 }
1084
1085 /* Display help for a specified type of option.
1086    The options must have ALL of the INCLUDE_FLAGS set
1087    ANY of the flags in the ANY_FLAGS set
1088    and NONE of the EXCLUDE_FLAGS set.  */
1089 static void
1090 print_specific_help (unsigned int include_flags,
1091                      unsigned int exclude_flags,
1092                      unsigned int any_flags)
1093 {
1094   unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1095   const char * description = NULL;
1096   const char * descrip_extra = "";
1097   size_t i;
1098   unsigned int flag;
1099   static unsigned int columns = 0;
1100
1101   /* Sanity check: Make sure that we do not have more
1102      languages than we have bits available to enumerate them.  */
1103   gcc_assert ((1U << cl_lang_count) < CL_MIN_OPTION_CLASS);
1104
1105   /* If we have not done so already, obtain
1106      the desired maximum width of the output.  */
1107   if (columns == 0)
1108     {
1109       const char *p;
1110
1111       GET_ENVIRONMENT (p, "COLUMNS");
1112       if (p != NULL)
1113         {
1114           int value = atoi (p);
1115
1116           if (value > 0)
1117             columns = value;
1118         }
1119
1120       if (columns == 0)
1121         /* Use a reasonable default.  */
1122         columns = 80;
1123     }
1124
1125   /* Decide upon the title for the options that we are going to display.  */
1126   for (i = 0, flag = 1; flag <= CL_MAX_OPTION_CLASS; flag <<= 1, i ++)
1127     {
1128       switch (flag & include_flags)
1129         {
1130         case 0:
1131           break;
1132
1133         case CL_TARGET:
1134           description = _("The following options are target specific");
1135           break;
1136         case CL_WARNING:
1137           description = _("The following options control compiler warning messages");
1138           break;
1139         case CL_OPTIMIZATION:
1140           description = _("The following options control optimizations");
1141           break;
1142         case CL_COMMON:
1143           description = _("The following options are language-independent");
1144           break;
1145         case CL_PARAMS:
1146           description = _("The --param option recognizes the following as parameters");
1147           break;
1148         default:
1149           if (i >= cl_lang_count)
1150             break;
1151           if ((exclude_flags & ((1U << cl_lang_count) - 1)) != 0)
1152             {
1153               description = _("The following options are specific to the language ");
1154               descrip_extra = lang_names [i];
1155             }
1156           else
1157             description = _("The following options are supported by the language ");
1158             descrip_extra = lang_names [i];
1159           break;
1160         }
1161     }
1162
1163   if (description == NULL)
1164     {
1165       if (any_flags == 0)
1166         {
1167           if (include_flags == CL_UNDOCUMENTED)
1168             description = _("The following options are not documented");
1169           else
1170             {
1171               internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1172                               include_flags);
1173               return;
1174             }
1175         }
1176       else
1177         {
1178           if (any_flags & all_langs_mask)
1179             description = _("The following options are language-related");
1180           else
1181             description = _("The following options are language-independent");
1182         }
1183     }
1184
1185   printf ("%s%s:\n", description, descrip_extra);
1186   print_filtered_help (include_flags, exclude_flags, any_flags, columns);
1187 }
1188
1189 /* Handle target- and language-independent options.  Return zero to
1190    generate an "unknown option" message.  Only options that need
1191    extra handling need to be listed here; if you simply want
1192    VALUE assigned to a variable, it happens automatically.  */
1193
1194 static int
1195 common_handle_option (size_t scode, const char *arg, int value,
1196                       unsigned int lang_mask)
1197 {
1198   enum opt_code code = (enum opt_code) scode;
1199
1200   switch (code)
1201     {
1202     case OPT__param:
1203       handle_param (arg);
1204       break;
1205
1206     case OPT_fhelp:
1207     case OPT__help:
1208       {
1209         unsigned int all_langs_mask = (1U << cl_lang_count) - 1;
1210         unsigned int undoc_mask;
1211         unsigned int i;
1212
1213         undoc_mask = extra_warnings ? 0 : CL_UNDOCUMENTED;
1214         /* First display any single language specific options.  */
1215         for (i = 0; i < cl_lang_count; i++)
1216           print_specific_help
1217             (1U << i, (all_langs_mask & (~ (1U << i))) | undoc_mask, 0);
1218         /* Next display any multi language specific options.  */
1219         print_specific_help (0, undoc_mask, all_langs_mask);
1220         /* Then display any remaining, non-language options.  */
1221         for (i = CL_MIN_OPTION_CLASS; i <= CL_MAX_OPTION_CLASS; i <<= 1)
1222           print_specific_help (i, undoc_mask, 0);
1223         exit_after_options = true;
1224         break;
1225       }
1226
1227     case OPT_ftarget_help:
1228     case OPT__target_help:
1229       print_specific_help (CL_TARGET, CL_UNDOCUMENTED, 0);
1230       exit_after_options = true;
1231       break;
1232
1233     case OPT_fhelp_:
1234     case OPT__help_:
1235       {
1236         const char * a = arg;
1237         unsigned int include_flags = 0;
1238         /* Note - by default we include undocumented options when listing
1239            specific classes.  If you only want to see documented options
1240            then add ",^undocumented" to the --help= option.  e.g.:
1241
1242            --help=target,^undocumented  */
1243         unsigned int exclude_flags = 0;
1244
1245         /* Walk along the argument string, parsing each word in turn.
1246            The format is:
1247            arg = [^]{word}[,{arg}]
1248            word = {optimizers|target|warnings|undocumented|
1249                    params|common|<language>}  */
1250         while (* a != 0)
1251           {
1252             static struct
1253             {
1254               const char * string;
1255               unsigned int flag;
1256             }
1257             specifics[] =
1258             {
1259               { "optimizers", CL_OPTIMIZATION },
1260               { "target", CL_TARGET },
1261               { "warnings", CL_WARNING },
1262               { "undocumented", CL_UNDOCUMENTED },
1263               { "params", CL_PARAMS },
1264               { "joined", CL_JOINED },
1265               { "separate", CL_SEPARATE },
1266               { "common", CL_COMMON },
1267               { NULL, 0 }
1268             };
1269             unsigned int * pflags;
1270             char * comma;
1271             unsigned int len;
1272             unsigned int i;
1273
1274             if (* a == '^')
1275               {
1276                 ++ a;
1277                 pflags = & exclude_flags;
1278               }
1279             else
1280               pflags = & include_flags;
1281
1282             comma = strchr (a, ',');
1283             if (comma == NULL)
1284               len = strlen (a);
1285             else
1286               len = comma - a;
1287
1288             for (i = 0; specifics[i].string != NULL; i++)
1289               if (strncasecmp (a, specifics[i].string, len) == 0)
1290                 {
1291                   * pflags |= specifics[i].flag;
1292                   break;
1293                 }
1294
1295             if (specifics[i].string == NULL)
1296               {
1297                 /* Check to see if the string matches a language name.  */
1298                 for (i = 0; i < cl_lang_count; i++)
1299                   if (strncasecmp (a, lang_names[i], len) == 0)
1300                     {
1301                       * pflags |= 1U << i;
1302                       break;
1303                     }
1304
1305                 if (i == cl_lang_count)
1306                   fnotice (stderr,
1307                            "warning: unrecognized argument to --help= switch: %.*s\n",
1308                            len, a);
1309               }
1310
1311             if (comma == NULL)
1312               break;
1313             a = comma + 1;
1314           }
1315
1316         if (include_flags)
1317           print_specific_help (include_flags, exclude_flags, 0);
1318         exit_after_options = true;
1319         break;
1320       }
1321
1322     case OPT__version:
1323       print_version (stderr, "");
1324       exit_after_options = true;
1325       break;
1326
1327     case OPT_G:
1328       g_switch_value = value;
1329       g_switch_set = true;
1330       break;
1331
1332     case OPT_O:
1333     case OPT_Os:
1334       /* Currently handled in a prescan.  */
1335       break;
1336
1337     case OPT_W:
1338       /* For backward compatibility, -W is the same as -Wextra.  */
1339       set_Wextra (value);
1340       break;
1341
1342     case OPT_Werror_:
1343       enable_warning_as_error (arg, value, lang_mask);
1344       break;
1345
1346     case OPT_Wextra:
1347       set_Wextra (value);
1348       break;
1349
1350     case OPT_Wlarger_than_:
1351       larger_than_size = value;
1352       warn_larger_than = value != -1;
1353       break;
1354
1355     case OPT_Wstrict_aliasing:
1356     case OPT_Wstrict_aliasing_:
1357       warn_strict_aliasing = value;
1358       break;
1359
1360     case OPT_Wstrict_overflow:
1361       warn_strict_overflow = (value
1362                               ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1363                               : 0);
1364       break;
1365
1366     case OPT_Wstrict_overflow_:
1367       warn_strict_overflow = value;
1368       break;
1369
1370     case OPT_Wunused:
1371       set_Wunused (value);
1372       break;
1373
1374     case OPT_aux_info:
1375     case OPT_aux_info_:
1376       aux_info_file_name = arg;
1377       flag_gen_aux_info = 1;
1378       break;
1379
1380     case OPT_auxbase:
1381       aux_base_name = arg;
1382       break;
1383
1384     case OPT_auxbase_strip:
1385       {
1386         char *tmp = xstrdup (arg);
1387         strip_off_ending (tmp, strlen (tmp));
1388         if (tmp[0])
1389           aux_base_name = tmp;
1390       }
1391       break;
1392
1393     case OPT_d:
1394       decode_d_option (arg);
1395       break;
1396
1397     case OPT_dumpbase:
1398       dump_base_name = arg;
1399       break;
1400
1401     case OPT_falign_functions_:
1402       align_functions = value;
1403       break;
1404
1405     case OPT_falign_jumps_:
1406       align_jumps = value;
1407       break;
1408
1409     case OPT_falign_labels_:
1410       align_labels = value;
1411       break;
1412
1413     case OPT_falign_loops_:
1414       align_loops = value;
1415       break;
1416
1417     case OPT_fbranch_probabilities:
1418       flag_branch_probabilities_set = true;
1419       break;
1420
1421     case OPT_fcall_used_:
1422       fix_register (arg, 0, 1);
1423       break;
1424
1425     case OPT_fcall_saved_:
1426       fix_register (arg, 0, 0);
1427       break;
1428
1429     case OPT_fdiagnostics_show_location_:
1430       if (!strcmp (arg, "once"))
1431         diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
1432       else if (!strcmp (arg, "every-line"))
1433         diagnostic_prefixing_rule (global_dc)
1434           = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
1435       else
1436         return 0;
1437       break;
1438
1439     case OPT_fdiagnostics_show_option:
1440       global_dc->show_option_requested = true;
1441       break;
1442
1443     case OPT_fdump_:
1444       if (!dump_switch_p (arg))
1445         return 0;
1446       break;
1447
1448     case OPT_ffast_math:
1449       set_fast_math_flags (value);
1450       break;
1451
1452     case OPT_ffixed_:
1453       fix_register (arg, 1, 1);
1454       break;
1455
1456     case OPT_finline_limit_:
1457     case OPT_finline_limit_eq:
1458       set_param_value ("max-inline-insns-single", value / 2);
1459       set_param_value ("max-inline-insns-auto", value / 2);
1460       break;
1461
1462     case OPT_fmessage_length_:
1463       pp_set_line_maximum_length (global_dc->printer, value);
1464       break;
1465
1466     case OPT_fpack_struct_:
1467       if (value <= 0 || (value & (value - 1)) || value > 16)
1468         error ("structure alignment must be a small power of two, not %d", value);
1469       else
1470         {
1471           initial_max_fld_align = value;
1472           maximum_field_alignment = value * BITS_PER_UNIT;
1473         }
1474       break;
1475
1476     case OPT_fpeel_loops:
1477       flag_peel_loops_set = true;
1478       break;
1479
1480     case OPT_fprofile_arcs:
1481       profile_arc_flag_set = true;
1482       break;
1483
1484     case OPT_fprofile_use:
1485       if (!flag_branch_probabilities_set)
1486         flag_branch_probabilities = value;
1487       if (!flag_profile_values_set)
1488         flag_profile_values = value;
1489       if (!flag_unroll_loops_set)
1490         flag_unroll_loops = value;
1491       if (!flag_peel_loops_set)
1492         flag_peel_loops = value;
1493       if (!flag_tracer_set)
1494         flag_tracer = value;
1495       if (!flag_value_profile_transformations_set)
1496         flag_value_profile_transformations = value;
1497       break;
1498
1499     case OPT_fprofile_generate:
1500       if (!profile_arc_flag_set)
1501         profile_arc_flag = value;
1502       if (!flag_profile_values_set)
1503         flag_profile_values = value;
1504       if (!flag_value_profile_transformations_set)
1505         flag_value_profile_transformations = value;
1506       break;
1507
1508     case OPT_fprofile_values:
1509       flag_profile_values_set = true;
1510       break;
1511
1512     case OPT_fvisibility_:
1513       {
1514         if (!strcmp(arg, "default"))
1515           default_visibility = VISIBILITY_DEFAULT;
1516         else if (!strcmp(arg, "internal"))
1517           default_visibility = VISIBILITY_INTERNAL;
1518         else if (!strcmp(arg, "hidden"))
1519           default_visibility = VISIBILITY_HIDDEN;
1520         else if (!strcmp(arg, "protected"))
1521           default_visibility = VISIBILITY_PROTECTED;
1522         else
1523           error ("unrecognized visibility value \"%s\"", arg);
1524       }
1525       break;
1526
1527     case OPT_fvpt:
1528       flag_value_profile_transformations_set = true;
1529       break;
1530
1531     case OPT_frandom_seed:
1532       /* The real switch is -fno-random-seed.  */
1533       if (value)
1534         return 0;
1535       set_random_seed (NULL);
1536       break;
1537
1538     case OPT_frandom_seed_:
1539       set_random_seed (arg);
1540       break;
1541
1542     case OPT_fsched_verbose_:
1543 #ifdef INSN_SCHEDULING
1544       fix_sched_param ("verbose", arg);
1545       break;
1546 #else
1547       return 0;
1548 #endif
1549
1550     case OPT_fsched_stalled_insns_:
1551       flag_sched_stalled_insns = value;
1552       if (flag_sched_stalled_insns == 0)
1553         flag_sched_stalled_insns = -1;
1554       break;
1555
1556     case OPT_fsched_stalled_insns_dep_:
1557       flag_sched_stalled_insns_dep = value;
1558       break;
1559
1560     case OPT_fstack_limit:
1561       /* The real switch is -fno-stack-limit.  */
1562       if (value)
1563         return 0;
1564       stack_limit_rtx = NULL_RTX;
1565       break;
1566
1567     case OPT_fstack_limit_register_:
1568       {
1569         int reg = decode_reg_name (arg);
1570         if (reg < 0)
1571           error ("unrecognized register name \"%s\"", arg);
1572         else
1573           stack_limit_rtx = gen_rtx_REG (Pmode, reg);
1574       }
1575       break;
1576
1577     case OPT_fstack_limit_symbol_:
1578       stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (arg));
1579       break;
1580
1581     case OPT_ftree_vectorizer_verbose_:
1582       vect_set_verbosity_level (arg);
1583       break;
1584
1585     case OPT_ftls_model_:
1586       if (!strcmp (arg, "global-dynamic"))
1587         flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
1588       else if (!strcmp (arg, "local-dynamic"))
1589         flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
1590       else if (!strcmp (arg, "initial-exec"))
1591         flag_tls_default = TLS_MODEL_INITIAL_EXEC;
1592       else if (!strcmp (arg, "local-exec"))
1593         flag_tls_default = TLS_MODEL_LOCAL_EXEC;
1594       else
1595         warning (0, "unknown tls-model \"%s\"", arg);
1596       break;
1597
1598     case OPT_ftracer:
1599       flag_tracer_set = true;
1600       break;
1601
1602     case OPT_funroll_loops:
1603       flag_unroll_loops_set = true;
1604       break;
1605
1606     case OPT_g:
1607       set_debug_level (NO_DEBUG, DEFAULT_GDB_EXTENSIONS, arg);
1608       break;
1609
1610     case OPT_gcoff:
1611       set_debug_level (SDB_DEBUG, false, arg);
1612       break;
1613
1614     case OPT_gdwarf_2:
1615       set_debug_level (DWARF2_DEBUG, false, arg);
1616       break;
1617
1618     case OPT_ggdb:
1619       set_debug_level (NO_DEBUG, 2, arg);
1620       break;
1621
1622     case OPT_gstabs:
1623     case OPT_gstabs_:
1624       set_debug_level (DBX_DEBUG, code == OPT_gstabs_, arg);
1625       break;
1626
1627     case OPT_gvms:
1628       set_debug_level (VMS_DEBUG, false, arg);
1629       break;
1630
1631     case OPT_gxcoff:
1632     case OPT_gxcoff_:
1633       set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg);
1634       break;
1635
1636     case OPT_o:
1637       asm_file_name = arg;
1638       break;
1639
1640     case OPT_pedantic_errors:
1641       flag_pedantic_errors = pedantic = 1;
1642       break;
1643
1644     case OPT_floop_optimize:
1645     case OPT_frerun_loop_opt:
1646     case OPT_fstrength_reduce:
1647       /* These are no-ops, preserved for backward compatibility.  */
1648       break;
1649
1650     default:
1651       /* If the flag was handled in a standard way, assume the lack of
1652          processing here is intentional.  */
1653       gcc_assert (cl_options[scode].flag_var);
1654       break;
1655     }
1656
1657   return 1;
1658 }
1659
1660 /* Handle --param NAME=VALUE.  */
1661 static void
1662 handle_param (const char *carg)
1663 {
1664   char *equal, *arg;
1665   int value;
1666
1667   arg = xstrdup (carg);
1668   equal = strchr (arg, '=');
1669   if (!equal)
1670     error ("%s: --param arguments should be of the form NAME=VALUE", arg);
1671   else
1672     {
1673       value = integral_argument (equal + 1);
1674       if (value == -1)
1675         error ("invalid --param value %qs", equal + 1);
1676       else
1677         {
1678           *equal = '\0';
1679           set_param_value (arg, value);
1680         }
1681     }
1682
1683   free (arg);
1684 }
1685
1686 /* Handle -W and -Wextra.  */
1687 static void
1688 set_Wextra (int setting)
1689 {
1690   extra_warnings = setting;
1691   warn_unused_parameter = (setting && maybe_warn_unused_parameter);
1692
1693   /* We save the value of warn_uninitialized, since if they put
1694      -Wuninitialized on the command line, we need to generate a
1695      warning about not using it without also specifying -O.  */
1696   if (setting == 0)
1697     warn_uninitialized = 0;
1698   else if (warn_uninitialized != 1)
1699     warn_uninitialized = 2;
1700 }
1701
1702 /* Initialize unused warning flags.  */
1703 void
1704 set_Wunused (int setting)
1705 {
1706   warn_unused_function = setting;
1707   warn_unused_label = setting;
1708   /* Unused function parameter warnings are reported when either
1709      ``-Wextra -Wunused'' or ``-Wunused-parameter'' is specified.
1710      Thus, if -Wextra has already been seen, set warn_unused_parameter;
1711      otherwise set maybe_warn_extra_parameter, which will be picked up
1712      by set_Wextra.  */
1713   maybe_warn_unused_parameter = setting;
1714   warn_unused_parameter = (setting && extra_warnings);
1715   warn_unused_variable = setting;
1716   warn_unused_value = setting;
1717 }
1718
1719 /* The following routines are useful in setting all the flags that
1720    -ffast-math and -fno-fast-math imply.  */
1721 void
1722 set_fast_math_flags (int set)
1723 {
1724   flag_trapping_math = !set;
1725   flag_unsafe_math_optimizations = set;
1726   flag_finite_math_only = set;
1727   flag_signed_zeros = !set;
1728   flag_errno_math = !set;
1729   if (set)
1730     {
1731       flag_signaling_nans = 0;
1732       flag_rounding_math = 0;
1733       flag_cx_limited_range = 1;
1734     }
1735 }
1736
1737 /* Return true iff flags are set as if -ffast-math.  */
1738 bool
1739 fast_math_flags_set_p (void)
1740 {
1741   return (!flag_trapping_math
1742           && flag_unsafe_math_optimizations
1743           && flag_finite_math_only
1744           && !flag_signed_zeros
1745           && !flag_errno_math);
1746 }
1747
1748 /* Handle a debug output -g switch.  EXTENDED is true or false to support
1749    extended output (2 is special and means "-ggdb" was given).  */
1750 static void
1751 set_debug_level (enum debug_info_type type, int extended, const char *arg)
1752 {
1753   static bool type_explicit;
1754
1755   use_gnu_debug_info_extensions = extended;
1756
1757   if (type == NO_DEBUG)
1758     {
1759       if (write_symbols == NO_DEBUG)
1760         {
1761           write_symbols = PREFERRED_DEBUGGING_TYPE;
1762
1763           if (extended == 2)
1764             {
1765 #ifdef DWARF2_DEBUGGING_INFO
1766               write_symbols = DWARF2_DEBUG;
1767 #elif defined DBX_DEBUGGING_INFO
1768               write_symbols = DBX_DEBUG;
1769 #endif
1770             }
1771
1772           if (write_symbols == NO_DEBUG)
1773             warning (0, "target system does not support debug output");
1774         }
1775     }
1776   else
1777     {
1778       /* Does it conflict with an already selected type?  */
1779       if (type_explicit && write_symbols != NO_DEBUG && type != write_symbols)
1780         error ("debug format \"%s\" conflicts with prior selection",
1781                debug_type_names[type]);
1782       write_symbols = type;
1783       type_explicit = true;
1784     }
1785
1786   /* A debug flag without a level defaults to level 2.  */
1787   if (*arg == '\0')
1788     {
1789       if (!debug_info_level)
1790         debug_info_level = 2;
1791     }
1792   else
1793     {
1794       debug_info_level = integral_argument (arg);
1795       if (debug_info_level == (unsigned int) -1)
1796         error ("unrecognised debug output level \"%s\"", arg);
1797       else if (debug_info_level > 3)
1798         error ("debug output level %s is too high", arg);
1799     }
1800 }
1801
1802 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
1803    a simple on-off switch.  */
1804
1805 int
1806 option_enabled (int opt_idx)
1807 {
1808   const struct cl_option *option = &(cl_options[opt_idx]);
1809
1810   if (option->flag_var)
1811     switch (option->var_type)
1812       {
1813       case CLVC_BOOLEAN:
1814         return *(int *) option->flag_var != 0;
1815
1816       case CLVC_EQUAL:
1817         return *(int *) option->flag_var == option->var_value;
1818
1819       case CLVC_BIT_CLEAR:
1820         return (*(int *) option->flag_var & option->var_value) == 0;
1821
1822       case CLVC_BIT_SET:
1823         return (*(int *) option->flag_var & option->var_value) != 0;
1824
1825       case CLVC_STRING:
1826         break;
1827       }
1828   return -1;
1829 }
1830
1831 /* Fill STATE with the current state of option OPTION.  Return true if
1832    there is some state to store.  */
1833
1834 bool
1835 get_option_state (int option, struct cl_option_state *state)
1836 {
1837   if (cl_options[option].flag_var == 0)
1838     return false;
1839
1840   switch (cl_options[option].var_type)
1841     {
1842     case CLVC_BOOLEAN:
1843     case CLVC_EQUAL:
1844       state->data = cl_options[option].flag_var;
1845       state->size = sizeof (int);
1846       break;
1847
1848     case CLVC_BIT_CLEAR:
1849     case CLVC_BIT_SET:
1850       state->ch = option_enabled (option);
1851       state->data = &state->ch;
1852       state->size = 1;
1853       break;
1854
1855     case CLVC_STRING:
1856       state->data = *(const char **) cl_options[option].flag_var;
1857       if (state->data == 0)
1858         state->data = "";
1859       state->size = strlen (state->data) + 1;
1860       break;
1861     }
1862   return true;
1863 }
1864
1865 /* Enable a warning option as an error.  This is used by -Werror= and
1866    also by legacy Werror-implicit-function-declaration.  */
1867
1868 void
1869 enable_warning_as_error (const char *arg, int value, unsigned int lang_mask)
1870 {
1871   char *new_option;
1872   int option_index;
1873
1874   new_option = XNEWVEC (char, strlen (arg) + 2);
1875   new_option[0] = 'W';
1876   strcpy (new_option + 1, arg);
1877   option_index = find_opt (new_option, lang_mask);
1878   if (option_index == N_OPTS)
1879     {
1880       error ("-Werror=%s: No option -%s", arg, new_option);
1881     }
1882   else
1883     {
1884       int kind = value ? DK_ERROR : DK_WARNING;
1885       diagnostic_classify_diagnostic (global_dc, option_index, kind);
1886       
1887       /* -Werror=foo implies -Wfoo.  */
1888       if (cl_options[option_index].var_type == CLVC_BOOLEAN
1889           && cl_options[option_index].flag_var
1890           && kind == DK_ERROR)
1891         *(int *) cl_options[option_index].flag_var = 1;
1892     }
1893   free (new_option);
1894 }