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