diff options
| author | Marco Elver <elver@google.com> | 2019-11-14 21:02:58 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2019-11-16 18:23:14 +0300 |
| commit | 0ebba7141eadc4804ec5b4bb5106331b0c3abf4c (patch) | |
| tree | a617750df8458739f01d1255ab33249f1de4b25f /kernel/sched/Makefile | |
| parent | 5f5c971292b43fed68273d5cba7202f6bd953df9 (diff) | |
| download | linux-0ebba7141eadc4804ec5b4bb5106331b0c3abf4c.tar.xz | |
build, kcsan: Add KCSAN build exceptions
This blacklists several compilation units from KCSAN. See the respective
inline comments for the reasoning.
Signed-off-by: Marco Elver <elver@google.com>
Acked-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'kernel/sched/Makefile')
| -rw-r--r-- | kernel/sched/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/sched/Makefile b/kernel/sched/Makefile index 21fb5a5662b5..e9307a9c54e7 100644 --- a/kernel/sched/Makefile +++ b/kernel/sched/Makefile @@ -7,6 +7,12 @@ endif # that is not a function of syscall inputs. E.g. involuntary context switches. KCOV_INSTRUMENT := n +# There are numerous races here, however, most of them due to plain accesses. +# This would make it even harder for syzbot to find reproducers, because these +# bugs trigger without specific input. Disable by default, but should re-enable +# eventually. +KCSAN_SANITIZE := n + ifneq ($(CONFIG_SCHED_OMIT_FRAME_POINTER),y) # According to Alan Modra <alan@linuxcare.com.au>, the -fno-omit-frame-pointer is # needed for x86 only. Why this used to be enabled for all architectures is beyond |