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
10d4ad2adbSEric Fiselier //
11f03ac381SLouis Dionne // ALLOW_RETRIES: 2
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // <mutex>
145a83710eSEric Fiselier 
155a83710eSEric Fiselier // template <class Mutex> class unique_lock;
165a83710eSEric Fiselier 
175a83710eSEric Fiselier // bool try_lock();
185a83710eSEric Fiselier 
195a83710eSEric Fiselier #include <mutex>
205a83710eSEric Fiselier #include <cassert>
215a83710eSEric Fiselier 
2260d6ef63SRoger Ferrer Ibanez #include "test_macros.h"
2360d6ef63SRoger Ferrer Ibanez 
245a83710eSEric Fiselier bool try_lock_called = false;
255a83710eSEric Fiselier 
265a83710eSEric Fiselier struct mutex
275a83710eSEric Fiselier {
try_lockmutex285a83710eSEric Fiselier     bool try_lock()
295a83710eSEric Fiselier     {
305a83710eSEric Fiselier         try_lock_called = !try_lock_called;
315a83710eSEric Fiselier         return try_lock_called;
325a83710eSEric Fiselier     }
unlockmutex335a83710eSEric Fiselier     void unlock() {}
345a83710eSEric Fiselier };
355a83710eSEric Fiselier 
365a83710eSEric Fiselier mutex m;
375a83710eSEric Fiselier 
main(int,char **)382df59c50SJF Bastien int main(int, char**)
395a83710eSEric Fiselier {
405a83710eSEric Fiselier     std::unique_lock<mutex> lk(m, std::defer_lock);
415a83710eSEric Fiselier     assert(lk.try_lock() == true);
425a83710eSEric Fiselier     assert(try_lock_called == true);
435a83710eSEric Fiselier     assert(lk.owns_lock() == true);
4460d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
455a83710eSEric Fiselier     try
465a83710eSEric Fiselier     {
47ba40b056SBilly Robert O'Neal III         TEST_IGNORE_NODISCARD lk.try_lock();
485a83710eSEric Fiselier         assert(false);
495a83710eSEric Fiselier     }
505a83710eSEric Fiselier     catch (std::system_error& e)
515a83710eSEric Fiselier     {
525a83710eSEric Fiselier         assert(e.code().value() == EDEADLK);
535a83710eSEric Fiselier     }
5460d6ef63SRoger Ferrer Ibanez #endif
555a83710eSEric Fiselier     lk.unlock();
565a83710eSEric Fiselier     assert(lk.try_lock() == false);
575a83710eSEric Fiselier     assert(try_lock_called == false);
585a83710eSEric Fiselier     assert(lk.owns_lock() == false);
595a83710eSEric Fiselier     lk.release();
6060d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
615a83710eSEric Fiselier     try
625a83710eSEric Fiselier     {
63ba40b056SBilly Robert O'Neal III         TEST_IGNORE_NODISCARD lk.try_lock();
645a83710eSEric Fiselier         assert(false);
655a83710eSEric Fiselier     }
665a83710eSEric Fiselier     catch (std::system_error& e)
675a83710eSEric Fiselier     {
685a83710eSEric Fiselier         assert(e.code().value() == EPERM);
695a83710eSEric Fiselier     }
7060d6ef63SRoger Ferrer Ibanez #endif
712df59c50SJF Bastien 
722df59c50SJF Bastien   return 0;
735a83710eSEric Fiselier }
74