Improve costs for DImode shifts of interger constants.
[official-gcc.git] / gcc / opts-common.c
blob237e4ce454e69c16994741278503bccc704ed9e4
1 /* Command line option handling.
2 Copyright (C) 2006-2020 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #include "config.h"
21 #include "system.h"
22 #include "intl.h"
23 #include "coretypes.h"
24 #include "opts.h"
25 #include "options.h"
26 #include "diagnostic.h"
27 #include "spellcheck.h"
29 static void prune_options (struct cl_decoded_option **, unsigned int *);
31 /* An option that is undocumented, that takes a joined argument, and
32 that doesn't fit any of the classes of uses (language/common,
33 driver, target) is assumed to be a prefix used to catch
34 e.g. negated options, and stop them from being further shortened to
35 a prefix that could use the negated option as an argument. For
36 example, we want -gno-statement-frontiers to be taken as a negation
37 of -gstatement-frontiers, but without catching the gno- prefix and
38 signaling it's to be used for option remapping, it would end up
39 backtracked to g with no-statemnet-frontiers as the debug level. */
41 static bool
42 remapping_prefix_p (const struct cl_option *opt)
44 return opt->flags & CL_UNDOCUMENTED
45 && opt->flags & CL_JOINED
46 && !(opt->flags & (CL_DRIVER | CL_TARGET | CL_COMMON | CL_LANG_ALL));
49 /* Perform a binary search to find which option the command-line INPUT
50 matches. Returns its index in the option array, and
51 OPT_SPECIAL_unknown on failure.
53 This routine is quite subtle. A normal binary search is not good
54 enough because some options can be suffixed with an argument, and
55 multiple sub-matches can occur, e.g. input of "-pedantic" matching
56 the initial substring of "-pedantic-errors".
58 A more complicated example is -gstabs. It should match "-g" with
59 an argument of "stabs". Suppose, however, that the number and list
60 of switches are such that the binary search tests "-gen-decls"
61 before having tested "-g". This doesn't match, and as "-gen-decls"
62 is less than "-gstabs", it will become the lower bound of the
63 binary search range, and "-g" will never be seen. To resolve this
64 issue, 'optc-gen.awk' makes "-gen-decls" point, via the back_chain member,
65 to "-g" so that failed searches that end between "-gen-decls" and
66 the lexicographically subsequent switch know to go back and see if
67 "-g" causes a match (which it does in this example).
69 This search is done in such a way that the longest match for the
70 front end in question wins. If there is no match for the current
71 front end, the longest match for a different front end is returned
72 (or N_OPTS if none) and the caller emits an error message. */
73 size_t
74 find_opt (const char *input, unsigned int lang_mask)
76 size_t mn, mn_orig, mx, md, opt_len;
77 size_t match_wrong_lang;
78 int comp;
80 mn = 0;
81 mx = cl_options_count;
83 /* Find mn such this lexicographical inequality holds:
84 cl_options[mn] <= input < cl_options[mn + 1]. */
85 while (mx - mn > 1)
87 md = (mn + mx) / 2;
88 opt_len = cl_options[md].opt_len;
89 comp = strncmp (input, cl_options[md].opt_text + 1, opt_len);
91 if (comp < 0)
92 mx = md;
93 else
94 mn = md;
97 mn_orig = mn;
99 /* This is the switch that is the best match but for a different
100 front end, or OPT_SPECIAL_unknown if there is no match at all. */
101 match_wrong_lang = OPT_SPECIAL_unknown;
103 /* Backtrace the chain of possible matches, returning the longest
104 one, if any, that fits best. With current GCC switches, this
105 loop executes at most twice. */
108 const struct cl_option *opt = &cl_options[mn];
110 /* Is the input either an exact match or a prefix that takes a
111 joined argument? */
112 if (!strncmp (input, opt->opt_text + 1, opt->opt_len)
113 && (input[opt->opt_len] == '\0' || (opt->flags & CL_JOINED)))
115 /* If language is OK, return it. */
116 if (opt->flags & lang_mask)
117 return mn;
119 if (remapping_prefix_p (opt))
120 return OPT_SPECIAL_unknown;
122 /* If we haven't remembered a prior match, remember this
123 one. Any prior match is necessarily better. */
124 if (match_wrong_lang == OPT_SPECIAL_unknown)
125 match_wrong_lang = mn;
128 /* Try the next possibility. This is cl_options_count if there
129 are no more. */
130 mn = opt->back_chain;
132 while (mn != cl_options_count);
134 if (match_wrong_lang == OPT_SPECIAL_unknown && input[0] == '-')
136 /* Long options, starting "--", may be abbreviated if the
137 abbreviation is unambiguous. This only applies to options
138 not taking a joined argument, and abbreviations of "--option"
139 are permitted even if there is a variant "--option=". */
140 size_t mnc = mn_orig + 1;
141 size_t cmp_len = strlen (input);
142 while (mnc < cl_options_count
143 && strncmp (input, cl_options[mnc].opt_text + 1, cmp_len) == 0)
145 /* Option matching this abbreviation. OK if it is the first
146 match and that does not take a joined argument, or the
147 second match, taking a joined argument and with only '='
148 added to the first match; otherwise considered
149 ambiguous. */
150 if (mnc == mn_orig + 1
151 && !(cl_options[mnc].flags & CL_JOINED))
152 match_wrong_lang = mnc;
153 else if (mnc == mn_orig + 2
154 && match_wrong_lang == mn_orig + 1
155 && (cl_options[mnc].flags & CL_JOINED)
156 && (cl_options[mnc].opt_len
157 == cl_options[mn_orig + 1].opt_len + 1)
158 && strncmp (cl_options[mnc].opt_text + 1,
159 cl_options[mn_orig + 1].opt_text + 1,
160 cl_options[mn_orig + 1].opt_len) == 0)
161 ; /* OK, as long as there are no more matches. */
162 else
163 return OPT_SPECIAL_unknown;
164 mnc++;
168 /* Return the best wrong match, or OPT_SPECIAL_unknown if none. */
169 return match_wrong_lang;
172 /* If ARG is a non-negative decimal or hexadecimal integer representable
173 in HOST_WIDE_INT return its value, otherwise return -1. If ERR is not
174 null set *ERR to zero on success or to EINVAL or to the value of errno
175 otherwise. */
177 HOST_WIDE_INT
178 integral_argument (const char *arg, int *err, bool byte_size_suffix)
180 if (!err)
181 err = &errno;
183 if (!ISDIGIT (*arg))
185 *err = EINVAL;
186 return -1;
189 *err = 0;
190 errno = 0;
192 char *end = NULL;
193 unsigned HOST_WIDE_INT unit = 1;
194 unsigned HOST_WIDE_INT value = strtoull (arg, &end, 10);
196 /* If the value is too large to be represented use the maximum
197 representable value that strtoull sets VALUE to (setting
198 errno to ERANGE). */
200 if (end && *end)
202 if (!byte_size_suffix)
204 errno = 0;
205 value = strtoull (arg, &end, 0);
206 if (*end)
208 if (errno)
209 *err = errno;
210 else
211 *err = EINVAL;
212 return -1;
215 return value;
218 /* Numeric option arguments are at most INT_MAX. Make it
219 possible to specify a larger value by accepting common
220 suffixes. */
221 if (!strcmp (end, "kB"))
222 unit = 1000;
223 else if (!strcasecmp (end, "KiB") || !strcmp (end, "KB"))
224 unit = 1024;
225 else if (!strcmp (end, "MB"))
226 unit = HOST_WIDE_INT_UC (1000) * 1000;
227 else if (!strcasecmp (end, "MiB"))
228 unit = HOST_WIDE_INT_UC (1024) * 1024;
229 else if (!strcasecmp (end, "GB"))
230 unit = HOST_WIDE_INT_UC (1000) * 1000 * 1000;
231 else if (!strcasecmp (end, "GiB"))
232 unit = HOST_WIDE_INT_UC (1024) * 1024 * 1024;
233 else if (!strcasecmp (end, "TB"))
234 unit = HOST_WIDE_INT_UC (1000) * 1000 * 1000 * 1000;
235 else if (!strcasecmp (end, "TiB"))
236 unit = HOST_WIDE_INT_UC (1024) * 1024 * 1024 * 1024;
237 else if (!strcasecmp (end, "PB"))
238 unit = HOST_WIDE_INT_UC (1000) * 1000 * 1000 * 1000 * 1000;
239 else if (!strcasecmp (end, "PiB"))
240 unit = HOST_WIDE_INT_UC (1024) * 1024 * 1024 * 1024 * 1024;
241 else if (!strcasecmp (end, "EB"))
242 unit = HOST_WIDE_INT_UC (1000) * 1000 * 1000 * 1000 * 1000
243 * 1000;
244 else if (!strcasecmp (end, "EiB"))
245 unit = HOST_WIDE_INT_UC (1024) * 1024 * 1024 * 1024 * 1024
246 * 1024;
247 else
249 /* This could mean an unknown suffix or a bad prefix, like
250 "+-1". */
251 *err = EINVAL;
252 return -1;
256 if (unit)
258 unsigned HOST_WIDE_INT prod = value * unit;
259 value = prod < value ? HOST_WIDE_INT_M1U : prod;
262 return value;
265 /* Return whether OPTION is OK for the language given by
266 LANG_MASK. */
267 static bool
268 option_ok_for_language (const struct cl_option *option,
269 unsigned int lang_mask)
271 if (!(option->flags & lang_mask))
272 return false;
273 else if ((option->flags & CL_TARGET)
274 && (option->flags & (CL_LANG_ALL | CL_DRIVER))
275 && !(option->flags & (lang_mask & ~CL_COMMON & ~CL_TARGET)))
276 /* Complain for target flag language mismatches if any languages
277 are specified. */
278 return false;
279 return true;
282 /* Return whether ENUM_ARG is OK for the language given by
283 LANG_MASK. */
285 static bool
286 enum_arg_ok_for_language (const struct cl_enum_arg *enum_arg,
287 unsigned int lang_mask)
289 return (lang_mask & CL_DRIVER) || !(enum_arg->flags & CL_ENUM_DRIVER_ONLY);
292 /* Look up ARG in ENUM_ARGS for language LANG_MASK, returning true and
293 storing the value in *VALUE if found, and returning false without
294 modifying *VALUE if not found. */
296 static bool
297 enum_arg_to_value (const struct cl_enum_arg *enum_args,
298 const char *arg, HOST_WIDE_INT *value,
299 unsigned int lang_mask)
301 unsigned int i;
303 for (i = 0; enum_args[i].arg != NULL; i++)
304 if (strcmp (arg, enum_args[i].arg) == 0
305 && enum_arg_ok_for_language (&enum_args[i], lang_mask))
307 *value = enum_args[i].value;
308 return true;
311 return false;
314 /* Look up ARG in the enum used by option OPT_INDEX for language
315 LANG_MASK, returning true and storing the value in *VALUE if found,
316 and returning false without modifying *VALUE if not found. */
318 bool
319 opt_enum_arg_to_value (size_t opt_index, const char *arg,
320 int *value, unsigned int lang_mask)
322 const struct cl_option *option = &cl_options[opt_index];
324 gcc_assert (option->var_type == CLVC_ENUM);
326 HOST_WIDE_INT wideval;
327 if (enum_arg_to_value (cl_enums[option->var_enum].values, arg,
328 &wideval, lang_mask))
330 *value = wideval;
331 return true;
334 return false;
337 /* Look of VALUE in ENUM_ARGS for language LANG_MASK and store the
338 corresponding string in *ARGP, returning true if the found string
339 was marked as canonical, false otherwise. If VALUE is not found
340 (which may be the case for uninitialized values if the relevant
341 option has not been passed), set *ARGP to NULL and return
342 false. */
344 bool
345 enum_value_to_arg (const struct cl_enum_arg *enum_args,
346 const char **argp, int value, unsigned int lang_mask)
348 unsigned int i;
350 for (i = 0; enum_args[i].arg != NULL; i++)
351 if (enum_args[i].value == value
352 && (enum_args[i].flags & CL_ENUM_CANONICAL)
353 && enum_arg_ok_for_language (&enum_args[i], lang_mask))
355 *argp = enum_args[i].arg;
356 return true;
359 for (i = 0; enum_args[i].arg != NULL; i++)
360 if (enum_args[i].value == value
361 && enum_arg_ok_for_language (&enum_args[i], lang_mask))
363 *argp = enum_args[i].arg;
364 return false;
367 *argp = NULL;
368 return false;
371 /* Fill in the canonical option part of *DECODED with an option
372 described by OPT_INDEX, ARG and VALUE. */
374 static void
375 generate_canonical_option (size_t opt_index, const char *arg,
376 HOST_WIDE_INT value,
377 struct cl_decoded_option *decoded)
379 const struct cl_option *option = &cl_options[opt_index];
380 const char *opt_text = option->opt_text;
382 if (value == 0
383 && !option->cl_reject_negative
384 && (opt_text[1] == 'W' || opt_text[1] == 'f'
385 || opt_text[1] == 'g' || opt_text[1] == 'm'))
387 char *t = XOBNEWVEC (&opts_obstack, char, option->opt_len + 5);
388 t[0] = '-';
389 t[1] = opt_text[1];
390 t[2] = 'n';
391 t[3] = 'o';
392 t[4] = '-';
393 memcpy (t + 5, opt_text + 2, option->opt_len);
394 opt_text = t;
397 decoded->canonical_option[2] = NULL;
398 decoded->canonical_option[3] = NULL;
400 if (arg)
402 if ((option->flags & CL_SEPARATE)
403 && !option->cl_separate_alias)
405 decoded->canonical_option[0] = opt_text;
406 decoded->canonical_option[1] = arg;
407 decoded->canonical_option_num_elements = 2;
409 else
411 gcc_assert (option->flags & CL_JOINED);
412 decoded->canonical_option[0] = opts_concat (opt_text, arg, NULL);
413 decoded->canonical_option[1] = NULL;
414 decoded->canonical_option_num_elements = 1;
417 else
419 decoded->canonical_option[0] = opt_text;
420 decoded->canonical_option[1] = NULL;
421 decoded->canonical_option_num_elements = 1;
425 /* Structure describing mappings from options on the command line to
426 options to look up with find_opt. */
427 struct option_map
429 /* Prefix of the option on the command line. */
430 const char *opt0;
431 /* If two argv elements are considered to be merged into one option,
432 prefix for the second element, otherwise NULL. */
433 const char *opt1;
434 /* The new prefix to map to. */
435 const char *new_prefix;
436 /* Whether at least one character is needed following opt1 or opt0
437 for this mapping to be used. (--optimize= is valid for -O, but
438 --warn- is not valid for -W.) */
439 bool another_char_needed;
440 /* Whether the original option is a negated form of the option
441 resulting from this map. */
442 bool negated;
444 static const struct option_map option_map[] =
446 { "-Wno-", NULL, "-W", false, true },
447 { "-fno-", NULL, "-f", false, true },
448 { "-gno-", NULL, "-g", false, true },
449 { "-mno-", NULL, "-m", false, true },
450 { "--debug=", NULL, "-g", false, false },
451 { "--machine-", NULL, "-m", true, false },
452 { "--machine-no-", NULL, "-m", false, true },
453 { "--machine=", NULL, "-m", false, false },
454 { "--machine=no-", NULL, "-m", false, true },
455 { "--machine", "", "-m", false, false },
456 { "--machine", "no-", "-m", false, true },
457 { "--optimize=", NULL, "-O", false, false },
458 { "--std=", NULL, "-std=", false, false },
459 { "--std", "", "-std=", false, false },
460 { "--warn-", NULL, "-W", true, false },
461 { "--warn-no-", NULL, "-W", false, true },
462 { "--", NULL, "-f", true, false },
463 { "--no-", NULL, "-f", false, true }
466 /* Helper function for gcc.c's driver::suggest_option, for populating the
467 vec of suggestions for misspelled options.
469 option_map above provides various prefixes for spelling command-line
470 options, which decode_cmdline_option uses to map spellings of options
471 to specific options. We want to do the reverse: to find all the ways
472 that a user could validly spell an option.
474 Given valid OPT_TEXT (with a leading dash) for OPTION, add it and all
475 of its valid variant spellings to CANDIDATES, each without a leading
476 dash.
478 For example, given "-Wabi-tag", the following are added to CANDIDATES:
479 "Wabi-tag"
480 "Wno-abi-tag"
481 "-warn-abi-tag"
482 "-warn-no-abi-tag".
484 The added strings must be freed using free. */
486 void
487 add_misspelling_candidates (auto_vec<char *> *candidates,
488 const struct cl_option *option,
489 const char *opt_text)
491 gcc_assert (candidates);
492 gcc_assert (option);
493 gcc_assert (opt_text);
494 if (remapping_prefix_p (option))
495 return;
496 candidates->safe_push (xstrdup (opt_text + 1));
497 for (unsigned i = 0; i < ARRAY_SIZE (option_map); i++)
499 const char *opt0 = option_map[i].opt0;
500 const char *new_prefix = option_map[i].new_prefix;
501 size_t new_prefix_len = strlen (new_prefix);
503 if (option->cl_reject_negative && option_map[i].negated)
504 continue;
506 if (strncmp (opt_text, new_prefix, new_prefix_len) == 0)
508 char *alternative = concat (opt0 + 1, opt_text + new_prefix_len,
509 NULL);
510 candidates->safe_push (alternative);
514 /* For all params (e.g. --param=key=value),
515 include also '--param key=value'. */
516 const char *prefix = "--param=";
517 if (strstr (opt_text, prefix) == opt_text)
519 char *param = xstrdup (opt_text + 1);
520 gcc_assert (param[6] == '=');
521 param[6] = ' ';
522 candidates->safe_push (param);
526 /* Decode the switch beginning at ARGV for the language indicated by
527 LANG_MASK (including CL_COMMON and CL_TARGET if applicable), into
528 the structure *DECODED. Returns the number of switches
529 consumed. */
531 static unsigned int
532 decode_cmdline_option (const char *const *argv, unsigned int lang_mask,
533 struct cl_decoded_option *decoded)
535 size_t opt_index;
536 const char *arg = 0;
537 HOST_WIDE_INT value = 1;
538 unsigned int result = 1, i, extra_args, separate_args = 0;
539 int adjust_len = 0;
540 size_t total_len;
541 char *p;
542 const struct cl_option *option;
543 int errors = 0;
544 const char *warn_message = NULL;
545 bool separate_arg_flag;
546 bool joined_arg_flag;
547 bool have_separate_arg = false;
549 extra_args = 0;
551 const char *opt_value = argv[0] + 1;
552 opt_index = find_opt (opt_value, lang_mask);
553 i = 0;
554 while (opt_index == OPT_SPECIAL_unknown
555 && i < ARRAY_SIZE (option_map))
557 const char *opt0 = option_map[i].opt0;
558 const char *opt1 = option_map[i].opt1;
559 const char *new_prefix = option_map[i].new_prefix;
560 bool another_char_needed = option_map[i].another_char_needed;
561 size_t opt0_len = strlen (opt0);
562 size_t opt1_len = (opt1 == NULL ? 0 : strlen (opt1));
563 size_t optn_len = (opt1 == NULL ? opt0_len : opt1_len);
564 size_t new_prefix_len = strlen (new_prefix);
566 extra_args = (opt1 == NULL ? 0 : 1);
567 value = !option_map[i].negated;
569 if (strncmp (argv[0], opt0, opt0_len) == 0
570 && (opt1 == NULL
571 || (argv[1] != NULL && strncmp (argv[1], opt1, opt1_len) == 0))
572 && (!another_char_needed
573 || argv[extra_args][optn_len] != 0))
575 size_t arglen = strlen (argv[extra_args]);
576 char *dup;
578 adjust_len = (int) optn_len - (int) new_prefix_len;
579 dup = XNEWVEC (char, arglen + 1 - adjust_len);
580 memcpy (dup, new_prefix, new_prefix_len);
581 memcpy (dup + new_prefix_len, argv[extra_args] + optn_len,
582 arglen - optn_len + 1);
583 opt_index = find_opt (dup + 1, lang_mask);
584 free (dup);
586 i++;
589 if (opt_index == OPT_SPECIAL_unknown)
591 arg = argv[0];
592 extra_args = 0;
593 value = 1;
594 goto done;
597 option = &cl_options[opt_index];
599 /* Reject negative form of switches that don't take negatives as
600 unrecognized. */
601 if (!value && option->cl_reject_negative)
603 opt_index = OPT_SPECIAL_unknown;
604 errors |= CL_ERR_NEGATIVE;
605 arg = argv[0];
606 goto done;
609 /* Clear the initial value for size options (it will be overwritten
610 later based on the Init(value) specification in the opt file. */
611 if (option->var_type == CLVC_SIZE)
612 value = 0;
614 result = extra_args + 1;
615 warn_message = option->warn_message;
617 /* Check to see if the option is disabled for this configuration. */
618 if (option->cl_disabled)
619 errors |= CL_ERR_DISABLED;
621 /* Determine whether there may be a separate argument based on
622 whether this option is being processed for the driver, and, if
623 so, how many such arguments. */
624 separate_arg_flag = ((option->flags & CL_SEPARATE)
625 && !(option->cl_no_driver_arg
626 && (lang_mask & CL_DRIVER)));
627 separate_args = (separate_arg_flag
628 ? option->cl_separate_nargs + 1
629 : 0);
630 joined_arg_flag = (option->flags & CL_JOINED) != 0;
632 /* Sort out any argument the switch takes. */
633 if (joined_arg_flag)
635 /* Have arg point to the original switch. This is because
636 some code, such as disable_builtin_function, expects its
637 argument to be persistent until the program exits. */
638 arg = argv[extra_args] + cl_options[opt_index].opt_len + 1 + adjust_len;
640 if (*arg == '\0' && !option->cl_missing_ok)
642 if (separate_arg_flag)
644 arg = argv[extra_args + 1];
645 result = extra_args + 2;
646 if (arg == NULL)
647 result = extra_args + 1;
648 else
649 have_separate_arg = true;
651 else
652 /* Missing argument. */
653 arg = NULL;
656 else if (separate_arg_flag)
658 arg = argv[extra_args + 1];
659 for (i = 0; i < separate_args; i++)
660 if (argv[extra_args + 1 + i] == NULL)
662 errors |= CL_ERR_MISSING_ARG;
663 break;
665 result = extra_args + 1 + i;
666 if (arg != NULL)
667 have_separate_arg = true;
670 if (arg == NULL && (separate_arg_flag || joined_arg_flag))
671 errors |= CL_ERR_MISSING_ARG;
673 /* Is this option an alias (or an ignored option, marked as an alias
674 of OPT_SPECIAL_ignore)? */
675 if (option->alias_target != N_OPTS
676 && (!option->cl_separate_alias || have_separate_arg))
678 size_t new_opt_index = option->alias_target;
680 if (new_opt_index == OPT_SPECIAL_ignore
681 || new_opt_index == OPT_SPECIAL_warn_removed)
683 gcc_assert (option->alias_arg == NULL);
684 gcc_assert (option->neg_alias_arg == NULL);
685 opt_index = new_opt_index;
686 arg = NULL;
688 else
690 const struct cl_option *new_option = &cl_options[new_opt_index];
692 /* The new option must not be an alias itself. */
693 gcc_assert (new_option->alias_target == N_OPTS
694 || new_option->cl_separate_alias);
696 if (option->neg_alias_arg)
698 gcc_assert (option->alias_arg != NULL);
699 gcc_assert (arg == NULL);
700 gcc_assert (!option->cl_negative_alias);
701 if (value)
702 arg = option->alias_arg;
703 else
704 arg = option->neg_alias_arg;
705 value = 1;
707 else if (option->alias_arg)
709 gcc_assert (value == 1);
710 gcc_assert (arg == NULL);
711 gcc_assert (!option->cl_negative_alias);
712 arg = option->alias_arg;
715 if (option->cl_negative_alias)
716 value = !value;
718 opt_index = new_opt_index;
719 option = new_option;
721 if (value == 0)
722 gcc_assert (!option->cl_reject_negative);
724 /* Recompute what arguments are allowed. */
725 separate_arg_flag = ((option->flags & CL_SEPARATE)
726 && !(option->cl_no_driver_arg
727 && (lang_mask & CL_DRIVER)));
728 joined_arg_flag = (option->flags & CL_JOINED) != 0;
730 if (separate_args > 1 || option->cl_separate_nargs)
731 gcc_assert (separate_args
732 == (unsigned int) option->cl_separate_nargs + 1);
734 if (!(errors & CL_ERR_MISSING_ARG))
736 if (separate_arg_flag || joined_arg_flag)
738 if (option->cl_missing_ok && arg == NULL)
739 arg = "";
740 gcc_assert (arg != NULL);
742 else
743 gcc_assert (arg == NULL);
746 /* Recheck for warnings and disabled options. */
747 if (option->warn_message)
749 gcc_assert (warn_message == NULL);
750 warn_message = option->warn_message;
752 if (option->cl_disabled)
753 errors |= CL_ERR_DISABLED;
757 /* Check if this is a switch for a different front end. */
758 if (!option_ok_for_language (option, lang_mask))
759 errors |= CL_ERR_WRONG_LANG;
760 else if (strcmp (option->opt_text, "-Werror=") == 0
761 && strchr (opt_value, ',') == NULL)
763 /* Verify that -Werror argument is a valid warning
764 for a language. */
765 char *werror_arg = xstrdup (opt_value + 6);
766 werror_arg[0] = 'W';
768 size_t warning_index = find_opt (werror_arg, lang_mask);
769 if (warning_index != OPT_SPECIAL_unknown)
771 const struct cl_option *warning_option
772 = &cl_options[warning_index];
773 if (!option_ok_for_language (warning_option, lang_mask))
774 errors |= CL_ERR_WRONG_LANG;
778 /* Convert the argument to lowercase if appropriate. */
779 if (arg && option->cl_tolower)
781 size_t j;
782 size_t len = strlen (arg);
783 char *arg_lower = XOBNEWVEC (&opts_obstack, char, len + 1);
785 for (j = 0; j < len; j++)
786 arg_lower[j] = TOLOWER ((unsigned char) arg[j]);
787 arg_lower[len] = 0;
788 arg = arg_lower;
791 /* If the switch takes an integer argument, convert it. */
792 if (arg && (option->cl_uinteger || option->cl_host_wide_int))
794 int error = 0;
795 value = *arg ? integral_argument (arg, &error, option->cl_byte_size) : 0;
796 if (error)
797 errors |= CL_ERR_UINT_ARG;
799 /* Reject value out of a range. */
800 if (option->range_max != -1
801 && (value < option->range_min || value > option->range_max))
802 errors |= CL_ERR_INT_RANGE_ARG;
805 /* If the switch takes an enumerated argument, convert it. */
806 if (arg && (option->var_type == CLVC_ENUM))
808 const struct cl_enum *e = &cl_enums[option->var_enum];
810 gcc_assert (value == 1);
811 if (enum_arg_to_value (e->values, arg, &value, lang_mask))
813 const char *carg = NULL;
815 if (enum_value_to_arg (e->values, &carg, value, lang_mask))
816 arg = carg;
817 gcc_assert (carg != NULL);
819 else
820 errors |= CL_ERR_ENUM_ARG;
823 done:
824 decoded->opt_index = opt_index;
825 decoded->arg = arg;
826 decoded->value = value;
827 decoded->errors = errors;
828 decoded->warn_message = warn_message;
830 if (opt_index == OPT_SPECIAL_unknown)
831 gcc_assert (result == 1);
833 gcc_assert (result >= 1 && result <= ARRAY_SIZE (decoded->canonical_option));
834 decoded->canonical_option_num_elements = result;
835 total_len = 0;
836 for (i = 0; i < ARRAY_SIZE (decoded->canonical_option); i++)
838 if (i < result)
840 size_t len;
841 if (opt_index == OPT_SPECIAL_unknown)
842 decoded->canonical_option[i] = argv[i];
843 else
844 decoded->canonical_option[i] = NULL;
845 len = strlen (argv[i]);
846 /* If the argument is an empty string, we will print it as "" in
847 orig_option_with_args_text. */
848 total_len += (len != 0 ? len : 2) + 1;
850 else
851 decoded->canonical_option[i] = NULL;
853 if (opt_index != OPT_SPECIAL_unknown && opt_index != OPT_SPECIAL_ignore
854 && opt_index != OPT_SPECIAL_warn_removed)
856 generate_canonical_option (opt_index, arg, value, decoded);
857 if (separate_args > 1)
859 for (i = 0; i < separate_args; i++)
861 if (argv[extra_args + 1 + i] == NULL)
862 break;
863 else
864 decoded->canonical_option[1 + i] = argv[extra_args + 1 + i];
866 gcc_assert (result == 1 + i);
867 decoded->canonical_option_num_elements = result;
870 decoded->orig_option_with_args_text
871 = p = XOBNEWVEC (&opts_obstack, char, total_len);
872 for (i = 0; i < result; i++)
874 size_t len = strlen (argv[i]);
876 /* Print the empty string verbally. */
877 if (len == 0)
879 *p++ = '"';
880 *p++ = '"';
882 else
883 memcpy (p, argv[i], len);
884 p += len;
885 if (i == result - 1)
886 *p++ = 0;
887 else
888 *p++ = ' ';
891 return result;
894 /* Obstack for option strings. */
896 struct obstack opts_obstack;
898 /* Like libiberty concat, but allocate using opts_obstack. */
900 char *
901 opts_concat (const char *first, ...)
903 char *newstr, *end;
904 size_t length = 0;
905 const char *arg;
906 va_list ap;
908 /* First compute the size of the result and get sufficient memory. */
909 va_start (ap, first);
910 for (arg = first; arg; arg = va_arg (ap, const char *))
911 length += strlen (arg);
912 newstr = XOBNEWVEC (&opts_obstack, char, length + 1);
913 va_end (ap);
915 /* Now copy the individual pieces to the result string. */
916 va_start (ap, first);
917 for (arg = first, end = newstr; arg; arg = va_arg (ap, const char *))
919 length = strlen (arg);
920 memcpy (end, arg, length);
921 end += length;
923 *end = '\0';
924 va_end (ap);
925 return newstr;
928 /* Decode command-line options (ARGC and ARGV being the arguments of
929 main) into an array, setting *DECODED_OPTIONS to a pointer to that
930 array and *DECODED_OPTIONS_COUNT to the number of entries in the
931 array. The first entry in the array is always one for the program
932 name (OPT_SPECIAL_program_name). LANG_MASK indicates the language
933 flags applicable for decoding (including CL_COMMON and CL_TARGET if
934 those options should be considered applicable). Do not produce any
935 diagnostics or set state outside of these variables. */
937 void
938 decode_cmdline_options_to_array (unsigned int argc, const char **argv,
939 unsigned int lang_mask,
940 struct cl_decoded_option **decoded_options,
941 unsigned int *decoded_options_count)
943 unsigned int n, i;
944 struct cl_decoded_option *opt_array;
945 unsigned int num_decoded_options;
947 int opt_array_len = argc;
948 opt_array = XNEWVEC (struct cl_decoded_option, opt_array_len);
950 opt_array[0].opt_index = OPT_SPECIAL_program_name;
951 opt_array[0].warn_message = NULL;
952 opt_array[0].arg = argv[0];
953 opt_array[0].orig_option_with_args_text = argv[0];
954 opt_array[0].canonical_option_num_elements = 1;
955 opt_array[0].canonical_option[0] = argv[0];
956 opt_array[0].canonical_option[1] = NULL;
957 opt_array[0].canonical_option[2] = NULL;
958 opt_array[0].canonical_option[3] = NULL;
959 opt_array[0].value = 1;
960 opt_array[0].errors = 0;
961 num_decoded_options = 1;
963 for (i = 1; i < argc; i += n)
965 const char *opt = argv[i];
967 /* Interpret "-" or a non-switch as a file name. */
968 if (opt[0] != '-' || opt[1] == '\0')
970 generate_option_input_file (opt, &opt_array[num_decoded_options]);
971 num_decoded_options++;
972 n = 1;
973 continue;
976 /* Interpret "--param" "key=name" as "--param=key=name". */
977 const char *needle = "--param";
978 if (i + 1 < argc && strcmp (opt, needle) == 0)
980 const char *replacement
981 = opts_concat (needle, "=", argv[i + 1], NULL);
982 argv[++i] = replacement;
985 /* Expand -fdiagnostics-plain-output to its constituents. This needs
986 to happen here so that prune_options can handle -fdiagnostics-color
987 specially. */
988 if (!strcmp (opt, "-fdiagnostics-plain-output"))
990 /* If you have changed the default diagnostics output, and this new
991 output is not appropriately "plain" (e.g., the change needs to be
992 undone in order for the testsuite to work properly), then please do
993 the following:
994 1. Add the necessary option to undo the new behavior to
995 the array below.
996 2. Update the documentation for -fdiagnostics-plain-output
997 in invoke.texi. */
998 const char *const expanded_args[] = {
999 "-fno-diagnostics-show-caret",
1000 "-fno-diagnostics-show-line-numbers",
1001 "-fdiagnostics-color=never",
1002 "-fdiagnostics-urls=never",
1004 const int num_expanded = ARRAY_SIZE (expanded_args);
1005 opt_array_len += num_expanded - 1;
1006 opt_array = XRESIZEVEC (struct cl_decoded_option,
1007 opt_array, opt_array_len);
1008 for (int j = 0, nj; j < num_expanded; j += nj)
1010 nj = decode_cmdline_option (expanded_args + j, lang_mask,
1011 &opt_array[num_decoded_options]);
1012 num_decoded_options++;
1015 n = 1;
1016 continue;
1019 n = decode_cmdline_option (argv + i, lang_mask,
1020 &opt_array[num_decoded_options]);
1021 num_decoded_options++;
1024 *decoded_options = opt_array;
1025 *decoded_options_count = num_decoded_options;
1026 prune_options (decoded_options, decoded_options_count);
1029 /* Return true if NEXT_OPT_IDX cancels OPT_IDX. Return false if the
1030 next one is the same as ORIG_NEXT_OPT_IDX. */
1032 static bool
1033 cancel_option (int opt_idx, int next_opt_idx, int orig_next_opt_idx)
1035 /* An option can be canceled by the same option or an option with
1036 Negative. */
1037 if (cl_options [next_opt_idx].neg_index == opt_idx)
1038 return true;
1040 if (cl_options [next_opt_idx].neg_index != orig_next_opt_idx)
1041 return cancel_option (opt_idx, cl_options [next_opt_idx].neg_index,
1042 orig_next_opt_idx);
1044 return false;
1047 /* Filter out options canceled by the ones after them. */
1049 static void
1050 prune_options (struct cl_decoded_option **decoded_options,
1051 unsigned int *decoded_options_count)
1053 unsigned int old_decoded_options_count = *decoded_options_count;
1054 struct cl_decoded_option *old_decoded_options = *decoded_options;
1055 unsigned int new_decoded_options_count;
1056 struct cl_decoded_option *new_decoded_options
1057 = XNEWVEC (struct cl_decoded_option, old_decoded_options_count);
1058 unsigned int i;
1059 const struct cl_option *option;
1060 unsigned int fdiagnostics_color_idx = 0;
1062 /* Remove arguments which are negated by others after them. */
1063 new_decoded_options_count = 0;
1064 for (i = 0; i < old_decoded_options_count; i++)
1066 unsigned int j, opt_idx, next_opt_idx;
1068 if (old_decoded_options[i].errors & ~CL_ERR_WRONG_LANG)
1069 goto keep;
1071 opt_idx = old_decoded_options[i].opt_index;
1072 switch (opt_idx)
1074 case OPT_SPECIAL_unknown:
1075 case OPT_SPECIAL_ignore:
1076 case OPT_SPECIAL_warn_removed:
1077 case OPT_SPECIAL_program_name:
1078 case OPT_SPECIAL_input_file:
1079 goto keep;
1081 /* Do not save OPT_fdiagnostics_color_, just remember the last one. */
1082 case OPT_fdiagnostics_color_:
1083 fdiagnostics_color_idx = i;
1084 continue;
1086 default:
1087 gcc_assert (opt_idx < cl_options_count);
1088 option = &cl_options[opt_idx];
1089 if (option->neg_index < 0)
1090 goto keep;
1092 /* Skip joined switches. */
1093 if ((option->flags & CL_JOINED)
1094 && (!option->cl_reject_negative
1095 || (unsigned int) option->neg_index != opt_idx))
1096 goto keep;
1098 for (j = i + 1; j < old_decoded_options_count; j++)
1100 if (old_decoded_options[j].errors & ~CL_ERR_WRONG_LANG)
1101 continue;
1102 next_opt_idx = old_decoded_options[j].opt_index;
1103 if (next_opt_idx >= cl_options_count)
1104 continue;
1105 if (cl_options[next_opt_idx].neg_index < 0)
1106 continue;
1107 if ((cl_options[next_opt_idx].flags & CL_JOINED)
1108 && (!cl_options[next_opt_idx].cl_reject_negative
1109 || ((unsigned int) cl_options[next_opt_idx].neg_index
1110 != next_opt_idx)))
1111 continue;
1112 if (cancel_option (opt_idx, next_opt_idx, next_opt_idx))
1113 break;
1115 if (j == old_decoded_options_count)
1117 keep:
1118 new_decoded_options[new_decoded_options_count]
1119 = old_decoded_options[i];
1120 new_decoded_options_count++;
1122 break;
1126 if (fdiagnostics_color_idx >= 1)
1128 /* We put the last -fdiagnostics-color= at the first position
1129 after argv[0] so it can take effect immediately. */
1130 memmove (new_decoded_options + 2, new_decoded_options + 1,
1131 sizeof (struct cl_decoded_option)
1132 * (new_decoded_options_count - 1));
1133 new_decoded_options[1] = old_decoded_options[fdiagnostics_color_idx];
1134 new_decoded_options_count++;
1137 free (old_decoded_options);
1138 new_decoded_options = XRESIZEVEC (struct cl_decoded_option,
1139 new_decoded_options,
1140 new_decoded_options_count);
1141 *decoded_options = new_decoded_options;
1142 *decoded_options_count = new_decoded_options_count;
1145 /* Handle option DECODED for the language indicated by LANG_MASK,
1146 using the handlers in HANDLERS and setting fields in OPTS and
1147 OPTS_SET. KIND is the diagnostic_t if this is a diagnostics
1148 option, DK_UNSPECIFIED otherwise, and LOC is the location of the
1149 option for options from the source file, UNKNOWN_LOCATION
1150 otherwise. GENERATED_P is true for an option generated as part of
1151 processing another option or otherwise generated internally, false
1152 for one explicitly passed by the user. control_warning_option
1153 generated options are considered explicitly passed by the user.
1154 Returns false if the switch was invalid. DC is the diagnostic
1155 context for options affecting diagnostics state, or NULL. */
1157 static bool
1158 handle_option (struct gcc_options *opts,
1159 struct gcc_options *opts_set,
1160 const struct cl_decoded_option *decoded,
1161 unsigned int lang_mask, int kind, location_t loc,
1162 const struct cl_option_handlers *handlers,
1163 bool generated_p, diagnostic_context *dc)
1165 size_t opt_index = decoded->opt_index;
1166 const char *arg = decoded->arg;
1167 HOST_WIDE_INT value = decoded->value;
1168 const struct cl_option *option = &cl_options[opt_index];
1169 void *flag_var = option_flag_var (opt_index, opts);
1170 size_t i;
1172 if (flag_var)
1173 set_option (opts, (generated_p ? NULL : opts_set),
1174 opt_index, value, arg, kind, loc, dc);
1176 for (i = 0; i < handlers->num_handlers; i++)
1177 if (option->flags & handlers->handlers[i].mask)
1179 if (!handlers->handlers[i].handler (opts, opts_set, decoded,
1180 lang_mask, kind, loc,
1181 handlers, dc,
1182 handlers->target_option_override_hook))
1183 return false;
1186 return true;
1189 /* Like handle_option, but OPT_INDEX, ARG and VALUE describe the
1190 option instead of DECODED. This is used for callbacks when one
1191 option implies another instead of an option being decoded from the
1192 command line. */
1194 bool
1195 handle_generated_option (struct gcc_options *opts,
1196 struct gcc_options *opts_set,
1197 size_t opt_index, const char *arg, HOST_WIDE_INT value,
1198 unsigned int lang_mask, int kind, location_t loc,
1199 const struct cl_option_handlers *handlers,
1200 bool generated_p, diagnostic_context *dc)
1202 struct cl_decoded_option decoded;
1204 generate_option (opt_index, arg, value, lang_mask, &decoded);
1205 return handle_option (opts, opts_set, &decoded, lang_mask, kind, loc,
1206 handlers, generated_p, dc);
1209 /* Fill in *DECODED with an option described by OPT_INDEX, ARG and
1210 VALUE for a front end using LANG_MASK. This is used when the
1211 compiler generates options internally. */
1213 void
1214 generate_option (size_t opt_index, const char *arg, HOST_WIDE_INT value,
1215 unsigned int lang_mask, struct cl_decoded_option *decoded)
1217 const struct cl_option *option = &cl_options[opt_index];
1219 decoded->opt_index = opt_index;
1220 decoded->warn_message = NULL;
1221 decoded->arg = arg;
1222 decoded->value = value;
1223 decoded->errors = (option_ok_for_language (option, lang_mask)
1225 : CL_ERR_WRONG_LANG);
1227 generate_canonical_option (opt_index, arg, value, decoded);
1228 switch (decoded->canonical_option_num_elements)
1230 case 1:
1231 decoded->orig_option_with_args_text = decoded->canonical_option[0];
1232 break;
1234 case 2:
1235 decoded->orig_option_with_args_text
1236 = opts_concat (decoded->canonical_option[0], " ",
1237 decoded->canonical_option[1], NULL);
1238 break;
1240 default:
1241 gcc_unreachable ();
1245 /* Fill in *DECODED with an option for input file FILE. */
1247 void
1248 generate_option_input_file (const char *file,
1249 struct cl_decoded_option *decoded)
1251 decoded->opt_index = OPT_SPECIAL_input_file;
1252 decoded->warn_message = NULL;
1253 decoded->arg = file;
1254 decoded->orig_option_with_args_text = file;
1255 decoded->canonical_option_num_elements = 1;
1256 decoded->canonical_option[0] = file;
1257 decoded->canonical_option[1] = NULL;
1258 decoded->canonical_option[2] = NULL;
1259 decoded->canonical_option[3] = NULL;
1260 decoded->value = 1;
1261 decoded->errors = 0;
1264 /* Helper function for listing valid choices and hint for misspelled
1265 value. CANDIDATES is a vector containing all valid strings,
1266 STR is set to a heap allocated string that contains all those
1267 strings concatenated, separated by spaces, and the return value
1268 is the closest string from those to ARG, or NULL if nothing is
1269 close enough. Callers should XDELETEVEC (STR) after using it
1270 to avoid memory leaks. */
1272 const char *
1273 candidates_list_and_hint (const char *arg, char *&str,
1274 const auto_vec <const char *> &candidates)
1276 size_t len = 0;
1277 int i;
1278 const char *candidate;
1279 char *p;
1281 FOR_EACH_VEC_ELT (candidates, i, candidate)
1282 len += strlen (candidate) + 1;
1284 str = p = XNEWVEC (char, len);
1285 FOR_EACH_VEC_ELT (candidates, i, candidate)
1287 len = strlen (candidate);
1288 memcpy (p, candidate, len);
1289 p[len] = ' ';
1290 p += len + 1;
1292 p[-1] = '\0';
1293 return find_closest_string (arg, &candidates);
1296 /* Perform diagnostics for read_cmdline_option and control_warning_option
1297 functions. Returns true if an error has been diagnosed.
1298 LOC and LANG_MASK arguments like in read_cmdline_option.
1299 OPTION is the option to report diagnostics for, OPT the name
1300 of the option as text, ARG the argument of the option (for joined
1301 options), ERRORS is bitmask of CL_ERR_* values. */
1303 static bool
1304 cmdline_handle_error (location_t loc, const struct cl_option *option,
1305 const char *opt, const char *arg, int errors,
1306 unsigned int lang_mask)
1308 if (errors & CL_ERR_DISABLED)
1310 error_at (loc, "command-line option %qs"
1311 " is not supported by this configuration", opt);
1312 return true;
1315 if (errors & CL_ERR_MISSING_ARG)
1317 if (option->missing_argument_error)
1318 error_at (loc, option->missing_argument_error, opt);
1319 else
1320 error_at (loc, "missing argument to %qs", opt);
1321 return true;
1324 if (errors & CL_ERR_UINT_ARG)
1326 if (option->cl_byte_size)
1327 error_at (loc, "argument to %qs should be a non-negative integer "
1328 "optionally followed by a size unit",
1329 option->opt_text);
1330 else
1331 error_at (loc, "argument to %qs should be a non-negative integer",
1332 option->opt_text);
1333 return true;
1336 if (errors & CL_ERR_INT_RANGE_ARG)
1338 error_at (loc, "argument to %qs is not between %d and %d",
1339 option->opt_text, option->range_min, option->range_max);
1340 return true;
1343 if (errors & CL_ERR_ENUM_ARG)
1345 const struct cl_enum *e = &cl_enums[option->var_enum];
1346 unsigned int i;
1347 char *s;
1349 auto_diagnostic_group d;
1350 if (e->unknown_error)
1351 error_at (loc, e->unknown_error, arg);
1352 else
1353 error_at (loc, "unrecognized argument in option %qs", opt);
1355 auto_vec <const char *> candidates;
1356 for (i = 0; e->values[i].arg != NULL; i++)
1358 if (!enum_arg_ok_for_language (&e->values[i], lang_mask))
1359 continue;
1360 candidates.safe_push (e->values[i].arg);
1362 const char *hint = candidates_list_and_hint (arg, s, candidates);
1363 if (hint)
1364 inform (loc, "valid arguments to %qs are: %s; did you mean %qs?",
1365 option->opt_text, s, hint);
1366 else
1367 inform (loc, "valid arguments to %qs are: %s", option->opt_text, s);
1368 XDELETEVEC (s);
1370 return true;
1373 return false;
1376 /* Handle the switch DECODED (location LOC) for the language indicated
1377 by LANG_MASK, using the handlers in *HANDLERS and setting fields in
1378 OPTS and OPTS_SET and using diagnostic context DC (if not NULL) for
1379 diagnostic options. */
1381 void
1382 read_cmdline_option (struct gcc_options *opts,
1383 struct gcc_options *opts_set,
1384 struct cl_decoded_option *decoded,
1385 location_t loc,
1386 unsigned int lang_mask,
1387 const struct cl_option_handlers *handlers,
1388 diagnostic_context *dc)
1390 const struct cl_option *option;
1391 const char *opt = decoded->orig_option_with_args_text;
1393 if (decoded->warn_message)
1394 warning_at (loc, 0, decoded->warn_message, opt);
1396 if (decoded->opt_index == OPT_SPECIAL_unknown)
1398 if (handlers->unknown_option_callback (decoded))
1399 error_at (loc, "unrecognized command-line option %qs", decoded->arg);
1400 return;
1403 if (decoded->opt_index == OPT_SPECIAL_ignore)
1404 return;
1406 if (decoded->opt_index == OPT_SPECIAL_warn_removed)
1408 /* Warn only about positive ignored options. */
1409 if (decoded->value)
1410 warning_at (loc, 0, "switch %qs is no longer supported", opt);
1411 return;
1414 option = &cl_options[decoded->opt_index];
1416 if (decoded->errors
1417 && cmdline_handle_error (loc, option, opt, decoded->arg,
1418 decoded->errors, lang_mask))
1419 return;
1421 if (decoded->errors & CL_ERR_WRONG_LANG)
1423 handlers->wrong_lang_callback (decoded, lang_mask);
1424 return;
1427 gcc_assert (!decoded->errors);
1429 if (!handle_option (opts, opts_set, decoded, lang_mask, DK_UNSPECIFIED,
1430 loc, handlers, false, dc))
1431 error_at (loc, "unrecognized command-line option %qs", opt);
1434 /* Set any field in OPTS, and OPTS_SET if not NULL, for option
1435 OPT_INDEX according to VALUE and ARG, diagnostic kind KIND,
1436 location LOC, using diagnostic context DC if not NULL for
1437 diagnostic classification. */
1439 void
1440 set_option (struct gcc_options *opts, struct gcc_options *opts_set,
1441 int opt_index, HOST_WIDE_INT value, const char *arg, int kind,
1442 location_t loc, diagnostic_context *dc)
1444 const struct cl_option *option = &cl_options[opt_index];
1445 void *flag_var = option_flag_var (opt_index, opts);
1446 void *set_flag_var = NULL;
1448 if (!flag_var)
1449 return;
1451 if ((diagnostic_t) kind != DK_UNSPECIFIED && dc != NULL)
1452 diagnostic_classify_diagnostic (dc, opt_index, (diagnostic_t) kind, loc);
1454 if (opts_set != NULL)
1455 set_flag_var = option_flag_var (opt_index, opts_set);
1457 switch (option->var_type)
1459 case CLVC_BOOLEAN:
1460 if (option->cl_host_wide_int)
1462 *(HOST_WIDE_INT *) flag_var = value;
1463 if (set_flag_var)
1464 *(HOST_WIDE_INT *) set_flag_var = 1;
1466 else
1468 *(int *) flag_var = value;
1469 if (set_flag_var)
1470 *(int *) set_flag_var = 1;
1473 break;
1475 case CLVC_SIZE:
1476 if (option->cl_host_wide_int)
1478 *(HOST_WIDE_INT *) flag_var = value;
1479 if (set_flag_var)
1480 *(HOST_WIDE_INT *) set_flag_var = value;
1482 else
1484 *(int *) flag_var = value;
1485 if (set_flag_var)
1486 *(int *) set_flag_var = value;
1489 break;
1491 case CLVC_EQUAL:
1492 if (option->cl_host_wide_int)
1494 *(HOST_WIDE_INT *) flag_var = (value
1495 ? option->var_value
1496 : !option->var_value);
1497 if (set_flag_var)
1498 *(HOST_WIDE_INT *) set_flag_var = 1;
1500 else
1502 *(int *) flag_var = (value
1503 ? option->var_value
1504 : !option->var_value);
1505 if (set_flag_var)
1506 *(int *) set_flag_var = 1;
1508 break;
1510 case CLVC_BIT_CLEAR:
1511 case CLVC_BIT_SET:
1512 if ((value != 0) == (option->var_type == CLVC_BIT_SET))
1514 if (option->cl_host_wide_int)
1515 *(HOST_WIDE_INT *) flag_var |= option->var_value;
1516 else
1517 *(int *) flag_var |= option->var_value;
1519 else
1521 if (option->cl_host_wide_int)
1522 *(HOST_WIDE_INT *) flag_var &= ~option->var_value;
1523 else
1524 *(int *) flag_var &= ~option->var_value;
1526 if (set_flag_var)
1528 if (option->cl_host_wide_int)
1529 *(HOST_WIDE_INT *) set_flag_var |= option->var_value;
1530 else
1531 *(int *) set_flag_var |= option->var_value;
1533 break;
1535 case CLVC_STRING:
1536 *(const char **) flag_var = arg;
1537 if (set_flag_var)
1538 *(const char **) set_flag_var = "";
1539 break;
1541 case CLVC_ENUM:
1543 const struct cl_enum *e = &cl_enums[option->var_enum];
1545 e->set (flag_var, value);
1546 if (set_flag_var)
1547 e->set (set_flag_var, 1);
1549 break;
1551 case CLVC_DEFER:
1553 vec<cl_deferred_option> *v
1554 = (vec<cl_deferred_option> *) *(void **) flag_var;
1555 cl_deferred_option p = {opt_index, arg, value};
1556 if (!v)
1557 v = XCNEW (vec<cl_deferred_option>);
1558 v->safe_push (p);
1559 *(void **) flag_var = v;
1560 if (set_flag_var)
1561 *(void **) set_flag_var = v;
1563 break;
1567 /* Return the address of the flag variable for option OPT_INDEX in
1568 options structure OPTS, or NULL if there is no flag variable. */
1570 void *
1571 option_flag_var (int opt_index, struct gcc_options *opts)
1573 const struct cl_option *option = &cl_options[opt_index];
1575 if (option->flag_var_offset == (unsigned short) -1)
1576 return NULL;
1577 return (void *)(((char *) opts) + option->flag_var_offset);
1580 /* Return 1 if option OPT_IDX is enabled in OPTS, 0 if it is disabled,
1581 or -1 if it isn't a simple on-off switch. */
1584 option_enabled (int opt_idx, unsigned lang_mask, void *opts)
1586 const struct cl_option *option = &(cl_options[opt_idx]);
1588 /* A language-specific option can only be considered enabled when it's
1589 valid for the current language. */
1590 if (!(option->flags & CL_COMMON)
1591 && (option->flags & CL_LANG_ALL)
1592 && !(option->flags & lang_mask))
1593 return 0;
1595 struct gcc_options *optsg = (struct gcc_options *) opts;
1596 void *flag_var = option_flag_var (opt_idx, optsg);
1598 if (flag_var)
1599 switch (option->var_type)
1601 case CLVC_BOOLEAN:
1602 if (option->cl_host_wide_int)
1603 return *(HOST_WIDE_INT *) flag_var != 0;
1604 else
1605 return *(int *) flag_var != 0;
1607 case CLVC_EQUAL:
1608 if (option->cl_host_wide_int)
1609 return *(HOST_WIDE_INT *) flag_var == option->var_value;
1610 else
1611 return *(int *) flag_var == option->var_value;
1613 case CLVC_BIT_CLEAR:
1614 if (option->cl_host_wide_int)
1615 return (*(HOST_WIDE_INT *) flag_var & option->var_value) == 0;
1616 else
1617 return (*(int *) flag_var & option->var_value) == 0;
1619 case CLVC_BIT_SET:
1620 if (option->cl_host_wide_int)
1621 return (*(HOST_WIDE_INT *) flag_var & option->var_value) != 0;
1622 else
1623 return (*(int *) flag_var & option->var_value) != 0;
1625 case CLVC_SIZE:
1626 if (option->cl_host_wide_int)
1627 return *(HOST_WIDE_INT *) flag_var != -1;
1628 else
1629 return *(int *) flag_var != -1;
1631 case CLVC_STRING:
1632 case CLVC_ENUM:
1633 case CLVC_DEFER:
1634 break;
1636 return -1;
1639 /* Fill STATE with the current state of option OPTION in OPTS. Return
1640 true if there is some state to store. */
1642 bool
1643 get_option_state (struct gcc_options *opts, int option,
1644 struct cl_option_state *state)
1646 void *flag_var = option_flag_var (option, opts);
1648 if (flag_var == 0)
1649 return false;
1651 switch (cl_options[option].var_type)
1653 case CLVC_BOOLEAN:
1654 case CLVC_EQUAL:
1655 case CLVC_SIZE:
1656 state->data = flag_var;
1657 state->size = (cl_options[option].cl_host_wide_int
1658 ? sizeof (HOST_WIDE_INT)
1659 : sizeof (int));
1660 break;
1662 case CLVC_BIT_CLEAR:
1663 case CLVC_BIT_SET:
1664 state->ch = option_enabled (option, -1, opts);
1665 state->data = &state->ch;
1666 state->size = 1;
1667 break;
1669 case CLVC_STRING:
1670 state->data = *(const char **) flag_var;
1671 if (state->data == 0)
1672 state->data = "";
1673 state->size = strlen ((const char *) state->data) + 1;
1674 break;
1676 case CLVC_ENUM:
1677 state->data = flag_var;
1678 state->size = cl_enums[cl_options[option].var_enum].var_size;
1679 break;
1681 case CLVC_DEFER:
1682 return false;
1684 return true;
1687 /* Set a warning option OPT_INDEX (language mask LANG_MASK, option
1688 handlers HANDLERS) to have diagnostic kind KIND for option
1689 structures OPTS and OPTS_SET and diagnostic context DC (possibly
1690 NULL), at location LOC (UNKNOWN_LOCATION for -Werror=). ARG is the
1691 argument of the option for joined options, or NULL otherwise. If IMPLY,
1692 the warning option in question is implied at this point. This is
1693 used by -Werror= and #pragma GCC diagnostic. */
1695 void
1696 control_warning_option (unsigned int opt_index, int kind, const char *arg,
1697 bool imply, location_t loc, unsigned int lang_mask,
1698 const struct cl_option_handlers *handlers,
1699 struct gcc_options *opts,
1700 struct gcc_options *opts_set,
1701 diagnostic_context *dc)
1703 if (cl_options[opt_index].alias_target != N_OPTS)
1705 gcc_assert (!cl_options[opt_index].cl_separate_alias
1706 && !cl_options[opt_index].cl_negative_alias);
1707 if (cl_options[opt_index].alias_arg)
1708 arg = cl_options[opt_index].alias_arg;
1709 opt_index = cl_options[opt_index].alias_target;
1711 if (opt_index == OPT_SPECIAL_ignore || opt_index == OPT_SPECIAL_warn_removed)
1712 return;
1713 if (dc)
1714 diagnostic_classify_diagnostic (dc, opt_index, (diagnostic_t) kind, loc);
1715 if (imply)
1717 const struct cl_option *option = &cl_options[opt_index];
1719 /* -Werror=foo implies -Wfoo. */
1720 if (option->var_type == CLVC_BOOLEAN
1721 || option->var_type == CLVC_ENUM
1722 || option->var_type == CLVC_SIZE)
1724 HOST_WIDE_INT value = 1;
1726 if (arg && *arg == '\0' && !option->cl_missing_ok)
1727 arg = NULL;
1729 if ((option->flags & CL_JOINED) && arg == NULL)
1731 cmdline_handle_error (loc, option, option->opt_text, arg,
1732 CL_ERR_MISSING_ARG, lang_mask);
1733 return;
1736 /* If the switch takes an integer argument, convert it. */
1737 if (arg && (option->cl_uinteger || option->cl_host_wide_int))
1739 int error = 0;
1740 value = *arg ? integral_argument (arg, &error,
1741 option->cl_byte_size) : 0;
1742 if (error)
1744 cmdline_handle_error (loc, option, option->opt_text, arg,
1745 CL_ERR_UINT_ARG, lang_mask);
1746 return;
1750 /* If the switch takes an enumerated argument, convert it. */
1751 if (arg && option->var_type == CLVC_ENUM)
1753 const struct cl_enum *e = &cl_enums[option->var_enum];
1755 if (enum_arg_to_value (e->values, arg, &value, lang_mask))
1757 const char *carg = NULL;
1759 if (enum_value_to_arg (e->values, &carg, value, lang_mask))
1760 arg = carg;
1761 gcc_assert (carg != NULL);
1763 else
1765 cmdline_handle_error (loc, option, option->opt_text, arg,
1766 CL_ERR_ENUM_ARG, lang_mask);
1767 return;
1771 handle_generated_option (opts, opts_set,
1772 opt_index, arg, value, lang_mask,
1773 kind, loc, handlers, false, dc);
1778 /* Parse options in COLLECT_GCC_OPTIONS and push them on ARGV_OBSTACK.
1779 Store number of arguments into ARGC_P. */
1781 void
1782 parse_options_from_collect_gcc_options (const char *collect_gcc_options,
1783 obstack *argv_obstack,
1784 int *argc_p)
1786 char *argv_storage = xstrdup (collect_gcc_options);
1787 int j, k;
1789 for (j = 0, k = 0; argv_storage[j] != '\0'; ++j)
1791 if (argv_storage[j] == '\'')
1793 obstack_ptr_grow (argv_obstack, &argv_storage[k]);
1794 ++j;
1797 if (argv_storage[j] == '\0')
1798 fatal_error (input_location,
1799 "malformed %<COLLECT_GCC_OPTIONS%>");
1800 else if (strncmp (&argv_storage[j], "'\\''", 4) == 0)
1802 argv_storage[k++] = '\'';
1803 j += 4;
1805 else if (argv_storage[j] == '\'')
1806 break;
1807 else
1808 argv_storage[k++] = argv_storage[j++];
1810 while (1);
1811 argv_storage[k++] = '\0';
1815 obstack_ptr_grow (argv_obstack, NULL);
1816 *argc_p = obstack_object_size (argv_obstack) / sizeof (void *) - 1;
1819 /* Prepend -Xassembler for each option in COLLECT_AS_OPTIONS,
1820 and push on O. */
1822 void prepend_xassembler_to_collect_as_options (const char *collect_as_options,
1823 obstack *o)
1825 obstack opts_obstack;
1826 int opts_count;
1828 obstack_init (&opts_obstack);
1829 parse_options_from_collect_gcc_options (collect_as_options,
1830 &opts_obstack, &opts_count);
1831 const char **assembler_opts = XOBFINISH (&opts_obstack, const char **);
1833 for (int i = 0; i < opts_count; i++)
1835 obstack_grow (o, " '-Xassembler' ",
1836 strlen (" '-Xassembler' "));
1837 const char *opt = assembler_opts[i];
1838 obstack_1grow (o, '\'');
1839 obstack_grow (o, opt, strlen (opt));
1840 obstack_1grow (o, '\'');