15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier //
9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads
1031cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // <shared_mutex>
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // template <class Mutex> class shared_lock;
155a83710eSEric Fiselier 
165a83710eSEric Fiselier // void swap(shared_lock& u) noexcept;
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include <shared_mutex>
195a83710eSEric Fiselier #include <cassert>
205a83710eSEric Fiselier 
217fc6a556SMarshall Clow #include "test_macros.h"
227fc6a556SMarshall Clow 
235a83710eSEric Fiselier struct mutex
245a83710eSEric Fiselier {
lock_sharedmutex255a83710eSEric Fiselier     void lock_shared() {}
unlock_sharedmutex265a83710eSEric Fiselier     void unlock_shared() {}
275a83710eSEric Fiselier };
285a83710eSEric Fiselier 
295a83710eSEric Fiselier mutex m;
305a83710eSEric Fiselier 
main(int,char **)312df59c50SJF Bastien int main(int, char**)
325a83710eSEric Fiselier {
335a83710eSEric Fiselier     std::shared_lock<mutex> lk1(m);
345a83710eSEric Fiselier     std::shared_lock<mutex> lk2;
355a83710eSEric Fiselier     lk1.swap(lk2);
365a83710eSEric Fiselier     assert(lk1.mutex() == nullptr);
375a83710eSEric Fiselier     assert(lk1.owns_lock() == false);
385a83710eSEric Fiselier     assert(lk2.mutex() == &m);
395a83710eSEric Fiselier     assert(lk2.owns_lock() == true);
405a83710eSEric Fiselier     static_assert(noexcept(lk1.swap(lk2)), "member swap must be noexcept");
412df59c50SJF Bastien 
422df59c50SJF Bastien   return 0;
435a83710eSEric Fiselier }
44