On Thu, May 5, 2011 at 12:53, Pierre Vittet <pier...@pvittet.com> wrote: > Hello, > > I would like to announce that I have been able to compile GCC while checking > it with a simple MELT plugin that I have wrote. This plugin is integrated > into GCC by using the MELT plugin. I guess this is the first successfull use > of MELT with a huge real program like GCC. > > For those who are not really aware about MELT and how it works: > MELT is available into 2 forms: > -A GCC branch > -A GCC plugin > > Here I have use MELT as a GCC plugin. > > This GCC plugin loads a melt.so library which has severals modes. > Firstly I have use the translatetomodule mode. This mode allows me to > translate my plugin (which is a file "test_fopen.melt") into several C files > and then into a dynamic test_fopen.so.
Congratulations! I've always found MELT interesting as an exercise in impossibility and I'm very impressed at how far you folks have gotten. I would've never thought that it would be possible to write this kind of plugin given the lack of proper interfaces. Keep it up! If nothing else, I think we should use something like MELT to improve plugin support in the compiler. Do you have any plans for MELT to produce some set of static analyzers that people can use off-the-shelf? Diego.
