Very cool! And with the advent of coding agents I believe annotations will come sooner rather than later
Clang's -Wthread-safety, named "Context Analysis" for the Linux kernel finally merged after a year's worth of work: git.kernel.org/torvalds/c/092…
docs.kernel.org/next/dev-tools…
Currently opt-in; go and set 'CONTEXT_ANALYSIS := y' for any kernel code you're developing. Needs Clang 22+.
