blob: 79b28c2239fe1025396a6f364cc0b9740a18002a (
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
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
template<typename T, typename U>
struct X0 : T::template apply<U> {
X0(U u) : T::template apply<U>(u) { }
};
template<typename T, typename U>
struct X1 : T::apply<U> { }; // expected-error{{missing 'template' keyword prior to dependent template name 'T::apply'}}
template<typename T>
struct X2 : vector<T> { }; // expected-error{{unknown template name 'vector'}}
namespace PR6031 {
template<typename T>
struct A;
template <class X>
struct C { };
template <class TT>
struct II {
typedef typename A<TT>::type type;
};
template <class TT>
struct FI : II<TT>
{
C<typename FI::type> a;
};
template <class TT>
struct FI2
{
C<typename FI2::type> a; // expected-error{{no type named 'type' in 'struct PR6031::FI2'}} \
// expected-error{{C++ requires a type specifier for all declarations}}
};
template<typename T>
struct Base {
class Nested { };
template<typename U> struct MemberTemplate { };
int a;
};
template<typename T>
struct HasDepBase : Base<T> {
int foo() {
class HasDepBase::Nested nested;
typedef typename HasDepBase::template MemberTemplate<T>::type type;
return HasDepBase::a;
}
};
template<typename T>
struct NoDepBase {
int foo() {
class NoDepBase::Nested nested; // expected-error{{'Nested' does not name a tag member in the specified scope}}
typedef typename NoDepBase::template MemberTemplate<T>::type type; // expected-error{{'MemberTemplate' following the 'template' keyword does not refer to a template}} \
// FIXME: expected-error{{expected an identifier or template-id after '::'}} \
// FIXME: expected-error{{unqualified-id}}
return NoDepBase::a; // expected-error{{no member named 'a' in 'struct PR6031::NoDepBase'}}
}
};
}
namespace Ambig {
template<typename T>
struct Base1 {
typedef int type; // expected-note{{member found by ambiguous name lookup}}
};
struct Base2 {
typedef float type; // expected-note{{member found by ambiguous name lookup}}
};
template<typename T>
struct Derived : Base1<T>, Base2 {
typedef typename Derived::type type; // expected-error{{member 'type' found in multiple base classes of different types}}
type *foo(float *fp) { return fp; }
};
Derived<int> di; // expected-note{{instantiation of}}
}
|
