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 <a href="https://www.kernel.org/doc/Documentation/gcc-plugins.txt">Documentation/gcc-plugins.txt</a> for details.
compiler. They are useful for runtime instrumentation and static analysis.
See <a href="https://www.kernel.org/doc/Documentation/gcc-plugins.txt">Documentation/gcc-plugins.txt</a> for details.