[libcxx-dev] std::unique_lock with thread annotations
Eric Fiselier via libcxx-dev
libcxx-dev at lists.llvm.org
Fri Oct 11 20:19:20 PDT 2019
Last time I looked the attributes weren't expressive enough to model
I don't believe there's any work on going to improve this.
I'll happily annotate `unique_lock` when Clang can model it.
On Fri, Oct 11, 2019, 9:51 PM Pooyan McSporran via libcxx-dev <
libcxx-dev at lists.llvm.org> wrote:
> I've been experimenting with -Wthread-safety in clang/libc++. The
> documentation at https://libcxx.llvm.org/docs/UsingLibcxx.html says that
> _LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS is 'used to enable -Wthread-safety
> annotations on libc++’s std::mutex and std::lock_guard'.
> 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
> 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.
> libcxx-dev mailing list
> libcxx-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the libcxx-dev