| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- // RUN: %clang_cc1 -std=c++11 -fsyntax-only -fdiagnostics-show-option -verify %s
- template<typename T>
- struct set{};
- struct Value {
- template<typename T>
- void set(T value) {}
- void resolves_to_same() {
- Value v;
- v.set<double>(3.2);
- }
- };
- void resolves_to_different() {
- {
- Value v;
- // The fact that the next line is a warning rather than an error is an
- // extension.
- v.set<double>(3.2);
- }
- {
- int set; // Non-template.
- Value v;
- v.set<double>(3.2);
- }
- }
- namespace rdar9915664 {
- struct A {
- template<typename T> void a();
- };
- struct B : A { };
- struct C : A { };
- struct D : B, C {
- A &getA() { return static_cast<B&>(*this); }
- void test_a() {
- getA().a<int>();
- }
- };
- }
- namespace PR11856 {
- template<typename T> T end(T);
- template <typename T>
- void Foo() {
- T it1;
- if (it1->end < it1->end) {
- }
- }
- template<typename T> T *end(T*);
- class X { };
- template <typename T>
- void Foo2() {
- T it1;
- if (it1->end < it1->end) {
- }
- X *x;
- if (x->end < 7) { // expected-error{{no member named 'end' in 'PR11856::X'}}
- }
- }
- }
|