Annotate scoped_lock as with scoped_lockable attribute
authorAaron Puchert <aaronpuchert@alice-dsl.net>
Tue, 9 Oct 2018 23:42:29 +0000 (23:42 +0000)
committerAaron Puchert <aaronpuchert@alice-dsl.net>
Tue, 9 Oct 2018 23:42:29 +0000 (23:42 +0000)
commit7f208f02dbea6225db15dbdbf0e8d4778cc36fc5
tree941a50e49592b50029dd050fbb6d5c6b7a830238
parente5f47bbeaccb3778bc604d29f8768ccbc400ceca
Annotate scoped_lock as with scoped_lockable attribute

Summary:
Scoped capabilities need to be annotated as such, otherwise the thread
safety analysis won't work as intended.

Fixes PR39234.

Reviewers: ldionne

Reviewed By: ldionne

Subscribers: christof, libcxx-commits

Differential Revision: https://reviews.llvm.org/D53049

llvm-svn: 344096
libcxx/include/mutex
libcxx/test/libcxx/thread/thread.mutex/thread_safety_lock_guard.pass.cpp