On Wed, Dec 10, 2025 at 05:18:16PM +0100, Marco Elver wrote: > All, > > On Thu, Nov 20, 2025 at 03:49PM +0100, Marco Elver wrote: > > Context Analysis is a language extension, which enables statically > > checking that required contexts are active (or inactive) by acquiring > > and releasing user-definable "context guards". An obvious application is > > lock-safety checking for the kernel's various synchronization primitives > > (each of which represents a "context guard"), and checking that locking > > rules are not violated. > [...] > > A Clang version that supports `-Wthread-safety-pointer` and the new > > alias-analysis of context-guard pointers is required (from this version > > onwards): > > > > > > https://github.com/llvm/llvm-project/commit/7ccb5c08f0685d4787f12c3224a72f0650c5865e > > > > The minimum required release version will be Clang 22. > > > > This series is also available at this Git tree: > > > > > > https://git.kernel.org/pub/scm/linux/kernel/git/melver/linux.git/log/?h=ctx-analysis/dev > [...] > > I realize that I sent this series at the end of the last release cycle, > and now we're in the merge window, along with LPC going on -- so it > wasn't the best timing (however, it might be something to discuss at > LPC, too :-) .. I'm attending virtually, however :-/). > > How to proceed?
Ah, I knew I was forgetting something :/ I'll try and have a peek at this series this week.
