1 // RUN: %clang_cc1 -fsyntax-only -fdiagnostics-show-option -verify %s
2
3 // C++98 [basic.lookup.classref]p1:
4 // In a class member access expression (5.2.5), if the . or -> token is
5 // immediately followed by an identifier followed by a <, the identifier must
6 // be looked up to determine whether the < is the beginning of a template
7 // argument list (14.2) or a less-than operator. The identifier is first
8 // looked up in the class of the object expression. If the identifier is not
9 // found, it is then looked up in the context of the entire postfix-expression
10 // and shall name a class or function template. If the lookup in the class of
11 // the object expression finds a template, the name is also looked up in the
12 // context of the entire postfix-expression and
13 // -- if the name is not found, the name found in the class of the object
14 // expression is used, otherwise
15 // -- if the name is found in the context of the entire postfix-expression
16 // and does not name a class template, the name found in the class of the
17 // object expression is used, otherwise
18 // -- if the name found is a class template, it must refer to the same
19 // entity as the one found in the class of the object expression,
20 // otherwise the program is ill-formed.
21
22 // From PR 7247
23 template<typename T>
24 struct set{}; // expected-note{{lookup from the current scope refers here}}
25 struct Value {
26 template<typename T>
setValue27 void set(T value) {} // expected-note{{lookup in the object type 'Value' refers here}}
28
resolves_to_sameValue29 void resolves_to_same() {
30 Value v;
31 v.set<double>(3.2);
32 }
33 };
resolves_to_different()34 void resolves_to_different() {
35 {
36 Value v;
37 // The fact that the next line is a warning rather than an error is an
38 // extension.
39 v.set<double>(3.2); // expected-warning{{lookup of 'set' in member access expression is ambiguous; using member of 'Value'}}
40 }
41 {
42 int set; // Non-template.
43 Value v;
44 v.set<double>(3.2);
45 }
46 }
47
48 namespace rdar9915664 {
49 struct A {
50 template<typename T> void a();
51 };
52
53 struct B : A { };
54
55 struct C : A { };
56
57 struct D : B, C {
getArdar9915664::D58 A &getA() { return static_cast<B&>(*this); }
59
test_ardar9915664::D60 void test_a() {
61 getA().a<int>();
62 }
63 };
64 }
65
66 namespace PR11856 {
67 template<typename T> T end(T);
68
69 template <typename T>
Foo()70 void Foo() {
71 T it1;
72 if (it1->end < it1->end) {
73 }
74 }
75
76 template<typename T> T *end(T*);
77
78 class X { };
79 template <typename T>
Foo2()80 void Foo2() {
81 T it1;
82 if (it1->end < it1->end) {
83 }
84
85 X *x;
86 if (x->end < 7) { // expected-error{{no member named 'end' in 'PR11856::X'}}
87 }
88 }
89 }
90