2 // { dg-options "-std=gnu++0x" }
3 // { dg-require-cstdint "" }
4 // { dg-require-gthreads "" }
6 // Copyright (C) 2008, 2009, 2010 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/>.
29 typedef std::timed_mutex mutex_type
;
34 // { dg-error "used here" "" { target *-*-* } 31 }
35 // { dg-error "deleted function" "" { target *-*-* } 191 }