Hi all, Diego Novillo wrote: > > After the FSF gives final approval on the plugin feature, we will need > to coordinate towards one common plugin interface for GCC. I don't > think we should be adding two different and incompatible plugin harnesses. > > I am CCing everyone who I know is working on plugin features. Apologies > if I missed anyone. > > I would like to start by understanding what the plugin API should have. > What features do we want to support? What should we export? What > should be the user interface to incorporate plugin code? At what point > in the compilation stage should it kick in? > > Once we define a common API and then we can take the implementation from > the existing branches. Perhaps create a common branch? I would also > like to understand what the status and features of the different > branches is. > > If it would help to have a conference call or IRC meeting, I can set one > up for all the parties interested. But first, I would like to hash the > main issues on the lists.
We, at Bordeaux University (France), have been essentially using the gcc-plugins branch from the SVN to build a prototype of model extractor of C code (we didn't look at Java yet but it was planned). So, we did plug at the 'pass_plugin_gimple' pass to get the Gimple code out. Once at this stage, we used 'current_function_decl' as starting point to extract the CFG of the functions (browsing the data-structure to extract each basic block and all useful data about the function). What we expect from the plug-ins in GCC is a way to _export_ the GIMPLEd control-flow graph, the data-types of the variables and everything which can be useful to perform a symbolic execution of it (using model-checking). Note that we might also need an annotated programs in order to link it back to the original source code which would help to report errors back to the programmer. Nevertheless, as Basile asked for it, it would be nice to have an update of the recent advances about what the GCC core team decided about the plugins ! :) Regards -- Emmanuel Fleury Associate Professor, | Room: 261 LaBRI, Domaine Universitaire | Phone: +33 (0)5 40 00 69 34 351, Cours de la Libération | Email: [EMAIL PROTECTED] 33405 Talence Cedex, France | URL: http://www.labri.fr/~fleury
