1 //===----------------------------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
12 // template <class Mutex> class shared_lock;
14 // mutex_type *mutex() const noexcept;
16 #include <shared_mutex>
19 #if _LIBCPP_STD_VER > 11
23 #endif // _LIBCPP_STD_VER > 11
27 #if _LIBCPP_STD_VER > 11
28 std::shared_lock<std::shared_mutex> lk0;
29 assert(lk0.mutex() == nullptr);
30 std::shared_lock<std::shared_mutex> lk1(m);
31 assert(lk1.mutex() == &m);
33 assert(lk1.mutex() == &m);
34 static_assert(noexcept(lk0.mutex()), "mutex() must be noexcept");
35 #endif // _LIBCPP_STD_VER > 11