]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/is_trivially_move_constructible/value.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / is_trivially_move_constructible / value.cc
CommitLineData
52066eae 1// { dg-do compile { target c++11 } }
f5e523b7
VV
2//
3// 2014-10-09 Ville Voutilainen <ville.voutilainen@gmail.com>
4//
8d9254fc 5// Copyright (C) 2014-2020 Free Software Foundation, Inc.
f5e523b7
VV
6//
7// This file is part of the GNU ISO C++ Library. This library is free
8// software; you can redistribute it and/or modify it under the
9// terms of the GNU General Public License as published by the
10// Free Software Foundation; either version 3, or (at your option)
11// any later version.
12//
13// This library is distributed in the hope that it will be useful,
14// but WITHOUT ANY WARRANTY; without even the implied warranty of
15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16// GNU General Public License for more details.
17//
18// You should have received a copy of the GNU General Public License along
19// with this library; see the file COPYING3. If not see
20// <http://www.gnu.org/licenses/>.
21
22#include <type_traits>
23#include <testsuite_tr1.h>
24
25struct HasTemplateCCtor
26{
27 HasTemplateCCtor(const HasTemplateCCtor&) = default;
28 template <class T>
29 HasTemplateCCtor(T&&);
30};
31
32struct MoveOnly
33{
34 MoveOnly(MoveOnly&&) = default;
35};
36
37struct MoveOnly2
38{
39 MoveOnly2(MoveOnly2&&) = delete;
40};
41
42void test01()
43{
44 using std::is_trivially_move_constructible;
45 using namespace __gnu_test;
46
47 static_assert(test_property<is_trivially_move_constructible,
48 int>(true), "");
49 static_assert(test_property<is_trivially_move_constructible,
50 TType>(true), "");
51 static_assert(test_property<is_trivially_move_constructible,
52 PODType>(true), "");
53 static_assert(test_property<is_trivially_move_constructible,
54 NType>(false), "");
55 static_assert(test_property<is_trivially_move_constructible,
56 SLType>(false), "");
57 static_assert(test_property<is_trivially_move_constructible,
58 construct::DelDef>(true), "");
59 static_assert(test_property<is_trivially_move_constructible,
60 construct::Abstract>(false), "");
61 static_assert(test_property<is_trivially_move_constructible,
62 construct::Ellipsis>(true), "");
63 static_assert(test_property<is_trivially_move_constructible,
64 construct::DelEllipsis>(true), "");
65 static_assert(test_property<is_trivially_move_constructible,
66 construct::Any>(true), "");
67 static_assert(test_property<is_trivially_move_constructible,
68 construct::DelCopy>(false), "");
69 static_assert(test_property<is_trivially_move_constructible,
70 construct::DelDtor>(false), "");
71 static_assert(test_property<is_trivially_move_constructible,
72 construct::Nontrivial>(false), "");
73 static_assert(test_property<is_trivially_move_constructible,
74 construct::UnusualCopy>(false), "");
75 static_assert(test_property<is_trivially_move_constructible,
76 CopyConsOnlyType>(false), "");
77 static_assert(test_property<is_trivially_move_constructible,
78 MoveConsOnlyType>(true), "");
79 static_assert(test_property<is_trivially_move_constructible,
80 HasTemplateCCtor>(false), "");
81 static_assert(test_property<is_trivially_move_constructible,
82 MoveOnly>(true), "");
83 static_assert(test_property<is_trivially_move_constructible,
84 MoveOnly2>(false), "");
b42cc3ca
VV
85 static_assert(test_property<is_trivially_move_constructible,
86 void>(false), "");
f5e523b7 87}