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
11d4ad2adbSEric Fiselier //
12f03ac381SLouis Dionne // ALLOW_RETRIES: 2
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // <shared_mutex>
155a83710eSEric Fiselier 
165a83710eSEric Fiselier // template <class Mutex> class shared_lock;
175a83710eSEric Fiselier 
185a83710eSEric Fiselier // bool try_lock();
195a83710eSEric Fiselier 
205a83710eSEric Fiselier #include <shared_mutex>
215a83710eSEric Fiselier #include <cassert>
226cb05ca3SChristopher Di Bella #include <mutex>
235a83710eSEric Fiselier 
2460d6ef63SRoger Ferrer Ibanez #include "test_macros.h"
2560d6ef63SRoger Ferrer Ibanez 
265a83710eSEric Fiselier bool try_lock_called = false;
275a83710eSEric Fiselier 
285a83710eSEric Fiselier struct mutex
295a83710eSEric Fiselier {
try_lock_sharedmutex305a83710eSEric Fiselier     bool try_lock_shared()
315a83710eSEric Fiselier     {
325a83710eSEric Fiselier         try_lock_called = !try_lock_called;
335a83710eSEric Fiselier         return try_lock_called;
345a83710eSEric Fiselier     }
unlock_sharedmutex355a83710eSEric Fiselier     void unlock_shared() {}
365a83710eSEric Fiselier };
375a83710eSEric Fiselier 
385a83710eSEric Fiselier mutex m;
395a83710eSEric Fiselier 
main(int,char **)402df59c50SJF Bastien int main(int, char**)
415a83710eSEric Fiselier {
425a83710eSEric Fiselier     std::shared_lock<mutex> lk(m, std::defer_lock);
435a83710eSEric Fiselier     assert(lk.try_lock() == true);
445a83710eSEric Fiselier     assert(try_lock_called == true);
455a83710eSEric Fiselier     assert(lk.owns_lock() == true);
4660d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
475a83710eSEric Fiselier     try
485a83710eSEric Fiselier     {
49ba40b056SBilly Robert O'Neal III         TEST_IGNORE_NODISCARD lk.try_lock();
505a83710eSEric Fiselier         assert(false);
515a83710eSEric Fiselier     }
525a83710eSEric Fiselier     catch (std::system_error& e)
535a83710eSEric Fiselier     {
545a83710eSEric Fiselier         assert(e.code().value() == EDEADLK);
555a83710eSEric Fiselier     }
5660d6ef63SRoger Ferrer Ibanez #endif
575a83710eSEric Fiselier     lk.unlock();
585a83710eSEric Fiselier     assert(lk.try_lock() == false);
595a83710eSEric Fiselier     assert(try_lock_called == false);
605a83710eSEric Fiselier     assert(lk.owns_lock() == false);
615a83710eSEric Fiselier     lk.release();
6260d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
635a83710eSEric Fiselier     try
645a83710eSEric Fiselier     {
65ba40b056SBilly Robert O'Neal III         TEST_IGNORE_NODISCARD lk.try_lock();
665a83710eSEric Fiselier         assert(false);
675a83710eSEric Fiselier     }
685a83710eSEric Fiselier     catch (std::system_error& e)
695a83710eSEric Fiselier     {
705a83710eSEric Fiselier         assert(e.code().value() == EPERM);
715a83710eSEric Fiselier     }
7260d6ef63SRoger Ferrer Ibanez #endif
732df59c50SJF Bastien 
742df59c50SJF Bastien   return 0;
755a83710eSEric Fiselier }
76