On Mon, Sep 21, 2015 at 1:23 PM, Jason Merrill <ja...@redhat.com> wrote: > On 09/21/2015 10:01 AM, Manuel López-Ibáñez wrote: >> >> On 21 September 2015 at 15:46, Daniel Gutson >> <daniel.gut...@tallertechnologies.com> wrote: >>> >>> >>> FWIW, we could make this plugin in 2 weeks (w already have static >>> checkers as plugins for our customers). I understand Nathan that you >>> may have some deadlines, but if we could have the opportunity to >>> implement it, we could accomplish a clean isolation of a particular >>> business needs (despite I acknowledge that a warning about virtual >>> inheritance may be useful for a broader audience). OTOH, a plugin can >>> receive arguments, such as a configuration file which could point to >>> specific sources or hints about where to apply the warning, or a >>> suppression file, both things useful for large legacy code. IMVHO I >>> think this is a superior solution. >>> Please let me know if we could collaborate to get both a better gcc >>> and a better static checker. >> >> >> My opinion is that if people want to "donate" their plugins to the >> FSF, they are willing to maintain them, and they are not overtly >> complex or require any third-party software, they should be added to >> the GCC repository and build/tested. They could serve as examples and >> extra testing for the plugin framework, with the expectation that they >> may get removed if they become unmaintained. > > > Absolutely.
Three of those plugins are already available in bitbucket. Maybe we should move them to the official plugins page. The fourth plugin is under development but I asked for volunteers to test it in ths C++' std-proposals forum, since it enhances the semantic of constexpr in order to allocate memory during constexpr construction and therefore having associative containers in ROM, so this is a special case where the main intent is a proof of concept for a C++ proposal. > > Jason > > -- Daniel F. Gutson Chief Engineering Officer, SPD San Lorenzo 47, 3rd Floor, Office 5 Córdoba, Argentina Phone: +54 351 4217888 / +54 351 4218211 Skype: dgutson LinkedIn: http://ar.linkedin.com/in/danielgutson