Sebastien Binet wrote: > hi there, > > I discovered the Dehydra GCC plugin in the proceedings of the GCC > summit'08. > I was wondering what was the status of the inclusion of the needed > hooks to get a bare-bone infrastructure for plugins ? > (having to patch the GCC sources isn't that convenient, even if > doable)
The build instructions for Dehydra can be found here: http://developer.mozilla.org/en/Dehydra_GCC All of the necessary patches have not yet been accepted into GCC trunk sources, and we are currently still targeting GCC 4.3 (and GCC 4.2 on mac). It is not clear that they will be approved in time for the 4.4 release; before the actual plugin patches are accepted, the FSF wants to make a change to the libgcc exception clause so that plugins cannot be used to subvert the GPL license of GCC. --BDS _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
