plugins & PCH are incompatible ...

[Basile STARYNKEVITCH]

Hello All,

In my perception, plugins and precompiled headers generation are 
incompatible, since when the generated PCH would be reloaded, the 
plugins might not be available or similar enough.

Or is there already some mechanism avoiding (or at least checking 
reliably) PCH generation with plugins?

The small attached patch to trunk rev 146887 (bootstrapped for C on 
x86_64-linux-gnu) issues an error message when plugins are used while 
asking for a PCH file to be written.

Changelog:
2009-04-28  Basile Starynkevitch  <basile@starynkevitch.net>
    * plugin.c: Added include of "c-common.h" for pch_file.
    (initialize_plugins): Issue an error when generating PCH.

Ok for trunk?

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} ***

-------------- next part --------------
A non-text attachment was scrubbed...
Name: plugin-pch-trunk-rev146887.patch
Type: text/x-patch
Size: 872 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20090428/507e5dff/attachment.bin>