From: Marco Elver Date: Tue, 15 Jun 2021 18:39:38 +0000 (+0200) Subject: kcsan: Make strict mode imply interruptible watchers X-Git-Tag: v5.15-rc1~119^2~1^2 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e04938042d77addc7f41d983aebea125cddbed33;p=thirdparty%2Fkernel%2Flinux.git kcsan: Make strict mode imply interruptible watchers If CONFIG_KCSAN_STRICT=y, select CONFIG_KCSAN_INTERRUPT_WATCHER as well. With interruptible watchers, we'll also report same-CPU data races; if we requested strict mode, we might as well show these, too. Suggested-by: Paul E. McKenney Signed-off-by: Marco Elver Signed-off-by: Paul E. McKenney --- diff --git a/lib/Kconfig.kcsan b/lib/Kconfig.kcsan index 26f03c754d39b..e0a93ffdef30e 100644 --- a/lib/Kconfig.kcsan +++ b/lib/Kconfig.kcsan @@ -150,7 +150,8 @@ config KCSAN_SKIP_WATCH_RANDOMIZE KCSAN_WATCH_SKIP. config KCSAN_INTERRUPT_WATCHER - bool "Interruptible watchers" + bool "Interruptible watchers" if !KCSAN_STRICT + default KCSAN_STRICT help If enabled, a task that set up a watchpoint may be interrupted while delayed. This option will allow KCSAN to detect races between