libstdc++-v3/testsuite/30_threads/shared_lock/locking/2.cc

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