1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
4
5 // PR3990
6 namespace N {
7 struct Wibble {
8 };
9
10 typedef Wibble foo;
11
12 int zeppelin; // expected-note{{declared here}}
13 }
14 using namespace N;
15
16 foo::bar x; // expected-error{{no type named 'bar' in 'N::Wibble'}}
17
f()18 void f() {
19 foo::bar = 4; // expected-error{{no member named 'bar' in 'N::Wibble'}}
20 }
21
22 int f(foo::bar); // expected-error{{no type named 'bar' in 'N::Wibble'}}
23
24 int f(doulbe); // expected-error{{did you mean 'double'?}}
25
26 int fun(zapotron); // expected-error{{unknown type name 'zapotron'}}
27 int var(zepelin); // expected-error{{did you mean 'zeppelin'?}}
28
29 template<typename T>
30 struct A {
31 typedef T type;
32
33 type f();
34
35 type g();
36
37 static int n;
38 static type m;
39 static int h(T::type, int); // expected-error{{missing 'typename'}}
40 static int h(T::type x, char); // expected-error{{missing 'typename'}}
41 };
42
43 template<typename T>
g(T t)44 A<T>::type g(T t) { return t; } // expected-error{{missing 'typename'}}
45
46 template<typename T>
f()47 A<T>::type A<T>::f() { return type(); } // expected-error{{missing 'typename'}}
48
49 template<typename T>
f(T::type)50 void f(T::type) { } // expected-error{{missing 'typename'}}
51
52 template<typename T>
g(T::type x)53 void g(T::type x) { } // expected-error{{missing 'typename'}}
54
55 template<typename T>
f(T::type,int)56 void f(T::type, int) { } // expected-error{{missing 'typename'}}
57
58 template<typename T>
f(T::type x,char)59 void f(T::type x, char) { } // expected-error{{missing 'typename'}}
60
61 template<typename T>
f(int,T::type)62 void f(int, T::type) { } // expected-error{{missing 'typename'}}
63
64 template<typename T>
f(char,T::type x)65 void f(char, T::type x) { } // expected-error{{missing 'typename'}}
66
67 template<typename T>
f(int,T::type,int)68 void f(int, T::type, int) { } // expected-error{{missing 'typename'}}
69
70 template<typename T>
f(int,T::type x,char)71 void f(int, T::type x, char) { } // expected-error{{missing 'typename'}}
72
73 int *p;
74
75 int f1(undeclared, int); // expected-error{{unknown type name 'undeclared'}}
76
77 int f2(undeclared, 0); // expected-error{{undeclared identifier}}
78
79 int f3(undeclared *p, int); // expected-error{{unknown type name 'undeclared'}}
80
81 int f4(undeclared *p, 0); // expected-error{{undeclared identifier}}
82
test(UnknownType * fool)83 int *test(UnknownType *fool) { return 0; } // expected-error{{unknown type name 'UnknownType'}}
84
85 template<typename T> int A<T>::n(T::value); // ok
86 template<typename T>
87 A<T>::type // expected-error{{missing 'typename'}}
88 A<T>::m(T::value, 0); // ok
89
h(T::type,int)90 template<typename T> int A<T>::h(T::type, int) {} // expected-error{{missing 'typename'}}
h(T::type x,char)91 template<typename T> int A<T>::h(T::type x, char) {} // expected-error{{missing 'typename'}}
92
93 template<typename T> int h(T::type, int); // expected-error{{missing 'typename'}}
94 template<typename T> int h(T::type x, char); // expected-error{{missing 'typename'}}
95
96 template<typename T> int junk1(T::junk);
97 #if __cplusplus <= 201103L
98 // expected-warning@-2 {{variable templates are a C++14 extension}}
99 #endif
100 template<typename T> int junk2(T::junk) throw(); // expected-error{{missing 'typename'}}
101 template<typename T> int junk3(T::junk) = delete; // expected-error{{missing 'typename'}}
102 #if __cplusplus <= 199711L
103 //expected-warning@-2 {{deleted function definitions are a C++11 extension}}
104 #endif
105
106 template<typename T> int junk4(T::junk j); // expected-error{{missing 'typename'}}
107
108 // FIXME: We can tell this was intended to be a function because it does not
109 // have a dependent nested name specifier.
110 template<typename T> int i(T::type, int());
111 #if __cplusplus <= 201103L
112 // expected-warning@-2 {{variable templates are a C++14 extension}}
113 #endif
114
115
116 // FIXME: We know which type specifier should have been specified here. Provide
117 // a fix-it to add 'typename A<T>::type'
118 template<typename T>
g()119 A<T>::g() { } // expected-error{{requires a type specifier}}
120