From b1a072eebcb7b8c458e47c01d210e2d5e175cde7 Mon Sep 17 00:00:00 2001 From: Toshaan Bharvani Date: Sat, 3 Dec 2022 22:01:54 +0100 Subject: [PATCH] readd gcc plugin section Signed-off-by: Toshaan Bharvani --- SOURCES/config-x86-64-v2 | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/SOURCES/config-x86-64-v2 b/SOURCES/config-x86-64-v2 index dab6bf0..a9162fa 100644 --- a/SOURCES/config-x86-64-v2 +++ b/SOURCES/config-x86-64-v2 @@ -21,6 +21,18 @@ CONFIG_IRQ_WORK=y CONFIG_BUILDTIME_TABLE_SORT=y CONFIG_THREAD_INFO_IN_TASK=y +# +# GCC Plugin +# +CONFIG_GCC_PLUGINS=y +CONFIG_GCC_PLUGIN_LATENT_ENTROPY=n +CONFIG_GCC_PLUGIN_STRUCTLEAK_USER=n +CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF=n +CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF_ALL=n +CONFIG_GCC_PLUGIN_STACKLEAK=n +CONFIG_RANDSTRUCT_FULL=n +CONFIG_RANDSTRUCT_PERFORMANCE=n + # # General setup #