mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2026-02-28 19:06:51 +01:00
04e49d926f
This demonstrates a larger conversion to use Clang's context analysis. The benefit is additional static checking of locking rules, along with better documentation. Notably, kernel/sched contains sufficiently complex synchronization patterns, and application to core.c & fair.c demonstrates that the latest Clang version has become powerful enough to start applying this to more complex subsystems (with some modest annotations and changes). Signed-off-by: Marco Elver <elver@google.com> Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org> Link: https://patch.msgid.link/20251219154418.3592607-37-elver@google.com
34 lines
1004 B
Plaintext
34 lines
1004 B
Plaintext
# SPDX-License-Identifier: GPL-2.0
|
|
#
|
|
# The suppressions file should only match common paths such as header files.
|
|
# For individual subsytems use Makefile directive CONTEXT_ANALYSIS := [yn].
|
|
#
|
|
# The suppressions are ignored when CONFIG_WARN_CONTEXT_ANALYSIS_ALL is
|
|
# selected.
|
|
|
|
[thread-safety]
|
|
src:*arch/*/include/*
|
|
src:*include/acpi/*
|
|
src:*include/asm-generic/*
|
|
src:*include/linux/*
|
|
src:*include/net/*
|
|
|
|
# Opt-in headers:
|
|
src:*include/linux/bit_spinlock.h=emit
|
|
src:*include/linux/cleanup.h=emit
|
|
src:*include/linux/kref.h=emit
|
|
src:*include/linux/list*.h=emit
|
|
src:*include/linux/local_lock*.h=emit
|
|
src:*include/linux/lockdep.h=emit
|
|
src:*include/linux/mutex*.h=emit
|
|
src:*include/linux/rcupdate.h=emit
|
|
src:*include/linux/refcount.h=emit
|
|
src:*include/linux/rhashtable.h=emit
|
|
src:*include/linux/rwlock*.h=emit
|
|
src:*include/linux/rwsem.h=emit
|
|
src:*include/linux/sched*=emit
|
|
src:*include/linux/seqlock*.h=emit
|
|
src:*include/linux/spinlock*.h=emit
|
|
src:*include/linux/srcu*.h=emit
|
|
src:*include/linux/ww_mutex.h=emit
|