On Tue, Oct 23, 2007 at 05:57:38PM +0100, Maciej W. Rozycki wrote: > On Fri, 12 Oct 2007, Adrian Bunk wrote: > > > - Most of the string annotations are (naturally) dev{init,exit} > > annotations, and bugs there are therefore in configurations that have > > only extremely low testing coverage during -rc. > > - I'm counting 22 annotations in the driver Maciej converted as an > > example. When estimating the number of possible annotations based > > on the number of C files in the kernel I'm getting a six digit > > number. > > > > No matter how hard it would be to teach gcc about it, when thinking of > > the amount of __*init*/__*exit* bugs we already have I simply can't > > imagine the string annotations as a maintainable solution. > > Well, it is up to the maintainer of code in question to get it right if > interested. Otherwise having no annotation and leaving the relevant > strings resident in the memory throughout the lifespan of the system is a > valid and perfectly working option. If we want to go this route users may want to have this for all code they are using. This is not a per-maintainer question, that's a global thing: If janitors start annotating all source files in the kernel the resulting patches can't be accepted or rejected only based on the personal preferences of the maintainers. > If you worry about the reverse case, where an annotation should be > removed because the containing function is no longer __*init*/__*exit*, > then I think `modpost' does a reasonably good job finding such places. As long as the modpost warnings are just warnings they will often be missed at compile time. And most of the annotations (also in the driver you converted as an example) will be dev{init,exit} annotations, and bugs there are in configurations virtually noone tests during -rc > Maciej cu Adrian -- "Is there not promise of rain?" Ling Tan asked suddenly out of the darkness. There had been need of rain for many days. "Only a promise," Lao Er said. Pearl S. Buck - Dragon Seed