diff options
| author | Duncan Sands <baldrick@free.fr> | 2009-09-28 10:50:39 +0200 |
|---|---|---|
| committer | Duncan Sands <baldrick@gcc.gnu.org> | 2009-09-28 08:50:39 +0000 |
| commit | 32c9b4e92473a94323f4198c4fc2a34f6052f30e (patch) | |
| tree | 194a436e90764acef2d9ddd4041e1b96fecade5a /gcc/gcc-plugin.h | |
| parent | bd77e02dac3326a073283468832c6e5bb66291bf (diff) | |
| download | gcc-32c9b4e92473a94323f4198c4fc2a34f6052f30e.zip gcc-32c9b4e92473a94323f4198c4fc2a34f6052f30e.tar.gz gcc-32c9b4e92473a94323f4198c4fc2a34f6052f30e.tar.bz2 | |
Add support for using ggc cache tables from plugins.
Approved by Ian Lance Taylor.
From-SVN: r152232
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 9fbdc91..84f0aed 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, |