On Mon, 23 May 2011 22:23:01 +0200 Richard Guenther <richard.guent...@gmail.com> wrote: [...] > plugin header? what's that? [...]
The headers made available to and installed for plugins, thru the PLUGIN_HEADERS variable of the gcc/Makefile.in near line 4572 After installation, plugin developers can access them because they got installed under $(gcc -print-file-name=plugin)/include And I strongly believe that debug functions should be declared in some files installed there. Which file is somehow an important implementation detail. I am not at all sure that putting all debug functions into a debug-functions.h brings more modularity. Because debug functions belong more to the sub-part of GCC they are related to. So I see no win in moving debug_tree from tree.h to an hypothetical debug-functions.h; hence I believe that Pierre's patch is indeed necessary. 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 mine, sont seulement les miennes} ***