1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
// { dg-do compile { target c++14 } }
// { dg-options "-Wno-return-local-addr" }
template<class,class> struct same_type;
template<class T> struct same_type<T,T> {};
int& f();
int i;
decltype(auto) g() { return f(); }
decltype(auto) h1() { return i; }
decltype(auto) h2() { return (i); }
decltype(auto) h2a() { return 0,i; }
struct A { int i; };
A a;
decltype(auto) h3() { return a.i; }
decltype(auto) h4() { return (a.i); }
template <class T>
decltype(auto) h5(T t) { return t.i; }
template <class T>
decltype(auto) h6(T t) { return (t.i); }
template <class T>
decltype(auto) h7(T t) { return (i); }
int main()
{
decltype(auto) i = f();
same_type<decltype(i),int&>();
decltype(auto) i2 = i;
same_type<decltype(i2),int&>();
decltype(auto) i3 = ::i;
same_type<decltype(i3),int>();
decltype(auto) i4 = (::i);
same_type<decltype(i4),int&>();
decltype(auto) i5 = a.i;
same_type<decltype(i5),int>();
decltype(auto) i6 = (a.i);
same_type<decltype(i6),int&>();
decltype(auto) i7 = true ? ::i : ::i;
same_type<decltype(i7),int&>();
same_type<decltype(g()),int&>();
same_type<decltype(h1()),int>();
same_type<decltype(h2()),int&>();
same_type<decltype(h2a()),int&>();
same_type<decltype(h3()),int>();
same_type<decltype(h4()),int&>();
same_type<decltype(h5(a)),int>();
same_type<decltype(h6(a)),int&>();
same_type<decltype(h7(a)),int&>();
}
|
