Hello
I believe plugins and PCH are not always mixing well. For sure, plugins
which are using PLUGIN_REGISTER_GGC_ROOTS & are called when *generating*
a precompiled header should be coded with extraordinary care, and very
probably some more suppport is needed inside the GCC trunk.
See the discussion on
http://gcc.gnu.org/ml/gcc-patches/2009-07/msg00507.html for more.
Maybe we should for the moment issue a warning when a precompiled header
is generated with plugins having used PLUGIN_REGISTER_GGC_ROOTS?
To be safe, the generated *gch file should know all the active plugins
when it was generated. We also need a "dynamic tag" support which I only
sketched in the discussion of
http://gcc.gnu.org/ml/gcc-patches/2009-07/msg00507.html
Of course, this does not affect the read of precompiled headers.
Comments are welcome.
Regards.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***
