blob: c24ed12a0248ce8f53d41bf94d51d603cbf2e00a (
plain)
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
// RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
// expected-no-diagnostics
// Test default template arguments for function templates.
template<typename T = int>
void f0();
template<typename T>
void f0();
void g0() {
f0(); // okay!
}
template<typename T, int N = T::value>
int &f1(T);
float &f1(...);
struct HasValue {
static const int value = 17;
};
void g1() {
float &fr = f1(15);
int &ir = f1(HasValue());
}
namespace PR16689 {
template <typename T1, typename T2> class tuple {
public:
template <typename = T2>
constexpr tuple() {}
};
template <class X, class... Y> struct a : public X {
using X::X;
};
auto x = a<tuple<int, int> >();
}
namespace PR16975 {
template <typename...> struct is {
constexpr operator bool() const { return false; }
};
template <typename... Types>
struct bar {
template <typename T,
bool = is<Types...>()>
bar(T);
};
bar<> foo{0};
struct baz : public bar<> {
using bar::bar;
};
baz data{0};
}
// rdar://23810407
// An IRGen failure due to a symbol collision due to a default argument
// being instantiated twice. Credit goes to Richard Smith for this
// reduction to a -fsyntax-only failure.
namespace rdar23810407 {
// Instantiating the default argument multiple times will produce two
// different lambda types and thus instantiate this function multiple
// times, which will produce conflicting extern variable declarations.
template<typename T> int f(T t) {
extern T rdar23810407_variable;
return 0;
}
template<typename T> int g(int a = f([] {}));
void test() {
g<int>();
g<int>();
}
}
// rdar://problem/24480205
namespace PR13986 {
constexpr unsigned Dynamic = 0;
template <unsigned> class A { template <unsigned = Dynamic> void m_fn1(); };
class Test {
~Test() {}
A<1> m_target;
};
}
// rdar://problem/34167492
// Template B is instantiated during checking if defaulted A copy constructor
// is constexpr. For this we check if S<int> copy constructor is constexpr. And
// for this we check S constructor template with default argument that mentions
// template B. In turn, template instantiation triggers checking defaulted
// members exception spec. The problem is that it checks defaulted members not
// for instantiated class only, but all defaulted members so far. In this case
// we try to check exception spec for A default constructor which requires
// initializer for the field _a. But initializers are added after constexpr
// check so we reject the code because cannot find _a initializer.
namespace rdar34167492 {
template <typename T> struct B { using type = bool; };
template <typename T> struct S {
S() noexcept;
template <typename U, typename B<U>::type = true>
S(const S<U>&) noexcept;
};
class A {
A() noexcept = default;
A(const A&) noexcept = default;
S<int> _a{};
};
}
|
