mirror of
https://github.com/gcc-mirror/gcc.git
synced 2024-11-21 13:40:47 +00:00
0b73e9382a
This patch generalizes diagnostic_context so that rather than having a single output format, it has a vector of zero or more. It adds new two options: -fdiagnostics-add-output=DIAGNOSTICS-OUTPUT-SPEC -fdiagnostics-set-output=DIAGNOSTICS-OUTPUT-SPEC which both take a new configuration syntax of the form SCHEME ("text" or "sarif"), optionally followed by ":" and one or more KEY=VALUE pairs, in this form: <SCHEME> <SCHEME>:<KEY>=<VALUE> <SCHEME>:<KEY>=<VALUE>,<KEY2>=<VALUE2> ...etc where each SCHEME supports some set of keys. For example, it's now possible to use: -fdiagnostics-add-output=sarif:version=2.1,file=foo.2.1.sarif \ -fdiagnostics-add-output=sarif:version=2.2-prerelease,file=foo.2.2.sarif to add a pair of outputs, each writing to a different file, using versions 2.1 and 2.2 of the SARIF standard respectively, whilst also emitting the classic text form of the diagnostics to stderr. I hope the new syntax gives us room to potentially add new kinds of output sink in the future (e.g. RPC notifications), and to add new key/value pairs as needed by the different sinks. Implementation-wise, the diagnostic_context's m_printer which previously was used directly by the single output format now becomes a "reference printer", created by the client (such as the frontend), with defaults modified by command-line options. Each of the multiple output sinks has its own pretty_printer instance, created by cloning the context's reference printer. gcc/ChangeLog: PR other/116613 * Makefile.in (OBJS-libcommon-target): Add opts-diagnostic.o. * common.opt (fdiagnostics-add-output=): New. (fdiagnostics-set-output=): New. (diagnostics_output_format): Drop sarif-file-2.2-prerelease from enum. * common.opt.urls: Regenerate. * diagnostic-buffer.h (diagnostic_buffer::~diagnostic_buffer): New. (diagnostic_buffer::ensure_per_format_buffer): Rename to... (diagnostic_buffer::ensure_per_format_buffers): ...this. (diagnostic_buffer::m_per_format_buffer): Replace with... (diagnostic_buffer::m_per_format_buffers): ...this, updating type. * diagnostic-format-json.cc (json_output_format::update_printer): New. (json_output_format::follows_reference_printer_p): New. (diagnostic_output_format_init_json): Drop redundant call to set_path_format, as this is not a text output format. * diagnostic-format-sarif.cc: Include "diagnostic-format-text.h". (sarif_builder::set_printer): New. (sarif_builder::sarif_builder): Add "printer" param and use it for m_printer. (sarif_builder::make_location_object::escape_nonascii_renderer::render): Rather than using dc.m_printer, create a diagnostic_text_output_format instance and use its printer. (sarif_output_format::follows_reference_printer_p): New. (sarif_output_format::update_printer): New. (sarif_output_format::sarif_output_format): Pass in correct printer to m_builder's ctor. (diagnostic_output_format_init_sarif): Drop redundant call to set_path_format, as this is not a text output format. Replace calls to pp_show_color and set_token_printer with call to update_printer. Drop redundant call to set_show_highlight_colors, as this printer does not show colors. (diagnostic_output_format_init_sarif_file): Split out file opening into... (diagnostic_output_format_open_sarif_file): ...this new function. (make_sarif_sink): New. (selftest::test_make_location_object): Provide a pp for the builder. * diagnostic-format-sarif.h (diagnostic_output_format_open_sarif_file): New decl. (make_sarif_sink): New decl. * diagnostic-format-text.cc (diagnostic_text_output_format::dump): Dump sm_follows_reference_printer. (diagnostic_text_output_format::on_report_verbatim): New. (diagnostic_text_output_format::follows_reference_printer_p): New. (diagnostic_text_output_format::update_printer): New. * diagnostic-format-text.h (diagnostic_text_output_format::diagnostic_text_output_format): Add optional "follows_reference_printer" param. (diagnostic_text_output_format::on_report_verbatim): New decl. (diagnostic_text_output_format::after_diagnostic): Drop "final". (diagnostic_text_output_format::follows_reference_printer_p): New decl. (class diagnostic_text_output_format): Convert private members to protected. (diagnostic_text_output_format::m_follows_reference_printer): New field. * diagnostic-format.h (diagnostic_output_format::on_report_verbatim): New vfunc. (diagnostic_output_format::follows_reference_printer_p): New vfunc. (diagnostic_output_format::update_printer): New vfunc. (diagnostic_output_format::get_printer): Use m_printer rather than a printer from m_context. (diagnostic_output_format::diagnostic_output_format): Initialize m_printer by cloning the context's printer. (diagnostic_output_format::m_printer): New field. * diagnostic-global-context.cc (verbatim): Reimplement in terms of global_dc->report_verbatim, moving existing implementation to diagnostic_text_output_format::on_report_verbatim. (fnotice): Support multiple output sinks by using a new global_dc->supports_fnotice_on_stderr_p. * diagnostic-output-file.h (diagnostic_output_file::diagnostic_output_file): New default ctor. (diagnostic_output_file::operator=): Implement move assignment. * diagnostic-path.cc (selftest::test_interprocedural_path_1): Pass false for new param of text_output's ctor. * diagnostic-show-locus.cc (selftest::test_layout_x_offset_display_utf8): Use reference printer. (selftest::test_layout_x_offset_display_tab): Likewise. (selftest::test_one_liner_fixit_remove): Likewise. * diagnostic.cc: Include "pretty-print-urlifier.h". (diagnostic_set_caret_max_width): Update for global_dc's m_printer becoming reference printer. (diagnostic_context::initialize): Update for m_printer becoming m_reference_printer. Use ::make_unique to create it. Update for m_output_format becoming m_output_sinks. (diagnostic_context::color_init): Update the reference printer, then update the printers for any output sinks that follow it. (diagnostic_context::urls_init): Likewise. (diagnostic_context::finish): Update comment. Update for m_output_format becoming m_output_sinks. Update for m_printer becoming m_reference_printer and use "delete" on it rather than XDELETE. (diagnostic_context::dump): Update for m_printer becoming reference printer, and for multiple output sinks. (diagnostic_context::set_output_format): Reimplement for supporting multiple output sinks. (diagnostic_context::get_output_format): Likewise. (diagnostic_context::add_sink): New. (diagnostic_context::supports_fnotice_on_stderr_p): New. (diagnostic_context::set_pretty_printer): New. (diagnostic_context::refresh_output_sinks): New. (diagnostic_context::set_format_decoder): New. (diagnostic_context::set_show_highlight_colors): New. (diagnostic_context::set_prefixing_rule): New. (diagnostic_context::report_diagnostic): Update to support multiple output sinks. (diagnostic_context::report_verbatim): New. (diagnostic_context::emit_diagram): Update to support multiple output sinks. (diagnostic_context::error_recursion): Update to use m_reference_printer. (fancy_abort): Likewise. (diagnostic_context::end_group): Update to support multiple output sinks. (diagnostic_output_format::dump): Implement. (diagnostic_output_format::on_report_verbatim): Likewise. (diagnostic_output_format_init): Drop DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE_2_2_PRERELEASE. (diagnostic_context::set_diagnostic_buffer): Reimplement to support multiple output sinks. (diagnostic_context::clear_diagnostic_buffer): Likewise. (diagnostic_context::flush_diagnostic_buffer): Likewise. (diagnostic_buffer::diagnostic_buffer): Initialize m_per_format_buffers. (diagnostic_buffer::~diagnostic_buffer): New dtor. (diagnostic_buffer::dump): Reimplement to support multiple output sinks. (diagnostic_buffer::empty_p): Likewise. (diagnostic_buffer::move_to): Likewise. (diagnostic_buffer::ensure_per_format_buffer): Likewise, renaming to... (diagnostic_buffer::ensure_per_format_buffers): ...this. * diagnostic.h (DIAGNOSTICS_OUTPUT_FORMAT_SARIF_FILE_2_2_PRERELEASE): Delete. (class diagnostic_context): Add friend class diagnostic_buffer. (diagnostic_context::set_pretty_printer): New decl. (diagnostic_context::refresh_output_sinks): New decl. (diagnostic_context::report_verbatim): New decl. (diagnostic_context::get_output_format): Drop. (diagnostic_context::set_show_highlight_colors): Drop body. (diagnostic_context::set_format_decoder): New decl. (diagnostic_context::set_prefixing_rule): New decl. (diagnostic_context::clone_printer): Reimplement. (diagnostic_context::get_reference_printer): New accessor. (diagnostic_context::add_sink): New decl. (diagnostic_context::supports_fnotice_on_stderr_p): New decl. (diagnostic_context::m_printer): Replace with... (diagnostic_context::m_reference_printer): ...this, and make private. (diagnostic_context::m_output_format): Replace with... (diagnostic_context::m_output_sinks): ...this. (diagnostic_format_decoder): Delete. (diagnostic_prefixing_rule): Delete. (diagnostic_ready_p): Delete. * doc/invoke.texi: Document -fdiagnostics-add-output= and -fdiagnostics-set-output=. * gcc.cc: Include "opts-diagnostic.h". (driver_handle_option): Handle cases OPT_fdiagnostics_add_output_ and OPT_fdiagnostics_set_output_. * opts-diagnostic.cc: New file. * opts-diagnostic.h (handle_OPT_fdiagnostics_add_output_): New decl. (handle_OPT_fdiagnostics_set_output_): New decl. * opts-global.cc (init_options_once): Update for global_dc's m_printer becoming reference printer. Call global_dc->refresh_output_sinks. * opts.cc (common_handle_option): Replace use of diagnostic_prefixing_rule with dc->set_prefixing_rule. Handle cases OPT_fdiagnostics_add_output_ and OPT_fdiagnostics_set_output_. Update for m_printer becoming reference printer. * selftest-diagnostic.cc (selftest::test_diagnostic_context::test_diagnostic_context): Update for m_printer becoming reference printer. (test_diagnostic_context::test_show_locus): Likewise. * selftest-run-tests.cc (selftest::run_tests): Call selftest::opts_diagnostic_cc_tests. * selftest.h (selftest::opts_diagnostic_cc_tests): New decl. * simple-diagnostic-path.cc (selftest::simple_diagnostic_path_cc_tests): Use reference printer. * toplev.cc (announce_function): Update for global_dc's m_printer becoming reference printer. (toplev::main): Likewise. * tree-diagnostic.cc (tree_diagnostics_defaults): Replace use of diagnostic_format_decoder with context->set_format_decoder. * tree-diagnostic.h (tree_dump_pretty_printer::tree_dump_pretty_printer): Update for global_dc's m_printer becoming reference printer. * tree.cc (escaped_string::escape): Likewise. (selftest::test_escaped_strings): Likewise. gcc/ada/ChangeLog: PR other/116613 * gcc-interface/misc.cc (internal_error_function): Update for m_printer becoming reference printer. gcc/analyzer/ChangeLog: PR other/116613 * analyzer-language.cc (on_finish_translation_unit): Update for m_printer becoming reference printer. * engine.cc (run_checkers): Likewise. * program-point.cc (function_point::print_source_line): Likewise. gcc/c-family/ChangeLog: PR other/116613 * c-format.cc (selftest::test_type_mismatch_range_labels): Update for m_printer becoming reference printer. (selftest::test_type_mismatch_range_labels): Likewise. gcc/c/ChangeLog: PR other/116613 * c-objc-common.cc: Include "make-unique.h". (c_initialize_diagnostics): Use unique_ptr for pretty_printer. Use context->set_format_decoder. gcc/cp/ChangeLog: PR other/116613 * error.cc (cxx_initialize_diagnostics): Use unique_ptr for pretty_printer. Use context->set_format_decoder. * module.cc (noisy_p): Update for global_dc's m_printer becoming reference printer. gcc/d/ChangeLog: PR other/116613 * d-diagnostic.cc (d_diagnostic_report_diagnostic): Update for m_printer becoming reference printer. gcc/fortran/ChangeLog: PR other/116613 * error.cc (gfc_diagnostic_build_kind_prefix): Update for global_dc's m_printer becoming reference printer. (gfc_diagnostics_init): Replace usage of diagnostic_format_decoder with global_dc->set_format_decoder. gcc/jit/ChangeLog: PR other/116613 * dummy-frontend.cc: Include "make-unique.h". (class jit_diagnostic_listener): New. (jit_begin_diagnostic): Update comment. (jit_end_diagnostic): Drop call to add_diagnostic. (jit_langhook_init): Set the output format to a new jit_diagnostic_listener. * jit-playback.cc (playback::context::add_diagnostic): Add "text" param and use that rather than trying to get the text from a pretty_printer. * jit-playback.h (playback::context::add_diagnostic): Add "text" param. gcc/testsuite/ChangeLog: PR other/116613 * gcc.dg/plugin/analyzer_cpython_plugin.c (dump_refcnt_info): Update for global_dc's m_printer becoming reference printer. * gcc.dg/plugin/crash-test-ice-in-header-sarif-2.2.c: Replace usage of -fdiagnostics-format=sarif-file-2.2-prerelease with -fdiagnostics-set-output=sarif:version=2.2-prerelease. * gcc.dg/plugin/diagnostic_plugin_test_paths.c: Update for global_dc's m_printer becoming reference printer. * gcc.dg/plugin/diagnostic_plugin_xhtml_format.c: Update for changes to output formats. * gcc.dg/plugin/expensive_selftests_plugin.c: Update for global_dc's m_printer becoming reference printer. * gcc.dg/sarif-output/add-output-sarif-defaults.c: New test. * gcc.dg/sarif-output/bad-binary-op.c: New test. * gcc.dg/sarif-output/bad-binary-op.py: New support script. * gcc.dg/sarif-output/multiple-outputs.c: New test. * gcc.dg/sarif-output/multiple-outputs.py: New support script. * lib/scansarif.exp (verify-sarif-file): Add an optional second argument specifying the expected filename of the .sarif file. Signed-off-by: David Malcolm <dmalcolm@redhat.com>
522 lines
14 KiB
C++
522 lines
14 KiB
C++
/* Command line option handling. Code involving global state that
|
|
should not be shared with the driver.
|
|
Copyright (C) 2002-2024 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#define INCLUDE_MEMORY
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "backend.h"
|
|
#include "rtl.h"
|
|
#include "tree.h"
|
|
#include "tree-pass.h"
|
|
#include "diagnostic.h"
|
|
#include "opts.h"
|
|
#include "flags.h"
|
|
#include "langhooks.h"
|
|
#include "dbgcnt.h"
|
|
#include "debug.h"
|
|
#include "output.h"
|
|
#include "plugin.h"
|
|
#include "toplev.h"
|
|
#include "context.h"
|
|
#include "stringpool.h"
|
|
#include "attribs.h"
|
|
#include "asan.h"
|
|
#include "file-prefix-map.h" /* add_*_prefix_map() */
|
|
|
|
typedef const char *const_char_p; /* For DEF_VEC_P. */
|
|
|
|
static vec<const_char_p> ignored_options;
|
|
|
|
/* Input file names. */
|
|
const char **in_fnames;
|
|
unsigned num_in_fnames;
|
|
|
|
/* Return a malloced slash-separated list of languages in MASK. */
|
|
|
|
char *
|
|
write_langs (unsigned int mask)
|
|
{
|
|
unsigned int n = 0, len = 0;
|
|
const char *lang_name;
|
|
char *result;
|
|
|
|
for (n = 0; (lang_name = lang_names[n]) != 0; n++)
|
|
if (mask & (1U << n))
|
|
len += strlen (lang_name) + 1;
|
|
|
|
/* Allocate at least one character as we'll terminate the string
|
|
at the very end of this function. */
|
|
result = XNEWVEC (char, MAX (1, len));
|
|
len = 0;
|
|
for (n = 0; (lang_name = lang_names[n]) != 0; n++)
|
|
if (mask & (1U << n))
|
|
{
|
|
if (len)
|
|
result[len++] = '/';
|
|
strcpy (result + len, lang_name);
|
|
len += strlen (lang_name);
|
|
}
|
|
|
|
result[len] = 0;
|
|
|
|
return result;
|
|
}
|
|
|
|
/* Complain that switch DECODED does not apply to this front end (mask
|
|
LANG_MASK). */
|
|
|
|
static void
|
|
complain_wrong_lang (const struct cl_decoded_option *decoded,
|
|
unsigned int lang_mask)
|
|
{
|
|
const struct cl_option *option = &cl_options[decoded->opt_index];
|
|
const char *text = decoded->orig_option_with_args_text;
|
|
char *ok_langs = NULL, *bad_lang = NULL;
|
|
unsigned int opt_flags = option->flags;
|
|
|
|
if (!warn_complain_wrong_lang)
|
|
return;
|
|
|
|
if (!lang_hooks.complain_wrong_lang_p (option))
|
|
return;
|
|
|
|
opt_flags &= ((1U << cl_lang_count) - 1) | CL_DRIVER;
|
|
if (opt_flags != CL_DRIVER)
|
|
ok_langs = write_langs (opt_flags);
|
|
if (lang_mask != CL_DRIVER)
|
|
bad_lang = write_langs (lang_mask);
|
|
|
|
if (opt_flags == CL_DRIVER)
|
|
error ("command-line option %qs is valid for the driver but not for %s",
|
|
text, bad_lang);
|
|
else if (lang_mask == CL_DRIVER)
|
|
gcc_unreachable ();
|
|
else if (ok_langs[0] != '\0')
|
|
/* Eventually this should become a hard error IMO. */
|
|
warning (0, "command-line option %qs is valid for %s but not for %s",
|
|
text, ok_langs, bad_lang);
|
|
else
|
|
/* Happens for -Werror=warning_name. */
|
|
warning (0, "%<-Werror=%> argument %qs is not valid for %s",
|
|
text, bad_lang);
|
|
|
|
free (ok_langs);
|
|
free (bad_lang);
|
|
}
|
|
|
|
/* Buffer the unknown option described by the string OPT. Currently,
|
|
we only complain about unknown -Wno-* options if they may have
|
|
prevented a diagnostic. Otherwise, we just ignore them. Note that
|
|
if we do complain, it is only as a warning, not an error; passing
|
|
the compiler an unrecognized -Wno-* option should never change
|
|
whether the compilation succeeds or fails. */
|
|
|
|
static void
|
|
postpone_unknown_option_warning (const char *opt)
|
|
{
|
|
ignored_options.safe_push (opt);
|
|
}
|
|
|
|
/* Produce a warning for each option previously buffered. */
|
|
|
|
void
|
|
print_ignored_options (void)
|
|
{
|
|
while (!ignored_options.is_empty ())
|
|
{
|
|
const char *opt;
|
|
|
|
opt = ignored_options.pop ();
|
|
/* Use inform, not warning_at, to avoid promoting these to errors. */
|
|
inform (UNKNOWN_LOCATION,
|
|
"unrecognized command-line option %qs may have been intended "
|
|
"to silence earlier diagnostics", opt);
|
|
}
|
|
}
|
|
|
|
/* Handle an unknown option DECODED, returning true if an error should
|
|
be given. */
|
|
|
|
static bool
|
|
unknown_option_callback (const struct cl_decoded_option *decoded)
|
|
{
|
|
const char *opt = decoded->arg;
|
|
|
|
if (opt[1] == 'W' && opt[2] == 'n' && opt[3] == 'o' && opt[4] == '-'
|
|
&& !(decoded->errors & CL_ERR_NEGATIVE))
|
|
{
|
|
/* We don't generate warnings for unknown -Wno-* options unless
|
|
we issue diagnostics. */
|
|
postpone_unknown_option_warning (opt);
|
|
return false;
|
|
}
|
|
else
|
|
return true;
|
|
}
|
|
|
|
/* Handle a front-end option; arguments and return value as for
|
|
handle_option. */
|
|
|
|
static bool
|
|
lang_handle_option (struct gcc_options *opts,
|
|
struct gcc_options *opts_set,
|
|
const struct cl_decoded_option *decoded,
|
|
unsigned int lang_mask ATTRIBUTE_UNUSED, int kind,
|
|
location_t loc,
|
|
const struct cl_option_handlers *handlers,
|
|
diagnostic_context *dc,
|
|
void (*) (void))
|
|
{
|
|
gcc_assert (opts == &global_options);
|
|
gcc_assert (opts_set == &global_options_set);
|
|
gcc_assert (dc == global_dc);
|
|
gcc_assert (decoded->canonical_option_num_elements <= 2);
|
|
return lang_hooks.handle_option (decoded->opt_index, decoded->arg,
|
|
decoded->value, kind, loc, handlers);
|
|
}
|
|
|
|
/* Handle FILENAME from the command line. */
|
|
|
|
static void
|
|
add_input_filename (const char *filename)
|
|
{
|
|
num_in_fnames++;
|
|
in_fnames = XRESIZEVEC (const char *, in_fnames, num_in_fnames);
|
|
in_fnames[num_in_fnames - 1] = filename;
|
|
}
|
|
|
|
/* Handle the vector of command line options (located at LOC), storing
|
|
the results of processing DECODED_OPTIONS and DECODED_OPTIONS_COUNT
|
|
in OPTS and OPTS_SET and using DC for diagnostic state. LANG_MASK
|
|
contains has a single bit set representing the current language.
|
|
HANDLERS describes what functions to call for the options. */
|
|
|
|
static void
|
|
read_cmdline_options (struct gcc_options *opts, struct gcc_options *opts_set,
|
|
struct cl_decoded_option *decoded_options,
|
|
unsigned int decoded_options_count,
|
|
location_t loc,
|
|
unsigned int lang_mask,
|
|
const struct cl_option_handlers *handlers,
|
|
diagnostic_context *dc)
|
|
{
|
|
unsigned int i;
|
|
|
|
for (i = 1; i < decoded_options_count; i++)
|
|
{
|
|
if (decoded_options[i].opt_index == OPT_SPECIAL_input_file)
|
|
{
|
|
/* Input files should only ever appear on the main command
|
|
line. */
|
|
gcc_assert (opts == &global_options);
|
|
gcc_assert (opts_set == &global_options_set);
|
|
|
|
if (opts->x_main_input_filename == NULL)
|
|
{
|
|
opts->x_main_input_filename = decoded_options[i].arg;
|
|
opts->x_main_input_baselength
|
|
= base_of_path (opts->x_main_input_filename,
|
|
&opts->x_main_input_basename);
|
|
}
|
|
add_input_filename (decoded_options[i].arg);
|
|
continue;
|
|
}
|
|
|
|
read_cmdline_option (opts, opts_set,
|
|
decoded_options + i, loc, lang_mask, handlers,
|
|
dc);
|
|
}
|
|
}
|
|
|
|
/* Language mask determined at initialization. */
|
|
static unsigned int initial_lang_mask;
|
|
|
|
/* Initialize global options-related settings at start-up. */
|
|
|
|
void
|
|
init_options_once (void)
|
|
{
|
|
/* Perform language-specific options initialization. */
|
|
initial_lang_mask = lang_hooks.option_lang_mask ();
|
|
|
|
const bool show_highlight_colors
|
|
= pp_show_highlight_colors (global_dc->get_reference_printer ());
|
|
|
|
lang_hooks.initialize_diagnostics (global_dc);
|
|
/* ??? Ideally, we should do this earlier and the FEs will override
|
|
it if desired (none do it so far). However, the way the FEs
|
|
construct their pretty-printers means that all previous settings
|
|
are overriden. */
|
|
global_dc->set_show_highlight_colors (show_highlight_colors);
|
|
|
|
diagnostic_color_init (global_dc);
|
|
diagnostic_urls_init (global_dc);
|
|
global_dc->refresh_output_sinks ();
|
|
}
|
|
|
|
/* Decode command-line options to an array, like
|
|
decode_cmdline_options_to_array and with the same arguments but
|
|
using the default lang_mask. */
|
|
|
|
void
|
|
decode_cmdline_options_to_array_default_mask (unsigned int argc,
|
|
const char **argv,
|
|
struct cl_decoded_option **decoded_options,
|
|
unsigned int *decoded_options_count)
|
|
{
|
|
decode_cmdline_options_to_array (argc, argv,
|
|
initial_lang_mask | CL_COMMON | CL_TARGET,
|
|
decoded_options, decoded_options_count);
|
|
}
|
|
|
|
/* Set *HANDLERS to the default set of option handlers for use in the
|
|
compilers proper (not the driver). */
|
|
void
|
|
set_default_handlers (struct cl_option_handlers *handlers,
|
|
void (*target_option_override_hook) (void))
|
|
{
|
|
handlers->unknown_option_callback = unknown_option_callback;
|
|
handlers->wrong_lang_callback = complain_wrong_lang;
|
|
handlers->target_option_override_hook = target_option_override_hook;
|
|
handlers->num_handlers = 3;
|
|
handlers->handlers[0].handler = lang_handle_option;
|
|
handlers->handlers[0].mask = initial_lang_mask;
|
|
handlers->handlers[1].handler = common_handle_option;
|
|
handlers->handlers[1].mask = CL_COMMON;
|
|
handlers->handlers[2].handler = target_handle_option;
|
|
handlers->handlers[2].mask = CL_TARGET;
|
|
}
|
|
|
|
/* Parse command line options and set default flag values. Do minimal
|
|
options processing. The decoded options are in *DECODED_OPTIONS
|
|
and *DECODED_OPTIONS_COUNT; settings go in OPTS, OPTS_SET and DC;
|
|
the options are located at LOC. */
|
|
void
|
|
decode_options (struct gcc_options *opts, struct gcc_options *opts_set,
|
|
struct cl_decoded_option *decoded_options,
|
|
unsigned int decoded_options_count,
|
|
location_t loc, diagnostic_context *dc,
|
|
void (*target_option_override_hook) (void))
|
|
{
|
|
struct cl_option_handlers handlers;
|
|
|
|
unsigned int lang_mask;
|
|
|
|
lang_mask = initial_lang_mask;
|
|
|
|
set_default_handlers (&handlers, target_option_override_hook);
|
|
|
|
default_options_optimization (opts, opts_set,
|
|
decoded_options, decoded_options_count,
|
|
loc, lang_mask, &handlers, dc);
|
|
|
|
read_cmdline_options (opts, opts_set,
|
|
decoded_options, decoded_options_count,
|
|
loc, lang_mask,
|
|
&handlers, dc);
|
|
|
|
finish_options (opts, opts_set, loc);
|
|
|
|
/* Print --help=* if used. */
|
|
unsigned i;
|
|
const char *arg;
|
|
|
|
if (!help_option_arguments.is_empty ())
|
|
{
|
|
/* Make sure --help=* sees the overridden values. */
|
|
target_option_override_hook ();
|
|
|
|
FOR_EACH_VEC_ELT (help_option_arguments, i, arg)
|
|
print_help (opts, lang_mask, arg);
|
|
}
|
|
}
|
|
|
|
/* Hold command-line options associated with stack limitation. */
|
|
const char *opt_fstack_limit_symbol_arg = NULL;
|
|
int opt_fstack_limit_register_no = -1;
|
|
|
|
/* Process common options that have been deferred until after the
|
|
handlers have been called for all options. */
|
|
|
|
void
|
|
handle_common_deferred_options (void)
|
|
{
|
|
unsigned int i;
|
|
cl_deferred_option *opt;
|
|
vec<cl_deferred_option> v;
|
|
|
|
if (common_deferred_options)
|
|
v = *((vec<cl_deferred_option> *) common_deferred_options);
|
|
else
|
|
v = vNULL;
|
|
|
|
if (flag_dump_all_passed)
|
|
enable_rtl_dump_file ();
|
|
|
|
if (flag_opt_info)
|
|
opt_info_switch_p (NULL);
|
|
|
|
flag_canon_prefix_map = false;
|
|
FOR_EACH_VEC_ELT (v, i, opt)
|
|
{
|
|
switch (opt->opt_index)
|
|
{
|
|
case OPT_fcall_used_:
|
|
fix_register (opt->arg, 0, 1);
|
|
break;
|
|
|
|
case OPT_fcall_saved_:
|
|
fix_register (opt->arg, 0, 0);
|
|
break;
|
|
|
|
case OPT_fdbg_cnt_:
|
|
dbg_cnt_process_opt (opt->arg);
|
|
break;
|
|
|
|
case OPT_fdebug_prefix_map_:
|
|
add_debug_prefix_map (opt->arg);
|
|
break;
|
|
|
|
case OPT_ffile_prefix_map_:
|
|
add_file_prefix_map (opt->arg);
|
|
break;
|
|
|
|
case OPT_fprofile_prefix_map_:
|
|
add_profile_prefix_map (opt->arg);
|
|
break;
|
|
|
|
case OPT_fcanon_prefix_map:
|
|
flag_canon_prefix_map = opt->value;
|
|
break;
|
|
|
|
case OPT_fdump_:
|
|
/* Deferred until plugins initialized. */
|
|
break;
|
|
|
|
case OPT_fopt_info_:
|
|
if (!opt_info_switch_p (opt->arg))
|
|
error ("unrecognized command-line option %<-fopt-info-%s%>",
|
|
opt->arg);
|
|
break;
|
|
|
|
case OPT_fenable_:
|
|
case OPT_fdisable_:
|
|
if (opt->opt_index == OPT_fenable_)
|
|
enable_pass (opt->arg);
|
|
else
|
|
disable_pass (opt->arg);
|
|
break;
|
|
|
|
case OPT_ffixed_:
|
|
/* Deferred. */
|
|
fix_register (opt->arg, 1, 1);
|
|
break;
|
|
|
|
case OPT_fplugin_:
|
|
#ifdef ENABLE_PLUGIN
|
|
add_new_plugin (opt->arg);
|
|
#else
|
|
error ("plugin support is disabled; configure with "
|
|
"%<--enable-plugin%>");
|
|
#endif
|
|
break;
|
|
|
|
case OPT_fplugin_arg_:
|
|
#ifdef ENABLE_PLUGIN
|
|
parse_plugin_arg_opt (opt->arg);
|
|
#else
|
|
error ("plugin support is disabled; configure with "
|
|
"%<--enable-plugin%>");
|
|
#endif
|
|
break;
|
|
|
|
case OPT_frandom_seed:
|
|
/* The real switch is -fno-random-seed. */
|
|
if (!opt->value)
|
|
set_random_seed (NULL);
|
|
break;
|
|
|
|
case OPT_frandom_seed_:
|
|
set_random_seed (opt->arg);
|
|
break;
|
|
|
|
case OPT_fstack_limit:
|
|
/* The real switch is -fno-stack-limit. */
|
|
if (!opt->value)
|
|
stack_limit_rtx = NULL_RTX;
|
|
break;
|
|
|
|
case OPT_fstack_limit_register_:
|
|
{
|
|
int reg = decode_reg_name (opt->arg);
|
|
if (reg < 0)
|
|
error ("unrecognized register name %qs", opt->arg);
|
|
else
|
|
{
|
|
/* Deactivate previous OPT_fstack_limit_symbol_ options. */
|
|
opt_fstack_limit_symbol_arg = NULL;
|
|
opt_fstack_limit_register_no = reg;
|
|
}
|
|
}
|
|
break;
|
|
|
|
case OPT_fstack_limit_symbol_:
|
|
/* Deactivate previous OPT_fstack_limit_register_ options. */
|
|
opt_fstack_limit_register_no = -1;
|
|
opt_fstack_limit_symbol_arg = opt->arg;
|
|
break;
|
|
|
|
case OPT_fasan_shadow_offset_:
|
|
if (!(flag_sanitize & SANITIZE_KERNEL_ADDRESS))
|
|
error ("%<-fasan-shadow-offset%> should only be used "
|
|
"with %<-fsanitize=kernel-address%>");
|
|
if (!set_asan_shadow_offset (opt->arg))
|
|
error ("unrecognized shadow offset %qs", opt->arg);
|
|
break;
|
|
|
|
case OPT_fsanitize_sections_:
|
|
set_sanitized_sections (opt->arg);
|
|
break;
|
|
|
|
default:
|
|
gcc_unreachable ();
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Handle deferred dump options. */
|
|
|
|
void
|
|
handle_deferred_dump_options (void)
|
|
{
|
|
unsigned int i;
|
|
cl_deferred_option *opt;
|
|
vec<cl_deferred_option> v;
|
|
|
|
if (common_deferred_options)
|
|
v = *((vec<cl_deferred_option> *) common_deferred_options);
|
|
else
|
|
v = vNULL;
|
|
FOR_EACH_VEC_ELT (v, i, opt)
|
|
if (opt->opt_index == OPT_fdump_)
|
|
g->get_dumps ()->dump_switch_p (opt->arg);
|
|
}
|