Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/cpp2a/concepts-pr65848.C @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 // { dg-do compile { target c++2a } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 // Performance test... This should be fast.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 #include <type_traits>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 concept Destructible = std::is_destructible<T>::value;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 template<typename T, typename... Args>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 concept Constructible = Destructible<T> && std::is_constructible<T, Args...>::value;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 concept Move_constructible = Constructible<T, T&&>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 concept Copy_constructible = Move_constructible<T> && Constructible<T, const T&>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 template<typename T, typename U>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 concept Assignable = std::is_assignable<T, U>::value;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 concept Move_assignable = Assignable<T&, T&&>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 concept Copy_assignable = Move_assignable<T> && Assignable<T&, const T&>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 concept Copyable = Copy_constructible<T> && Copy_assignable<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 concept C1 = Copyable<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 concept C2 = C1<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 concept C3 = C2<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 concept C4 = C3<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 concept C5 = C4<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 concept C6 = C5<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 concept C7 = C6<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 concept C8 = C7<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 concept C9 = C8<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 concept C10 = C9<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 template<typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 concept C11 = C10<T>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 struct S1 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 struct S2 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 struct S3 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 struct S4 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 struct S5 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 struct S6 {};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 static_assert(C11<S1>, "");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 static_assert(C11<S2>, "");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 static_assert(C11<S3>, "");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 static_assert(C11<S4>, "");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 static_assert(C11<S5>, "");
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 static_assert(C11<S6>, "");