================ @@ -29,6 +29,13 @@ struct LOCKABLE Mutex {}; struct Foo { struct Mutex *mu_; + int a_value GUARDED_BY(mu_); ---------------- pdherbemont wrote: done! https://github.com/llvm/llvm-project/pull/94216