Commit e0493804 authored by Marco Elver's avatar Marco Elver Committed by Paul E. McKenney
Browse files

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: default avatarPaul E. McKenney <paulmck@kernel.org>
Signed-off-by: default avatarMarco Elver <elver@google.com>
Signed-off-by: default avatarPaul E. McKenney <paulmck@kernel.org>
parent d8fd74d3

lib/Kconfig.kcsan

+2 −1
Original line number Diff line number Diff line
@@ -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