1 // { dg-options "-std=gnu++11" }
4 // 2010-06-09 Paolo Carlini <paolo.carlini@oracle.com>
6 // Copyright (C) 2010-2015 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/>.
23 #include <type_traits>
24 #include <testsuite_tr1.h>
28 using std::is_nothrow_constructible
;
29 using namespace __gnu_test
;
32 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
,
34 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
,
36 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
,
37 double&, int&, double&>(true), "");
38 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
,
40 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
,
42 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
,
43 double&, int&, double&>(true), "");
45 static_assert(test_property
<is_nothrow_constructible
, int[1]>(true), "");
48 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
,
50 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
>
52 static_assert(test_property
<is_nothrow_constructible
, NoexceptExplicitClass
,
53 int, double>(false), "");
54 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
,
56 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
>
58 static_assert(test_property
<is_nothrow_constructible
, NothrowExplicitClass
,
59 int, double>(false), "");
61 static_assert(test_property
<is_nothrow_constructible
, ExceptExplicitClass
,
63 static_assert(test_property
<is_nothrow_constructible
, ExceptExplicitClass
,
65 static_assert(test_property
<is_nothrow_constructible
, ExceptExplicitClass
,
66 double&, int&, double&>(false), "");
67 static_assert(test_property
<is_nothrow_constructible
, ThrowExplicitClass
,
69 static_assert(test_property
<is_nothrow_constructible
, ThrowExplicitClass
,
71 static_assert(test_property
<is_nothrow_constructible
, ThrowExplicitClass
,
72 double&, int&, double&>(false), "");
74 static_assert(test_property
<is_nothrow_constructible
, int[]>(false), "");