Linux kernel is adding support for a new mechanism to validate lock usage during compile-time. It depends on a new Clang feature called Thread Safety Analysis. "Implement compiler-driven static analysis locking context checking, using the upcoming Clang 22 compiler's context analysis features." https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=0923fd0419a1a2c8846e15deacac11b619e996d9 Documentation/dev-tools/context-analysis.rst https://github.com/torvalds/linux/blob/master/Documentation/dev-tools/context-analysis.rst Thread Safety Analysis https://clang.llvm.org/docs/ThreadSafetyAnalysis.html