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
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // <mutex>
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // template <class Mutex> class unique_lock;
145a83710eSEric Fiselier 
155a83710eSEric Fiselier // void unlock();
165a83710eSEric Fiselier 
175a83710eSEric Fiselier #include <mutex>
185a83710eSEric Fiselier #include <cassert>
195a83710eSEric Fiselier 
2060d6ef63SRoger Ferrer Ibanez #include "test_macros.h"
2160d6ef63SRoger Ferrer Ibanez 
225a83710eSEric Fiselier bool unlock_called = false;
235a83710eSEric Fiselier 
245a83710eSEric Fiselier struct mutex
255a83710eSEric Fiselier {
lockmutex265a83710eSEric Fiselier     void lock() {}
unlockmutex275a83710eSEric Fiselier     void unlock() {unlock_called = true;}
285a83710eSEric Fiselier };
295a83710eSEric Fiselier 
305a83710eSEric Fiselier mutex m;
315a83710eSEric Fiselier 
main(int,char **)322df59c50SJF Bastien int main(int, char**)
335a83710eSEric Fiselier {
345a83710eSEric Fiselier     std::unique_lock<mutex> lk(m);
355a83710eSEric Fiselier     lk.unlock();
365a83710eSEric Fiselier     assert(unlock_called == true);
375a83710eSEric Fiselier     assert(lk.owns_lock() == false);
3860d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
395a83710eSEric Fiselier     try
405a83710eSEric Fiselier     {
415a83710eSEric Fiselier         lk.unlock();
425a83710eSEric Fiselier         assert(false);
435a83710eSEric Fiselier     }
445a83710eSEric Fiselier     catch (std::system_error& e)
455a83710eSEric Fiselier     {
465a83710eSEric Fiselier         assert(e.code().value() == EPERM);
475a83710eSEric Fiselier     }
4860d6ef63SRoger Ferrer Ibanez #endif
495a83710eSEric Fiselier     lk.release();
5060d6ef63SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
515a83710eSEric Fiselier     try
525a83710eSEric Fiselier     {
535a83710eSEric Fiselier         lk.unlock();
545a83710eSEric Fiselier         assert(false);
555a83710eSEric Fiselier     }
565a83710eSEric Fiselier     catch (std::system_error& e)
575a83710eSEric Fiselier     {
585a83710eSEric Fiselier         assert(e.code().value() == EPERM);
595a83710eSEric Fiselier     }
6060d6ef63SRoger Ferrer Ibanez #endif
612df59c50SJF Bastien 
622df59c50SJF Bastien   return 0;
635a83710eSEric Fiselier }
64