projects / platform / kernel / linux-rpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8fd74d) | patch
kcsan: Make strict mode imply interruptible watchers
authorMarco Elver <elver@google.com>
Tue, 15 Jun 2021 18:39:38 +0000 (20:39 +0200)
committerPaul E. McKenney <paulmck@kernel.org>
Tue, 20 Jul 2021 20:49:44 +0000 (13:49 -0700)
commite04938042d77addc7f41d983aebea125cddbed33
tree9a338e363133d163ca824fb15a0f3d3c4b701c14tree | snapshot
parentd8fd74d35a8d3c602232e3238e916bda9d03d520commit | diff
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 <paulmck@kernel.org>
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
lib/Kconfig.kcsan diff | blob | history
Domain: System / Kernel;