Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/g++.dg/cpp2a/lambda-uneval2.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
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
1 // { dg-do compile { target c++2a } }
2
3 // ill-formed, no diagnostic required: the two expressions are
4 // functionally equivalent but not equivalent
5 template <int N> void foo(const char (&s)[([]{}, N)]);
6 template <int N> void foo(const char (&s)[([]{}, N)]);
7
8 // two different declarations because the non-dependent portions are not
9 // considered equivalent
10 template <class T> void spam(decltype([]{}) (*s)[sizeof(T)]);
11 template <class T> void spam(decltype([]{}) (*s)[sizeof(T)]);
12
13 template <class T>
14 using A = decltype([] { });
15 // A<int> and A<char> refer to different closure types
16
17 template <class T>
18 auto f(T) -> decltype([]() { T::invalid; } ()); // { dg-error "invalid" }
19 void f(...);
20
21 template <class T, unsigned = sizeof([]() { T::invalid; })> // { dg-error "invalid" }
22 void g(T);
23 void g(...);
24
25 template <class T>
26 auto h(T) -> decltype([x = T::invalid]() { });
27 void h(...);
28
29 template <class T>
30 auto i(T) -> decltype([]() -> typename T::invalid { });
31 void i(...);
32
33 template <class T>
34 auto j(T t) -> decltype([](auto x) -> decltype(x.invalid) { } (t));
35 void j(...);
36
37 template <class,class> struct different {};
38 template <class T> struct different<T,T> { typename T::invalid t; };
39
40 template <class,class> struct same;
41 template <class T> struct same<T,T> {};
42
43 int main()
44 {
45 foo<1>(""); // { dg-error "ambiguous" }
46 spam<char>(nullptr); // { dg-error "ambiguous" }
47 different<A<int>,A<char>>();
48 same<A<int>,A<int>>();
49 f(0); // error: invalid expression not part of the immediate context
50 g(0); // error: invalid expression not part of the immediate context
51 h(0); // error: invalid expression not part of the immediate context
52 i(0); // error: invalid expression not part of the immediate context
53 j(0); // deduction fails on #1, calls #2
54 }