OSDN Git Service

Daily bump.
[pf3gnuchains/gcc-fork.git] / gcc / plugin.h
index 3269641..4d2d12a 100644 (file)
@@ -31,6 +31,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 (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);