Говорили они:
CONFIG_GCC_PLUGINS: GCC plugins are loadable modules that provide extra features to the compiler. They are useful for runtime instrumentation and static analysis. See Documentation/gcc-plugins.txt for details.
Ссылка на кате.
Кто использует? С чем? С какой целью? В чем профит? Спасибо.