GCC plugins

configname: CONFIG_GCC_PLUGINS

Linux Kernel Configuration
└─>GCC plugins
In linux kernel since version 3.10 (release Date: 2013-06-30)  
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.

depends
CONFIG_HAVE_GCC_PLUGINS
NOT CONFIG_COMPILE_TEST or CONFIG_PLUGIN_HOSTCC or CONFIG_CC_IS_GCC or CONFIG_success


is depended by
CONFIG_KCOV