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) 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#include <mutex>
26#include <thread/all.h>
27
28int main()
29{
30  typedef std::timed_mutex test_type;
31  __gnu_test::compare_type_to_native_type<test_type>();
32  return 0;
33}
34