Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/cpp0x/lambda/lambda-sfinae1.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 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/56039
kono
parents:
diff changeset
2 // { dg-do compile { target c++11 } }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 template <bool> struct BoolSink { typedef void type; };
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 template <typename T, typename U>
kono
parents:
diff changeset
7 struct AddRvalueReferenceImpl { typedef T type; };
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 template <typename T>
kono
parents:
diff changeset
10 struct AddRvalueReferenceImpl<T, typename BoolSink<false &&
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
11 [] { // { dg-error "lambda" "" { target c++17_down } }
111
kono
parents:
diff changeset
12 extern T &&tref;
kono
parents:
diff changeset
13 }>::type> {
kono
parents:
diff changeset
14 typedef T &&type;
kono
parents:
diff changeset
15 };
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 template <typename T>
kono
parents:
diff changeset
18 struct AddRvalueReference : AddRvalueReferenceImpl<T, void> { };
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 namespace ImplHelpers {
kono
parents:
diff changeset
21 template <typename T>
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
22 typename AddRvalueReference<T>::type create(void);
111
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 template <typename T, typename U, typename ...Args>
kono
parents:
diff changeset
26 struct IsConstructibleImpl { enum { value = 0 }; };
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 template <typename T, typename ...Args>
kono
parents:
diff changeset
29 struct IsConstructibleImpl<T, typename BoolSink<false &&
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
30 [] { T t( ::ImplHelpers::create<Args>() ...); } // { dg-error "" }
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
31 >::type, Args ...> {
111
kono
parents:
diff changeset
32 enum { value = 1 };
kono
parents:
diff changeset
33 };
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 template <typename T, typename ...Args>
kono
parents:
diff changeset
36 struct IsConstructible : IsConstructibleImpl<T, void, Args ...> { };
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 struct DestroyMe {
kono
parents:
diff changeset
39 ~DestroyMe() = delete;
kono
parents:
diff changeset
40 };
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 static_assert(+IsConstructible<int>::value, "error");
kono
parents:
diff changeset
43 static_assert(!IsConstructible<void>::value, "error");
kono
parents:
diff changeset
44 static_assert(+IsConstructible<int [1]>::value, "error");
kono
parents:
diff changeset
45 static_assert(!IsConstructible<DestroyMe>::value, "error");
kono
parents:
diff changeset
46 static_assert(!IsConstructible<int *, char *>::value, "error");
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 static_assert(+IsConstructible<int &&, int>::value, "error");
kono
parents:
diff changeset
49 static_assert(!IsConstructible<int &&, int &>::value, "error");
kono
parents:
diff changeset
50 static_assert(+IsConstructible<int &&, int &&>::value, "error");
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 // { dg-prune-output "expected" }
kono
parents:
diff changeset
53 // { dg-prune-output "does not name a class" }
kono
parents:
diff changeset
54 // { dg-prune-output "static assertion" }
kono
parents:
diff changeset
55 // { dg-prune-output "template argument . is invalid" }