Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/cpp0x/constexpr-decltype1.C @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +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++/52282
kono
parents:
diff changeset
2 // { dg-do run { target c++11 } }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 template <typename T, T V>
kono
parents:
diff changeset
5 struct W { static constexpr T value() { return V; } };
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 template <typename T, T V>
kono
parents:
diff changeset
8 struct X { typedef T type; static constexpr type value() { return V; } };
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 template <typename T, T V>
kono
parents:
diff changeset
11 struct Y { using type = T; static constexpr type value() { return V; } };
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 template <typename T, T V>
kono
parents:
diff changeset
14 struct Z { static constexpr decltype(V) value() { return V; } };
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 template <typename T, T V>
kono
parents:
diff changeset
17 struct W_ { static constexpr T value = V; };
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 template <typename T, T V>
kono
parents:
diff changeset
20 struct X_ { typedef T type; static constexpr type value = V; };
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 template <typename T, T V>
kono
parents:
diff changeset
23 struct Y_ { using type = T; static constexpr type value = V; };
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 template <typename T, T V>
kono
parents:
diff changeset
26 struct Z_ { static constexpr decltype(V) value = V; };
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 static_assert(W<int, 10>::value() == 10, "oops");
kono
parents:
diff changeset
30 static_assert(X<int, 10>::value() == 10, "oops");
kono
parents:
diff changeset
31 static_assert(Y<int, 10>::value() == 10, "oops");
kono
parents:
diff changeset
32 static_assert(Z<int, 10>::value() == 10, "oops");
kono
parents:
diff changeset
33 static_assert(W_<int, 10>::value == 10, "oops");
kono
parents:
diff changeset
34 static_assert(X_<int, 10>::value == 10, "oops");
kono
parents:
diff changeset
35 static_assert(Y_<int, 10>::value == 10, "oops");
kono
parents:
diff changeset
36 static_assert(Z_<int, 10>::value == 10, "oops");
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 extern constexpr int a = 10;
kono
parents:
diff changeset
39 static_assert(*W<const int*, &a>::value() == 10, "oops");
kono
parents:
diff changeset
40 static_assert(*X<const int*, &a>::value() == 10, "oops");
kono
parents:
diff changeset
41 static_assert(*Y<const int*, &a>::value() == 10, "oops");
kono
parents:
diff changeset
42 static_assert(*Z<const int*, &a>::value() == 10, "oops"); // ICE
kono
parents:
diff changeset
43 static_assert(*W_<const int*, &a>::value == 10, "oops");
kono
parents:
diff changeset
44 static_assert(*X_<const int*, &a>::value == 10, "oops");
kono
parents:
diff changeset
45 static_assert(*Y_<const int*, &a>::value == 10, "oops");
kono
parents:
diff changeset
46 static_assert(*Z_<const int*, &a>::value == 10, "oops"); // ICE
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 template <int V> constexpr int b() { return V; }
kono
parents:
diff changeset
49 static_assert((W<int(*)(), &b<10>>::value())() == 10, "oops");
kono
parents:
diff changeset
50 static_assert((X<int(*)(), &b<10>>::value())() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
51 static_assert((Y<int(*)(), &b<10>>::value())() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
52 static_assert((Z<int(*)(), &b<10>>::value())() == 10, "oops"); // ICE
kono
parents:
diff changeset
53 static_assert(W_<int(*)(), &b<10>>::value() == 10, "oops");
kono
parents:
diff changeset
54 static_assert(X_<int(*)(), &b<10>>::value() == 10, "oops");
kono
parents:
diff changeset
55 static_assert(Y_<int(*)(), &b<10>>::value() == 10, "oops");
kono
parents:
diff changeset
56 static_assert(Z_<int(*)(), &b<10>>::value() == 10, "oops"); // ICE
kono
parents:
diff changeset
57
kono
parents:
diff changeset
58 constexpr struct C {
kono
parents:
diff changeset
59 constexpr int c1() const { return 10; }
kono
parents:
diff changeset
60 static constexpr int c2() { return 10; }
kono
parents:
diff changeset
61 } c;
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 static_assert((c.*W<int(C::*)()const, &C::c1>::value())() == 10, "oops");
kono
parents:
diff changeset
64 static_assert((c.*X<int(C::*)()const, &C::c1>::value())() == 10, "oops");
kono
parents:
diff changeset
65 static_assert((c.*Y<int(C::*)()const, &C::c1>::value())() == 10, "oops");
kono
parents:
diff changeset
66 static_assert((c.*Z<int(C::*)()const, &C::c1>::value())() == 10, "oops");
kono
parents:
diff changeset
67 static_assert((c.*W_<int(C::*)()const, &C::c1>::value)() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
68 static_assert((c.*X_<int(C::*)()const, &C::c1>::value)() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
69 static_assert((c.*Y_<int(C::*)()const, &C::c1>::value)() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
70 static_assert((c.*Z_<int(C::*)()const, &C::c1>::value)() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 static_assert((W<int(*)(), &C::c2>::value())() == 10, "oops");
kono
parents:
diff changeset
73 static_assert((X<int(*)(), &C::c2>::value())() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
74 static_assert((Y<int(*)(), &C::c2>::value())() == 10, "oops"); // incorrect evaluation
kono
parents:
diff changeset
75 static_assert((Z<int(*)(), &C::c2>::value())() == 10, "oops"); // ICE
kono
parents:
diff changeset
76 static_assert(W_<int(*)(), &C::c2>::value() == 10, "oops");
kono
parents:
diff changeset
77 static_assert(X_<int(*)(), &C::c2>::value() == 10, "oops");
kono
parents:
diff changeset
78 static_assert(Y_<int(*)(), &C::c2>::value() == 10, "oops");
kono
parents:
diff changeset
79 static_assert(Z_<int(*)(), &C::c2>::value() == 10, "oops"); // ICE
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81
kono
parents:
diff changeset
82 #include <assert.h>
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 template <typename T, T V>
kono
parents:
diff changeset
85 constexpr typename X_<T, V>::type X_<T, V>::value;
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 int main() {
kono
parents:
diff changeset
88 C c;
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 // correctly evaluates inside method scope
kono
parents:
diff changeset
91 int t1 = X<int(*)(), &b<10>>::value()();
kono
parents:
diff changeset
92 int t2 = (c.*X_<int(C::*)()const, &C::c1>::value)();
kono
parents:
diff changeset
93 int t3 = X<int(*)(), &C::c2>::value()();
kono
parents:
diff changeset
94
kono
parents:
diff changeset
95 assert(t1 == 10);
kono
parents:
diff changeset
96 assert(t2 == 10);
kono
parents:
diff changeset
97 assert(t3 == 10);
kono
parents:
diff changeset
98 return 0;
kono
parents:
diff changeset
99 }