1// { dg-do run { target *-*-freebsd* *-*-netbsd* *-*-linux* *-*-solaris* *-*-cygwin *-*-darwin* alpha*-*-osf* mips-sgi-irix6* } }
2// { dg-options " -std=gnu++0x -pthread" { target *-*-freebsd* *-*-netbsd* *-*-linux* alpha*-*-osf* mips-sgi-irix6* } }
3// { dg-options " -std=gnu++0x -pthreads" { target *-*-solaris* } }
4// { dg-options " -std=gnu++0x " { target *-*-cygwin *-*-darwin* } }
5// { dg-require-cstdint "" }
6// { dg-require-gthreads "" }
7
8// Copyright (C) 2008, 2009 Free Software Foundation, Inc.
9//
10// This file is part of the GNU ISO C++ Library.  This library is free
11// software; you can redistribute it and/or modify it under the
12// terms of the GNU General Public License as published by the
13// Free Software Foundation; either version 3, or (at your option)
14// any later version.
15
16// This library is distributed in the hope that it will be useful,
17// but WITHOUT ANY WARRANTY; without even the implied warranty of
18// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
19// GNU General Public License for more details.
20
21// You should have received a copy of the GNU General Public License along
22// with this library; see the file COPYING3.  If not see
23// <http://www.gnu.org/licenses/>.
24
25
26#include <mutex>
27#include <system_error>
28#include <testsuite_hooks.h>
29
30void test01()
31{
32  bool test __attribute__((unused)) = true;
33  typedef std::mutex mutex_type;
34  typedef std::unique_lock<mutex_type> lock_type;
35
36  try
37    {
38      lock_type l;
39
40      // Lock unique_lock w/o mutex
41      try
42        {
43          l.lock();
44        }
45      catch (const std::system_error& ex)
46        {
47	  VERIFY( ex.code() == std::make_error_code
48		  (std::errc::operation_not_permitted) );
49        }
50      catch (...)
51        {
52          VERIFY( false );
53        }
54    }
55  catch (const std::system_error& e)
56    {
57      VERIFY( false );
58    }
59  catch (...)
60    {
61      VERIFY( false );
62    }
63}
64
65
66void test02()
67{
68  bool test __attribute__((unused)) = true;
69  typedef std::mutex mutex_type;
70  typedef std::unique_lock<mutex_type> lock_type;
71
72  try
73    {
74      mutex_type m;
75      lock_type l(m);
76
77      // Lock already locked unique_lock.
78      try
79	{
80	  l.lock();
81	}
82      catch (const std::system_error& ex)
83	{
84	  VERIFY( ex.code() == std::make_error_code
85		  (std::errc::resource_deadlock_would_occur) );
86	}
87      catch (...)
88	{
89	  VERIFY( false );
90	}
91    }
92  catch (const std::system_error& e)
93    {
94      VERIFY( false );
95    }
96  catch (...)
97    {
98      VERIFY( false );
99    }
100}
101
102int main()
103{
104  test01();
105  test02();
106}
107