Ping Patch: add {tree,gimple}-pretty-print.h & realmpfr.h to PLUGIN_HEADERS

[Basile Starynkevitch]

On Thu, 7 Apr 2011 21:43:44 +0200
Basile Starynkevitch <basile@starynkevitch.net> wrote:
> > The following tiny patch add some files to PLUGIN_HEADERS. 

###### gcc/ChangeLog entry
2011-04-11  Basile Starynkevitch  <basile@starynkevitch.net>
	* Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h 
        tree-pretty-print.h & realmpfr.h.
######

> Some more explanations about why I feel these files are badly needed
> for plugins (not only for MELT as a plugin, but for other plugins).
> 
> Pretty printing routines are very useful to help understand, debug, and
> dump any additional passes, so plugin providing passes working on
> Gimple or Tree need the gimple-pretty-print.h & tree-pretty-print.h, 
> since to call dumping or debug routines like debug_c_tree or 
> print_declaration or dump_gimple_stmt you need to include these files.
> Please consider that people coding plugins know Gimple & Tree much 
> less than GCC top level experts, and they are much more likely to 
> need debug or dumping routines!
> 
> The realmpfr.h file is needed to operate on tree or gimple containing 
> real constants. For instance, a plugin to find all occurrences (in
> Gimple) of 3.14159 need it, or also a plugin which constant-fold the
> calls to <math.h> which are not already constant folded in GCC, or a
> plugin which constant-fold calls to some other (but less standard)
> numerical library.

Ok for trunk?
-- 
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} ***
-------------- next part --------------
A non-text attachment was scrubbed...
Name: plugin-headers-gcc-r172124.diff
Type: text/x-diff
Size: 556 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20110411/751d2006/attachment.bin>