diff options
| author | Marco Elver <elver@google.com> | 2025-12-19 16:40:09 +0100 |
|---|---|---|
| committer | Peter Zijlstra <peterz@infradead.org> | 2026-01-05 16:43:32 +0100 |
| commit | 47907461e4f6fcdce8cf91dd164369192deeb7c4 (patch) | |
| tree | 7bd6c1b08792910ec5d2eca8d236b28c0370862b /include/linux/compiler-context-analysis.h | |
| parent | d3febf16dee28a74b01ba43195ee4965edb6208f (diff) | |
locking/ww_mutex: Support Clang's context analysis
Add support for Clang's context analysis for ww_mutex.
The programming model for ww_mutex is subtly more complex than other
locking primitives when using ww_acquire_ctx. Encoding the respective
pre-conditions for ww_mutex lock/unlock based on ww_acquire_ctx state
using Clang's context analysis makes incorrect use of the API harder.
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Link: https://patch.msgid.link/20251219154418.3592607-21-elver@google.com
Diffstat (limited to 'include/linux/compiler-context-analysis.h')
0 files changed, 0 insertions, 0 deletions