# CONFIG_GCC_PLUGIN_STACKLEAK is not set