diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2010-05-25 14:01:45 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2010-05-25 14:01:45 +0100 |
| commit | a13812e2c83b6cc3fcc324ca3c855af68d31daa6 (patch) | |
| tree | 013d843f2cba975bbb1d9e3277b722a21d0aec70 /gcc/plugin.h | |
| parent | 791bddee093414f72f673e0fefb405c8eca32e23 (diff) | |
| download | gcc-a13812e2c83b6cc3fcc324ca3c855af68d31daa6.tar.gz | |
diagnostic.c: Don't include plugin.h.
* diagnostic.c: Don't include plugin.h.
(diagnostic_report_diagnostic): Don't handle plugins specially
here. Pass context to internal_error callback.
* diagnostic.h (struct diagnostic_context): Add context parameter
to internal_error callback.
* plugin.c (warn_if_plugins, plugins_internal_error_function):
New.
* plugin.h (struct diagnostic_context): Declare.
(warn_if_plugins, plugins_internal_error_function): Declare.
* toplev.c (general_init): Set global_dc->internal_error.
* Makefile.in (diagnostic.o): Update dependencies.
ada:
* gcc-interface/misc.c (internal_error_function): Add context
parameter. Use it to access show_column flag and instead of using
global_dc. Call warn_if_plugins.
* gcc-interface/Make-lang.in (ada/misc.o): Update dependencies.
From-SVN: r159819
Diffstat (limited to 'gcc/plugin.h')
| -rw-r--r-- | gcc/plugin.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/plugin.h b/gcc/plugin.h index 3269641df0a..ec0420346f4 100644 --- a/gcc/plugin.h +++ b/gcc/plugin.h @@ -23,6 +23,7 @@ along with GCC; see the file COPYING3. If not see #include "gcc-plugin.h" struct attribute_spec; +struct diagnostic_context; extern void add_new_plugin (const char *); extern void parse_plugin_arg_opt (const char *); @@ -31,6 +32,9 @@ extern void initialize_plugins (void); extern bool plugins_active_p (void); extern void dump_active_plugins (FILE *); extern void debug_active_plugins (void); +extern void warn_if_plugins (void); +extern void plugins_internal_error_function (struct diagnostic_context *, + const char *, va_list *); extern void print_plugins_versions (FILE *file, const char *indent); extern void print_plugins_help (FILE *file, const char *indent); extern void finalize_plugins (void); |