[<prev] [next>] [day] [month] [year] [list]
Message-ID: <1451575230-11103-1-git-send-email-aryabinin@virtuozzo.com>
Date: Thu, 31 Dec 2015 18:20:30 +0300
From: Andrey Ryabinin <aryabinin@...tuozzo.com>
To: <akpm@...ux-foundation.org>
CC: <linux-kernel@...r.kernel.org>,
Andrey Ryabinin <aryabinin@...tuozzo.com>
Subject: [PATCH] ubsan-run-time-undefined-behavior-sanity-checker-fix-5
Don't use 'bounds-strict' checker. It's a new checker that showed up
in GCC 6. It appeared to cause a lot of false positives in dynamically
allocated structs which has array as the last field, e.g:
[ 72.707515] UBSAN: Undefined behaviour in kernel/pid.c:506:23
[ 72.707517] index 2 is out of range for type 'upid [1]'
Anyway, we have KASAN for these kind of bugs, so we won't loose much by
disabling bounds-strict.
Signed-off-by: Andrey Ryabinin <aryabinin@...tuozzo.com>
---
scripts/Makefile.ubsan | 1 -
1 file changed, 1 deletion(-)
diff --git a/scripts/Makefile.ubsan b/scripts/Makefile.ubsan
index 0a0b36d..8ab6867 100644
--- a/scripts/Makefile.ubsan
+++ b/scripts/Makefile.ubsan
@@ -6,7 +6,6 @@ ifdef CONFIG_UBSAN
CFLAGS_UBSAN += $(call cc-option, -fsanitize=null)
CFLAGS_UBSAN += $(call cc-option, -fsanitize=signed-integer-overflow)
CFLAGS_UBSAN += $(call cc-option, -fsanitize=bounds)
- CFLAGS_UBSAN += $(call cc-option, -fsanitize=bounds-strict)
CFLAGS_UBSAN += $(call cc-option, -fsanitize=object-size)
CFLAGS_UBSAN += $(call cc-option, -fsanitize=returns-nonnull-attribute)
CFLAGS_UBSAN += $(call cc-option, -fsanitize=bool)
--
2.4.10
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists