2 // { dg-options "-std=gnu++1y" }
3 // { dg-require-cstdint "" }
4 // { dg-require-gthreads "" }
6 // Copyright (C) 2008-2014 Free Software Foundation, Inc.
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)
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.
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/>.
24 #include <shared_mutex>
29 typedef std::shared_timed_mutex mutex_type
;
32 m1
= m2
; // { dg-error "deleted" }
35 // { dg-prune-output "include" }