[Ada] New aspect/pragma No_Caching for analysis of volatile data
[official-gcc.git] / gcc / opts-global.c
blob7c5bd16c7ea68cb022360fc4594f6ce8f028825e
1 /* Command line option handling. Code involving global state that
2 should not be shared with the driver.
3 Copyright (C) 2002-2019 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "backend.h"
25 #include "rtl.h"
26 #include "tree.h"
27 #include "tree-pass.h"
28 #include "diagnostic.h"
29 #include "opts.h"
30 #include "flags.h"
31 #include "langhooks.h"
32 #include "dbgcnt.h"
33 #include "debug.h"
34 #include "output.h"
35 #include "plugin.h"
36 #include "toplev.h"
37 #include "context.h"
38 #include "stringpool.h"
39 #include "attribs.h"
40 #include "asan.h"
41 #include "file-prefix-map.h" /* add_*_prefix_map() */
43 typedef const char *const_char_p; /* For DEF_VEC_P. */
45 static vec<const_char_p> ignored_options;
47 /* Input file names. */
48 const char **in_fnames;
49 unsigned num_in_fnames;
51 /* Return a malloced slash-separated list of languages in MASK. */
53 char *
54 write_langs (unsigned int mask)
56 unsigned int n = 0, len = 0;
57 const char *lang_name;
58 char *result;
60 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
61 if (mask & (1U << n))
62 len += strlen (lang_name) + 1;
64 result = XNEWVEC (char, len);
65 len = 0;
66 for (n = 0; (lang_name = lang_names[n]) != 0; n++)
67 if (mask & (1U << n))
69 if (len)
70 result[len++] = '/';
71 strcpy (result + len, lang_name);
72 len += strlen (lang_name);
75 result[len] = 0;
77 return result;
80 /* Complain that switch DECODED does not apply to this front end (mask
81 LANG_MASK). */
83 static void
84 complain_wrong_lang (const struct cl_decoded_option *decoded,
85 unsigned int lang_mask)
87 const struct cl_option *option = &cl_options[decoded->opt_index];
88 const char *text = decoded->orig_option_with_args_text;
89 char *ok_langs = NULL, *bad_lang = NULL;
90 unsigned int opt_flags = option->flags;
92 if (!lang_hooks.complain_wrong_lang_p (option))
93 return;
95 opt_flags &= ((1U << cl_lang_count) - 1) | CL_DRIVER;
96 if (opt_flags != CL_DRIVER)
97 ok_langs = write_langs (opt_flags);
98 if (lang_mask != CL_DRIVER)
99 bad_lang = write_langs (lang_mask);
101 if (opt_flags == CL_DRIVER)
102 error ("command-line option %qs is valid for the driver but not for %s",
103 text, bad_lang);
104 else if (lang_mask == CL_DRIVER)
105 gcc_unreachable ();
106 else if (ok_langs[0] != '\0')
107 /* Eventually this should become a hard error IMO. */
108 warning (0, "command-line option %qs is valid for %s but not for %s",
109 text, ok_langs, bad_lang);
110 else
111 /* Happens for -Werror=warning_name. */
112 warning (0, "%<-Werror=%> argument %qs is not valid for %s",
113 text, bad_lang);
115 free (ok_langs);
116 free (bad_lang);
119 /* Buffer the unknown option described by the string OPT. Currently,
120 we only complain about unknown -Wno-* options if they may have
121 prevented a diagnostic. Otherwise, we just ignore them. Note that
122 if we do complain, it is only as a warning, not an error; passing
123 the compiler an unrecognized -Wno-* option should never change
124 whether the compilation succeeds or fails. */
126 static void
127 postpone_unknown_option_warning (const char *opt)
129 ignored_options.safe_push (opt);
132 /* Produce a warning for each option previously buffered. */
134 void
135 print_ignored_options (void)
137 while (!ignored_options.is_empty ())
139 const char *opt;
141 opt = ignored_options.pop ();
142 warning_at (UNKNOWN_LOCATION, 0,
143 "unrecognized command-line option %qs", opt);
147 /* Handle an unknown option DECODED, returning true if an error should
148 be given. */
150 static bool
151 unknown_option_callback (const struct cl_decoded_option *decoded)
153 const char *opt = decoded->arg;
155 if (opt[1] == 'W' && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-'
156 && !(decoded->errors & CL_ERR_NEGATIVE))
158 /* We don't generate warnings for unknown -Wno-* options unless
159 we issue diagnostics. */
160 postpone_unknown_option_warning (opt);
161 return false;
163 else
164 return true;
167 /* Handle a front-end option; arguments and return value as for
168 handle_option. */
170 static bool
171 lang_handle_option (struct gcc_options *opts,
172 struct gcc_options *opts_set,
173 const struct cl_decoded_option *decoded,
174 unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
175 location_t loc,
176 const struct cl_option_handlers *handlers,
177 diagnostic_context *dc,
178 void (*) (void))
180 gcc_assert (opts == &global_options);
181 gcc_assert (opts_set == &global_options_set);
182 gcc_assert (dc == global_dc);
183 gcc_assert (decoded->canonical_option_num_elements <= 2);
184 return lang_hooks.handle_option (decoded->opt_index, decoded->arg,
185 decoded->value, kind, loc, handlers);
188 /* Handle FILENAME from the command line. */
190 static void
191 add_input_filename (const char *filename)
193 num_in_fnames++;
194 in_fnames = XRESIZEVEC (const char *, in_fnames, num_in_fnames);
195 in_fnames[num_in_fnames - 1] = filename;
198 /* Handle the vector of command line options (located at LOC), storing
199 the results of processing DECODED_OPTIONS and DECODED_OPTIONS_COUNT
200 in OPTS and OPTS_SET and using DC for diagnostic state. LANG_MASK
201 contains has a single bit set representing the current language.
202 HANDLERS describes what functions to call for the options. */
204 static void
205 read_cmdline_options (struct gcc_options *opts, struct gcc_options *opts_set,
206 struct cl_decoded_option *decoded_options,
207 unsigned int decoded_options_count,
208 location_t loc,
209 unsigned int lang_mask,
210 const struct cl_option_handlers *handlers,
211 diagnostic_context *dc)
213 unsigned int i;
215 for (i = 1; i < decoded_options_count; i++)
217 if (decoded_options[i].opt_index == OPT_SPECIAL_input_file)
219 /* Input files should only ever appear on the main command
220 line. */
221 gcc_assert (opts == &global_options);
222 gcc_assert (opts_set == &global_options_set);
224 if (opts->x_main_input_filename == NULL)
226 opts->x_main_input_filename = decoded_options[i].arg;
227 opts->x_main_input_baselength
228 = base_of_path (opts->x_main_input_filename,
229 &opts->x_main_input_basename);
231 add_input_filename (decoded_options[i].arg);
232 continue;
235 read_cmdline_option (opts, opts_set,
236 decoded_options + i, loc, lang_mask, handlers,
237 dc);
241 /* Language mask determined at initialization. */
242 static unsigned int initial_lang_mask;
244 /* Initialize global options-related settings at start-up. */
246 void
247 init_options_once (void)
249 /* Perform language-specific options initialization. */
250 initial_lang_mask = lang_hooks.option_lang_mask ();
252 lang_hooks.initialize_diagnostics (global_dc);
253 /* ??? Ideally, we should do this earlier and the FEs will override
254 it if desired (none do it so far). However, the way the FEs
255 construct their pretty-printers means that all previous settings
256 are overriden. */
257 diagnostic_color_init (global_dc);
260 /* Decode command-line options to an array, like
261 decode_cmdline_options_to_array and with the same arguments but
262 using the default lang_mask. */
264 void
265 decode_cmdline_options_to_array_default_mask (unsigned int argc,
266 const char **argv,
267 struct cl_decoded_option **decoded_options,
268 unsigned int *decoded_options_count)
270 decode_cmdline_options_to_array (argc, argv,
271 initial_lang_mask | CL_COMMON | CL_TARGET,
272 decoded_options, decoded_options_count);
275 /* Set *HANDLERS to the default set of option handlers for use in the
276 compilers proper (not the driver). */
277 void
278 set_default_handlers (struct cl_option_handlers *handlers,
279 void (*target_option_override_hook) (void))
281 handlers->unknown_option_callback = unknown_option_callback;
282 handlers->wrong_lang_callback = complain_wrong_lang;
283 handlers->target_option_override_hook = target_option_override_hook;
284 handlers->num_handlers = 3;
285 handlers->handlers[0].handler = lang_handle_option;
286 handlers->handlers[0].mask = initial_lang_mask;
287 handlers->handlers[1].handler = common_handle_option;
288 handlers->handlers[1].mask = CL_COMMON;
289 handlers->handlers[2].handler = target_handle_option;
290 handlers->handlers[2].mask = CL_TARGET;
293 /* Parse command line options and set default flag values. Do minimal
294 options processing. The decoded options are in *DECODED_OPTIONS
295 and *DECODED_OPTIONS_COUNT; settings go in OPTS, OPTS_SET and DC;
296 the options are located at LOC. */
297 void
298 decode_options (struct gcc_options *opts, struct gcc_options *opts_set,
299 struct cl_decoded_option *decoded_options,
300 unsigned int decoded_options_count,
301 location_t loc, diagnostic_context *dc,
302 void (*target_option_override_hook) (void))
304 struct cl_option_handlers handlers;
306 unsigned int lang_mask;
308 lang_mask = initial_lang_mask;
310 set_default_handlers (&handlers, target_option_override_hook);
312 default_options_optimization (opts, opts_set,
313 decoded_options, decoded_options_count,
314 loc, lang_mask, &handlers, dc);
316 read_cmdline_options (opts, opts_set,
317 decoded_options, decoded_options_count,
318 loc, lang_mask,
319 &handlers, dc);
321 finish_options (opts, opts_set, loc);
323 /* Print --help=* if used. */
324 unsigned i;
325 const char *arg;
327 FOR_EACH_VEC_ELT (help_option_arguments, i, arg)
328 print_help (opts, lang_mask, arg);
331 /* Hold command-line options associated with stack limitation. */
332 const char *opt_fstack_limit_symbol_arg = NULL;
333 int opt_fstack_limit_register_no = -1;
335 /* Process common options that have been deferred until after the
336 handlers have been called for all options. */
338 void
339 handle_common_deferred_options (void)
341 unsigned int i;
342 cl_deferred_option *opt;
343 vec<cl_deferred_option> v;
345 if (common_deferred_options)
346 v = *((vec<cl_deferred_option> *) common_deferred_options);
347 else
348 v = vNULL;
350 if (flag_dump_all_passed)
351 enable_rtl_dump_file ();
353 if (flag_opt_info)
354 opt_info_switch_p (NULL);
356 FOR_EACH_VEC_ELT (v, i, opt)
358 switch (opt->opt_index)
360 case OPT_fcall_used_:
361 fix_register (opt->arg, 0, 1);
362 break;
364 case OPT_fcall_saved_:
365 fix_register (opt->arg, 0, 0);
366 break;
368 case OPT_fdbg_cnt_:
369 dbg_cnt_process_opt (opt->arg);
370 break;
372 case OPT_fdbg_cnt_list:
373 dbg_cnt_list_all_counters ();
374 break;
376 case OPT_fdebug_prefix_map_:
377 add_debug_prefix_map (opt->arg);
378 break;
380 case OPT_ffile_prefix_map_:
381 add_file_prefix_map (opt->arg);
382 break;
384 case OPT_fdump_:
385 if (!g->get_dumps ()->dump_switch_p (opt->arg))
386 error ("unrecognized command-line option %<-fdump-%s%>", opt->arg);
387 break;
389 case OPT_fopt_info_:
390 if (!opt_info_switch_p (opt->arg))
391 error ("unrecognized command-line option %<-fopt-info-%s%>",
392 opt->arg);
393 break;
395 case OPT_fenable_:
396 case OPT_fdisable_:
397 if (opt->opt_index == OPT_fenable_)
398 enable_pass (opt->arg);
399 else
400 disable_pass (opt->arg);
401 break;
403 case OPT_ffixed_:
404 /* Deferred. */
405 fix_register (opt->arg, 1, 1);
406 break;
408 case OPT_fplugin_:
409 #ifdef ENABLE_PLUGIN
410 add_new_plugin (opt->arg);
411 #else
412 error ("plugin support is disabled; configure with --enable-plugin");
413 #endif
414 break;
416 case OPT_fplugin_arg_:
417 #ifdef ENABLE_PLUGIN
418 parse_plugin_arg_opt (opt->arg);
419 #else
420 error ("plugin support is disabled; configure with --enable-plugin");
421 #endif
422 break;
424 case OPT_frandom_seed:
425 /* The real switch is -fno-random-seed. */
426 if (!opt->value)
427 set_random_seed (NULL);
428 break;
430 case OPT_frandom_seed_:
431 set_random_seed (opt->arg);
432 break;
434 case OPT_fstack_limit:
435 /* The real switch is -fno-stack-limit. */
436 if (!opt->value)
437 stack_limit_rtx = NULL_RTX;
438 break;
440 case OPT_fstack_limit_register_:
442 int reg = decode_reg_name (opt->arg);
443 if (reg < 0)
444 error ("unrecognized register name %qs", opt->arg);
445 else
447 /* Deactivate previous OPT_fstack_limit_symbol_ options. */
448 opt_fstack_limit_symbol_arg = NULL;
449 opt_fstack_limit_register_no = reg;
452 break;
454 case OPT_fstack_limit_symbol_:
455 /* Deactivate previous OPT_fstack_limit_register_ options. */
456 opt_fstack_limit_register_no = -1;
457 opt_fstack_limit_symbol_arg = opt->arg;
458 break;
460 case OPT_fasan_shadow_offset_:
461 if (!(flag_sanitize & SANITIZE_KERNEL_ADDRESS))
462 error ("%<-fasan-shadow-offset%> should only be used "
463 "with %<-fsanitize=kernel-address%>");
464 if (!set_asan_shadow_offset (opt->arg))
465 error ("unrecognized shadow offset %qs", opt->arg);
466 break;
468 case OPT_fsanitize_sections_:
469 set_sanitized_sections (opt->arg);
470 break;
472 default:
473 gcc_unreachable ();