1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -fdiagnostics-show-option -verify %s 2 3 template<typename T> 4 struct set{}; 5 struct Value { 6 template<typename T> 7 void set(T value) {} 8 9 void resolves_to_same() { 10 Value v; 11 v.set<double>(3.2); 12 } 13 }; 14 void resolves_to_different() { 15 { 16 Value v; 17 // The fact that the next line is a warning rather than an error is an 18 // extension. 19 v.set<double>(3.2); 20 } 21 { 22 int set; // Non-template. 23 Value v; 24 v.set<double>(3.2); 25 } 26 } 27 28 namespace rdar9915664 { 29 struct A { 30 template<typename T> void a(); 31 }; 32 33 struct B : A { }; 34 35 struct C : A { }; 36 37 struct D : B, C { 38 A &getA() { return static_cast<B&>(*this); } 39 40 void test_a() { 41 getA().a<int>(); 42 } 43 }; 44 } 45 46 namespace PR11856 { 47 template<typename T> T end(T); 48 49 template <typename T> 50 void Foo() { 51 T it1; 52 if (it1->end < it1->end) { 53 } 54 } 55 56 template<typename T> T *end(T*); 57 58 class X { }; 59 template <typename T> 60 void Foo2() { 61 T it1; 62 if (it1->end < it1->end) { 63 } 64 65 X *x; 66 if (x->end < 7) { // expected-error{{no member named 'end' in 'PR11856::X'}} 67 } 68 } 69 } 70
