On Thu, 7 Apr 2011 21:43:44 +0200 Basile Starynkevitch wrote: > > The following tiny patch add some files to PLUGIN_HEADERS. ###### gcc/ChangeLog entry 2011-04-11 Basile Starynkevitch * 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 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: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***