<div dir="ltr"><div>Hi,<br></div><div><br></div><div>I've been experimenting with -Wthread-safety in clang/libc++.  The documentation at <a href="https://libcxx.llvm.org/docs/UsingLibcxx.html">https://libcxx.llvm.org/docs/UsingLibcxx.html</a> says that _LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS is 'used to enable -Wthread-safety annotations on libc++’s std::mutex and std::lock_guard'.</div><div><br></div><div>I'm hoping to use thread-safety analysis for a sizeable code base which makes a lot of use of unique_lock, but there's no libc++ annotations for unique_lock, just for lock_guard.  What is the status of this?  Is this something that might be addressed in the future, or is it fundamentally problematic?  I gather it's complicated by the optional deferred locking semantics.<br></div><div><br></div><div>For my purposes I can work around the issue by changing uses of unique_lock to instead be lock_guard (which needs to be done anyway) so it's not a show-stopper for me, just curious.</div><div><br></div><div>Thanks!<br></div></div>