1// { dg-do run { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-solaris* *-*-cygwin *-*-darwin* powerpc-ibm-aix* } }
2// { dg-options " -std=gnu++14 -pthread" { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* powerpc-ibm-aix* } }
3// { dg-options " -std=gnu++14 -pthreads" { target *-*-solaris* } }
4// { dg-options " -std=gnu++14 " { target *-*-cygwin *-*-darwin* } }
5// { dg-require-cstdint "" }
6// { dg-require-gthreads "" }
7
8// Copyright (C) 2013-2015 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 <shared_mutex>
27#include <system_error>
28#include <testsuite_hooks.h>
29
30int main()
31{
32  bool test __attribute__((unused)) = true;
33  typedef std::shared_timed_mutex mutex_type;
34  typedef std::shared_lock<mutex_type> lock_type;
35
36  try
37    {
38      lock_type lock;
39
40      VERIFY( !lock.owns_lock() );
41      VERIFY( !(bool)lock );
42    }
43  catch (const std::system_error& e)
44    {
45      VERIFY( false );
46    }
47  catch (...)
48    {
49      VERIFY( false );
50    }
51
52  return 0;
53}
54