13628ec910b9e154f3bcfd93b9a34b3977bfe860
1 /* Header file for internal GCC plugin mechanism.
2 Copyright (C) 2009, 2010 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License 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/>. */
23 #include "gcc-plugin.h"
25 struct attribute_spec
;
27 extern void add_new_plugin (const char *);
28 extern void parse_plugin_arg_opt (const char *);
29 extern int invoke_plugin_callbacks_full (int, void *);
30 extern void initialize_plugins (void);
31 extern bool plugins_active_p (void);
32 extern void dump_active_plugins (FILE *);
33 extern void debug_active_plugins (void);
34 extern void print_plugins_versions (FILE *file
, const char *indent
);
35 extern void print_plugins_help (FILE *file
, const char *indent
);
36 extern void finalize_plugins (void);
38 /* Called from inside GCC. Invoke all plugin callbacks registered with
40 Return PLUGEVT_SUCCESS if at least one callback was called,
41 PLUGEVT_NO_CALLBACK if there was no callback.
43 EVENT - the event identifier
44 GCC_DATA - event-specific data provided by the compiler */
47 invoke_plugin_callbacks (int event
, void *gcc_data
)
50 /* True iff at least one plugin has been added. */
51 extern bool flag_plugin_added
;
53 if (flag_plugin_added
)
54 return invoke_plugin_callbacks_full (event
, gcc_data
);
57 return PLUGEVT_NO_CALLBACK
;
62 extern void register_attribute (const struct attribute_spec
*attr
);