]> git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/30_threads/lock/3.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 30_threads / lock / 3.cc
1 // { dg-do run }
2 // { dg-additional-options "-pthread" { target pthread } }
3 // { dg-require-effective-target c++11 }
4 // { dg-require-gthreads "" }
5
6 // Copyright (C) 2010-2023 Free Software Foundation, Inc.
7 //
8 // This file is part of the GNU ISO C++ Library. This library is free
9 // software; you can redistribute it and/or modify it under the
10 // terms of the GNU General Public License as published by the
11 // Free Software Foundation; either version 3, or (at your option)
12 // any later version.
13
14 // This library is distributed in the hope that it will be useful,
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 // GNU General Public License for more details.
18
19 // You should have received a copy of the GNU General Public License along
20 // with this library; see the file COPYING3. If not see
21 // <http://www.gnu.org/licenses/>.
22
23
24 #include <mutex>
25 #include <system_error>
26 #include <testsuite_hooks.h>
27
28 struct user_lock
29 {
30 user_lock() : is_locked(false) { }
31 ~user_lock() = default;
32 user_lock(const user_lock&) = default;
33
34 void lock()
35 {
36 VERIFY( !is_locked );
37 is_locked = true;
38 }
39
40 bool try_lock()
41 { return is_locked ? false : (is_locked = true); }
42
43 void unlock()
44 {
45 VERIFY( is_locked );
46 is_locked = false;
47 }
48
49 private:
50 bool is_locked;
51 };
52
53 int main()
54 {
55 try
56 {
57 std::mutex m1;
58 std::recursive_mutex m2;
59 user_lock m3;
60
61 try
62 {
63 //heterogeneous types
64 std::lock(m1, m2, m3);
65 VERIFY( !m1.try_lock() );
66 VERIFY( !m3.try_lock() );
67 m1.unlock();
68 m2.unlock();
69 m3.unlock();
70 }
71 catch (const std::system_error& e)
72 {
73 VERIFY( false );
74 }
75 }
76 catch (const std::system_error& e)
77 {
78 VERIFY( false );
79 }
80 catch (...)
81 {
82 VERIFY( false );
83 }
84
85 return 0;
86 }