blob: 338894c92a4dcd52e90f5ef97873b0d5bda5fe0d [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregor86f19402008-12-20 23:49:58 +00002
3class X{
4public:
Douglas Gregorb0fd4832010-04-25 20:55:08 +00005 enum E {Enumerator}; // expected-note 2{{declared here}}
Douglas Gregor86f19402008-12-20 23:49:58 +00006 int f();
7 static int mem;
8 static float g();
9};
10
11void test(X* xp, X x) {
12 int i1 = x.f();
13 int i2 = xp->f();
Douglas Gregorb0fd4832010-04-25 20:55:08 +000014 x.E; // expected-error{{cannot refer to type member 'E' in 'X' with '.'}}
15 xp->E; // expected-error{{cannot refer to type member 'E' in 'X' with '->'}}
Douglas Gregor76f7d282009-01-16 03:02:29 +000016 int i3 = x.Enumerator;
17 int i4 = xp->Enumerator;
Douglas Gregor86f19402008-12-20 23:49:58 +000018 x.mem = 1;
19 xp->mem = 2;
20 float f1 = x.g();
21 float f2 = xp->g();
22}
Douglas Gregor214f31a2009-03-27 06:00:30 +000023
24struct A {
25 int f0;
26};
27struct B {
28 A *f0();
29};
30int f0(B *b) {
John McCall6dbba4f2011-10-11 23:14:30 +000031 return b->f0->f0; // expected-error{{did you mean to call it with no arguments}}
Douglas Gregor214f31a2009-03-27 06:00:30 +000032}
Douglas Gregor8d1c9ae2009-10-17 22:37:54 +000033
34int i;
35
36namespace C {
37 int i;
38}
39
40void test2(X *xp) {
41 xp->::i = 7; // expected-error{{qualified member access refers to a member in the global namespace}}
42 xp->C::i = 7; // expected-error{{qualified member access refers to a member in namespace 'C'}}
43}
John McCallb1b42562009-12-01 22:28:41 +000044
45
46namespace test3 {
47 struct NamespaceDecl;
48
49 struct NamedDecl {
50 void *getIdentifier() const;
51 };
52
53 struct NamespaceDecl : NamedDecl {
54 bool isAnonymousNamespace() const {
55 return !getIdentifier();
56 }
57 };
58}
Douglas Gregor2b147f02010-04-25 21:15:30 +000059
60namespace test4 {
61 class X {
62 protected:
63 template<typename T> void f(T);
64 };
65
66 class Y : public X {
67 public:
68 using X::f;
69 };
70
71 void test_f(Y y) {
72 y.f(17);
73 }
74}
John McCallad00b772010-06-16 08:42:20 +000075
76namespace test5 {
77 struct A {
78 template <class T> void foo();
79 };
80
81 void test0(int x) {
82 x.A::foo<int>(); // expected-error {{'int' is not a structure or union}}
83 }
84
85 void test1(A *x) {
86 x.A::foo<int>(); // expected-error {{'test5::A *' is a pointer}}
87 }
88
89 void test2(A &x) {
Kaelyn Uhraind4224342013-07-15 19:54:54 +000090 x->A::foo<int>(); // expected-error {{'test5::A' is not a pointer}} \
Kaelyn Uhrain3d882fa2013-07-15 21:18:33 +000091 // expected-note {{did you mean to use '.' instead?}}
John McCallad00b772010-06-16 08:42:20 +000092 }
93}
Douglas Gregor12eb5d62010-06-29 19:27:42 +000094
95namespace PR7508 {
96 struct A {
97 struct CleanupScope {};
Kaelyn Uhraine4c7f902012-01-13 21:28:55 +000098 void PopCleanupBlock(); // expected-note{{'PopCleanupBlock' declared here}}
Douglas Gregor12eb5d62010-06-29 19:27:42 +000099 };
100
101 void foo(A &a) {
Kaelyn Uhraine4c7f902012-01-13 21:28:55 +0000102 a.PopCleanupScope(); // expected-error{{no member named 'PopCleanupScope' in 'PR7508::A'; did you mean 'PopCleanupBlock'?}}
Douglas Gregor12eb5d62010-06-29 19:27:42 +0000103 }
104}
Douglas Gregor9d4bb942010-07-28 22:27:52 +0000105
106namespace rdar8231724 {
107 namespace N {
108 template<typename T> struct X1;
109 int i;
110 }
111
112 struct X { };
113 struct Y : X { };
114
Richard Smithd6537012012-11-15 00:31:27 +0000115 template<typename T> struct Z { int n; };
116
Douglas Gregor9d4bb942010-07-28 22:27:52 +0000117 void f(Y *y) {
118 y->N::X1<int>; // expected-error{{'rdar8231724::N::X1' is not a member of class 'rdar8231724::Y'}}
Richard Smithd6537012012-11-15 00:31:27 +0000119 y->Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class 'rdar8231724::Y'}}
120 y->template Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class 'rdar8231724::Y'}} \
121 // expected-warning{{'template' keyword outside of a template}}
Douglas Gregor9d4bb942010-07-28 22:27:52 +0000122 }
123}
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000124
125namespace PR9025 {
126 struct S { int x; };
John McCall6dbba4f2011-10-11 23:14:30 +0000127 S fun(); // expected-note{{possible target for call}}
128 int fun(int i); // expected-note{{possible target for call}}
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000129 int g() {
John McCall6dbba4f2011-10-11 23:14:30 +0000130 return fun.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000131 }
132
John McCall6dbba4f2011-10-11 23:14:30 +0000133 S fun2(); // expected-note{{possible target for call}}
134 S fun2(int i); // expected-note{{possible target for call}}
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000135 int g2() {
John McCall6dbba4f2011-10-11 23:14:30 +0000136 return fun2.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000137 }
Matt Beaumont-Gay65b34d72011-02-22 23:52:53 +0000138
John McCall6dbba4f2011-10-11 23:14:30 +0000139 S fun3(int i=0); // expected-note{{possible target for call}}
140 int fun3(int i, int j); // expected-note{{possible target for call}}
Matt Beaumont-Gay65b34d72011-02-22 23:52:53 +0000141 int g3() {
John McCall6dbba4f2011-10-11 23:14:30 +0000142 return fun3.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
Matt Beaumont-Gay65b34d72011-02-22 23:52:53 +0000143 }
Matt Beaumont-Gayfbe59942011-03-05 02:42:30 +0000144
John McCall6dbba4f2011-10-11 23:14:30 +0000145 template <typename T> S fun4(); // expected-note{{possible target for call}}
Matt Beaumont-Gayfbe59942011-03-05 02:42:30 +0000146 int g4() {
John McCall6dbba4f2011-10-11 23:14:30 +0000147 return fun4.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it?}}
Matt Beaumont-Gayfbe59942011-03-05 02:42:30 +0000148 }
Matt Beaumont-Gayc9366ba2011-05-04 22:10:40 +0000149
John McCall6dbba4f2011-10-11 23:14:30 +0000150 S fun5(int i); // expected-note{{possible target for call}}
151 S fun5(float f); // expected-note{{possible target for call}}
Matt Beaumont-Gayc9366ba2011-05-04 22:10:40 +0000152 int g5() {
John McCall6dbba4f2011-10-11 23:14:30 +0000153 return fun5.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it?}}
Matt Beaumont-Gayc9366ba2011-05-04 22:10:40 +0000154 }
Matt Beaumont-Gay26ae5dd2011-02-17 02:54:17 +0000155}
Eli Friedman059d5782012-01-13 02:20:01 +0000156
157namespace FuncInMemberExpr {
158 struct Vec { int size(); };
159 Vec fun1();
160 int test1() { return fun1.size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
161 Vec *fun2();
162 int test2() { return fun2->size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
163 Vec fun3(int x = 0);
164 int test3() { return fun3.size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
165}
Matt Beaumont-Gay7d90fe52012-04-21 01:12:48 +0000166
167namespace DotForSemiTypo {
168void f(int i) {
169 // If the programmer typo'd '.' for ';', make sure we point at the '.' rather
170 // than the "field name" (whatever the first token on the next line happens to
171 // be).
172 int j = i. // expected-error {{member reference base type 'int' is not a structure or union}}
173 j = 0;
174}
175}
Kaelyn Uhraind4224342013-07-15 19:54:54 +0000176
177namespace PR15045 {
178 class Cl0 {
179 public:
180 int a;
181 };
182
183 int f() {
184 Cl0 c;
185 return c->a; // expected-error {{member reference type 'PR15045::Cl0' is not a pointer}} \
Kaelyn Uhrain3d882fa2013-07-15 21:18:33 +0000186 // expected-note {{did you mean to use '.' instead?}}
Kaelyn Uhraind4224342013-07-15 19:54:54 +0000187 }
188}