[PATCH v4 00/35] Compiler-Based Context- and Locking-Analysis

[Peter Zijlstra]

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.