diff options
| author | baldrick <baldrick@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-09-28 08:50:39 +0000 |
|---|---|---|
| committer | baldrick <baldrick@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-09-28 08:50:39 +0000 |
| commit | 86b6369622fb5ab4b0fc6e5bd2ff40cb25ad4166 (patch) | |
| tree | 194a436e90764acef2d9ddd4041e1b96fecade5a /gcc/gcc-plugin.h | |
| parent | 634c15dc444b793c959353a4cb61294ca30fda9c (diff) | |
| download | gcc-86b6369622fb5ab4b0fc6e5bd2ff40cb25ad4166.tar.gz | |
Add support for using ggc cache tables from plugins.
Approved by Ian Lance Taylor.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@152232 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/gcc-plugin.h')
| -rw-r--r-- | gcc/gcc-plugin.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/gcc-plugin.h b/gcc/gcc-plugin.h index 9fbdc91af25..84f0aedb1b3 100644 --- a/gcc/gcc-plugin.h +++ b/gcc/gcc-plugin.h @@ -40,6 +40,7 @@ enum plugin_event PLUGIN_GGC_MARKING, /* Extend the GGC marking. */ PLUGIN_GGC_END, /* Called at end of GGC. */ PLUGIN_REGISTER_GGC_ROOTS, /* Register an extra GGC root table. */ + PLUGIN_REGISTER_GGC_CACHES, /* Register an extra GGC cache table. */ PLUGIN_ATTRIBUTES, /* Called during attribute registration. */ PLUGIN_START_UNIT, /* Called before processing a translation unit. */ PLUGIN_EVENT_LAST /* Dummy event used for indexing callback @@ -144,8 +145,8 @@ typedef void (*plugin_callback_func) (void *gcc_data, void *user_data); */ /* This is also called without a callback routine for the - PLUGIN_PASS_MANAGER_SETUP, PLUGIN_INFO, PLUGIN_REGISTER_GGC_ROOTS - pseudo-events, with a specific user_data. + PLUGIN_PASS_MANAGER_SETUP, PLUGIN_INFO, PLUGIN_REGISTER_GGC_ROOTS and + PLUGIN_REGISTER_GGC_CACHES pseudo-events, with a specific user_data. */ extern void register_callback (const char *plugin_name, |